[Bug tree-optimization/109564] [13/14 Regression] libkeccak miscompiled

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

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

--- Comment #20 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Jakub Jelinek
<ja...@gcc.gnu.org>:

https://gcc.gnu.org/g:f980561c60b0446cc427595198d7f3f4f90e0924

commit r13-7231-gf980561c60b0446cc427595198d7f3f4f90e0924
Author: Andrew MacLeod <amacl...@redhat.com>
Date:   Thu Apr 20 13:10:40 2023 -0400

    Do not ignore UNDEFINED ranges when determining PHI equivalences.

    Do not ignore UNDEFINED name arguments when registering two-way
equivalences
    from PHIs.

            PR tree-optimization/109564
            gcc/
            * gimple-range-fold.cc (fold_using_range::range_of_phi): Do no
ignore
            UNDEFINED range names when deciding if all PHI arguments are the
same,

            gcc/testsuite/
            * gcc.dg/torture/pr109564-1.c: New testcase.
            * gcc.dg/torture/pr109564-2.c: Likewise.
            * gcc.dg/tree-ssa/evrp-ignore.c: XFAIL.
            * gcc.dg/tree-ssa/vrp06.c: Likewise.

    (cherry picked from commit 17aa9ddb34581855dd013745c8be27dda024de4a)