diff options
| author | Patrick Palka <ppalka@redhat.com> | 2020-10-08 00:05:41 -0400 |
|---|---|---|
| committer | Patrick Palka <ppalka@redhat.com> | 2020-10-08 00:05:41 -0400 |
| commit | c1c62aec6751678e958ab5c61b2d903a09d7efd9 (patch) | |
| tree | 3642a5e9b9cbdfc4f9585f4827703843380d24f4 /gcc/cp/constraint.cc | |
| parent | 6b1b5c255f859e75a2d74ae58a011e846d87a277 (diff) | |
| download | gcc-c1c62aec6751678e958ab5c61b2d903a09d7efd9.zip gcc-c1c62aec6751678e958ab5c61b2d903a09d7efd9.tar.gz gcc-c1c62aec6751678e958ab5c61b2d903a09d7efd9.tar.bz2 | |
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.
Diffstat (limited to 'gcc/cp/constraint.cc')
| -rw-r--r-- | gcc/cp/constraint.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/cp/constraint.cc b/gcc/cp/constraint.cc index d49957a..050b55c 100644 --- a/gcc/cp/constraint.cc +++ b/gcc/cp/constraint.cc @@ -1427,7 +1427,9 @@ tree build_type_constraint (tree decl, tree args, tsubst_flags_t complain) { tree wildcard = build_nt (WILDCARD_DECL); + ++processing_template_decl; tree check = build_concept_check (decl, wildcard, args, complain); + --processing_template_decl; if (check == error_mark_node) return error_mark_node; return unpack_concept_check (check); |