[Bug tree-optimization/108306] [12/13 Regression] false-positive -Warray-bounds warning emitted with -fsanitize=shift

[rguenth at gcc dot gnu.org]

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

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Andrew Macleod from comment #11)
> Created attachment 54287 [details]
> simpler patch
> 
> actually, its even simpler than that.  The original code was fine, it was
> returning varying instead of [0,0] for the out of bounds cases.

LGTM