X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;ds=sidebyside;f=gcc%2Fcp%2FChangeLog;h=7380a20f132ce43cba619118085f97bb692d2ff9;hb=72d0ef73d2cd46bda2f28e1866d637cfe8edb208;hp=5b2bff8c561b2d6c42b3749c84212420fb5ac8f6;hpb=cd08718d57d1552fa2dbca96809e4915559685e7;p=gcc.git

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 5b2bff8c561..7380a20f132 100644
--- 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