GCC 错误：如果已知函数正常返回，则该函数可能是属性“纯”的候选者

Question

鉴于此代码：

#include <cstdlib>

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

g++ -Werror=suggest-attribute=pure 抱怨：

错误：如果已知函数正常返回，则该函数可能是属性“纯”的候选对象

这对我来说似乎很奇怪——不是很明显该函数不知道正常返回吗？有什么方法可以告诉 GCC 它并不总是正常返回，或者我不希望此特定功能出现此警告？

演示：https://godbolt.org/g/720VOT

Answer 1

这似乎是 gcc 中的一个错误（或者至少是文档和实际实现的差异）。 documentation on -Wsuggest-attribute=pure 内容如下：

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

警告可能是属性pure 的候选函数， const 或 noreturn。编译器只对可见的函数发出警告 在其他编译单元或（在pure 和const 的情况下）如果它 不能证明函数正常返回。 函数返回 通常如果它不包含无限循环或异常返回 投掷、呼叫abort 或诱捕。此分析需要选项 -fipa-pure-const，默认情况下在 -O 及更高版本中启用。 更高的优化级别可以提高分析的准确性。

然而，实际分析似乎忽略了不返回调用的可能性，尽管它尊重可能的例外情况：

$ 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)
      ^