[Bug tree-optimization/120035] Loops are not optimized when "unsigned i" is used

[mcccs at gmx dot com via Gcc-bugs]

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

--- Comment #3 from mcccs at gmx dot com ---
I compared the outputs of passes. The divergence starts with cddce3. The
unsigned version has this added line:

> cannot prove finiteness of loop 2