[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 #6 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-13 branch has been updated by Marek Polacek
<mpola...@gcc.gnu.org>:

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

commit r13-8336-ge501a279fb4298c9b23637d573287e059b3b06c8
Author: Marek Polacek <pola...@redhat.com>
Date:   Fri Feb 16 12:25:26 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: New test.
            * g++.dg/cpp1y/constexpr-reinterpret4.C: New test.

    (cherry picked from commit 39d989022dd0eacf1a7b95b7b20621acbe717d70)