aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp
diff options
context:
space:
mode:
authorPatrick Palka <ppalka@redhat.com>2023-05-19 09:40:16 -0400
committerPatrick Palka <ppalka@redhat.com>2023-05-19 09:40:16 -0400
commitef8926d23a458560b8e9be1a76cf29ddcb87ec2a (patch)
tree59d7ad52b8178661fff88fd23e25ee1d41a95729 /gcc/cp
parente430b32528d03fc655142525793639f6aeb31590 (diff)
downloadgcc-ef8926d23a458560b8e9be1a76cf29ddcb87ec2a.zip
gcc-ef8926d23a458560b8e9be1a76cf29ddcb87ec2a.tar.gz
gcc-ef8926d23a458560b8e9be1a76cf29ddcb87ec2a.tar.bz2
c++: scoped variable template-id of reference type [PR97340]
lookup_and_finish_template_variable calls convert_from_reference, which means for a variable template-id of reference type the function wraps the corresponding VAR_DECL in an INDIRECT_REF. But the downstream logic of two callers, tsubst_qualified_id and finish_class_member_access_expr, expect a DECL_P result and this unexpected INDIRECT_REF leads to an ICE resolving such a (dependently scoped) template-id as in the first testcase. (Note these two callers eventually call convert_from_reference on the result anyway, so calling it earlier seems redundant in this case.) This patch fixes this by pulling out the convert_from_reference call from lookup_and_finish_template_variable and into the callers that actually need it, which turns out to only be tsubst_copy_and_build (if we got rid of the call there we'd mishandle the second testcase). PR c++/97340 gcc/cp/ChangeLog: * pt.cc (lookup_and_finish_template_variable): Don't call convert_from_reference. (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call convert_from_reference on the result of lookup_and_finish_template_variable. gcc/testsuite/ChangeLog: * g++.dg/cpp1y/var-templ80.C: New test. * g++.dg/cpp1y/var-templ81.C: New test.
Diffstat (limited to 'gcc/cp')
-rw-r--r--gcc/cp/pt.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index 696233e..7fb3e75 100644
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -10394,7 +10394,7 @@ lookup_and_finish_template_variable (tree templ, tree targs,
complain &= ~tf_partial;
var = finish_template_variable (var, complain);
mark_used (var);
- return convert_from_reference (var);
+ return var;
}
/* If the set of template parameters PARMS contains a template parameter
@@ -20462,6 +20462,7 @@ tsubst_copy_and_build (tree t,
{
tree r = lookup_and_finish_template_variable (templ, targs,
complain);
+ r = convert_from_reference (r);
r = maybe_wrap_with_location (r, EXPR_LOCATION (t));
RETURN (r);
}