GCC-Fehler: Funktion könnte Kandidat für das Attribut ‚rein‘ sein, wenn bekannt ist, dieser Code normalerweise

Question

Gegeben zurückzukehren:

#include <cstdlib> 

void func(int x) 
{ 
    if (x) 
    abort(); 
}; 

g++ -Werror=suggest-attribute=pure klagt:

error: function might be candidate for attribute ‘pure’ if it is known to return normally

Dies scheint seltsam zu mich- Ist es nicht offensichtlich, dass die Funktion nicht normal zurückkehrt? Gibt es eine Möglichkeit, GCC mitzuteilen, dass es nicht immer normal zurückkehrt oder dass diese Warnung für diese bestimmte Funktion nicht angezeigt werden soll?

Demo: https://godbolt.org/g/720VOT

Answer 1

Dies scheint ein Fehler in gcc (oder zumindest Diskrepanz der Dokumentation und der tatsächlichen Umsetzung). Die documentation on -Wsuggest-attribute=pure lautet:

-Wsuggest-attribute=pure
-Wsuggest-attribute=const
-Wsuggest-attribute=noreturn

Warn about functions that might be candidates for attributes pure , const or noreturn . The compiler only warns for functions visible in other compilation units or (in the case of pure and const) if it cannot prove that the function returns normally. A function returns normally if it doesn't contain an infinite loop or return abnormally by throwing, calling abort or trapping. This analysis requires option -fipa-pure-const , which is enabled by default at -O and higher. Higher optimization levels improve the accuracy of the analysis.

Allerdings scheint die eigentliche Analyse die Möglichkeit, nicht-wiederkehrende Anrufe zu ignorieren, obwohl es möglich Ausnahmen respektiert:

$ cat test-noreturn.cpp 
[[noreturn]] void foo(); 

void func(int x) 
{ 
    if (x) 
     foo(); 
} 

$ g++ -std=c++11 -c -O -Wsuggest-attribute=pure test-noreturn.cpp 
$ cat test-noreturn-nothrow.cpp 
[[noreturn]] void foo() throw(); 
//      ^^^^^^^ 

void func(int x) 
{ 
    if (x) 
     foo(); 
} 
$ g++ -std=c++11 -c -O -Wsuggest-attribute=pure test-noreturn-nothrow.cpp 
test-noreturn-nothrow.cpp: In function ‘void func(int)’: 
test-noreturn-nothrow.cpp:4:6: warning: function might be candidate for attribute ‘pure’ if it is known to return normally [-Wsuggest-attribute=pure] 
void func(int x) 
    ^