[Bug rtl-optimization/99376] sanitizer detects undefined behaviour in rtlanal.c

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99376

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> Clearly a pair of tests against HOST_BITS_PER_WIDE_INT is missing in:
> 
>       if (result_width < mode_width)
>         nonzero &= (HOST_WIDE_INT_1U << result_width) - 1;
> 
>       if (result_low > 0)
>         nonzero &= ~((HOST_WIDE_INT_1U << result_low) - 1);

Actually only for result_low, as mode_width <= HOST_BITS_PER_WIDE_INT.