r222236 - in /branches/c++-concepts: ChangeLog....

Mon Apr 20 13:43:00 GMT 2015

Author: asutton
Date: Mon Apr 20 13:43:31 2015
New Revision: 222236

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

	PR65681
	* gcc/cp/constraint.cc (tsubst_simple_requirement): Substitute
	in a template-processing context to avoid doing full resolution
	on types and expressions.
	(tsubst_type_requirement): Likewise.
	(tsubst_compound_requirement): Likewise.
	(tsubst_nested_requirement): Likewise.
	* gcc/testsuite/g++.dg/concepts/p465681.C: New.
	* gcc/testsuite/g++.dg/concepts/req2.C: Remove check for spurious
	diagnostics.


Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/pr65681.C
Modified:
    branches/c++-concepts/ChangeLog.concepts
    branches/c++-concepts/gcc/cp/constraint.cc
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/req2.C