https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125737
--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jeff Law <[email protected]>: https://gcc.gnu.org/g:5d14cb6417055829bfc1ff12e4ce935e844e9b38 commit r17-1573-g5d14cb6417055829bfc1ff12e4ce935e844e9b38 Author: Kael Andrew Franco <[email protected]> Date: Mon Jun 15 11:18:32 2026 -0600 [PATCH] match: For nonnegative X and Y, relax condition on X % Y < Y to true [PR125737] From ae75421fd6c7d50e5b1e9aafea2ae3cbcd4ebc1c Mon Sep 17 00:00:00 2001 From: Kael Andrew Alonzo Franco <[email protected]> Date: Sun, 14 Jun 2026 06:28:01 -0400 Subject: [PATCH] match: For nonnegative X and Y, relax condition on X % Y < Y to true [PR125737] tree_expr_nonnegative_p covers TYPE_UNSIGNED (type) or when X and Y are known to be nonnegative. Bootstrapped and tested on x86_64-pc-linux-gnu PR tree-optimization/125737 gcc/ChangeLog: PR tree-optimization/125737 * match.pd: Use tree_expr_nonnegative_p for X % Y < Y to true. gcc/testsuite/ChangeLog: PR tree-optimization/125737 * gcc.dg/pr125737.c: New test.
