2013-04-01 Andrew Sutton <andrew.n.sutton@gmail.com>
commit3abb9726c9109cec0741d5063f566ef5e9bd19e5
authorasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Apr 2013 18:53:03 +0000 (1 18:53 +0000)
committerasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Apr 2013 18:53:03 +0000 (1 18:53 +0000)
tree35ca50e6c5e2b4521a19e52efc6fe44747852517
parent666cb152e77e77fd54d949ab59a3aa361bf528ee
2013-04-01  Andrew Sutton  <andrew.n.sutton@gmail.com>

* gcc/cp/Make-lang.in: Add constraints.o target.
* gcc/cp/cp-tree.h (substitute_template_parameters): Declare.
(instantiate_requirements): Declare.
(conjoin_requirements): Declare.
(disjoin_requirements): Declare.
(reduce_requirements): Declare.
* gcc/cp/pt.c (substitute_template_parameters): Define.
(instantiate_requirements): Define.
* gcc/cp/pt.c (finish_template_requirements): Call
reduce_requirements to get constraints.
* gcc/cp/parser.c (cp_parser_type_parameter): Restore saved
constraints after parsing template template parameter decl.
* gcc/cp/constraints.cc: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@197314 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog.concepts
gcc/cp/Make-lang.in
gcc/cp/constraint.cc [new file with mode: 0644]
gcc/cp/cp-tree.h
gcc/cp/parser.c
gcc/cp/pt.c
gcc/cp/semantics.c