https://gcc.gnu.org/bugzilla/show_bug.cgi?id=31178
--- Comment #24 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Note I am talking about adding path isolation for out of ranges for the shift operand too; https://gcc.gnu.org/pipermail/gcc/2024-June/244213.html . I am not sure how it will interact with this here though.