c++ - gcc 根据优化创建崩溃代码

Question

我有一个相当复杂的多线程代码，我使用 gcc 4.8.1 进行编译。编译时使用

g++ -c file.cc -march=native -mfpmath=sse -mpreferred-stack-boundary=4
--param inline-unit-growth=50 -ggdb3 -Wall -Wextra -Winit-self
-O2 -fPIC -funroll-loops -fforce-addr -rdynamic

代码因段错误而崩溃(我无法调试，但结构的地址突然与构造时不同，特别是不再按照代码要求与 32 字节对齐，而是仅 8 字节)。

当使用 -O1 编译时，代码工作正常。然后，我添加了所有区分 -O1 和 -O2 的优化标志。 (为此，我通过

创建了两个文件 O1-opts 和 O2-opts

g++ -march=native -mfpmath=sse -mpreferred-stack-boundary=4
--param inline-unit-growth=50 -ggdb3 -Wall -Wextra -Winit-self
-O1 -fPIC -funroll-loops -fforce-addr -rdynamic
-Q --help=optimizers > O1-opts

g++ -march=native -mfpmath=sse -mpreferred-stack-boundary=4
--param inline-unit-growth=50 -ggdb3 -Wall -Wextra -Winit-self
-O2 -fPIC -funroll-loops -fforce-addr -rdynamic
-Q --help=optimizers > O2-opts

当diff O1-opts O2-opts提供选项差异时)。将所有选项差异添加到-O1时，生成的代码仍然不会崩溃。这让我很困惑。所以我的问题是:这不应该给出与 -O2 完全相同的结果吗？ (还有:我的问题的可能原因是什么？)

Answer 1

重点是，-O2 选项不仅可以设置不同的标志，而且与 -O1 相比还可以实现额外的优化。

GCC Wiki 的常见问题解答部分有一个适当的条目 this .