#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;
}
Ben gcc wtf.c
yukarıdaki programı derlemek, ben beklenen çıktı alın: Ben gcc -O2 wtf.c
ile program derleme Ancakgarip tamsayı davranışı O2
42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 == -2147483648
negative number: -2147483648
, ben farklı bir çıkış elde :
42 != -2147483648
positive number: 42
97 != -2147483648
positive number: 97
-2147483648 != -2147483648
positive number: -2147483648
Son iki satıra dikkat edin. Dünyada ne var ne yok? Gcc 4.6.3 biraz fazla hevesle optimize mi?
(Ben de 4.6.3 ++ g ile bu test, ve ben aynı garip davranışları, dolayısıyla C++ etiketi gözlemledik.)
, ama yine de o kadar deneyimli değil için yararlı olabilir. Yalnızca optimizasyon seviyesinin neden olduğu "garip" farklılıklar görüyorsam, ilk bakacağım şey UB'dir. – ThomasMore