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

Mon Apr 6 15:59:00 GMT 2015

Author: asutton
Date: Mon Apr  6 15:59:08 2015
New Revision: 221881

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

	* gcc/cp/constraint.cc (lift_variable_concept): Coerce template
	arguments before substituting into the initializer.
	* gcc/cp/pt.c (coerce_template_parms): New overload that accepts
	a tsubst_flags_t.
	* gcc/cp/cp-tree.h (coerce_template_parms): New declaration.
	* gcc/testsuite/g++.dg/concepts/var-concept5.C: New.


Added:
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/var-concept5.C
Modified:
    branches/c++-concepts/ChangeLog.concepts
    branches/c++-concepts/gcc/cp/constraint.cc
    branches/c++-concepts/gcc/cp/cp-tree.h
    branches/c++-concepts/gcc/cp/pt.c
    branches/c++-concepts/gcc/testsuite/g++.dg/concepts/var-concept4.C