[Bug tree-optimization/125737] `a%b < b` should be true if a and b are non-negative

[kaelfandrew at gmail dot com via Gcc-bugs]

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

--- Comment #2 from Kael Franco <kaelfandrew at gmail dot com> ---
https://gcc.gnu.org/pipermail/gcc-patches/2026-June/720250.html