c++: ICE in dependent_type_p with constrained auto [PR97052]
authorPatrick Palka <ppalka@redhat.com>
Thu, 8 Oct 2020 04:05:41 +0000 (00:05 -0400)
committerPatrick Palka <ppalka@redhat.com>
Thu, 8 Oct 2020 04:05:41 +0000 (00:05 -0400)
commitc1c62aec6751678e958ab5c61b2d903a09d7efd9
tree3642a5e9b9cbdfc4f9585f4827703843380d24f4
parent6b1b5c255f859e75a2d74ae58a011e846d87a277
c++: ICE in dependent_type_p with constrained auto [PR97052]

This patch fixes an "unguarded" call to coerce_template_parms in
build_standard_check: processing_template_decl could be zero if we
get here during processing of the first 'auto' parameter of an
abbreviated function template, or if we're processing the type
constraint of a non-templated variable.  In the testcase below, this
leads to an ICE when coerce_template_parms instantiates C's dependent
default template argument.

gcc/cp/ChangeLog:

PR c++/97052
* constraint.cc (build_type_constraint): Temporarily increment
processing_template_decl before calling build_concept_check.
* pt.c (make_constrained_placeholder_type): Likewise.

gcc/testsuite/ChangeLog:

PR c++/97052
* g++.dg/cpp2a/concepts-defarg2.C: New test.
gcc/cp/constraint.cc
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp2a/concepts-defarg2.C [new file with mode: 0644]