[Bug tree-optimization/98813] loop is sub-optimized if index is unsigned int with offset

[guojiufu at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #8 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
For code in comment 4, it is optimized since there are some range info for "_2
= l_m_34 + _54;" where _54 > 0.