2014-08-11 Andrew Sutton <andrew.n.sutton@gmail.com>

2014-08-11  Andrew Sutton  <andrew.n.sutton@gmail.com>

	* gcc/cp/pt.c (tsubst): Don't short circuit substitution into
	types when processing constraints.
	* gcc/cp/constraint.c (tsubst_constraint_expr): Indicate that
	constraint processing is happening.
	(tsubst_constraint_info): Just substitute directly into the
	normalized constraints instead of re-normalizing.
	(diagnose_constraints): Adjust template arguments when
	diagnosing template constraint failures.
	* gcc/cp/logic.cc (decompose_assumptions): Handle null assumptions.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@213822 138bc75d-0d04-0410-961f-82ee72b054a4