為什么gcc使用-O0進行一些優化

Question

我使用gcc 4.8.4和-O0標志編譯了以下代碼：

#include <stdio.h>
#include <stdlib.h>
#include <setjmp.h>

static jmp_buf env;

static void
doJump(int nvar, int rvar, int vvar)
{
    printf("Inside doJump(): nvar=%d rvar=%d vvar=%d\n", nvar, rvar, vvar);
    longjmp(env, 1);
}

int
main(int argc, char *argv[])
{
    int nvar;
    register int rvar;          
    volatile int vvar;         

    nvar = 111;
    rvar = 222;
    vvar = 333;

    if (setjmp(env) == 0) {     
        nvar = 777;
        rvar = 888;
        vvar = 999;
        doJump(nvar, rvar, vvar);
    } else {                    
        printf("After longjmp(): nvar=%d rvar=%d vvar=%d\n", nvar, rvar, vvar);
    }

    exit(EXIT_SUCCESS);
}

它產生了以下輸出：

Inside doJump(): nvar=777 rvar=888 vvar=999
After longjmp(): nvar=777 rvar=222 vvar=999

我的期望是rvar在第二行將是888，因為所有優化都被禁用。

當我從'rvar'的定義中刪除'register'或者在'register'前面添加'volatile'時，它輸出888。

因此，盡管-O0標志，​​gcc似乎仍然會執行一些優化。

有沒有辦法在gcc中禁用所有優化？

Answer 1

對於longjmp() ，C11標准說：

所有可訪問的對象都具有值，並且抽象機器^249的所有其他組件在調用longjmp函數時具有狀態，除了包含調用的函數的本地的自動存儲持續時間的對象的值。沒有volatile限定類型並且在setjmp調用和longjmp調用之間已經更改的相應setjmp宏是不確定的。

^249）這包括但不限於浮點狀態標志和打開文件的狀態。

你正在遇到不確定的價值......標准的符合行為。

Answer 2

如果你發布的代碼是在啟用了所有警告的情況下編譯的，那么就會輸出三個警告：

warning: unused parameter 'argc' [-Wunused-parameter]

warning: unused parameter 'argv' [-Wunused-parameter]

以上可以修改替換：

int main( int argc, char *argv[])

同

int main( void )

而重要的一個：

warning: variable 'ravr' might be clobbered by 'longjmp' or 'vfork' [-Wclobbered]

您回答哪個問題，並表明必須在啟用所有警告的情況下進行編譯。 對於gcc，至少使用：

-Wall -Wextra -pedantic