r219905 - in /branches/c++-concepts/gcc: cp/Cha...

[jason@gcc.gnu.org]

Author: jason
Date: Tue Jan 20 17:31:57 2015
New Revision: 219905

URL: https://gcc.gnu.org/viewcvs?rev=219905&root=gcc&view=rev
Log:
	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.

Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp1y/var-templ16.C
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp1y/var-templ18.C
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp1y/var-templ19.C
Modified:
    branches/c++-concepts/gcc/cp/ChangeLog
    branches/c++-concepts/gcc/cp/cp-tree.h
    branches/c++-concepts/gcc/cp/decl.c
    branches/c++-concepts/gcc/cp/error.c
    branches/c++-concepts/gcc/cp/parser.c
    branches/c++-concepts/gcc/cp/pt.c
    branches/c++-concepts/gcc/testsuite/g++.dg/cpp0x/variadic20.C