423は矛盾がある。
NULL + 6 は 0 だと言い張るのにmemcpy(0, "abc", 4);が未定義動作だと言う。
もし NULL + 6 が 0 なら、アドレス0x00000000へコピーしようとするよ。