c++: Inherited constructor template arguments [PR94719]

[gcc.git] / gcc / cp / ChangeLog

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5b2bff8c561b2d6c42b3749c84212420fb5ac8f6..7380a20f132ce43cba619118085f97bb692d2ff9 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,68 @@
+2020-04-22  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/94719
+       PR c++/94549
+       * constraint.cc (satisfy_declaration_constraints): If the inherited
+       constructor points to an instantiation of a constructor template,
+       remember and use its attached template arguments.
+
+2020-04-22  Jonathan Wakely  <jwakely@redhat.com>
+
+       PR translation/94698
+       * class.c (check_field_decls): Change "override" to "define" in
+       -Weffc++ diagnostics.
+
+2020-04-22 Iain Sandoe <iain@sandoe.co.uk>
+
+       PR c++/94682
+       * coroutines.cc (struct param_info): Add a field to note that
+       the param is 'this'.
+       (morph_fn_to_coro): Convert this to a reference before using it
+       in the promise parameter preview.
+
+2020-04-22  Jason Merrill  <jason@redhat.com>
+
+       PR c++/94546
+       * pt.c (register_parameter_specializations): If the instantiation is
+       still a parameter pack, don't wrap it in a NONTYPE_ARGUMENT_PACK.
+       (tsubst_pack_expansion, tsubst_expr): Adjust.
+
+2020-04-22  Martin Sebor  <msebor@redhat.com>
+           Jason Merrill  <jason@redhat.com>
+
+       PR c++/94510
+       * decl.c (reshape_init_array_1): Avoid stripping redundant trailing
+       zero initializers...
+       * mangle.c (write_expression): ...and handle them here even for
+       pointers to members by calling zero_init_expr_p.
+       * cp-tree.h (zero_init_expr_p): Declare.
+       * tree.c (zero_init_expr_p): Define.
+       (type_initializer_zero_p): Remove.
+       * pt.c (tparm_obj_values): New hash_map.
+       (get_template_parm_object): Store to it.
+       (tparm_object_argument): New.
+
+2020-04-22  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/67825
+       * constraint.cc (diagnose_valid_expression): Check convert_to_void here
+       as well as in tsubst_valid_expression_requirement.
+
+2020-04-21  Patrick Palka  <ppalka@redhat.com>
+
+       PR c++/94549
+       * constraint.cc (satisfy_declaration_constraints): Don't strip the
+       inherited constructor if it already has template information.
+
+       PR c++/94597
+       * pt.c (any_template_parm_r) <case IDENTIFIER_NODE>: New case.  If this
+       is a conversion operator, visit its TREE_TYPE.
+
+2020-04-21  Nathan Sidwell  <nathan@acm.org>
+
+       * pt.c (tsubst_copy_and_build) [POINTER_PLUS_EXPR]: Check for
+       error_mark_node.
+
 2020-04-21 Iain Sandoe <iain@sandoe.co.uk>
 
        PR c++/94661
@@ -38,13 +103,13 @@
 
 2020-04-20  Nathan Sidwell  <nathan@acm.org>
 
-       PR 94454 - tpl-tpl-parms are not canonicalizable types
+       PR c++/94454 - tpl-tpl-parms are not canonicalizable types
        * pt.c (canonical_type_parameter): Assert not a tpl-tpl-parm.
        (process_template_parm): tpl-tpl-parms are structural.
        (rewrite_template_parm): Propagate structuralness.
 
-       PR 94454 - Expr pack expansion equality
-       * tree.c (cp_tree_equal): [TEMPLATE_ID_EXPR, default] Refactor.
+       PR c++/94454 - Expr pack expansion equality
+       * tree.c (cp_tree_equal) [TEMPLATE_ID_EXPR, default]: Refactor.
        [EXPR_PACK_EXPANSION]: Add.
 
        PR c++/94454 Template Argument Hashing