#include <stdio.h>
#include <limits.h>
void sanity_check(int x)
{
if (x < 0)
{
x = -x;
}
if (x == INT_MIN)
{
printf("%d == %d\n", x, INT_MIN);
}
else
{
printf("%d != %d\n", x, INT_MIN);
}
if (x < 0)
{
printf("negative number: %d\n", x);
}
else
{
printf("positive number: %d\n", x);
}
}
int main(void)
{
sanity_check(42);
sanity_check(-97);
sanity_check(INT_MIN);
return 0;
}
上記のプログラムを でコンパイルするとgcc wtf.c
、期待どおりの出力が得られます。
42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 == -2147483648
negative number: -2147483648
ただし、プログラムを でコンパイルするとgcc -O2 wtf.c
、別の出力が得られます。
42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 != -2147483648
positive number: -2147483648
最後の 2 行に注意してください。ここで何が起こっているのですか?gcc 4.6.3 の最適化は少し熱心すぎますか?
(これも g++ 4.6.3 でテストしましたが、同じ奇妙な動作が見られたため、C++ タグが付けられました。)