编译优化生成坏代码

编译优化生成坏代码

（金庆的专栏）

以下代码来自: http://www.gossamer-threads.com/lists/python/dev/497519

#include <stdio.h>

long f(int *a, long *d){
(*d)++;
*a = 5;
return *d;
}

int main()
{
long d = 0;
printf("%ld\n", f((int*)&d, &d));
return 0;
}

用gcc4.1作测试.
g++ main.cpp 结果为5.
打开编译优化选项-O2,
g++ -O2 main.cpp 结果为1.

g++ -O2 main.cpp -Wstrict-aliasing
就会报警告: 提领类型双关的指针将破坏强重叠规则.
强重叠就是strict-aliasing.

先转为void*, 再转为int*就不会有警告了.
f((int*)((void*)&d), &d)