c++: partially inst requires-expr in noexcept-spec [PR101043]
commit40a7707a7ea3568cee2cd80cd7e83b7eda678410
authorPatrick Palka <ppalka@redhat.com>
Wed, 15 Nov 2023 17:17:55 +0000 (15 12:17 -0500)
committerPatrick Palka <ppalka@redhat.com>
Wed, 15 Nov 2023 17:17:55 +0000 (15 12:17 -0500)
treebf2d05aab17fd5c15c4d2fd58b68480eb9048c6e
parentd3f48f682271ed94ab6e9f6bc62418a62bd8ff26
c++: partially inst requires-expr in noexcept-spec [PR101043]

Here we're ICEing from strip_typedefs for the partially instantiated
requires-expression when walking its REQUIRES_EXPR_EXTRA_ARGS which
in this case is a TREE_LIST with non-empty TREE_PURPOSE (to hold the
captured local specialization 't' as per build_extra_args) which
strip_typedefs doesn't expect.

We can probably skip walking REQUIRES_EXPR_EXTRA_ARGS at all since it
shouldn't contain any typedefs in the first place, but it seems safer
and more generally useful to just teach strip_typedefs to handle non-empty
TREE_PURPOSE the obvious way.  (The code asserts TREE_PURPOSE was empty
even since since its inception i.e. r189298.)

PR c++/101043

gcc/cp/ChangeLog:

* tree.cc (strip_typedefs_expr) <case TREE_LIST>: Handle
non-empty TREE_PURPOSE.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/concepts-requires37.C: New test.
gcc/cp/tree.cc
gcc/testsuite/g++.dg/cpp2a/concepts-requires37.C [new file with mode: 0644]