GCC Bug

今天遇到一個Bug, GCC有最佳化, 在x86上執行.
double f(double z)
{
return z;
}

void foo(double fraction)
{
double z = fraction * 20.0;
int t1 = z;
int t2 = f(z);
printf("t1=%d, t2=%d\n", t1, t2);
}

void main()
{
foo(6.0/20.0);
}

結果 t1 是5, t2是6

詳細的原因我沒去追, 不過compile的時後多加個flag就解決了
-ffloat-store