https://gcc.gnu.org/bugzilla/show_bug.cgi?id=40073
--- Comment #14 from Jorn Wolfgang Rennecke <amylaar at gcc dot gnu.org> --- (In reply to Jorn Wolfgang Rennecke from comment #12) > If we are right shifting a signed type, we could apply a MAX operation to the > shift count. Oops, I mean MIN of course. So that we can guarantee that the maximum applied shift count is one less than the bitsize of the shifted value.