在 g++ 中启用严格的别名警告

Question

在 g++ 中启用严格别名警告的正确方法是什么？ VC++ 10 执行这些规则吗？

Answer 1

对 g++ 使用 -fstrict-aliasing。我还使用 -Wstrict-aliasing=2 来查看与可能违反严格别名规则相关的警告。

Answer 2

它们由 -O2 自动启用，因为它需要使用它们来进行一些优化。一定要将其与警告结合起来（-Wall 就可以了），以确保您不会构建潜在的错误代码。否则，您可以使用 -fstrict-aliasing （如另一个答案中所示）来启用它们。

不过我不确定 VC++10 。

Answer 3

VC++ 10 启用 /O1 及以上版本的严格别名规则。我使用 此处。并获得以下 asm 代码。您可以看到 b 的加载仅完成一次。

00A910AE  movzx       edx,word ptr [edx+2]  //Load of b
00A910B2  xor         eax,eax  
00A910B4  xor         ecx,ecx  
00A910B6  add         dword ptr [esp+eax*4+34h],edx  //Loop start
00A910BA  add         eax,1  
00A910BD  adc         ecx,edi  
00A910BF  jne         main+76h (0A910C6h)  
00A910C1  cmp         eax,6  
00A910C4  jb          main+66h (0A910B6h)  //Loop end

但似乎没有办法启用违反此规则的警告。