https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97979
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org --- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 49625 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49625&action=edit gcc11-pr97979.patch The match.pd pattern was unprepared to handle int_const_binop giving up, which it now does for some of the UB shifts (and I think should even for shifts with positive shift amount but larger or equal to the bitsize). int_const_binop similarly gives up for division by zero etc.