diff options
| author | Jason Merrill <jason@redhat.com> | 2016-10-10 16:48:51 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2016-10-10 16:48:51 -0400 |
| commit | b7beb16ac139b766a3b6adcae15ae5a358c0b83c (patch) | |
| tree | 28cccc06bed0e8109e1f1c55143e26b1b8a89c43 /gcc/cp | |
| parent | d30078b8e7dc6f94dbd8aa1b56f59bdf479303a8 (diff) | |
| download | gcc-b7beb16ac139b766a3b6adcae15ae5a358c0b83c.zip gcc-b7beb16ac139b766a3b6adcae15ae5a358c0b83c.tar.gz gcc-b7beb16ac139b766a3b6adcae15ae5a358c0b83c.tar.bz2 | |
C++17 class deduction issues
PR c++/77890
PR c++/77912
* pt.c (do_class_deduction): Set cp_unevaluated_operand.
(tsubst) [TEMPLATE_TYPE_PARM]: Copy CLASS_PLACEHOLDER_TEMPLATE.
From-SVN: r240948
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 15 |
2 files changed, 17 insertions, 5 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 02adc2b..ff0435e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2016-10-10 Jason Merrill <jason@redhat.com> + + PR c++/77890 + PR c++/77912 + * pt.c (do_class_deduction): Set cp_unevaluated_operand. + (tsubst) [TEMPLATE_TYPE_PARM]: Copy CLASS_PLACEHOLDER_TEMPLATE. + 2016-10-08 Jason Merrill <jason@redhat.com> * cp-gimplify.c (cp_fold): Add variable name. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index f6cd3ea..28b1c98 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -13233,11 +13233,15 @@ tsubst (tree t, tree args, tsubst_flags_t complain, tree in_decl) TYPE_POINTER_TO (r) = NULL_TREE; TYPE_REFERENCE_TO (r) = NULL_TREE; - /* Propagate constraints on placeholders. */ if (TREE_CODE (t) == TEMPLATE_TYPE_PARM) - if (tree constr = PLACEHOLDER_TYPE_CONSTRAINTS (t)) - PLACEHOLDER_TYPE_CONSTRAINTS (r) - = tsubst_constraint (constr, args, complain, in_decl); + { + /* Propagate constraints on placeholders. */ + if (tree constr = PLACEHOLDER_TYPE_CONSTRAINTS (t)) + PLACEHOLDER_TYPE_CONSTRAINTS (r) + = tsubst_constraint (constr, args, complain, in_decl); + else if (tree pl = CLASS_PLACEHOLDER_TEMPLATE (t)) + CLASS_PLACEHOLDER_TEMPLATE (r) = pl; + } if (TREE_CODE (r) == TEMPLATE_TEMPLATE_PARM) /* We have reduced the level of the template @@ -24431,9 +24435,10 @@ do_class_deduction (tree tmpl, tree init, tsubst_flags_t complain) return error_mark_node; } + ++cp_unevaluated_operand; tree t = build_new_function_call (cands, &args, /*koenig*/false, complain|tf_decltype); - + --cp_unevaluated_operand; release_tree_vector (args); return TREE_TYPE (t); |