小编Sti*_*eta的帖子

我有一个遗留的代码库,我们正试图从中迁移devtoolset-4到devtoolset-7.我注意到有关有符号整数溢出的有趣行为(int64_t具体而言).

有一个代码片段,用于检测整数溢出,同时乘以一大组整数:

// a and b are int64_t
int64_t product = a * b; 
if (b != 0 && product / b != a) {
    // Overflow
}

这段代码与devtoolset-4一起工作正常.但是,使用devtoolset-7时,永远不会检测到溢出.

例如:当a = 83802282034166和b = 98765432, product变为-5819501405344925872(显然值已溢出).

但product / b结果价值等于a (83802282034166).因此,if情况永远不会成真.它的值应该根据overflown(负)product值计算:-5819501405344925872 / 98765432 = -58922451788

具有讽刺意味的是,数学是正确的,但它导致devtoolset-4的异常行为.

• 编译器是否可以缓存该值(而不是重新评估它)导致此行为？
• 或者编译器优化是否将语句转换product / b != a 为product != a * b并达到相同的溢出值(或者可能只是根据上面的语句跳过计算 …