]> git.ipfire.org Git - thirdparty/gcc.git/blobdiff - gcc/cp/ChangeLog
/cp
[thirdparty/gcc.git] / gcc / cp / ChangeLog
index e4d876b4c0bad9911a3e27283cb292ee529ff100..ab25cb94d3d6dcc84256627c15f6362d8444cf1b 100644 (file)
@@ -1,3 +1,687 @@
+2019-04-26  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/90173
+       * decl.c (grokdeclarator): Set type to error_mark_node
+       upon error about template placeholder type non followed
+       by a simple declarator-id.
+
+2019-04-26  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       * decl.c (grokdeclarator): Fix value assigned to typespec_loc, use
+       min_location.
+
+2019-04-24  Jason Merrill  <jason@redhat.com>
+
+       PR c++/90227 - error with template parameter packs.
+       * pt.c (coerce_template_parms): Do add empty pack when
+       require_all_args.
+
+2019-04-24  Richard Biener  <rguenther@suse.de>
+
+       * call.c (null_ptr_cst_p): Order checks according to expensiveness.
+       (conversion_null_warnings): Likewise.
+       * typeck.c (same_type_ignoring_top_level_qualifiers_p): Return
+       early if type1 == type2.
+
+2019-04-22  Jason Merrill  <jason@redhat.com>
+
+       PR c++/87366 - wrong error with alias template.
+       * typeck.c (structural_comptypes): When comparing_specializations,
+       aliases are unequal.
+       (comptypes): When comparing_specializations, do structural
+       comparison.
+
+2019-04-19  Jason Merrill  <jason@redhat.com>
+
+       PR c++/90190 - CTAD with list-constructor.
+       * pt.c (do_class_deduction): Don't try the single element deduction
+       if the single element is also a braced list.
+
+       PR c++/90171 - ICE with destroying delete with size_t parm.
+       * call.c (sized_deallocation_fn_p): New.  Use it instead of
+       second_parm_is_size_t in most cases.
+       (second_parm_is_size_t): Don't check for aligned.
+
+2019-04-19  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/89900
+       * pt.c (fn_type_unification): When handling null explicit
+       arguments do not special case non-parameter packs.
+
+2019-04-19  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/90138
+       * pt.c (process_template_parm): Set decl to pushdecl result.  If
+       !is_non_type, also set parm to that.
+
+       PR c/89888
+       * decl.c (struct cp_switch): Remove outside_range_p member.
+       (push_switch): Don't clear it.
+       (pop_switch): Adjust c_do_switch_warnings caller.
+       (finish_case_label): Adjust c_add_case_label caller.
+
+       PR c++/90108
+       * decl.c (duplicate_decls): If remove is main variant and
+       DECL_ORIGINAL_TYPE is some other type, remove a DECL_ORIGINAL_TYPE
+       variant that has newdecl as TYPE_NAME if any.
+
+2019-04-18  Jason Merrill  <jason@redhat.com>
+
+       PR c++/87554 - ICE with extern template and reference member.
+       * decl.c (cp_finish_decl): Don't set DECL_INITIAL of external vars.
+
+2019-04-17  Jason Merrill  <jason@redhat.com>
+
+       PR c++/90047 - ICE with enable_if alias template.
+       * pt.c (tsubst_decl) [TYPE_DECL]: Don't put an erroneous decl in the
+       hash table when we're in SFINAE context.
+
+2019-04-17  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/90124 - bogus error with incomplete type in decltype.
+       * typeck.c (build_class_member_access_expr): Check
+       cp_unevaluated_operand.
+
+2019-04-12  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c/89933
+       * decl.c (duplicate_decls): When newdecl's type is its main variant,
+       don't try to remove it from the variant list, but instead assert
+       it has no variants.
+
+2019-04-12  Martin Sebor  <msebor@redhat.com>
+
+       PR c/88383
+       PR c/89288
+       * parser.c (cp_parser_has_attribute_expression): Handle assignment
+       expressions.
+
+2019-04-12  Jason Merrill  <jason@redhat.com>
+
+       * call.c (null_member_pointer_value_p): Handle an empty CONSTRUCTOR
+       of PMF type.
+
+2019-04-12  Marek Polacek  <polacek@redhat.com>
+
+       * except.c (build_noexcept_spec): Use build_converted_constant_bool_expr
+       instead of perform_implicit_conversion_flags.
+
+       PR c++/87603 - constexpr functions are no longer noexcept.
+       * constexpr.c (is_sub_constant_expr): Remove unused function.
+       * cp-tree.h (is_sub_constant_expr): Remove declaration.
+       * except.c (check_noexcept_r): Don't consider a call to a constexpr
+       function noexcept.
+
+2019-04-11  Jakub Jelinek  <jakub@redhat.com>
+
+       PR translation/90035
+       * parser.h (struct cp_parser): Add
+       type_definition_forbidden_message_arg member.
+       * parser.c (cp_debug_parser): Print it.
+       (cp_parser_check_type_definition): Pass
+       parser->type_definition_forbidden_message_arg as second argument to
+       error.
+       (cp_parser_has_attribute_expression, cp_parser_sizeof_operand): Set
+       parser->type_definition_forbidden_message_arg and use G_() with
+       %qs for parser->type_definition_forbidden_message instead of
+       building untranslatable message using concat.
+
+2019-04-09  Jakub Jelinek  <jakub@redhat.com>
+
+       PR translation/90011
+       * typeck2.c (check_narrowing): Remove trailing space from diagnostics.
+
+2019-04-08  Marek Polacek  <polacek@redhat.com>
+
+       * typeck2.c (digest_init_r): Don't condition the object slicing warning
+       on flag_checking.
+
+2019-04-08  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/89914
+       * semantics.c (trait_expr_value): Don't use TYPE_NOTHROW_P
+       when maybe_instantiate_noexcept fails.
+       (classtype_has_nothrow_assign_or_copy_p): Likewise.
+       * method.c (implicitly_declare_fn): Avoid passing error_mark_node
+       to build_exception_variant.
+
+2019-04-05  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/87145 - bogus error converting class type in template arg list.
+       * pt.c (convert_nontype_argument): Don't call
+       build_converted_constant_expr if it could involve calling a conversion
+       function with a instantiation-dependent constructor as its argument.
+
+2019-04-05  Martin Sebor  <msebor@redhat.com>
+
+       PR bootstrap/89980
+       * decl.c (reshape_init_array_1): Avoid treating empty strings
+       as zeros in array initializers.
+       Use trivial_type_p () instead of TYPE_HAS_TRIVIAL_DFLT().
+
+2019-04-04  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89948 - ICE with break in statement-expr.
+       * constexpr.c (cxx_eval_statement_list): Jumping out of a
+       statement-expr is non-constant.
+
+2019-04-04  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89966 - error with non-type auto tparm.
+       * pt.c (do_auto_deduction): Clear tf_partial.
+
+2019-04-04  Jason Merrill  <jason@redhat.com>
+
+       PR c++/86986 - ICE with TTP with parameter pack.
+       * pt.c (coerce_template_parameter_pack): Only look at the type of a
+       non-type parameter pack.
+       (fixed_parameter_pack_p_1): Don't recurse into the type of a
+       non-type parameter pack.
+       (coerce_template_template_parms): Call add_outermost_template_args.
+
+2019-04-04  Martin Sebor  <msebor@redhat.com>
+
+       PR c++/89974
+       PR c++/89878
+       PR c++/89833
+       PR c++/47488
+       * decl.c (reshape_init_array_1): Strip trailing zero-initializers
+       from arrays of trivial type and known size.
+        * mangle.c (write_expression): Convert braced initializer lists
+        to STRING_CSTs.
+       (write_expression): Trim trailing zero-initializers from arrays
+       of trivial type.
+        (write_template_arg_literal): Mangle strings the same as braced
+        initializer lists.
+
+2019-04-03  Jason Merrill  <jason@redhat.com>
+
+       PR c++/81866 - ICE with member template and default targ.
+       * pt.c (tsubst_template_decl): Handle getting a type from
+       retrieve_specialization.
+
+       PR c++/86586 - -fcompare-debug=-Wsign-compare.
+       * typeck.c (cp_build_binary_op): Don't fold for -Wsign-compare.
+
+       PR c++/89331 - ICE with offsetof in incomplete class.
+       * semantics.c (finish_offsetof): Handle error_mark_node.
+       * typeck.c (build_class_member_access_expr): Call
+       complete_type_or_maybe_complain before converting to base.
+
+       PR c++/89917 - ICE with lambda in variadic mem-init.
+       * pt.c (make_pack_expansion): Change type_pack_expansion_p to false.
+
+2019-04-01  Jason Merrill  <jason@redhat.com>
+
+       PR c++/86946 - ICE with function call in template argument.
+       DR 1321
+       * pt.c (iterative_hash_template_arg) [CALL_EXPR]: Use
+       dependent_name.
+
+2019-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/62207
+       * pt.c (tsubst_copy): Deal with lookup_name not returing a variable.
+
+2019-03-31  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/89852 - ICE with C++11 functional cast with { }.
+       * constexpr.c (fold_non_dependent_expr_template): New static function
+       broken out of...
+       (fold_non_dependent_expr): ...here.
+       (fold_non_dependent_init): New function.
+       * cp-tree.h (fold_non_dependent_init): Declare.
+       * typeck2.c (massage_init_elt): Call fold_non_dependent_init instead
+       of fold_non_dependent_expr.  Don't call maybe_constant_init.
+
+2019-03-30  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89744 - ICE with specialization of member class template.
+       * pt.c (lookup_template_class_1): If the partial instantiation is
+       explicitly specialized, adjust.
+       (maybe_process_partial_specialization): Also adjust
+       CLASSTYPE_TI_ARGS.
+
+2019-03-29  Jakub Jelinek  <jakub@redhat.com>
+
+       PR sanitizer/89869
+       * typeck.c: Include gimplify.h.
+       (cp_build_modify_expr) <case COND_EXPR>: Unshare rhs before using it
+       for second time.  Formatting fixes.
+
+2019-03-29  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/89876 - ICE with deprecated conversion.
+       * call.c (convert_like_real): Only give warnings with tf_warning.
+
+2019-03-28  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/89612 - ICE with member friend template with noexcept.
+       * pt.c (maybe_instantiate_noexcept): For function templates, use their
+       template result (function decl).  Don't set up local specializations.
+       Temporarily turn on processing_template_decl.  Update the template type
+       too.
+
+       PR c++/89836 - bool constant expression and explicit conversions.
+       * call.c (build_converted_constant_expr_internal): New function,
+       renamed from...
+       (build_converted_constant_expr): ...this.  New.
+       (build_converted_constant_bool_expr): New.
+       * cp-tree.h (build_converted_constant_bool_expr): Declare.
+       * decl.c (build_explicit_specifier): Call
+       build_converted_constant_bool_expr.
+
+2019-03-28  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/89785
+       * constexpr.c (struct check_for_return_continue_data): New type.
+       (check_for_return_continue): New function.
+       (potential_constant_expression_1) <case SWITCH_STMT>: Walk
+       SWITCH_STMT_BODY to find RETURN_EXPRs or CONTINUE_STMTs not nested
+       in loop bodies and set *jump_target to that if found.
+
+2019-03-27  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89831 - error with qualified-id in const member function.
+       * semantics.c (finish_non_static_data_member): Use object cv-quals
+       in scoped case, too.
+
+       PR c++/89421 - ICE with lambda in template parameter list.
+       * parser.c (cp_parser_lambda_expression): Also reject a lambda in a
+       template parameter list before C++20.
+       * pt.c (type_dependent_expression_p): True for LAMBDA_EXPR.
+       * semantics.c (begin_class_definition): Restore error about defining
+       non-lambda class in template parm list.
+
+2019-03-26  Jason Merrill  <jason@redhat.com>
+
+       PR c++/86932 - missed SFINAE with empty pack.
+       * pt.c (coerce_template_parms): Don't add an empty pack if
+       tf_partial.
+       (fn_type_unification): Pass tf_partial to coerce_template_parms.
+
+       PR c++/86429 - constexpr variable in lambda.
+       PR c++/82643
+       PR c++/87327
+       * constexpr.c (cxx_eval_constant_expression): In a lambda function,
+       try evaluating the captured variable directly.
+
+2019-03-26  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/89796
+       * semantics.c (finish_omp_atomic): Add warning_sentinel for
+       -Wunused-value around finish_expr_stmt call.
+
+2019-03-25  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/84661
+       PR c++/85013
+       * parser.c (cp_parser_binary_expression): Don't call cp_fully_fold
+       to undo the disabling of warnings.
+
+2019-03-25  Jason Merrill  <jason@redhat.com>
+
+       PR c++/87748 - substitution failure error with decltype.
+       * pt.c (most_specialized_partial_spec): Clear
+       processing_template_decl.
+
+2019-03-25  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/89214 - ICE when initializing aggregates with bases.
+       * typeck2.c (digest_init_r): Warn about object slicing instead of
+       crashing.
+
+       PR c++/89705 - ICE with reference binding with conversion function.
+       * call.c (reference_binding): If the result of the conversion function
+       is a prvalue of non-class type, use the cv-unqualified type.
+
+2019-03-25  Nathan Sidwell  <nathan@acm.org>
+
+       * lambda.c (maybe_add_lambda_conv_op): Don't add to comdat group.
+
+2019-03-22  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/60702
+       * cp-tree.h (get_tls_wrapper_fn): Remove declaration.
+       (maybe_get_tls_wrapper_call): Declare.
+       * decl2.c (get_tls_wrapper_fn): Make static.
+       (maybe_get_tls_wrapper_call): New function.
+       * typeck.c (build_class_member_access_expr): Handle accesses to TLS
+       variables.
+       * semantics.c (finish_qualified_id_expr): Likewise.
+       (finish_id_expression_1): Use maybe_get_tls_wrapper_call.
+       * pt.c (tsubst_copy_and_build): Likewise.
+
+       PR c++/87481
+       * constexpr.c (struct constexpr_ctx): Add constexpr_ops_count member.
+       (cxx_eval_constant_expression): When not skipping, not constant class
+       or location wrapper, increment *ctx->constexpr_ops_count and if it is
+       above constexpr_loop_nest_limit, diagnose failure.
+       (cxx_eval_outermost_constant_expr): Add constexpr_ops_count and
+       initialize ctx.constexpr_ops_count to its address.
+       (is_sub_constant_expr): Likewise.
+
+2019-03-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/71446
+       * call.c (filed_in_pset): Change pset from hash_set<tree> * to
+       hash_set<tree, true> &, adjust uses accordingly.
+       (build_aggr_conv): Change pset from hash_set<tree> *
+       to hash_set<tree, true>.  Replace goto fail; with return NULL;,
+       adjust pset uses.
+
+       PR c++/89767
+       * parser.c (cp_parser_lambda_introducer): Add ids and first_capture_id
+       variables, check for duplicates in this function.
+       * lambda.c (add_capture): Don't check for duplicates nor use
+       IDENTIFIER_MARKED.
+       (register_capture_members): Don't clear IDENTIFIER_MARKED here.
+
+2019-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/89571
+       * method.c (after_nsdmi_defaulted_late_checks): Avoid passing
+       error_mark_node to comp_except_specs.
+
+2019-03-20  Jason Merrill  <jason@redhat.com>
+
+       PR c++/87480 - decltype of member access in default template arg
+       * pt.c (type_unification_real): Accept a dependent result in
+       template context.
+
+2019-03-19  Martin Sebor  <msebor@redhat.com>
+
+       PR tree-optimization/89688
+       * typeck2.c (store_init_value): Call braced_lists_to_string for more
+       kinds of initializers.
+
+2019-03-18  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89630 - ICE with dependent using-decl as template arg.
+       * tree.c (cp_tree_equal): Always return false for USING_DECL.
+
+       PR c++/89761 - ICE with sizeof... in pack expansion.
+       * pt.c (argument_pack_element_is_expansion_p): Handle
+       ARGUMENT_PACK_SELECT.
+
+       PR c++/89640 - GNU attributes on lambda.
+       * parser.c (cp_parser_lambda_declarator_opt): Allow GNU attributes.
+
+       PR c++/89682 - wrong access error in default argument.
+       * pt.c (tsubst_default_argument): Don't defer access checks.
+
+2019-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/85014
+       * semantics.c (finish_non_static_data_member): Check return value
+       of context_for_name_lookup and immediately return error_mark_node
+       if isn't a type.
+
+2019-03-17  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89571 - ICE with ill-formed noexcept on constructor.
+       * pt.c (maybe_instantiate_noexcept): Only return false if defaulted.
+       (regenerate_decl_from_template): Use it for noexcept-specs.
+
+2019-03-14  Jason Merrill  <jason@redhat.com>
+
+       * parser.c (cp_parser_decl_specifier_seq): Support C++20
+       concept-definition syntax without 'bool'.
+
+2019-03-14  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/89512
+       * semantics.c (finish_qualified_id_expr): Reject variable templates.
+
+       PR c++/89652
+       * constexpr.c (struct constexpr_ctx): Change save_exprs type from
+       hash_set<tree> to vec<tree>.
+       (cxx_eval_call_expression): Adjust for save_exprs being a vec instead
+       of hash_set.
+       (cxx_eval_loop_expr): Likewise.  Truncate the vector after each
+       removal of SAVE_EXPRs from values.
+       (cxx_eval_constant_expression) <case SAVE_EXPR>: Call safe_push
+       method on save_exprs instead of add.
+
+2019-03-13  Jason Merrill  <jason@redhat.com>
+
+       PR c++/86521 - C++17 copy elision in initialization by constructor.
+       * call.c (joust_maybe_elide_copy): New.
+       (joust): Call it.
+
+2019-03-13  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/88979 - further P0634 fix for constructors.
+       * parser.c (cp_parser_decl_specifier_seq): Pass flags to
+       cp_parser_constructor_declarator_p.
+       (cp_parser_direct_declarator): Allow missing typename for constructor
+       parameters.
+       (cp_parser_constructor_declarator_p): Add FLAGS parameter.  Pass it to
+       cp_parser_type_specifier.
+
+       PR c++/89686 - mixing init-capture and simple-capture in lambda.
+       * parser.c (cp_parser_lambda_introducer): Give error when combining
+       init-capture and simple-capture.
+
+       PR c++/89660 - bogus error with -Wredundant-move.
+       * typeck.c (maybe_warn_pessimizing_move): Only accept (T &) &arg
+       as the std::move's argument.  Don't call convert_for_initialization
+       when warn_redundant_move isn't on.
+
+2019-03-11  Jason Merrill  <jason@redhat.com>
+
+       PR c++/86521 - wrong overload resolution with ref-qualifiers.
+       * call.c (build_user_type_conversion_1): Don't use a conversion to a
+       reference of the wrong rvalueness for direct binding.
+
+2019-03-11  Martin Liska  <mliska@suse.cz>
+
+       * cvt.c (build_expr_type_conversion): Wrap apostrophes
+       in gcc internal format with %'.
+       * decl.c (check_no_redeclaration_friend_default_args): Likewise.
+       (grokfndecl): Likewise.
+       * name-lookup.c (do_pushtag): Likewise.
+       * pt.c (unify_parameter_deduction_failure): Likewise.
+       (unify_template_deduction_failure): Likewise.
+
+2019-03-11  Martin Liska  <mliska@suse.cz>
+
+       * call.c (convert_arg_to_ellipsis): Wrap an option name
+       in a string format message and fix GNU coding style.
+       (build_over_call): Likewise.
+       * class.c (check_field_decl): Likewise.
+       (layout_nonempty_base_or_field): Likewise.
+       * constexpr.c (cxx_eval_loop_expr): Likewise.
+       * cvt.c (type_promotes_to): Likewise.
+       * decl.c (cxx_init_decl_processing): Likewise.
+       (mark_inline_variable): Likewise.
+       (grokdeclarator): Likewise.
+       * decl2.c (record_mangling): Likewise.
+       * error.c (maybe_warn_cpp0x): Likewise.
+       * except.c (doing_eh): Likewise.
+       * mangle.c (maybe_check_abi_tags): Likewise.
+       * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
+       (cp_parser_userdef_numeric_literal): Likewise.
+       (cp_parser_primary_expression): Likewise.
+       (cp_parser_unqualified_id): Likewise.
+       (cp_parser_pseudo_destructor_name): Likewise.
+       (cp_parser_builtin_offsetof): Likewise.
+       (cp_parser_lambda_expression): Likewise.
+       (cp_parser_lambda_introducer): Likewise.
+       (cp_parser_lambda_declarator_opt): Likewise.
+       (cp_parser_selection_statement): Likewise.
+       (cp_parser_init_statement): Likewise.
+       (cp_parser_decomposition_declaration): Likewise.
+       (cp_parser_function_specifier_opt): Likewise.
+       (cp_parser_static_assert): Likewise.
+       (cp_parser_simple_type_specifier): Likewise.
+       (cp_parser_namespace_definition): Likewise.
+       (cp_parser_using_declaration): Likewise.
+       (cp_parser_ctor_initializer_opt_and_function_body): Likewise.
+       (cp_parser_initializer_list): Likewise.
+       (cp_parser_type_parameter_key): Likewise.
+       (cp_parser_member_declaration): Likewise.
+       (cp_parser_try_block): Likewise.
+       (cp_parser_std_attribute_spec): Likewise.
+       (cp_parser_requires_clause_opt): Likewise.
+       * pt.c (check_template_variable): Likewise.
+       (check_default_tmpl_args): Likewise.
+       (push_tinst_level_loc): Likewise.
+       (instantiate_pending_templates): Likewise.
+       (invalid_nontype_parm_type_p): Likewise.
+       * repo.c (get_base_filename): Likewise.
+       * rtti.c (typeid_ok_p): Likewise.
+       (build_dynamic_cast_1): Likewise.
+       * tree.c (maybe_warn_parm_abi): Likewise.
+
+2019-03-08  Jakub Jelinek  <jakub@redhat.com>
+
+       PR other/80058
+       * parser.c (cp_parser_template_declaration_after_parameters): Avoid
+       one space before " at the end of line and another after " on another
+       line in a string literal.
+
+       PR tree-optimization/89550
+       * semantics.c (maybe_convert_cond): Only set TREE_NO_WARNING if
+       warning_at returned true.
+       * decl2.c (c_parse_final_cleanups): Likewise.
+       * typeck.c (convert_for_assignment): Likewise.
+       * decl.c (finish_function): Likewise.
+
+       PR c++/89585
+       * parser.c (cp_parser_asm_definition): Just warn instead of error
+       on volatile qualifier outside of function body.
+
+       PR c++/89599
+       * constexpr.c (potential_constant_expression_1): Reject
+       REINTERPRET_CAST_P NOP_EXPRs.
+
+       PR c++/89622
+       * call.c (joust): Call print_z_candidate only if pedwarn returned
+       true.
+
+2019-03-07  Jason Merrill  <jason@redhat.com>
+
+       PR c++/88123 - lambda and using-directive.
+       * name-lookup.c (op_unqualified_lookup)
+       (maybe_save_operator_binding, discard_operator_bindings)
+       (push_operator_bindings): New.
+       * typeck.c (build_x_binary_op, build_x_unary_op): Call
+       maybe_save_operator_binding.
+       * decl.c (start_preparsed_function): Call push_operator_bindings.
+       * tree.c (cp_free_lang_data): Call discard_operator_bindings.
+
+       PR c++/88820 - ICE with CTAD and member template used in DMI.
+       * pt.c (do_class_deduction): Handle parm used as its own arg.
+
+2019-03-07  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/89585
+       * parser.c (cp_parser_asm_definition): Parse asm qualifiers even
+       at toplevel, but diagnose them.
+
+2019-03-06  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89381 - implicit copy and using-declaration.
+       * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider
+       op= brought in by a using-declaration.
+
+2019-03-06  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/87148
+       * init.c (build_value_init_noctor): Ignore flexible array members.
+
+2019-03-06  Jason Merrill  <jason@redhat.com>
+
+       PR c++/89576 - if constexpr of lambda capture.
+       * semantics.c (maybe_convert_cond): Do convert a non-dependent
+       condition in a template.
+       * typeck.c (condition_conversion): Handle being called in a
+       template.
+
+2019-03-06  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/87378 - bogus -Wredundant-move warning.
+       * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue
+       overload resolution would actually succeed.
+
+2019-03-05  Jason Merrill  <jason@redhat.com>
+
+       * class.c (is_really_empty_class): Add ignore_vptr parm.
+       (trivial_default_constructor_is_constexpr): Pass it.
+       * call.c (build_over_call): Pass it.
+       * constexpr.c (cxx_eval_constant_expression): Pass it instead of
+       checking TYPE_POLYMORPHIC_P.
+       (cxx_eval_component_reference, potential_constant_expression_1):
+       Pass it.
+       * cp-gimplify.c (simple_empty_class_p): Pass it.
+       * init.c (expand_aggr_init_1): Pass it.
+
+2019-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/84605
+       * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too.
+
+2019-03-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/71446
+       * call.c (field_in_pset): New function.
+       (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly.
+
+2019-03-02  Jakub Jelinek  <jakub@redhat.com>
+
+       PR c++/71446
+       * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define.
+       * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list
+       caller, set CONSTRUCTOR_IS_DESIGNATED_INIT.
+       (cp_parser_initializer_list): Add designated parameter, set *designated
+       to a bool whether any designators were parsed.
+       * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if
+       needed.
+       * pt.c (tsubst_copy_and_build): Likewise.
+       * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT,
+       don't call build_list_conv, nor build_complex_conv, nor attempt to
+       convert a single element initializer to scalar.
+
+2019-03-01  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/89537 - missing location for error with non-static member fn.
+       * call.c (resolve_args): Use EXPR_LOCATION.
+       * typeck.c (build_class_member_access_expr): Use input_location.
+
+       PR c++/89532 - ICE with incomplete type in decltype.
+       * semantics.c (finish_compound_literal): Return error_mark_node
+       if digest_init_flags returns error_mark_node.
+
+2019-03-01  Jakub Jelinek  <jakub@redhat.com>
+
+       Implement P1002R1, Try-catch blocks in constexpr functions
+       PR c++/89513
+       * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
+       Diagnose constexpr ctor or function with function-try-block with
+       pedwarn for c++17 and earlier.  Formatting fix.
+       (cp_parser_try_block): Use pedwarn instead of error and only for
+       c++17 and earlier when try block appears in constexpr function.
+       * constexpr.c (build_constexpr_constructor_member_initializers):
+       Handle TRY_BLOCK here instead of erroring on it.
+
+2019-02-28  Jason Merrill  <jason@redhat.com>
+
+       PR c++/88183 - ICE with .* fold-expression.
+       * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling.
+
+       PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
+       * class.c, lambda.c, pt.c: Revert earlier change.
+       * lambda.c (add_capture): Don't special-case capture of dependent
+       VLA.
+
+       * name-lookup.c (print_binding_level): Print this_entity.
+
+2019-02-27  Marek Polacek  <polacek@redhat.com>
+
+       PR c++/88857 - ICE with value-initialization of argument in template.
+       * call.c (convert_like_real): Don't call build_value_init in template.
+
 2019-02-27  Jason Merrill  <jason@redhat.com>
 
        PR c++/86969 - ICE with constexpr if and recursive generic lambdas.