mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 08:40:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

* pt.c (lookup_template_variable): Always unknown_type_node.

Browse Source 
From-SVN: r218045
This commit is contained in:
Jason Merrill 2014-11-25 09:34:43 -05:00 committed by Jason Merrill
parent 191ec64036
commit ec529e2584
3 changed files with 17 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/cp/ChangeLog
View File

@ -1,3 +1,7 @@
2014-11-24 Jason Merrill <jason@redhat.com>
* pt.c (lookup_template_variable): Always unknown_type_node.
2014-11-25 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/63786

13
gcc/cp/pt.c
View File

@ -8026,19 +8026,14 @@ lookup_template_class (tree d1, tree arglist, tree in_decl, tree context,
return ret;
}
/* Return a TEMPLATE_ID_EXPR for the given variable template and ARGLIST.
If the ARGLIST refers to any template parameters, the type of the
expression is the unknown_type_node since the template-id could
refer to an explicit or partial specialization. */
/* Return a TEMPLATE_ID_EXPR for the given variable template and ARGLIST.
The type of the expression is the unknown_type_node since the
template-id could refer to an explicit or partial specialization. */
tree
lookup_template_variable (tree templ, tree arglist)
{
tree type;
if (uses_template_parms (arglist))
type = unknown_type_node;
else
type = TREE_TYPE (templ);
tree type = unknown_type_node;
tsubst_flags_t complain = tf_warning_or_error;
tree parms = INNERMOST_TEMPLATE_PARMS (DECL_TEMPLATE_PARMS (templ));
arglist = coerce_template_parms (parms, arglist, templ, complain,

9
gcc/testsuite/g++.dg/cpp1y/var-templ17.C Normal file
View File

@ -0,0 +1,9 @@
// DR 1727: a specialization doesn't need to have the same type
// { dg-do compile { target c++14 } }
template <class T> T t = 42;
template<> void* t<int> = 0;
template<class T, class U> struct same;
template<class T> struct same<T,T> {};
same<void*,decltype(t<int>)> s;