| commit | f32d78f99ac4a860e45856bdc98917a24f470a4e | |
| author | asutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Apr 2015 13:43:31 +0000 (20 13:43 +0000) | ||
| committer | asutton <asutton@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 20 Apr 2015 13:43:31 +0000 (20 13:43 +0000) | ||
| tree | d92fd63c25f259992b67c8561715779b4bd0f512 | treesnapshot (tar.gz zip) |
| parent | 12df7d96db07dde1edf31e3545fa16b4e212abdc | commitdiff |
2015-04-20 Andrew Sutton <andrew.n.sutton@gmail.com>
PR65681
* gcc/cp/constraint.cc (tsubst_simple_requirement): Substitute
in a template-processing context to avoid doing full resolution
on types and expressions.
(tsubst_type_requirement): Likewise.
(tsubst_compound_requirement): Likewise.
(tsubst_nested_requirement): Likewise.
* gcc/testsuite/g++.dg/concepts/p465681.C: New.
* gcc/testsuite/g++.dg/concepts/req2.C: Remove check for spurious
diagnostics.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@222236 138bc75d-0d04-0410-961f-82ee72b054a4
PR65681
* gcc/cp/constraint.cc (tsubst_simple_requirement): Substitute
in a template-processing context to avoid doing full resolution
on types and expressions.
(tsubst_type_requirement): Likewise.
(tsubst_compound_requirement): Likewise.
(tsubst_nested_requirement): Likewise.
* gcc/testsuite/g++.dg/concepts/p465681.C: New.
* gcc/testsuite/g++.dg/concepts/req2.C: Remove check for spurious
diagnostics.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/c++-concepts@222236 138bc75d-0d04-0410-961f-82ee72b054a4