[Bug tree-optimization/128519] [17 Regression] wrong code at -O1: SCEV widens a decreasing unsigned short IV as no_overflow; loop exits one iteration early since r17-5477

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

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

--- Comment #2 from Robin Dapp <rdapp at gcc dot gnu.org> ---
Will have a look next week.