https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119391
--- Comment #10 from Jakub Jelinek <jakub at gcc dot gnu.org> --- And for GCC 16, perhaps we can keep existing behavior and just set overflow flag on the result whenever it is pedantically invalid. So for the cases like negative shift count or left shift of signed negative number.