gcc的一个bug，GCC strict aliasing

gcc的一个bug，GCC strict aliasing

先看这样一段代码：

#include <stdio.h>void check (int *h, long*k)
{*h=5;*k=6;if (*h==5) {printf ("h and k point to different addr, strict aliasing bug!n");}else {printf ("correct!n");}
}int main() {long k[1];check ((int*)k,k);return 0;
}

一个long*指针，强转为int*并传给check函数，因为h与k都指向同一块地址，按理说，在*k=6这句之后，*h应该被改为了6，但读出来却旧仍然是5，意思是check ((int*)k,k);这个传递过程中，编译器把(int*)k与k处理成了两个不同的地址！

这是个gcc编译器bug，且只在-O2时发生。在板子上试验发现带O2的编译确实有此问题，O0则可以，-O2 -fno-strict-aliasing这样也没问题：

root@a1000:/userdata# ./a.out.O2
h and k point to different addr, strict aliasing bug!
root@a1000:/userdata# ./a.out.O0
correct!
root@a1000:/userdata# ./a.-strict-aliasing
correct!
root@a1000:/userdata#

总结如下：