[Bug tree-optimization/110392] [13 Regression] ICE at -O3 with "-O3 -Wall -fno-tree-vrp -fno-tree-dominator-opts -fno-tree-copy-prop -fno-tree-fre -fno-tree-ccp -fno-tree-forwprop": in find_var_cmp_const, at gimple-predicate-analysis.cc:257

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

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Richard Biener
<rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:980666fbaf24f444a4cc7e78eb19aae00f296fdb

commit r13-7544-g980666fbaf24f444a4cc7e78eb19aae00f296fdb
Author: Richard Biener <rguent...@suse.de>
Date:   Mon Jun 26 11:21:43 2023 +0200

    tree-optimization/110392 - ICE with predicate analysis

    Feeding not optimized IL can result in predicate normalization
    to simplify things so a predicate can get true or false.  The
    following re-orders the early exit in that case to come after
    simplification and normalization to take care of that.

            PR tree-optimization/110392
            * gimple-predicate-analysis.cc (uninit_analysis::is_use_guarded):
            Do early exits on true/false predicate only after normalization.

    (cherry picked from commit ab6eac20f00761695c69b555f6b0a026bc25770d)