https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66248 --- Comment #6 from Jon Beniston <jon at beniston dot com> --- -fstrict-overflow (which is the default at -O2) tells us that we can assume it will not overflow. Even if it did, on most targets it makes no difference to the result.