[Bug tree-optimization/96707] Failure to optimize right shift+unsigned compare of two variables optimally

[amacleod at redhat dot com via Gcc-bugs]

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

--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
(In reply to Jakub Jelinek from comment #2)
> I think another case for ranger symbolic ranges?

indeed.