https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57503
--- Comment #17 from Georg-Johann Lay <gjl at gcc dot gnu.org> --- Obervation that -fno-wrapv also leads to correct code, hence there is somewhere a wrong assumption that signed overflow occurs (which doesn't).
