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/gimplify.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/gimplify.c')
0 files changed, 0 insertions, 0 deletions