https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125706
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Andrew Macleod <[email protected]>: https://gcc.gnu.org/g:cd52e71e8aea258342deca45868bf2529d4fdd76 commit r17-1493-gcd52e71e8aea258342deca45868bf2529d4fdd76 Author: Andrew MacLeod <[email protected]> Date: Wed Jun 10 09:41:27 2026 -0400 Refine modulo range operations with fixed quotient. When all combines of x / y produce the same quotient Q, further refine modulo operations by treating x % y == x - Q * y PR tree-optimization/125706 gcc/ * range-op.cc (operator_trunc_mod::wi_fold): Apply fixed quotient refinement. gcc/testsuite/ * gcc.dg/pr125706.c: New.
