Re: [PATCH] match: For nonnegative X, relax condition on X < (typeof X)(X != 0) to false [PR125756]

[Jeffrey Law]

On 6/13/2026 7:01 AM, Kael Andrew Franco wrote:

 From 0d094722ecdb86aa8373134a36392c60e6bb2b69 Mon Sep 17 00:00:00 2001
From: Kael Andrew Alonzo Franco <kaelfand...@gmail.com>
Date: Sat, 13 Jun 2026 08:56:34 -0400
Subject: [PATCH] match: For nonnegative X, relax condition on X < (typeof X)(X 
!= 0) to false [PR125756]

tree_expr_nonnegative_p covers both TYPE_UNSIGNED (type) or when X is known to 
be nonnegative.

Bootstrapped and tested on x86_64-pc-linux-gnu

        PR tree-optimization/125756

gcc/ChangeLog:

        PR tree-optimization/125756
        * match.pd: Use tree_expr_nonnegative_p for X < (typeof X)(X != 0) to 
false.

gcc/testsuite/ChangeLog:

        PR tree-optimization/125756
        * gcc.dg/125756.c: New test.

Signed-off-by: Kael Franco <kaelfand...@gmail.com>

THanks.  This looks good and I've pushed it to the trunk.
jeff