[Bug tree-optimization/108757] We do not simplify (a - (N*M)) / N + M -> a / N

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

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108757
--- Comment #8 from Segher Boessenkool <segher at gcc dot gnu.org> ---
No, addition and subtraction are well defined for all inputs, for unsigned
integers.