https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63510
--- Comment #10 from Chen Gang <gang.chen.5i5j at gmail dot com> --- Need use gimple_location(stmt) for it. The stmt is the variable in gcc/tree-ssa-sccvn.c before call fold_binary(). But unlucky, it is not passed into fold_binary(), we can not get it directly. After try a temporary fix, the related output is: [root@localhost build-gcc-x86_64]# gcc -O2 -Wall -Wextra -c /tmp/i387-tdep.c when assuming that (X + c) >= X is always true /tmp/i387-tdep.c: In function ‘i387_supply_fsave’: /tmp/i387-tdep.c:6:3: warning: assuming signed overflow does not occur when assuming that (X + c) >= X is always true [-Wstrict-overflow] for (i = st0_regnum; i < st0_regnum + 16;) ^ I shall try to give a normal fix for it, next.