2015-03-20 Andrew Sutton <andrew.n.sutton@gmail.com>
commit31e3a69eb58bbfb37e5c97acff3b989da5e5bf5d
authorasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 20 Mar 2015 14:56:14 +0000 (20 14:56 +0000)
committerasutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 20 Mar 2015 14:56:14 +0000 (20 14:56 +0000)
tree367673927ee53aaef7b9940ae88bab7400c8b318
parent8fc0c5fed75797585f4feee69d30555ebe55f575
2015-03-20  Andrew Sutton  <andrew.n.sutton@gmail.com>

Fix regression in variadic constraint processing.
* gcc/cp/pt.c (tsubst_pack_expansion): Expose declaration.
* gcc/cp/constraint.cc: Rename lift_constraints to
lift_expression to better reflect what it does.
(lift_pack_expansion): New. Handles naked pack expansions
in a constriant.
(check_pack_expansion): Special handling for checking naked
pack expansions in constraints. This eventually be replaced
by similar logic for fold expressions.
(check_predicate_constraint): Handle pack expansions.
* gcc/cp/cp-tree.h (tsubst_pack_expansion): Make this avaialble
to constraints.cc.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@221534 138bc75d-0d04-0410-961f-82ee72b054a4
ChangeLog.concepts
gcc/cp/constraint.cc
gcc/cp/cp-tree.h
gcc/cp/pt.c