[Bug tree-optimization/113693] ICE: in check_loop_closed_ssa_def, at tree-ssa-loop-manip.cc:647 with _BitInt() at -O2 -fdbg-cnt=vect_loop:1

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

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

commit r14-8683-gb84f8a5e0a7ef3e5bd0d186fc7e280d9c43c5b7f
Author: Richard Biener <rguent...@suse.de>
Date:   Thu Feb 1 09:18:47 2024 +0100

    tree-optimization/113693 - LC SSA and region VN

    The following fixes LC SSA preserving with region VN which was broken
    when availability checking was enhanced to treat not visited value
    numbers as available.  The following makes sure to honor availability
    data we put in place for LC SSA preserving instead.

            PR tree-optimization/113693
            * tree-ssa-sccvn.cc (rpo_elim::eliminate_avail): Honor avail
            data when available.

            * gcc.dg/pr113693.c: New testcase.