2013-06-20 Andrew Sutton <andrew.n.sutton@gmail.com>heads/asutton/c++-concepts
commita41f6cf72cb23fbde752f24a3bee09ea0358c1c6
authorAndrew Sutton <andrew.n.sutton@gmail.com>
Fri, 21 Jun 2013 14:57:37 +0000 (21 09:57 -0500)
committerAndrew Sutton <andrew.n.sutton@gmail.com>
Fri, 21 Jun 2013 14:57:37 +0000 (21 09:57 -0500)
tree30aa51c977a317dc4a80ab81fafac2544844df93
parentdc168a911c85523154b84e77ce2273a040fae5de
2013-06-20  Andrew Sutton  <andrew.n.sutton@gmail.com>
* gcc/cp/error.c (subst_to_string): Allow this to be called explicitly
passing template parameters in the TREE_TYPE and with a null TREE_PURPOSE.
* constraint.cc (check_requirements): New overload taking template
arguments.
(check_constraints.cc): Move instantiation and checking into the
new check_requirements overload.
(diagnose_requirements): New family of functions for diagnosing constraint
failures.
gcc/cp/constraint.cc
gcc/cp/error.c