请大家帮帮看看一个gcc的问题，谢谢

junecl

代码如下，在不同的gcc版本下，分别使用
gcc test.c
gcc test.c -O2
编译，运行的结果不同，请大家帮忙看看为什么?哪里能看到各个版本gcc对应的-O2都有哪些选项，谢谢
我试了:
gcc3.4.6，运行结果都是5.000000
gcc4.6.3，运行结果都是5.000000
gcc4.1.2和gcc4.1.0分别是5.000000和0.000000



/*test.c*/
#include <stdio.h>

float test(void)
{
    unsigned int a = 0x40a00000; /*float 5.0*/
    float fa = *(float *)&a;
    return fa;
}

int main()
{
    float fa = test();
    printf("%f\n", fa);
    return 0;
}

bruceteen

已删除（根据Aquester大侠在11楼的指示，这是未定义行为）

djsxut

这个只有贴汇编看看区别了。

w_anthony

出错的那个版本，编译时试一下-fno-strict-aliasing这个参数

junecl

应该是编译选项的问题，fstrict-aliasing，但是对其不了解，所以俺解释不了

junecl

还有一个奇怪的问题，在redhat下面
[root@localhost test]# gcc -Q --help=optimizers -O2
gcc: no input files

这是为什么？在ubuntu下就可以

junecl

回复 4# w_anthony

是这个选项的问题，出错的那个版本 gcc test.c -O2 -fno-strict-aliasing  就输出5.00000，我想知道难道只有gcc4.1.x的几个版本才这样吗？谢谢


   

Aquester

可能是因为type-punning，编译链接时，加“-fno-strict-aliasing”看看？

gcc test.c -O2 -fno-strict-aliasing

junecl

回复 8# Aquester

谢谢，是这样的

但是为什么只有gcc4.1.2和4.1.0是这样的？而4.6.3和他们有不同

我把我的redhat的gcc升级到4.1.2，想看看-O2开了哪些优化，可 gcc -Q --help=optimizers -O2用不了，报错gcc: no input files

还在想办法，呵呵


   

w_anthony

回复 7# junecl


    我被这个坑过，比如

1. int i=0;
   
2. *(((short*)&i) + 1) = 1;
   
3. printf("%x", i);

复制代码

结果打印出来不是10000，而是0。
因为fstrict-aliasing认为不同类型的变量不会占用相同的内存块（除union外），然后它就可能以此为前提进行一些额外的优化。
不过写C的，怎么可能保证得了这一点，所以一直老实加上-fno-strict-aliasing