diff options
Diffstat (limited to 'gcc/cp/ChangeLog')
| -rw-r--r-- | gcc/cp/ChangeLog | 277 |
1 files changed, 277 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5db636add14..3ef9e8959a9 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,280 @@ +2022-04-27 Jason Merrill <jason@redhat.com> + + * tree.cc (strip_typedefs): Add default argument comments. + +2022-04-27 Marek Polacek <polacek@redhat.com> + + PR c++/105398 + * pt.cc (uses_template_parms): Return false for any NAMESPACE_DECL. + +2022-04-26 Jason Merrill <jason@redhat.com> + + PR c++/102629 + * pt.cc (gen_elem_of_pack_expansion_instantiation): Clear + TEMPLATE_TYPE_PARAMETER_PACK on auto. + +2022-04-26 Patrick Palka <ppalka@redhat.com> + + PR c++/105386 + * semantics.cc (finish_decltype_type): Pass tf_decltype to + instantiate_non_dependent_expr_sfinae. + +2022-04-26 Jason Merrill <jason@redhat.com> + + PR c++/104624 + * pt.cc (check_for_bare_parameter_packs): Check for lambda + function parameter pack. + +2022-04-26 Patrick Palka <ppalka@redhat.com> + + PR c++/105289 + PR c++/86193 + * pt.cc (process_partial_specialization): Downgrade "partial + specialization isn't more specialized" diagnostic from permerror + to an on-by-default pedwarn. + (unify) <case TEMPLATE_PARM_INDEX>: When substituting into the + NTTP type a second time, use the original type not the + substituted type. + +2022-04-25 Marek Polacek <polacek@redhat.com> + + PR c++/105353 + * typeck.cc (build_x_shufflevector): Use + instantiation_dependent_expression_p except for the first two + arguments. + +2022-04-21 Marek Polacek <polacek@redhat.com> + + * constexpr.cc (cxx_eval_logical_expression): Remove unused + parameter. + (cxx_eval_constant_expression) <case TRUTH_ANDIF_EXPR>, + <case TRUTH_OR_EXPR>: Adjust calls to cxx_eval_logical_expression. + +2022-04-21 Marek Polacek <polacek@redhat.com> + + PR c++/105321 + * constexpr.cc (cxx_eval_logical_expression): Always pass false for lval + to cxx_eval_constant_expression. + +2022-04-20 Ed Catmur <ed@catmur.uk> + + PR c++/104996 + * call.cc (compare_ics): When comparing list-initialization + sequences, do not return early. + +2022-04-19 Jakub Jelinek <jakub@redhat.com> + + PR c++/105256 + * typeck2.cc (process_init_constructor_array, + process_init_constructor_record, process_init_constructor_union): Move + CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag from CONSTRUCTOR elements to the + containing CONSTRUCTOR. + +2022-04-15 Marek Polacek <polacek@redhat.com> + + PR c++/105268 + * parser.cc (cp_parser_placeholder_type_specifier): Return + error_mark_node when trying to build up a constrained parameter in + a default argument. + +2022-04-15 Jason Merrill <jason@redhat.com> + + PR c++/102804 + * decl.cc (grokdeclarator): Drop typedef used with 'unsigned'. + +2022-04-15 Jason Merrill <jason@redhat.com> + + PR c++/102987 + * error.cc (dump_expr): Handle USING_DECL. + [VIEW_CONVERT_EXPR]: Just look through location wrapper. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/104646 + * constexpr.cc (maybe_save_constexpr_fundef): Don't do extra + checks for defaulted ctors. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/82980 + * lambda.cc (type_deducible_expression_p): New. + (lambda_capture_field_type): Check it. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/65211 + * pt.cc (tsubst_decl) [TYPE_DECL]: Copy TYPE_ALIGN. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/97219 + * name-lookup.cc (dependent_local_decl_p): New. + * cp-tree.h (dependent_local_decl_p): Declare. + * semantics.cc (finish_call_expr): Use it. + * pt.cc (tsubst_arg_types): Also substitute default args + for local externs. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/101698 + * pt.cc (tsubst_baselink): Also check dependent optype. + +2022-04-14 Jason Merrill <jason@redhat.com> + + PR c++/101442 + * decl.cc (cp_finish_decl): Don't pass decl to push_cleanup. + * init.cc (perform_member_init): Likewise. + * semantics.cc (push_cleanup): Adjust comment. + +2022-04-13 Jason Merrill <jason@redhat.com> + + PR c++/105245 + PR c++/100111 + * constexpr.cc (cxx_eval_store_expression): Build a CONSTRUCTOR + as needed in empty base handling. + +2022-04-13 Jakub Jelinek <jakub@redhat.com> + + PR c++/105233 + * decl2.cc (cp_check_const_attributes): For aligned attribute + pass manifestly_const_eval=true to fold_non_dependent_expr. + +2022-04-13 Marek Polacek <polacek@redhat.com> + + PR c++/97296 + * call.cc (direct_reference_binding): strip_top_quals when creating + a ck_qual. + +2022-04-12 Jason Merrill <jason@redhat.com> + + PR c++/104669 + * decl.cc (decls_match): Compare versions even if not recording. + (duplicate_decls): Propagate attributes to alias. + * decl2.cc (find_last_decl): Give up if versioned. + +2022-04-12 Jason Merrill <jason@redhat.com> + + PR c++/102071 + * init.cc (build_new_1): Check array_p for alignment. + +2022-04-12 Patrick Palka <ppalka@redhat.com> + + PR c++/103105 + * pt.cc (build_extra_args): Call preserve_args. + +2022-04-12 Jason Merrill <jason@redhat.com> + + PR c++/104142 + * decl.cc (check_initializer): Check TREE_SIDE_EFFECTS. + +2022-04-12 Jason Merrill <jason@redhat.com> + + PR c++/105223 + PR c++/92918 + * class.cc (finish_struct): Always using op=. + +2022-04-11 Jason Merrill <jason@redhat.com> + + PR c++/98249 + * call.cc (build_operator_new_call): Just look in ::. + +2022-04-11 Alexandre Oliva <oliva@adacore.com> + + * constexpr.cc (cxx_eval_call_expression): Disregard dtor + result. + +2022-04-11 Alexandre Oliva <oliva@adacore.com> + + * semantics.cc (set_cleanup_locs): Propagate locus to call + wrapped in cast-to-void. + +2022-04-11 Jason Merrill <jason@redhat.com> + + PR c++/100370 + * init.cc (warn_placement_new_too_small): Check deref. + +2022-04-09 Jason Merrill <jason@redhat.com> + + PR c++/105191 + PR c++/92385 + * tree.cc (build_vec_init_elt): Do {}-init for aggregates. + * constexpr.cc (cxx_eval_vec_init): Only treat {} as value-init + for non-aggregate types. + (build_vec_init_expr): Also check constancy of explicit + initializer elements. + +2022-04-09 Jason Merrill <jason@redhat.com> + + PR c++/91618 + PR c++/96604 + * name-lookup.cc (set_decl_namespace): Set + DECL_IMPLICIT_INSTANTIATION if no non-template match. + * pt.cc (check_explicit_specialization): Check it. + * decl2.cc (check_classfn): Call it. + +2022-04-07 Patrick Palka <ppalka@redhat.com> + + PR c++/99479 + * name-lookup.cc (name_lookup::using_queue): Change to an + auto_vec (with 16 elements of internal storage). + (name_lookup::queue_namespace): Change return type to void, + take queue parameter by reference and adjust function body + accordingly. + (name_lookup::do_queue_usings): Inline into ... + (name_lookup::queue_usings): ... here. As in queue_namespace. + (name_lookup::search_unqualified): Don't make queue static, + remove length variable, and adjust function body accordingly. + +2022-04-07 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/102586 + * cp-objcp-common.h (cp_classtype_as_base): Declare. + (LANG_HOOKS_CLASSTYPE_AS_BASE): Redefine. + * cp-objcp-common.cc (cp_classtype_as_base): New function. + +2022-04-07 Jason Merrill <jason@redhat.com> + + PR c++/101051 + * decl.cc (grokdeclarator): Reject conversion with trailing return + sooner. + +2022-04-07 Jason Merrill <jason@redhat.com> + + PR c++/101717 + * lambda.cc (lambda_expr_this_capture): Check all enclosing + lambdas for completeness. + +2022-04-07 Jason Merrill <jason@redhat.com> + + PR c++/105187 + * typeck2.cc (store_init_value): Allow TREE_HAS_CONSTRUCTOR for + vectors. + +2022-04-06 Jakub Jelinek <jakub@redhat.com> + + PR c++/104668 + * decl2.cc (splice_template_attributes): Return NULL if *p is + error_mark_node. + (cplus_decl_attributes): Return early if attributes is + error_mark_node. Don't check that later. + +2022-04-06 Patrick Palka <ppalka@redhat.com> + + PR c++/105143 + * pt.cc (do_class_deduction): Check complain before attempting + to issue a -Wctad-maybe-unsupported warning. + +2022-04-06 Jason Merrill <jason@redhat.com> + + PR c++/104702 + * init.cc (build_vec_init): Use a reference for the result. + +2022-04-06 Jason Merrill <jason@redhat.com> + + PR c++/100608 + * name-lookup.cc (check_local_shadow): Use -Wshadow=local + if exactly one of 'old' and 'decl' is a type. + 2022-04-05 Jason Merrill <jason@redhat.com> PR c++/103852 |