使っているのは Mac に付いてる gcc 4.0。man には -O2 は -fstrict-aliasing を含むと書いてあるんだけど、Apple の実装はやっぱり微妙に違っているらしい。 $ cat test.c #include <stdio.h> int main() { int zero = 42; short *p = (short *)&zero; p[0] = p[1] =</stdio.h>…

gcc -ansi で。 #include <stdio.h> int main() { puts("Where is ??/0 (`division by zero') defined in?"); }</stdio.h>

関数呼出しの結果を変更しようとした場合、又は次の副作用完了点の後にアクセスしようとした場合、その動作は未定義とする。 [C99, 6.5.2.2]

一日の半分を寝て過ごしたようです。どうしたもんでしょうか…。