https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95423
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Fri, 29 May 2020, pinskia at gcc dot gnu.org wrote: > Could there be overflows which don't happen originally? Yes. Say a == INT_MIN, x == -1, b == 0, for example. (This transformation can also remove overflows.)