2015-05-19 Andrew Sutton <andrew.n.sutton@gmail.com>
commit1253b4d5bc406f75bd741e3977fb815a7fea9bdb
authorasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 May 2015 12:59:54 +0000 (19 12:59 +0000)
committerasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 19 May 2015 12:59:54 +0000 (19 12:59 +0000)
treef4d032805c881f0e847309a1826c8ad8634675a0
parent72a0c58e9333c3ce756ea0885af8d55fa126bd50
2015-05-19  Andrew Sutton  <andrew.n.sutton@gmail.com>

Stop template processing during constraint satisfication.
* gcc/cp/constraint.cc (satisfy_constraint): Rename to
satisfy_constraint_1 and assert that we are not processing
template declarations.
(satisfy_*_constraint): Use satisfy_constraint_1.
(satisfy_constraint): Turn off template processing.
* gcc/testsuite/g++.dg/concepts/fn10.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@223364 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog.concepts
gcc/cp/constraint.cc
gcc/testsuite/g++.dg/concepts/fn10.C [new file with mode: 0644]