c - -finline-functions 破坏了我的代码

Question

我注意到我的代码在 -O3 处中断，但没有在 -O2 处中断。我试着一个一个地应用标志，我发现

gcc -O1 -finline-functions code.c

休息；和

gcc -O1 -fno-inline-functions code.c

有效。

我所说的“中断”是指它可以编译，但运行不正确。

我应该在哪里寻找这个错误？我可以发布代码，但由于它有 1.5k SLOC，我宁愿不发布整个代码。

版本:

$ uname -a
Linux xxxx.xxxx 2.6.18-308.20.1.el5 #1 SMP x86_64 x86_64 x86_64 GNU/Linux
$ gcc -v
Using built-in specs.
Target: x86_64-redhat-linux
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --enable-checking=release --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-libgcj-multifile --enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-java-awt=gtk --disable-dssi --disable-plugin --with-java-home=/usr/lib/jvm/java-1.4.2-gcj-1.4.2.0/jre --with-cpu=generic --host=x86_64-redhat-linux
Thread model: posix
gcc version 4.1.2 20080704 (Red Hat 4.1.2-54)

Answer 1

我发现了错误:

int foo() {
  return 5;
}
int bar() {
  foo(); // <-- no return statement!
}
int main() {
  printf("%d", bar());
}

看，尽管 bar() 中没有 return 语句，但值 5 已经在返回值寄存器中。 main() 获取返回寄存器中的值，认为它来自 bar，但实际上它来自 foo。这是未定义的行为，但只有当编译器试图内联 bar() 时它才会崩溃。解决方法是在bar()

中放一个return

感谢 gcc，如果您打开 -Wall，它会警告您

code.c:63: warning: control reaches end of non-void function

我通过手动应用 __attribute__ ((noinline))(感谢 sjs!)找到了这个功能，直到我的代码正常工作