gcc -O3，数据指针似乎丢失了

Question

根据优化级别，输出结果如下：

输出意外：

$ gcc -Wall -O3  otest.c -o otest                   
$ otest                                             
*x: 0 
y: 2048.899902 
y: 0.000000 

预期输出：

$ gcc -Wall -O2  otest.c -o otest 
$ otest                           
*x: 45000e66 
y: 0.000000 
y: 2048.899902

源代码 ：

#include <stdio.h>
int main(void)
{
   float y = 2048.9;
   void *p = &y;
   unsigned int *x = p;
   printf(" *x: %x \n",*x);
   *x = 0; 
   printf(" y: %f \n",y);
   *x = 0x45000e66;
   printf(" y: %f \n",y);  
   return 0;
 }

gcc版本是4.2.1。

我错过任何重要的指示吗？

Answer 1

是。 您的代码违反了严格的别名规则（当您有float ，但是通过指向unsigned int的指针访问它，这是一个不兼容的类型），调用了未定义的行为，因此允许编译器对您的代码执行任何其喜欢的操作，包括完全消除其中的一部分。