c++ - 如何获得忘记算术运算的警告？

Question

考虑这种情况:

uint64_t add(uint32_t a, uint32_t b)
{
   return a + b; // programmer neglected (uint64_t) a + b.
}

我们如何让 GCC(或任何其他编译器)的 C 或 C++ 前端对这种情况发出警告:正在以立即加宽的窄类型执行操作？

我通读了当前的 GCC 文档，并尝试了各种警告，例如 -Wconversion，但没有任何效果。

Answer 1

我不知道 GCC 的标志会引起警告。 Coverity 静态分析器将发出 OVERFLOW_BEFORE_WIDEN警告，因为这已在 CERT 标准中标记。

免责声明:我曾为 Coverity 工作。