c++ - -Wstrict-函数定义中的溢出警告

Question

如何获得函数定义的“假设没有签名溢出”警告？

warning: assuming signed overflow does not occur when assuming that 
                           (X + c) < X is always false [-Wstrict-overflow]
unsigned int index(const ItemRequest& request)
             ^

可以找到函数体here .

这看起来很奇怪，因为返回值只是 ushort 或 uint。

Answer 1

因为函数定义包含了函数体。并且正文显然可以包含带符号的溢出。

您显示的部分在参数列表后既不包含 ; 也不包含 {，因此无论如何它都不完整。

如果编译器无法定位诊断的确切位置，您可能会遇到错误。当诊断是由优化器引起的，优化器正在处理已经经过相当多转换的代码时，这尤其常见。