- 內聯函數中的warray-bounds僞造警告g ++ 4.9.2

Question

我收到了我遇到過的最詭異的警告。我有在我做這樣的事情

inline int f(int n) 
{ 
    int myarray[maxn]; 
    myarray[n-1] = 1; 
} 

參數maxn是在頭文件作爲constexpr定義的內聯函數。傳遞給f的參數n在我的代碼中總是小於或等於maxn。然而，每當我編譯，我得到警告

warning: array subscript is above array bounds [-Warray-bounds] 

在行myarray[n-1] = 1。

它只是碰巧使用g++4.9（clang++不發出任何警告，以及以前的版本g++），只有當該功能被標記inline。如果我在函數中使用的測試條件如

if(n > maxn) cerr << "ERROR!"<< endl; 

或甚至簡單的顯示語句作爲

cout << n; 

警告消失（在if當然評價爲false的，所以沒有錯誤消息是顯示，因爲我絕對確信n <= maxn;）。

有誰知道這是否是g++問題？你之前遇到過嗎？

Answer 1

它看起來像數組邊界檢查已被報道gcc幾次（here和here），例如這個錯誤報告 Picon [Bug c/59564] New: False positive array -Warray-bounds check with -O2說明此代碼的假陽性問題，使用-02和gcc 4.8.2和gcc 4.9.0時產生假陽性（see it live）：

int arr[1]; 
int n = 0; 

int main() { 
    if (n <= 0) n = 0; 
    arr[n] = 0; 
    if (n <= 0) n = 0; 
    return 0; 
} 

所以這可能是一個迴歸或不同形式的bug，你應該提交bug report。