为何启用-O2优化时我的C++代码输出错误结果？

问题代码 #

#include <cstdio>
struct Node {
    int x;
};
Node f(int A, int B) {
    if (A < 0) return {0};
    return {A / B + (A % B != 0)};
}
Node g(int C, int D) {
    if (C > 0) return {0};
    return {C / D + (C % D != 0)};
}
int main() {
    int n;
    scanf("%d", &n);
    f(1, 1);
    Node t = g(-1, n);
    printf("%d\n", t.x);
}

问题现象 #

使用g++-13编译，采用-O0优化级别时，输入2得到输出1；启用-O2优化级别后，输入2得到输出0。

原因分析 #

问题出在GCC的优化逻辑上：编译器在-O2级别会将表达式x/y + (x%y != 0)优化为(x + y - 1)/y，但这个优化仅适用于x和y均为正整数的场景，目的是实现正整数的向上取整。

在你的g函数中，当输入C=-1、D=2时：

• 原表达式计算：-1/2按C++规则向零取整结果为0，-1%2结果为-1（取模结果符号与被除数一致），因此0 + (-1 != 0)即0+1=1，这也是-O0下的输出。
• 优化后的表达式(C + D -1)/D计算为(-1 + 2 -1)/2 = 0/2=0，与原逻辑结果不符，导致-O2下输出错误。

这里的核心问题是编译器没有判断表达式的适用场景就盲目应用了优化，而你的代码逻辑恰好触发了这个优化的不适用情况。需要注意的是，x/y + (x%y != 0)本身对于负数的计算逻辑并不符合常规取整需求，若你的目标是对负数做特定取整，需要单独处理负数场景的逻辑。

内容的提问来源于stack exchange，提问作者Mr. Python