]> git.ipfire.org Git - thirdparty/gcc.git/commit
c++: constrained template friend matching ICE [PR105064]
authorPatrick Palka <ppalka@redhat.com>
Mon, 28 Mar 2022 18:15:16 +0000 (14:15 -0400)
committerPatrick Palka <ppalka@redhat.com>
Thu, 7 Apr 2022 19:12:38 +0000 (15:12 -0400)
commit214330a15cd7fd52e574023152f1321c6d329e82
treedf1f593254a450d119993630cd739cbf9f92403e
parentc0f38a14c8e9daf4c3f96fe9de4e9785616d5912
c++: constrained template friend matching ICE [PR105064]

Here during declaration matching for the two constrained template
friends, we crash from maybe_substitute_reqs_for because the second
friend doesn't yet have DECL_TEMPLATE_INFO set (we're being called
indirectly from push_template_decl).

As far as I can tell, this situation happens only when declaring a
constrained template friend within a non-template class (as in the
testcase), in which case the substitution would be a no-op anyway.
So this patch rearranges maybe_substitute_reqs_for to gracefully
handle missing DECL_TEMPLATE_INFO by just skipping the substitution.

PR c++/105064

gcc/cp/ChangeLog:

* constraint.cc (maybe_substitute_reqs_for): Don't assume
DECL_TEMPLATE_INFO is available.

gcc/testsuite/ChangeLog:

* g++.dg/cpp2a/concepts-friend9.C: New test.

(cherry picked from commit ecb4882e362e80a1bf172453ac9b366edbb4e89c)
gcc/cp/constraint.cc
gcc/testsuite/g++.dg/cpp2a/concepts-friend9.C [new file with mode: 0644]