[testsuite] [i386] work around fails with --enable-frame-pointer

[official-gcc.git] / gcc / cp / ChangeLog-2020

2020-12-24  Iain Sandoe  <iain@sandoe.co.uk>

        * g++spec.c (LIBCXX, LIBCXX_PROFILE, LIBCXX_STATIC): New.
        (LIBCXXABI, LIBCXXABI_PROFILE, LIBCXXABI_STATIC): New.
        (enum stdcxxlib_kind): New.
        (lang_specific_driver): Allow selection amongst multiple
        c++ runtime libraries.

2020-12-23  Nathan Sidwell  <nathan@acm.org>

        PR c++/96045
        * parser.c (cp_lexer_new_main): Adjust EOF token location.

2020-12-23  Jason Merrill  <jason@redhat.com>

        PR c++/97597
        * class.c (is_empty_base_ref): New.
        (build_base_path): Add NOP_EXPR after offset.
        * cp-tree.h (is_empty_base_ref): Declare it.
        * call.c (unsafe_return_slot_p): Call it.

2020-12-23  Jakub Jelinek  <jakub@redhat.com>

        PR c++/98353
        * init.c (build_zero_init_1): Use build_zero_cst for SCALAR_TYPE_P
        zero initializers.

2020-12-23  Jason Merrill  <jason@redhat.com>

        PR c++/98332
        * constexpr.c (unshare_constructor): Check for NULL.
        (cxx_eval_vec_init_1): Always exit early if non-constant.

2020-12-22  Nathan Sidwell  <nathan@acm.org>

        * module.cc (has_definition): Check DECL_LANG_SPECIFIC.

2020-12-22  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93480
        * method.c (common_comparison_type): If comps[i] is a TREE_LIST,
        use its TREE_VALUE instead.
        (build_comparison_op): Handle array members.

2020-12-22  Gerald Pfeifer  <gerald@pfeifer.com>

        * module.cc (INCLUDE_STRING): Define.
        (INCLUDE_VECTOR): Ditto.

2020-12-22  Jason Merrill  <jason@redhat.com>

        * mangle.c (write_member_name): Add assert.
        (write_expression): Add asserts.

2020-12-21  Nathan Sidwell  <nathan@acm.org>

        * module.cc (create_dirs): Add logging.
        (finish_module_processing): Unlink before rename.

2020-12-21  Nathan Sidwell  <nathan@acm.org>

        PR bootstrap/98412
        * mapper-client.cc: INCLUDE_STRING, INCLUDE_VECTOR.
        (module_client::open_module_client): Avoid std::stoul.
        * mapper-resolver.cc: INCLUDE_STRING, INCLUDE_VECTOR.

2020-12-18  Kwok Cheung Yeung  <kcy@codesourcery.com>

        * cp-lang.c (cxx_get_decl_init): New.
        (cxx_omp_finish_decl_inits): New.
        (LANG_HOOKS_GET_DECL_INIT): New.
        (LANG_HOOKS_OMP_FINISH_DECL_INITS): New.
        * cp-tree.h (dynamic_initializers): New.
        * decl.c (dynamic_initializers): New.
        * decl2.c (c_parse_final_cleanups): Add initializer entries
        from vars to dynamic_initializers.

2020-12-18  Nathan Sidwell  <nathan@acm.org>

        * module.cc (O_CLOEXEC, O_BINARY): Add window's support.
        (elf_in::defrost, module_state::do_import)
        (finish_module_processing): Use O_BINARY.

2020-12-18  Jakub Jelinek  <jakub@redhat.com>

        PR c++/98343
        * cp-gimplify.c (source_location_table_entry_hash::pch_nx): Override
        static member functions from ggc_remove.

2020-12-18  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (satisfying_constraint): Move up definition
        and give it bool type.
        (failed_type_completion_count): Replace with ...
        (failed_type_completions): ... this.
        (note_failed_type_completion_for_satisfaction): Append the
        supplied argument to failed_type_completions.
        (some_type_complete_p): Define.
        (sat_entry::maybe_unstable): Replace with ...
        (sat_entry::ftc_begin, sat_entry::ftc_end): ... these.
        (satisfaction_cache::ftc_count): Replace with ...
        (satisfaction_cache::ftc_begin): ... this.
        (satisfaction_cache::satisfaction_cache): Adjust accordingly.
        (satisfaction_cache::get): Adjust accordingly, using
        some_type_complete_p.
        (satisfaction_cache::save): Adjust accordingly.
        (satisfying_constraint_p): Remove unused function.
        (satisfy_constraint): Set satisfying_constraint.
        (satisfy_declaration_constraints): Likewise.
        * decl.c (require_deduced_type): Call
        note_failed_type_completion_for_satisfaction.

2020-12-18  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (sat_entry::evaluating): New member.
        (satisfaction_cache::get): If entry->evaluating, diagnose
        self-recursive satisfaction.  Otherwise, set entry->evaluating
        if we're not reusing a cached satisfaction result.
        (satisfaction_cache::save): Clear entry->evaluating.
        (satisfy_atom): Set up diagnosing_failed_constraint before the
        first call to get().

2020-12-18  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (failed_type_completion_count): New.
        (note_failed_type_completion_for_satisfaction): New.
        (sat_entry::constr): Rename to ...
        (sat_entry::atom): ... this.
        (sat_entry::location): New member.
        (sat_entry::maybe_unstable): New member.
        (sat_entry::diagnose_instability): New member.
        (struct sat_hasher): Adjust after the above renaming.
        (get_satisfaction, save_satisfaction): Remove.
        (satisfaction_cache): Rewrite completely.
        (satisfy_atom): When instantiation of the parameter mapping
        fails, set diagnose_instability.  Propagate location from
        inst_cache.entry to cache.entry if the secondary lookup
        succeeded.
        (satisfy_declaration_constraints): When
        failed_type_completion_count differs before and after
        satisfaction, then don't cache the satisfaction result.
        * cp-tree.h (note_failed_type_completion_for_satisfaction):
        Declare.
        * pt.c (tsubst) <case TYPENAME_TYPE>: Use
        complete_type_or_maybe_complain instead of open-coding it.
        * typeck.c (complete_type_or_maybe_complain): Call
        note_failed_type_completion_for_satisfaction when type
        completion fails.

2020-12-17  Nathan Sidwell  <nathan@acm.org>

        PR c++/98340
        * module.cc (uintset<T>::hash::add): Use uintset (0u).MEMBER,
        rather than uintset::MEMBER.

2020-12-17  Nathan Sidwell  <nathan@acm.org>

        PR bootstrap/98300
        * module.cc: Fix ::read, ::write result signedness comparisons.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * mapper-resolver.cc: Remove early include of
        sys/socket.h.  Specify no CODY_NETWORKING instead.
        * module.cc: Specify no CODY_NETWORKING.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_elaborated_type_specifier): Test
        BOUND_TEMPLATE_TEMPLATE_PARM before checking for instantiation.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * module.cc (dumper::push): Clangify offsetof use.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * mapper-resolver.cc: #include sys/socket before system.h
        due to poisoned bcopy use.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * module.cc (loc_spans): Make spans a pointer, not inline.
        Adjust all accesses.

2020-12-16  Nathan Sidwell  <nathan@acm.org>

        * mapper-client.cc: Include sys/socket.h before system.h.

2020-12-15  Patrick Palka  <ppalka@redhat.com>

        * pt.c (in_template_function): Inspect cfun->decl instead of
        current_function_decl.

2020-12-15  Nathan Sidwell  <nathan@acm.org>

        * module.cc: Replace stubs with implementation.

2020-12-15  Nathan Sidwell  <nathan@acm.org>

        * Make-lang.in (CXX_AND_OBJCXX_OBJS): Add mapper-client &
        mapper-resolver.
        * mapper-client.h: New.
        * mapper-client.cc: New.
        * mapper-resolver.cc: New.

2020-12-15  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (do_namespace_alias): Set originating module
        before pushing.

2020-12-11  Jason Merrill  <jason@redhat.com>

        PR libstdc++/97600
        * call.c (build_user_type_conversion_1): Avoid considering
        conversion functions that return a clearly unsuitable type.

2020-12-11  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (make_binding_vec): Add CXX_MEM_STAT_INFO.

2020-12-11  Nathan Sidwell  <nathan@acm.org>

        * config-lang.in (gtfiles): Add cp/module.cc.
        * decl2.c (c_parse_final_cleanups): Add module support.
        * lambda.c (record_lambda_scope): Call maybe_attach_decl.
        * module.cc (maybe_attach_decl, lazy_load_specializations): Stubs.
        (finish_module_procesing): Stub.
        * pt.c (lookup_template_class_1): Lazy load specializations.
        (instantiate_template_1): Likewise.

2020-12-11  Nathan Sidwell  <nathan@acm.org>

        * decl2.c (c_parse_final_cleanups): Refactor loop.

2020-12-11  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (map_context_from, map_context_to): Declare.
        * module.cc (map_context_from, map_context_to): Define.
        * tree.c (cp_tree_equal): Check map_context_{from,to} for parm
        context difference.  Allow NON_LVALUE_EXPR and VIEW_CONVERT_EXPR
        with null types.

2020-12-11  Nathan Sidwell  <nathan@acm.org>

        * cp-lang.c (LANG_HOOKS_PREPROCESS_MAIN_FILE): Override.
        (LANG_HOOKS_PREPROCESS_OPTIONS): Override.
        (LANG_HOOKS_PREPROCESS_TOKEN): Override.
        * cp-objcp-common.c (cp_register_dumps): Add module dump.
        (cp_handle_option): New.
        * cp-objcp-common.h (cp_handle_option): Declare.
        (LANG_HOOKS_HANDLE_OPTION): Override.
        * cp-tree.h (module_dump_id): Declare.
        * module.cc (module_dump_id): Define.
        (module_begin_main_file, handle_module_option)
        (module_preproces_options): Stubs.

2020-12-11  Nathan Sidwell  <nathan@acm.org>

        * module.cc (lazy_specializations_p): Stub.
        * name-lookup.h (append_imported_binding_slot)
        (mergeable_namespacE_slots, lookup_class_binding)
        (walk_module_binding, import_module_binding, set_module_binding)
        (note_pending_specializations, load_pending_specializations)
        (add_module_decl, add_imported_namespace): Declare.
        (get_cxx_dialect_name): Declare.
        (enum WMB_flags): New.
        * name-lookup.c (append_imported_binding_slot)
        (mergeable_namespacE_slots, lookup_class_binding)
        (walk_module_binding, import_module_binding, set_module_binding)
        (note_pending_specializations, load_pending_specializations)
        (add_module_decl, add_imported_namespace): New.
        (get_cxx_dialect_name): Make extern.

2020-12-11  Patrick Palka  <ppalka@redhat.com>

        PR c++/78173
        * typeck.c (pointer_diff): Use complete_type_or_maybe_complain
        instead of complete_type_or_else.

2020-12-10  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (struct type_identity): New.
        (make_temp_override): New.
        * decl.c (grokdeclarator): Use it.
        * except.c (maybe_noexcept_warning): Use it.
        * parser.c (cp_parser_enum_specifier): Use it.
        (cp_parser_parameter_declaration_clause): Use it.
        (cp_parser_gnu_attributes_opt): Use it.
        (cp_parser_std_attribute): Use it.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (do_nonmember_using_decl): Add INSERT_P parm.
        Deal with exporting using decls.
        (finish_nonmember_using_decl): Examine BINDING_VECTOR.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (visible_instantiation_path): Renamed.
        * module.cc (get_originating_module_decl, lazy_load_binding)
        (lazy_load_members, visible_instantiation_path): Stubs.
        * name-lookup.c (STAT_TYPE_VISIBLE_P, STAT_VISIBLE): New.
        (search_imported_binding_slot, init_global_partition)
        (get_fixed_binding_slot): New.
        (name_lookup::process_module_binding): New.
        (name_lookup::search_namespace_only): Search BINDING_VECTOR.
        (name_lookup::adl_namespace_fns): Likewise.
        (name_lookip::search_adl): Search visible instantiation path.
        (maybe_lazily_declare): Maybe lazy load members.
        (implicitly_exporT_namespace): New.
        (maybe_record_mergeable_decl): New.
        (check_module_override): New.
        (do_pushdecl): Deal with BINDING_VECTOR, check override.
        (add_mergeable_namespace_entity): New.
        (get_namespace_binding): Deal with BINDING_VECTOR.
        (do_namespace_alias): Call set_originating_module.
        (lookup_elaborated_type_1): Deal with BINDING_VECTOR.
        (do_pushtag): Call set_originating_module.
        (reuse_namespace): New.
        (make_namespace_finish): Add FROM_IMPORT parm.
        (push_namespace): Deal with BINDING_VECTOR & namespace reuse.
        (maybe_save_operator_binding): Save when module CMI in play.
        * name-lookup.h (add_mergeable_namespace_entity): Declare.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c: Include bitmap.h.
        (enum binding_slots): New.
        (maybe_add_fuzzy_binding): Return bool true if found.
        (consider_binding_level): Add module support.
        * module.cc (get_import_bitmap): Stub.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (pop_local_binding): Check for IDENTIFIER_ANON_P.
        (update_binding): Level may be null, don't add namespaces to
        level.
        (newbinding_bookkeeping): New, broken out of ...
        (do_pushdecl): ... here, call it.  Don't push anonymous decls.
        (pushdecl, add_using_namespace): Correct comments.
        (do_push_nested_namespace): Remove assert.
        (make_namespace, make_namespace_finish): New, broken out of ...
        (push_namespace): ... here.  Call them.  Add namespace to level
        here.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * error.c (dump_module_suffix): New.
        (dump_aggr_type, dump_simple_decl, dump_function_name): Call it.
        * ptree.c (cxx_print_decl): Print module information.
        * module.cc (module_name, get_importing_module): Stubs.

2020-12-10  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.h (set_class_bindings): Return vector, take signed
        'extra' parm.
        * name-lookup.c (maybe_lazily_declare): Break out ...
        (get_class_binding): .. of here, call it.
        (find_member_slot): Adjust get_class_bindings call.
        (set_class_bindings): Allow -ve extra.  Return the vector.
        (set_identifier_type_value_with_scope): Remove checking assert.
        (lookup_using_decl): Set decl's context.
        (do_pushtag): Adjust set_identifier_type_value_with_scope handling.

2020-12-09  Nathan Sidwell  <nathan@acm.org>

        * parser.h (struct cp_token): Add main_source_p field.
        * parser.c (cp_lexer_new_main): Pass thought module token filter.
        Check macros.
        (cp_lexer_get_preprocessor_token): Set main_source_p.
        (enum module_parse): New.
        (cp_parser_diagnose_invalid_type_name): Deal with unrecognized
        module-directives.
        (cp_parser_skip_to_closing_parenthesize_1): Skip module-directivres.
        (cp_parser_skip_to_end_of_statement): Likewise.
        (cp_parser_skiup_to_end_of_block_or_statement): Likewise.
        (cp_parser_translation_unit): Add module parsing calls.
        (cp_parser_module_name, cp_parser_module_declaration): New.
        (cp_parser_import_declaration, cp_parser_module_export): New.
        (cp_parser_declaration): Add module export detection.
        (cp_parser_template_declaration): Adjust 'export' error message.
        (cp_parser_function_definition_after_declarator): Add
        module-specific logic.
        * module.cc (import_module, declare_module)
        (maybe_check_all_macros): Stubs.

2020-12-09  Marek Polacek  <polacek@redhat.com>

        PR c++/97517
        * cxx-pretty-print.c (cxx_pretty_printer::simple_type_specifier): Handle
        NULLPTR_TYPE.
        (pp_cxx_type_specifier_seq): Likewise.
        (cxx_pretty_printer::type_id): Likewise.

2020-12-09  Nathan Sidwell  <nathan@acm.org>

        * decl.c (duplicate_decls): Add module-specific redeclaration
        logic.
        (cxx_init_decl_processing): Export the global namespace, maybe
        initialize modules.
        (start_decl): Reject local-extern in a module, adjust linkage of
        template var.
        (xref_tag_1): Add module-specific redeclaration logic.
        (start_enum): Likewise.
        (finish_enum_value_list): Export unscoped members of an exported
        enum.
        (grokmethod): Implement p1779 linkage of in-class defined
        functions.
        * decl2.c (no_linkage_error): Imports are ok.
        (c_parse_final_cleanups): Call fini_modules.
        * lex.c (cxx_dup_lang_specific): Clear some module flags in the
        copy.
        * module.cc (module_kind): Define.
        (module_may_redeclare, set_defining_module): Stubs.
        (init_modules): Error on modules.
        (fini_modules): Stub.
        * rtti.c (push_abi_namespace): Save and reset module_kind.
        (pop_abi_namespace): Restore module kind.
        (build_dynamic_cast_1, tinfo_base_init): Adjust.
        * semantics.c (begin_class_definition): Add module-specific logic.
        (expand_or_defer_fn_1): Keep bodies of more fns when modules_p.

2020-12-09  Tobias Burnus  <tobias@codesourcery.com>

        * parser.c (cp_parser_omp_allocate): New.
        (cp_parser_omp_construct, cp_parser_pragma): Call it.

2020-12-09  Jason Merrill  <jason@redhat.com>

        PR c++/98019
        * cvt.c (maybe_warn_nodiscard): Check c_inhibit_evaluation_warnings.

2020-12-09  Jason Merrill  <jason@redhat.com>

        PR c++/59238
        * init.c (expand_default_init): Pass tf_no_cleanup when building
        a TARGET_EXPR to go on the RHS of an INIT_EXPR.
        * typeck.c (cp_build_modify_expr): Likewise.

2020-12-08  Marek Polacek  <polacek@redhat.com>

        PR c++/98103
        * constexpr.c (cxx_eval_dynamic_cast_fn): If the evaluating of vtable
        yields a null pointer, give an error and return.  Use objtype.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * class.c (layout_class_type): Call set_instantiating_module.
        (build_self_reference): Likewise.
        * decl.c (grokfndecl): Call set_originating_module.
        (grokvardecl): Likewise.
        (grokdeclarator): Likewise.
        * pt.c (maybe_new_partial_specialization): Call
        set_instantiating_module, propagate DECL_MODULE_EXPORT_P.
        (lookup_template_class_1): Likewise.
        (tsubst_function_decl): Likewise.
        (tsubst_decl, instantiate_template_1): Likewise.
        (build_template_decl): Propagate module flags.
        (tsubst_template_dcl): Likewise.
        (finish_concept_definition): Call set_originating_module.
        * module.cc (set_instantiating_module, set_originating_module): Stubs.

2020-12-08  Jason Merrill  <jason@redhat.com>

        PR c++/96299
        * cp-tree.h (build_new_op): Add overload that omits some parms.
        (genericize_spaceship): Add location_t parm.
        * constexpr.c (cxx_eval_binary_expression): Pass it.
        * cp-gimplify.c (genericize_spaceship): Pass it.
        * method.c (genericize_spaceship): Handle class-type arguments.
        (build_comparison_op): Fall back to op</== when appropriate.

2020-12-08  Jason Merrill  <jason@redhat.com>

        * call.c (build_new_op_1): Set *overload for ambiguity.
        (build_new_method_call_1): Likewise.

2020-12-08  Bernd Edlinger  <bernd.edlinger@hotmail.de>

        * decl2.c: (is_atomic_expensive_p): New helper function.
        (build_atomic_load_byte): Rename to...
        (build_atomic_load_type): ... and add new parameter type.
        (get_guard_cond): Skip the atomic here if that is expensive.
        Use the correct type for the atomic load on certain targets.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct tinst_level): Add path & visible fields.
        (build_cdtor_clones): Declare.
        (match_mergeable_specialization): Use a spec_entry, add insert parm.
        * class.c (build_cdtor_clones): Externalize.
        * pt.c (push_tinst_level_loc): Clear new fields.
        (match_mergeable_specialization): Adjust API.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * decl2.c (start_objects): Refactor and adjust for named module
        initializers.
        (finish_objects): Likewise.
        (generate_ctor_or_dtor_function): Likewise.
        * module.cc (module_initializer_kind)
        (module_add_import_initializers): Stubs.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * Make-lang.in (MODULE_VERSION): Override when DEVPHASE not empty.
        * module.cc: Comment.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (mangle_module_substitution, mangle_identifier)
        (mangle_module_global_init): Declare.
        * mangle.c (struct globals): Add mod field.
         (mangle_module_substitution, mangle_identifier)
        (mangle_module_global_init): Define.
        (write_module, maybe_write_module): New.
        (write_name): Call it.
        (start_mangling): Clear mod field.
        (finish_mangling_internal): Adjust.
        * module.cc (mangle_module, mangle_module_fini)
        (get_originating_module): Stubs.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (module_token_pre, module_token_cdtor)
        (module_token_lang): Declare.
        * lex.c: Include langhooks.
        (struct module_token_filter): New.
        * cp-tree.h (module_token_pre, module_token_cdtor)
        (module_token_lang): Define.
        * module.cc (get_module, preprocess_module, preprocessed_module):
        Nop stubs.

2020-12-08  Nathan Sidwell  <nathan@acm.org>

        * Make-lang.in (MODULE_VERSION): Define.
        * module.cc: Add includes.

2020-12-08  Jakub Jelinek  <jakub@redhat.com>

        PR c++/98187
        * parser.c (cp_parser_omp_parallel): For parallel master with
        -fopenmp-simd only, just call cp_parser_omp_master instead of
        wrapping it in OMP_PARALLEL.

2020-12-07  Marek Polacek  <polacek@redhat.com>

        PR c++/98043
        * decl.c (pop_switch): If SWITCH_STMT_TYPE is a scoped enum type,
        set it to the type of SWITCH_STMT_COND.

2020-12-07  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (build_cplus_array_type): Add defaulted DEP parm.
        * tree.c (set_array_type_common): Add DEP parm.
        (build_cplus_array_type): Add DEP parm, determine dependency if
        needed.  Mark dependency of new types.
        (cp_build_qualified_type_real): Adjust array-building call, assert
        no surprising dependency.
        (strip_typedefs): Likewise.

2020-12-07  Nathan Sidwell  <nathan@acm.org>

        PR c++/98116
        * typeck.c (structural_comptypes): Move early outs to comptype.
        Always check template-alias match when comparing_specializations.
        (comptypes): Do early out checking here.

2020-12-05  Patrick Palka  <ppalka@redhat.com>

        PR c++/97093
        * constraint.cc (parameter_mapping_equivalent_p): Add some
        sanity checks.  Clarify comment.
        (tsubst_nested_requirement): Always perform satisfaction
        quietly first.  If that yields an erroneous result, emit a
        context message and replay satisfaction noisily with the
        diagnostic normal form.
        (finish_nested_requirement): Normalize the constraint-expression
        twice, once with diagnostic information and once without.  Store
        them in a TREE_LIST within the TREE_TYPE.
        (diagnose_nested_requirement): When replaying satisfaction, use
        the diagnostic normal form instead of renormalizing on the spot.

2020-12-05  Patrick Palka  <ppalka@redhat.com>

        PR c++/97093
        * constraint.cc (struct sat_info): Define.
        (tsubst_nested_requirement): Pass a sat_info object to
        satisfy_constraint.
        (satisfy_constraint_r): Take a sat_info argument instead of
        subst_info.
        (satisfy_conjunction): Likewise.
        (satisfy_disjunction): Likewise.  Instead of first evaluating
        each branch quietly, evaluate each branch only with
        unsatisfaction diagnostics disabled.  Exit early if evaluation
        of a branch returns error_mark_node.
        (satisfy_atom): Take a sat_info argument instead of subst_info.
        Fix a comment.  Check diagnose_unsatisfaction_p() instead of
        noisy() before replaying a substitution failure.
        (satisfy_constraint): Take a sat_info argument instead of
        subst_info.
        (satisfy_associated_constraints): Likewise.
        (satisfy_constraint_expression): Likewise.
        (satisfy_declaration_constraints): Likewise.
        (constraint_satisfaction_value): Likewise and adjust
        accordingly.  Fix formatting.
        (constraints_satisfied_p): Pass a sat_info object to
        constraint_satisfaction_value.
        (evaluate_concept_check): Pass a sat_info object to
        satisfy_constraint_expression.
        (diagnose_nested_requirement): Likewise.
        (diagnose_constraints): Pass an appropriate sat_info object to
        constraint_satisfaction_value.

2020-12-05  Jakub Jelinek  <jakub@redhat.com>

        PR c++/98122
        * constexpr.c (cxx_union_active_member): New function.
        (cxx_fold_indirect_ref_1): Add ctx argument, pass it through to
        recursive call.  Handle UNION_TYPE.
        (cxx_fold_indirect_ref): Add ctx argument, pass it to recursive calls
        and cxx_fold_indirect_ref_1.
        (cxx_eval_indirect_ref): Adjust cxx_fold_indirect_ref calls.

2020-12-04  Jason Merrill  <jason@redhat.com>

        PR c++/93083
        * pt.c (convert_template_argument): Handle equivalent placeholders.
        (do_class_deduction): Look through EXPR_PACK_EXPANSION, too.

2020-12-04  Jason Merrill  <jason@redhat.com>

        * decl2.c (clear_consteval_vfns): Remove *.
        * pt.c (do_auto_deduction): Remove *.
        * parser.c (cp_parser_late_parsing_default_args): Change loop
        to use range 'for'.

2020-12-04  Nathan Sidwell  <nathan@acm.org>

        PR c++/98116
        * cp-tree.h (comparing_typenames): Delete.
        (cplus_build_array_type): Remove default parm.
        * pt.c (comparing_typenames): Delete.
        (spec_hasher::equal): Don't increment it.
        * tree.c (set_array_type_canon): Remove dep parm.
        (build_cplus_array_type): Remove dep parm changes.
        (cp_build_qualified_type_real): Remove dependent array type
        changes.
        (strip_typedefs): Likewise.
        * typeck.c (structural_comptypes): Revert comparing_typename
        changes.

2020-12-04  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h: Add various inline module state predicates, and
        declare the API that will be provided by modules.cc

2020-12-04  Jakub Jelinek  <jakub@redhat.com>

        PR c++/80780
        * cp-gimplify.c (fold_builtin_source_location): Use 2 instead of 0
        as last argument to cxx_printable_name.

2020-12-03  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (releasing_vec::operator[]): Change parameter type to
        ptrdiff_t.

2020-12-03  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (OVL_EXPORT): New.
        (class ovl_iterator): Add get_using, exporting_p.
        * tree.c (ovl_insert): Extend using_or_hidden meaning to include
        an exported using.

2020-12-03  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_UNINSTANTIATED_TEMPLATE_FRIEND): New.
        * pt.c (push_template_decl): Set it.
        (tsubst_friend_function): Clear it.

2020-12-03  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (make_unbound_class_template_raw): Declare.
        (canonical_type_parameter): Declare.
        * decl.c (make_unbound_class_template_raw): Break out of ...
        (make_unboud_class_template): ... here.  Call it.
        * pt.c (canonical_type_parameter): Externalize.  Refactor & set
        structural_equality for type parms.

2020-12-03  Nathan Sidwell  <nathan@acm.org>

        PR c++/98107
        * tree.c (build_cplus_array_type): Mark dependency of new variant.
        (cp_build_qualified_type_real, strip_typedefs): Assert
        TYPE_DEPENDENT_P_VALID, or not a dependent type.

2020-12-03  Jakub Jelinek  <jakub@redhat.com>

        PR libstdc++/93121
        * cp-tree.h (cp_build_bit_cast): Declare.
        * cp-tree.def (BIT_CAST_EXPR): New tree code.
        * cp-objcp-common.c (names_builtin_p): Handle RID_BUILTIN_BIT_CAST.
        (cp_common_init_ts): Handle BIT_CAST_EXPR.
        * cxx-pretty-print.c (cxx_pretty_printer::postfix_expression):
        Likewise.
        * parser.c (cp_parser_postfix_expression): Handle
        RID_BUILTIN_BIT_CAST.
        * semantics.c (cp_build_bit_cast): New function.
        * tree.c (cp_tree_equal): Handle BIT_CAST_EXPR.
        (cp_walk_subtrees): Likewise.
        * pt.c (tsubst_copy): Likewise.
        * constexpr.c (check_bit_cast_type, cxx_eval_bit_cast): New functions.
        (cxx_eval_constant_expression): Handle BIT_CAST_EXPR.
        (potential_constant_expression_1): Likewise.
        * cp-gimplify.c (cp_genericize_r): Likewise.

2020-12-03  Jason Merrill  <jason@redhat.com>

        * parser.c (cp_parser_primary_expression): Distinguish
        parms from vars in error.
        (cp_parser_late_parsing_default_args): Pushdecl parms
        as we go.

2020-12-03  Jason Merrill  <jason@redhat.com>

        * name-lookup.c (begin_scope): Set immediate_fn_ctx_p.
        * parser.c (cp_parser_late_parsing_default_args): Push
        sk_function_parms scope.

2020-12-03  Peter Bergner  <bergner@linux.ibm.com>

        PR c++/97947
        * typeck2.c (digest_init_r): Handle OPAQUE_TYPE as an aggregate type.

2020-12-02  Jakub Jelinek  <jakub@redhat.com>

        PR c++/80780
        PR c++/93093
        * cp-tree.h (source_location_current_p): Declare.
        * tree.c (source_location_current_p): New function.
        * call.c (immediate_invocation_p): New function.
        (build_over_call): Use it to resolve LWG3396.
        * constexpr.c (cxx_eval_builtin_function_call): Temporarily set
        current_function_decl from ctx->call->fundef->decl if any.
        * cp-gimplify.c (cp_genericize_r) <case CALL_EXPR>: Fold calls
        to immediate function std::source_location::current ().

2020-12-02  Jason Merrill  <jason@redhat.com>

        * decl.c (grokdeclarator): Improve diagnostic for
        disallowed CTAD placeholder.

2020-12-02  Jason Merrill  <jason@redhat.com>

        * decl.c (check_initializer): Also look through STMT_EXPR
        and BIND_EXPR.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (comparing_typenames): Declare.
        * pt.c (comparing_typenames): Define.
        (spec_hasher::equal): Increment it around comparisons.
        * typeck.c (structural_comptypes): Adjust TYPENAME resolution
        check.

2020-12-02  Marek Polacek  <polacek@redhat.com>

        PR c++/97975
        * constexpr.c (fold_non_dependent_init): Add a tree parameter.
        Use it.
        * cp-tree.h (fold_non_dependent_init): Add a tree parameter with
        a default value.
        * typeck2.c (store_init_value): Call fold_non_dependent_expr
        only when checking the initializer for constexpr variables.
        Call fold_non_dependent_init instead of maybe_constant_init.

2020-12-02  Marek Polacek  <polacek@redhat.com>

        PR c++/97187
        PR c++/97993
        * pt.c (tsubst_copy_and_build) <case NEW_EXPR>: Return error_mark_node
        if init is erroneous.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_MODULE_PURVIEW_P, DECL_MODULE_IMPORT_P)
        (DECL_MODULE_ENTITY_P): New.
        (DECL_MODULE_PENDING_SPECIALIZATIONS_P): New.
        (DECL_MODULE_PENDING_MEMBERS_P): New.
        (DECL_MODULE_ATTACHMENTS_P): New.
        (DECL_MODULE_EXPORT_P): New.
        (struct lang_decl_base): Shrink sel field.  Add new
        module-specific fields.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_TINFO_P): Also for TYPE_DECLs.
        (get_tinfo_decl_direct): Declare.
        (get_pseudo_tinfo_index, get_pseudo_tinfo_type): Declare.
        * rtti.c (get_tinfo_decl_direct): Externalize.
        (get_tinfo_desc): Set DECL_TINFO_P on the typedef.
        (get_pseudo_tinfo_index, get_pseudo_tinfo_type): New.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (maybe_add_lang_decl_raw, maybe_add_lang_type_raw):
        Declare.
        * lex.c (maybe_add_lang_decl_raw, maybe_add_lang_type_raw):
        Externalize, reformat.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (build_cplus_array_type): Add defaulted DEP parm.
        * tree.c (set_array_type_common): Add DEP parm.
        (build_cplus_array_type): Add DEP parm, determine dependency if
        needed.
        (cp_build_qualified_type_real): Adjust array-building call.
        (strip_typedefs): Likewise.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * ptree.c (cxx_print_xnode): Increase binding-vector prefix size.

2020-12-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.def (BINDING_VECTOR): New.
        * name-lookup.h (struct binding_slot): New.
        (BINDING_VECTOR_SLOTS_PER_CLUSTER): New.
        (struct binding_index, struct binding_cluster): New.
        (BINDING_VECTOR_ALLOC_CLUSTERS, BINDING_VECTOR_CLUSTER_BASE)
        (BINDING_VECTOR_CLUSTER): New.
        (struct tree_binding_vec): New.
        (BINDING_VECTOR_NAME, BINDING_VECTOR_GLOBAL_DUPS_P)
        (BINDING_VECTOR_PARTITION_DUPS_P): New.
        (BINDING_BINDING_GLOBAL_P, BINDING_BINDING_PARTITION_P): New.
        (BINDING_VECTOR_PENDING_SPECIALIZATIONS)
        (BINDING_VECTOR_PENDING_IS_HEADER_P)
        (BINDING_VECTOR_PENDING_IS_PARTITION_P): New.
        * cp-tree.h (enum cp_tree_node_structure_enum): Add
        TS_CP_BINDING_VECTOR.
        (union lang_tree_node): Add binding_vec field.
        (make_binding_vec): Declare.
        (named_decl_hash::hash, named_decl_hash::equal): Check for binding
        vector.
        * decl.c (cp_tree_node_structure): Add BINDING_VECTOR case.
        * ptree.c (cxx_print_xnode): Add BINDING_VECTOR case.
        * tree.c (make_binding_vec): New.

2020-12-01  Ville Voutilainen  <ville.voutilainen@gmail.com>

        PR c++/98054
        * cxx-pretty-print.c (pp_cxx_trait_expression):
        Add support for __is_nothrow_{assignable,constructible}.

2020-12-01  Jakub Jelinek  <jakub@redhat.com>

        PR c++/98072
        * parser.c (cp_parser_omp_depobj): Suppress location wrappers when
        parsing depend clause.

2020-12-01  Nathan Sidwell  <nathan@acm.org>

        * lex.c (init_reswords): Maybe enable module keywords.

2020-12-01  Nathan Sidwell  <nathan@acm.org>

        * lang-specs.h: Add module-related options.

2020-12-01  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_declaration): Add a not about where
        attributes may be placed.

2020-11-27  Martin Sebor  <msebor@redhat.com>

        * error.c (add_quotes): Revert previous change and use pragma to
        suppress -Wformat-diag.

2020-11-26  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>

        * g++spec.c (TIMELIB, TIME_LIBRARY): Remove.
        (lang_specific_driver): Remove TIME_LIBRARY handling.

2020-11-26  Thomas Schwinge  <thomas@codesourcery.com>

        * parser.c (cp_parser_omp_var_list_no_open): Assert that array
        section's 'low_bound', 'length' are not location wrapper nodes.
        (cp_parser_oacc_all_clauses, cp_parser_oacc_cache): Instantiate
        'auto_suppress_location_wrappers'.

2020-11-25  Martin Sebor  <msebor@redhat.com>

        PR bootstrap/94982
        * constraint.cc (debug_argument_list): Avoid -Wformat-diag.
        * error.c (function_category): Same.
        (print_template_differences): Same.
        * logic.cc (debug): Same.
        * name-lookup.c (lookup_using_decl): Same.
        * parser.c (maybe_add_cast_fixit): Same.
        (cp_parser_template_introduction): Same.
        * typeck.c (access_failure_info::add_fixit_hint): Same.

2020-11-25  Thomas Schwinge  <thomas@codesourcery.com>

        * pt.c (tsubst_omp_clauses): Handle 'OMP_CLAUSE__CACHE_'.
        (tsubst_expr): Handle 'OACC_CACHE'.

2020-11-24  Jason Merrill  <jason@redhat.com>

        PR c++/97899
        * typeck2.c (store_init_value): Don't split_nonconstant_init in a
        template.

2020-11-24  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/96929
        * constexpr.c (cxx_eval_binary_expression): For shifts by constant
        with MSB set, emulate older wide_int_binop behavior to preserve
        diagnostics and -fpermissive behavior.

2020-11-23  Nathan Sidwell  <nathan@acm.org>

        * module.cc: New dummy file.
        * Make-lang.in: Add rules to build module.o

2020-11-23  Jozef Lawrynowicz  <jozef.l@mittosystems.com>

        * decl.c (start_decl): Set DECL_INITIAL for initialized decls
        before attribute processing.

2020-11-23  Richard Sandiford  <richard.sandiford@arm.com>

        PR c++/97904
        * pt.c (tsubst): Use verify_type_context to check the type
        of an array element.

2020-11-21  Marek Polacek  <polacek@redhat.com>

        PR c++/94695
        * parser.c (warn_for_range_copy): Warn when the loop variable is
        initialized with a value of a different type resulting in a copy.

2020-11-21  Marek Polacek  <polacek@redhat.com>

        PR c++/97846
        * constexpr.c (potential_constant_expression_1): Reject
        LABEL_EXPRs that use non-artifical LABEL_DECLs.

2020-11-21  Marek Polacek  <polacek@redhat.com>

        PR c++/97881
        * parser.c (warn_about_ambiguous_parse): Only assume "int" if we
        actually saw any type-specifiers.

2020-11-21  Marek Polacek  <polacek@redhat.com>

        PR c++/97839
        * parser.c (cp_parser_lambda_declarator_opt): Don't require ().

2020-11-21  Marek Polacek  <polacek@redhat.com>

        PR c++/97427
        * constexpr.c (cxx_set_object_constness): New function.
        (cxx_eval_call_expression): Set new_obj for destructors too.
        Call cxx_set_object_constness to set/unset TREE_READONLY of
        the object under construction/destruction.

2020-11-21  Aaron Sawdey  <acsawdey@linux.ibm.com>

        * error.c (dump_type): Handle opaque types.
        (dump_type_prefix): Handle opaque types.
        (dump_type_suffix): Handle opaque types.
        (dump_expr): Handle opaque types.
        * pt.c (tsubst): Allow opaque types in templates.
        (unify): Allow opaque types in templates.
        * typeck.c (structural_comptypes): Handle comparison
        of opaque types.

2020-11-20  Jakub Jelinek  <jakub@redhat.com>

        PR other/97911
        * Make-lang.in (c++.serial): Change from goal to a variable.
        (.PHONY): Drop c++.serial and c++.prev.
        (cc1plus$(exeext)): Depend on $(c++.serial) rather than c++.serial.

2020-11-19  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct spec_entry): Moved from pt.c.
        (walk_specializations, match_mergeable_specialization)
        (get_mergeable_specialization_flags)
        (add_mergeable_specialization): Declare.
        * pt.c (struct spec_entry): Moved to cp-tree.h.
        (walk_specializations, match_mergeable_specialization)
        (get_mergeable_specialization_flags)
        (add_mergeable_specialization): New.

2020-11-19  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct constexpr_fundef): Moved from constexpr.c.
        (maybe_save_constexpr_fundef): Declare.
        (register_constexpr_fundef): Take constexpr_fundef object, return
        void.
        * decl.c (mabe_save_function_definition): Delete, functionality
        moved to maybe_save_constexpr_fundef.
        (emit_coro_helper, finish_function): Adjust.
        * constexpr.c (struct constexpr_fundef): Moved to cp-tree.h.
        (constexpr_fundef_hasher::equal): Constify.
        (constexpr_fundef_hasher::hash): Constify.
        (retrieve_constexpr_fundef): Make non-static.
        (maybe_save_constexpr_fundef): Break out checking and duplication
        from ...
        (register_constexpr_fundef): ... here.  Just register the constexpr.

2020-11-19  Marek Polacek  <polacek@redhat.com>

        PR c++/97523
        * init.c (build_new): When value-initializing an array new,
        leave the INIT as an empty vector.

2020-11-19  Marek Polacek  <polacek@redhat.com>

        PR c++/97895
        * pt.c (do_auto_deduction): Don't crash when the constructor has
        zero elements.

2020-11-19  Nathan Sidwell  <nathan@acm.org>

        PR c++/97905
        * decl.c (duplicate_decls): Relax new assert.

2020-11-18  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_objc_valid_prefix_attributes): Check
        for empty attributes.

2020-11-18  Jakub Jelinek  <jakub@redhat.com>

        * Make-lang.in (c++.serial): New goal.
        (.PHONY): Add c++.serial c++.prev.
        (cc1plus$(exeext)): Depend on c++.prev.  Call LINK_PROGRESS.

2020-11-17  Nathan Sidwell  <nathan@acm.org>

        PR c++/97877
        * decl.c (duplicate_decls): Deal with duplicated DECL_LOCAL_DECL_P
        decls.  Extend decl_lang_specific checking assert.

2020-11-17  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (enum cp_tree_index): Reorder to place lazy fields
        after newly-added CPTI_MODULE_HWM.

2020-11-17  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/97871
        * parser.c (cp_parser_declaration): Remove checking assert.

2020-11-15  Jason Merrill  <jason@redhat.com>

        * decl.c (cp_finish_decl): Only check abstractness on definition.
        (require_complete_types_for_parms): Check abstractness here.
        (create_array_type_for_decl): Not here.
        (grokdeclarator, grokparms, complete_vars): Not here.
        * pt.c (tsubst, tsubst_arg_types, tsubst_function_type): Not here.
        * typeck2.c (struct pending_abstract_type): Remove.
        (struct abstract_type_hasher): Remove.
        (abstract_pending_vars, complete_type_check_abstract): Remove.
        (abstract_virtuals_error_sfinae): Handle arrays.
        * call.c (conv_is_prvalue): Split out from...
        (conv_binds_ref_to_prvalue): ...here.
        (implicit_conversion_1): Rename from implicit_conversion.
        (implicit_conversion): An abstract prvalue is bad.
        (convert_like_internal): Don't complain if expr is already
        error_mark_node.

2020-11-13  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (USING_DECL_UNRELATED_P): New.
        (CONST_DECL_USING_P): New.
        * class.c (handle_using_decl): If USING_DECL_UNRELATED_P,
        clone the CONST_DECL.
        * name-lookup.c (supplement_binding_1): A clone hides its
        using-declaration.
        (lookup_using_decl): Rewrite to separate lookup and validation.
        (do_class_using_decl): Adjust.
        (finish_nonmember_using_decl): Adjust.
        * parser.c (make_location): Add cp_token overload.
        (finish_using_decl): Split out from...
        (cp_parser_using_declaration): ...here.  Don't look through enums.
        (cp_parser_using_enum): New.
        (cp_parser_block_declaration): Call it.
        (cp_parser_member_declaration): Call it.
        * semantics.c (finish_id_expression_1): Handle enumerator
        used from class scope.

2020-11-13  Vladimir N. Makarov  <vmakarov@redhat.com>

        * parser.c (cp_parser_asm_definition): Parse outputs for asm
        goto too.

2020-11-13  Iain Sandoe  <iain@sandoe.co.uk>

        PR objc/77404
        * parser.c (cp_parser_objc_class_interface): Pass the
        location of the class name to the interface declaration.

2020-11-13  Patrick Palka  <ppalka@redhat.com>

        * semantics.c (finish_compound_literal): Don't wrap the original
        compound literal in a TARGET_EXPR when inside a template.

2020-11-12  Jakub Jelinek  <jakub@redhat.com>

        PR c++/97790
        * constexpr.c (cxx_eval_constant_expression) <case CLEANUP_POINT_EXPR,
        case TRY_FINALLY_EXPR, case CLEANUP_STMT>: Don't pass jump_target to
        cxx_eval_constant_expression when evaluating the cleanups.

2020-11-11  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_declaration): Unless we are compiling for
        Ojective-C++, warn about and discard any attributes that prefix
        a linkage specification.

2020-11-11  Patrick Palka  <ppalka@redhat.com>

        PR c++/88115
        * mangle.c (write_expression): Mangle __alignof_ differently
        from alignof when the ABI version is at least 15.

2020-11-11  Patrick Palka  <ppalka@redhat.com>

        PR c++/88115
        * cp-tree.h (cxx_sizeof_or_alignof_expr): Add bool parameter.
        * decl.c (fold_sizeof_expr): Pass false to
        cxx_sizeof_or_alignof_expr.
        * parser.c (cp_parser_unary_expression): Pass std_alignof to
        cxx_sizeof_or_alignof_expr.
        * pt.c (tsubst_copy): Pass false to cxx_sizeof_or_alignof_expr.
        (tsubst_copy_and_build): Pass std_alignof to
        cxx_sizeof_or_alignof_expr.
        * typeck.c (cxx_alignof_expr): Add std_alignof bool parameter
        and pass it to cxx_sizeof_or_alignof_type.  Set ALIGNOF_EXPR_STD_P
        appropriately.
        (cxx_sizeof_or_alignof_expr): Add std_alignof bool parameter
        and pass it to cxx_alignof_expr.  Assert op is either
        SIZEOF_EXPR or ALIGNOF_EXPR.

2020-11-11  Marek Polacek  <polacek@redhat.com>

        PR c++/97518
        * pt.c (tsubst_qualified_id): Use EXPR_LOCATION of the qualified-id.
        Use it to maybe_wrap_with_location the final expression.

2020-11-10  Marek Polacek  <polacek@redhat.com>

        PR c++/97518
        * cp-tree.h (finish_static_assert): Adjust declaration.
        * parser.c (cp_parser_static_assert): Pass false to
        finish_static_assert.
        * pt.c (tsubst_expr): Pass true to finish_static_assert.
        * semantics.c (find_failing_clause_r): New function.
        (find_failing_clause): New function.
        (finish_static_assert): Add a bool parameter.  Use
        iloc_sentinel.  Call contextual_conv_bool instead of
        perform_implicit_conversion_flags.  Don't check for INTEGER_CST before
        calling integer_zerop.  Call find_failing_clause and maybe use its
        location.  Print the original condition or the failing clause if
        SHOW_EXPR_P.

2020-11-10  Strager Neds  <strager.nds@gmail.com>

        * decl.c (duplicate_decls): Use new overload of
        set_decl_section_name.
        * method.c (use_thunk): Same.
        * optimize.c (maybe_clone_body): Same.
        * coroutines.cc (act_des_fn): Same.

2020-11-10  Jakub Jelinek  <jakub@redhat.com>

        PR c/97748
        * cvt.c (convert_to_void): Check (complain & tf_warning) in the outer
        if rather than twice times in the inner one.  Use warn_if_unused_value.
        Formatting fix.

2020-11-10  Chung-Lin Tang  <cltang@codesourcery.com>

        * parser.c (cp_parser_omp_target_data): Add use of
        new c_omp_adjust_map_clauses function. Add GOMP_MAP_ATTACH_DETACH as
        handled map clause kind.
        (cp_parser_omp_target_enter_data): Likewise.
        (cp_parser_omp_target_exit_data): Likewise.
        (cp_parser_omp_target): Likewise.
        * semantics.c (handle_omp_array_sections): Adjust COMPONENT_REF case to
        use GOMP_MAP_ATTACH_DETACH map kind for C_ORT_OMP region type. Fix
        interaction between reference case and attach/detach.
        (finish_omp_clauses): Adjust bitmap checks to allow struct decl and
        same struct field access to co-exist on OpenMP construct.

2020-11-09  Marek Polacek  <polacek@redhat.com>

        DR 1914
        * parser.c (cp_parser_check_std_attribute): Return bool.  Add a
        location_t parameter.  Return true if the attribute wasn't duplicated.
        Give a warning instead of an error.  Check more attributes.
        (cp_parser_std_attribute_list): Don't add duplicated attributes to
        the list.  Pass location to cp_parser_check_std_attribute.

2020-11-09  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (norm_info::norm_info): Initialize orig_decl.
        (norm_info::orig_decl): New data member.
        (normalize_atom): When caching an atom for the first time,
        compute a list of template parameters used in the targets of the
        parameter mapping and store it in the TREE_TYPE of the mapping.
        (get_normalized_constraints_from_decl): Set current_function_decl
        appropriately when normalizing.  As an optimization, don't
        set up a push_nested_class_guard when decl has no constraints.
        (sat_hasher::hash): Use this list to hash only the template
        arguments that are relevant to the atom.
        (satisfy_atom): Use this list to compare only the template
        arguments that are relevant to the atom.
        * pt.c (keep_template_parm): Do a sanity check on the parameter's
        index when flag_checking.

2020-11-09  Patrick Palka  <ppalka@redhat.com>

        * cp-tree.h (ATOMIC_CONSTR_MAP_INSTANTIATED_P): Define this flag
        for ATOMIC_CONSTRs.
        * constraint.cc (sat_hasher::hash): Use hash_atomic_constraint
        if the flag is set, otherwise keep using a pointer hash.
        (sat_hasher::equal): Return false if the flag's setting differs
        on two atoms.  Call atomic_constraints_identical_p if the flag
        is set, otherwise keep using a pointer equality test.
        (satisfy_atom): After instantiating the parameter mapping, form
        another ATOMIC_CONSTR using the instantiated mapping and query
        the cache again.  Cache the satisfaction value of both atoms.
        (diagnose_atomic_constraint): Simplify now that the supplied
        atom has an instantiated mapping.

2020-11-09  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (atom_cache): Define this deletable hash_table.
        (normalize_atom): Use it to cache ATOMIC_CONSTRs when not
        generating diagnostics.
        (sat_hasher::hash): Use htab_hash_pointer instead of
        hash_atomic_constraint.
        (sat_hasher::equal): Test for pointer equality instead of
        atomic_constraints_identical_p.
        * cp-tree.h (struct atom_hasher): Moved and renamed from ...
        * logic.cc (struct constraint_hash): ... here.
        (clause::m_set): Adjust accordingly.

2020-11-09  Patrick Palka  <ppalka@redhat.com>

        PR c++/93907
        * constraint.cc (tsubst_parameter_mapping): Also canonicalize
        the type arguments of a TYPE_ARGUMENT_PACk.

2020-11-09  Jason Merrill  <jason@redhat.com>

        * pt.c (tsubst): Replace *_ARGUMENT_PACK code with
        a call to tsubst_argument_pack.

2020-11-09  Jason Merrill  <jason@redhat.com>

        * class.c (handle_using_decl): Add an iloc_sentinel.

2020-11-09  Marek Polacek  <polacek@redhat.com>

        PR c++/97762
        * parser.c (warn_about_ambiguous_parse): Handle the case when
        there is no type in the decl-specifiers.

2020-11-09  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (LOOKUP_FOUND_P): Add ENUMERAL_TYPE.
        * name-lookup.c (class name_lookup): Add comments.
        (name_lookup::adl_namespace_only): Replace with ...
        (name_lookup::adl_class_fns): ... this and ...
        (name_lookup::adl_namespace_fns): ... this.
        (name_lookup::adl_namespace): Deal with inline nests here.
        (name_lookup::adl_class): Complete the type here.
        (name_lookup::adl_type): Call broken-out enum ..
        (name_lookup::adl_enum): New.  No need to call the namespace adl
        if it is class-scope.
        (name_lookup::search_adl): Iterate over collected scopes here.

2020-11-09  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (lookup_qualified_name): Expose an overload of a
        singleton with known type.
        (lookup_name_1): Just check the overload's type to expose it.
        * parser.c (cp_parser_lookup_name): Do not do that check here.

2020-11-08  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_objc_at_property_declaration): Handle
        class keywords in @property attribute context.

2020-11-06  Marek Polacek  <polacek@redhat.com>

        PR c++/81660
        * except.c (can_convert_eh): Change the return type to bool.  If
        the type TO and FROM are the same, return true.

2020-11-06  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_objc_at_property_declaration):
        Improve parsing fidelity. Associate better location info
        with @property attributes.  Clean up the interface to
        objc_add_property_declaration ().

2020-11-06  Jakub Jelinek  <jakub@redhat.com>

        PR c++/67453
        * decl.c (duplicate_decls): Propagate DECL_ATTRIBUTES and
        DECL_PRESERVE_P from olddecl to its clones if any.

2020-11-06  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_UNDECLARED_BUILTIN_P): Delete.
        * cp-objcp-common.c (names_bultin_p): Rename
        DECL_IS_BUILTIN->DECL_IS_UNDECLARED_BUILTIN.
        * decl.c (decls_match): Likewise.  Replace
        DECL_UNDECLARED_BUILTIN_P with DECL_IS_UNDECLARED_BUILTIN.
        (duplicate_decls): Likewise.
        * decl2.c (collect_source_refs): Likewise.
        * name-lookup.c (anticipated_builtin_p, print_binding_level)
        (do_nonmember_using_decl): Likewise.
        * pt.c (builtin_pack_fn_p): Likewise.
        * typeck.c (error_args_num): Likewise.

2020-11-06  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_template_declaration): Adjust 'export' warning.
        (cp_parser_explicit_specialization): Remove unneeded bool setting.

2020-11-06  Jan Hubicka  <jh@suse.cz>

        * tree.c (cp_fix_function_decl_p): Do not access ipa_ref_list dirrectly.

2020-11-06  Tobias Burnus  <tobias@codesourcery.com>

        * parser.c (cp_parser_omp_atomic): Add openacc parameter and update
        OpenACC matching.
        (cp_parser_omp_construct): Update call.

2020-11-05  Marek Polacek  <polacek@redhat.com>

        * except.c (check_handlers_1): Add auto_diagnostic_group.

2020-11-05  Marek Polacek  <polacek@redhat.com>

        PR c++/78209
        * pt.c (do_auto_deduction): If init is REFERENCE_REF_P, use its
        first operand.

2020-11-05  Marek Polacek  <polacek@redhat.com>

        PR c++/97675
        * except.c (check_handlers_1): Use OPT_Wexceptions for the
        warning.  Use inform for the second part of the warning.

2020-11-05  Marek Polacek  <polacek@redhat.com>

        PR c++/25814
        * cp-tree.h (enum cp_tree_index): Add CPTI_EXPLICIT_VOID_LIST.
        (explicit_void_list_node): Define.
        (PARENTHESIZED_LIST_P): New macro.
        (struct cp_declarator): Add function::parens_loc.
        * decl.c (cxx_init_decl_processing): Initialize explicit_void_list_node.
        (grokparms): Also break when explicit_void_list_node.
        * parser.c (make_call_declarator): New location_t parameter.  Use it
        to set declarator->u.function.parens_loc.
        (cp_parser_lambda_declarator_opt): Pass UNKNOWN_LOCATION to
        make_call_declarator.
        (warn_about_ambiguous_parse): New function.
        (cp_parser_init_declarator): Call warn_about_ambiguous_parse.
        (cp_parser_declarator): Set *parenthesized_p to false rather than to
        true.
        (cp_parser_direct_declarator): Create a location for the function's
        parentheses and pass it to make_call_declarator.
        (cp_parser_parameter_declaration_clause): Return explicit_void_list_node
        for (void).
        (cp_parser_parameter_declaration_list): Set PARENTHESIZED_LIST_P
        in the parameters tree.

2020-11-04  Jakub Jelinek  <jakub@redhat.com>

        PR c++/97670
        * semantics.c (finish_omp_clauses): Look through array reductions to
        find underlying decl to clear in the aligned_head bitmap.  Use
        DECL_UID (t) instead of DECL_UID (OMP_CLAUSE_DECL (c)) when clearing
        in the bitmap.  Only diagnose errors about allocate vars not being
        privatized on the same construct on allocate clause if it has
        a DECL_P OMP_CLAUSE_DECL.

2020-11-04  Iain Sandoe  <iain@sandoe.co.uk>

        * constexpr.c (potential_constant_expression_1): Handle
        expressions known to be non-constant for Objective-C.

2020-11-03  Jason Merrill  <jason@redhat.com>

        * tree.c (is_byte_access_type): Don't use char_type_p.

2020-11-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/97663
        * parser.c (cp_parser_init_declarator): Don't try to parse
        C++17 deduction guides if there are any type specifiers even when
        type is NULL.

2020-11-03  Kamlesh Kumar  <kamleshbhalui@gmail.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/97453
        DR2303
        * pt.c (get_template_base): Consider closest base in template
        deduction when base of base also matches.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * pt.c (tsubst_expr): Simplify using decl instantiation, add
        asserts.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * class.c (copy_fndecl_with_name):  Always not top level.
        (build_cdtor_clones): Add update_methods parm, use it to
        conditionally update the method vec.  Return void
        (clone_cdtor): Adjust.
        (clone_constructors_and_destructors): Adjust comment.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * pt.c (primary_template_specialization_p): Use
        VAR_OR_FUNCTION_DECL_P.
        (tsubst_template_decl): Check for FUNCTION_DECL, not !TYPE && !VAR
        for registering a specialization.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (fixup_deferred_exception_variants): Declare.
        * parser.c (cp_parser_class_specifier_1): Call it when
        completing deferred parses rather than creating a variant.
        (cp_parser_member_declaration): Move comment from ...
        (cp_parser_noexcept_specification_opt): ... here.  Refactor the
        deferred parse.
        * tree.c (fixup_deferred_exception_variants): New.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * pt.c (tsubst_lambda_expr): Reorder extra-scope handling to match
        the non-template case.
        (instantiate_body): Move a couple of declarations to their
        initializers.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * decl.c (duplicate_decls): Return error_mark_node fo extern-c
        mismatch.

2020-11-03  Marek Polacek  <polacek@redhat.com>

        * constexpr.c (potential_constant_expression_1): Treat
        __PRETTY_FUNCTION__ inside a template function as
        potentially-constant.
        * pt.c (uses_template_parms): Call
        instantiation_dependent_expression_p instead of
        value_dependent_expression_p.
        (instantiation_dependent_expression_p): Check
        potential_constant_expression before calling
        value_dependent_expression_p.

2020-11-03  Marek Polacek  <polacek@redhat.com>

        PR c++/97632
        * init.c (build_new_1): Disable -Winit-list-lifetime for an unevaluated
        operand.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * tree.c (bind_template_template_parm): Mark the parm as a
        template parm.
        (cp_tree_equal): Refactor CALL_EXPR.  Use comp_template_args for
        TREE_VECs.

2020-11-03  Nathan Sidwell  <nathan@acm.org>

        * rtti.c (init_rtti_processing): Move var decl to its init.
        (get_tinfo_decl): Likewise.  Break out creation to called helper
        ...
        (get_tinfo_decl_direct): ... here.
        (build_dynamic_cast_1): Move var decls to their initializers.
        (tinfo_base_init): Set decl's location to BUILTINS_LOCATION.
        (get_tinfo_desc): Only push ABI namespace when needed.  Set type's
        context.

2020-11-02  Nathan Sidwell  <nathan@acm.org>

        * decl.c (start_decl_1): Refactor declarations.  Fixup some
        whitespace.
        (lookup_and_check_tag): Fixup some whitespace.

2020-11-02  Nathan Sidwell  <nathan@acm.org>

        * decl.c (duplicate_decls): Refactor some template & builtin
        handling.

2020-11-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct cxx_int_tree_map): Delete.
        (struct cxx_int_tree_map_hasher): Delete.
        * cp-gimplify.c (cxx_int_tree_map_hasher::equal): Delete.
        (cxx_int_tree_map_hasher::hash): Delete.

2020-11-02  Patrick Palka  <ppalka@redhat.com>

        * class.c (finish_struct_1): Don't call clear_satisfaction_cache.
        * constexpr.c (clear_cv_and_fold_caches): Likewise.  Remove bool
        parameter.
        * constraint.cc (clear_satisfaction_cache): Remove definition.
        * cp-tree.h (clear_satisfaction_cache): Remove declaration.
        (clear_cv_and_fold_caches): Remove bool parameter.
        * typeck2.c (store_init_value): Remove argument to
        clear_cv_and_fold_caches.

2020-11-01  Iain Sandoe  <iain@sandoe.co.uk>

        * parser.c (cp_parser_objc_at_property_declaration): Use any
        exisiting syntax error to suppress complaints about a missing
        closing parenthesis in parsing property attributes.

2020-10-30  Jakub Jelinek  <jakub@redhat.com>

        * semantics.c (finish_omp_clauses) <case OMP_CLAUSE_ALLOCATE>: Handle
        non-static members in methods.
        * pt.c (tsubst_omp_clauses): Handle OMP_CLAUSE_ALLOCATE.

2020-10-29  Marek Polacek  <polacek@redhat.com>

        DR 625
        PR c++/97479
        * parser.c (cp_parser_type_id_1): Reject using auto as
        a template-argument in C++20.

2020-10-29  Marek Polacek  <polacek@redhat.com>

        PR c++/93107
        * pt.c (do_auto_deduction): Call resolve_nondeduced_context for
        the elements of a { } list.

2020-10-29  Marek Polacek  <polacek@redhat.com>

        * typeck.c (do_warn_enum_conversions): Don't warn for SPACESHIP_EXPR.
        (cp_build_binary_op): Reject float <=> enum or enum <=> float.  Use
        CP_INTEGRAL_TYPE_P instead of INTEGRAL_OR_ENUMERATION_TYPE_P.

2020-10-29  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (get_normalized_constraints): Remove 'args'
        parameter.  Pass NULL_TREE as the initial template arguments to
        normalize_expression.
        (get_normalized_constraints_from_info): Remove 'args' parameter
        and adjust the call to get_normalized_constraints.
        (get_normalized_constraints_from_decl): Remove 'args' local
        variable and adjust call to get_normalized_constraints_from_info.
        (normalize_concept_definition): Remove 'args' local variable
        and adjust call to get_normalized_constraints.
        (normalize_constraint_expression): Remove the two-parameter
        overload.  Remove 'args' parameter from the three-parameter
        overload and update function comment accordingly.  Remove
        default argument from 'diag' parameter.  Adjust call to
        get_normalized_constraints.
        (finish_nested_requirement): Adjust call to
        normalize_constraint_expression.
        (strictly_subsumes): Remove 'args' parameter.  Adjust call to
        get_normalized_constraints_from_info.
        (weakly_subsumes): Likewise.
        * cp-tree.h (strictly_subsumes): Remove 'args' parameter.
        (weakly_subsumes): Likewise.
        * pt.c (process_partial_specialization): Adjust call to
        strictly_subsumes.
        (is_compatible_template_arg): Adjust call to weakly_subsumes.

2020-10-29  Patrick Palka  <ppalka@redhat.com>

        PR c++/97412
        * constraint.cc (normalize_concept_check): Don't call
        tsubst_template_args when 'args' is NULL.

2020-10-29  Jason Merrill  <jason@redhat.com>

        PR c++/97388
        * constexpr.c (cxx_eval_outermost_constant_expr): Revert to
        original expression if evaluation sets non_constant_p.

2020-10-29  Jakub Jelinek  <jakub@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/97388
        * constexpr.c (cxx_bind_parameters_in_call): Set non_constant_args
        if the parameter type has a non-trivial destructor.
        (cxx_eval_call_expression): Only unshare arguments if we're
        memoizing this evaluation.

2020-10-29  Jakub Jelinek  <jakub@redhat.com>

        PR c++/95808
        * cp-tree.h (enum cp_tree_index): Add CPTI_HEAP_VEC_UNINIT_IDENTIFIER
        and CPTI_HEAP_VEC_IDENTIFIER.
        (heap_vec_uninit_identifier, heap_vec_identifier): Define.
        * decl.c (initialize_predefined_identifiers): Initialize those
        identifiers.
        * constexpr.c (cxx_eval_call_expression): Reject array allocations
        deallocated with non-array deallocation or non-array allocations
        deallocated with array deallocation.
        (non_const_var_error): Handle heap_vec_uninit_identifier and
        heap_vec_identifier too.
        (cxx_eval_constant_expression): Handle also heap_vec_uninit_identifier
        and in that case during initialization replace it with
        heap_vec_identifier.
        (find_heap_var_refs): Handle heap_vec_uninit_identifier and
        heap_vec_identifier too.

2020-10-29  Nathan Sidwell  <nathan@acm.org>

        * pt.c (push_template_decl): Do not give function-scope entities
        other than implicit typedefs a template header. Do not readd
        template info to a redeclared template.

2020-10-28  Marek Polacek  <polacek@redhat.com>

        * decl.c (grokdeclarator): Offer a fix-it hint for the "unnecessary
        parentheses in declaration" warning.
        * parser.c (cp_parser_direct_declarator): When setting
        declarator->parenthesized, use a location range.

2020-10-28  Marek Polacek  <polacek@redhat.com>

        PR c++/97573
        * call.c (build_conditional_expr_1): Warn about the deprecated
        enum/real type conversion in C++20.  Also warn about a non-enumerated
        and enumerated type in ?: when -Wenum-conversion is on.
        * typeck.c (do_warn_enum_conversions): New function.
        (cp_build_binary_op): Call it.

2020-10-28  Marek Polacek  <polacek@redhat.com>

        PR c++/96675
        PR c++/96742
        * pt.c (tsubst_copy_and_build): Call value_dependent_expression_p or
        type_dependent_expression_p instead of type_dependent_expression_p_push.
        But only call value_dependent_expression_p for expressions that are
        potential_constant_expression.

2020-10-28  Marek Polacek  <polacek@redhat.com>

        PR c++/94799
        * parser.c (cp_parser_class_name): Use parser->scope when
        setting typename_p.

2020-10-28  Marek Polacek  <polacek@redhat.com>

        PR c++/86773
        * parser.c (cp_parser_fold_expression): Return error_mark_node
        if a left fold is preceded by an expression.

2020-10-28  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_omp_declare_reduction): Set
        DECL_LOCAL_DECL_P before push_template_decl.
        * pt.c (instantiate_body): Nested fns do not have template_info.

2020-10-28  Patrick Palka  <ppalka@redhat.com>

        PR c++/95132
        * decl2.c (mark_used): Move up the constraints_satisfied_p check
        so that we check constraints before calling maybe_instantiate_decl.

2020-10-28  Nathan Sidwell  <nathan@acm.org>

        * pt.c (push_template_decl): Refactor for some RAII.

2020-10-28  Jakub Jelinek  <jakub@redhat.com>

        * parser.c (cp_parser_omp_clause_name): Handle allocate.
        (cp_parser_omp_clause_allocate): New function.
        (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_ALLOCATE.
        (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
        OMP_PARALLEL_CLAUSE_MASK, OMP_SINGLE_CLAUSE_MASK,
        OMP_TASK_CLAUSE_MASK, OMP_TASKGROUP_CLAUSE_MASK,
        OMP_DISTRIBUTE_CLAUSE_MASK, OMP_TEAMS_CLAUSE_MASK,
        OMP_TARGET_CLAUSE_MASK, OMP_TASKLOOP_CLAUSE_MASK): Add
        PRAGMA_OMP_CLAUSE_ALLOCATE.
        * semantics.c (finish_omp_clauses): Handle OMP_CLAUSE_ALLOCATE.
        * pt.c (tsubst_omp_clauses): Likewise.

2020-10-27  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct lang_type): Delete nested_udts field.
        (CLASSTYPE_NESTED_UTDS): Delete.
        * name-lookup.h (binding_table, binding_entry): Delete typedefs.
        (bt_foreach_proc): Likewise.
        (struct binding_entry_s): Delete.
        (SCOPE_DEFAULT_HT_SIZE, CLASS_SCOPE_HT_SIZE)
        (NAMESPACE_ORDINARY_HT_SIZE, NAMESPACE_STD_HT_SIZE)
        (GLOBAL_SCOPE_HT_SIZE): Delete.
        (binding_table_foreach, binding_table_find): Delete declarations.
        * name-lookup.c (ENTRY_INDEX): Delete.
        (free_binding_entry): Delete.
        (binding_entry_make, binding_entry_free): Delete.
        (struct binding_table_s): Delete.
        (binding_table_construct, binding_table_free): Delete.
        (binding_table_new, binding_table_expand): Delete.
        (binding_table_insert, binding_table_find): Delete.
        (binding_table_foreach): Delete.
        (maybe_process_template_type_declaration): Delete
        CLASSTYPE_NESTED_UTDS insertion.
        (do_pushtag): Likewise.
        * decl2.c (bt_reset_linkage_1): Fold into reset_type_linkage_1.
        (reset_type_linkage_2, bt_reset_linkage_2): Fold into
        reset_type_linkage.
        * pt.c (instantiate_class_template_1): Delete NESTED_UTDs comment.
        (bt_instantiate_type_proc): Delete.
        (do_type_instantiation): Instantiate implicit typedef fields.
        Delete NESTED_UTD walk.
        * search.c (lookup_field_r): Delete unreachable NESTED_UTD
        search.

2020-10-27  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_explicit_instantiation): Refactor some RAII.
        * pt.c (bt_instantiate_type_proc): DATA is the tree, pass type to
        do_type_instantiation.
        (do_type_instantiation): Require T to be a type.  Refactor for
        some RAII.

2020-10-26  Ville Voutilainen  <ville.voutilainen@gmail.com>

        * cp-tree.h (CPTK_IS_NOTHROW_ASSIGNABLE): New.
        (CPTK_IS_NOTHROW_CONSTRUCTIBLE): Likewise.
        (is_nothrow_xible): Likewise.
        * method.c (is_nothrow_xible): New.
        (is_trivially_xible): Tweak.
        * parser.c (cp_parser_primary_expression): Handle the new RID_*.
        (cp_parser_trait_expr): Likewise.
        * semantics.c (trait_expr_value): Handle the new RID_*.
        (finish_trait_expr): Likewise.

2020-10-24  Marek Polacek  <polacek@redhat.com>

        PR c++/96241
        * constexpr.c (cxx_eval_array_reference): Set up ctx->ctor if we
        are initializing an aggregate.  Call free_constructor on the new
        CONSTRUCTOR if it isn't returned from cxx_eval_constant_expression.

2020-10-23  Marek Polacek  <polacek@redhat.com>

        PR c++/91741
        * typeck.c (cp_build_binary_op): Implement -Wsizeof-array-div.

2020-10-22  Patrick Palka  <ppalka@redhat.com>

        PR c++/97328
        * constexpr.c (init_subob_ctx): Don't punt on RANGE_EXPR
        indexes, instead build a sub-aggregate initialization context
        with no subobject.

2020-10-22  Patrick Palka  <ppalka@redhat.com>

        PR c++/96575
        * constexpr.c (cxx_eval_constant_expression)
        <case EMPTY_CLASS_EXPR>: Lower it to a CONSTRUCTOR.
        (potential_constant_expression_1) <case COMPOUND_EXPR>: Remove
        now-redundant handling of COMPOUND_EXPR with EMPTY_CLASS_EXPR
        second operand.
        <case EMPTY_CLASS_EXPR>: Return true instead of false.

2020-10-22  Patrick Palka  <ppalka@redhat.com>

        PR c++/97511
        * decl.c (duplicate_decls): Return NULL_TREE if
        DECL_TEMPLATE_PARM_P differ.

2020-10-20  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (push_local_extern_decl_alias): Reconstextualize
        alias' parm decls.  Drop any default args.

2020-10-19  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/97438
        * coroutines.cc (struct coroutine_info): Add a field to
        record that we emitted a promise type error.
        (coro_promise_type_found_p): Check for the case that the
        promise type contains both return_void and return_value.
        Emit an error if so, with information about the wrong
        type methods.

2020-10-16  Nathan Sidwell  <nathan@acm.org>

        PR c++/97460
        * pt.c (push_template_decl): Check DECL_LANG_SPECIFIC in friend
        case.

2020-10-16  Nathan Sidwell  <nathan@acm.org>

        PR c++/96258
        * parser.c (cp_parser_declaration): Make token2 point to EOF if
        token1 was EOF.

2020-10-15  Jason Merrill  <jason@redhat.com>

        PR c++/95844
        * decl.c (copy_fn_p): Return false for a function that is neither a
        constructor nor an assignment operator.
        (move_signature_fn_p): Likewise.

2020-10-15  Marek Polacek  <polacek@redhat.com>

        PR c++/97406
        PR c++/85901
        * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Handle OFFSET_TYPE.
        (cxx_pretty_printer::abstract_declarator): Fix the printing of ')'.
        (cxx_pretty_printer::direct_abstract_declarator): Handle OFFSET_TYPE.
        (cxx_pretty_printer::type_id): Likewise.  Print the abstract declarator
        for pointers-to-members.

2020-10-14  Jason Merrill  <jason@redhat.com>

        PR c++/97358
        * pt.c (check_for_bare_parameter_packs): Diagnose use of
        capture pack.

2020-10-14  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct lang_decl_fn): Adjust context comment.
        (DECL_FRIEND_P): Replace with ...
        (DECL_UNIQUE_FRIEND_P): ... this.  Only for FUNCTION_DECLs.
        (DECL_FRIEND_CONTEXT): Adjust.
        * class.c (add_implicitly_declared_members): Detect friendly
        spaceship from context.
        * constraint.cc (remove_constraints): Use a checking assert.
        (maybe_substitute_reqs_for): Use DECL_UNIQUE_FRIEND_P.
        * decl.c (check_no_redeclaration_friend_default_args):
        DECL_UNIQUE_FRIEND_P is signficant, not hiddenness.
        (duplicate_decls): Adjust DECL_UNIQUE_FRIEND_P clearing.
        (redeclaration_error_message): Use DECL_UNIQUE_FRIEND_P.
        (start_preparsed_function): Correct in-class friend processing.
        Refactor some initializers.
        (grokmethod): Directly check friend decl-spec.
        * decl2.c (grokfield): Check DECL_UNIQUE_FRIEND_P.
        * friend.c (do_friend): Set DECL_UNIQUE_FRIEND_P first, remove
        extraneous conditions.  Don't re set it afterwards.
        * name-lookup.c (lookup_elaborated_type_1): Simplify revealing
        code.
        (do_pushtag): Likewise.
        * pt.c (optimize_specialization_lookup_p): Check
        DECL_UNIQUE_FRIEND_P.
        (push_template_decl): Likewise.  Drop unneeded friend setting.
        (type_dependent_expression_p): Check DECL_UNIQUE_FRIEND_P.

2020-10-14  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (push_local_extern_decl_alias): Push into alias's
        namespace and use pushdecl.
        (do_pushdecl_with_scope): Clarify behaviour.

2020-10-12  Martin Sebor  <msebor@redhat.com>

        PR c++/97201
        * error.c (dump_type_suffix): Handle both the C and C++ forms of
        zero-length arrays.

2020-10-12  Martin Sebor  <msebor@redhat.com>

        PR c++/96511
        PR middle-end/96384
        * init.c (warn_placement_new_too_small): Call builtin_objsize instead
        of duplicating what it does.

2020-10-08  Jason Merrill  <jason@redhat.com>

        PR c++/96805
        PR c++/96199
        * pt.c (tsubst_aggr_type): Don't build a TYPENAME_TYPE when
        entering_scope.
        (tsubst_template_decl): Use tsubst_aggr_type.

2020-10-08  Patrick Palka  <ppalka@redhat.com>

        PR c++/97052
        * constraint.cc (build_type_constraint): Temporarily increment
        processing_template_decl before calling build_concept_check.
        * pt.c (make_constrained_placeholder_type): Likewise.

2020-10-08  Patrick Palka  <ppalka@redhat.com>

        PR c++/96229
        * parser.c (cp_parser_class_specifier_1): Move call to
        associate_classtype_constraints from here to ...
        (cp_parser_class_head): ... here.
        * pt.c (is_compatible_template_arg): Correct documentation to
        say "argument is _no_ more constrained than the parameter".

2020-10-07  Marek Polacek  <polacek@redhat.com>

        PR c++/97010
        * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Call
        tsubst_copy_and_build explicitly instead of using the RECUR macro.
        Handle a TEMPLATE_ID_EXPR with an IDENTIFIER_NODE as its operand.
        <case CALL_EXPR>: Perform ADL for a TEMPLATE_ID_EXPR with an
        IDENTIFIER_NODE as its operand.

2020-10-07  Patrick Palka  <ppalka@redhat.com>

        PR c++/88115
        PR libstdc++/97273
        * tree.c (cp_tree_equal) <case ALIGNOF_EXPR>: Return false if
        ALIGNOF_EXPR_STD_P differ.

2020-10-07  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct language_function): Delete extern_decl_map.
        (DECL_LOCAL_DECL_ALIAS): New.
        * name-lookup.h (is_local_extern): Delete.
        * name-lookup.c (set_local_extern_decl_linkage): Replace with ...
        (push_local_extern_decl): ... this new function.
        (do_pushdecl): Call new function after pushing new decl.  Unhide
        hidden non-functions.
        (is_local_extern): Delete.
        * decl.c (layout_var_decl): Do not allow VLA local externs.
        * decl2.c (mark_used): Also mark DECL_LOCAL_DECL_ALIAS. Drop old
        local-extern treatment.
        * parser.c (cp_parser_oacc_declare): Deal with local extern aliases.
        * pt.c (tsubst_expr): Adjust local extern instantiation.
        * cp-gimplify.c (cp_genericize_r): Remap DECL_LOCAL_DECLs.

2020-10-07  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_BUILTIN_P): Rename to ...
        (DECL_UNDECLARED_BUILTIN_P): ... here.
        * decl.c (duplicate_decls): Adjust.
        * name-lookup.c (anticipated_builtin_p): Adjust.
        (do_nonmember_using_decl): Likewise.

2020-10-07  Nathan Sidwell  <nathan@acm.org>

        * tree.c (build_cp_fntype_variant): Clear
        TYPE_DEPENDENT_P_VALID if necessary.

2020-10-06  Marek Polacek  <polacek@redhat.com>

        PR c++/97297
        * parser.c (cp_parser_direct_declarator): When checking if a
        name is a function template declaration for the P0634R3 case,
        look in uninstantiated templates too.

2020-10-05  Marek Polacek  <polacek@redhat.com>

        * cp-tree.h (NON_UNION_CLASS_TYPE_P): Fix typo in a comment.

2020-10-05  Richard Biener  <rguenther@suse.de>
            Jakub Jelinek  <jakub@redhat.com>

        PR c++/97197
        * error.c (dump_expr): Handle TARGET_MEM_REF.

2020-10-05  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (maybe_add_fuzzy_decl): New.
        (maybe_add_fuzzy_binding): New.
        (consider_binding_level): Use intermediate sortable vector for
        namespace bindings.

2020-10-02  Marek Polacek  <polacek@redhat.com>

        PR c++/97014
        * cxx-pretty-print.c (pp_cxx_template_argument_list): If the
        argument is template_parm_object_p, print its DECL_INITIAL.

2020-10-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (lang_decl_base): anticipated_p is not used for
        anticipatedness.
        (DECL_ANTICIPATED): Delete.
        * decl.c (duplicate_decls): Delete DECL_ANTICIPATED_management,
        use was_hidden.
        (cxx_builtin_function): Drop DECL_ANTICIPATED setting.
        (xref_tag_1): Drop DECL_ANTICIPATED assert.
        * name-lookup.c (name_lookup::adl_class_only): Drop
        DECL_ANTICIPATED check.
        (name_lookup::search_adl): Always dedup.
        (anticipated_builtin_p): Reimplement.
        (do_pushdecl): Drop DECL_ANTICIPATED asserts & update.
        (lookup_elaborated_type_1): Drop DECL_ANTICIPATED update.
        (do_pushtag): Drop DECL_ANTICIPATED setting.
        * pt.c (push_template_decl): Likewise.
        (tsubst_friend_class): Likewise.

2020-10-02  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (consider_decl): New, broken out of ...
        (consider_binding_level): ... here.  Iterate the hash table for
        namespace bindings.

2020-10-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (base_ctor_omit_inherited_parms): Declare.
        * class.c (add_method): Refactor main loop, only pass fns to
        ctor_omit_inherited_parms.
        (build_cdtor_clones): Rename bool parms.
        (clone_cdtor): Call base_ctor_omit_inherited_parms.
        * method.c (base_ctor_omit_inherited_parms): New, broken out of
        ...
        (ctor_omit_inherited_parms): ... here, call it with
        DECL_CLONED_FUNCTION.

2020-10-02  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (cp_fname_init): Delete declaration.
        * decl.c (cp_fname_init): Merge into only caller ...
        (cp_make_fname): ... here & refactor.

2020-10-02  Jason Merril  <jason@redhat.com>

        * call.c (build_operator_new_call): Set CALL_FROM_NEW_OR_DELETE_P.
        (build_op_delete_call): Likewise.
        * init.c (build_new_1, build_vec_delete_1, build_delete): Not here.
        (build_delete):

2020-10-02  Jason Merril  <jason@redhat.com>

        * lambda.c (call_from_lambda_thunk_p): New.
        * cp-gimplify.c (cp_genericize_r): Use it.
        * pt.c (tsubst_copy_and_build): Use it.
        * typeck.c (check_return_expr): Use it.
        * cp-tree.h: Declare it.
        (CALL_FROM_NEW_OR_DELETE_P): Move to gcc/tree.h.

2020-10-01  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_ANTICIPATED): Adjust comment.
        (DECL_HIDDEN_P, TYPE_HIDDEN_P): Delete.
        * tree.c (ovl_insert): Delete DECL_HIDDEN_P assert.
        (ovl_skip_hidden): Likewise.

2020-10-01  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (pushdecl_top_level): Assert incoming context is
        null, add global_namespace context.
        (pushdecl_top_level_and_finish): Likewise.
        * pt.c (get_template_parm_object): Clear decl context before
        pushing.
        * semantics.c (finish_compound_literal): Likewise.

2020-10-01  Nathan Sidwell  <nathan@acm.org>

        * decl.c (lookup_and_check_tag): Refactor.

2020-10-01  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96994
        * call.c (build_over_call): If obj_arg is non-NULL, return INIT_EXPR
        setting obj_arg to call.

2020-10-01  Jakub Jelinek  <jakub@redhat.com>

        PR c++/97195
        * constexpr.c (cxx_eval_call_expression): Don't VERIFY_CONSTANT the
        second argument.

2020-10-01  Marek Polacek  <polacek@redhat.com>

        PR c++/90210
        * pt.c (do_class_deduction): Don't prune explicit deduction guides
        in copy-list-initialization.  In copy-list-initialization, if an
        explicit deduction guide was selected, give an error.

2020-09-30  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct lang_decl_fn): Remove hidden_friend_p.
        (DECL_HIDDEN_FRIEND_P): Delete.
        * call.c (add_function_candidate): Drop assert about anticipated
        decl.
        (build_new_op_1): Drop koenig lookup flagging for hidden friend.
        * decl.c (duplicate_decls): Drop HIDDEN_FRIEND_P updating.
        * name-lookup.c (do_pushdecl): Likewise.
        (set_decl_namespace): Discover hiddenness from OVL_HIDDEN_P.
        * pt.c (check_explicit_specialization): Record found_hidden
        explicitly.

2020-09-29  Marek Polacek  <polacek@redhat.com>

        PR c++/94695
        * call.c (ref_conv_binds_directly_p): New function.
        * cp-tree.h (ref_conv_binds_directly_p): Declare.
        * parser.c (warn_for_range_copy): New function.
        (cp_convert_range_for): Call it.

2020-09-29  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (ovl_insert): Change final parm to hidden-or-using
        indicator.
        * name-lookup.h (HIDDEN_TYPE_BINDING_P): New.
        (struct cxx_binding): Add type_is_hidden flag.
        * tree.c (ovl_insert): Change using_p parm to using_or_hidden,
        adjust.
        (ovl_skip_hidden): Assert we never see a naked hidden decl.
        * decl.c (xref_tag_1): Delete unhiding friend from here (moved to
        lookup_elaborated_type_1).
        * name-lookup.c (STAT_TYPE_HIDDEN_P, STAT_DECL_HIDDEN_P): New.
        (name_lookup::search_namespace_only): Check new hidden markers.
        (cxx_binding_make): Clear HIDDEN_TYPE_BINDING_P.
        (update_binding): Update new hidden markers.
        (lookup_name_1): Check HIDDEN_TYPE_BINDING_P and simplify friend
        ignoring.
        (lookup_elaborated_type_1): Use new hidden markers.  Reveal the
        decl here.

2020-09-29  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (create_local_binding): Do not clear
        INHERITED_VALUE_BINDING_P here.
        (name_lookup::process_binding): Move done hidden-decl triage to ...
        (name_lookup::search_namespace_only): ... here, its only caller.
        (cxx_binding_make): Clear flags here.
        (push_binding): Not here.
        (pop_local_binding): RAII.
        (update_binding): Refactor.
        (do_pushdecl): Assert we're never revealing a local binding.
        (do_pushdecl_with_scope): Directly call do_pushdecl.
        (get_class_binding): Do not clear LOCAL_BINDING_P here.
        * pt.c (push_template_decl): Set friend & anticipated before
        pushing.

2020-09-29  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (update_binding): We never meet two implicit
        typedefs.
        (do_pushdecl): Adjust set_identifier_type_value_with_scope calls.
        (set_identifier_type_value_with_scope): Do not update binding in
        the namespace-case.  Assert it is already there.

2020-09-25  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (duplicate_decls): Replace 'is_friend' with 'hiding'
        and add 'was_hidden'.
        * name-lookup.h (pushdecl_namespace_level): Replace 'is_friend'
        with 'hiding'.
        (pushdecl): Likewise.
        (pushdecl_top_level): Drop is_friend parm.
        * decl.c (check_no_redeclaration_friend_default_args): Rename parm
        olddelc_hidden_p.
        (duplicate_decls): Replace 'is_friend' with 'hiding'
        and 'was_hidden'.  Do minimal adjustments in body.
        (cxx_builtin_function): Pass 'hiding' to pushdecl.
        * friend.c (do_friend): Pass 'hiding' to pushdecl.
        * name-lookup.c (supplement_binding_1): Drop defaulted arg to
        duplicate_decls.
        (update_binding): Replace 'is_friend' with 'hiding'.  Drop
        defaulted arg to duplicate_decls.
        (do_pushdecl): Replace 'is_friend' with 'hiding'.  Assert no
        surprise hidhing.  Adjust duplicate_decls calls to inform of old
        decl's hiddennes.
        (pushdecl): Replace 'is_friend' with 'hiding'.
        (set_identifier_type_value_with_scope): Adjust update_binding
        call.
        (do_pushdecl_with_scope): Replace 'is_friend' with 'hiding'.
        (pushdecl_outermost_localscope): Drop default arg to
        do_pushdecl_with_scope.
        (pushdecl_namespace_level): Replace 'is_friend' with 'hiding'.
        (pushdecl_top_level): Drop is_friend parm.
        * pt.c (register_specialization): Comment duplicate_decls call
        args.
        (push_template_decl): Commont pushdecl_namespace_level.
        (tsubst_friend_function, tsubst_friend_class): Likewise.

2020-09-25  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.h (enum tag_scope): Replace with ...
        (enum class TAG_how): ... this.  Add HIDDEN_FRIEND value.
        (lookup_type_scope): Replace with ...
        (lookup_elaborated_type): ... this.
        (pushtag): Use TAG_how, not tag_scope.
        * cp-tree.h (xref_tag): Parameter is TAG_how, not tag_scope.
        * decl.c (lookup_and_check_tag): Likewise.  Adjust.
        (xref_tag_1, xref_tag): Likewise. adjust.
        (start_enum): Adjust lookup_and_check_tag call.
        * name-lookup.c (lookup_type_scope_1): Rename to ...
        (lookup_elaborated_type_1) ... here. Use TAG_how, not tag_scope.
        (lookup_type_scope): Rename to ...
        (lookup_elaborated_type): ... here.  Use TAG_how, not tag_scope.
        (do_pushtag): Use TAG_how, not tag_scope.  Adjust.
        (pushtag): Likewise.
        * parser.c (cp_parser_elaborated_type_specifier): Adjust.
        (cp_parser_class_head): Likewise.

2020-09-25  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_BUILTIN_P): New.
        * decl.c (duplicate_decls): Use it.  Do not treat omp-udr as a
        builtin.
        * name-lookup.c (anticipated_builtin): Use it.
        (set_decl_context_in_fn): Function-scope OMP UDRs have function context.
        (do_nonmember_using_decl): Use DECL_BUILTIN_P.
        * parser.c (cp_parser_omp_declare_reduction): Function-scope OMP
        UDRs have function context.  Assert we never find a valid duplicate.
        * pt.c (tsubst_expr): Function-scope OMP UDRs have function context.

2020-09-24  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (duplicate_decls): Default is_friend to false.
        (xref_tag): Default tag_scope & tpl_header_p to ts_current & false.
        (push_template_decl_real): Default is_friend to false.  Rename to
        ...
        (push_template_decl): ... here.  Delete original decl.
        * name-lookup.h (pushdecl_namespace_level): Default is_friend to
        false.
        (pushtag): Default tag_scope to ts_current.
        * coroutines.cc (morph_fn_to_coro): Drop default args to xref_tag.
        * decl.c (start_decl): Drop default args to duplicate_decls.
        (start_enum): Drop default arg to pushtag & xref_tag.
        (start_preparsed_function): Pass DECL_FRIEND_P to
        push_template_decl.
        (grokmethod): Likewise.
        * friend.c (do_friend): Rename push_template_decl_real calls.
        * lambda.c (begin_lamnbda_type): Drop default args to xref_tag.
        (vla_capture_type): Likewise.
        * name-lookup.c (maybe_process_template_type_declaration): Rename
        push_template_decl_real call.
        (pushdecl_top_level_and_finish): Drop default arg to
        pushdecl_namespace_level.
        * pt.c (push_template_decl_real): Assert no surprising friend
        functions.  Rename to ...
        (push_template_decl): ... here.  Delete original function.
        (lookup_template_class_1): Drop default args from pushtag.
        (instantiate_class_template_1): Likewise.
        * ptree.c (debug_overload): Print hidden and using markers.
        * rtti.c (init_rtti_processing): Drop refault args from xref_tag.
        (build_dynamic_cast_1, tinfo_base_init): Likewise.
        * semantics.c (begin_class_definition): Drop default args to
        pushtag.

2020-09-24  Nathan Sidwell  <nathan@acm.org>

        PR c++/97186
        * pt.c (maybe_instantiate_noexcept): Local externs are never
        member fns.

2020-09-23  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.h (typedef cxx_binding): Delete tdef.
        (typedef cp_binding_level): Likewise.
        (struct cxx_binding): Flags are bools.

2020-09-23  Nathan Sidwell  <nathan@acm.org>

        PR c++/97171
        * pt.c (tsubst_copy) [FUNCTION_DECL,VAR_DECL]: Retrieve local
        specialization for DECL_LOCAL_P decls.

2020-09-22  Patrick Palka  <ppalka@redhat.com>

        PR c++/95310
        * pt.c (corresponding_template_parameter): Define.
        (keep_template_parm): Use it to adjust the given template
        parameter to the corresponding in-scope one from ctx_parms.

2020-09-22  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (xref_tag_from_type): Don't declare.
        * decl.c (xref_tag_from_type): Delete.
        * pt.c (lookup_template_class_1): Erroneously located class
        definitions just give error_mark, don't try and inject it into the
        namespace.

2020-09-22  Jakub Jelinek  <jakub@redhat.com>

        PR c++/97145
        * constexpr.c (cxx_eval_builtin_function_call): Return void_node for
        calls to __sanitize_ptr_{sub,cmp} builtins.

2020-09-22  Nathan Sidwell  <nathan@acm.org>

        * pt.c (instantiate_class_template_1): Do not repush and unhide
        injected friend.

2020-09-21  Marek Polacek  <polacek@redhat.com>

        PR c++/90583
        DR 1722
        * lambda.c (maybe_add_lambda_conv_op): Mark the conversion function
        as noexcept.

2020-09-21  Marek Polacek  <polacek@redhat.com>

        * pt.c (deduction_guides_for): Add a bool parameter.  Set it.
        (do_class_deduction): Warn when CTAD succeeds but the type doesn't
        have any explicit deduction guides.

2020-09-21  Nathan Sidwell  <nathan@acm.org>

        * decl.c (xref_tag_1): Use IDENTIFIER_LAMBDA_P to detect lambdas.
        * lambda.c (begin_lambda_type): Use ts_current to push the tag.
        * name-lookup.h (enum tag_scope): Drop ts_lambda.

2020-09-21  Marek Polacek  <polacek@redhat.com>

        PR c++/97099
        * decl.c (redeclaration_error_message): Detect a redeclaration of
        deduction guides.

2020-09-19  Sandra Loosemore  <sandra@codesourcery.com>

        * cp-gimplify.c (enum bc_t, bc_label): Move to c-family.
        (begin_bc_block, finish_bc_block, get_bc_label): Likewise.
        (genericize_cp_loop): Likewise.
        (genericize_for_stmt, genericize_while_stmt): Likewise.
        (genericize_do_stmt, genericize_switch_stmt): Likewise.
        (genericize_continue_stmt, genericize_break_stmt): Likewise.
        (genericize_omp_for_stmt): Likewise.
        (cp_genericize_r): Call c_genericize_control_stmt instead of
        above functions directly.
        (cp_genericize): Call save_bc_state and restore_bc_state instead
        of manipulating bc_label directly.
        * cp-objcp-common.c (cxx_block_may_fallthru): Defer to
        c_block_may_fallthru instead of handling SWITCH_STMT here.
        (cp_common_init_ts): Move handling of loop and switch-related
        statements to c-family.
        * cp-tree.def (FOR_STMT, WHILE_STMT, DO_STMT): Move to c-family.
        (BREAK_STMT, CONTINUE_STMT, SWITCH_STMT): Likewise.
        * cp-tree.h (LABEL_DECL_BREAK, LABEL_DECL_CONTINUE): Likewise.
        (WHILE_COND, WHILE_BODY): Likewise.
        (DO_COND, DO_BODY): Likewise.
        (FOR_INIT_STMT, FOR_COND, FOR_EXPR, FOR_BODY, FOR_SCOPE): Likewise.
        (SWITCH_STMT_COND, SWITCH_STMT_BODY): Likewise.
        (SWITCH_STMT_TYPE, SWITCH_STMT_SCOPE): Likewise.
        (SWITCH_STMT_ALL_CASES_P, SWITCH_STMT_NO_BREAK_P): Likewise.
        * cxx-pretty-print.c (cxx_pretty_printer::statement): Move code
        to handle structured loop and switch tree nodes to c-family.
        * dump.c (cp_dump_tree): Likewise.

2020-09-19  Patrick Palka  <ppalka@redhat.com>

        PR c++/96531
        PR c++/97103
        * constraint.cc (map_arguments): Call template_parm_to_arg
        in the self-mapping case.
        (finish_shorthand_constraint): No need to build a TREE_LIST
        before calling template_parm_to_arg.
        * pt.c (template_parm_to_arg): Rewrite to handle TEMPLATE_PARM_P
        nodes as well as DECL_TEMPLATE_PARM_P nodes, and to make the
        overlying TREE_LIST node optional.
        (keep_template_parm): Don't record a BOUND_TEMPLATE_TEMPLATE_PARM,
        instead record its corresponding TEMPLATE_TEMPLATE_PARM.
        (convert_generic_types_to_packs): Don't call
        template_parm_to_arg.

2020-09-19  Patrick Palka  <ppalka@redhat.com>

        PR c++/97051
        * constraint.cc (satisfy_atom): Pass true as the
        manifestly_const_eval argument to maybe_constant_value.

2020-09-18  Jason Merrill  <jason@redhat.com>

        PR bootstrap/97118
        * decl.c (complete_vars): Only call layout_var_decl if completing
        the type succeeded.

2020-09-18  Jason Merrill  <jason@redhat.com>

        * decl.c (complete_vars): Call layout_var_decl.

2020-09-17  Patrick Palka  <ppalka@redhat.com>

        PR c++/96409
        PR c++/96410
        * constraint.cc (tsubst_requires_expr): Use REQUIRES_EXPR_PARMS
        and REQUIRES_EXPR_REQS.  Use REQUIRES_EXPR_EXTRA_ARGS,
        add_extra_args and build_extra_args to defer substitution until
        we have all the template arguments.
        (finish_requires_expr): Adjust the call to build_min so that
        REQUIRES_EXPR_EXTRA_ARGS gets set to NULL_TREE.
        * cp-tree.def (REQUIRES_EXPR): Give it a third operand.
        * cp-tree.h (REQUIRES_EXPR_PARMS, REQUIRES_EXPR_REQS,
        REQUIRES_EXPR_EXTRA_ARGS): Define.
        (add_extra_args, build_extra_args): Declare.

2020-09-16  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (cp_check_omp_declare_reduction): Return bool.
        * semantics.c (cp_check_omp_declare_reduction): Return true on for
        success.
        * pt.c (push_template_decl_real): OMP reductions do not get a
        template header.
        (tsubst_function_decl): Remove special casing for local decl omp
        reductions.
        (tsubst_expr): Call instantiate_body for a local omp reduction.
        (instantiate_body): Add nested_p parm, and deal with such
        instantiations.
        (instantiate_decl): Reject FUNCTION_SCOPE entities, adjust
        instantiate_body call.

2020-09-16  Nathan Sidwell  <nathan@acm.org>

        * pt.c (instantiate_body): Remove 'nested' var, simplify
        push_to_top logic.

2020-09-16  Nathan Sidwell  <nathan@acm.org>

        * pt.c (instantiate_body): New, broken out of ..
        (instantiate_decl): ... here.  Call it.

2020-09-15  Nathan Sidwell  <nathan@acm.org>

        * pt.c (push_template_decl_real): OMP reductions retain a template
        header.
        (tsubst_function_decl): Likewise.

2020-09-15  Tobias Burnus  <tobias@codesourcery.com>

        PR fortran/96668
        * cp-gimplify.c (cxx_omp_finish_clause): Add bool openacc arg.
        * cp-tree.h (cxx_omp_finish_clause): Likewise
        * semantics.c (handle_omp_for_class_iterator): Update call.

2020-09-14  Marek Polacek  <polacek@redhat.com>

        * pt.c (push_template_decl_real): Use VAR_OR_FUNCTION_DECL_P.

2020-09-14  Nathan Sidwell  <nathan@acm.org>

        * pt.c (push_template_decl_real): Don't attach a template head to
        local externs.
        (tsubst_function_decl): Add support for headless local extern
        decls.
        (tsubst_decl): Add support for headless local extern decls.

2020-09-11  Nathan Sidwell  <nathan@acm.org>

        * decl.c (grokfndecl): Don't attach to local extern.

2020-09-11  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_objc_method_definition_list): Reimplement
        loop, make sure we pop scope.

2020-09-11  Marek Polacek  <polacek@redhat.com>

        * cp-tree.h (LOOKUP_CONSTINIT): Remove.
        (LOOKUP_REWRITTEN): Adjust.
        * decl.c (duplicate_decls): Set DECL_DECLARED_CONSTINIT_P.
        (check_initializer): Use DECL_DECLARED_CONSTINIT_P instead of
        LOOKUP_CONSTINIT.
        (cp_finish_decl): Don't set DECL_DECLARED_CONSTINIT_P.  Use
        DECL_DECLARED_CONSTINIT_P instead of LOOKUP_CONSTINIT.
        (grokdeclarator): Set DECL_DECLARED_CONSTINIT_P.
        * decl2.c (grokfield): Don't handle LOOKUP_CONSTINIT.
        * parser.c (cp_parser_decomposition_declaration): Remove
        LOOKUP_CONSTINIT handling.
        (cp_parser_init_declarator): Likewise.
        * pt.c (tsubst_expr): Likewise.
        (instantiate_decl): Likewise.
        * typeck2.c (store_init_value): Use DECL_DECLARED_CONSTINIT_P instead
        of LOOKUP_CONSTINIT.

2020-09-10  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (TINFO_VAR_DECLARED_CONSTINIT): Replace with ...
        (DECL_DECLARED_CONSTINIT_P): ... this.
        * decl.c (start_decl): No need to retrofit_lang_decl for constinit
        flag.
        (cp_finish_decl): Use DECL_DECLARED_CONSTINIT_P.
        * pt.c (tsubst_decl): No need to handle constinit flag
        propagation.
        (tsubst_expr): Or here.

2020-09-10  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (DECL_LOCAL_FUNCTION_P): Rename to ...
        (DECL_LOCAL_DECL_P): ... here.  Accept both fns and vars.
        * decl.c (start_decl): Set DECL_LOCAL_DECL_P for local externs.
        (omp_declare_variant_finalize_one): Use DECL_LOCAL_DECL_P.
        (local_variable_p): Simplify.
        * name-lookup.c (set_decl_context_in_fn): Assert DECL_LOCAL_DECL_P
        is as expected.  Simplify.
        (do_pushdecl): Don't set decl_context_in_fn for friends.
        (is_local_extern): Simplify.
        * call.c (equal_functions): Use DECL_LOCAL_DECL_P.
        * parser.c (cp_parser_postfix_expression): Likewise.
        (cp_parser_omp_declare_reduction): Likewise.
        * pt.c (check_default_tmpl_args): Likewise.
        (tsubst_expr): Assert nested reduction function is local.
        (type_dependent_expression_p): Use DECL_LOCAL_DECL_P.
        * semantics.c (finish_call_expr): Likewise.

2020-09-09  Marek Polacek  <polacek@redhat.com>

        PR c++/77841
        * decl.c (reshape_init): If we're initializing a char array from
        a string-literal that is enclosed in braces, unwrap it.
        * init.c (build_new_1): Don't handle string-initializers here.
        (build_new): Handle new-expression with paren-init when the
        array bound is known.  Always pass string constants to build_new_1
        enclosed in braces.  Don't handle string-initializers in any
        special way.

2020-09-09  Marek Polacek  <polacek@redhat.com>

        PR c++/95164
        * decl.c (reshape_init_r): When initializing an aggregate member
        with an initializer from an initializer-list, also consider
        COMPOUND_LITERAL_P.

2020-09-09  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_omp_declare_reduction): Refactor to avoid
        code duplication.  Update DECL_TI_TEMPLATE's context.
        * pt.c (tsubst_expr): For OMP reduction function, set context to
        global_namespace before pushing.
        (tsubst_omp_udr): Assert current_function_decl, add comment about
        decl context.

2020-09-09  Patrick Palka  <ppalka@redhat.com>

        PR c++/96647
        * class.c (resolve_address_of_overloaded_function): Check
        constraints_satisfied_p and perform return-type deduction via
        maybe_instantiate_decl when considering non-template functions
        in the overload set.
        * cp-tree.h (maybe_instantiate_decl): Declare.
        * decl2.c (maybe_instantiate_decl): Remove static.

2020-09-04  Jason Merrill  <jason@redhat.com>

        * expr.c (mark_use): Use iloc_sentinel.

2020-09-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96901
        * constexpr.c (fundef_copies_table): Change type from
        hash_map<tree, tree> * to decl_tree_map *.

2020-09-03  Marek Polacek  <polacek@redhat.com>

        PR c++/92812
        * cp-tree.h (do_aggregate_paren_init): Declare.
        * decl.c (do_aggregate_paren_init): New.
        (grok_reference_init): Use it.
        (check_initializer): Likewise.
        * init.c (perform_member_init): Handle initializing an array from
        a ()-list.  Use do_aggregate_paren_init.

2020-09-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96862
        * constexpr.c (cxx_eval_outermost_constant_expr): Temporarily disable
        flag_rounding_math during manifestly constant evaluation.

2020-09-01  Marek Polacek  <polacek@redhat.com>

        PR c++/77841
        * init.c (build_new_1): Call reshape_init.

2020-09-01  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96867
        * semantics.c (handle_omp_array_sections_1): Test
        DECL_ARRAY_PARAMETER_P only on PARM_DECLs.

2020-08-31  Marek Polacek  <polacek@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/93529
        * call.c (build_new_method_call_1): Use build_constructor_from_vec
        instead of build_tree_list_vec + build_constructor_from_list.
        * init.c (build_new_1): Handle new char[]{"foo"}.  Use
        build_constructor_from_vec instead of build_tree_list_vec +
        build_constructor_from_list.
        (build_new): Deduce the array size in new-expression if not
        present.  Handle ()-init.  Handle initializing an array from
        a string literal.
        * parser.c (cp_parser_new_type_id): Leave [] alone.
        (cp_parser_direct_new_declarator): Allow [].
        * pt.c (type_dependent_expression_p): In a NEW_EXPR, consider
        array types whose dimension has to be deduced type-dependent.

2020-08-27  Martin Liska  <mliska@suse.cz>

        * class.c (build_vtbl_initializer): Set exact argument of a vector
        growth function to true.
        * constraint.cc (get_mapped_args): Likewise.
        * decl.c (cp_maybe_mangle_decomp): Likewise.
        (cp_finish_decomp): Likewise.
        * parser.c (cp_parser_omp_for_loop): Likewise.
        * pt.c (canonical_type_parameter): Likewise.
        * rtti.c (get_pseudo_ti_init): Likewise.

2020-08-26  Nathan Sidwell  <nathan@acm.org>

        * decl.c (poplevel): A local-binding tree list holds the name in
        TREE_PURPOSE.
        * name-lookup.c (update_local_overload): Add id to TREE_PURPOSE.
        (lookup_name_1): Deal with local-binding error_mark_node marker.
        (op_unqualified_lookup): Return error_mark_node for 'nothing
        found'.  Retain global binding, check class binding here.
        (maybe_save_operator_binding): Reimplement to always cache a
        result.
        (push_operator_bindings): Deal with 'ignore' marker.

2020-08-25  Tobias Burnus  <tobias@codesourcery.com>

        PR c/96678
        * semantics.c (handle_omp_array_sections_1): Talk about
        array function parameter in the error message.

2020-08-25  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96721
        * cp-tree.h (build_trivial_dtor_call): Add bool argument defaulted
        to false.
        * call.c (build_trivial_dtor_call): Add NO_PTR_DEREF argument.  If
        instance is a pointer and NO_PTR_DEREF is true, clobber the pointer
        rather than what it points to.
        * semantics.c (finish_call_expr): Call build_trivial_dtor_call with
        true as NO_PTR_DEREF.

2020-08-25  Jason Merrill  <jason@redhat.com>

        PR c++/95428
        * optimize.c (populate_clone_array): Revert PR70462 change.
        (maybe_clone_body): Likewise.

2020-08-24  Nathan Sidwell  <nathan@acm.org>

        * ptree.c (debug_overload): New.

2020-08-19  Jason Merrill  <jason@redhat.com>

        DR 2369
        * cp-tree.h (push_tinst_level, push_tinst_level_loc): Declare.
        * constraint.cc (satisfy_declaration_constraints):
        Use add_outermost_template_args and push_tinst_level.
        * pt.c (add_outermost_template_args): Handle getting
        a TEMPLATE_DECL as the first argument.
        (push_tinst_level, push_tinst_level_loc): No longer static.
        (fn_type_unification): Check satisfaction before non-dependent
        conversions.

2020-08-18  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (SET_TYPE_TEMPLTE_INFO): Do not deal with ALIAS templates.
        * pt.c (lookup_template_class_1): Special-case alias template
        template_info setting.

2020-08-18  Jason Merrill  <jason@redhat.com>

        PR c++/96199
        * pt.c (tsubst_aggr_type): Rewrite in C++17, too.
        (maybe_dependent_member_ref): Likewise.
        (build_deduction_guide): Re-substitute template parms.
        * cp-tree.h (struct push_nested_class_guard): New.
        * constraint.cc (get_normalized_constraints_from_decl): Use it.

2020-08-18  Jason Merrill  <jason@redhat.com>

        PR c++/96199
        * pt.c (maybe_dependent_member_ref): New.
        (tsubst_copy) [CONST_DECL]: Use it.
        [VAR_DECL]: Likewise.
        (tsubst_aggr_type): Handle nested type.

2020-08-18  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.c (qualify_lookup): Drop lambda checking here.
        Reorder namespace & type checking.
        (lookup_name_1): Do hidden lambda checking here.

2020-08-14  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.h (lookup_name_real, lookup_name_nonclass): Rename
        to ...
        (lookup_name): ... these new overloads.
        * name-lookup.c (identifier_type_value_1): Rename lookup_name_real
        call.
        (lookup_name_real_1): Rename to ...
        (lookup_name_1): ... here.
        (lookup_name_real): Rename to ...
        (lookup_name): ... here.  Rename lookup_name_real_1 call.
        (lookup_name_nonclass): Delete.
        * call.c (build_operator_new_call): Rename lookup_name_real call.
        (add_operator_candidates): Likewise.
        (build_op_delete_call): Rename lookup_name_nonclass call.
        * parser.c (cp_parser_lookup_name): Likewise.
        * pt.c (tsubst_friend_class, lookup_init_capture_pack): Likewise.
        (tsubst_expr): Likewise.
        * semantics.c (capture_decltype): Likewise.

2020-08-14  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (LOOKUP_HIDDEN): Delete.
        (LOOKUP_PREFER_RVALUE): Adjust initializer.
        * name-lookup.h (enum class LOOK_want): Add HIDDEN_FRIEND and
        HIDDEN_LAMBDA flags.
        (lookup_name_real): Drop flags parm.
        (lookup_qualified_name): Drop find_hidden parm.
        * name-lookup.c (class name_lookup): Drop hidden field, adjust
        ctors.
        (name_lookup::add_overload): Check want for hiddenness.
        (name_lookup::process_binding): Likewise.
        (name_lookup::search_unqualified): Likewise.
        (identifier_type_value_1): Adjust lookup_name_real call.
        (set_decl_namespace): Adjust name_lookup ctor.
        (qualify_lookup): Drop flags parm, use want for hiddenness.
        (lookup_qualified_name): Drop find_hidden parm.
        (lookup_name_real_1): Drop flags parm, adjust qualify_lookup
        calls.
        (lookup_name_real): Drop flags parm.
        (lookup_name_nonclass, lookup_name): Adjust lookup_name_real
        calls.
        (lookup_type_scope_1): Adjust qualify_lookup calls.
        * call.c (build_operator_new_call): Adjust lookup_name_real call.
        (add_operator_candidates): Likewise.
        * coroutines.cc (morph_fn_to_coro): Adjust lookup_qualified_name
        call.
        * parser.c (cp_parser_lookup_name): Adjust lookup_name_real calls.
        * pt.c (check_explicit_specialization): Adjust
        lookup_qualified_name call.
        (deduction_guides_for): Likewise.
        (tsubst_friend_class): Adjust lookup_name_real call.
        (lookup_init_capture_pack): Likewise.
        (tsubst_expr): Likewise, don't look in namespaces.
        * semantics.c (capture_decltype): Adjust lookup_name_real.  Don't
        look in namespaces.

2020-08-14  Jason Merrill  <jason@redhat.com>

        PR c++/90254
        PR c++/93711
        * cp-tree.h (unsafe_return_slot_p): Declare.
        * call.c (is_base_field_ref): Rename to unsafe_return_slot_p.
        (build_over_call): Check unsafe_return_slot_p.
        (build_special_member_call): Likewise.
        * init.c (expand_default_init): Likewise.
        * typeck2.c (split_nonconstant_init_1): Likewise.

2020-08-14  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (LOOKUP_PREFER_TYPES, LOOKUP_PREFER_NAMESPACES)
        (LOOKUP_NAMESPACES_ONLY, LOOKUP_TYPES_ONLY)
        (LOOKUP_QUALIFIERS_ONL): Delete.
        (LOOKUP_HIDDEN): Adjust.
        * name-lookup.h (enum class LOOK_want): New.
        (operator|, operator&): Overloads for it.
        (lookup_name_real): Replace prefer_type & namespaces_only with
        LOOK_want parm.
        (lookup_qualified_name): Replace prefer_type with LOOK_want.
        (lookup_name_prefer_type): Replace with ...
        (lookup_name): ... this.  New overload with LOOK_want parm.
        * name-lookup.c (struct name_lookup): Replace flags with want and
        hidden fields.  Adjust constructors.
        (name_lookyp::add_overload): Correct hidden stripping test.  Update
        for new LOOK_want type.
        (name_lookup::process_binding): Likewise.
        (name_lookup::search_unqualified): Use hidden flag.
        (identifier_type_value_1): Adjust lookup_name_real call.
        (set_decl_namespace): Adjust name_lookup ctor.
        (lookup_flags): Delete.
        (qualify_lookup): Add LOOK_want parm, adjust.
        (lookup_qualified_name): Replace prefer_type parm with LOOK_want.
        (lookup_name_real_1): Replace prefer_type and namespaces_only with
        LOOK_want parm.
        (lookup_name_real): Likewise.
        (lookup_name_nonclass, lookup_name): Adjust lookup_name_real call.
        (lookup_name_prefer_type): Rename to ...
        (lookup_name): ... here.  New overload with LOOK_want parm.
        (lookup_type_scope_1): Adjust qualify_lookup calls.
        * call.c (build_operator_new_call)
        (add_operator_candidates): Adjust lookup_name_real calls.
        * coroutines.cc (find_coro_traits_template_decl)
        (find_coro_handle_template_decl, morph_fn_to_coro): Adjust
        lookup_qualified_name calls.
        * cp-objcp-common.c (identifier_global_tag): Likewise.
        * decl.c (get_tuple_size, get_tuple_decomp_init): Likewise.
        (lookup_and_check_tag): Use lookup_name overload.
        * parser.c (cp_parser_userdef_numeric_literal): Adjust
        lookup_qualified_name call.
        (prefer_arg_type): Drop template_mem_access parm, return LOOK_want
        value.
        (cp_parser_lookup_name): Adjust lookup_member, lookup_name_real
        calls.
        * pt.c (check_explicit_specialization): Adjust lookup_qualified_name
        call.
        (tsubst_copy_and_build, tsubst_qualified_name): Likewise
        (deduction_guides_for): Likewise.
        (tsubst_friend_class): Adjust lookup_name_real call.
        (lookup_init_capture, tsubst_expr): Likewise.
        * rtti.c (emit_support_tinfos): Adjust lookup_qualified_name call.
        * semantics.c (omp_reduction_lookup): Likewise.
        (capture_decltype): Adjust lookup_name_real call.

2020-08-13  Nathan Sidwell  <nathan@acm.org>

        * name-lookup.h (enum class LOOK_where): New.
        (operator|, operator&): Overloads for it.
        (lookup_name_real): Replace NONCLASS & BLOCK_P parms with WHERE.
        * name-lookup.c (identifier_type_value_w): Adjust
        lookup_name_real call.
        (lookup_name_real_1): Replace NONCLASS and BLOCK_P parameters
        with WHERE bitmask. Don't search namespaces if not asked to.
        (lookup_name_real): Adjust lookup_name_real_1 call.
        (lookup_name_nonclass, lookup_name)
        (lookup_name_prefer_type): Likewise.
        * call.c (build_operator_new_call)
        (add_operator_candidates): Adjust lookup_name_real calls.
        * parser.c (cp_parser_lookup_name): Likewise.
        * pt.c (tsubst_friend_class, lookup_init_capture_pack)
        (tsubst_expr): Likewise.
        * semantics.c (capture_decltype): Likewise.

2020-08-13  Marek Polacek  <polacek@redhat.com>

        PR c++/92812
        * typeck.c (build_static_cast_1): Implement P1975R0 by allowing
        static_cast to aggregate type.

2020-08-10  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96497
        * constexpr.c (cxx_eval_binary_expression): For SPACESHIP_EXPR, tail
        call cxx_eval_constant_expression after genericize_spaceship to avoid
        undesirable further VERIFY_CONSTANT.

2020-08-10  Patrick Palka  <ppalka@redhat.com>

        * pt.c (resolve_overloaded_unification): Drop functions with
        unsatisfied constraints.
        (resolve_nondeduced_context): Likewise.

2020-08-05  Patrick Palka  <ppalka@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/96282
        * constexpr.c (cxx_eval_vec_init_1): Truncate ctx->ctor and
        then clear CONSTRUCTOR_NO_CLEARING on each appended element
        initializer if we're initializing a previously zero-initialized
        array object.

2020-08-04  Marek Polacek  <polacek@redhat.com>

        PR c++/96082
        * parser.c (cp_parser_elaborated_type_specifier): Allow
        'template' following ::.

2020-08-04  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_explicit_specialization): Refactor
        to avoid leak of num_template_parameter_lists value.

2020-08-04  Patrick Palka  <ppalka@redhat.com>

        PR c++/94024
        * init.c (sort_mem_initializers): Preserve TREE_TYPE of the
        member initializer list node.
        (emit_mem_initializers): Set input_location when performing each
        member initialization.
        * parser.c (cp_parser_mem_initializer): Attach the source
        location of this initializer to a dummy EMPTY_CLASS_EXPR
        within the TREE_TYPE of the list node.
        * pt.c (tsubst_initializer_list): Preserve TREE_TYPE of the
        member initializer list node.

2020-08-03  Marek Polacek  <polacek@redhat.com>

        * cp-tree.h (after_nsdmi_defaulted_late_checks): Remove.

2020-08-03  Marek Polacek  <polacek@redhat.com>

        DR 2032
        PR c++/96218
        * pt.c (check_default_tmpl_args): Also consider variable
        templates.

2020-07-31  Jakub Jelinek  <jakub@redhat.com>

        PR c++/96182
        * decl.c (finish_function): In constexpr functions use for C++14 and
        later error instead of warning if no return statement is present and
        diagnose it regardless of warn_return_type.  Move the warn_return_type
        diagnostics earlier in the function.

2020-07-31  Martin Sebor  <msebor@redhat.com>

        PR c++/96003
        * class.c (build_base_path): Set no-warning bit on the synthesized
        conditional expression in static_cast.

2020-07-31  Richard Biener  <rguenther@suse.de>

        PR debug/96383
        * cp-objcp-common.h (LANG_HOOKS_FINALIZE_EARLY_DEBUG):
        Define to c_common_finalize_early_debug.

2020-07-31  Patrick Palka  <ppalka@redhat.com>

        PR c++/96197
        * constexpr.c (cxx_eval_constant_expression) <case CONST_DECL>:
        Pass false to decl_constant_value and decl_really_constant_value
        so that they don't unshare their result.
        * cp-tree.h (decl_constant_value): New declaration with an added
        bool parameter.
        (decl_really_constant_value): Add bool parameter defaulting to
        true to existing declaration.
        * init.c (constant_value_1): Add bool parameter which controls
        whether to unshare the initializer before returning.  Call
        unshare_expr at most once.
        (scalar_constant_value): Pass true to constant_value_1's new
        bool parameter.
        (decl_really_constant_value): Add bool parameter and forward it
        to constant_value_1.
        (decl_constant_value): Likewise, but instead define a new
        overload with an added bool parameter.

2020-07-30  Patrick Palka  <ppalka@redhat.com>

        PR c++/64194
        * pt.c (resolve_overloaded_unification): If the function
        template specialization has a placeholder return type,
        then instantiate it before attempting unification.

2020-07-30  Patrick Palka  <ppalka@redhat.com>

        PR c++/95486
        * pt.c (alias_ctad_tweaks): Call remove_constraints before
        calling set_constraints.

2020-07-30  Patrick Palka  <ppalka@redhat.com>

        PR c++/96106
        * pt.c (reduce_template_parm_level): Propagate DECL_VIRTUAL_P
        from the original TEMPLATE_PARM_DECL to the new lowered one.

2020-07-30  Patrick Palka  <ppalka@redhat.com>

        PR c++/96164
        * constraint.cc (constraints_satisfied_p): Return true if
        !flags_concepts.
        * pt.c (do_type_instantiation): Update a paragraph taken from
        [temp.explicit] to reflect the latest specification.  Don't
        instantiate a member with unsatisfied constraints.

2020-07-29  Jason Merrill  <jason@redhat.com>

        PR c++/91427
        * cp-tree.h (IMPLICIT_RVALUE_P): New.
        (enum cp_lvalue_kind_flags): Add clk_implicit_rval.
        (implicit_rvalue_p, set_implicit_rvalue_p): New.
        * call.c (reference_binding): Check clk_implicit_rval.
        (build_over_call): Adjust C++20 implicit move.
        * coroutines.cc (finish_co_return_stmt): Simplify implicit move.
        * except.c (build_throw): Adjust C++20 implicit move.
        * pt.c (tsubst_copy_and_build) [STATIC_CAST_EXPR]: Propagate
        IMPLICIT_RVALUE_P.
        * tree.c (lvalue_kind): Set clk_implicit_rval.
        * typeck.c (treat_lvalue_as_rvalue_p): Overhaul.
        (maybe_warn_pessimizing_move): Adjust.
        (check_return_expr): Adjust C++20 implicit move.

2020-07-29  Jason Merrill  <jason@redhat.com>

        PR c++/91212
        * call.c (build_over_call): Don't call a const ref
        overload for implicit move.

2020-07-28  Nathan Sidwell  <nathan@acm.org>

        * cp-gimplify.c (cp_genericize_r): Set IMPORTED_DECL's context.
        * cp-objcp-common.c (cp_pushdecl): Set decl's context.
        * decl.c (grokfndecl): Make DECL_CONTEXT setting clearer.

2020-07-28  Nathan Sidwell  <nathan@acm.org>

        * class.c (fixup_type_variants): Copy TYPE_SIZE and
        TYPE_SIZE_UINIT.
        (finish_struct): Call it.

2020-07-28  Nathan Sidwell  <nathan@acm.org>

        * ptree.c (cxx_print_decl): Better indentation.

2020-07-28  Jakub Jelinek  <jakub@redhat.com>
            Mark Wielaard  <mark@klomp.org>

        PR c++/96328
        * parser.c (cp_lexer_safe_previous_token): Don't call
        cp_lexer_previous_token, instead inline it by hand and return NULL
        instead of failing assertion if all previous tokens until the first
        one are purged.
        (cp_parser_error_1): Optimize - only call cp_lexer_safe_previous_token
        if token->type is CPP_NAME.  Use cp_lexer_safe_previous_token instead
        of cp_lexer_previous_token for the missing_token_desc != RT_NONE
        case too.

2020-07-27  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (enum cp_tree_index): Add CPTI_AS_BASE_IDENTIFIER.
        (as_base_identifier): Define.
        * decl.c (initialize_predifined_identifiers): Initialize as_base
        identifier.
        * class.c (layout_class_type): Name the as-base type.  Zap
        NSDMI its fields may have.

2020-07-22  Nathan Sidwell  <nathan@acm.org>

        * class.c (maybe_add_class_template_decl_list): Don't add CONST_DECLs.

2020-07-22  Nathan Sidwell  <nathan@acm.org>

        * typeck.c (structural_comptypes): [DECLTYPE_TYPE] break
        apart complex if.
        [UNDERLYING_TYPE]: Use an if.
        [TYPEOF_TYPE]: New.

2020-07-22  Nathan Sidwell  <nathan@acm.org>

        * decl.c (decls_match): Move variables into scopes
        they're needed in.
        (duplicate_decls): Use STRIP_TEMPLATE.
        (build_typename_type): Move var decls to their assignments.
        (begin_function_body): Likewise.
        * decl2.c (get_guard): Likewise.
        (mark_used): Use true for truthiness.
        * error.c (dump_aggr_type): Hold the decl in a var called
        'decl', not 'name'.

2020-07-22  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (struct tree_lambda_expr): Shrink
        default_capture_mode & discriminator.

2020-07-22  Nathan Sidwell  <nathan@acm.org>

        * mangle.c (decl_is_template_id): Rename to ...
        (maybe_template_info): ... here.  Return the template info,
        rather than use a pointer.  Adjust all callers.
        (find_substitution): Use template_args_equal, rather than
        local check.

2020-07-22  Tobias Burnus  <tobias@codesourcery.com>

        * parser.c (cp_parser_omp_clause_hint): Require nonnegative hint.
        (cp_parser_omp_critical): Permit hint(0) clause without named critical.
        * pt.c (tsubst_expr): Re-check the latter for templates.

2020-07-21  Sunil K Pandey  <skpgkp2@gmail.com>

        PR target/95237
        * decl.c (cp_finish_decl): Call target hook
        lower_local_decl_alignment to lower local decl alignment.

2020-07-21  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_lexer_consume_token): Drop PRAGMA_EOL assert.
        (cp_parser_skip_to_closing_parenthesis_1): Only pass start token
        to pragma skipper if recovering.
        (cp_parser_skip_to_pragma_eol): Only purge and change pragma
        state when recovering.

2020-07-20  Jason Merrill  <jason@redhat.com>

        * pt.c (type_dependent_expression_p): A pseudo-dtor can be
        dependent.
        * semantics.c (finish_call_expr): Use build_trivial_dtor_call for
        pseudo-destructor.
        (finish_pseudo_destructor_expr): Leave type NULL for dependent arg.

2020-07-20  Jason Merrill  <jason@redhat.com>

        * mangle.c (write_base_ref): New.
        (write_expression): Use it for base field COMPONENT_REFs.
        * pt.c (invalid_tparm_referent_p): Canonicalize the type
        of array offsets.  Allow subobjects.

2020-07-20  Jason Merrill  <jason@redhat.com>

        * pt.c (collect_ctor_idx_types): Add 'const' when deducing from
        a string constant.

2020-07-17  Marek Polacek  <polacek@redhat.com>

        PR c++/79815
        * decl.c (grokdeclarator): Detect cv-qual decltype(auto).
        * pt.c (do_auto_deduction): Likewise.

2020-07-16  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95591
        PR c++/95599
        PR c++/95823
        PR c++/95824
        PR c++/95895
        * coroutines.cc (struct coro_ret_data): Delete.
        (coro_maybe_expand_co_return): Delete.
        (co_return_expander): Delete.
        (expand_co_returns): Delete.
        (co_await_find_in_subtree): Remove unused name.
        (build_actor_fn): Remove unused parm, remove handling
        for co_return expansion.
        (register_await_info): Demote duplicate info message to a
        warning.
        (coro_make_frame_entry): Move closer to use site.
        (struct susp_frame_data): Add fields for final suspend label
        and a flag to indicate await expressions with initializers.
        (captures_temporary): Delete.
        (register_awaits): Remove unused code, update comments.
        (find_any_await): New.
        (tmp_target_expr_p): New.
        (struct interesting): New.
        (find_interesting_subtree): New.
        (struct var_nest_node): New.
        (flatten_await_stmt): New.
        (handle_nested_conditionals): New.
        (process_conditional): New.
        (replace_statement_captures): Rename to...
        (maybe_promote_temps): ... this.
        (maybe_promote_captured_temps): Delete.
        (analyze_expression_awaits): Check for await expressions with
        initializers.  Simplify handling for truth-and/or-if.
        (expand_one_truth_if): Simplify (map cases that need expansion
        to COND_EXPR).
        (await_statement_walker): Handle CO_RETURN_EXPR. Simplify the
        handling for truth-and/or-if expressions.
        (register_local_var_uses): Ensure that we create names in the
        implementation namespace.
        (morph_fn_to_coro): Add final suspend label to suspend frame
        callback data and remove it from the build_actor_fn call.

2020-07-16  Marek Polacek  <polacek@redhat.com>

        * call.c (convert_like): Remove macro and introduce a new
        wrapper instead.
        (convert_like_with_context): Likewise.
        (convert_like_real): Rename to convert_like.
        (convert_like_real_1): Rename to convert_like_internal.  Call
        convert_like instead of convert_like_real therein.
        (perform_direct_initialization_if_possible): Call convert_like
        instead of convert_like_real.

2020-07-16  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc: Correct some spelling errors
        in comments.

2020-07-15  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_declaration): Avoid copying tokens.
        (cp_parser_block_declaration): RAII token pointer.

2020-07-15  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_skip_to_closing_parenthesis_1): Deal with
        meeting a deferred pragma.
        (cp_parser_skip_to_end_of_statement): Likewise.
        (cp_parser_skip_to_end_of_block_or_statement): Likewise.
        (cp_parser_skip_to_pragma_eol): We should never meet EOF.
        (cp_parser_omp_declare_simd): Likewise.
        (cp_parser_omp_declare_reduction, cp_parser_oacc_routine)
        (pragma_lex): Likewise.

2020-07-14  Marek Polacek  <polacek@redhat.com>

        PR c++/95789
        PR c++/96104
        PR c++/96179
        * call.c (convert_like_real_1): Renamed from convert_like_real.
        (convert_like_real): New wrapper for convert_like_real_1.

2020-07-14  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_lexer_alloc): Do not deal with PCH here.
        (cp_lexer_new_main): Deal with PCH here.  Store the tokens directly
        into the buffer.
        (cp_lexer_new_from_tokens): Assert last token isn't purged either.
        (cp_lexer_get_preprocessor_token): Change first arg to flags, adjust.
        (cp_parser_new): Pass the lexer in, don't create it here.
        (cp_parser_translation_unit): Initialize access checks here.
        (cp_parser_initial_pragma): First token is provided by caller,
        don't deal with PCH stopping here.  Adjust error message.
        (c_parse_file): Adjust, change error message to avoid C++20 module
        confusion.

2020-07-14  Nathan Sidwell  <nathan@acm.org>

        * ptree.c (cxx_print_type): Add TYPEOF_TYPE and BASES.

2020-07-14  Nathan Sidwell  <nathan@acm.org>

        * class.c (build_base_field_1): Cache CLASSTYPE_AS_BASE.
        (build_self_reference): Rename value -> decl.
        (dump_class_hierarchy_1): Cache CLASSTYPE_AS_BASE.

2020-07-14  Marek Polacek  <polacek@redhat.com>

        PR c++/95820
        * decl.c (grokdeclarator) <case cdk_function>: Check also
        pointers/references/... to functions.

2020-07-14  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h: Correct some tree lang flag comments,
        reformat some structure definitions.  Note some structure
        sizes.  Clarify some comments.
        (yyungetc): Delete.  Not been a thing for some time.
        * class.c (copy_fndecl_with_name): Comment.
        (check_bases_and_members): Unnecessary {}.
        (layout_class_type): Comment.
        * cp-tree.def (UNBOUND_CLASS_TEMPLATE): Adjust comment.
        * decl.c:  Fix some formatting & whitespace issues.
        (function_requirements_equivalent_p): Note why
        substitutions are needed.
        * decl2.c (no_linkage_error): Note that heroics about
        'typedef struct { ... };' are no longer needed.
        * method.c: Whitespace.
        * name-lookup.c: Whitespace.
        (add_decl_to_level): Reformat a line.
        (print_binding_stack): Mark as DEBUG_FUNCTION.
        (has_using_namespace_std_directive_p): Delete comment.
        * pt.c: Whitespace
        * ptree.c: Whitespace.
        * rtti.c: Whitespace & comment.
        * tree.c: Comment.
        * typeck.c (structural_comptypes): Add comment.

2020-07-13  Nathan Sidwell  <nathan@acm.org>

        * Make-lang.in (c++.disclean): Likewise.

2020-07-13  Marek Polacek  <polacek@redhat.com>

        PR c++/96077
        * parser.c (cp_parser_enum_specifier): Commit to tentative parse
        after we've seen an opening brace.

2020-07-10  Jason Merrill  <jason@redhat.com>

        * tree.c (structural_type_p): Allow unions.
        * mangle.c (write_expression): Express unions with a designator.

2020-07-10  Jason Merrill  <jason@redhat.com>

        * pt.c (convert_nontype_argument): Handle REAL_TYPE.
        (invalid_nontype_parm_type_p): Allow all structural types.
        * tree.c (structural_type_p): Use SCALAR_TYPE_P.

2020-07-10  Jason Merrill  <jason@redhat.com>

        PR c++/96105
        PR c++/96052
        PR c++/95976
        * class.c (check_field_decls): An array of empty classes is not an
        empty data member.
        (layout_empty_base_or_field): Handle explicit alignment.
        Fix union handling.

2020-07-09  Julian Brown  <julian@codesourcery.com>
            Thomas Schwinge  <thomas@codesourcery.com>

        PR middle-end/95270
        * semantics.c (finish_omp_clauses): Likewise.

2020-07-09  Patrick Palka  <ppalka@redhat.com>

        PR c++/96132
        * constexpr.c (potential_constant_expression_1) <case PARM_DECL>:
        Restore dependent_type_p check that guarded the call to
        is_really_empty_class.

2020-07-08  Patrick Palka  <ppalka@redhat.com>

        PR c++/95497
        * constexpr.c (potential_constant_expression_1) <case PARM_DECL>:
        When processing_template_decl, check COMPLETE_TYPE_P before
        calling is_really_empty_class.  Don't check dependent_type_p.

2020-07-08  Marek Polacek  <polacek@redhat.com>

        PR c++/96103
        * parser.c (cp_parser_decltype): Print error about using decltype(auto)
        in C++11.  Check that the token following "auto" is ")".

2020-07-07  Patrick Palka  <ppalka@redhat.com>

        PR c++/95303
        * cxx-pretty-print.c (pp_cxx_unqualified_id): Check
        PRIMARY_TEMPLATE_P before printing the innermost template
        arguments.

2020-07-07  Martin Sebor  <msebor@redhat.com>

        PR c++/96063
        * parser.c (class_decl_loc_t::diag_mismatched_tags): Print notes only
        if warning_at returns nonzero.

2020-07-06  Martin Sebor  <msebor@redhat.com>

        PR c++/95984
        * call.c (build_over_call): Check calls only when tf_warning is set.

2020-07-06  Nathan Sidwell  <nathan@acm.org>

        * decl.c (push_library_fn): Return the decl pushdecl_toplevel returns.
        * except.c (verify_library_fn): Replace with ...
        (declare_library_fn_1): ... this fn.  Always push the fn.
        (declare_library_fn): Call it.
        (build_throw): Call declare_library_fn_1.

2020-07-06  Jonathan Wakely  <jwakely@redhat.com>

        PR c++/96068
        * parser.c (cp_parser_toplevel_declaration): Only do pedwarn for
        empty-declaration in C++98.

2020-07-02  Jason Merrill  <jason@redhat.com>
            Jakub Jelinek  <jakub@redhat.com>

        * decl.c (grokfndecl): Allow consteval virtual.
        * search.c (check_final_overrider): Check consteval mismatch.
        * constexpr.c (cxx_eval_thunk_call): New.
        (cxx_eval_call_expression): Call it.
        * cvt.c (cp_get_fndecl_from_callee): Handle FDESC_EXPR.
        * decl2.c (mark_vtable_entries): Track vtables with consteval.
        (maybe_emit_vtables): Pass consteval_vtables through.
        (clear_consteval_vfns): Replace consteval with nullptr.
        (c_parse_final_cleanups): Call it.

2020-07-01  Nathan Sidwell  <nathan@acm.org>

        * class.c (copy_fndecl_with_name): Add additional predicate args, do
        not deduce them locally.
        (copy_operator_fn): Adjust copy_fndecl_with_name call.
        (build_clone): Add vtt and inherited predicate args.  Pass through
        to copy_fndecl_with_name call.
        (build_cdtor_clones): Likewise, pass through to build_clone as
        needed.
        (build_cdtor): Determine vtt and inherited here.
        * cp-tree.h (DECL_NEEDS_CTT_PARM_P): Delete.

2020-06-30  Nathan Sidwell  <nathan@acm.org>

        * cp-tree.h (copy_fndecl_with_name): Rename to ...
        (copy_operatorn_fn): ... this.  Change arg type.
        (clone_function_decl): Rename to ...
        (clone_cdtor): ... this.
        * class.c (copy_fndecl_with_name): Make static.
        (copy_operator_fn): New wrapper.
        (build_clones): Rename to ...
        (build_cdtor_clones): ... this.
        (clone_function_decl): Rename to ...
        (clone_cdtor): ... this.  Adjust build_clones calls.
        (clone_constructors_and_destructors): Adjust clone_function_decl
        calls.
        * method.c (implicitly_declare_fn): Adjust copy_fndecl_with_name
        call.
        (lazily_declare_fn): Adjust clone_function_decl call.
        * pt.c (tsubst_function_decl): Likewise.
        (instantiate_template_1): Likewise.

2020-06-30  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Remove trailing
        space in a diagnostic.

2020-06-30  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (expand_one_await_expression): Remove
        code dealing with initial suspend.
        (build_actor_fn): Remove code special-casing initial
        and final suspend. Handle the final suspend and marking
        of the coroutine as done.
        (coro_rewrite_function_body): New.
        (bind_expr_find_in_subtree): Remove.
        (coro_body_contains_bind_expr_p): Remove.
        (morph_fn_to_coro): Split the rewrite of the original
        function into coro_rewrite_function_body and call it.

2020-06-29  Marek Polacek  <polacek@redhat.com>

        PR c++/94553
        * decl.c (duplicate_decls): Make sure a concept or a variable
        template is unique in its declarative region.

2020-06-29  Marek Polacek  <polacek@redhat.com>

        PR c++/95568
        * pt.c (collect_ctor_idx_types): Use TREE_TYPE.

2020-06-28  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95711
        * coroutines.cc (register_local_var_uses): Skip past
        namespace decls.

2020-06-27  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95736
        * coroutines.cc (get_awaitable_var): New helper.
        (build_co_await): Check more carefully before
        copying an awaitable.
        (expand_one_await_expression): No initializer
        is required when the awaitable is not a temp.
        (register_awaits): Remove handling that is now
        completed when the await expression is built.

2020-06-27  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Diagnose unavailable
        get_return_object_on_allocation_failure.

2020-06-26  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95519
        * coroutines.cc (struct coroutine_info):Add a field
        to hold computed p.return_void expressions.
        (coro_build_promise_expression): New.
        (get_coroutine_return_void_expr): New.
        (finish_co_yield_expr): Build the promise expression
        using coro_build_promise_expression.
        (finish_co_return_stmt): Likewise.
        (build_init_or_final_await): Likewise.
        (morph_fn_to_coro): Likewise, for several cases.

2020-06-26  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Handle error
        returns in building g-r-o-o-a-f expressions.

2020-06-24  Nicholas Krause  <xerofoify@gmail.com>

        PR c++/95672
        * typeck2.c (cxx_incomplete_type_diagnostic): Add missing
        TYPE_EXPANSION_PACK check for diagnosing incomplete types in
        cxx_incomplete_type_diagnostic.

2020-06-24  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95518
        PR c++/95813
        * coroutines.cc (act_des_fn): Copy function
        attributes onto the outlined coroutine helpers.

2020-06-24  Jason Merrill  <jason@redhat.com>

        * call.c (build_over_call): Only call build_base_path once.

2020-06-24  Jason Merrill  <jason@redhat.com>

        PR c++/95719
        * call.c (build_over_call): Look up the overrider in base_binfo.
        * class.c (lookup_vfn_in_binfo): Look through BINFO_PRIMARY_P.

2020-06-23  Jason Merrill  <jason@redhat.com>

        PR c++/93976
        Implement C++20 P2082R1, Fixing CTAD for aggregates.
        * cp-tree.h (TPARMS_PRIMARY_TEMPLATE): Split out from...
        (DECL_PRIMARY_TEMPLATE): ...here.
        (builtin_guide_p): Declare.
        * decl.c (reshape_init_class): Handle bases of a template.
        (reshape_init_r): An array with dependent bound takes a single
        initializer.
        * pt.c (tsubst_default_argument): Shortcut {}.
        (unify_pack_expansion): Allow omitted arguments to trailing pack.
        (builtin_guide_p): New.
        (collect_ctor_idx_types): Give a trailing pack a {} default
        argument.  Handle arrays better.

2020-06-23  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95477
        * coroutines.cc (morph_fn_to_coro): Apply a cleanup to
        the get return object when the DTOR is non-trivial.

2020-06-20  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95505
        * coroutines.cc (morph_fn_to_coro): Update handling of
        get-return-object-on-allocation-fail and diagnose missing
        std::nothrow.

2020-06-20  Jason Merrill  <jason@redhat.com>

        * call.c (joust): Only compare constraints for non-template
        candidates with matching parameters.
        * pt.c (tsubst_pack_expansion): Fix getting a type parameter
        pack.
        (more_specialized_fn): Only compare constraints for candidates with
        matching parameters.

2020-06-19  Jason Merrill  <jason@redhat.com>

        * method.c (early_check_defaulted_comparison): Allow defaulting
        comparison outside class.  Complain if non-member operator isn't a
        friend.

2020-06-18  Jason Merrill  <jason@redhat.com>

        * method.c (early_check_defaulted_comparison): Check for &&.
        (build_comparison_op): Allow empty union.  Diagnose non-category
        type.
        (common_comparison_type): Remove handling for non-category type.

2020-06-18  Marek Polacek  <polacek@redhat.com>

        PR c++/95735
        * pt.c (finish_template_variable): Return if
        coerce_innermost_template_parms return error_mark_node.

2020-06-18  Marek Polacek  <polacek@redhat.com>

        PR c++/95728
        * pt.c (tsubst_copy_and_build) <case NEW_EXPR>: Return error_mark_node
        if placement is erroneous.

2020-06-17  Jonathan Wakely  <jwakely@redhat.com>

        PR c++/66159
        * parser.c (cp_parser_elaborated_type_specifier): Do not warn
        unless in a declaration.

2020-06-17  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (copy_fndecl_with_name): Declare.
        * class.c (copy_fndecl_with_name): Split out from...
        (build_clone): ...here.
        (add_implicitly_declared_members): Add op== to TYPE_FIELDS.
        * method.c (implicitly_declare_fn): Use copy_fndecl_with_name.

2020-06-17  Jason Merrill  <jason@redhat.com>

        * call.c (build_new_op_1): Don't look for a CALL_EXPR when
        calling a consteval function.

2020-06-17  Jason Merrill  <jason@redhat.com>

        * decl2.c (grokfield): Pass SD_DEFAULTED and SD_DELETED.
        * decl.c (duplicate_decls): Reduce error for delete
        after earlier declaration to pedwarn.

2020-06-17  Marek Polacek  <polacek@redhat.com>

        PR c++/95508
        * constexpr.c (maybe_fold_non_dependent_expr): New.
        * cp-tree.h (maybe_fold_non_dependent_expr): Declare.
        * typeck.c (cp_build_array_ref): Call maybe_fold_non_dependent_expr
        instead of maybe_constant_value.

2020-06-16  Marek Polacek  <polacek@redhat.com>

        PR c++/95369
        * call.c (add_list_candidates): Return if a designated initializer
        is used with a non-aggregate.
        (implicit_conversion_error): Give an error for the case above.

2020-06-16  Marek Polacek  <polacek@redhat.com>

        PR c++/95560
        * name-lookup.c (check_local_shadow): Check if types are
        non-null before calling same_type_p.

2020-06-16  Jakub Jelinek  <jakub@redhat.com>

        * semantics.c (handle_omp_for_class_iterator): Adjust
        c_omp_check_loop_iv_exprs caller.
        (finish_omp_for): Likewise.  Don't call fold_build_cleanup_point_expr
        before calling c_finish_omp_for and c_omp_check_loop_iv, move it
        after those calls.
        * pt.c (tsubst_omp_for_iterator): Handle non-rectangular loops.

2020-06-16  Jakub Jelinek  <jakub@redhat.com>

        * parser.c (cp_parser_omp_clause_schedule): Reject modifier separated
        from kind by comma rather than colon.

2020-06-16  Patrick Palka  <ppalka@redhat.com>

        * pt.c (perform_instantiation_time_access_checks): No need to
        tsubst into decl.
        * semantics.c (enforce_access): Verify that decl is not
        dependent.

2020-06-16  Patrick Palka  <ppalka@redhat.com>

        PR c++/41437
        PR c++/47346
        * cp-tree.h (qualified_typedef_usage_s): Delete.
        (qualified_typedef_usage_t): Delete.
        (deferred_access_check): Move up in file.
        (tree_template_info::typedefs_needing_access_checking): Delete.
        (tree_template_info::deferred_access_checks): New field.
        (TI_TYPEDEFS_NEEDING_ACCESS_CHECKING): Rename to ...
        (TI_DEFERRED_ACCESS_CHECKS): ... this, and adjust accordingly.
        * pt.c (perform_typedefs_access_check): Rename to ...
        (perform_instantiation_time_access_checks): ... this, and adjust
        accordingly.  Remove unnecessary tree tests.
        (instantiate_class_template_1): Adjust accordingly.
        (instantiate_decl): Likewise.
        * semantics.c (enforce_access): Likewise.

2020-06-16  Patrick Palka  <ppalka@redhat.com>

        PR c++/41437
        PR c++/47346
        * call.c (enforce_access): Move to semantics.c.
        * cp-tree.h (enforce_access): Delete.
        (get_types_needing_access_check): Delete.
        (add_typedef_to_current_template_for_access_check): Delete.
        * decl.c (make_typename_type): Adjust accordingly.  Use
        check_accessibility_of_qualified_id instead of directly using
        perform_or_defer_access_check.
        * parser.c (cp_parser_template_declaration_after_parameters):
        Don't push a dk_no_check access state when parsing a template.
        * pt.c (get_types_needing_access_check): Delete.
        (append_type_to_template_for_access_check_1): Delete.
        (perform_typedefs_access_check): Adjust.  If type_decl is a
        FIELD_DECL, also check its DECL_CONTEXT for dependence. Use
        tsubst_copy instead of tsubst to substitute into type_decl so
        that we substitute into the DECL_CONTEXT of a FIELD_DECL.
        (append_type_to_template_for_access_check): Delete.
        * search.c (accessible_p): Remove the processing_template_decl
        early exit.
        * semantics.c (enforce_access): Moved from call.c.  If we're
        parsing a template and the access check failed, add the check to
        TI_TYPEDEFS_NEEDING_ACCESS_CHECKING.
        (perform_or_defer_access_check): Adjust comment.
        (add_typedef_to_current_template_for_access_check): Delete.
        (check_accessibility_of_qualified_id):  Adjust accordingly.
        Exit early if the scope is dependent.

2020-06-11  Patrick Palka  <ppalka@redhat.com>

        PR c++/93467
        * constraint.cc (associate_classtype_constraints): If there is a
        discrepancy between the current template depth and the template
        depth of the original declaration, then adjust the template
        parameter depth within the current constraints appropriately.
        * pt.c (tsubst_friend_class): Substitute into and set the
        constraints on the injected declaration.

2020-06-11  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (instantiate_coro_traits): Pass a reference
        to lambda closure objects to traits instantiation.
        (morph_fn_to_coro): Likewise for promise parameter
        preview and allocator lookup.

2020-06-10  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95440
        * call.c (add_candidates): Use vec_safe_length() for
        testing the arguments list.
        (build_new_method_call_1): Use vec_safe_is_empty() when
        checking for an empty args list.

2020-06-10  Marek Polacek  <polacek@redhat.com>

        PR c++/95562
        * parser.c (cp_parser_direct_declarator): Clear
        CP_PARSER_FLAGS_DELAY_NOEXCEPT if the declarator kind is not
        cdk_id.

2020-06-09  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95137
        * coroutines.cc (expand_one_await_expression): Build separate
        DTOR trees for the awaitable object on the destroy and resume
        paths.

2020-06-09  Jason Merrill  <jason@redhat.com>

        PR c++/95552
        * cp-gimplify.c (predeclare_vla): Only predeclare a VLA if it's
        wrapped in a pointer type.

2020-06-05  Marek Polacek  <polacek@redhat.com>

        PR c++/95369
        * call.c (build_converted_constant_expr_internal): Allow
        list-initialization.

2020-06-05  Iain Sandoe  <iain@sandoe.co.uk>

        * cp-tree.def (CO_RETURN_EXPR): Correct the class
        to use tcc_statement.

2020-06-05  Jason Merrill  <jason@redhat.com>

        * error.c (dump_binary_op): Handle negative operand to
        POINTER_PLUS_EXPR.

2020-06-04  Jason Merrill  <jason@redhat.com>

        PR c++/93310
        * constexpr.c (cxx_eval_constant_expression) [OBJ_TYPE_REF]:
        Evaluate OBJ_TYPE_REF_EXPR.

2020-06-04  Jason Merrill  <jason@redhat.com>

        PR c++/95158
        * class.c (lookup_vfn_in_binfo): New.
        * call.c (build_over_call): Use it.
        * cp-tree.h (resolves_to_fixed_type_p): Add default argument.
        (lookup_vfn_in_binfo): Declare.

2020-06-04  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95346
        * coroutines.cc (morph_fn_to_coro): Ensure that the get-
        return-object is constructed correctly; When it is not the
        final return value, pass it to the CTOR of the return type
        as an rvalue, per the standard comment.

2020-06-04  Jakub Jelinek  <jakub@redhat.com>

        PR c++/82304
        PR c++/95307
        * constexpr.c (cxx_eval_constant_expression): Diagnose CONVERT_EXPR
        conversions from pointer types to arithmetic types here...
        (cxx_eval_outermost_constant_expr): ... instead of here.

2020-06-03  Mark Wielaard  <mark@klomp.org>

        * parser.c (cp_lexer_safe_previous_token): New function.
        (cp_parser_error_1): Add name_hint if the previous token is
        a string literal and next token is a CPP_NAME and we have a
        missing header suggestion for the name.

2020-06-03  Patrick Palka  <ppalka@redhat.com>

        * pt.c (process_partial_specialization): Pass the full set of
        generic template arguments to strictly_subsumes.

2020-06-03  Patrick Palka  <ppalka@redhat.com>

        PR c++/92103
        * pt.c (most_specialized_partial_spec): Reorganize the loop over
        DECL_TEMPLATE_SPECIALIZATIONS.  Check constraints_satisfied_p on
        the original template declaration, not on the tsubsted one.

2020-06-03  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95345
        * coroutines.cc (finish_co_await_expr): Revise to allow for
        parameter packs.
        (finish_co_yield_expr): Likewise.

2020-06-03  Jason Merrill  <jason@redhat.com>

        PR c++/95232
        * cp-tree.h (predeclare_vla): Declare.
        * cp-gimplify.c (predeclare_vla): Handle getting a decl.
        * pt.c (tsubst_expr) [DECL_EXPR]: Use it.

2020-06-03  Tobias Burnus  <tobias@codesourcery.com>

        * cp-gimplify.c (cxx_omp_predetermined_mapping): New.
        * cp-objcp-common.h (LANG_HOOKS_OMP_PREDETERMINED_MAPPING): Redfine.
        * cp-tree.h (cxx_omp_predetermined_mapping): Declare.

2020-06-02  Jason Merrill  <jason@redhat.com>

        PR c++/95193
        * pt.c (tsubst_decl): Relax assert.

2020-06-02  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95050
        * coroutines.cc (build_co_await): Wrap the co_await expression
        in a TARGET_EXPR, where needed.
        (finish_co_yield_expr): Likewise.

2020-06-02  Patrick Palka  <ppalka@redhat.com>

        PR c++/92633
        PR c++/92838
        * pt.c (tsubst_function_decl): Don't do set_constraints when
        regenerating a lambda.
        (tsubst_lambda_expr): Substitute into the lambda's constraints
        and do set_constraints here.

2020-06-01  Jason Merrill  <jason@redhat.com>

        PR c++/95466
        PR c++/95311
        PR c++/95221
        * class.c (build_vfn_ref): Revert 95311 change.
        * cp-ubsan.c (cp_ubsan_maybe_instrument_member_call): Build a
        COMPOUND_EXPR.

2020-06-01  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95350
        * coroutines.cc (struct param_info): Remove rv_ref field.
        (build_actor_fn): Remove specifial rvalue ref handling.
        (morph_fn_to_coro): Likewise.

2020-05-31  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95087
        * coroutines.cc (morph_fn_to_coro): If we see an
        early fatal error, drop the erroneous function body.

2020-05-31  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (build_co_await): Remove unused
        variable.
        (finish_co_await_expr): Likewise.
        (finish_co_yield_expr): Likewise; revise comment.

2020-05-30  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Revise initialization
        of the frame pointer to avoid an unused value.

2020-05-30  Patrick Palka  <ppalka@redhat.com>

        PR c++/95386
        * constraint.cc (satisfaction_value): Accept INTEGER_CST of any
        boolean type.

2020-05-29  Patrick Palka  <ppalka@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/95181
        * class.c (add_method): Let special member function templates
        coexist if they are not equivalently constrained, or in a class
        template.

2020-05-29  Jason Merrill  <jason@redhat.com>

        PR c++/95371
        * pt.c (process_template_parm): Set DECL_TEMPLATE_INFO
        on the DECL_TEMPLATE_RESULT.

2020-05-29  Marek Polacek  <polacek@redhat.com>

        PR c++/95344
        * cp-gimplify.c (cp_fold) <case MODIFY_EXPR>: Don't set
        TREE_THIS_VOLATILE here.
        (cp_fold): Set it here along with TREE_NO_WARNING.

2020-05-29  Jason Merrill  <jason@redhat.com>

        PR c++/95311
        PR c++/95221
        * class.c (build_vfn_ref): Don't fold the INDIRECT_REF.

2020-05-29  Patrick Palka  <ppalka@redhat.com>

        PR c++/92652
        PR c++/93698
        PR c++/94128
        * parser.c (cp_parser_requires_clause_expression): Temporarily
        increment processing_template_decl only if it is 0.
        (cp_parser_constraint_expression): Likewise.
        (cp_parser_requires_expression): Likewise.

2020-05-29  Patrick Palka  <ppalka@redhat.com>

        PR c++/95241
        * constexpr.c (get_or_insert_ctor_field): Add limited support
        for RANGE_EXPR index lookups.

2020-05-28  Jakub Jelinek  <jakub@redhat.com>

        PR c++/95328
        * decl.c (cp_finish_decomp): Call complete_type before checking
        COMPLETE_TYPE_P.

2020-05-28  Jason Merrill  <jason@redhat.com>

        PR c++/94926
        * decl.c (cp_finish_decl): Revert r9-297 change.
        (check_static_variable_definition): Likewise.
        * constexpr.c (ensure_literal_type_for_constexpr_object): Likewise.
        * pt.c (instantiate_decl): Return early on type error.

2020-05-27  Jason Merrill  <jason@redhat.com>

        PR c++/95319
        * decl.c (reshape_init_array_1): Don't reuse in overload context.

2020-05-27  Jason Merrill  <jason@redhat.com>

        PR c++/95242
        * call.c (build_new_op_1): Suppress
        warn_zero_as_null_pointer_constant across comparison of <=> result
        to 0.

2020-05-27  Jason Merrill  <jason@redhat.com>

        PR c++/95222
        * decl.c (grokdeclarator): Don't shift attributes in TYPENAME
        context.

2020-05-27  Nathan Sidwell  <nathan@acm.org>

        PR c++/95263
        * pt.c (lookup_template_class_1): Restore alias template mutation.

2020-05-26  Jakub Jelinek  <jakub@redhat.com>

        PR c++/95197
        * cp-gimplify.c: Include omp-general.h.
        (cp_genericize_r) <case OMP_DISTRIBUTE>: For class iteration
        variables in composite distribute parallel for, instantiate copy
        ctor of their types.

2020-05-23  Patrick Palka  <ppalka@redhat.com>

        PR c++/94038
        * constexpr.c (cxx_eval_constant_expression)
        <case TEMPLATE_ID_EXPR>: Don't evaluate the concept when
        constexpr evaluation is uid-sensitive.

2020-05-22  Jason Merrill  <jason@redhat.com>

        * cp-gimplify.c (cp_gimplify_expr) [CALL_EXPR]: Don't preevaluate
        the function address if the call used operator syntax.

2020-05-21  Jason Merrill  <jason@redhat.com>

        PR c++/95221
        * cp-ubsan.c (cp_ubsan_maybe_instrument_member_call): For a virtual
        call, instrument the OBJ_TYPE_REF.

        * decl.c (compute_array_index_type_loc): Diagnose expressions
        in a template that can't be constant.
        * parser.c (cp_parser_direct_declarator): Don't check
        non-constant array bounds here.

        * cp-tree.h (is_rvalue_constant_expression): Declare.
        * constexpr.c (is_rvalue_constant_expression): New.
        * parser.c (cp_parser_constant_expression): Use it.
        * decl.c (cp_finish_decl): Try to treat a constexpr initializer in a
        template as constant.

        * typeck.c (build_x_modify_expr): Handle error_mark_node arguments.

        * decl.c (grokparms): Return NULL_TREE if any parms were erroneous.

2020-05-21  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (finish_co_return_stmt): Revert change to use
        finish_expr_stmt.

2020-05-21  Patrick Palka  <ppalka@redhat.com>

        PR c++/94038
        * constexpr.c (constexpr_ctx::uid_sensitive): Remove field.
        (uid_sensitive_constexpr_evaluation_value): Define.
        (uid_sensitive_constexpr_evaluation_true_counter): Define.
        (uid_sensitive_constexpr_evaluation_p): Define.
        (uid_sensitive_constexpr_evaluation_sentinel): Define its
        constructor.
        (uid_sensitive_constexpr_evaluation_checker): Define its
        constructor and its evaluation_restricted_p method.
        (get_fundef_copy): Remove 'ctx' parameter.  Use u_s_c_e_p
        instead of constexpr_ctx::uid_sensitive.
        (cxx_eval_call_expression): Use u_s_c_e_p instead, and test it
        last.  Adjust call to get_fundef_copy.
        (instantiate_cx_fn_r): Test u_s_c_e_p so that we increment the
        counter if necessary.
        (cxx_eval_outermost_constant_expr): Remove 'uid_sensitive'
        parameter.  Adjust function body accordingly.
        (maybe_constant_value): Remove 'uid_sensitive' parameter and
        adjust function body accordingly.  Set up a
        uid_sensitive_constexpr_evaluation_checker, and use it to
        conditionally update the cv_cache.
        * cp-gimplify.c (cp_fold): Set up a
        uid_sensitive_constexpr_evaluation_checker, and use it to
        conditionally update the fold_cache.
        * cp-tree.h (maybe_constant_value): Update declaration.
        (struct uid_sensitive_constexpr_evaluation_sentinel): Define.
        (struct sensitive_constexpr_evaluation_checker): Define.
        * expr.c (fold_for_warn): Set up a
        uid_sensitive_constexpr_evaluation_sentinel before calling
        the folding subroutines.  Drop all but the first argument to
        maybe_constant_value.

2020-05-20  Marek Polacek  <polacek@redhat.com>

        DR 2237
        * parser.c (cp_parser_unqualified_id): Reject simple-template-id as
        the declarator-id of a destructor.
        (cp_parser_constructor_declarator_p): Reject simple-template-id as
        the declarator-id of a constructor.

2020-05-20  Marek Polacek  <polacek@redhat.com>

        DR 2289
        PR c++/94553
        * cp-tree.h (SD_DECOMPOSITION): New flag.
        * decl.c (duplicate_decls): Make sure a structured binding is unique
        in its declarative region.
        (start_decl): If INITIALIZED is SD_DECOMPOSITION, call
        fit_decomposition_lang_decl.
        (grokdeclarator): Compare INITIALIZED directly to SD_* flags.
        * parser.c (cp_parser_decomposition_declaration): Pass SD_DECOMPOSITION
        to start_decl.

2020-05-20  Patrick Palka  <ppalka@redhat.com>

        PR c++/95223
        * typeck.c (structural_comptypes): Don't perform
        context-dependent resolution of TYPENAME_TYPEs when
        comparing_specializations.

2020-05-19  Nathan Sidwell  <nathan@acm.org>

        * pt.c (lookup_template_class_1): Do not reinit template_info of an
        alias here.

2020-05-18  Martin Sebor  <msebor@redhat.com>

        PR c++/94923
        * call.c ((maybe_warn_class_memaccess): Use is_byte_access_type.
        * cp-tree.h (is_dummy_object): Return bool.
        (is_byte_access_type): Declare new function.
        * tree.c (is_dummy_object): Return bool.
        (is_byte_access_type): Define new function.

2020-05-19  Patrick Palka  <ppalka@redhat.com>

        PR c++/87847
        * pt.c (init_template_processing): Enable sanitization for
        decl_specializations and type_specializations.

        PR c++/66439
        * pt.c (fn_type_unification): Pass 'fn' instead of NULL_TREE as
        the 'in_decl' parameter to coerce_template_parms.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        PR c++/94955
        * typeck.c (cp_build_binary_op): Use fold_for_warn instead of
        cp_fold_rvalue.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        PR c++/94937
        * cvt.c (cp_get_fndecl_from_callee): Return NULL_TREE if the function
        type is not INDIRECT_TYPE_P.
        * decl.c (omp_declare_variant_finalize_one): Call
        cp_get_callee_fndecl_nofold instead of looking for the function decl
        manually.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        PR c++/90915
        * parser.c (cp_parser_has_attribute_expression): Sorry on a
        type-dependent argument.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        DR 1512
        PR c++/87699
        * call.c (add_builtin_candidate) <case EQ_EXPR>: Create candidate
        operator functions when type is std::nullptr_t for ==/!=.
        * typeck.c (composite_pointer_type_r): Add a bool * parameter.  Use it
        to maybe add "const" to the pointer type.
        (composite_pointer_type): Update the call to composite_pointer_type_r.
        (cp_build_binary_op): Turn two warning_at into error_at.  Print the
        types.

2020-05-18  Jason Merrill  <jason@redhat.com>

        * call.c (build_over_call): Remove unnecessary
        cp_stabilize_reference.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        * call.c (add_builtin_candidate): Don't create a builtin overload
        candidate for ++ when type is bool in C++17.

2020-05-18  Marek Polacek  <polacek@redhat.com>

        * cfns.h: Regenerated.

2020-05-17  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Initialize the gro variable.

2020-05-16  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (finish_co_return_stmt): Implement rules
        from [class.copy.elision] /3.

2020-05-16  Patrick Palka  <ppalka@redhat.com>

        PR c++/57943
        * semantics.c (finish_decltype_type): Call
        instantiate_non_dependent_expr_sfinae on the expression.

2020-05-15  Patrick Palka  <ppalka@redhat.com>

        Revert:

        2020-04-07  Patrick Palka  <ppalka@redhat.com>

        PR c++/90996
        * typeck2.c (process_init_constructor_array): Propagate
        CONSTRUCTOR_PLACEHOLDER_BOUNDARY up from each element initializer to
        the array initializer.

2020-05-15  Jason Merrill  <jason@redhat.com>

        PR c++/93286 - ICE with __is_constructible and variadic template.
        * pt.c (tsubst_tree_list): New.
        (tsubst, tsubst_copy_and_build): Use it.
        * decl2.c (is_late_template_attribute): Handle error_mark_node args.

2020-05-15  Nathan Sidwell  <nathan@acm.org>

        * pt.c (template_args_equal): Fix thinkos in previous 'cleanup'.

2020-05-14  Jason Merrill  <jason@redhat.com>

        PR c++/93901
        * pt.c (maybe_instantiate_noexcept): Change clone handling.

2020-05-14  Patrick Palka  <ppalka@redhat.com>

        PR c++/78446
        * call.c (build_op_call): Pass complain to lookup_fnfields.
        (build_special_member_call): Likewise.
        * class.c (type_requires_array_cookie): Pass tf_warning_or_error
        to lookup_fnfields.
        * cp-tree.h (lookup_fnfields): Add tsubst_flags_t parameter.
        * except.c (build_throw): Pass tf_warning_or_error to
        lookup_fnfields.
        * init.c (build_new_1): Pass complain to lookup_fnfields.
        * method.c (locate_fn_flags): Likewise.
        * name-lookup.c (lookup_name_real_1): Pass tf_warning_or_error
        to lookup_fnfields.
        * pt.c (tsubst_baselink): Pass complain to lookup_fnfields.
        * search.c (lookup_fnfields): New 'complain' parameter.  Pass it
        to lookup_member.

2020-05-14  Nathan Sidwell  <nathan@acm.org>

        * parser.c (cp_parser_diagnose_invalid_typename): Mention
        std=c++20 not 2a, reformat dependent binfo inform loops.

        * pt.c (tsubst_template_decl): Reorder and commonize some control
        paths.

        * pt.c (tsubst_friend_function): Simplify control flow.

        * pt.c (lookup_template_class_1): Remove unnecessary else by
        simply grabbing TYPE_NAME earlier.

        * pt.c (push_template_decl_real): Adjust friend pushing logic.
        Reinit template type.

        * pt.c (build_template_decl): Init DECL_TEMPLATE_RESULT &
        TREE_TYPE here ...
        (process_partial_specialization): ... not here ...
        (push_template_decl_real, add_inherited_template_parms)
        (build_deduction_guide): ... or here.

2020-05-14  Jakub Jelinek  <jakub@redhat.com>

        * cp-gimplify.c (cp_genericize_r): Set cfun->has_omp_target.

2020-05-13  Patrick Palka  <ppalka@redhat.com>

        PR c++/79706
        * init.c (build_vec_delete_1): Just return error_mark_node if
        deallocate_expr is error_mark_node.
        (build_delete): Just return error_mark_node if do_delete is
        error_mark_node.

2020-05-13  Patrick Palka  <ppalka@redhat.com>

        PR c++/95020
        * constraint.cc (tsubst_requires_expr): Produce a new
        requires-expression when processing_template_decl, even if
        template arguments are not dependent.

2020-05-13  Marek Polacek  <polacek@redhat.com>

        PR c++/95066
        * decl.c (duplicate_decls): Set DECL_HAS_DEPENDENT_EXPLICIT_SPEC_P.

2020-05-13  Nathan Sidwell  <nathan@acm.org>

        * pt.c (template_args_equal): Reorder category checking for
        clarity.

        * pt.c (perform_typedefs_access_check): Cache expensively
        calculated object references.
        (check_auto_in_tmpl_args): Just assert we do not get unexpected
        nodes, rather than silently do nothing.
        (append_type_to_template_for_access): Likewise, cache expensie
        object reference.

        * pt.c (canonical_type_parameter): Simplify.

        Formatting fixups & some simplifications.
        * pt.c (spec_hash_table): New typedef.
        (decl_specializations, type_specializations): Use it.
        (retrieve_specialization): Likewise.
        (register_specialization): Remove unnecessary casts.
        (push_template_decl_real): Reformat.
        (instantiate_class_template_1): Use more RAII.
        (make_argument_pack): Simplify.
        (instantiate_template_1): Use gcc_checking_assert for expensive
        asserts.
        (instantiate_decl): Likewise.
        (resolve_typename_type): Reformat comment.
        * semantics.c (struct deferred_access): Remove unnecessary GTY on
        member.
        (begin_class_definition): Fix formatting.

2020-05-13  Jason Merrill  <jason@redhat.com>

        * call.c, class.c, constexpr.c, constraint.cc, decl.c, init.c,
        lambda.c, lex.c, method.c, name-lookup.c, parser.c, pt.c, tree.c,
        typeck2.c: Change cxx2a to cxx20.

2020-05-12  Marek Polacek  <polacek@redhat.com>

        PR c++/95074
        * parser.c (cp_parser_postfix_expression) <case CPP_OPEN_PAREN>: When
        looking for a block-scope function declaration, look through the whole
        set, not just the first function in the overload set.

2020-05-12  Jakub Jelinek  <jakub@redhat.com>

        PR c++/95063
        * pt.c (tsubst_decl): Deal with DECL_OMP_PRIVATIZED_MEMBER for
        a bit-field.

2020-05-11  Jason Merrill  <jason@redhat.com>

        Resolve C++20 NB comment CA104
        * pt.c (determine_specialization): Compare constraints for
        specialization of member template of class instantiation.

2020-05-11  Jason Merrill  <jason@redhat.com>

        PR c++/92583
        PR c++/92654
        * tree.c (cp_walk_subtrees): Stop at typedefs.
        Handle TYPENAME_TYPE here.
        * pt.c (find_parameter_packs_r): Not here.
        (for_each_template_parm_r): Clear *walk_subtrees.
        * decl2.c (min_vis_r): Look through typedefs.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * call.c (implicit_conversion_error): Split out from...
        (perform_implicit_conversion_flags): ...here.
        (build_converted_constant_expr_internal): Use it.

2020-05-11  Jason Merrill  <jason@redhat.com>

        PR c++/90748
        * parser.c (inject_parm_decls): Set current_class_ptr here.
        (cp_parser_direct_declarator): And here.
        (cp_parser_late_return_type_opt): Not here.
        (cp_parser_noexcept_specification_opt): Nor here.
        (cp_parser_exception_specification_opt)
        (cp_parser_late_noexcept_specifier): Remove unneeded parameters.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * decl.c (cxx_init_decl_processing): Call declare_weak for
        __cxa_pure_virtual.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * pt.c (instantiate_class_template_1): Call tsubst_expr for
        STATIC_ASSERT member.
        * ptree.c (cxx_print_xnode): Handle STATIC_ASSERT.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * pt.c (find_parameter_packs_r) [LAMBDA_EXPR]: Remove redundant
        walking of capture list.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Remove.
        * call.c (build_new_function_call): Don't set it.
        (build_new_method_call_1): Likewise.
        (build_over_call): Check cand->explicit_targs instead.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * decl.c (compute_array_index_type_loc): Stabilize before building
        the MINUS_EXPR.

2020-05-11  Jason Merrill  <jason@redhat.com>

        * decl.c (grokdeclarator): Adjust deprecated_state here.
        (start_decl): Not here.

2020-05-08  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/95003
        * coroutines.cc (build_actor_fn): Ensure that bind scopes
        are marked as having side-effects where necessary.
        (replace_statement_captures): Likewise.
        (morph_fn_to_coro): Likewise.

2020-05-08  Nathan Sidwell  <nathan@acm.org>

        * NEWS: Delete, it is so stale.

        * parser.c (cp_lexer_set_source_position_from_token): EOF has a
        location too.

2020-05-07  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94817
        PR c++/94829
        * coroutines.cc (morph_fn_to_coro): Set unformed outline
        functions to error_mark_node.  For early error returns suppress
        warnings about missing ramp return values.  Fix reinstatement
        of the function body on pre-existing initial error.
        * decl.c (finish_function): Use the normal error path for fails
        in the ramp function, do not try to compile the helpers if the
        transform fails.

2020-05-07  Marek Polacek  <polacek@redhat.com>

        PR c++/94590 - Detect long double -> double narrowing.
        * typeck2.c (check_narrowing): Detect long double -> double
        narrowing even when double and long double have the same
        precision.  Make it handle conversions to float too.

2020-05-07  Marek Polacek  <polacek@redhat.com>

        PR c++/94255
        * parser.c (cp_parser_class_specifier_1): Check that the scope is
        nested inside current scope before pushing it.

2020-05-07  Marek Polacek  <polacek@redhat.com>

          P1957R2
          * typeck2.c (check_narrowing): Consider T* to bool narrowing
          in C++11 and up.

2020-05-07  Marek Polacek  <polacek@redhat.com>

        * decl.c (grok_op_properties): Fix spelling of non-static.
        * typeck.c (build_class_member_access_expr): Likewise.

2020-05-07  Richard Biener  <rguenther@suse.de>

        PR middle-end/94703
        * optimize.c (update_cloned_parm): Copy DECL_NOT_GIMPLE_REG_P.

2020-05-06  Marek Polacek  <polacek@redhat.com>

        PR c++/94938
        * pt.c (tsubst_copy_and_build): Call type_dependent_expression_p_push
        instead of uses_template_parms.  Move the warning_sentinels after the
        RECURs.

2020-05-06  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94951
        * typeck.c (cp_strict_aliasing_warning): New function.
        (cp_build_indirect_ref_1, build_reinterpret_cast_1): Use
        it instead of strict_aliasing_warning.

        PR c++/94907
        * method.c (defaulted_late_check): Don't call synthesize_method
        on constexpr sfk_comparison if it has been called on it already.

2020-05-06  Nathan Sidwell  <nathan@acm.org>

        PR c++/94946
        * decl.c (grokdeclarator): Don't splice template attributes in
        parm context -- they can apply to the parm.

2020-05-05  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc: Remove references to n4849 throughout.

2020-05-05  Jason Merrill  <jason@redhat.com>

        CWG 2235
        * pt.c (more_specialized_fn): Do consider parms with no deducible
        template parameters.

2020-05-05  Jason Merrill  <jason@redhat.com>

        PR c++/90212
        * constexpr.c (potential_constant_expression_1): In a lambda
        function, consider a captured variable directly.

2020-05-05  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (transform_await_wrapper): Check that we have
        no unlowered co_yields.
        (captures_temporary): Likewise.
        (register_awaits): Likewise.

2020-05-05  Nathan Sidwell  <nathan@acm.org>

        PR c++/94807
        * coroutines.cc (morph_fn_to_coro): Just check for
        closure_identifier.
        * pt.c (tsubst_function_decl): Update lambda fn's this_ptr name.

2020-05-05  Marek Polacek  <polacek@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/94799
        * parser.c (cp_parser_postfix_dot_deref_expression): If we have
        a type-dependent object of class type, stash it to
        parser->context->object_type.  If the postfix expression doesn't have
        a type, use typeof.
        (cp_parser_class_name): Consider object scope too.
        (cp_parser_lookup_name): Remove code dealing with the case when
        object_type is unknown_type_node.

2020-05-04  Patrick Palka  <ppalka@redhat.com>

        PR c++/94038
        * cp-gimplify.c (cp_fold) <case CALL_EXPR>: Move some variable
        declarations closer to their uses.  Copy the CALL_EXPR only
        when one of its arguments has changed.
        <case TREE_VEC>: Instead of first collecting the folded
        arguments into a releasing_vec, just make a copy of the TREE_VEC
        as soon as folding changes one of its arguments.

2020-05-04  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (morph_fn_to_coro): Mark the coro.gro variable
        as artificial and ignored.

2020-05-04  Nathan Sidwell  <nathan@acm.org>

        pt.c (process_template_parm): Don't walk the template list twice,
        remember the final node instead.
        (end_template_parm_list): Refactor.  Comment on why we do a pop
        and a push.

        PR c++/94827 -- don't save parms in nested requirement
        * constraint.cc (tsubst_nested_requirement): TYPE directly holds
        notmalized requirement.
        (finish_nested_requirement): Don't stash current tpl parms into
        the requirement.
        (diagnose_nested_requirement): TYPE directly holds notmalized
        requirement.

2020-05-01  Patrick Palka  <ppalka@redhat.com>

        PR c++/90880
        * cp-tree.h (check_accessibility_of_qualified_id): Add
        tsubst_flags_t parameter and change return type to bool.
        * parser.c (cp_parser_lookup_name): Pass tf_warning_to_error to
        check_accessibility_of_qualified_id.
        * pt.c (tsubst_qualified_id): Return error_mark_node if
        check_accessibility_of_qualified_id returns false.
        * semantics.c (check_accessibility_of_qualified_id): Add
        complain parameter.  Pass complain instead of
        tf_warning_or_error to perform_or_defer_access_check.  Return
        true unless perform_or_defer_access_check returns false.

2020-05-01  Marek Polacek  <polacek@redhat.com>

        PR c++/94885
        * typeck2.c (process_init_constructor_record): Return PICFLAG_ERRONEOUS
        if an initializer element was erroneous.

2020-05-01  Jason Merrill  <jason@redhat.com>

        PR c++/90479
        * init.c (get_nsdmi): Don't push_to_top_level for a local class.

2020-05-01  Jason Merrill  <jason@redhat.com>

        PR c++/91529
        * decl.c (cp_finish_decl): Also clear TREE_READONLY if
        -fmerge-all-constants.

2020-05-01  Jason Merrill  <jason@redhat.com>

        PR c++/93822
        * pt.c (tsubst_decl): Make sure DECL_VALUE_EXPR continues to have
        the same type as the variable.

2020-04-30  Jason Merrill  <jason@redhat.com>
            Nathan Sidwell  <nathan@acm.org>

        PR c++/94827
        * constraint.cc (map_arguments): If ARGS is null, it's a
        self-mapping of parms.
        (finish_nested_requirement): Do not pass argified
        current_template_parms to normalization.
        (tsubst_nested_requirement): Don't assert no template parms.

2020-04-30  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94886
        * coroutines.cc (transform_local_var_uses): Defer walking
        the DECL_INITIALs of BIND_EXPR vars until all the frame
        allocations have been made.

2020-04-30  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94883
        * coroutines.cc (register_awaits): Update target
        expressions for awaitable and suspend handle
        initializers.

2020-04-30  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94879
        * coroutines.cc (build_co_await): Account for variables
        with DECL_VALUE_EXPRs.
        (captures_temporary): Likewise.
        (register_awaits): Likewise.

2020-04-29  Patrick Palka  <ppalka@redhat.com>

        PR c++/94830
        * pt.c (find_template_parameter_info::parm_list): New field.
        (keep_template_parm): Use the new field to build up the
        parameter list here instead of ...
        (find_template_parameters): ... here.  Return ftpi.parm_list.

2020-04-29  Jakub Jelinek  <jakub@redhat.com>

        PR target/94707
        * class.c (build_base_field): Set DECL_FIELD_ABI_IGNORED on C++17 empty
        base artificial FIELD_DECLs.
        (layout_class_type): Set DECL_FIELD_ABI_IGNORED on empty class
        field_poverlapping_p FIELD_DECLs.

2020-04-29  Patrick Palka  <ppalka@redhat.com>

        PR c++/94819
        * constraint.cc (satisfy_declaration_constraints): Use saved_t
        instead of t as the key to decl_satisfied_cache.

        PR c++/94808
        * error.c (print_requires_expression_info): Print the dependent
        form of the parameter list with its template parameter mapping,
        rather than printing the substituted form.

2020-04-28  Jason Merrill  <jason@redhat.com>

        PR c++/94583
        * decl.c (use_eh_spec_block): Check nothrow type after
        DECL_DEFAULTED_FN.
        * pt.c (maybe_instantiate_noexcept): Call synthesize_method for
        DECL_MAYBE_DELETED fns here.
        * decl2.c (mark_used): Not here.
        * method.c (get_defaulted_eh_spec): Reject DECL_MAYBE_DELETED here.

2020-04-28  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94760
        * coroutines.cc (instantiate_coro_traits): Pass a reference to
        object type rather than a pointer type for 'this', for method
        coroutines.
        (struct param_info): Add a field to hold that the parm is a lambda
        closure pointer.
        (morph_fn_to_coro): Check for lambda closure pointers in the
        args.  Use a reference to *this when building the args list for the
        promise allocator lookup.

2020-04-28  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94759
        * coroutines.cc (coro_promise_type_found_p): Do not
        exclude non-classes here (this needs to be handled in the
        coroutine header).
        (morph_fn_to_coro):  Allow for the case where the coroutine
        returns void.

2020-04-27  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94701
        * coroutines.cc (struct local_var_info): Add fields for static
        variables and those with DECL_VALUE_EXPR redirection.
        (transform_local_var_uses): Skip past typedefs and static vars
        and then account for redirected variables.
        (register_local_var_uses): Likewise.

2020-04-27  Jason Merrill  <jason@redhat.com>

        PR c++/90750
        PR c++/79585
        * decl.c (grokdeclarator): Move dependent attribute to decl.
        * decl2.c (splice_template_attributes): No longer static.

2020-04-27  Patrick Palka  <ppalka@redhat.com>

        PR c++/94772
        * constexpr.c (cxx_eval_call_expression): Don't set new_obj if we're
        evaluating the target constructor of a delegating constructor.
        (cxx_eval_store_expression): Don't set TREE_READONLY if the LHS of the
        INIT_EXPR is '*this'.

2020-04-26  Marek Polacek  <polacek@redhat.com>

        PR c++/90320
        * call.c (struct conversion): Add copy_init_p.
        (standard_conversion): Set copy_init_p in ck_base and ck_rvalue
        if FLAGS demands LOOKUP_ONLYCONVERTING.
        (convert_like_real) <case ck_base>: If copy_init_p is set, or
        LOOKUP_ONLYCONVERTING into FLAGS.

2020-04-26  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94752
        * coroutines.cc (morph_fn_to_coro): Ensure that
        unnamed function params have a usable and distinct
        frame field name.

2020-04-24  Jason Merrill  <jason@redhat.com>

        PR c++/94583
        * decl.c (redeclaration_error_message): Reject defaulted comparison
        operator that has been previously declared.

2020-04-25  Patrick Palka  <ppalka@redhat.com>

        * parser.c (cp_parser_diagnose_invalid_type_name): Suggest enabling
        concepts if the invalid identifier is 'requires'.

2020-04-25  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94742
        * semantics.c (finish_call_expr): When looking if all overloads
        are noreturn, use STRIP_TEMPLATE to look through TEMPLATE_DECLs.

2020-04-24  Martin Liska  <mliska@suse.cz>

        * coroutines.cc: Fix compilation error for release checking
        where we miss declaration of ‘coro_body_contains_bind_expr_p’.

2020-04-23  Patrick Palka  <ppalka@redhat.com>

        * tree.c (zero_init_expr_p): Use uses_template_parms instead of
        dependent_type_p.

        PR c++/94645
        * pt.c (template_class_depth): Walk into the DECL_FRIEND_CONTEXT of a
        friend declaration rather than into its CP_DECL_CONTEXT.

2020-04-23 Iain Sandoe <iain@sandoe.co.uk>

        PR c++/94288
        * coroutines.cc (await_statement_expander): Simplify cases.
        (struct susp_frame_data): Add fields for truth and/or if
        cases, rename one field.
        (analyze_expression_awaits): New.
        (expand_one_truth_if): New.
        (add_var_to_bind): New helper.
        (coro_build_add_if_not_cond_break): New helper.
        (await_statement_walker): Handle conditional expressions,
        handle expansion of truth-and/or-if cases.
        (bind_expr_find_in_subtree): New, checking-only.
        (coro_body_contains_bind_expr_p): New, checking-only.
        (morph_fn_to_coro): Ensure that we have a top level bind
        expression.

2020-04-22  Jonathan Wakely  <jwakely@redhat.com>

        PR translation/94698
        * class.c (check_field_decls): Change "define" to "declare" in
        -Weffc++ diagnostics.

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
        * coroutines.cc (morph_fn_to_coro): Simplify return
        value computation.

2020-04-17  Marek Polacek  <polacek@redhat.com>

        PR c++/94592
        * constexpr.c (cxx_eval_outermost_constant_expr): Return when T is
        a BRACE_ENCLOSED_INITIALIZER_P.
        (is_nondependent_constant_expression): Don't check
        BRACE_ENCLOSED_INITIALIZER_P.
        (is_nondependent_static_init_expression): Likewise.

2020-04-20  Patrick Palka  <ppalka@redhat.com>

        PR c++/94628
        * cp-tree.h (lss_policy::lss_nop): New enumerator.
        * pt.c (local_specialization_stack::local_specialization_stack): Handle
        an lss_nop policy.
        (local_specialization_stack::~local_specialization_stack): Likewise.
        (tsubst_pack_expansion): Use a local_specialization_stack instead of
        manually saving and restoring local_specializations.  Conditionally
        replace local_specializations sooner, before the handling of the
        unsubstituted_packs case.

2020-04-20  Marek Polacek  <polacek@redhat.com>

        PR c++/94505 - bogus -Wparentheses warning with fold-expression.
        * pt.c (fold_expression): Add warning_sentinel for -Wparentheses
        before calling build_x_binary_op.

2020-04-20  Marek Polacek  <polacek@redhat.com>

        * coroutines.cc (captures_temporary): Don't assign the result of
        STRIP_NOPS to the same variable.

2020-04-20  Nathan Sidwell  <nathan@acm.org>

        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 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
        * pt.c (iterative_hash_template_arg): Strip nodes as
        template_args_equal does.
        [ARGUMENT_PACK_SELECT, TREE_VEC, CONSTRUCTOR]: Refactor.
        [node_class:TEMPLATE_TEMPLATE_PARM]: Hash by level & index.
        [node_class:default]: Refactor.

2020-04-18  Patrick Palka  <ppalka@redhat.com>

        PR c++/94632
        * tree.c (cp_tree_equal) <case PARM_DECL>: Ignore
        comparing_specializations if the parameters' contexts are identical.

        PR c++/92187
        * pt.c (splice_late_return_type): Propagate cv-qualifiers and
        PLACEHOLDER_TYPE_CONSTRAINTS from the original auto node to the new one.

2020-04-17  Patrick Palka  <ppalka@redhat.com>

        PR c++/94483
        * lambda.c (lambda_capture_field_type): Avoid doing auto deduction if
        the explicit initializer has parameter packs.

        PR c++/88754
        * parser.c (cp_parser_check_template_parameters): Before issuing a hard
        error, first try simulating an error instead.

2020-04-17  Jakub Jelinek  <jakub@redhat.com>

        PR other/94629
        * call.c (build_conditional_expr_1): Remove redundant assignment to
        arg2.

2020-04-16  Patrick Palka  <ppalka@redhat.com>

        PR c++/94475
        * cvt.c (ocp_convert): If the result of scalar_constant_value is
        erroneous, ignore it and use the original expression.

2020-04-16  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94571
        * parser.c (cp_parser_simple_declaration): Fix up a pasto in
        diagnostics.

2020-04-15  Jakub Jelinek  <jakub@redhat.com>

        PR c/94593
        * parser.c (cp_parser_pragma) <case PRAGMA_OMP_REQUIRES>: Reject
        requires directive when not at file or namespace scope.

2020-04-14  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94359
        * coroutines.cc (build_actor_fn): Check that the target can
        support the resume tailcall before mandating it.

2020-04-14  Patrick Palka  <ppalka@redhat.com>

        PR c++/85278
        * cxx-pretty-print.c (cxx_pretty_printer:simple_type_specifier)
        <case DECLTYPE_TYPE>: Handle DECLTYPE_TYPE here instead of ...
        (pp_cxx_type_specifier_seq) <case DECLTYPE_TYPE>: ... here.
        (cxx_pretty_printer::direct_abstract_declarator) <case DECLTYPE_TYPE>:
        New no-op case.

        PR c++/94034
        * constexpr.c (replace_result_decl_data): New struct.
        (replace_result_decl_data_r): New function.
        (replace_result_decl): New function.
        (cxx_eval_call_expression): Use it.
        * tree.c (build_aggr_init_expr): Set the location of the AGGR_INIT_EXPR
        to that of its initializer.

2020-04-13  Marek Polacek  <polacek@redhat.com>

        PR c++/94588
        * name-lookup.c (check_local_shadow): Add an inform call.

2020-04-13  Patrick Palka  <ppalka@redhat.com>

        PR c++/94521
        * error.c (dump_scope): Pass TFF_NO_FUNCTION_ARGUMENTS to
        dump_function_decl when printing a function template instantiation as a
        scope.

        PR c++/94470
        * constexpr.c (get_or_insert_ctor_field): Set default value of parameter
        'pos_hint' to -1.
        (cxx_eval_bare_aggregate): Use get_or_insert_ctor_field instead of
        assuming the the next index belongs at the end of the new CONSTRUCTOR.
        (cxx_eval_store_expression): Revert PR c++/78572 fix.

2020-04-13  Nathan Sidwell  <nathan@acm.org>

        PR c++/94426  lambdas with internal linkage are different to no-linkage
        * decl2.c (determine_visibility): A lambda's visibility is
        affected by its extra scope.
        * pt.c (instantiate_decl): Determine var's visibility before
        instantiating its initializer.
        * tree.c (no_linkage_check): Revert code looking at visibility of
        lambda's extra scope.
`
2020-04-10  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94528
        * coroutines.cc (co_await_expander): Remove.
        (expand_one_await_expression): New.
        (process_one_statement): New.
        (await_statement_expander): New.
        (build_actor_fn): Revise to use per-statement expander.
        (struct susp_frame_data): Reorder and comment.
        (register_awaits): Factor code.
        (replace_statement_captures): New, factored from...
        (maybe_promote_captured_temps):.. here.
        (await_statement_walker): Revise to process per statement.
        (morph_fn_to_coro): Use revised susp_frame_data layout.

2020-04-10  Marek Polacek  <polacek@redhat.com>

        PR c++/94149
        * method.c (constructible_expr): In C++20, try using parenthesized
        initialization of aggregates to determine the result of
        __is_constructible.

2020-04-10  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (co_await_expander): Simplify.

2020-04-09  Jason Merrill  <jason@redhat.com>

        PR c++/94523
        * constexpr.c (cxx_eval_constant_expression) [VAR_DECL]: Look at
        ctx->object and ctx->global->values first.

2020-04-09  Marek Polacek  <polacek@redhat.com>

        PR c++/93790
        * call.c (initialize_reference): If the reference binding failed, maybe
        try initializing from { }.
        * decl.c (grok_reference_init): For T& t(e), set
        LOOKUP_AGGREGATE_PAREN_INIT but don't build up a constructor yet.

2020-04-08  Iain Sandoe  <iain@sandoe.co.uk>
            Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (maybe_promote_captured_temps): Add a cleanup
        expression, if needed, to any call from which we promoted
        temporaries captured by reference.

2020-04-08  Marek Polacek  <polacek@redhat.com>

        PR c++/94507 - ICE-on-invalid with lambda template.
        * pt.c (tsubst_lambda_expr): Cope when tsubst_template_decl or
        tsubst_function_decl returns error_mark_node.

2020-04-08  Martin Liska  <mliska@suse.cz>

        PR c++/94314
        * decl.c (duplicate_decls): Duplicate also DECL_IS_REPLACEABLE_OPERATOR.
        (cxx_init_decl_processing): Mark replaceable all implicitly defined
        operators.

2020-04-08  Patrick Palka  <ppalka@redhat.com>

        Core issues 1001 and 1322
        PR c++/92010
        * pt.c (rebuild_function_or_method_type): Split function out from ...
        (tsubst_function_type): ... here.
        (maybe_rebuild_function_decl_type): New function.
        (tsubst_function_decl): Use it.

2020-04-08  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94325
        * decl.c (begin_destructor_body): For CLASSTYPE_VBASECLASSES class
        dtors, if CLASSTYPE_PRIMARY_BINFO is non-NULL, but not BINFO_VIRTUAL_P,
        look at CLASSTYPE_PRIMARY_BINFO of its BINFO_TYPE if it is not
        BINFO_VIRTUAL_P, and so on.

2020-04-08  Marek Polacek  <polacek@redhat.com>

        PR c++/94478 - ICE with defaulted comparison operator
        * method.c (early_check_defaulted_comparison): Give an error when the
        context is null.

2020-04-08  Tobias Burnus  <tobias@codesourcery.com>

        PR middle-end/94120
        * paser.c (cp_parser_oacc_declare): Add check that variables
        are declared in the same scope as the directive.

2020-04-07  Jason Merrill  <jason@redhat.com>

        PR c++/94480
        * parser.c (cp_parser_requires_expression): Use tentative_firewall.

        PR c++/94481
        * parser.c (cp_parser_placeholder_type_specifier): Use
        matching_parens.

2020-04-07  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (maybe_promote_captured_temps): Ensure that
        reference capture placeholder vars are properly declared.

2020-04-07  Patrick Palka  <ppalka@redhat.com>

        PR c++/90996
        * tree.c (replace_placeholders): Look through all handled components,
        not just COMPONENT_REFs.
        * typeck2.c (process_init_constructor_array): Propagate
        CONSTRUCTOR_PLACEHOLDER_BOUNDARY up from each element initializer to
        the array initializer.

2020-04-07  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94512
        * parser.c (cp_parser_omp_parallel): Set OMP_PARALLEL_COMBINED
        if cp_parser_omp_master succeeded.

2020-04-06  Jason Merrill  <jason@redhat.com>

        PR c++/94462
        * decl.c (duplicate_decls): Fix handling of DECL_HIDDEN_FRIEND_P.

2020-04-04  Marek Polacek  <polacek@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/94155 - crash in gimplifier with paren init of aggregates.
        * init.c (build_vec_init): Fill in indexes.

2020-04-04  Jason Merrill  <jason@redhat.com>

        PR c++/91377
        * mangle.c (write_expression): Skip IMPLICIT_CONV_EXPR.

2020-04-04  Patrick Palka  <ppalka@redhat.com>

        PR c++/94205
        PR c++/79937
        * constexpr.c (struct constexpr_ctx): New field 'parent'.
        (cxx_eval_bare_aggregate): Propagate CONSTRUCTOR_PLACEHOLDER_BOUNDARY
        flag from the original constructor to the reduced constructor.
        (lookup_placeholder): Prefer to return the outermost matching object
        by recursively calling lookup_placeholder on the 'parent' context,
        but don't cross CONSTRUCTOR_PLACEHOLDER_BOUNDARY constructors.
        (cxx_eval_constant_expression): Link the 'ctx' context to the 'new_ctx'
        context via 'new_ctx.parent' when being expanded without an explicit
        target.  Don't call replace_placeholders.
        (cxx_eval_outermost_constant_expr): Initialize 'ctx.parent' to NULL.

        PR c++/94219
        PR c++/94205
        * constexpr.c (get_or_insert_ctor_field): Split out (while adding
        support for VECTOR_TYPEs, and optimizations for the common case)
        from ...
        (cxx_eval_store_expression): ... here.  Rename local variable
        'changed_active_union_member_p' to 'activated_union_member_p'.  Record
        the sequence of indexes into 'indexes' that yields the subobject we're
        assigning to.  Record the integer offsets of the constructor indexes
        we're assigning through into 'index_pos_hints'.  After evaluating the
        initializer of the store expression, recompute 'valp' using 'indexes'
        and using 'index_pos_hints' as hints.
        (cxx_eval_bare_aggregate): Tweak comments.  Use get_or_insert_ctor_field
        to recompute the constructor_elt pointer we're assigning through after
        evaluating each initializer.

2020-04-04  Jason Merrill  <jason@redhat.com>

        PR c++/67825
        * constraint.cc (tsubst_valid_expression_requirement): Call
        convert_to_void.

2020-04-04  Jason Merrill  <jason@redhat.com>

        PR c++/94453
        * constexpr.c (maybe_constant_value): Use break_out_target_exprs.
        * expr.c (mark_use) [VIEW_CONVERT_EXPR]: Don't wrap a TARGET_EXPR in
        NON_LVALUE_EXPR.

2020-04-04  Jakub Jelinek  <jakub@redhat.com>

        PR debug/94441
        * parser.c (cp_parser_omp_for_loop): Use
        protected_set_expr_location_if_unset.
        * cp-gimplify.c (genericize_if_stmt, genericize_cp_loop): Likewise.

        PR c++/94477
        * pt.c (tsubst_expr) <case OMP_MASTER>: Clear
        omp_parallel_combined_clauses.

2020-04-03  Jason Merrill  <jason@redhat.com>

        PR c++/91966
        * pt.c (complex_pack_expansion_r): New.
        (complex_alias_template_p): Use it.

2020-03-31  Jason Merrill  <jason@redhat.com>

        PR c++/94205
        * constexpr.c (cxx_eval_constant_expression) [TARGET_EXPR]: Call
        replace_placeholders.
        * typeck2.c (store_init_value): Fix arguments to
        fold_non_dependent_expr.

2020-03-31  Jason Merrill  <jason@redhat.com>

        * constexpr.c (cxx_eval_constant_expression) [TARGET_EXPR]: Use
        local variables.

2020-03-30  Jason Merrill  <jason@redhat.com>

        PR c++/90711
        * tree.c (cp_tree_equal) [CALL_EXPR]: Compare KOENIG_LOOKUP_P.
        (called_fns_equal): Check DECL_CONTEXT.

2020-03-30  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94385
        * semantics.c (add_stmt): Only set STMT_IS_FULL_EXPR_P on trees with
        STATEMENT_CODE_P code.

2020-03-28  Patrick Palka  <ppalka@redhat.com>

        PR c++/94306
        * parser.c (cp_parser_requires_clause_opt): Diagnose and recover from
        "requires {" when "requires requires {" was probably intended.

        PR c++/94252
        * constraint.cc (tsubst_compound_requirement): Always suppress errors
        from type_deducible_p and expression_convertible_p, as they're not
        substitution errors.
        (diagnose_atomic_constraint) <case INTEGER_CST>: Remove this case so
        that we diagnose INTEGER_CST expressions of non-bool type via the
        default case.
        * cp-gimplify.c (cp_genericize_r) <case REQUIRES_EXPR>: New case.
        * parser.c (cp_parser_requires_expression): Always parse the requirement
        body as if we're processing a template, by temporarily incrementing
        processing_template_decl.  Afterwards, if we're not actually in a
        template context, perform semantic processing to diagnose any invalid
        types and expressions.
        * pt.c (tsubst_copy_and_build) <case REQUIRES_EXPR>: Remove dead code.
        * semantics.c (finish_static_assert): Explain an assertion failure
        when the condition is a REQUIRES_EXPR like we do when it is a concept
        check.

        * constraint.cc (diagnose_compound_requirement): When diagnosing a
        compound requirement, maybe replay the satisfaction failure, subject to
        the current diagnosis depth.

        * constraint.cc (finish_constraint_binary_op): Set the location of EXPR
        as well as its range, because build_x_binary_op doesn't always do so.
        (current_constraint_diagnosis_depth): New.
        (concepts_diagnostics_max_depth_exceeded_p): New.
        (collect_operands_of_disjunction): New.
        (satisfy_disjunction): When diagnosing a satisfaction failure, maybe
        replay each branch of the disjunction, subject to the current diagnosis
        depth.
        (diagnose_valid_expression): When diagnosing a satisfaction failure,
        maybe replay the substitution error, subject to the current diagnosis
        recursion.
        (diagnose_valid_type): Likewise.
        (diagnose_nested_requiremnet): Likewise.
        (diagnosing_failed_constraint::diagnosing_failed_constraint): Increment
        current_constraint_diagnosis_depth when diagnosing.
        (diagnosing_failed_constraint::~diagnosing_failed_constraint): Decrement
        current_constraint_diagnosis_depth when diagnosing.
        (diagnosing_failed_constraint::replay_errors_p): New static member
        function.
        (diagnose_constraints): Don't diagnose if concepts_diagnostics_max_depth
        is 0.  Emit a one-off note to increase -fconcepts-diagnostics-depth if
        the limit was exceeded.
        * cp-tree.h (diagnosing_failed_constraint::replay_errors_p): Declare.

2020-03-27  Nathan Sidwell  <nathan@acm.org>

        PR c++/84733
        * name-lookup.c (do_pushdecl): Look through cleanp levels.

2020-03-27  Martin Sebor  <msebor@redhat.com>

        PR c++/94078
        PR c++/93824
        PR c++/93810
        * cp-tree.h (most_specialized_partial_spec): Declare.
        * parser.c (cp_parser_elaborated_type_specifier): Distinguish alias
        from declarations.
        (specialization_of): New function.
        (cp_parser_check_class_key): Move code...
        (class_decl_loc_t::add): ...to here.  Add parameters.  Avoid issuing
        -Wredundant-tags on first-time declarations in other declarators.
        Correct handling of template specializations.
        (class_decl_loc_t::diag_mismatched_tags): Also expect to be called
        when -Wredundant-tags is enabled.  Use primary template or partial
        specialization as the guide for uses of implicit instantiations.
        * pt.c (most_specialized_partial_spec): Declare extern.

2020-03-27  Nathan Sidwell  <nathan@acm.org>

        PR c++/94257
        * name-lookup.c (push_namespace): Triage ambiguous lookups that
        contain namespaces.

2020-03-27  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94326
        * call.c (set_flags_from_callee): Don't update
        cp_function_chain->can_throw or current_function_returns_abnormally
        if cp_unevaluated_operand.

        PR c++/94339
        * cvt.c (ocp_convert): Handle COMPOUND_EXPR by recursion on the second
        operand and creating a new COMPOUND_EXPR if anything changed.

2020-03-26  Marek Polacek  <polacek@redhat.com>

        PR c++/94336 - template keyword accepted before destructor names.
        * parser.c (cp_parser_unqualified_id): Give an error when 'template'
        is followed by a destructor name.

2020-03-27  Patrick Palka  <ppalka@redhat.com>

        * decl.c (compute_array_index_type_loc): Remove redundant
        type_dependent_expression_p check that is subsumed by
        value_dependent_expression_p.
        * decl2.c (is_late_template_attribute): Likewise.
        * pt.c (uses_template_parms): Likewise.
        (dependent_template_arg_p): Likewise.

2020-03-26  Marek Polacek  <polacek@redhat.com>

        DR 1710
        PR c++/94057 - template keyword in a typename-specifier.
        * parser.c (check_template_keyword_in_nested_name_spec): New.
        (cp_parser_nested_name_specifier_opt): Implement DR1710, optional
        'template'.  Call check_template_keyword_in_nested_name_spec.
        (cp_parser_simple_type_specifier): Assume that a <
        following a qualified-id in a typename-specifier begins
        a template argument list.

2020-03-26  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (coro_init_identifiers): Initialize an identifier
        for the cororoutine handle 'address' method name.
        (struct coro_aw_data): Add fields to cover the continuations.
        (co_await_expander): Determine the kind of await_suspend in use.
        If we have the case that returns a continuation handle, then save
        this and make the target for 'scope exit without cleanup' be the
        continuation resume label.
        (expand_co_awaits): Remove.
        (struct suspend_point_info): Remove fields that kept the returned
        await_suspend handle type.
        (transform_await_expr): Remove code tracking continuation handles.
        (build_actor_fn): Add the continuation handle as an actor-function
        scope var.  Build the symmetric transfer continuation point. Call
        the tree walk for co_await expansion directly, rather than via a 
        trivial shim function.
        (register_await_info): Remove fields tracking continuation handles.
        (get_await_suspend_return_type): Remove.
        (register_awaits): Remove code tracking continuation handles.
        (morph_fn_to_coro): Remove code tracking continuation handles.

2020-03-26  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (co_await_expander): If we are expanding the
        initial await expression, set a boolean flag to show that we
        have now reached the initial await_resume() method call.
        (expand_co_awaits): Handle the 'initial await resume called' flag.
        (build_actor_fn): Insert the initial await expression into the
        start of the user-authored function-body. Handle the 'initial await
        resume called' flag.
        (morph_fn_to_coro): Initialise the 'initial await resume called'
        flag.  Modify the unhandled exception catch clause to recognise
        exceptions that occur before the initial await_resume() and re-
        throw them.

2020-03-26  Jakub Jelinek  <jakub@redhat.com>

        PR c++/81349
        * class.c (user_provided_p): Use STRIP_TEMPLATE instead of returning
        true for all TEMPLATE_DECLs.

        PR c++/94272
        * cp-gimplify.c (cp_genericize_r): Handle STATEMENT_LIST.

2020-03-25  Patrick Palka  <ppalka@redhat.com>

        PR c++/94265
        * parser.c (cp_parser_selection_statement) <case RID_IF>: Invalidate the
        current condition chain when the if-statement has a non-empty
        init-statement.

2020-03-25  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/94319
        * coroutines.cc (captures_temporary): Fix a missing dereference.

2020-03-24  Marek Polacek  <polacek@redhat.com>

        PR c++/94190 - wrong no post-decrement operator error in template.
        * call.c (convert_like_real): Use convert_from_reference on the result.

2020-03-24  Jason Merrill  <jason@redhat.com>

        PR c++/94186
        * constraint.cc (constraint_satisfaction_value): Repeat noisily on
        error.
        (tsubst_nested_requirement): Likewise.
        (get_constraint_error_location): Allow missing context.
        (diagnose_atomic_constraint): Diagnose non-bool constraint here.
        (satisfy_atom): Not here.  Only diagnose non-constant when noisy.

2020-03-24  Jason Merrill  <jason@redhat.com>

        * pt.c (any_template_parm_r): Look into the type of a non-type
        template parm.

2020-03-24  Jason Merrill  <jason@redhat.com>

        * cp-tree.h (cp_expr): When constructing from an expr and a
        location, call protected_set_expr_location.

2020-03-23  Patrick Palka  <ppalka@redhat.com>

        PR c++/93805
        * except.c (maybe_noexcept_warning): Add TODO.
        * method.c (walk_field_subobs): Pass tf_none to expr_noexcept_p.

2020-03-23  nathans  <nathan@acm.org>

        PR c++/94044
        * tree.c (cp_tree_equal) [SIZEOF_EXPR]: Detect argument pack
        operand.

2020-03-21  Patrick Palka  <ppalka@redhat.com>

        PR c++/94066
        * constexpr.c (reduced_constant_expression_p) [CONSTRUCTOR]: Properly
        handle unions without an initializer.
        (cxx_eval_component_reference): Emit a different diagnostic when the
        constructor element corresponding to a union member is NULL.
        (cxx_eval_bare_aggregate): When constructing a union, always set the
        active union member before evaluating the initializer.  Relax assertion
        that verifies the index of the constructor element we're initializing
        hasn't been changed.
        (cxx_eval_store_expression): Diagnose changing the active union member
        while the union is in the process of being initialized.  After setting
        an active union member, clear CONSTRUCTOR_NO_CLEARING on the underlying
        CONSTRUCTOR.
        (cxx_eval_constant_expression) [PLACEHOLDER_EXPR]: Don't re-reduce a
        CONSTRUCTOR returned by lookup_placeholder.

2020-03-20  Patrick Palka  <ppalka@redhat.com>

        * cxx-pretty-print.c (pp_cxx_parameter_mapping): Make extern.  Move
        the "[with ]" bits to here from ...
        (pp_cxx_atomic_constraint): ... here.
        * cxx-pretty-print.h (pp_cxx_parameter_mapping): Declare.
        * error.c (rebuild_concept_check): Delete.
        (print_concept_check_info): Print the dependent form of the constraint and the
        preferably substituted parameter mapping alongside it.

2020-03-19  Jason Merrill  <jason@redhat.com>

        PR c++/94175
        * cp-gimplify.c (simple_empty_class_p): Look through
        SIMPLE_TARGET_EXPR_P.
        (cp_gimplify_expr) [MODIFY_EXPR]: Likewise.
        [RETURN_EXPR]: Avoid producing 'return *retval;'.
        * call.c (build_call_a): Strip TARGET_EXPR from empty class arg.
        * cp-tree.h (SIMPLE_TARGET_EXPR_P): Check that TARGET_EXPR_INITIAL
        is non-null.

2020-03-19  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93931
        * parser.c (cp_parser_omp_var_list_no_open): Call process_outer_var_ref
        on outer_automatic_var_p decls.
        * cp-gimplify.c (cxx_omp_disregard_value_expr): Return true also for
        capture proxy decls.

2020-03-18  Nathan Sidwell  <nathan@acm.org>

        PR c++/94147 - mangling of lambdas assigned to globals
        * parser.c (cp_parser_init_declarator): Namespace-scope variables
        provide a lambda scope.
        * tree.c (no_linkage_check): Lambdas with a variable for extra
        scope have a linkage from the variable.

2020-03-18  Jakub Jelinek  <jakub@redhat.com>

        * constraint.cc (resolve_function_concept_check, subsumes_constraints,
        strictly_subsumes): Fix up duplicated word issue in a comment.
        * coroutines.cc (build_init_or_final_await, captures_temporary):
        Likewise.
        * logic.cc (dnf_size_r, cnf_size_r): Likewise.
        * pt.c (append_type_to_template_for_access_check): Likewise.

        PR c++/91759
        * decl.c (grokfndecl): Restore old diagnostics about deduction
        guide declared in different scope if in_namespace is NULL_TREE.

2020-03-17  Jakub Jelinek  <jakub@redhat.com>

        PR c++/90995
        * parser.c (cp_parser_enum_specifier): Use temp_override for
        parser->colon_corrects_to_scope_p, replace goto out with return.
        If scoped enum or enum with underlying type is not followed by
        { or ;, call cp_parser_commit_to_tentative_parse before calling
        cp_parser_error and make sure to return error_mark_node instead of
        NULL_TREE.  Formatting fixes.

2020-03-17  Ville Voutilainen  <ville.voutilainen@gmail.com>

        PR c++/94197
        * method.c (assignable_expr): Use cp_unevaluated.
        (is_xible_helper): Push a non-deferred access check for
        the stub objects created by assignable_expr and constructible_expr.

2020-03-17  Jakub Jelinek  <jakub@redhat.com>

        * pt.c (tsubst): Fix up duplicated word issue in a diagnostic message.
        (lookup_template_class_1, tsubst_expr): Fix up duplicated word issue
        in a comment.
        * parser.c (cp_parser_statement, cp_parser_linkage_specification,
        cp_parser_placeholder_type_specifier,
        cp_parser_constraint_requires_parens): Likewise.
        * name-lookup.c (suggest_alternative_in_explicit_scope): Likewise.

2020-03-15  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (co_await_expander): Fix indentation.

2020-03-14  Jason Merrill  <jason@redhat.com>

        PR c++/92068
        * pt.c (process_partial_specialization): Error rather than crash on
        extra pack expansion.

2020-03-14  Jason Merrill  <jason@redhat.com>

        PR c++/92909
        * pt.c (find_parameter_packs_r): [DECL_EXPR]: Walk
        DECL_ORIGINAL_TYPE of a typedef.

2020-03-14  Jason Merrill  <jason@redhat.com>

        PR c++/93248
        * pt.c (build_deduction_guide): Clear cp_unevaluated_operand for
        substituting DECL_ARGUMENTS.

2020-03-14  Jakub Jelinek  <jakub@redhat.com>

        * logic.cc (formula::formula): Change "a an" to "an" in a comment.
        * parser.c (cp_debug_parser): Change "a an" to "an" in a string
        literal.

2020-03-13  Patrick Palka  <ppalka@redhat.com>

        PR c++/67960
        * call.c (build_over_call): Use a warning_sentinel to disable
        warn_deprecated_decl before calling build_addr_func.

2020-03-12  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94124
        * decl.c (reshape_init_array_1): Don't unshare constructor if there
        aren't any trailing zero elts, otherwise only unshare the first
        nelts.

2020-03-11  Jason Merrill  <jason@redhat.com>

        PR c++/93907
        * constraint.cc (tsubst_parameter_mapping): Canonicalize type
        argument.

2020-03-11  Marek Polacek  <polacek@redhat.com>
            Jason Merrill  <jason@redhat.com>

        PR c++/94074 - wrong modifying const object error for COMPONENT_REF.
        * constexpr.c (cref_has_const_field): New function.
        (modifying_const_object_p): Consider a COMPONENT_REF
        const only if any of its fields are const.
        (cxx_eval_store_expression): Mark a CONSTRUCTOR of a const type
        as readonly after its initialization has been done.

2020-03-10  Marek Polacek  <polacek@redhat.com>

        PR c++/94124 - wrong conversion error with non-viable overload.
        * decl.c (reshape_init_array_1): Unshare a constructor if we
        stripped trailing zero-initializers.

2020-03-10  Jason Merrill  <jason@redhat.com>

        PR c++/93901
        * pt.c (maybe_instantiate_noexcept): Always update clones.

2020-03-10  Jason Merrill  <jason@redhat.com>

        PR c++/93596
        * pt.c (maybe_aggr_guide): Check BRACE_ENCLOSED_INITIALIZER_P.

2020-03-10  Jason Merrill  <jason@redhat.com>

        PR c++/93922
        PR c++/94041
        PR c++/52320
        PR c++/66139
        * cp-gimplify.c (cp_gimplify_init_expr): Partially revert patch for
        66139: Don't split_nonconstant_init.  Remove pre_p parameter.

2020-03-09  Marek Polacek  <polacek@redhat.com>

        PR c++/92031 - bogus taking address of rvalue error.
        PR c++/91465 - ICE with template codes in check_narrowing.
        PR c++/93870 - wrong error when converting template non-type arg.
        PR c++/94068 - ICE with template codes in check_narrowing.
        * call.c (convert_like_real): Return IMPLICIT_CONV_EXPR
        in a template when not ck_identity and we're dealing with a class.
        (convert_like_real) <case ck_ref_bind>: Return IMPLICIT_CONV_EXPR
        in a template if we need a temporary.
        * decl.c (compute_array_index_type_loc): Remove
        instantiate_non_dependent_expr_sfinae call.  Call
        fold_non_dependent_expr instead of maybe_constant_value.
        (build_explicit_specifier): Don't instantiate or create a sentinel
        before converting the expression.
        * except.c (build_noexcept_spec): Likewise.
        * pt.c (convert_nontype_argument): Don't build IMPLICIT_CONV_EXPR.
        Set IMPLICIT_CONV_EXPR_NONTYPE_ARG if that's what
        build_converted_constant_expr returned.
        * typeck2.c (check_narrowing): Call fold_non_dependent_expr instead
        of maybe_constant_value.

2020-03-09  Jakub Jelinek  <jakub@redhat.com>

        PR c++/94067
        Revert
        2019-10-11  Paolo Carlini  <paolo.carlini@oracle.com>

        * constexpr.c (cxx_eval_constant_expression): Do not handle
        RROTATE_EXPR and LROTATE_EXPR.

2020-03-09  Marek Polacek  <polacek@redhat.com>

        PR c++/94050 - ABI issue with alignas on armv7hl.
        * class.c (layout_class_type): Don't replace a class's
        CLASSTYPE_AS_BASE if their TYPE_USER_ALIGN don't match.

2020-03-09  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (build_actor_fn): Factor out code inserting the
        default return_void call to...
        (morph_fn_to_coro): ...here, also hoist local var declarations.

2020-03-08  Patrick Palka  <ppalka@redhat.com>

        PR c++/93729
        * call.c (convert_like_real): Check complain before emitting an error
        about binding a bit-field to a reference.

        * cxx-pretty-print.c (cxx_pretty_printer::simple_type_specifier)
        [TYPENAME_TYPE]: Print the TYPENAME_TYPE_FULLNAME instead of the
        TYPE_NAME.

2020-03-06  Nathan Sidwell  <nathan@acm.org>

        PR c++/94027
        * mangle.c (find_substitution): Don't call same_type_p on template
        args that cannot match.

2020-03-04  Martin Sebor  <msebor@redhat.com>

        PR c++/90938
        * tree.c (type_initializer_zero_p): Fail for structs initialized
        with non-structs.

2020-03-04  Jason Merrill  <jason@redhat.com>

        PR c++/90432
        * init.c (perform_member_init): Don't do aggregate initialization of
        empty field.
        * constexpr.c (cx_check_missing_mem_inits): Don't enforce
        initialization of empty field.

2020-03-04  Martin Liska  <mliska@suse.cz>

        * method.c: Wrap array in ctor with braces in order
        to silent clang warnings.

2020-03-03  Jason Merrill  <jason@redhat.com>
            Marek Polacek  <polacek@redhat.com>

        PR c++/90505 - mismatch in template argument deduction.
        * pt.c (tsubst): Don't reduce the template level of template
        parameters when tf_partial.

2020-03-03  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93998
        * constexpr.c (cxx_eval_constant_expression)
        <case TARGET_EXPR, case SAVE_EXPR>: Don't record anything if
        *non_constant_p is true.

2020-03-03  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (captures_temporary): Strip component_ref
        to its base object.

2020-03-03  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (finish_co_await_expr): Build co_await_expr
        with unknown_type_node.
        (finish_co_yield_expr): Ditto.
        *pt.c (type_dependent_expression_p): Set co_await/yield_expr
        with unknown type as dependent.

2020-03-02  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (struct local_var_info): Adjust to remove the
        reference to the captured var, and just to note that this is a
        lambda capture proxy.
        (transform_local_var_uses): Handle lambda captures specially.
        (struct param_frame_data): Add a visited set.
        (register_param_uses): Also check for param uses in lambda
        capture proxies.
        (struct local_vars_frame_data): Remove captures list.
        (register_local_var_uses): Handle lambda capture proxies by
        noting and bypassing them.
        (morph_fn_to_coro): Update to remove lifetime extension of
        lambda capture-by-copy vars.

2020-03-02  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (build_co_await): Do not build frame
        awaitable proxy vars when the co_await expression is
        a function parameter or local var.
        (co_await_expander): Do not initialise a frame var with
        itself.
        (transform_await_expr): Only substitute the awaitable
        frame var if it's needed.
        (register_awaits): Do not make frame copies for param
        or local vars that are awaitables.

2020-02-28  Jason Merrill  <jason@redhat.com>

        Implement P2092R0, Disambiguating Nested-Requirements
        * parser.c (cp_parser_requirement_parameter_list): Pass
        CP_PARSER_FLAGS_TYPENAME_OPTIONAL.

        * call.c (build_user_type_conversion_1): Don't look at the second
        conversion of a non-viable candidate.

2020-02-28  Jakub Jelinek  <jakub@redhat.com>

        P1937R2 - Fixing inconsistencies between const{expr,eval} functions
        * typeck.c (cp_build_addr_expr_1): Allow taking address of immediate
        functions in unevaluated contexts.

2020-02-27  Nathan Sidwell  <nathan@acm.org>

        PR c++/93933
        * pt.c (template_args_equal): Pass ARGUMENT_PACKS through to
        cp_tree_equal.
        * tree.c (cp_tree_equal): Compare ARGUMENT_PACKS here,
        * typeck.c (comptypes): Assert we don't get any argument packs.

        * class.c (adjust_clone_args): Correct arg-checking assert.
        * typeck.c (comptypes): Assert not nulls.

2020-02-26  Marek Polacek  <polacek@redhat.com>

        PR c++/93789 - ICE with invalid array bounds.
        * decl.c (compute_array_index_type_loc): Don't use the folded
        size when folding cleared TREE_CONSTANT.

2020-02-26  Iain Sandoe  <iain@sandoe.co.uk>

        * class.c (classtype_has_non_deleted_copy_ctor): New.
        * coroutines.cc (struct param_info): Keep track of params
        that are references, and cache the original type and whether
        the DTOR is trivial.
        (build_actor_fn): Handle param copies always, and adjust the
        handling for references.
        (register_param_uses): Only handle uses here.
        (classtype_has_non_deleted_copy_ctor): New.
        (morph_fn_to_coro): Adjust param copy handling to match n4849
        by reordering ahead of the promise CTOR and always making a
        frame copy, even if the param is unused in the coroutine body.
        * cp-tree.h (classtype_has_non_deleted_copy_ctor): New.

2020-02-26  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (finish_constraint_binary_op): Set expr's location range
        to the range of its operands.
        (satisfy_atom): Pass MAP instead of ARGS to diagnose_atomic_constraint.
        (diagnose_trait_expr): Take the instantiated parameter mapping MAP
        instead of the corresponding template arguments ARGS and adjust body
        accordingly.
        (diagnose_requires_expr): Likewise.
        (diagnose_atomic_constraint): Likewise.  When printing an atomic
        constraint expression, print the instantiated parameter mapping
        alongside it.
        * cxx-pretty-print.cc (cxx_pretty_printer::expression)
        [NONTYPE_ARGUMENT_PACK]: Print braces around a NONTYPE_ARGUMENT_PACK.
        (cxx_pretty_printer::type_id): Handle TYPE_ARGUMENT_PACK.

2020-02-26  Marek Polacek  <polacek@redhat.com>

        PR c++/93676 - value-init crash in template.
        * init.c (build_new_1): Don't call build_vec_init in a template.

2020-02-26  Marek Polacek  <polacek@redhat.com>

        PR c++/93862 - ICE with static_cast when converting from int[].
        * call.c (reference_compatible_p): No longer static.
        * cp-tree.h (reference_compatible_p): Declare.
        * typeck.c (build_static_cast_1): Use reference_compatible_p instead
        of reference_related_p.

2020-02-26  Marek Polacek  <polacek@redhat.com>

        PR c++/93803 - ICE with constexpr init and [[no_unique_address]].
        * constexpr.c (reduced_constant_expression_p): Don't crash on a null
        field.

2020-02-24  Martin Sebor  <msebor@redhat.com>

        PR c++/93804
        * parser.c (cp_parser_check_class_key): Avoid issuing -Wredundant-tags
        in shared C/C++ code in headers.
        Remove a duplicate hunk of code.

2020-02-24  Marek Polacek  <polacek@redhat.com>

        PR c++/93869 - ICE with -Wmismatched-tags.
        * parser.c (cp_parser_check_class_key): Check class_key earlier.

2020-02-24  Marek Polacek  <polacek@redhat.com>

        PR c++/93712 - ICE with ill-formed array list-initialization.
        * call.c (next_conversion): Return NULL for ck_aggr.
        (build_aggr_conv): Set u.expr instead of u.next.
        (build_array_conv): Likewise.
        (build_complex_conv): Likewise.
        (conv_get_original_expr): Handle ck_aggr.

2020-02-24  Jakub Jelinek  <jakub@redhat.com>

        P1937R2 - Fixing inconsistencies between const{expr,eval} functions
        * call.c (build_over_call): Don't evaluate immediate functions in
        unevaluated operands.

2020-02-24  Jason Merrill  <jason@redhat.com>

        P0780R2: Resolve lambda init-capture pack grammar.
        * parser.c (cp_parser_lambda_introducer): Expect &...x=y rather than
        ...&x=y.

2020-02-22  Marek Polacek  <polacek@redhat.com>

        PR c++/93882
        * decl.c (grokdeclarator): Use %qs in a diagnostic message.

2020-02-21  Martin Sebor  <msebor@redhat.com>

        PR gcov-profile/93753
        * class.c (check_flexarrays): Tighten up a test for potential members
        of anonymous structs or unions.

2020-02-20  Martin Sebor  <msebor@redhat.com>

        PR c++/93801
        * parser.c (cp_parser_check_class_key): Only handle true C++ class-keys.

2020-02-20  Martin Liska  <mliska@suse.cz>

        PR translation/93841
        * config/or1k/or1k.opt: Remove superfluous word.
        * doc/invoke.texi: Likewise.

2020-02-20  Martin Liska  <mliska@suse.cz>

        PR translation/93838
        * parser.c (cp_parser_decl_specifier_seq): Remove trailing space.

2020-02-19  Marek Polacek  <polacek@redhat.com>

        PR c++/93169 - wrong-code with a non-constexpr constructor.
        * constexpr.c (cxx_eval_call_expression): Only set TREE_READONLY
        on constant CONSTRUCTORs.

2020-02-15  Marek Polacek  <polacek@redhat.com>

        PR c++/93710 - poor diagnostic for array initializer.
        * call.c (build_user_type_conversion_1): Use cp_expr_loc_or_input_loc
        for an error call.

2020-02-15  Jason Merrill  <jason@redhat.com>

        PR c++/92556
        * pt.c (any_template_parm_r): Look into lambda body.

        PR c++/92583
        * pt.c (any_template_parm_r): Remove CONSTRUCTOR handling.

2020-02-14  Jakub Jelinek  <jakub@redhat.com>

        PR c++/61414
        * class.c (enum_min_precision): Change prec type from int to int &.

        PR libstdc++/92906
        * cp-tree.h (enum cp_tree_index): Add CPTI_FALLBACK_DFLOAT32_TYPE,
        CPTI_FALLBACK_DFLOAT64_TYPE and CPTI_FALLBACK_DFLOAT128_TYPE.
        (fallback_dfloat32_type, fallback_dfloat64_type,
        fallback_dfloat128_type): Define.
        * mangle.c (write_builtin_type): Handle fallback_dfloat*_type like
        dfloat*_type_node.
        * rtti.c (emit_support_tinfos): Emit DFP typeinfos even when dfp
        is disabled for compatibility.

2020-02-13  Jason Merrill  <jason@redhat.com>

        PR c++/93713
        * name-lookup.c (matching_fn_p): A function does not match a
        template.

        PR c++/93643
        PR c++/91476
        * tree.c (decl_linkage): Always lk_none for locals.

2020-02-12  Jason Merrill  <jason@redhat.com>

        PR c++/92583
        PR c++/92654
        * tree.c (cp_walk_subtrees): Walk CONSTRUCTOR types here.
        * pt.c (find_parameter_packs_r): Not here.

2020-02-12 Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (build_actor_fn): Implement deallocation function
        selection per n4849, dcl.fct.def.coroutine bullet 12.
        (morph_fn_to_coro): Implement allocation function selection per
        n4849, dcl.fct.def.coroutine bullets 9 and 10.

2020-02-12  Marek Polacek  <polacek@redhat.com>

        PR c++/93684 - ICE-on-invalid with broken attribute.
        * parser.c (cp_parser_std_attribute): Peek a token first before
        consuming it.

2020-02-11  Jason Merrill  <jason@redhat.com>

        PR c++/93675
        * class.c (add_implicitly_declared_members): Use do_friend.
        * method.c (implicitly_declare_fn): Fix friend handling.
        (decl_remember_implicit_trigger_p): New.
        (synthesize_method): Use it.
        * decl2.c (mark_used): Use it.

2020-02-11  Jason Merrill  <jason@redhat.com>

        PR c++/93650
        PR c++/90691
        * constexpr.c (maybe_constant_value): Correct earlier change.
        (cxx_eval_binary_expression) [SPACESHIP_EXPR]: Pass lval through.
        * method.c (genericize_spaceship): Wrap result in TARGET_EXPR.

2020-02-12  Patrick Palka  <ppalka@redhat.com>

        PR c++/69448
        PR c++/80471
        * type-utils.h (find_type_usage): Refactor to take a tree * and to
        return a tree *, and update documentation accordingly.
        * pt.c (make_auto_1): Set AUTO_IS_DECLTYPE when building a
        decltype(auto) node.
        (make_constrained_decltype_auto): No need to explicitly set
        AUTO_IS_DECLTYPE anymore.
        (splice_late_return_type): Use find_type_usage to find and
        replace a possibly nested auto node instead of using is_auto.
        Check test for is_auto into an assert when deciding whether
        to late_return_type.
        (type_uses_auto): Adjust the call to find_type_usage.
        * parser.c (cp_parser_decltype): No need to explicitly set
        AUTO_IS_DECLTYPE anymore.

        * error.c (dump_decl) [CONCEPT_DECL]: Use dump_simple_decl.
        (dump_simple_decl): Handle standard concept definitions as well as
        variable concept definitions.

2020-02-10  Jakub Jelinek  <jakub@redhat.com>

        PR other/93641
        * error.c (dump_decl_name): Fix up last argument to strncmp.

2020-02-10  Jason Merrill  <jason@redhat.com>

        PR c++/93618
        * tree.c (array_of_unknown_bound_p): New.
        * init.c (perform_member_init): Do nothing for flexible arrays.

2020-02-09  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93633
        * constexpr.c (cxx_eval_constant_expression): If obj is heap var with
        ARRAY_TYPE, use the element type.  Punt if objtype after that is not
        a class type.

2020-02-08  Jason Merrill  <jason@redhat.com>

        PR c++/90691
        * expr.c (fold_for_warn): Call maybe_constant_value.
        * constexpr.c (struct constexpr_ctx): Add uid_sensitive bit-field.
        (maybe_constant_value): Add uid_sensitive parm.
        (get_fundef_copy): Don't copy if it's true.
        (cxx_eval_call_expression): Don't instantiate if it's true.
        (cxx_eval_outermost_constant_expr): Likewise.

        PR c++/92852
        * constexpr.c (maybe_constant_value): Don't unshare if the cached
        value is the same as the argument.

        * typeck.c (maybe_warn_about_returning_address_of_local): Add
        location parameter.

        * typeck2.c (process_init_constructor): Also clear TREE_SIDE_EFFECTS
        if appropriate.

2020-02-08  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93549
        * constexpr.c (find_array_ctor_elt): If last element has no index,
        for flag_checking verify all elts have no index.  If i is within the
        elts, return it directly, if it is right after the last elt, append
        if NULL index, otherwise force indexes on all elts.
        (cxx_eval_store_expression): Allow cep->index to be NULL.

2020-02-07  Marek Polacek  <polacek@redhat.com>

        PR c++/92947 - Paren init of aggregates in unevaluated context.
        * call.c (build_new_method_call_1): Don't check
        cp_unevaluated_operand.  Check the return value of digest_init.

2020-02-06  Jason Merrill  <jason@redhat.com>

        PR c++/92654
        * tree.c (cp_walk_subtrees): Walk into type template arguments.
        * cp-tree.h (TYPE_TEMPLATE_INFO_MAYBE_ALIAS): Use typedef_variant_p
        instead of TYPE_ALIAS_P.
        * pt.c (push_template_decl_real): Likewise.
        (find_parameter_packs_r): Likewise.  Remove dead code.
        * error.c (find_typenames_r): Remove dead code.

2020-02-06  Jason Merrill  <jason@redhat.com>

        PR c++/92517
        * parser.c (cp_parser_constraint_primary_expression): Do the main
        parse non-tentatively.

2020-02-06  Marek Polacek  <polacek@redhat.com>

        PR c++/93597 - ICE with lambda in operator function.
        * name-lookup.c (maybe_save_operator_binding): Check is_overloaded_fn.

2020-02-05  Jason Merrill  <jason@redhat.com>

        PR c++/93140
        * pt.c (tsubst_decl) [PARM_DECL]: Check cp_unevaluated_operand in
        handling of TREE_CHAIN for empty pack.

2020-02-05  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93557
        * semantics.c (cp_build_vec_convert): Call decay_conversion on arg
        prior to passing it to c_build_vec_convert.

2020-02-05  Marek Polacek  <polacek@redhat.com>

        PR c++/93559 - ICE with CONSTRUCTOR flags verification.
        * decl.c (reshape_init_array_1): Don't reuse a CONSTRUCTOR with
        TREE_SIDE_EFFECTS.

2020-02-05  Jason Merrill  <jason@redhat.com>

        PR c++/92593
        * decl.c (grokdeclarator): Reject field of current class type even
        in a template.

2020-02-05  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (maybe_promote_captured_temps): Increase the index
        number for temporary variables' name.

2020-02-05  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (build_co_await): Call convert_from_reference
        to wrap co_await_expr with indirect_ref which avoid
        reference/non-reference type confusion.

        (co_await_expander):  Sink to call_expr if await_resume
        is wrapped by indirect_ref.

2020-02-04  Jason Merrill  <jason@redhat.com>

        PR c++/93551
        * constraint.cc (satisfy_declaration_constraints): Check return
        value of push_tinst_level.

        PR c++/90951
        * constexpr.c (cxx_eval_array_reference): {}-initialize missing
        elements instead of value-initializing them.

        PR c++/86917
        * init.c (perform_member_init): Simplify.
        * constexpr.c (cx_check_missing_mem_inits): Allow uninitialized
        flexarray.
        (cxx_eval_vec_init_1): Handle CONSTRUCTOR.

2020-02-04  Iain Sandoe  <iain@sandoe.co.uk>

        * coroutines.cc (find_promise_type): Delete unused forward
        declaration.
        (struct coroutine_info): Add a bool for no promise type error.
        (coro_promise_type_found_p): Only emit the error for a missing
        promise once in each affected coroutine.

2020-02-03  Jason Merrill  <jason@redhat.com>

        PR c++/66477
        * constexpr.c (cxx_eval_constant_expression) [PARM_DECL]: Don't
        defer loading the value of a reference.

2020-02-03  Jason Merrill  <jason@redhat.com>

        PR c++/91953
        * constexpr.c (potential_constant_expression_1) [PARM_DECL]: Allow
        empty class type.
        [COMPONENT_REF]: A member function reference doesn't use the object
        as an rvalue.

2020-02-03  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/93458
        * coroutines.cc (struct coroutine_info): Add a bool flag to note
        that we emitted an error for a bad function return type.
        (get_coroutine_info): Tolerate an unset info table in case of
        missing traits.
        (find_coro_traits_template_decl): In case of error or if we didn't
        find a type template, note we emitted the error and suppress
        duplicates.
        (find_coro_handle_template_decl): Likewise.
        (instantiate_coro_traits): Only check for error_mark_node in the
        return from lookup_qualified_name. 
        (coro_promise_type_found_p): Reorder initialization so that we check
        for the traits and their usability before allocation of the info
        table.  Check for a suitable return type and emit a diagnostic for
        here instead of relying on the lookup machinery.  This allows the
        error to have a better location, and means we can suppress multiple
        copies.
        (coro_function_valid_p): Re-check for a valid promise (and thus the
        traits) before proceeding.  Tolerate missing info as a fatal error.

2020-02-03  Jason Merrill  <jason@redhat.com>

        PR c++/88256
        * cp-gimplify.c (predeclare_vla): New.
        (cp_genericize_r) [NOP_EXPR]: Call it.

2020-02-03  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (transform_await_wrapper): Set actor funcion as
        new context of label_decl.
        (build_actor_fn): Fill new field of await_xform_data.

2020-02-02  Marek Polacek  <polacek@redhat.com>

        PR c++/93530 - ICE on invalid alignas in a template.
        * decl.c (grokdeclarator): Call cplus_decl_attributes instead of
        decl_attributes.

2020-01-31  Jason Merrill  <jason@redhat.com>

        PR c++/86216
        * semantics.c (process_outer_var_ref): Capture VLAs even in
        unevaluated context.

        PR c++/14179
        * decl.c (reshape_init_array_1): Reuse a single CONSTRUCTOR with
        non-aggregate elements.
        (reshape_init_array): Add first_initializer_p parm.
        (reshape_init_r): Change first_initializer_p from bool to tree.
        (reshape_init): Pass init to it.

        PR c++/14179
        * parser.c (cp_parser_initializer_list): Suppress location wrappers
        after 256 elements.

2020-01-29  Jason Merrill  <jason@redhat.com>

        PR c++/82521
        * pt.c (tsubst_copy_and_build) [EQ_EXPR]: Only suppress warnings if
        the expression was dependent before substitution.

2020-01-30  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (act_des_fn): New.
        (morph_fn_to_coro): Call act_des_fn to build actor/destroy decls.
        Access promise via actor function's frame pointer argument.
        (build_actor_fn, build_destroy_fn): Use frame pointer argument.

2020-01-30  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (co_await_expander): Handle type conversion case.

2020-01-29  Jason Merrill  <jason@redhat.com>

        PR c++/90333
        PR c++/89640
        PR c++/60503
        * parser.c (cp_parser_type_specifier_seq): Don't parse attributes in
        a trailing return type.
        (cp_parser_lambda_declarator_opt): Parse C++11 attributes before
        parens.

2020-01-29  Marek Polacek  <polacek@redhat.com>

        PR c++/91754 - Fix template arguments comparison with class NTTP.
        * pt.c (class_nttp_const_wrapper_p): New.
        (template_args_equal): See through class_nttp_const_wrapper_p
        arguments.

2020-01-29  Marek Polacek  <polacek@redhat.com>

        PR c++/92948 - Fix class NTTP with template arguments.
        * pt.c (convert_nontype_argument): Use IMPLICIT_CONV_EXPR when
        converting a value-dependent expression to a class type.
        (tsubst_copy) <case VIEW_CONVERT_EXPR>: Allow IMPLICIT_CONV_EXPR
        as the result of the tsubst_copy call.

2020-01-29  Jakub Jelinek  <jakub@redhat.com>

        PR c++/91118
        * cp-gimplify.c (cxx_omp_predetermined_sharing): Return
        OMP_CLAUSE_DEFAULT_SHARED for typeinfo decls.

2020-01-28  Jason Merrill  <jason@redhat.com>

        PR c++/93442
        * parser.c (cp_parser_lambda_expression): Clear in_discarded_stmt.

        PR c++/93477
        PR c++/91476
        * decl2.c (copy_linkage): Do copy DECL_ONE_ONLY and DECL_WEAK.

        PR c++/90546
        * call.c (build_user_type_conversion_1): Allow a template conversion
        returning an rvalue reference to bind directly to an lvalue.

        PR c++/90731
        * decl.c (grokdeclarator): Propagate eh spec from typedef.

2020-01-28  Martin Liska  <mliska@suse.cz>

        PR c++/92440
        * pt.c (redeclare_class_template): Group couple of
        errors and inform messages with auto_diagnostic_group.

2020-01-28  Martin Liska  <mliska@suse.cz>

        PR c++/92440
        * pt.c (redeclare_class_template): Use inform
        for the second location.

2020-01-27  Jason Merrill  <jason@redhat.com>

        PR c++/90966
        * pt.c (tsubst_copy) [STRING_CST]: Don't use fold_convert.

2020-01-27  Iain Sandoe  <iain@sandoe.co.uk>

        PR c++/93443
        * coroutines.cc (morph_fn_to_coro): Check the ramp return
        value when it is constructed from the 'get return object'.

2020-01-27  Nathan Sidwell  <nathan@acm.org>

        PR c++/91826
        * name-lookup.c (is_ancestor): Allow CHILD to be a namespace alias.

2020-01-26  Jason Merrill  <jason@redhat.com>

        PR c++/90992
        * except.c (maybe_noexcept_warning): Check DECL_IN_SYSTEM_HEADER and
        temporarily enable -Wsystem-headers.  Change second warning to
        conditional inform.

        PR c++/90997
        * semantics.c (finish_call_expr): Don't call
        instantiate_non_dependent_expr before warn_for_memset.

2020-01-25  Marek Polacek  <polacek@redhat.com>

        PR c++/93414 - poor diagnostic for dynamic_cast in constexpr context.
        * constexpr.c (cxx_eval_dynamic_cast_fn): Add a reference
        dynamic_cast diagnostic.

2020-01-24  Jason Merrill  <jason@redhat.com>

        PR c++/93400 - ICE with constrained friend.
        * constraint.cc (maybe_substitute_reqs_for): New.
        * decl.c (function_requirements_equivalent_p): Call it.
        * pt.c (tsubst_friend_function): Only substitute
        TEMPLATE_PARMS_CONSTRAINTS.
        (tsubst_template_parms): Copy constraints.

2020-01-24  Jason Merrill  <jason@redhat.com>

        PR c++/93279 - ICE with lambda in member operator.
        * name-lookup.c (maybe_save_operator_binding): Don't remember
        class-scope bindings.

2020-01-24  Jason Merrill  <jason@redhat.com>

        PR c++/93377 - ICE with member alias in constraint.
        * pt.c (any_template_parm_r): Look at template arguments for all
        aliases, not only alias templates.

2020-01-24  Marek Polacek  <polacek@redhat.com>

        PR c++/93299 - ICE in tsubst_copy with parenthesized expression.
        * pt.c (tsubst_copy): Handle a REF_PARENTHESIZED_P VIEW_CONVERT_EXPR.

2020-01-24  Jason Merrill  <jason@redhat.com>

        PR c++/92852 - ICE with generic lambda and reference var.
        * constexpr.c (maybe_constant_value): Likewise.

2020-01-23  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/92804
        * parser.c (cp_parser_nested_name_specifier_opt): Properly
        diagnose concept-ids.

2020-01-23  Jason Merrill  <jason@redhat.com>

        PR c++/93331 - ICE with __builtin_strchr.
        * constexpr.c (cxx_eval_builtin_function_call): Use the original
        argument if we didn't manage to extract a STRING_CST.

        PR c++/93345 - ICE with defaulted dtor and template.
        PR c++/33799
        * decl.c (cxx_maybe_build_cleanup): Don't try to set
        throwing_cleanup in a template.

2020-01-22  Marek Polacek  <polacek@redhat.com>

        PR c++/92907 - noexcept does not consider "const" in member functions.
        * g++.dg/cpp0x/noexcept56.C: New test.

2020-01-22  Marek Polacek  <polacek@redhat.com>

        PR c++/93324 - ICE with -Wall on constexpr if.
        * semantics.c (is_std_constant_evaluated_p): Check fndecl.

2020-01-22  Patrick Palka  <ppalka@redhat.com>

        * constraint.cc (get_mapped_args): Avoid using auto_vec
        as a vector element.  Release the vectors inside the lists
        vector.
        * parser.c (cp_literal_operator_id): Free the buffer.

2020-01-22  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (finish_co_await_expr): Add error check on return
        value of build_co_await.
        (finish_co_yield_expr,): Ditto.

2020-01-22  Jun Ma  <JunMa@linux.alibaba.com>

        * coroutines.cc (lookup_awaitable_member): Lookup an awaitable member.
        (lookup_promise_method): Emit diagnostic when get NULL_TREE back only.
        (build_co_await): Use lookup_awaitable_member instead of lookup_member.

2020-01-21  Jason Merrill  <jason@redhat.com>

        PR c++/60855 - ICE with sizeof VLA capture.
        * lambda.c (is_lambda_ignored_entity): Don't look past VLA capture.

        PR c++/90732 - ICE with VLA capture and generic lambda.
        * pt.c (tsubst_lambda_expr): Repeat add_capture for VLAs.

2020-01-21  Iain Sandoe  <iain@sandoe.co.uk>
            Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (coro_promise_type_found_p): Check for NULL return
        from complete_type_or_else.
        (register_param_uses): Likewise.
        (build_co_await): Do not try to use complete_type_or_else for void
        types, otherwise for incomplete types, check for NULL return from
        complete_type_or_else.

2020-01-21  Jason Merrill  <jason@redhat.com>

        PR c++/91476 - anon-namespace reference temp clash between TUs.
        * decl2.c (copy_linkage): Factor out of get_guard.
        * call.c (make_temporary_var_for_ref_to_temp): Use it.
        * decl.c (cp_finish_decomp): Use it.
        (cp_finish_decl): determine_visibility sooner.

2020-01-21  Bin Cheng  <bin.cheng@linux.alibaba.com>

        * coroutines.cc (finish_co_await_expr): Set return value flag.
        (finish_co_yield_expr, morph_fn_to_coro): Ditto.

2020-01-19  Jason Merrill  <jason@redhat.com>

        PR c++/33799 - destroy return value, take 2.
        * cp-tree.h (current_retval_sentinel): New macro.
        (struct language_function): Add throwing_cleanup bitfield.
        * decl.c (cxx_maybe_build_cleanup): Set it.
        * except.c (maybe_set_retval_sentinel)
        (maybe_splice_retval_cleanup): New functions.
        * parser.c (cp_parser_compound_statement): Call
        maybe_splice_retval_cleanup.
        * typeck.c (check_return_expr): Call maybe_set_retval_sentinel.

        * parser.c (cp_parser_lambda_body): Use cp_parser_function_body.

2020-01-18  Jakub Jelinek  <jakub@redhat.com>

        * coroutines.cc (get_fn_local_identifier): Fix NO_DOT_IN_LABEL
        but non-NO_DOLLAR_IN_LABEL case build.

2020-01-18  Iain Sandoe  <iain@sandoe.co.uk>

        * Make-lang.in: Add coroutines.o.
        * cp-tree.h (lang_decl-fn): coroutine_p, new bit.
        (DECL_COROUTINE_P): New.
        * lex.c (init_reswords): Enable keywords when the coroutine flag
        is set,
        * operators.def (co_await): New operator.
        * call.c (add_builtin_candidates): Handle CO_AWAIT_EXPR.
        (op_error): Likewise.
        (build_new_op_1): Likewise.
        (build_new_function_call): Validate coroutine builtin arguments.
        * constexpr.c (potential_constant_expression_1): Handle
        CO_AWAIT_EXPR, CO_YIELD_EXPR, CO_RETURN_EXPR.
        * coroutines.cc: New file.
        * cp-objcp-common.c (cp_common_init_ts): Add CO_AWAIT_EXPR,
        CO_YIELD_EXPR, CO_RETRN_EXPR as TS expressions.
        * cp-tree.def (CO_AWAIT_EXPR, CO_YIELD_EXPR, (CO_RETURN_EXPR): New.
        * cp-tree.h (coro_validate_builtin_call): New.
        * decl.c (emit_coro_helper): New.
        (finish_function): Handle the case when a function is found to
        be a coroutine, perform the outlining and emit the outlined
        functions. Set a bit to signal that this is a coroutine component.
        * parser.c (enum required_token): New enumeration RT_CO_YIELD.
        (cp_parser_unary_expression): Handle co_await.
        (cp_parser_assignment_expression): Handle co_yield.
        (cp_parser_statement): Handle RID_CO_RETURN.
        (cp_parser_jump_statement): Handle co_return.
        (cp_parser_operator): Handle co_await operator.
        (cp_parser_yield_expression): New.
        (cp_parser_required_error): Handle RT_CO_YIELD.
        * pt.c (tsubst_copy): Handle CO_AWAIT_EXPR.
        (tsubst_expr): Handle CO_AWAIT_EXPR, CO_YIELD_EXPR and
        CO_RETURN_EXPRs.
        * tree.c (cp_walk_subtrees): Likewise.

2020-01-17  Jason Merrill  <jason@redhat.com>

        PR c++/92531 - ICE with noexcept(lambda).
        * pt.c (uses_template_parms): Don't try to enumerate all the
        expression cases.

2020-01-17  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93228
        * parser.c (cp_parser_template_name): Look up deprecated attribute
        in DECL_TEMPLATE_RESULT or its type's attributes.

2020-01-16  Jason Merrill  <jason@redhat.com>

        PR c++/93286 - ICE with __is_constructible and variadic template.
        * pt.c (tsubst) [TREE_LIST]: Handle pack expansion.
        (tsubst_copy_and_build) [TRAIT_EXPR]: Always use tsubst for type2.

        PR c++/93280 - ICE with aggregate assignment and DMI.
        * init.c (get_nsdmi): Set TARGET_EXPR_DIRECT_INIT_P here.
        * typeck2.c (digest_nsdmi_init): Not here.

2020-01-15  Paolo Carlini  <paolo.carlini@oracle.com>

        PR c++/91073
        * cp-tree.h (is_constrained_auto): New.
        * parser.c (cp_parser_maybe_commit_to_declaration): Correctly
        handle concept-check expressions; take a cp_decl_specifier_seq*
        instead of a bool.
        (cp_parser_condition): Update call.
        (cp_parser_simple_declaration): Likewise.
        (cp_parser_placeholder_type_specifier): Correctly handle
        concept-check expressions.

2020-01-15  Jason Merrill  <jason@redhat.com>

        Revert
        PR c++/33799 - destroy return value if local cleanup throws.
        * cp-tree.h (current_retval_sentinel): New macro.
        * decl.c (start_preparsed_function): Set up cleanup for retval.
        * typeck.c (check_return_expr): Set current_retval_sentinel.

        PR c++/93257 - consteval void function.
        * constexpr.c (verify_constant): Allow void_node.

        PR c++/92871 - bad code with xvalue and GNU ?: extension.
        * call.c (prevent_lifetime_extension): New.
        (build_conditional_expr_1): Use it.

2020-01-14  Nathan Sidwell  <nathan@acm.org>

        PR c++/90916
        * pt.c (retrieve_specialization): Use get_template_info, not open
        coding access.

        PR c++/90916
        * pt.c (retrieve_specialization): Get the TI from the decl or the
        classtype as appropriate.

2020-01-14  David Malcolm  <dmalcolm@redhat.com>

        * cp-gimplify.c (source_location_table_entry_hash::empty_zero_p):
        New static constant.
        * cp-tree.h (named_decl_hash::empty_zero_p): Likewise.
        (struct named_label_hash::empty_zero_p): Likewise.
        * decl2.c (mangled_decl_hash::empty_zero_p): Likewise.

2020-01-14  Jason Merrill  <jason@redhat.com>

        PR c++/92590 - wrong handling of inherited default ctor.
        * class.c (add_method): A constrained inherited ctor doesn't hide an
        implicit derived ctor.
        Revert:
        PR c++/92552 - ICE with inherited constrained default ctor.
        * pt.c (instantiate_class_template_1): Copy
        TYPE_HAS_USER_CONSTRUCTOR.
        PR c++/91930 - ICE with constrained inherited default ctor.
        * name-lookup.c (do_class_using_decl): Set TYPE_HAS_USER_CONSTRUCTOR
        for inherited constructor.
        PR c++/92594 - ICE with inherited trivial default ctor.
        * method.c (trivial_fn_p): Treat an inherited default constructor
        like a normal default constructor.

        PR c++/92594 - ICE with inherited trivial default ctor.
        * method.c (trivial_fn_p): Treat an inherited default constructor
        like a normal default constructor.

        PR c++/92009 - ICE with punning of typeid.
        * rtti.c (get_tinfo_desc): Call xref_basetypes.
        * constexpr.c (cxx_fold_indirect_ref): Don't strip
        REINTERPRET_CAST_P.

2020-01-13  Jason Merrill  <jason@redhat.com>

        PR c++/92746 - ICE with noexcept of function concept check.
        * except.c (check_noexcept_r): Handle concept-check.

        PR c++/92582 - ICE with member template as requirement.
        * pt.c (struct find_template_parameter_info): Add ctx_parms.
        (any_template_parm_r): Handle TEMPLATE_DECL.
        (find_template_parameters): Take parms instead of their depth.
        * constraint.cc (build_parameter_mapping): Pass them.

        PR c++/33799 - destroy return value if local cleanup throws.
        * cp-tree.h (current_retval_sentinel): New macro.
        * decl.c (start_preparsed_function): Set up cleanup for retval.
        * typeck.c (check_return_expr): Set current_retval_sentinel.

        PR c++/93238 - short right-shift with enum.
        * typeck.c (cp_build_binary_op): Use folded op1 for short_shift.

2020-01-10  Jason Merrill  <jason@redhat.com>

        * typeck.c (cp_build_binary_op): Restore short_shift code.

        PR c++/93143 - incorrect tree sharing with constexpr.
        * constexpr.c (cxx_eval_outermost_constant_expr): Don't assume
        CONSTRUCTORs are already unshared.

        PR c++/93173 - incorrect tree sharing.
        PR c++/93033
        * cp-gimplify.c (cp_gimplify_init_expr, cp_gimplify_expr): Use
        copy_if_shared after cp_genericize_tree.
        * typeck2.c (split_nonconstant_init): Don't unshare here.

2020-01-08  Jason Merrill  <jason@redhat.com>

        * cp-gimplify.c (cp_gimplify_expr) [TARGET_EXPR]: Check
        TARGET_EXPR_DIRECT_INIT_P.
        * constexpr.c (cxx_eval_constant_expression): Likewise.

2020-01-08  Jason Merrill  <jason@redhat.com>

        PR c++/91369 - constexpr destructor and member initializer.
        * constexpr.c (cxx_eval_store_expression): Look through TARGET_EXPR
        when not preevaluating.

2020-01-08  Jason Merrill  <jason@redhat.com>

        * constexpr.c (cxx_eval_call_expression): Remove DECL_BY_REFERENCE
        support.

2020-01-07  Paolo Carlini  <paolo.carlini@oracle.com>

        * init.c (build_new): Add location_t parameter and use it throughout.
        (build_raw_new_expr): Likewise.
        * parser.c (cp_parser_new_expression): Pass the combined_loc.
        * pt.c (tsubst_copy_and_build): Adjust call.
        * cp-tree.h: Update declarations.

2020-01-07  Jason Merrill  <jason@redhat.com>

        PR c++/47877 - -fvisibility-inlines-hidden and member templates.
        * decl2.c (determine_visibility): -fvisibility-inlines-hidden beats
        explicit class visibility for a template.

2020-01-07  Richard Sandiford  <richard.sandiford@arm.com>

        * mangle.c (mangle_type_attribute_p): New function, split out from...
        (write_CV_qualifiers_for_type): ...here.  Don't mangle attributes
        that contain a space.

2020-01-07  Jakub Jelinek  <jakub@redhat.com>

        PR c++/91369
        * constexpr.c (struct constexpr_global_ctx): Add heap_alloc_count
        member, initialize it to zero in ctor.
        (cxx_eval_call_expression): Bump heap_dealloc_count when deleting
        a heap object.  Don't cache calls to functions which allocate some
        heap objects and don't deallocate them or deallocate some heap
        objects they didn't allocate.

2020-01-06  Jason Merrill  <jason@redhat.com>

        PR c++/92552 - ICE with inherited constrained default ctor.
        * pt.c (instantiate_class_template_1): Copy
        TYPE_HAS_USER_CONSTRUCTOR.
        * class.c (one_inherited_ctor): Don't set it here.

2020-01-06  Andrew Sutton  <asutton@lock3software.com>

        PR c++/92739 - parsing requires clause with attributes.
        * parser.c (cp_parser_constraint_requires_parens): Exclude
        attributes as postfix expressions.

2020-01-05  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93138
        * parser.c (cp_parser_check_class_key): Disable access checks for the
        simple name lookup.
        (cp_parser_maybe_warn_enum_key): Likewise.  Return early if
        !warn_redundant_tags.

2010-01-05  Jakub Jelinek  <jakub@redhat.com>

        PR c++/93046
        * cp-gimplify.c (cp_gimplify_init_expr): Don't look through
        TARGET_EXPR if it has been gimplified already.

2020-01-03  Jason Merrill  <jason@redhat.com>

        PR c++/93033 - incorrect tree node sharing with array init.
        * typeck2.c (split_nonconstant_init): Unshare non-decl.
        * cp-gimplify.c (cp_gimplify_init_expr): Only split if -fexceptions.

2020-01-02  Jason Merrill  <jason@redhat.com>

        * pt.c (invalid_nontype_parm_type_p): Reject class placeholder in
        C++17.

2020-01-02  Jakub Jelinek  <jakub@redhat.com>

        PR c/90677
        * cp-objcp-common.c (identifier_global_tag): Return NULL_TREE if name
        has not been found, rather than error_mark_node.

2020-01-01  Jakub Jelinek  <jakub@redhat.com>

        Update copyright years.
\f
Copyright (C) 2020 Free Software Foundation, Inc.

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.