[Bug c++/113545] ICE in label_matches with constexpr function with switch-statement and converted (nonconstant, cast address) input

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

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Marek Polacek <mpola...@gcc.gnu.org>:

https://gcc.gnu.org/g:39d989022dd0eacf1a7b95b7b20621acbe717d70

commit r14-8942-g39d989022dd0eacf1a7b95b7b20621acbe717d70
Author: Marek Polacek <pola...@redhat.com>
Date:   Mon Feb 12 14:53:24 2024 -0500

    c++: ICE with reinterpret_cast and switch [PR113545]

    Jason, this is the patch you proposed for PR113545.  It looks very safe
    so I'm posting it here so that it's not forgotten.

            PR c++/113545

    gcc/cp/ChangeLog:

            * constexpr.cc (cxx_eval_switch_expr): If the condition doesn't
reduce
            to an INTEGER_CST, consider it non-constant.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp1y/constexpr-reinterpret3.C: Remove dg-ice.