[Bug tree-optimization/105679] [12 Regression] extra -Warray-bounds warning added with -fsanitize=shift due to jump threading

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Kees Cook from comment #9)
> Does anyone have some time to do this backport for GCC 12?

I sofar refrained from doing this because of the large amount of fallout and
followup changes and I think those are not warranted on the GCC 12 branch.