-Wstrict-overflow 不会在它应该清楚的地方产生任何警告

Question

根据 g++ 手册页及其网站 https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html ，以下代码在使用 -O3 -Wstrict-overflow=5 编译时应产生警告：

#include <iostream>
#include <limits>

int
main() {
    int x{std::numeric_limits<int>::max()};
    if(x+1 > x) std::cout << "Hello";
}

它甚至输出“Hello”，表明它优化了 check(x+1 > x) 。但是我没有得到任何警告。我是否误解了这个警告的意思，或者这是一个 gcc 错误？我在他们的错误数据库中找不到任何东西。

Answer 1

这绝对是 GCC 7.5 and 8.1. Be sure to report it. This particular example is even in the docs 之间引入的错误。

-Wstrict-overflow doesn't produce any warnings where it clearly should