diff options
author | Patrick Palka <ppalka@redhat.com> | 2021-09-28 17:26:20 -0400 |
---|---|---|
committer | Patrick Palka <ppalka@redhat.com> | 2021-09-28 17:26:20 -0400 |
commit | daa762f01d8cf932484b7df122a5e872439bc92c (patch) | |
tree | 063ac2526b95709c1d3f05da5c45acba98d6f260 /gcc/cp/pt.c | |
parent | 2fcfc7d66862c67677f0e1c46391292d5a21a567 (diff) | |
download | gcc-daa762f01d8cf932484b7df122a5e872439bc92c.zip gcc-daa762f01d8cf932484b7df122a5e872439bc92c.tar.gz gcc-daa762f01d8cf932484b7df122a5e872439bc92c.tar.bz2 |
c++: ttp matching with constrained auto parm [PR99909]
Here, when unifying TT with S, processing_template_decl is unset, and
this foils the dependence checks in do_auto_deduction for avoiding
checking constraints on an auto when the initializer is dependent.
This patch fixes this by making sure processing_template_decl is set
around the call to unify from coerce_template_template_parms; this seems
sensible because we're unifying one set of template parameters with
another, so we're dealing with templated trees throughout.
PR c++/99909
gcc/cp/ChangeLog:
* pt.c (coerce_template_template_parms): Keep
processing_template_decl set around the call to unify as well.
gcc/testsuite/ChangeLog:
* g++.dg/cpp2a/concepts-ttp3.C: New test.
Diffstat (limited to 'gcc/cp/pt.c')
-rw-r--r-- | gcc/cp/pt.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 41fa7ed..1dcdffe 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -7994,12 +7994,12 @@ coerce_template_template_parms (tree parm_parms, /* So coerce P's args to apply to A's parms, and then deduce between A's args and the converted args. If that succeeds, A is at least as specialized as P, so they match.*/ + processing_template_decl_sentinel ptds (/*reset*/false); + ++processing_template_decl; tree pargs = template_parms_level_to_args (parm_parms); pargs = add_outermost_template_args (outer_args, pargs); - ++processing_template_decl; pargs = coerce_template_parms (arg_parms, pargs, NULL_TREE, tf_none, /*require_all*/true, /*use_default*/true); - --processing_template_decl; if (pargs != error_mark_node) { tree targs = make_tree_vec (nargs); |