[Bug tree-optimization/107114] [13 Regression] Failure to discover range results in bogus warning

[amacleod at redhat dot com]

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

--- Comment #3 from Andrew Macleod <amacleod at redhat dot com> ---
yeah, we just invoke the loop analyzer and pick up what it tells us. From VRP2
point of view, it is just not getting the info supplied from the loop
optimizer.

I see dom3 removes some code and I see 

 < fix_loop_structure: removing loop 5

any chance it doesn't fix it up right somehow?