2013-06-25 36 views
1

我注意到我的代碼在-O3打破,但不在-O2。我試着一個一個的應用標誌,我發現-finline-functions打破我的代碼

gcc -O1 -finline-functions code.c 

break;和

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

的作品。

「休息」,我的意思是它編譯,但它運行不正確。

我應該在哪裏尋找這個bug?我可以發佈代碼,但是由於它重達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) 
+0

您正在使用一個非常古老的GCC版本,請嘗試更新它。這可能是一個未定義的行爲或像'setjmp' /'longjmp'這樣的一些「魔術」功能的問題。嘗試找到哪個功能導致問題。 –

+1

如果您可以縮小可能導致問題的函數列表,則可以通過單獨禁用[noinline屬性]內聯來測試每個函數(http://gcc.gnu.org/onlinedocs/gcc/Function -Attributes.html),直到找到真正的罪魁禍首。 – sjs

+0

完成創建SSCCE的過程([Short,Self-Contained,Correct Example](http://sscce.org/))。當它很小時,如果RedHat仍然支持你正在使用的編譯器,你可以嘗試向他們報告問題。 GCC團隊不會對4.1.x的報告感興趣;他們早已放棄支持GCC 4.1.x(根據http://gcc.gnu.org/,4.7.x是最早支持的版本)。如果您可以在4.7.x或(更好)4.8.x中重現問題,那麼您可以將它報告給他們。 –

回答

3

我想通了錯誤:

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

見,即使有在bar()沒有return語句,值5已經在返回值寄存器。 main()提取返回寄存器中的值,認爲它來自於酒吧,但實際上它來自foo。這是未定義的行爲,但只有在編譯器試圖嵌入bar()時纔會發生。解決的辦法是把在bar()

迴歸到gcc的信用,它如果打開-Wall

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

我發現這個通過手動應用__attribute__ ((noinline))(感謝SJS!)到功能,直到警告你我代碼正常工作

+0

這不是GCC中的錯誤,這僅僅是* Undefined Behavior *的另一種情況。 –

+0

@AdamRosenfield沒有說這是gcc中的一個bug。 –

+1

哇!你的意思是你一直不用'-Wall -Wextra'進行編譯?你不能不使用它們! –