r221499 - in /branches/c++-concepts/gcc: cp/con...

[asutton@gcc.gnu.org]

Author: asutton
Date: Wed Mar 18 19:08:14 2015
New Revision: 221499

URL: https://gcc.gnu.org/viewcvs?rev=221499&root=gcc&view=rev
Log:
2015-03-18  Andrew Sutton  <andrew.n.sutton@gmail.com>

	Update variable concept processing to account for changes
	in variable template syntax.
	* gcc/cp/constraint.cc (valid_predicate_p): Remove because of
	frequent triggers.
	(make_predicate_constraint): Likewise.
	(lift_function_call): Check for use of variables in function
	calls in constraints.
	(lift_call_expression): Renamed from lift_call. Specifically
	check function calls before rewriting the node.
	(lift_variable_concept). Renamed from lift_var. Remove redundant
	check for concepts.
	(lift_variable). New. Accommodates new processing rules for
	variable templates.
	(lift_constraints). Add variable decls to the switch.
	* gcc/cp/pt.c (finish_variable_template): Don't evaluate
	for dependent template arguments.
	(remove_constraints): Remove debugging code.
	* gcc/testsuite/g++.dg/concepts/var-concepts1.C: Separate out
	failing test into equiv2.C.
	* gcc/testsuite/g++.dg/concepts/var-concepts1.C: Update error
	messages.
	* gcc/testsuite/g++.dg/concepts/equiv2.C: New.


Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/equiv2.C
Modified:
    branches/c++-concepts/gcc/cp/constraint.cc
    branches/c++-concepts/gcc/cp/pt.c
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/var-concepts1.C
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/var-concepts3.C