Allow partial specialization of variable templates.
authorJason Merrill <jason@redhat.com>
Wed, 26 Nov 2014 21:58:38 +0000 (16:58 -0500)
committerJason Merrill <jason@gcc.gnu.org>
Wed, 26 Nov 2014 21:58:38 +0000 (16:58 -0500)
commita2033ab1071bd77d1bde659c9b1a0f00e85cc6bf
tree5545278ced316fbb528d4e891ecfe7d300975c53
parentd896cc4d45203f639fe95c7c3af14ad3f2d26673
Allow partial specialization of variable templates.

* cp-tree.h (TINFO_USED_TEMPLATE_ID): New.
* decl.c (duplicate_decls): Copy it.
* error.c (dump_decl) [TEMPLATE_ID_EXPR]: Handle variables.
* parser.c (cp_parser_decltype_expr): Do call finish_id_expression
on template-ids.
* pt.c (register_specialization): Remember variable template insts.
(instantiate_template_1): Find the matching partial specialization.
(check_explicit_specialization): Allow variable partial specialization.
(process_partial_specialization): Likewise.
(push_template_decl_real): Likewise.
(more_specialized_partial_spec): Rename from more_specialized_class.
(most_specialized_partial_spec): Rename from most_specialized_class.
(get_partial_spec_bindings): Rename from get_class_bindings.

From-SVN: r218104
gcc/cp/ChangeLog
gcc/cp/cp-tree.h
gcc/cp/decl.c
gcc/cp/error.c
gcc/cp/parser.c
gcc/cp/pt.c
gcc/testsuite/g++.dg/cpp0x/variadic20.C
gcc/testsuite/g++.dg/cpp1y/var-templ16.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp1y/var-templ18.C [new file with mode: 0644]
gcc/testsuite/g++.dg/cpp1y/var-templ19.C [new file with mode: 0644]