https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111151
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- It isn't just those 2 values though. MAX (INT_MIN / 2, 0) * -2 etc. would be a problem too. So maybe play safe and only do it for MULT_EXPR when TYPE_OVERFLOW_UNDEFINED and c is non-negative? Maybe non-power of two -c could be ok too.
