2008-11-19 Andrew Stubbs <ams@codesourcery.com>

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

2002-12-31  Neil Booth  <neil@daikokuya.co.uk>

        * .cvsignore: Remove.

2002-12-31  Steven Bosscher  <s.bosscher@student.tudelft.nl>

        * call.c, class.c, cp-lang.c, cp-tree.h, cvt.c, dump.c, error.c,
          except.c, expr.c friend.c, g++spec.c, init.c, lang-options.h,
          lang-specs.h, lex.c, mangle.c, method.c, optimize.c, parser.c,
          pt.c, ptree.c, repo.c, rtti.c, search.c, semantics.c, tree.c,
          typeck.c, typeck2.c: Replace "GNU CC" with "GCC" in the
          copyright header.
        * lex.h: parse.y is dead, so don't mention it.  Also replace the
          copyright header with the default GNU copyright header.

2002-12-31  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (LOOKUP_TEMPLATES_EXPECTED): Remove.
        (lookup_name_namespace_only): Likewise.
        (begin_only_namespace_names): Likewise.
        (end_only_namespace_names): Likewise.
        * decl.c (only_namespace_names): Remove.
        (qualify_lookup): Do not check LOOKUP_TEMPLATES_EXPECTED.
        (lookup_name_real): Do not check only_namespace_names.
        (lookup_name_namespace_only): Remove.
        (begin_only_namespace_names): Likewise.
        (end_only_namespace_names): Likewise.
        * parser.c (cp_parser_nested_name_specifier_opt): Handle erroneous
        nested-name-specifiers more gracefully.
        (cp_parser_class_or_namespace_name): Avoid looking up namespace
        names when they cannot possibly appear.
        (cp_parser_template_name): Adjust call to cp_parser_lookup_name.
        (cp_parser_elaborated_type_specifier): Likewise.
        (cp_parser_namespace_name): Only look for namespace names.
        (cp_parser_lookup_name): Add is_namespace parameter.
        (cp_parser_lookup_name_simple): Adjust call to
        cp_parser_lookup_name.

        * parser.c (cp_parser_dependent_type_p): Fix thinko.

2002-12-31  Neil Booth  <neil@daikokuya.co.uk>

        * .cvsignore: Update.

2002-12-31  Nathan Sidwell  <nathan@codesourcery.com>

        * class.c (modify_vtable_entry): Remove unused variable.
        (get_vcall_index): Always expect a non-thunk.
        (update_vtable_entry_for_fn): Combine covariant adjustments, when
        overriding a thunk. Pass get_vcall_index a non-thunk.

        * decl2.c (finish_file): Mark undefined inlines as extern.

2002-12-31  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.def (RETURN_INIT): Remove.
        * cp-tree.h (DECL_IN_MEMORY_P): Remove.
        (scope_kind): Add sk_block, sk_try, sk_catch, sk_for.
        (note_level_for_for): Remove.
        (note_level_for_try): Likewise.
        (note_level_for_catch): Likewise.
        (finish_named_return_value): Likewise.
        (do_pushlevel): Change prototype.
        (pending_lang_change): Remove.
        * decl.c (begin_scope): Handle sk_block, sk_try, sk_catch,
        sk_for.
        (note_level_for_for): Remove.
        (note_level_for_try): Likewise.
        (note_level_for_catch): Likewise.
        (maybe_inject_for_scope_var): Remove use of DECL_IN_MEMORY_P.
        * parser.c (cp_parser_context_free_list): Make it "deletable".
        (cp_parser_template_argument): Remove misleading comment.
        * pt.c (tsubst_expr): Remove RETURN_INIT code.
        * semantics.c (genrtl_named_return_value): Remove.
        (do_pushlevel): Take a scope kind as an argument.
        (begin_if_stmt): Adjust.
        (begin_while_stmt): Likewise.
        (begin_for_stmt): Likewise.
        (finish_for_init_stmt): Likewise.
        (begin_switch_stmt): Likewise.
        (begin_handler): Likewise.
        (begin_compound_stmt): Likewise.
        (finish_named_return_value): Remove.
        (cp_expand_stmt): Remove RETURN_INIT case.
        * tree.c (cp_statement_code_p): Remove RETURN_INIT case.

2002-12-31  Mark Mitchell  <mark@codesourcery.com>

        PR c++/9112
        * parser.c (cp_parser_direct_declarator): Handle erroneous
        parenthesized declarators correctly.

2002-12-31  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        * cp-tree.h (pending_lang_change): Declare.

2002-12-30  Mark Mitchell  <mark@codesourcery.com>

        * parser.c (cp_parser_context_free_list): New variable.
        (cp_parser_context_new): Use it.
        (cp_parser_error): Check return code from
        cp_parser_simulate_error.
        (cp_parser_simulate_error): Return a value.
        (cp_parser_id_expression): Optimize common case.
        (cp_parser_class_name): Likewise.
        (cp_parser_class_specifier): Adjust call to
        cp_parser_late_parsing_default_args.
        (cp_parser_lookup_name): Optimize common case.
        (cp_parser_late_parsing_for_member): Adjust call to
        cp_parser_late_parsing_default_args.
        (cp_parser_late_parsing_default_args): Add scope parameter.
        (cp_parser_require): Avoid creating the error message unless it's
        needed.
        (cp_parser_parse_definitely): Place free'd contexts on the free
        list.

        * parser.c (cp_parser_declaration_seq_opt): Handle pending_lang_change.

2002-12-30  David Edelsohn  <edelsohn@gnu.org>

        * parser.c (cp_parser_parameter_declaration_clause): Treat system
        header as extern "C" if NO_IMPLICIT_EXTERN_C undefined.

2002-12-30  Nathanael Nerode  <neroden@gcc.gnu.org>

        * config-lang.in, Make-lang.in, operators.def, cp-tree.def:
        GCC, not GNU CC.

2002-12-30  Mark Mitchell  <mark@codesourcery.com>

        * parse.y: Remove.
        * spew.c: Likewise.
        * Make-lang.in (gt-cp-spew.h): Remove.
        * cp-tree.h (do_pending_lang_change): Remove.
        (do_identifier): Change prototype.
        (finish_id_expr): Remove.
        * decl.c (lookup_name_real): Remove yylex variable.
        * decl2.c (build_expr_from_tree): Adjust call to do_identifier.
        * lex.c (init_cpp_parse): Remove.
        (reduce_cmp): Likewise.
        (token_cmp): Likewise.
        (yychar): Likewise.
        (lastiddecl): Likewise.
        (token_count): Likewise.
        (reduce_count): Likewise.
        (yyhook): Likewise.
        (print_parse_statistics): Likewise.
        (do_pending_lang_change): Likewise.
        (do_identifier): Remove parsing parameter.
        * lex.h (lastiddecl): Remove.
        (looking_for_typename): Remove.
        (looking_for_template): Likewise.
        (pending_lang_change): Likewise.
        (yylex): Likewise.
        * semantics.c (finish_id_expr): Remove.

        * decl.c (grokdeclarator): Diagnost "extern thread" and "static
        thread" correctly.

2002-12-30  Nathanael Nerode  <neroden@gcc.gnu.org>

        * decl.c, decl2.c, decl.h:  GCC, not GNU CC.  This is the C++ front
        end, not the C front end.

2002-12-30  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (THUNK_TARGET): New macro.
        (THUNK_VIRTUAL_OFFSET): For result thunks it is always a binfo.
        (finish_thunk): Remove offset parms.
        * class.c (find_final_overrider): Look through thunks.
        (get_vcall_index): Use THUNK_TARGET.
        (update_vtable_entry_for_fn): Look through thunks. Set covariant
        fixed offset here. Adjust finish_thunk call.
        (build_vtbl_initializer): Adjust finish_thunk calls.
        * mangle.c (mangle_call_offset): Remove superfluous if.
        (mangle_thunk): Adjust.
        * method.c (make_thunk): Adjust.
        (finish_thunk): Adjust.
        (thunk_adjust): Remove assert.
        (use_thunk): Use THUNK_TARGET
        * dump1.c (cp_dump_tree): Adjust thunk dumping.

        PR c++/9054
        * class.c (layout_class_type): Set TYPE_CONTEXT of type for base.
        * dump.c (cp_dump_tree, RECORD_TYPE): Deal with type for base types.

2002-12-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        Remove traditional C constructs 4/n.
        * decl2.c (grok_method_quals, warn_if_unknown_interface,
        grok_x_components, cp_build_parm_decl, build_artificial_parm,
        maybe_retrofit_in_chrg, grokclassfn, grok_array_decl,
        delete_sanity, check_member_template, check_java_method,
        check_classfn, finish_static_data_member_decl, grokfield,
        grokbitfield, grokoptypename, grok_function_init,
        cplus_decl_attributes, constructor_name, defer_fn,
        build_anon_union_vars, finish_anon_union, coerce_new_type,
        coerce_delete_type, comdat_linkage, maybe_make_one_only,
        key_method, import_export_vtable, import_export_class,
        output_vtable_inherit, import_export_decl, import_export_tinfo,
        build_cleanup, get_guard, get_guard_bits, get_guard_cond,
        set_guard, start_objects, finish_objects,
        start_static_storage_duration_function,
        finish_static_storage_duration_function, get_priority_info,
        start_static_initialization_or_destruction,
        finish_static_initialization_or_destruction,
        do_static_initialization, do_static_destruction,
        prune_vars_needing_no_initialization, write_out_vars,
        reparse_decl_as_expr, finish_decl_parsing, namespace_ancestor,
        add_using_namespace, merge_functions, ambiguous_decl,
        lookup_using_namespace, lookup_using_namespace,
        qualified_lookup_using_namespace, set_decl_namespace,
        decl_namespace, current_decl_namespace, push_decl_namespace,
        pop_decl_namespace, push_scope, pop_scope, add_function,
        arg_assoc_namespace, arg_assoc_template_arg, arg_assoc,
        lookup_arg_dependent, do_namespace_alias,
        validate_nonmember_using_decl, do_nonmember_using_decl,
        do_toplevel_using_decl, do_local_using_decl,
        do_class_using_decl, do_using_directive, check_default_args,
        mark_used, handle_class_head): Use C90 prototypings.  Use booleans.
        * parser.c (cp_parser_class_head): Use booleanss.
        * decl.c (walk_globals, walk_vtables): Likewise.
        * cp-tree.h (walk_globals_pred, walk_globals_fn, walk_vtables,
        walk_globals): Change return type from 'int' to 'bool'.
        * rtti.c (init_rtti_processing, build_headof, throw_bad_cast
        throw_bad_typeid, get_tinfo_decl_dynamic, typeid_ok_p,
        build_typeid, tinfo_name, get_tinfo_decl, get_tinfo_ptr,
        get_typeid, ifnonnull, build_dynamic_cast_1, build_dynamic_cast,
        qualifier_flags, tinfo_base_init, generic_initializer,
        ptr_initializer, dfs_class_hint_mark, ptm_initializer,
        dfs_class_hint_unmark, class_hint_flags, class_initializer,
        typeinfo_in_lib_p, get_pseudo_ti_init, create_pseudo_type_info,
        get_pseudo_ti_desc, create_tinfo_types, emit_support_tinfos,
        unemitted_tinfo_decl_p, emit_tinfo_decl): Likewise.
        * repo.c (repo_compile_flags, repo_template_declared,
        repo_template_defined, repo_class_defined, repo_get_id,
        repo_template_used, repo_vtable_used, repo_inline_used,
        repo_tinfo_used, repo_template_instantiated, extract_string,
        open_repo_file, afgets, init_repo, reopen_repo_file_for_write,
        finish_repo): Likewise.
        * ptree.c (cxx_print_decl, cxx_print_type, cxx_print_identifier,
        cxx_print_xnode): Likewise..
        * cp-lang.c (ok_to_generate_alias_set_for_type, cxx_get_alias_set,
        cxx_warn_unused_global_decl, cp_expr_size): Likewise.
        * cxxfilt.c (demangle_it, print_demangler_list, usage,
        standard_symbol_characters, hp_symbol_characters, main, fatal):
        Likewise.
        (strip_underscore):  Change type from 'int' to 'bool'.
        (main): Use boolean constants.

2002-12-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        Remove traditional C constructs 3/n.
        * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
        build_up_reference, warn_ref_binding, convert_to_reference,
        convert_from_reference, convert_lvalue, cp_convert, ocp_convert,
        convert_to_void, convert, convert_force, build_type_conversion,
        build_expr_type_conversion, type_promotes_to,
        perform_qualification_conversions): Use C90 prototyping style.
        * decl2.c (grok_array_decl): Use boolean constant.
        (delete_sanity): Likewise.
        * typeck.c (build_unary_op): Likewise.
        * semantics.c (finish_switch_cond): Likewise.
        * parser.c (cp_parser_direct_new_declarator): Likewise.
        * init.c (build_new): Likewise.

2002-12-27  Mark Mitchell  <mark@codesourcery.com>

        * Make-lang.in (po-generated): Remove parse.c.
        (CXX_OBJS): Remove parse.o and spew.o.  Add parser.o.
        ($(srcdir)/cp/parse.h): Remove target.
        ($(srcdir)/cp/parse.c): Likewise.
        (gt-cp-parse.h): Likewise.
        (gt-cp-parser.h): New target.
        (c++.distclean): Do not remove parse.output.
        (c++.maintainer-clean): Do not remove parse.c or parse.h.
        (cp/spew.o): Remove target.
        (cp/lex.o): Adjust dependencies.
        (cp/pt.o): Likewise.
        (cp/parse.o): Likewise.
        (cp/TAGS): Do not mention parse.c.
        (cp/parser.o): New target.
        * NEWS: Mention the new parser.
        * call.c (build_scoped_method_call): Simplify.
        (build_method_call): Likewise.
        (build_new_function_call): Adjust calls to add_function_candidate
        and add_template_candidate.
        (build_new_op): Improve handling of erroroneous operands.
        (convert_default_arg): Remove circular argument processing.
        (name_as_c_string): New function.
        (build_new_method_call): Use it.
        (perform_implicit_conversion): Use error_operand_p.
        * class.c (finish_struct_anon): Use constructor_name_p.
        (check_field_decls): Likewise.
        (pop_nested_class): Use OVL_NEXT, not OVL_CHAIN.
        (resolve_address_of_overloaded_function): Likewise.
        (instantiate_type): Tweak pointer-to-member handling.
        (get_primary_binfo): Remove incorrect assertion.
        * config-lang.in (gtfiles): Add parser.c, remove parse.c.
        * cp-tree.h (DEFARG_TOKENS): New macro.
        (default_arg): New structure.
        (cp_tree_node_structure_enum): Add TS_CP_DEFAULT_ARG.
        (lang_tree_node): Add default_arg.
        (cp_tree_index): Add CPTI_TYPE_INFO_REF_TYPE.
        (type_info_ref_type): New macro.
        (saved_scope): Make processing_explicit_instantiation a boolean.
        (check_access): New field.
        (unparsed_text): Remove.
        (language_function): Remove unparsed_inlines.
        (error_operand_p): New macro.
        (lang_decl): Adjust pending_inline_info.
        (DEFARG_POINTER): Remove.
        (tag_types): Add typenames.
        (lookup_ualified_name): Declare.
        (lookup_name_real): Likewise.
        (shadow_tag): Adjust prototype.
        (get_scope_of_declarator): Declare it.
        (process_next_inline): Remove it.
        (check_for_missing_semicolon): Likewise.
        (maybe_get_template_decl_from_type_decl): Declare it.
        (finish_label_stmt): Adjust prototype.
        (finish_non_static_data_meber): Declare it.
        (finish_pseudo_destructor_call_expr): Rename to ...
        (finish_pseudo_destructor_expr): ... this.
        (finish_compound_literal): Declare it.
        (begin_inline_definitions): Remove it.
        (init_spew): Remove.
        (peekyylex): Likewise.
        (arbitrate_lookup): Likewise.
        (frob_opname): Likewise.
        (maybe_snarf_defarg): Likewise.
        (add_defarg_fn): Likewise.
        (do_pending_defargs): Likewise.
        (done_pending_defargs): Likewise.
        (unprocessed_defarg_fn): Likewise.
        (replace_defarg): Likewise.
        (end_input): Likewise.
        (get_overloaded_fn): Likewise.
        * cvt.c (convert_to_reference): Improve error handling.
        * decl.c (lookup_name_real): Do not declare it static.
        (maybe_push_to_top_level): Set check_access.
        (identifier_type_value): Adjust call to lookup_name_real.
        (lookup_qualified_name): New method.
        (lookup_name_real): Remove special-case parsing code.
        (lookup_name-nonclass): Adjust call to lookup_name_real.
        (lookup_name_namespace_only): Likewise.
        (lookup_name): Likewise.
        (check_tag_decl): Return the type declared.
        (shadow_tag): Likewise.
        (register_dtor_fn): Tweak check_access.
        (grokfndecl): Use constructor_name_p.
        (get_scope_of_declarator): New function.
        (grokdeclarator): Obscure tweaks for slightly different declarator
        representations.
        (start_method): Return error_mark_node to indicate failure.
        (cp_tree_node_structure_enum): Use TS_CP_DEFAULT_ARG for DEFAULT_ARGs.
        * decl2.c (constructor_name_full): Simplify.
        (constructor_name): Use it.
        (build_expr_from_tree): Adjust for changes to do new parser.
        (push_scope): Improve robustness.
        (validate_nonmember_using_decl): Process declarations, not names.
        (do_class_using_decl): Likewise.
        (handle_class_head): Do not mess with CLASSTYPE_DECLARED_CLASS
        here.
        * error.c (dump_expr): Handle IDENTIFIER_NODEs and BASELINKs.
        * expr.c (cxx_expand_expr): Handle BASELINKs.
        * init.c (member_init_ok_or_else): Issue more errors.
        (build_offset_ref): Tweak handling of FUNCTION_DECLs.
        * lex.c: Do not include parse.h.
        (yypring): Do not declare.
        (yylval): Likewise.
        (make_reference_declarator): Remove error-generating code.
        (rid_to_yy): Remove.
        (cxx_init): Do not call init_spew.
        (yypring): Remove.
        (check_for_missing_semicolon): Remove.
        * lex.h (got_scope): Remove.
        (got_object): Remove.
        * method.c (hack_identifier): Use finish_non_static_data_member.
        (implicitly_declare_fn): Adjust use of constructor_name.
        * parser.c: New file.
        * pt.c (parse.h): Do not include it.
        (maybe_get_template_decl_from_template): Do not declare it.
        (finish_member_template_decl): Tweak.
        (begin_explicit_instantiation): Adjust for
        processing_explicit_instantiation being boolean.
        (end_explicit_instantiation): Likewise.
        (maybe_process_partial_specialization): Tighten specialization
        test.
        (retrieve_local_specialization): Adjust ue of hash table.
        (eq_local_specializations): New function.
        (register_local_specialization): Likewise.
        (push_template_decl_real): Remove unnecessary test.
        (maybe_get_template_decl_from_type_decl): Don't make it static.
        (for_each_template_parm_r): Handle TYPEOF_TYPE.
        (tsubst_copy): Use retrieive_local_specialization to handle
        PARM_DECL.  Adjust handling of CONST_DECLs.  Handle BASELINKs.
        Handle COMPONENT_REFs with pseudo-destructor-expressions.
        Simplify handling of CALL_EXPR and METHOD_CALL_EXPR.
        (tsubst_expr): Pass decls, not names, to do_local_using_decl.
        (unify): Tweak handling of CONST_DECLs.
        (regenerate_decl_from_template): Use push_nested_class.
        (template_for_substitution): New funciton.
        (instantiate_decl): Use it.  Register parameters as local
        specializations.
        * rtti.c (init_rtti_processing): Set type_info_ref_type.
        (build_typeid): Use it.
        (get_typeid): Likeise.
        * search.c (accessible_p): Use check_access, not
        flag_access_control.
        (adjust_result_of_qualified_name_lookup): Pay attention to the
        context_class.
        * semantics.c (finish_asm_stmt): Adjust error handling.
        (finish_label_stmt): Return the statement.
        (finish_non_static_data_member): New function.
        (finish_class_expr): Handle BASELINKs.
        (finish_call_expr): Handle PSEUDO_DTOR_EXPR.
        (finish_object_call_expr): Simplify handling during templates.
        (finish_pseudo_destructor_call_expr): Rename to ...
        (finish_pseudo_dtor_expr): ... this.
        (finish_compound_literal): New function.
        (begin_inline_definitions): Remove.
        (finish_sizeof): Remove special template handling.
        * spew.c: Do not include parse.h.
        * tree.c (get_overloaded_fn): Remove.
        * typeck.c (build_class_member_access_expr): Handle
        PSEUDO_DTOR_EXPR.  Adjust handling of static member functions.
        (lookup_destructor): New function.
        (finish_class_member_access_expr): Use it.
        (convert_arguments): Simplify.
        (build_unary_op): Handle BASELINKs.

2002-12-26  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/4803
        * decl2.c (mark_used): Defer inline functions.
        (finish_file): Merge deferred_fns loops. Check all used
        inline functions have a definition.
        * method.c (make_thunk): Thunks are not inline.

        PR c++/5116, c++/764
        * call.c (build_new_op): Make sure template class operands are
        instantiated.

2002-12-24  Nathan Sidwell  <nathan@codesourcery.com>

        PR C++/7964
        * cp-tree.h (resolve_scoped_fn_name): Prototype.
        * call.c (resolve_scoped_fn_name): New function. Deal with
        more template expansion. Broken out of ...
        * parse.y (parse_finish_call_expr): ... here. Call it.
        * decl2.c (build_expr_from_tree, CALL_EXPR): Use
        resolve_scoped_fn_name and build_call_from_tree.

        PR c++/9053
        * decl.c (duplicate_decls): Templates may be disambiguated by
        return type.

        PR c++/8702
        * decl2.c (check_classfn): Use lookup_fnfield_1. List all
        conversion operators on failure.

2002-12-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        Remove traditional C constructs 2/n.
        * call.c (tourney, build_field_call, equal_functions, joust,
        compare_ics, build_over_call, build_java_interface_fn_ref,
        convert_like_real, op_error, build_object_call, resolve_args,
        build_vfield_ref, check_dtor_name, build_scoped_method_call,
        build_addr_func, build_call, build_method_call, null_ptr_cst_p,
        sufficient_parms_p, build_conv, non_reference, strip_top_quals,
        standard_conversion, reference_related_p,
        reference_compatible_p, convert_class_to_reference,
        direct_reference_binding, reference_binding,
        ,implicit_conversion, is_complete, promoted_arithmetic_type_p,
        add_template_conv_candidate, any_viable, any_strictly_viable,
        build_this, splice_viable, print_z_candidates,
        build_user_type_conversion, build_new_function_call,
        conditional_conversion, build_conditional_expr, build_new_op,
        build_op_delete_call, enforce_access, call_builtin_trap,
        convert_arg_to_ellipsis, build_x_va_arg, cxx_type_promotes_to,
        convert_default_arg, type_passed_as, convert_for_arg_passing,
        in_charge_arg_for_name, is_properly_derived_from,
        maybe_handle_implicit_object, maybe_handle_ref_bind,
        source_type, add_warning, can_convert, can_convert_arg,
        perform_implicit_conversion, can_convert_arg_bad,
        initialize_reference, add_conv_candidate,
        add_template_candidate_real, add_template_candidate): Ansify.

2002-12-22  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/8572
        * cp-tree.h (grokoptypename): Add SCOPE parameter.
        * decl2.c (grokoptypename): Add SCOPE parameter. tsubst the type
        if in a template scope.
        * parse.y (unoperator): Return the scope.
        (operator_name): Adjust grokoptypename call.

2002-12-22  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        * cp-tree.h (make_unbound_class_template): Use tsubst_flags_t.
        * decl.c (make_unbound_class_template): Adjust.  Check for tf_error.
        * pt.c (tsubst) [OFFSET_TYPE]: Check for tf_error.

2002-12-20  Kazu Hirata  <kazu@cs.umass.edu>

        * ChangeLog: Fix a typo.
        * class.c: Fix comment typos.
        * cp-tree.h: Likewise.

2002-12-18  Jason Merrill  <jason@redhat.com>

        Handle anonymous unions at the tree level.
        C++ ABI change: Mangle anonymous unions using the name of their
        first named field (by depth-first search).  Should not cause
        binary compatibility problems, though, as the compiler previously
        didn't emit anything for affected unions.
        * cp-tree.def (ALIAS_DECL): New tree code.
        * decl2.c (build_anon_union_vars): Build ALIAS_DECLs.  Return the
        first field, not the largest.
        (finish_anon_union): Don't mess with RTL.  Do set DECL_ASSEMBLER_NAME,
        push the decl, and write it out at namespace scope.
        * decl.c (lookup_name_real): See through an ALIAS_DECL.
        (pushdecl): Add namespace bindings for ALIAS_DECLs.
        * rtti.c (unemitted_tinfo_decl_p): Don't try to look at the name
        of a decl which doesn't have one.
        * typeck.c (build_class_member_access_expr): Don't recurse if
        we already have the type we want.

2002-12-18  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/8099
        * friend.c (make_friend_class): Allow partial specialization
        when declaration is not a template friend.

2002-12-18  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/3663
        * pt.c (lookup_template_class): Copy TREE_PRIVATE and
        TREE_PROTECTED to created decl nodes.

2002-12-18  Mark Mitchell  <mark@codesourcery.com>

        * class.c (build_base_field): Do not set DECL_PACKED on the
        FIELD_DECL.

2002-12-18  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        * cp-tree.h (struct tree_srcloc): Use location_t.
        (SOURCE_LOCUS): New.
        (SRCLOC_FILE, SRCLOC_LINE): Adjust.

2002-12-17  Jason Merrill  <jason@redhat.com>

        * decl.c (finish_function): Also complain about no return in
        templates.
        * semantics.c (finish_return_stmt): Also call check_return_expr in
        templates.
        * typeck.c (check_return_expr): In a template, just remember that we
        saw a return.

2002-12-16  Jason Merrill  <jason@redhat.com>

        * semantics.c (simplify_aggr_init_exprs_r): Don't change the type
        of the CALL_EXPR.

        * semantics.c (do_pushlevel): Call pushlevel after adding the
        SCOPE_STMT.
        (do_poplevel): Call poplevel before adding the SCOPE_STMT.
        * parse.y (function_body): Go back to using compstmt.
        * decl.c (pushdecl): Skip another level to get to the parms level.

        * call.c (build_new_method_call): Use is_dummy_object to determine
        whether or not to evaluate the object parameter to a static member
        function.

2002-12-14  Jason Merrill  <jason@redhat.com>

        * semantics.c (simplify_aggr_init_exprs_r): Also prepend the
        return slot for normal functions.  Set CALL_EXPR_HAS_RETURN_SLOT_ADDR.
        * tree.c (build_cplus_new): If the type isn't TREE_ADDRESSABLE,
        don't bother with an AGGR_INIT_EXPR.
        (cp_copy_res_decl_for_inlining): If the type isn't TREE_ADDRESSABLE,
        just generate a new decl normally.  Take return slot parm.
        * cp-tree.h: Adjust prototype.

2002-12-13  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        PR C++/8031
        * cvt.c (convert_to_pointer_force): Don't try comparing against
        erronous type.

2002-12-13  Geoffrey Keating  <geoffk@apple.com>

        * cp-tree.h: Have the multiple-include guards around
        the entire file.

2002-12-10  David Edelsohn  <edelsohn@gnu.org>

        * cp/spew.c (feed_input): Change limit to last_pos and pos to cur_pos
        for SPEW_DEBUG.
        (snarf_method): Same.
        (snarf_defarg): Same.

2002-12-10  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8372
        * pt.c (tsubst_copy): Handle destructor names more correctly.

2002-12-10  Matt Austern   <austern@apple.com>

        * cp-tree.h: get rid of needs_virtual_reinit bit.

2002-12-09  Mark Mitchell  <mark@codesourcery.com>

        * NEWS: Document removal of in-class initialization extension for
        static data members of non-arithmetic, non-enumeration type.
        * decl.c (check_static_variable_definition): Do not allow that
        extension.
        * decl2.c (grokfield): Do not call digest_init when processing
        templates.

2002-12-05  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * error.c (dump_expr): Fix format specifier warning.

2002-12-04  Geoffrey Keating  <geoffk@apple.com>

        * class.c (finish_struct_1): Correct comment.
        * cp-tree.c (DECL_SORTED_FIELDS): Likewise.

2002-12-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        PR C++/8799
        * error.c (dump_expr): Don't ever try to dump a non-existent
        expression.

2002-12-03  Nathan Sidwell  <nathan@codesourcery.com>

        Implement covariant returns.
        * cp-tree.h (IS_AGGR_TYPE_2): Remove.
        (struct lang_decl_flags): Add this_thunk_p flag.
        Rename vcall_offset to virtual_offset.
        (struct lang_decl): Rename delta to fixed_offset.
        (DECL_THIS_THUNK_P, DECL_RESULT_THUNK_P): New #defines.
        (SET_DECL_THUNK_P): Add THIS_ADJUSTING arg.
        (THUNK_DELTA, THUNK_VCALL_OFFSET): Rename to ...
        (THUNK_FIXED_OFFSET, THUNK_VIRTUAL_OFFSET): ... here.
        (make_thunk): Add this_adjusting arg.
        (finish_thunk): Declare.
        (mangle_thunk): Add this_adjusting arg.
        * class.c (get_vcall_index): Use base function for lookup.
        (update_vtable_entry_for_fn): Generate covariant thunk.
        (finish_struct_1): Set DECL_VINDEX to NULL for thunks.
        (build_vtbl_initializer): Use base function for lookup.
        Finish covariant thunk here. Adjust thunk generation.
        * dump.c (cp_dump_tree): Simplify DECL_GLOBAL_[CD]TOR_P handling.
        Adjust thunk dumping.
        * mangle.c (mangle_call_offset): New function.
        (mangle_thunk): Adjust for covariant thunks.
        * method.c (make_thunk): Adjust. Do not set name here.
        (finish_thunk): New function. Set name here.
        (use_thunk): Generate covariant thunks too.
        (thunk_adjust): New function.
        * search.c (covariant_return_p): Remove. Fold into ...
        (check_final_overrider): ... here. Simplify.
        * semantics.c (emit_associated_thunks): Walk covariant thunk lists.

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

        PR c++/8674
        * call.c (build_over_call): Check specifically for TARGET_EXPR
        when eliding.

        PR c++/8461, c++/8625
        * call.c (convert_for_arg_passing): Don't mess with error_mark_node.
        (cp_convert_parm_for_inlining): Remove.
        * cp-lang.c (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING):
        Remove.
        * cp-tree.h (ADDR_IS_INVISIREF): Remove.
        * except.c (stabilize_throw_expr): Remove ADDR_IS_INVISIREF code.

        * call.c (build_user_type_conversion_1): Don't set ICS_BAD_FLAG on
        an ambiguous conversion.

2002-12-03  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8688
        * decl.c (reshape_init): Handle erroneous initializers.

2002-12-02  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8720
        * spew.c (remove_last_token): Make sure that last_chunk is set
        correctly.

        PR c++/8615
        * error.c (dump_expr): Handle character constants with
        TREE_OVERFLOW set.

2002-12-02  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        DR 180
        * decl.c (grokdeclarator): Require class-key for all friend class.
        Output the correct type and context in the error message.

2002-12-01  Mark Mitchell  <mark@codesourcery.com>

        PR c++/5919
        * pt.c (unify): Use variably_modified_type_p to test validity of
        template argument types.

        PR c++/8727
        * cp-tree.h (lang_type_class): Add typeinfo_var.
        (CLASSTYPE_TYPEINFO_VAR): New macro.
        * rtti.c (get_tinfo_decl): Use it.

        PR c++/8663
        * init.c (expand_member_init): Always get the main variant of a
        base class.

2002-12-01  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8332
        PR c++/8493
        * decl.c (cxx_init_decl_processing): Use size_type_node, not
        c_size_type_node.
        * decl2.c (coerce_new_type): Likewise.
        * except.c (do_allocate_exception): Likewise.

2002-11-30  Zack Weinberg  <zack@codesourcery.com>

        * call.c, class.c, cp-lang.c, cvt.c, cxxfilt.c, decl.c, decl2.c,
        dump.c, error.c, except.c, expr.c, friend.c, g++spec.c, init.c,
        lex.c, mangle.c, method.c, optimize.c, parse.y, pt.c, ptree.c,
        repo.c, rtti.c, search.c, semantics.c, spew.c, tree.c, typeck.c,
        typeck2.c: Include coretypes.h and tm.h.
        * Make-lang.in: Update dependencies.

2002-11-30  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8227
        * decl.c (layout_var_decl): Deal gracefully with erroneous types.
        (check_initializer): Validate the type of the initialized
        variable, even if the initializer is absent.
        * typeck.c (cp_type_quals): Deal gracefully with erroneous types.

        PR c++/8214
        * typeck.c (convert_for_assignment): Do not use
        decl_constant_value on the operand.

        PR c++/8511
        * pt.c (instantiate_decl): Handle template friends defined outside
        of the class correctly.

2002-11-29  Joe Buck <jbuck@synopsys.com>

        * parse.y (class_head_defn): Set CLASSTYPE_DECLARED_CLASS for
        anonymous structs.

2002-11-29  Mark Mitchell  <mark@codesourcery.com>

        * class.c (walk_subobject_offsets): Recur on binfos as well as on
        types.
        (layout_nonempty_base_or_field): Pass it a binfo when processing a
        base class.
        (layout_empty_base): Likewise.
        (build_base_field): Likewise.

2002-11-27  Mark Mitchell  <mark@codesourcery.com>

        * class.c (build_base_field): Make sure we get the canonical base
        when descending through primary bases.

2002-11-26  Geoffrey Keating  <geoffk@apple.com>

        * decl.c (check_initializer): Don't error on initialisation of
        a scalar with a brace-enclosed expression.

2002-11-26  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (DECL_LANG_FLAG_4): Document more uses.
        (template_parms_equal): Remove prototype.
        * typeck.c (buuld_indirect_ref): Reformat.

2002-11-25  Jason Merrill  <jason@redhat.com>

        * init.c (build_vec_init): Use a FOR_STMT instead of an IF_STMT
        and a DO_STMT.

2002-11-25  Mark Mitchell  <mark@codesourcery.com>

        * tree.c (cp_build_qualified_type_real): Correct handling of
        array types.
        * class.c (walk_subobject_offsets): Fix thinko.
        (build_base_field): Record offsets of empty bases in primary
        virtual bases.
        (layout_class_type): Record offsets of empty bases in fields.

        * search.c (is_subobject_of_p_1): Fix thinko.
        (lookup_field_queue_p): Likewise.

2002-11-24  Mark Mitchell  <mark@codesourcery.com>

        * class.c (layout_class_type): Reuse tail padding when laying out
        virtual bases.

2002-11-22  Mark Mitchell  <mark@codesourcery.com>

        * rtti.c (qualifier_flags): Fix thinko.

2002-11-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        Remove traditional C constructs 1/n.
        * cp-tree.h (init_method, set_mangled_name_for_decl,
        build_opfncall, hack_identifier, make_thunk, use_thunk,
        synthesize_method, implicitly_declare_fn,
        skip_artificial_parms_for, optimize_function, calls_setjmp_p,
        maybe_clone_body): Remove use of PARAMS.

        * method.c (do_build_assign_ref, do_build_copy_constructor,
        synthesize_exception_spec, locate_dtor, locate_ctor, locate_copy):
        Likewise.
        (synthesize_method): Use 'bool' type and constants instead of
        'int'.
        (locate_copy): Likewise.
        (implicitly_declare_fn): Likewise.

        * optimize.c (calls_setjmp_r, update_cloned_parm, dump_function):
        Remove old-style declaration.
        (maybe_clone_body): Use 'bool' type and constants.

2002-11-21  Glen Nakamura  <glen@imodulo.com>

        PR c++/8342
        * typeck.c (get_member_function_from_ptrfunc): Make sure that a
        SAVE_EXPR for instance_ptr doesn't get evaluated first inside one
        of the branches of a COND_EXPR.

2002-11-19  Mark Mitchell  <mark@codesourcery.com>

        * pt.c (for_each_template_parm): Free allocated memory.
        * search.c (is_subobject_of_p_1): New function.
        (is_subobject_of_p): Avoid walking virtual bases multiple times.

2002-11-19  Jason Thorpe  <thorpej@wasabisystems.com>

        * g++spec.c (lang_specific_spec_functions): New.

2002-11-15  Kazu Hirata  <kazu@cs.umass.edu>

        * ChangeLog: Follow spelling conventions.
        * class.c: Likewise.
        * decl2.c: Likewise.

2002-11-14  Zack Weinberg  <zack@codesourcery.com>

        * search.c (dfs_push_decls): Do not try to reorder elements
        3..n of method_vec if method_vec has only two elements.
        Reverse order of two tests to avoid accessing unallocated
        memory.

2002-11-14  Mark Mitchell  <mark@codesourcery.com>

        * class.c (dfs_find_final_overrider): Adjust so that the most
        derived object is a binfo, rather than a class type.
        (find_final_overrider): Likewise.
        (add_vcall_offset_vtbl_entries_1): Simplify accordingly.
        (add_vcall_offset): Likewise.

2002-11-09  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/8389
        * pt.c (instantiate_template): Push class scope for member
        functions.
        (get_mostly_instantiated_function_type): Likewise.  Don't call
        tsubst on context.  Remove CONTEXTP and TPARMSP parameters.
        * cp-tree.h (get_mostly_instantiated_function_type): Adjust.
        * mangle.c (write_encoding, write_unqualified_name): Adjust.

2002-11-07  Mark Mitchell  <mark@codesourcery.com>

        * class.c (add_vcall_offset_vtbl_entries_1): Correct ordering of
        vcall offfsets.  Split out ...
        (add_vcall_offset): ... new function.

        PR c++/8338
        * pt.c (for_each_template_parm): Add htab parameter.
        (process_partial_specialization): Adjust call.
        (push_template_decl_real): Likewise.
        (pair_fn_data): Add visited.
        (for_each_template_parm_r): Avoid walking duplicates more than
        once.
        (uses_template_parms): Adjust call to for_each_template_parm.

2002-11-07  Mark Mitchell  <mark@codesourcery.com>

        * class.c (add_implicitly_declared_members): Put implicitly
        declared functions at the end of TYPE_METHODs when -fabi-version
        is at least 2.

2002-11-05  Geoffrey Keating  <geoffk@apple.com>

        * decl2.c (finish_file): Correct spelling.

2002-11-03  Mark Mitchell  <mark@codesourcery.com>

        * call.c (build_special_member_call): Do not try to lookup VTTs by
        name.
        * class.c (vtbl_init_data): Add generate_vcall_entries.
        (get_vtable_decl): Do not look up virtual tables by name.
        (copy_virtuals): Do not use BV_USE_VCALL_INDEX_P.
        (set_primary_base): Do not set CLASSTYPE_RTTI.
        (determine_primary_base): Likewise.
        (get_matching_virtual): Remove.
        (get_vcall_index): New function.
        (update_vtable_entry_for_fn): Do not try to use virtual thunks
        when they are not required.  Assign vcall indices at this point.
        (finish_struct_1): Do not set CLASSTYPE_NEEDS_VIRTUAL_REINIT.
        Do update dynamic_classes.
        (build_vtt): Do not add VTTs to the symbol table.
        (build_ctor_vtbl_group): Likewise.
        (build_vtbl_initializer): Simplify handling of vcall indices.
        (build_vcall_offset_vtbl_entries): Pretend to build vcall offsets
        for the most derived class.
        (add_vcall_offset_vtbl_entries_1): But do not actually add them to
        the vtable.
        * cp-tree.h (dynamic_classes): New macro.
        (lang_type_class): Remove rtti.  Add vtables.  Add vcall_indices.
        (CLASSTYPE_RTTI): Remove.
        (CLASSTYPE_NEEDS_VIRTUAL_REINIT): Remove.
        (CLASSTYPE_VCALL_INDICES): New macro.
        (CLASSTYPE_VTABLES): Likewise.
        (BV_USE_VCALL_INDEX_P): Remove.
        (build_vtable_path): Remove.
        * decl2.c (finish_vtable_vardecl): Remove.
        (key_method): Remove #if 0'd code.
        (finish_vtable_vardecl): Rename to ...
        (maybe_emit_vtables): ... this.
        (finish_file): Use it.
        * search.c (look_for_overrides_here): Update comment.

2002-11-01  Zack Weinberg  <zack@codesourcery.com>

        PR c/7353 redux
        * decl2.c (grokfield): Reject TYPE_DECLs with initializers.

2002-10-30  Jason Merrill  <jason@redhat.com>

        PR c++/8186
        * cp-tree.h (ADDR_IS_INVISIREF): New macro.
        * call.c (convert_for_arg_passing): Set it.
        * except.c (stabilize_throw_expr): Recurse for such an arg.

2002-10-31  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (lang_decl_flags): Remove init_priority.
        (lang_decl): Add delta.
        (GLOBAL_INIT_PRIORITY): Remove.
        (THUNK_DELTA): Revise definition.
        * decl2.c (start_objects): Don't set GLOBAL_INIT_PRIORITY.
        * dump.c (cp_dump_tree): Don't dump it.

2002-10-30  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8160
        * typeck2.c (process_init_constructor): Call complete_array_type.

        PR c++/8149
        * decl.c (make_typename_type): Issue errors about invalid results.

2002-10-30  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        Core issue 287, PR c++/7639
        * cp-tree.h (lang_type_class): Add decl_list field.
        (CLASSTYPE_DECL_LIST): New macro.
        (maybe_add_class_template_decl_list): Add declaration.
        * class.c (duplicate_tag_error): Initialize CLASSTYPE_DECL_LIST.
        (unreverse_member_declarations): Reverse CLASSTYPE_DECL_LIST.
        (maybe_add_class_template_decl_list): New function.
        (add_implicitly_declared_members): Use it.
        * decl.c (maybe_process_template_type_declaration): Likewise.
        (pushtag): Likewise.
        * friend.c (add_friend): Likewise.
        (make_friend_class): Likewise.
        * semantics.c (finish_member_declaration): Likewise.
        (begin_class_definition): Initialize CLASSTYPE_DECL_LIST.
        * pt.c (instantiate_class_template): Use CLASSTYPE_DECL_LIST
        to process members and friends in the order of declaration.

2002-10-29  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8287
        * decl.c (finish_destructor_body): Create the label to jump to
        when returning from a destructor here.
        (finish_function_body): Rather than here.

2002-10-25  Zack Weinberg  <zack@codesourcery.com>

        PR c++/7266
        * decl.c (grokdeclarator): Check that TREE_OPERAND 0 of a
        SCOPE_REF is not null before dereferencing it.

2002-10-25  Mark Mitchell  <mark@codesourcery.com>

        * call.c (build_over_call): Use DECL_CONTEXT, not
        DECL_VIRTUAL_CONTEXT.
        * class.c (modify_vtable_entry): Don't mess with
        DECL_VIRTUAL_CONTEXT.
        (set_vindex): Remove.
        (set_primary_base): Remove vfuns_p parameter.
        (determine_primary_base): Likewise.
        (modify_all_vtables): Likewise.
        (layout_class_type): Likewise.  Adjust calls to other functions
        accordingly.
        (finish_struct_1): Adjust calls to modified functions.  Set
        DECL_VINDEX here.
        * cp-tree.h (lang_type_class): Remove vsize.
        (CLASSTYPE_VSIZE): Remove.
        (lang_decl): Remove thunks.
        (DECL_THUNKS): Adjust.
        (DECL_VIRTUAL_CONTEXT): Remove.
        (duplicate_decls): Don't copy it.
        * pt.c (build_template_decl): Don't set it.
        (tsubst_decl): Likewise.
        * typeck.c (expand_ptrmemfunc_cst): Don't use it.

        * class.c (build_vtbl_initializer): Don't use build_vtable_entry.
        (build_vtable_entry): Remove.
        * cp-tree.h (BINFO_VIRTUALS): Expand documentation.
        (lang_decl): Add thunks.
        (DECL_THUNKS): New macro.
        * decl.c (duplicate_decls): Copy it.
        * method.c (make_thunk): Simplify, and add thunks to DECL_THUNKS.
        * semantics.c (emit_associated_thunks): Simplify.

2002-10-24  David Edelsohn  <edelsohn@gnu.org>

        PR c++/7228
        * cp-tree.h (CLASSTYPE_READONLY_FIELDS_NEED_INIT): Check that
        lang_type structure exists before accessing field.
        (SET_CLASSTYPE_READONLY_FIELDS_NEED_INIT): New macro.
        (CLASSTYPE_REF_FIELDS_NEED_INIT): Similar.
        (SET_CLASSTYPE_REF_FIELDS_NEED_INIT): New macro.
        * class.c (check_field_decls): Use new macros.
        * typeck2.c (process_init_constructor): Remove redundant check for
        existence of lang_type structure.

2002-10-24  Mark Mitchell  <mark@codesourcery.com>

        * class.c (end_of_base): New method.
        (end_of_class): Use it.  Check indirect virtual bases.

        * class.c (check_field_decls): Fix typo.

2002-10-23  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8067
        * decl.c (maybe_inject_for_scope_var): Ignore __FUNCTION__ and
        related variables.

        PR c++/7679
        * spew.c (next_token): Do not return an endless stream of
        END_OF_SAVED_INPUT tokens.
        (snarf_method): Add three END_OF_SAVED_INPUT tokens to the end of
        the cached token stream.
        (snarf_defarg): Likewise.

2002-10-23  Zack Weinberg  <zack@codesourcery.com>

        * cp-lang.c (cp_var_mod_type_p): New: C++ hook for
        variably_modified_type_p.
        * cp-tree.h: Remove prototype of variably_modified_type_p.
        * tree.c (variably_modified_type_p): Remove; now implemented
        in language-independent code.

2002-10-22  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6579
        * spew.c (snarf_parenthesized_expression): New function.
        (snarf_block): Use it.

2002-10-22  Richard Henderson  <rth@redhat.com>

        * method.c (use_thunk): Always compute vcall_value; assert that
        it is not zero.  Use can_output_mi_thunk; use output_mi_thunk
        for vcall thunks as well.

2002-10-21  Mark Mitchell  <mark@codesourcery.com>

        * class.c (empty_base_at_nonzero_offset_p): New function.
        (layout_nonempty_base_or_field): Do not check for conflicts when
        laying out a virtual base using the GCC 3.2 ABI.
        (build_base_field): Correct checking for presence of empty classes
        at nonzero offsets when clearing CLASSTYPE_NEARLY_EMPTY_P.

        * class.c (include_empty_classes): Use normalize_rli.
        (layout_class_type): Likewise.

        * decl.c (reshape_init): Tweak handling of character arrays.

        PR c++/8218
        * cp-tree.h (lang_type_class): Add contains_empty_class_p.
        (CLASSTYPE_CONTAINS_EMPTY_CLASS_P): New macro.
        * class.c (check_bases): Update CLASSTYPE_CONTAINS_EMPTY_CLASS_P.
        (check_field_decls): Likewise.
        (layout_class_type): Likewise.
        (finish_struct_1): Initialize it.
        (walk_subobject_offsets): Use it to prune searches.

2002-10-20  Mark Mitchell  <mark@codesourcery.com>

        * method.c (use_thunk): Compute the vcall index as a HOST_WIDE_INT.
        * optimize.c (optimize_function): Replace ASM_OUTPUT_MI_THUNK with
        TARGET_ASM_OUTPUT_MI_THUNK in comments.

2002-10-18  Zack Weinberg  <zack@codesourcery.com>

        * decl.c (start_decl): Point users of the old initialized-
        typedef extension at __typeof__.

2002-10-18  Mark Mitchell  <mark@codesourcery.com>

        * Make-lang.in (method.o): Depend on TARGET_H.
        * method.c (target.h): Include it.
        (use_thunk): Use target hooks.  Use vcall thunks, if available.

2002-10-18  Mark Mitchell  <mark@codesourcery.com>

        * class.c (base_derived_from): Make sure return value is a bool.

2002-10-18  Mark Mitchell  <mark@codesourcery.com>

        * class.c (find_final_overrider_data_s): Remove overriding_fn and
        overriding_base.
        (dfs_base_derived_from): New function.
        (base_derived_from): Likewise.
        (dfs_find_final_overrider): Use base_derived_from.
        (find_final_overrider): Adjust.

2002-10-18  Jason Merrill  <jason@redhat.com>

        PR c++/8080
        * semantics.c (finish_for_cond, finish_while_cond): Don't mess
        with condition decls in a template.

2002-10-17  Nathan Sidwell  <nathan@codesourcery.com>

        * class.c (add_method): Compare template parms too.

2002-10-17  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7584
        * class.c (handle_using_decl): Allow the declaration used to be
        from an ambiguous base.

        * pt.c (convert_template_argument): Revert this change:
                2002-10-16  Mark Mitchell  <mark@codesourcery.com>
                * pt.c (convert_template_argument): Do not fold non-type
                template rguments when inside a template.

        * init.c (expand_default_init): Handle brace-enclosed initializers
        correctly.

2002-10-16  Mark Mitchell  <mark@codesourcery.com>

        * mangle.c (write_expression): Correct handling of enumeration
        constants.
        (write_template_arg): Likewise.
        * pt.c (convert_template_argument): Do not fold non-type template
        arguments when inside a template.

        PR c++/7478
        * cvt.c (convert_to_reference): Allow references as the incoming
        type.

2002-10-16  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7524
        * method.c (do_build_assign_ref): Use cp_build_qualified_type, not
        build_qualified_type.

2002-10-15  Richard Henderson  <rth@redhat.com>

        * error.c (dump_expr): Use real_to_decimal directly, and with
        the new arguments.

2002-10-15  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (reshape_init): Fix typo.

        * cp-tree.h (operator_name_info_t): Add arity.
        * lex.c (init_operators): Initialize it.
        * mangle.c (write_conversion_operator_name): New function.
        (write_unqualified_name): Use it.
        (write_template_args): Accept template arguments as a TREE_LIST.
        (write_expression): Adjust handling of qualified names to match
        specification.

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

        * call.c (call_builtin_trap): New fn.
        (convert_arg_to_ellipsis): Use it.  Downgrade error to warning.
        (build_call): Don't set current_function_returns_abnormally outside
        a function.

2002-10-14  Mark Mitchell  <mark@codesourcery.com>

        * class.c (check_field_decls): Remove empty_p parameter.  Instead,
        clear CLASSTYPE_EMPTY_P.
        (build_base_field): Likewise.
        (build_base_fields): Likewise.
        (check_bases_and_members): Likewise.
        (create_vtbl_ptr): Likewise.
        (layout_class_type): Likewise.  Ensure that empty classes have
        size zero when used as base classes in the 3.2 ABI.
        (finish_struct_1): Initialize CLASSTYPE_EMPTY_P and
        CLASSTYPE_NEARLY_EMPTY_P.  Adjust calls to avoid passing empty_p
        parameter.
        (is_empty_class): Correct definition when using post-3.2 ABI.
        * cp-tree.h (lang_type_class): Add empty_p.
        (CLASSTYPE_EMPTY_P): New macro.

2002-10-12  Nathan Sidwell  <nathan@codesourcery.com>

        * init.c (build_delete): Do not apply save_expr for arrays.
        (build_vec_delete): Likewise.

2002-10-14  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (layout_var_decl): Call layout_decl even for variables
        whose type is an array with unspecified bounds.

        PR c++/7176
        * lex.c (do_identifier): Add another option for the parsing
        parameter.
        * parse.y (do_id): Use it.

2002-10-11  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        PRs C++/6803, C++/7721 and C++/7803
        * decl.c (grokdeclarator): Gracefully handle template-name as
        decl-specifier.

2002-10-11  Jason Molenda  <jmolenda@apple.com>

        * init.c (build_field_list): Provide uses_unions_p with a default
        value.

2002-10-11  Mark Mitchell  <mark@codesourcery.com>

        PR c++/5661
        * cp-tree.h (variably_modified_type_p): New function.
        (grokdeclarator) Tighten check for variably modified types as
        fields.
        * pt.c (convert_template_argument): Do not allow variably modified
        types as template arguments.
        * tree.c (variably_modified_type_p): New function.

        * NEWS: Document removal of "new X = ..." extension.
        * class.c (initialize_array): Set TREE_HAS_CONSTRUCTOR on
        brace-enclosed initializers.
        * cp-tree.h (CP_AGGREGATE_TYPE_P): New macro.
        (initialize_local_var): Remove declaration.
        (expand_static_init): Likewise.
        * decl.c (next_initializable_field): New function.
        (reshape_init): Likewise.
        (check_initializer): Use them.  Build dynamic initializer for
        aggregates here too.
        (initialize_local_var): Simplify, and incorporate cleanup
        insertion code as well.
        (destroy_local_var): Remove.
        (cp_finish_decl): Tidy.
        (expand_static_init): Fold checks for whether or not a variable
        needs initialization into this function.  Simplify.
        * decl2.c (do_static_initialization): Simplify.
        * init.c (build_init): Do not set TREE_SIDE_EFFECTS when it will
        be done for us automatically.
        (expand_default_init): Handle brace-enclosed initializers
        correctly.
        (expand_aggr_init_1): Remove RTL-generation code.
        (build_vec_init): Remove "new X = ..." support.
        * parse.y (new_initializer): Likewise.
        * rtti.c (get_pseudo_ti_init): Set TREE_HAS_CONSTRUCTOR on
        brace-enclosed initializer.
        (create_pseudo_type_info): Likewise.
        * typeck2.c (store_init_value): Don't try to handle digest_init
        being called more than once.
        (digest_init): Tidy handling of brace-enclosed initializers.

2002-10-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl.c (typename_hash): Use htab_hash_pointer.

2002-10-10  Jim Wilson  <wilson@redhat.com>

        * decl.c (duplicate_decls): Don't call decl_attributes.

2002-10-09  Zack Weinberg  <zack@codesourcery.com>

        PR c/7353
        * decl.c (start_decl): Unconditionally issue error for
        'typedef foo = bar'.
        (cp_finish_decl): Remove special case for TYPE_DECL with initializer.
        (grokdeclarator): Remove redundant error for 'typedef foo = bar'.

2002-10-09  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl2.c (prune_vtable_vardecl): Delete unused function.

2002-10-03  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7754
        * decl2.c (finish_anon_union): Do not expand anonymous unions when
        procesing template functions.
        * pt.c (tsubst_decl, case VAR_DECL): Try to complete the variable
        type. Call layout_decl.
        (tsubst_expr, case DECL_STMT): Handle anonymous unions.

2002-10-07  Richard Henderson  <rth@redhat.com>

        * decl2.c, pt.c: Revert c++/7754 fix.

2002-10-05  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/7804
        * error.c (dump_expr) [REAL_CST]: Output in decimal format.

2002-10-03  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7931
        * pt.c (for_each_template_parm_r): Handle BASELINKs.

        PR c++/7754
        * decl2.c (finish_anon_union): Do not expand anonymous unions when
        procesing template functions.
        * pt.c (tsubst_decl, case VAR_DECL): Try to complete the variable
        type. Call layout_decl.
        (tsubst_expr, case DECL_STMT): Handle anonymous unions.

2002-10-03  Mark Mitchell  <mark@codesourcery.com>

        PR c++/8006
        * mangle.c (CLASSTYPE_TEMPLATE_ID_P): Handle instances of template
        template parameters.
        (globals): Add entity and need_abi_warning.
        (decl_is_template_id): Use TYPE_TEMPLATE_INFO, not
        CLASSTYPE_TEMPLATE_INFO.
        (is_std_substitution): Use CLASSTYPE_TI_TEMPLATE, not
        TYPE_TI_TEMPLATE.
        (write_prefix): Handle typename types correctly.
        (write_template_prefix): Handle template template parameters
        correctly.
        (start_mangling): Add entity parameter.
        (finish_mangling): Warn about names whose mangling will change.
        (mangle_decl_string): Adjust.
        (mangle_type_string): Likewise.
        (mangle_special_for_type): Likewise.
        (mangle_ctor_vtbl_for_type): Likewise.
        (mangle_thunk): Likewise.
        (mangle_guard_variable): Likewise.
        (mangle_ref_init_variable): Likewise.

2002-10-02  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7188.
        * cp-tree.def (CTOR_INITIALIZER): Use one slot, not two.
        * cp-tree.h (emit_base_init): Rename to ....
        (emit_mem_initializers): ... this.
        (expand_member_init): Change prototype.
        * init.c (perform_member_init): Compute explicit, rather than
        requiring it as a parameter.
        (sort_member_init): Rename to ...
        (sort_mem_initializers): ... this.  Process bases and data members
        together.
        (sort_base_init): Remove.
        (emit_base_init): Rename to ...
        (emit_mem_initializers): ... this.
        (expand_aggr_vbase_init_1): Remove.
        (construct_virtual_bases): Rename to ...
        (construct_virtual_base): ... this.
        (expand_member_init): Rework handling of base initializers.
        * method.c (do_build_copy_constructor): Use
        finish_mem_initializers.
        * parse.y (member_init): Adjust calls to expand_member_init.
        * pt.c (tsubst_expr): Simplify CTOR_INITIALIZER case.
        (tsubst_initializer_list): Use expand_member_init.
        * semantics.c (finish_mem_intiailizers): Simplify.

2002-10-02  Matt Austern  <austern@apple.com>
        * decl.c (walk_vtables_r): Fixed typo that caused result to
        never get a nonzero value.

2002-10-02  Roger Sayle  <roger@eyesopen.com>

        PR optimization/6627
        * cp-tree.h (enum ptrmemfunc_vbit_where_t): Delete definition
        from here, and move it to tree.h.
        * decl.c (cxx_init_decl_processing): If storing the vbit
        in function pointers, ensure that force_align_functions_log
        is atleast one.

2002-10-02  Matt Austern  <austern@apple.com>

        * class.c (check_field_decls): Changed warning about const member
        variables so that it doesn't get issued for a class aggregate.

2002-10-01  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (cp_finish_decl): Make sure array types are laid out,
        even if the array bounds are unknown.

2002-10-01  Steve Ellcey  <sje@cup.hp.com>

        * class.c (build_vtbl_initializer): Change build_c_cast
        to build1.

2002-10-01  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (cp_finish_decl): Make sure array types are laid out,
        even if the array bounds are unknown.

        * decl.c (cp_finish_decl): Correct check for dynamic
        initialization of thread-local storage.

2002-09-30  Nathan Sidwell  <nathan@codesourcery.com>

        * tree.c (really_overloaded_fn): TEMPLATE_ID_EXPRs are also
        overloaded.

2002-09-30  Steve Ellcey  <sje@cup.hp.com>

        * class.c (build_vtbl_initializer): Add cast.
        (add_vcall_offset_vtbl_entries_1):
        Use TARGET_VTABLE_DATA_ENTRY_DISTANCE for offset.

2002-09-30  Mark Mitchell  <mark@codesourcery.com>

        * class.c (walk_subobject_offsets): Correct the calculation of
        offsets for virtual bases.  Correct the counting of array
        elements.
        (layout_nonempty_base_or_field): Simplify.  Correct the
        calculation of offsets to be propagated through the binfo
        hierarchy.
        (build_base_field): Avoid creating a FIELD_DECL for empty bases.
        Add the FIELD_DECL to TYPE_FIELDS.
        (build_base_fields): Adjust accordingly.
        (layout_virtual_bases): Use build_base_field.
        (end_of_class): Return a tree, not an integer.
        (warn_about_ambiguous_direct_bases): Rename to ...
        (warn_about_ambiguous_bases): ... this.
        (include_empty_classes): New function.
        (layout_class_type): Create an alternative version of the type to
        be used when as a base class type.  Do not call
        finish_record_layout until we are done laying out the class.
        * cp-tree.h (lang_type_class): Remove size, size_unit.  Add
        as_base.
        (CLASSTYPE_SIZE): Reimplement.
        (CLASSTYPE_SIZE_UNIT): Likewise.
        (CLASSTYPE_ALIGN): Likweise.
        (CLASSTYPE_USER_ALIGN): Likewise.
        (CLASSTYPE_AS_BASE): New macro.
        (DECL_INITIALIZED_P): Likewise.
        (extract_init): Remove prototype.
        (build_forced_zero_init): Rename to ...
        (build_zero_init): ... this.
        (force_store_init_value): Remove.
        * decl.c (obscure_complex_init): Remove.
        (duplicate_decls): Copy DECL_INITIALIZED_P.
        (check_initializer): Do not leave junk in DECL_INITIAL.
        (cp_finish_decl): Handle zero-initialization of entities with
        static storage duration.
        * expr.c (extract_init): Remove.
        * init.c (build_forced_zero_init): Remove.
        (build_zero_init): New function.
        (build_default_init): Use it.
        (build_field_list): Skip FIELD_DECLs for base subobjects.
        (push_base_cleanups): Likewise.
        * method.c (do_build_assign_ref): Likewise.
        (synthesize_exception_spec): Likewise.
        * pt.c (tsubst_decl): Clear DECL_INITIALIZED_P.
        (regenerate_decl_from_template): To not set DECL_INITIAL for a
        static data member whose initialization took place in its class.
        (instantiate_decl): Do not pass an initializer to cp_finish_decl
        in that situation.
        * search.c (dfs_push_decls): Skip FIELD_DECLs for base subobjects.
        (dfs_unuse_fields): Likewise.
        * tree.c (pod_type_p): Handle error_mark_node.
        (zero_init_p): Likewise.
        * typeck.c (lookup_anon_field): Skip FIELD_DECLs for base
        subobjects.
        * typeck2.c (store_init_value): Remove #if 0'd code.
        (force_store_init_value): Remove.
        (process_init_constructor): Use build_zero_init.

2002-09-29  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/7788
        * rtti.c (unemitted_tinfo_decl_p): Check it has a field.

2002-09-29  Kazu Hirata  <kazu@cs.umass.edu>

        * cp-tree.h: Fix comment typos.
        * decl.c: Likewise.
        * pt.c: Likewise.

2002-09-25  Mark Mitchell  <mark@codesourcery.com>

        * cp/class.c (contains_empty_class_p): New method.
        (walk_subobject_offsets): Correct computation of field offset.
        (layout_empty_base): Correct placement of emtpy base classes.
        (layout_class_type): Warn about ABI changes.

2002-09-23  Mark Mitchell  <mark@codesourcery.com>

        * cp/class.c (layout_virtual_bases): Do not round the size of the
        type to a multiple of the alignment before laying out virtual bases.
        (layout_class_type): Correct handling of bit-fields that are wider
        than their type inside unions.  Round the size of the type to a
        even number of bytes when computing the size without virtual
        bases.
        * cp/cp-tree.h (abi_version_at_least): New macro.

2002-09-21  Kazu Hirata  <kazu@cs.umass.edu>

        * ChangeLog: Follow spelling conventions.
        * ChangeLog.2: Likewise.
        * call.c: Likewise.
        * class.c: Likewise.
        * cp-tree.h: Likewise.
        * cvt.c: Likewise.
        * decl.c: Likewise.
        * decl2.c: Likewise.
        * except.c: Likewise.
        * friend.c: Likewise.
        * g++spec.c: Likewise.
        * init.c: Likewise.
        * lex.c: Likewise.
        * mangle.c: Likewise.
        * method.c: Likewise.
        * operators.def: Likewise.
        * optimize.c: Likewise.
        * pt.c: Likewise.
        * rtti.c: Likewise.
        * search.c: Likewise.
        * semantics.c: Likewise.
        * spew.c: Likewise.
        * tree.c: Likewise.
        * typeck.c: Likewise.

2002-09-18  Devang Patel  <dpatel@apple.com>

        * cp/cp-tree.h: New prototype for walk_vtabls().
        * cp/decl.c (walk_vtables_r): New function.
        (struct cp_binding_level): Add new members, namespaces,
        names_size and vtables.
        (add_decl_to_level): Add decl in namespaces or vtables
        chain, if conditions match.
        (walk_vtables): New function.
        (walk_namespaces_r): Travers separate namespace chain
        for namespace decls.
        (wrapup_globals_for_namespace): Use names_size instead
        of list_length().
        * cp/decl2.c (finish_file): Use walk_vtables() instead of
        walk_globals() to walk vtable decls.

2002-09-18  Nathan Sidwell  <nathan@codesourcery.com>

        * decl.c (grokdeclarator): Use assert, not internal_error. Don't
        ICE with invalid pointers & references.

2002-09-17  Zack Weinberg  <zack@codesourcery.com>

        * Make-lang.in: Remove all references to the demangler.
        * cxxfilt.c: Moved to binutils.

2002-09-16  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/7718
        * pt.c (tsubst_decl): Remove assert.

        Remove DR 295 implementation.
        * pt.c (check_cv_quals_for_unify): Disable function & method cases.
        * tree.c (cp_build_qualified_type_real): Likewise. Don't warn
        about ignoring volatile qualifiers.

        * search.c (lookup_member): Correct documentation.

2002-09-16  Geoffrey Keating  <geoffk@apple.com>

        * cp-tree.h (union lang_tree_node): Add chain_next option.

2002-09-16  Nathan Sidwell  <nathan@codesourcery.com>

        * parse.y (parse_finish_call_expr): Check lookup_member result.

        PR c++/7015
        * semantic.c (finish_asm_stmt): Fix operand/output_operands
        thinko.
        * typeck.c (c_expand_asm_operands): Protect from error_mark_node.

2002-09-15  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/7919
        * call.c (build_over_call): Convert this pointer for fns found by
        using decls.

2002-09-15  Kazu Hirata  <kazu@cs.umass.edu>

        * ChangeLog: Follow spelling conventions.
        * ChangeLog.1: Likewise.

2002-09-14  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/7768
        * pt.c (build_template_decl): Copy DECL_DESTRUCTOR_P.

2002-09-14  Kazu Hirata  <kazu@cs.umass.edu>

        * error.c: Fix comment formatting.
        * except.c: Likewise.
        * expr.c: Likewise.
        * friend.c: Likewise.
        * g++spec.c: Likewise.
        * init.c: Likewise.
        * lex.c: Likewise.
        * mangle.c: Likewise.
        * method.c: Likewise.
        * optimize.c: Likewise.
        * pt.c: Likewise.
        * rtti.c: Likewise.
        * search.c: Likewise.
        * semantics.c: Likewise.
        * spew.c: Likewise.
        * tree.c: Likewise.
        * typeck.c: Likewise.
        * typeck2.c: Likewise.

2002-09-13  Matt Austern  <austern@apple.com>

        PR C++/7828
        * cp/cp-tree.h, cp/tree.c: New function non_cast_lvalue_p.
        * cp/call.c: Change call-by-const-reference mechanism to use
        non_cast_lvalue_p when deciding whether the create a temporary.
        We need a temporary when passing, e.g. (long) x by const ref.

2002-09-13  Nathan Sidwell  <nathan@codesourcery.com>

        * pt.c (unify, ARRAY_TYPE): Element type can be more qualified.

2002-09-13  Kazu Hirata  <kazu@cs.umass.edu>

        * decl.c: Fix comment formatting.
        * decl2.c: Likewise.

2002-09-12  Kazu Hirata  <kazu@cs.umass.edu>

        * call.c: Fix comment formatting.
        * class.c: Likewise.
        * cp-lang.c: Likewise.
        * cp-tree.h: Likewise.
        * cvt.c: Likewise.

2002-09-11  Zack Weinberg  <zack@codesourcery.com>

        * Make-lang.in: Build cp/cxxfilt.o from $(srcdir)/cp/cxxfilt.c,
        and c++filt from cxxfilt.o + version.o + $(LIBDEPS).
        * cxxfilt.c: New file: split from libiberty/cplus-dem.c, with
        minor adjustments (use version_string, eliminate yet another
        duplicate of xmalloc)

2002-09-08  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * cp-tree.h (require_complete_eh_spec_types): Add prototype.

2002-09-05  Jason Merrill  <jason@redhat.com>

        * typeck2.c (add_exception_specifier): Only pedwarn for an
        incomplete type.
        (require_complete_eh_spec_types): New fn.
        (cxx_incomplete_type_diagnostic): Also support pedwarning.
        * typeck.c (complete_type_or_diagnostic): Likewise.
        * call.c (build_call): Call require_complete_eh_spec_types.
        * rtti.c (get_pseudo_ti_desc): Give an error rather than aborting
        on an incomplete type.

2002-09-04  Jakub Jelinek  <jakub@redhat.com>

        * decl.c (start_cleanup_fn): Clear interface_only before
        start_function, restore it afterwards.

2002-09-02  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (finish_builtin_type): Remove.
        * decl2.c (finish_builtin_type): Move to common code.
        * decl.c (build_ptrmemfunc_type): Adjust.
        * rtti.c (create_pseudo_type_info): Adjust.
        (create_tinfo_types): Adjust.

2002-08-31  Jason Merrill  <jason@redhat.com>

        * cp-lang.c (cp_expr_size): Allow initialization from a
        CONSTRUCTOR.

2002-08-30  Richard Henderson  <rth@redhat.com>

        PR opt/7515
        * tree.c: Include target.h.
        (cp_cannot_inline_tree_fn): Don't auto-inline functions that
        don't bind locally.
        * Makefile.in (tree.o): Update.

2002-08-27  Mark Mitchell  <mark@codesourcery.com>

        * class.c (layout_virtual_bases): Warn about bugs in G++ that
        result in incorrect object layouts.
        (layout_class_type): Likewise.

2002-08-24  Matt Austern  <austern@apple.com>

        * tree.c (lvalue_p_1): Add argument for whether casts of lvalues
        are allowable.
        (real_lvalue_p): Update caller.
        (lvalue_p): Ditto.
        (non_cast_lvalue_or_else): New.
        * tree.h: Declare it.
        * typeck.c (build_unary_op): Use non_cast_lvalue_or_else.

2002-08-22  Mark Mitchell  <mark@codesourcery.com>

        * typeck.c (build_class_member_access_expr): Handle COMPOUND_EXPR
        and COND_EXPR specially; fix error message output.

2002-08-22  Jason Merrill  <jason@redhat.com>

        * pt.c (tsubst_expr): RETURN_EXPR is now RETURN_STMT_EXPR.
        * semantics.c (nullify_returns_r): Likewise.

2002-08-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>

        Fix PR/7621
        * typeck.c (finish_class_member_access_expr): Diagnose cases where
        name lookup finds nothing.

2002-08-15  Jason Merrill  <jason@redhat.com>

        * semantics.c (finish_then_clause): Remove redundant assignment.
        (finish_if_stmt, begin_switch_stmt, finish_switch_stmt): Move the
        extra binding level outside the if/switch statement.
        (finish_while_cond, finish_for_cond): Rewrite complex condition
        into the loop body.

2002-08-15  Alexandre Oliva  <aoliva@redhat.com>

        * parse.y (sizeof, alignof, typeof): New non-terminals to
        increment skip_evaluation.  Replace terminals with them and
        decrement skip_evaluation at the end of rules using them.
        * decl2.c (mark_used): Don't assemble_external if
        skipping evaluation.

2002-08-15  Gabriel Dos Reis  <gdr@nerim.net>

        Fix PR/7504
        * parse.y (parse_finish_call_expr): Handle incomplete
        type used to name a scope.

2002-08-15  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/7598
        * typeck.c (build_unary_op): Fold offsetof idiom. Fixes
        regression caused by my 2002-08-08 patch.

2002-08-13  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (pushdecl_class_level): Honor requests to bind names to
        OVERLOADs.

2002-08-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl2.c (build_call_from_tree): Fix uninitialized variable.
        * parse.y (parse_finish_call_expr): Likewise.
        * repo.c (old_args, old_dir, old_main): Const-ify.

2002-08-11  Gabriel Dos Reis  <gdr@nerim.net>

        * decl.c (duplicate_decls): Replace DECL_SOURCE_FILE
        DECL_SOURCE_LINE with DECL_SOURCE_LOCATION.
        * optimize.c (maybe_clone_body): Likewise.
        * pt.c (tsubst_enum): Likewise.
        (lookup_template_class): Likewise.
        * tree.c (cp_copy_res_decl_for_inlining): Likewise.

2002-08-10  Neil Booth  <neil@daikokuya.co.uk>

        * lang-specs.h: Remove -ansi.

2002-08-10  Nathan Sidwell  <nathan@codesourcery.com>

        * tree.c (maybe_dummy_object): Replace // with /* */

2002-08-09  Mark Mitchell  <mark@codesourcery.com>

        * call.c (standard_conversion): Use build_ptrmem_type.
        * cp-tree.h (build_ptrmem_type): New function.
        (adjust_result_of_qualified_name_lookup): Likewise.
        * decl.c (grokvardecl): Do not look for OFFSET_TYPEs to indicate
        static data members.
        (build_ptrmem_type): New function.
        (grokdeclarator): Do not use build_offset_type when encountering a
        qualified name.
        * parse.y (parse_finish_call_expr): Use
        adjust_result_of_qualified_name_lookup.
        * search.c (adjust_result_of_qualified_name_lookup): New function.
        * typeck.c (qualify_type_recursive): Use TYPE_PTRMEM_* rather than
        accessing OFFSET_TYPEs directly.

2002-08-08  Mike Stump  <mrs@apple.com>

        * call.c (add_builtin_candidate): legal -> valid, illegal -> invalid.
        (type_decays_to): Likewise.
        * class.c (find_final_overrider): Likewise.
        (maybe_note_name_used_in_class): Likewise.
        * decl.c (current_tmpl_spec_kind): Likewise.
        (add_binding): Likewise.
        (push_class_binding): Likewise.
        (duplicate_decls): Likewise.
        (layout_var_decl): Likewise.
        (grokfndecl): Likewise.
        (grokdeclarator): Likewise.
        (check_default_argument): Likewise.
        * decl2.c (handle_class_head): Likewise.
        * error.c (dump_template_decl): Likewise.
        * init.c (build_offset_ref): Likewise.
        * pt.c (check_specialization_scope): Likewise.
        (determine_specialization): Likewise.
        (check_explicit_specialization): Likewise.
        (maybe_check_template_type): Likewise.
        (process_partial_specialization): Likewise.
        (check_default_tmpl_args): Likewise.
        (push_template_decl_real): Likewise.
        (convert_template_argument): Likewise.
        (try_class_unification): Likewise.
        (get_bindings_real): Likewise.
        (do_decl_instantiation): Likewise.
        * semantics.c (begin_function_definition): Likewise.
        (finish_member_declaration): Likewise.
        (check_multiple_declarators): Likewise.
        * typeck.c (comp_array_types): Likewise.
        (comptypes): Likewise.
        (expr_sizeof): Likewise.
        (build_binary_op): Likewise.
        (dubious_conversion_warnings): Likewise.
        (check_return_expr): Likewise.

2002-08-08  Mark Mitchell  <mark@codesourcery.com>

        * typeck.c (build_class_member_access_expr): Do not return
        error_mark_node when no error has occurred.

2002-08-08  Nathan Sidwell  <nathan@codesourcery.com>

        * typeck.c (build_component_addr): Remove.
        (build_unary_op): Just check it's not a bitfield, and then build
        an ADDR_EXPR.

2002-08-08  Nathan Sidwell  <nathan@codesourcery.com>

        * class.c (convert_to_base): Correct check for error_mark_node.
        (create_vtable_ptr): Remove unused VFUNS_P parm.

2002-08-08  Nathan Sidwell  <nathan@codesourcery.com>

        * cp/Make-lang.in (c++.mostlyclean): Remove coverage files.

2002-08-07  Mark Mitchell  <mark@codesourcery.com>

        Rework build_component_ref.
        * call.c (build_vfield_ref): Do not go through build_component_ref.
        (build_field_call): Use build_class_member_access_expr.
        (build_user_type_conversion_1): Use BASELINK_FUNCTIONS.
        (build_object_call): Likewise.
        * class.c (convert_to_base): New function.
        (type_requires_array_cookie): Use BASELINK_FUNCTIONS.
        (instantiate_type): Handle BASELINKs.
        * cp-tree.def (BASELINK): New tree code.
        * cp-tree.h (BASELINK_P): Reimplement.
        (SET_BASELINK_P): Remove.
        (BASELINK_BINFO): Reimplement.
        (BASELINK_FUNCTIONS): Likewise.
        (BASELINK_ACCESS_BINFO): Likewise.
        (BASELINK_OPTYPE): Likewise.
        (convert_to_base): New function.
        (name_p): Likewise.
        (build_object_ref): Remove.
        (build_component_ref_1): Likewise.
        (build_component_ref): Likewise.
        (build_x_component_ref): Likewise.
        (build_class_member_access_expr): New function.
        (finish_class_member_access_expr): Likewise.
        (build_ptrmemfunc_access_expr): Likewise.
        * decl.c (grokdeclarator): Handle BASELINKs.
        * decl2. (build_expr_from_tree): Handle COMPONENT_REFs by using
        finish_class_member_access_expr.
        (arg_assoc): Handle BASELINKs.
        (do_class_using_decl): Likewise.
        * error.c (dump_decl): Likewise.
        (dump_expr): Use build_ptrmemfunc_access_expr.
        * except.c (dtor_nothrow): Use CLASSTYPE_DESTRUCTORS to find
        destructors.
        (build_throw): Use BASELINK_FUNCTIONS.
        * init.c (perform_member_init): Use
        build_class_member_access_expr.
        (build_offset_ref): Handle BASELINKs.  Use
        build_class_member_access_expr.
        * method.c (hack_identifier): Likewise.
        * parse.y (do_id): Use BASELINK, not TREE_LIST.
        (primary): Remove uses of build_object_ref.
        * pt.c (lookup_template_function): Handle BASELINKs.
        (resolve_overloaded_unification): Likewise.
        * search.c (build_baselink): Build a BASELINK, not a TREE_LIST.
        (lookup_field): Use BASELINK, not TREE_LIST.
        (lookup_fnfiels): Likewise.
        (setup_class_bindings): Likewise.
        * semantics.c (finish_object_call_expr): Do not use
        build_method_call when we already know what function is being
        called.
        * spew.c (identifier_type): Use BASELINK, not TREE_LIST.
        * tree.c (really_overloaded_fn): Use OVL_CHAIN for OVERLOADs, not
        TREE_CHAIN.
        (name_p): New function.
        * typeck.c (build_object_ref): Remove.
        (build_component_ref_1): Likewise.
        (build_x_component_ref): Likewise.
        (build_class_member_access_expr): New function.
        (finish_class_member_access_expr): Likewise.
        (build_ptrmemfunc_access_expr): Likewise.
        (get_member_function_from_ptrfunc): Use
        build_ptrmemfunc_access_expr.
        (build_binary_op): Likewise.
        (build_unary_op): Likewise.
        (build_ptrmemfunc): Likewise.
        (pfn_from_ptrmemfunc): Likewise.
        * typeck2.c (build_m_component_ref): Adjust comment.

2002-08-07  Neil Booth  <neil@daikokuya.co.uk>

        * Make-lang.in (CXX_C_OBJS): Update.
        * cp-lang.c (LANG_HOOKS_DECODE_OPTION): Use c_common_decode_option.
        * cp-tree.h (cxx_decode_option): Remove.
        * decl2.c (compare_options, lang_f_options, unsupported_options,
        cxx_decode_option): Remove.

2002-08-06  Gabriel Dos Reis  <gdr@nerim.net>

        * typeck.c (build_x_unary_op): Handle pointer-to-member.

2002-08-05  Geoffrey Keating  <geoffk@redhat.com>

        * class.c: Don't include obstack.h.
        (popclass):
        * decl2.c: Delete bogus comment.
        * error.c: Don't include obstack.h.
        * except.c: Likewise.
        (dump_type): Correct comment.
        * method.c: Don't include obstack.h.
        * tree.c: Likewise.

2002-08-04  Gabriel Dos Reis  <gdr@nerim.net>

        Fix PR/2213
        * cvt.c (cp_convert_to_pointer): Reject conversions from integral
        expressions to pointer-to-data-member of pointer-to-member-functions.

2002-08-04  Geoffrey Keating  <geoffk@redhat.com>

        * cvt.c (ocp_convert): Delete obsolete code.
        * parse.y (permanent_obstack): Delete declaration.
        * pt.c (permanent_obstack): Delete declaration.
        * repo.c (permanent_obstack): Delete declaration.
        (open_repo_file): Use xmalloc instead of permanent_obstack.
        (init_repo): Use xstrdup instead of permanent_obstack.

2002-08-04  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (VF_DERIVED_VALUE): Remove.
        * class.c (finish_struct_1): Use VF_BINFO_VALUE not VF_DERIVED_VALUE.

2002-08-03  Nathan Sidwell  <nathan@codesourcery.com>

        PR 7470.
        C++ ABI change - vfunc ordering.
        * class.c (add_virtual_function): Remove.
        (dfs_modify_all_vtables): Take list of all declared
        virtuals. Assign all that are not in primary base.
        (check_for_override): Adjust comments.
        (create_vtable_ptr): Take single list of virtuals. Build chain
        of declared virtuals here.
        (layout_class_type): Take single list of virtuals. Adjust.
        (finish_struct_1): Keep virtuals on single list. Adjust.

2002-08-02  Mark Mitchell  <mark@codesourcery.com>

        * init.c (build_member_call): Use build_new_method_call, not
        build_method_call.

2002-08-02  Krister Walfridsson  <cato@df.lth.se>

        * Make-lang.in (spew.o, lex.o, pt.o): Add path to parse.h dependencies.

2002-08-02  Mark Mitchell  <mark@codesourcery.com>

        * call.c (build_method_call): Issue a more helpful error message
        about ambiguous method names.

2002-08-02  Nathan Sidwell  <nathan@codesourcery.com>

        * tree.c (build_shared_int_cst): Make cache file scope, and
        GTY it.

2002-08-02  Jason Merrill  <jason@redhat.com>

        * cp-lang.c (LANG_HOOKS_EXPR_SIZE): Define.
        (cp_expr_size): New fn.
        * call.c (build_over_call): Lose empty class hackery.
        (convert_arg_to_ellipsis): Promote non-POD warning to error.
        * typeck.c (build_modify_expr): Don't use save_expr on an lvalue.

        * semantics.c (expand_body): Do tree optimization in the function
        context, too.

2002-08-01  Neil Booth  <neil@daikokuya.co.uk>

        * cp-tree.h: Move all warning and flag declarations to c-common.h.
        * decl.c: Move all warning and flag variables to c-common.c.
        * decl2.c: Move all warning and flag variables to c-common.c.
        * lex.c (flag_digraphs): Remove.
        (warn_traditional): Now in c-common.c.

2002-07-31  Mark Mitchell  <mark@codesourcery.com>

        * call.c (build_field_call): Do not look up the field by name.
        (build_method_call): Simplify.
        (struct z_candidate): Add access_path and conversion_path.  Remove
        basetype_path.
        (convert_class_to_reference): Adjust use of
        add_function_candidate.
        (add_candidate): Add conversion_path argument.
        (add_function_candidate): Use it.
        (add_conv_dndidate): Likewise.
        (build_builtin_candidate): Likewise.
        (add_template_candidate_real): Add conversion_path argument.
        (add_template_conv_candidate): Likewise.
        (add_template_candidate): Likewise.
        (build_user_type_conversion_1): Use it.
        (build_new_function_call): Remove name lookup code.  Adjust use of
        add_template_candidate and add_function_candidate.
        (build_new_op): Likewise.
        (convert_like_real): Use build_special_member_call.
        (build_over_call): Use cand->conversion_path.
        (build_special_member_call): New method.
        (build_new_method_call): Remove name lookup code.
        * cp-tree.def (OFFSET_REF): Update documentation.
        (TEMPLATE_ID_EXPR): Likewise.
        * cp-tree.h (BASELINK_ACCESS_BINFO): New macro.
        (BASELINK_OPTYPE): Likewise.
        (build_new_method_call): Adjust prototype.
        (build_special_member_call): New method.
        (build_baselink): New method.
        (build_offset_ref_call_from_tree): Likewise.
        (build_call_from_tree): Likewise.
        (finish_qualified_call_expr): Remove.
        (finish_call_expr): Adjust prototype.
        (build_x_function_call): Remove.
        * cvt.c (ocp_convert): Use build_special_member_call.
        * decl2.c (reparse_absdcl_as_expr): Use finish_call_expr.
        (build_expr_from_tree): Adjust handling for TEMPLATE_ID_EXPR and
        CALL_EXPR.
        (build_offset_ref_call_from_tree): New function.
        (build_call_from_tree): Likewise.
        * init.c (expand_cleanup): Use build_special_member_call.
        (expand_default_init): Likewise.
        (build_member_call): Use finish_call_expr.
        (build_new_1): Use build_special_member_call.
        (push_base_cleanups): Likewise.
        * method.c (do_build_assign_ref): Likewise.
        * parse.y (template_id): Do not pass a COMPONENT_REF to
        lookup_template_function.
        (primary): Use parse_finish_call_epxr, not finish_call_expr.
        (parse_finish_call_expr): New function.
        * pt.c (lookup_template_function): Add assertions.
        * search.c (lookup_base): Allow T to be a binfo.
        (build_baselink): New function.
        (lookup_member): Use it.
        * semantics.c (finish_call_expr): Do not do name lookup.
        (finish_object_call_expr): Remove #if 0'd code.
        (finish_qualified_call_expr): Remove.
        * typeck.c (build_x_function_call): Remove.
        (build_static_case): Use build_special_member_call.
        * typeck2.c (build_functional_cast): Likewise.

2002-07-30  Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>

        * lang-specs.h: Remove __GXX_ABI_VERSION, moved to gcc.c.

2002-07-30  Gabriel Dos Reis  <gdr@nerim.net>

        * cp-tree.h (VF_DERIVED_VALUE): Restore from previous deletion.

2002-07-30  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (CLASSTYPE_VFIELDS, VF_*, BV_*): Add more
        documentation.

2002-07-29  Alan Modra  <amodra@bigpond.net.au>

        * cp-tree.h: Comment typo fix.

2002-07-29  Richard Earnshaw  <rearnsha@arm.com>

        * spew.c (space_for_token): Allocate zeroed memory for a new token
        chunk.

2002-07-27  Roger Sayle  <roger@eyesopen.com>

        * decl.c (builtin_function_1): No need to explicitly mark
        BUILT_IN_RETURN and BUILT_IN_EH_RETURN as noreturn.

2002-07-27  Roger Sayle  <roger@eyesopen.com>

        * decl2.c (cxx_decode_option): Support -fno-builtin-foo.

2002-07-26  Jason Merrill  <jason@redhat.com>

        * call.c (build_over_call): Likewise.
        (cp_convert_parm_for_inlining): New fn.
        (convert_for_arg_passing): New fn.
        (convert_default_arg, build_over_call): Use it.
        (type_passed_as): New fn.
        * pt.c (tsubst_decl): Use it.
        * decl2.c (cp_build_parm_decl): New fn.
        (build_artificial_parm): Use it.
        (start_static_storage_duration_function): Likewise.
        * decl.c (start_cleanup_fn, grokdeclarater): Likewise.
        (grokparms): Don't mess with DECL_ARG_TYPE.
        * typeck.c (convert_arguments): Use convert_for_arg_passing.
        * cp-lang.c (LANG_HOOKS_TREE_INLINING_CONVERT_PARM_FOR_INLINING):
        Define.
        * cp-tree.h: Declare new fns.

2002-07-26  Neil Booth  <neil@daikokuya.co.uk>

        * cp-tree.h (flag_operator_names): Remove.
        * decl2.c (flag_operator_names): Remove.
        (lang_f_options): Remove operator-names.
        * lex.c (D_OPNAME): Remove.
        (reswords): Remove operator names.
        (rid_to_yy): Remove operator names.
        (init_reswords): No need to handle D_OPNAME.
        * spew.c (read_process_identifier): There are no operator
        names.

2002-07-26  Jason Merrill  <jason@redhat.com>

        * dump.c (cp_dump_tree): Call c_dump_tree.
        * Make-lang.in (CXX_C_OBJS): Add c-dump.o.

2002-07-25  Neil Booth  <neil@daikokuya.co.uk>

        * error.c (print_whitespace): Remove.
        * g++spec.c (LIBUNWIND): Move.
        * mangle.c (mangled_position, write_signed_number): Remove.

2002-07-25  Neil Booth  <neil@daikokuya.co.uk>

        * decl2.c (cxx_decode_option): Similarly.

2002-07-25  Gabriel Dos Reis  <gdr@nerim.net>

        * cp-tree.h (cxx_sizeof_nowarn): Now a macro.
        (cxx_sizeof_or_alignof_type): Take a third argument.
        (cxx_sizeof): Adjust definition.
        (cxx_alignof): Likewise.
        * init.c (build_delete): Use cxx_sizeof_nowarn to reflect reality.
        * typeck.c (cxx_sizeof_or_alignof_type): Take a third argument for
        complaining.
        (c_sizeof_nowarn): Remove definition.
        (build_unary_op): Use cxx_sizeof_nowarn.

2002-07-24  Geoffrey Keating  <geoffk@redhat.com>

        * tree.c (cp_build_qualified_type_real): When copying
        pointer-to-method types, unshare the record that holds
        the cached pointer-to-member-function type.

2002-07-23  Neil Booth  <neil@daikokuya.co.uk>

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

2002-07-23  Gabriel Dos Reis  <gdr@nerim.net>

        Fix PR/7363:
        * typeck.c (cxx_sizeof_or_alignof_type): New function.
        (c_sizeof): Remove definition.
        (expr_sizeof): Use cxx_sizeof.
        * decl2.c (build_expr_from_tree): Use cxx_sizeof_or_alignof_type.
        * decl.c (finish_destructor_body): Use cxx_sizeof.
        * semantics.c (finish_alignof): Likewise.
        (finish_alignof): Use cxx_alignof.
        * cp-tree.h (cxx_sizeof, cxx_alignof): New macros.
        (cxx_sizeof_or_alignof_type): Declare.
        (my_friendly_assert): Move to ../c-common.h.

2002-07-23  Neil Booth  <neil@daikokuya.co.uk>

        * class.c, method.c, pt.c, search.c: Don't define obstack macros.

2002-07-22  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/7347, c++/7348
        * cp-tree.h (tsubst_flags_t): Add tf_parsing.
        * decl.c (make_typename_type): Use it.
        (make_unbound_class_template): Likewise.
        (lookup_name_real): Don't call type_access_control if scope is
        template parameter dependent.
        * parse.y (template_arg): Call make_unbound_class_template with
        tf_parsing set.
        (nest_name_specifier): Call make_typename_type with tf_parsing set.
        (typename_sub0): Likewise.
        (typename_sub1): Likewise.
        (instantiate_decl): Push class scope.
        * pt.c (regenerate_decl_from_template): Call pushclass and popclass
        for both static variable and member function template.
        (instantiate_decl) Call pushclass and popclass when tsubst'ing type
        and arguments.
        * search.c (type_access_control): Do type access for TEMPLATE_DECL
        too.

2002-07-20  Roger Sayle  <roger@eyesopen.com>

        * decl2.c (cxx_decode_option): Simplify -fhandle-exceptions
        test by using positive_option.  Make whitespace consistent.

2002-07-20  Gabriel Dos Reis  <gdr@nerim.net>

        * spew.c (struct unparsed_test): Replace 'filename' and 'lineno'
        members with 'locus'.  Adjust use throughout.
        (struct feed):  Likewise.
        (alloc_unparsed_test): Change prototype, take a 'const location_t *'.
        Adjust use.
        (snarf_defarg): Use error(), not error_with_file_and_line().

2002-07-19  Chris Demetriou  <cgd@broadcom.com>

        * lang-specs.h (@c++): Include "%2" (cc1plus_spec) wherever
        cpp_options is included.

2002-07-17  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/2862, c++/2863
        * pt.c (determine_specialization): Compare the length of
        TYPE_ARG_TYPES.  Tidy.

2002-07-17  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/3797
        * decl.c (duplicate_decls): Don't propagate inlining parameters from
        olddecl to newdecl when newdecl is a specialization of the
        instantiation olddecl.

2002-07-17  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/4802, c++/5387
        * decl.c (make_typename_type): Use enforce_access.

2002-07-17  Scott Snyder <snyder@fnal.gov>

        PR c++/7320
        * rtti.c (get_tinfo_decl): Set DECL_COMDAT.

2002-07-12  Mark Mitchell  <mark@codesourcery.com>

        * class.c (add_method): Correct handling of conversion operators.

2002-07-11  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7224
        * class.c (add_method): Simplify.

2002-07-11  Jason Merrill  <jason@redhat.com>

        PR c++/7279
        * tree.c (cp_copy_res_decl_for_inlining): Also copy
        TREE_ADDRESSABLE.

2002-07-10  Graham Stott  <graham.stott@btinternet.com>

        * pt.c (template_parm_this_level_p, push_template_decl_real):
        Pass depth as int pointer.

2002-07-11  Tim Josling  <tej@melbpc.org.au>

        Remove front end hard coding from gengtype.c.

        * config-lang.in (gtfiles): Add files needed for this front end.

2002-07-10  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (unqualified_name_lookup_error): Declare it.
        (begin_function_definition): Adjust prototype.
        * lex.c (unqualified_name_lookup_error): New function, split out
        from ...
        (do_identifier): ... here.
        * parse.y (parse_begin_function_definition): New function.
        (fn.def1): Use it.
        * semantics.c (begin_function_definition): Accept decl-specifiers
        and attributes as separate parameters.

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

        PR c++/6255
        * decl.c (lookup_name_real): Build a new TYPENAME_TYPE rather than
        modifying the old one.

2002-07-09  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (constructor_name_p): Declare it.
        (check_template_template_default_arg): Likewise.
        * class.c (handle_using_decl): Use constructor_name_p.
        * decl.c (grokdeclarator): Likewise.
        * decl2.c (constructor_name_p): Define it.
        * init.c (build_member_call): Use constructor_name_p.
        * parse.y (template_parm): Use check_template_template_default_arg.
        * pt.c (check_explicit_specialization): Use constructor_name_p.
        * semantics.c (check_template_template_default_arg): New function.

2002-07-08  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        * pt.c (can_complete_type_without_circularity): Add static to
        function definition.

2002-07-08  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (have_extern_spec): Declare it
        * decl.c (have_extern_spec): Define it.
        (start_decl): Eliminate use of used_extern_spec.
        (start_function): Likewise.
        * parse.y (have_extern_spec): Remove declaration.
        (used_extern_spec): Likewise.
        (frob_specs): Eliminate use of used_extern_spec.
        (.hush_warning): Likewise.

2002-07-07  Mark Mitchell  <mark@codesourcery.com>

        * Make-lang.in (cp/parse.o): Depend on decl.h.
        * cp-tree.h (do_decl_instantiation): Change prototype.
        * parse.y: Include decl.h.
        (parse_decl_instantiation): New function.
        (explicit_instantiation): Use it.
        * pt.c (do_decl_instantiation): Accept a DECL, not a DECLARATOR
        and DECLSPECS.

2002-07-07  Roger Sayle  <roger@eyesopen.com>

        * error.c (dump_function_name): Use DECL_TEMPLATE_RESULT for
        constructor and destructor tests when passed a TEMPLATE_DECL.

2002-07-05  Jason Merrill  <jason@redhat.com>

        * cvt.c (cp_convert_to_pointer): Call force_fit_type for null
        pointers.

        PR optimization/7145
        * tree.c (cp_copy_res_decl_for_inlining): Also copy DECL_INITIAL.

2002-07-05  Nathan Sidwell  <nathan@codesourcery.com>

        Repair damage on weak-impared targets caused by my previous patch.
        * cp-tree.h (import_export_tinfo): Add parameter.
        * decl2.c (import_export_tinfo): Add parameter, post adjust
        DECL_COMDAT.
        * rtti.c (emit_tinfo_decl): DECL_COMDAT is (nearly) always setup by
        import_export_tinfo.

2002-07-03  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/6944
        * init.c (build_aggr_init): Remove qualifiers of init before calling
        build_vec_init.
        (build_vec_init): Flatten multi-dimensional array during cleanup.
        (build_vec_delete_1): Abort if the type of each element is array.

2002-07-03  Graham Stott  <graham.stott@btinternet.com>

        * pt.c (instantiate_class_template): Fix typo.

2002-07-02  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        * typeck2.c (cxx_incomplete_type_diagnostic): Fix typo caused
        by CVS conflict in my last patch.

2002-07-02  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/6716
        * pt.c (can_complete_type_without_circularity): New function.
        (instantiate_class_template): Use it.
        * typeck2.c (cxx_incomplete_type_diagnostic): Improve error
        message due to incomplete fields.

2002-07-01  Mark Mitchell  <mark@codesourcery.com>

        PR c++/7112
        * mangle.c (write_expression): Add mangling for sizeof when
        applied to a type.
        * operators.def: Remove stale comment.

2002-06-30  Nathan Sidwell  <nathan@codesourcery.com>

        * cp-tree.h (CPTI_TINFO_DECL_TYPE): Replace with ...
        (CPTI_TYPE_INFO_PTR_TYPE): ... this.
        (tinfo_decl_type): Replace with ...
        (type_info_ptr_type): ... this.
        (import_export_tinfo): Declare.
        (tinfo_decl_p): Rename to ...
        (unemitted_tinfo_decl_p): ... this.
        * decl2.c (import_export_decl): Break out tinfo handling into ...
        (import_export_tinfo): ... here. New function.
        (finish_file): Adjust.
        * rtti.c (TINFO_REAL_NAME): New macro.
        (init_rtti_processing): Create the tinfo types.
        (get_tinfo_decl_dynamic): Use type_info_ptr_type, get_tinfo_ptr.
        (get_tinfo_decl): Adjust.
        (get_tinfo_ptr): New function.
        (get_type_id): Use it.
        (tinfo_base_init): Create vtable decl here, if it doesn't exist.
        (ptr_initializer): Use get_tinfo_ptr.
        (ptm_initializer): Likewise.
        (synthesize_tinfo_var): Break into ...
        (get_pseudo_ti_init): ... this. Just create the initializer.
        (get_pseudo_ti_desc): .. and this.
        (create_real_tinfo_var): Remove.
        (create_pseudo_type_info): Don't create the vtable decl here.
        (get_vmi_pseudo_type_info): Remove.
        (create_tinfo_types): Adjust.
        (tinfo_decl_p): Rename to ...
        (unemitted_tinfo_decl_p): ... here. Adjust.
        (emit_tinfo_decl): Adjust. Create the initializer.

2002-06-27  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6695
        * pt.c (tsubst_friend_class): Substitute into the context of the
        friend before using it.

2002-06-26  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (xref_tag): Change prototype.
        (handle_class_head): Likewise.
        (build_x_component_ref): Likewise.
        * decl.c (cxx_init_decl_processing): Adjust call to xref_tag.
        (xref_tag): Take attributes as a separate parameter.
        (xref_tag_from_type): Adjust call to xref_tag.
        * decl2.c (build_expr_from_tree): Adjust call to
        build_x_component_ref.
        (handle_class_head): Take attributes as a separate parameter.
        * parse.y (parse_xref_tag): New function.
        (parse_handle_class_head): Likewise.
        (primary): Use parse_xref_tag.
        (class_head_decl): Use parse_handle_class_head.
        (class_head_defn): Likewise.
        * rtti.c (init_rtti_processing): Adjust call to xref_tag.
        (build_dynamic_cast_1): Likewise.
        (create_pseudo_type_info): Likewise.
        (emit_support_tinfos): Likewise.
        * typeck.c (build_object_ref): Adjust call to
        build_x_component_ref.
        (build_x_component_ref): Remove protect parameter.

2002-06-25  Mark Mitchell  <mark@codesourcery.com>

        * call.c (build_op_delete_call): Use BASELINK_FUNCTIONS.
        * class.c (handle_using_decl): Likewise.
        (instantiate_type): Likewise.
        * cp-tree.h (BASELINK_FUNCTIONS): New macro.
        (xref_basetypes): Change prototype.
        (begin_mem_initializers): New function.
        (get_overloaded_fn): Likewise.
        * decl.c (xref_basetypes): Simplify.
        * error.c (dump_expr): Use BASELINK_FUNCTIONS.
        * init.c (build_offset_ref): Likewise.
        * parse.y (base_init): Use begin_mem_initializers().
        (structsp): Adjust call to xref_basetypes.
        * pt.c (determine_specialization): Use BASELINK_FUNCTIONS.
        (instantiate_class_template): Adjust call to xref_basetypes.
        * semantics.c (begin_mem_initializers): New function.
        * tree.c (is_overloaded_fn): Use BASELINK_FUNCTIONS.
        (really_overloaded_fn): Likewise.
        (get_overloaded_fn): New function.'
        (get_first_fn): USe BASELINK_FUNCTIONS.

2002-06-24  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (SCALAR_TYPE_P): New macro.
        (check_for_out_of_scope_variable): New function.
        (at_class_scope_p): Likewise.
        (finish_fname): Likewise.
        * class.c (finish_struct): Use at_function_scope_p.
        * decl.c (check_for_out_of_scope_variable): New function, split
        out from do_identifier.
        (finish_enum): Use at_function_scope_p.
        * lex.c (do_identifier): Use check_for_out_of_scope_variable.
        * parse.y (VAR_FUNC_NAME): Give it <ttype>.  Use finish_fname.
        (primary): Use at_function_scope_p.
        * search.c (at_class_scope_p): New function.
        * semantics.c (finish_fname): Likewise.
        (check_multiple_declarators): Use at_function_scope_p.

2002-06-23  Mark Mitchell  <mark@codesourcery.com>

        * parse.y (parse_scoped_id): New function.
        (primary): Use it.
        * cp-tree.h (do_scoped_id): Adjust declaration.
        * lex.c (do_scoped_id): Remove call to yylex.
        * decl2.c (build_expr_from_tree): Adjust use of do_scoped_id.
        * typeck2.c (add_exception_specifier): Use tree_cons, rather than
        expanding it inline.

2002-06-23  Matt Thomas  <matt@3am-software.com>

        * decl.c (finish_function): Change "#ifdef VMS_TARGET" to
        "#if VMS_TARGET".

2002-06-21  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * mangle.c (integer_type_codes): Const-ify.

2002-06-20  Richard Henderson  <rth@redhat.com>

        PR c++/6747
        * typeck.c (mark_addressable): Don't test TREE_ADDRESSABLE early.
        Call put_var_into_stack.

2002-06-20  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * spew.c (remove_last_token): Use ARRAY_SIZE in lieu of explicit
        array size calculation.

2002-06-20  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/6892
        * pt.c (tsubst_expr): Handle FILE_STMT.

2002-06-20  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/6723
        * pt.c (lookup_template_class): Don't build complete argument of
        BOUND_TEMPLATE_TEMPLATE_PARM if appeared as a default template
        argument.

2002-06-19  Akim Demaille  <akim@epita.fr>

        * parse.y (TYPENAME): Rename as tTYPENAME to avoid the clash with
        decl.h's TYPENAME.
        * spew.c, lex.c: Adjust.
        * parse.y (explicit_instantiation): Add empty action to override
        the default $$ = $1 where it introduces a type clash.

2002-06-14  Jason Merrill  <jason@redhat.com>

        * semantics.c (begin_for_stmt): Push the 'for' scope before
        adding the FOR_STMT.

        C++ ABI changes.
        * class.c (build_base_field): Set DECL_PACKED.
        (layout_class_type): Don't use tail padding of PODs.
        * mangle.c (write_unqualified_name): Fix template conversion op
        mangling.

2002-06-16  Richard Henderson  <rth@redhat.com>

        PR opt/6793
        * tree.c (cp_cannot_inline_tree_fn): Don't short-circuit test
        after template instantiation.

2002-06-16  Richard Henderson  <rth@redhat.com>

        * cp-tree.h, decl2.c (flag_ms_extensions): Move to c-common.

2002-06-15  Gabriel Dos Reis  <gdr@codesourcery.com>

        * cp-tree.h (compiler_error): Remove declaration.
        * lex.c (compiler_error): Remove definition.

2002-06-14  Steve Ellcey  <sje@cup.hp.com>

        * g++spec.c (LIBUNWIND): New.
        (lang_specific_driver): Add it if USE_UNWIND_EXCEPTIONS is set.

2002-06-13  Jessica Han  <jessica@cup.hp.com>

        * class.c (build_vtable): Use TARGET_VTABLE_ENTRY_ALIGN.
        (build_vtbl_initializer): Honor TARGET_VTABLE_DATA_ENTRY_DISTANCE.
        (build_vbase_offset_vtbl_entries): Likewise.
        * rtti.c (build_headof): Likewise.
        (get_tinfo_decl_dynamic): Likewise.
        (create_pseudo_type_info): Likewise.

2002-06-12  Stan Shebs  <shebs@apple.com>

        * mpw-config.in: Remove file, no longer used.
        * mpw-make.sed: Ditto.

2002-06-07  Zack Weinberg  <zack@codesourcery.com>

        * decl2.c: Update call to cpp_handle_option.

2002-06-07  H.J. Lu  (hjl@gnu.org)

        * decl2.c (flag_use_cxa_atexit): Set to DEFAULT_USE_CXA_ATEXIT.

2002-06-06  Gabriel Dos Reis  <gdr@codesourcery.com>

        * error.c (cp_error_at): Fix typo.

2002-06-04  Gabriel Dos Reis  <gdr@codesourcery.com>

        * error.c (cp_diagnostic_starter): Adjust call.
        (maybe_print_instantiation_context): Change prototype to take a
        'diagnostic_info *'.
        (print_instantiation_full_context): Likewise.
        (print_instantiation_partial_context): Likewise.
        (cp_diagnostic_starter): Likewise.
        (cp_diagnostic_finalizer): Likewise.
        (cp_print_error_function): Likewise.
        (cp_printer): Take a secondary parameter as a 'text_info *'.
        Remove output_state savings.  Adjust calls.

2002-06-03  Geoffrey Keating  <geoffk@redhat.com>

        * pt.c (inline_parm_levels): Mark for GC.

        * mangle.c (start_mangling): Allocate G.substitutions here...
        (init_mangle): ... rather than here.
        (finish_mangling): Clear the varray pointer when done with it.
        * spew.c (yylexstring): Don't use VARRAY_FREE.
        * search.c (bfs_walk): Don't use VARRAY_FREE.
        * decl2.c (pending_statics): Use gengtype to mark.
        (deferred_fns): Likewise.
        (ssdf_decls): Likewise.
        (init_decl2): Delete.
        * decl.c (pop_from_top_level): Don't use VARRAY_FREE.
        (cxx_init_decl_processing): Don't call init_decl2.
        (cxx_pop_function_context): Don't use VARRAY_FREE.
        * cp-tree.h (struct saved_scope): No need for special marking
        of varrays.
        (struct language_function): Likewise.
        (local_classes): Use gengtype to mark.
        (init_decl2): Delete prototype.
        * class.c (init_class_processing): Don't use
        ggc_add_tree_varray_root.
        (build_vtbl_initializer): Don't use VARRAY_FREE.

        * decl.c (typename_compare): Don't use same_type_p.

        * decl.c: Include hashtab.h instead of hash.h.
        (typename_hash): Update to use htab_h.
        (typename_compare): Likewise.
        (typename_htab): Use gengtype to mark.
        (build_typename_type): Update to use htab_h.
        * Make-lang.in (cp/decl.o): Use HASHTAB_H instead of hash.h.

        * Make-lang.in (gt-cp-tree.h): New rule.
        (cp/tree.o): Depend on gt-cp-tree.h.
        * config-lang.in (gtfiles): Add cp/tree.c.
        * tree.c: Include gt-cp-tree.h.
        (list_hash_table): Use gengtype to mark.
        (init_tree): Use gengtype to mark trees.

        * Make-lang.in (cp/decl.o): Add debug.h dependency.
        * call.c (struct z_candidate): Use gengtype.
        (USER_CONV_CAND): Use WRAPPER_ZC.
        (convert_class_to_reference): Use build_zc_wrapper.
        (build_type_conversion_1): Likewise.
        (build_over_call): Use WRAPPER_ZC.
        (add_warning): Use build_zc_wrapper.
        * cp-lang.c (LANG_HOOKS_MARK_TREE): Delete.
        * cp-tree.h (struct lang_identifier): Use gengtype.
        (struct template_parm_index_s): Likewise.
        (struct ptrmem_cst): Likewise.
        (struct tree_binding): Likewise.
        (struct tree_overload): Likewise.
        (struct tree_srcloc): Likewise.
        (struct tree_wrapper): Likewise.  Also modify to have a pointer
        to struct z_candidate rather than void.
        (enum cp_tree_node_structure_enum): New.
        (union lang_tree_node): New.
        (cxx_mark_tree): Delete prototype.
        (cp_tree_node_structure): New prototype.
        (build_ptr_wrapper): Delete prototype.
        (build_int_wrapper): Delete prototype.
        (build_zc_wrapper): New prototype.
        * decl.c: Include debug.h
        (cxx_mark_tree): Delete.
        (cp_tree_node_structure): New.
        * tree.c (build_ptr_wrapper): Delete.
        (build_int_wrapper): Delete.
        (build_zc_wrapper): New.

        * cp-tree.h [! ENABLE_TREE_CHECKING] (LANG_TYPE_PTRMEM_CHECK):
        Correct typo.  Patch from k_fukui@highway.ne.jp.

        * semantics.c (current_stmt_tree): Update for change to
        struct language_function.
        (finish_mem_initializers): Likewise.
        * decl.c (cxx_init_decl_processing): Don't set mark_lang_status.
        * cp-tree.h (struct language_function): Rename from
        cp_language_function.  Change all uses.
        (cp_function_chain): Don't need to cast.

        * class.c (duplicate_tag_error): Reset discriminator.
        (check_bases_and_members): Update for data structure changes.
        * cp-tree.h (struct lang_id2): Use gengtype.
        (flagged_type_tree): Likewise.
        (SET_LANG_ID): Use GGC on struct lang_id2.
        (struct cp_language_function): Use gengtype.  Remove field
        'x_vcalls_possible_p'.
        (current_vcalls_possible_p): Delete.
        (struct lang_type_header): New.
        (struct lang_type_class): Rename from struct lang_type.  Include
        struct lang_type_header.
        (struct lang_type_ptrmem): New.
        (struct lang_type): New.
        (LANG_TYPE_CLASS_CHECK): New.  Use it in all the appropriate macros.
        (LANG_TYPE_PTRMEM_CHECK): New.  Use it in all the appropriate macros.
        (TYPE_SET_PTRMEMFUNC_TYPE): Set discriminator, update for changes.
        (struct lang_decl_flags): Use gengtype.  Add discriminators.
        (struct lang_decl): Use gengtype.  Add and use discriminators.
        Update the macros that reference moved fields.
        (LANG_DECL_U2_CHECK): New function.  Use it when appropriate.
        (SET_DECL_THUNK_P): Set discriminator too.
        (clear_inline_text_obstack): Delete prototype.
        (finish_inline_definitions): Delete prototype.
        (mark_pending_inlines): Delete prototype.
        (lang_check_failed): New prototype.
        * decl.c (struct named_label_use_list): Use gengtype.
        (struct named_label_list): Likewise.
        (mark_binding_level): Delete.
        (mark_named_label_lists): Delete.
        (push_local_name): Set discriminator on DECL_LANG_SPECIFIC.
        (cxx_init_decl_processing): Use generated marker routine.
        (begin_destructor_body): Delete dead set to
        current_vcalls_possible_p.
        (mark_lang_function): Delete.
        (mark_cp_function_context): Delete.
        (lang_mark_tree): Use generated marker routines.
        * decl2.c (start_objects): Set discriminator when setting
        GLOBAL_INIT_PRIORITY.
        * lex.c (retrofit_lang_decl): Set discriminators.
        (copy_lang_type): Update for changes to lang_type structure.
        (cp_make_lang_type): Set discriminator.
        * parse.y: Use gengtype on YYLVAL.  Don't use dots in identifiers.
        * search.c: Include ggc.h.
        * semantics.c (anon_aggr_type_p): Use the macro, don't hand-code it.
        (finish_inline_definitions): Delete.
        * spew.c (struct token): Use gengtype.
        (struct token_chunk): New.
        (struct unparsed_text): Use gengtype.  Store tokens in chunks.
        (struct feed): Use gengtype.
        (feed_obstack): Delete.
        (feed): Mark as GC root.
        (pending_inlines): Mark as GC root.
        (pending_inlines_tail): Likewise.
        (processing_these_inlines): Likewise.
        (token_obstack): Make static.
        (first_token): Likewise.
        (init_spew): Don't initialize deleted things; use gengtype for roots.
        (clear_inline_text_obstack): Delete.
        (feed_input): Use GC for struct feed.  Update for changes to
        struct unparsed_text.
        (mark_pending_inlines): Delete.
        (next_token): Rename from add_token.  Change all callers.  Update
        for changes to struct unparsed_text.
        (space_for_token): New.
        (remove_last_token): New.
        (alloc_unparsed_text): New.
        (snarf_block): Take an unparsed_text.  Update for changes to struct
        unparsed_text.
        (snarf_method): Update for changes to struct unparsed_text.
        (snarf_defarg): Update for changes to struct unparsed_text.
        * tree.c (lang_check_failed): New.

        * Make-lang.in (gt-cp-call.h gt-cp-decl2.h gt-cp-parse.h
        gt-cp-pt.h gt-cp-repo.h gt-cp-spew.h): New rules.
        (cp/spew.o): Add dependency on gt-<filename>.h.
        (cp/decl2.o): Add dependency on gt-<filename>.h.
        (cp/call.o): Add dependency on gt-<filename>.h.
        (cp/pt.o): Add dependency on gt-<filename>.h.
        (cp/repo.o): Add dependency on gt-<filename>.h.
        (cp/parse.o): Add dependency on gt-<filename>.h.
        * call.c: Use gengtype for roots.
        * config-lang.in (gtfiles): Add cp-tree.h decl.h lex.h call.c
        decl2.c parse.y pt.c repo.c spew.c.
        * cp-tree.h: Use gengtype for roots.
        (struct saved_scope): Use GGC, gengtype.
        (cp_parse_init): Delete prototype.
        (init_pt): Delete prototype.
        * decl.c: Use gengtype for roots.
        (mark_saved_scope): Delete.
        (cxx_init_decl_processing): Don't call deleted initilisation
        routines.
        (signed_size_zero_node): Delete, unused.
        * decl.h: Use gengtype for roots.
        * decl2.c: Use gengtype for roots.
        * lex.h: Use gengtype for roots.
        * parse.y: Use gengtype for roots.
        (cp_parse_init): Delete.
        * pt.c: Use gengtype for roots.
        (init_pt): Delete.
        * repo.c: Use gengtype for roots.
        * spew.c: Use gengtype for roots.

        * Make-lang.in: Allow for filename changes.  Add gtype-cp.h.
        (cp/decl.o): Add dependency on gtype-cp.h.
        * decl.c: Remove use of add_deletable_root, use GTY marker instead.
        Include gtype-cp.h.  Allow for filename changes.

        * Make-lang.in (cp/gt-decl.h): Generate using gengtype.
        (cp/decl.o): Add cp/gt-decl.h dependency.
        * config-lang.in (gtfiles): New.
        * tree.h: Rename struct binding_level to struct cp_binding_level.
        * decl.c: Rename struct binding_level to struct cp_binding_level.
        Include cp/gt-decl.h.
        (struct cp_binding_level): Use gengtype.
        (make_binding_level): Use GGC on struct cp_binding_level.
        (mark_binding_level): Use gt_ggc_m_cp_binding_level.
        (cxx_init_decl_processing): Mark free_binding_level as
        deletable.

        * decl.c (mark_cp_function_context): Update calling sequence.

        * decl.c (start_function): Don't free 'struct
        cp_language_function'.
        (pop_cp_function_context): Likewise.
        (save_function_data): Allocate it using GC.
        * semantics.c (genrtl_start_function): Don't free 'struct
        cp_language_function'.

2002-05-31  Matthew Woodcraft  <mattheww@chiark.greenend.org.uk>

        * lang-specs.h: Use cpp_debug_options.

2002-05-28  Zack Weinberg  <zack@codesourcery.com>

        * mangle.c, tree.c: Include real.h.
        * Make-lang.in: Update dependency lists.

2002-05-25  Neil Booth  <neil@daikokuya.demon.co.uk>

        * lex.c: Don't include c-lex.h.
        * parse.y, spew.c: Don't include c-lex.h; include c-pragma.h.

2002-05-23  Neil Booth  <neil@daikokuya.demon.co.uk>

        * spew.c (yyungetc, snarf_block): Remove indent_level handling.

2002-05-22  Richard Henderson  <rth@redhat.com>

        * decl.c (obscure_complex_init): Check for VAR_DECL
        before using DECL_THREAD_LOCAL.

2002-05-22  Richard Henderson  <rth@redhat.com>

        * decl.c (check_tag_decl): Handle RID_THREAD.
        (obscure_complex_init): Reject run-time init of tls.
        (grokvardecl, grokdeclarator): Handle RID_THREAD.
        * lex.c (reswords): Add __thread.
        (rid_to_yy): Map RID_THREAD to SCSPEC.

2002-05-22  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_POST_OPTIONS): Use c_common_post_options.
        * cp-tree.h (cxx_post_options): Kill.
        * cp-lex.c (cxx_post_options): Kill.

2002-05-21  Richard Henderson  <rth@redhat.com>

        * lex.c (rid_to_yy): Add RID_THREAD.

2002-05-21  Alexandre Oliva  <aoliva@redhat.com>

        * init.c (build_vec_init): Test for trivial copy-assignment when
        copy-assigning arrays.

2002-05-20  Andreas Jaeger  <aj@suse.de>

        * init.c (build_default_init): Remove unused variable.

2002-05-20  Alexandre Oliva  <aoliva@redhat.com>

        * call.c (any_strictly_viable): New.
        (build_new_op): Use it for COMPOUND_EXPR and ADDR_EXPRs.

2002-05-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        * error.c (dump_type) [TYPEOF_TYPE]: Fix parenthesis printing.

2002-05-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/186, DR 259
        * pt.c (do_decl_instantiation): Don't complain explicit
        instantiation after explicit specialization.
        (do_type_instantiation): Likewise.

2002-05-19  Alexandre Oliva  <aoliva@redhat.com>

        * cp-tree.h (complete_type_or_diagnostic): Changed prototype,
        renamed from...
        (complete_type_or_else): ... this.  Redefined as macro.
        (cxx_incomplete_type_diagnostic): Declare.
        (cxx_incomplete_type_error): Define as macro.
        * init.c (build_delete): Warn about incomplete types other than
        void, and use the built-in operator delete for them.
        * typeck.c (complete_type_or_diagnostic): Renamed from
        complete_type_or_else.  Added warn_only argument, passed to...
        * typeck2.c (cxx_incomplete_type_diagnostic): ... this.  Print
        warnings or errors depending on new warn_only argument.  Renamed
        from...
        (cxx_incomplete_type_error): ... this.  New implementation in
        terms of cxx_incomplete_type_diagnostic.

2002-05-18  Jason Merrill  <jason@redhat.com>

        PR c++/6611
        * decl2.c (import_export_decl): If we clear
        DECL_NOT_REALLY_EXTERN, make sure DECL_EXTERNAL is set.

2002-05-15  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>

        PR c++/6620
        * pt.c (verify_class_unification): Don't check if PARM is template
        parameter dependent.  Simplify.
        (unify) [TEMPLATE_PARM_INDEX]: Handle when ARG is a template
        parameter dependent expression.

2002-05-14  Jason Merrill  <jason@redhat.com>

        * rtti.c (get_tinfo_decl): Don't call comdat_linkage.
        Do set DECL_COMDAT.
        (synthesize_tinfo_var): Take the public decl.
        (create_real_tinfo_var): Likewise.  Check DECL_COMDAT.
        (emit_tinfo_decl): Adjust.  Call import_export_decl.
        * decl2.c (import_export_decl): Simplify tinfo decl handling.

2002-05-14  Alexandre Oliva  <aoliva@redhat.com>

        * cp-tree.h (struct lang_type): Added non_zero_init.
        (CLASSTYPE_NON_ZERO_INIT_P): New macro.
        (zero_init_p, force_store_init_value, build_forced_zero_init): Declare.
        * class.c (check_field_decls): Test non_zero_init.
        * cvt.c (convert_to_pointer_force): Use cp_convert_to_pointer for
        zero-to-NULL conversions.
        * decl.c (obscure_complex_init): Don't reset DECL_INITIAL of a
        type that needs zero-initialization without zeros.
        (check_initializer_decl): Compute zero-initializer for types
        that require a non-trivial one.
        * init.c (build_forced_zero_init): New function.
        (build_default_init): Use it.
        * tree.c (zero_init_p): New function.
        * typeck2.c (force_store_init_value): New function.
        (process_init_constructor): Create non-trivial zero-initializers
        for array members and class fields.

2002-05-14  Neil Booth  <neil@daikokuya.demon.co.uk>

        * lang-specs.h: Remove redundant -lang-c++.

2002-05-13  Jason Merrill  <jason@redhat.com>

        * class.c (build_vtbl_ref_1): Use fixed_type_or_null.
        (fixed_type_or_null): See through reference vars.
        (build_base_path): Vtable contents are constant.
        * typeck.c (get_member_function_from_ptrfunc): Likewise.

2002-05-12  Jason Merrill  <jason@redhat.com>

        * cp-lang.c (ok_to_generate_alias_set_for_type): Backend-created
        structs are safe.

2002-05-09  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-tree.h (flag_ansi): Remove.
        * decl2.c (flag_ansi): Remove.
        (cxx_decode_option): Set flag_iso and flag_undef.

2002-05-09  Jason Merrill  <jason@redhat.com>

        * typeck.c (get_member_function_from_ptrfunc): Reorganize.
        Use subtraction rather than a bitmask to get the index.
        * cvt.c (cp_convert_to_pointer): Bail on an error_mark_node.

        * pt.c (tsubst_expr) [ASM_STMT]: Copy ASM_INPUT_P.

2002-05-07  Neil Booth  <neil@daikokuya.demon.co.uk>

        * Make-lang.in (decl2.o): Update.
        * cp-tree.h (warn_multichar): Remove.
        * decl2.c: Include c-common.h.
        (warn_multichar): Remove.

2002-05-03  Jason Merrill  <jason@redhat.com>

        * tree.c (build_cplus_array_type): Only const and volatile get
        special handling.

        * decl.c (BOOL_TYPE_SIZE): Move default to defaults.h.

2002-04-30  Mark Mitchell  <mark@codesourcery.com>

        ABI change, returning simple classes from functions.
        * class.c (finish_struct_bits): Only mark TREE_ADDRESSABLE if
        TYPE_HAS_TRIVIAL_INIT_REF is false or
        TYPE_HAS_NONTRIVIAL_DESTRUCTOR is true.

2002-04-30  Jason Merrill  <jason@redhat.com>

        PR debug/6436
        * decl.c (grokdeclarator): Don't override TYPE_NAME of an
        anonymous class with a typedef if there are attributes.

2002-04-29  Paul Eggert  <eggert@twinsun.com>

        * parse.y (nomods_initdcl0): Replace $<ttype>3 with $<ttype>$.

2002-04-29  Jakub Jelinek  <jakub@redhat.com>

        PR c++/6477
        * decl.c (follow_tag_typedef): Check if TYPE_NAME (original) is
        non-NULL first.

2002-04-29  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6492
        * pt.c (tsubst_friend_class): If the friend has an explicit scope,
        enter that scope before name lookup.

        PR c++/6486
        * method.c (do_build_copy_constructor): Avoid building
        cv-qualified reference types.

2002-04-29  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5719
        * decl.c (grok_op_properties): Assignment ops don't have to return
        by value. operator% should.

2002-04-28  Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>

        PR c/6343
        * decl.c (duplicate_decls): Call merge_weak.

2002-04-26  Richard Henderson  <rth@redhat.com>

        * parse.y (malloced_yyss, malloced_yyvs): New.
        (yyoverflow): Re-add.  Set them.
        (free_parser_stacks): New.

2002-04-26  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6497
        * method.c (do_build_assign_ref): Pass a derivation to
        build_method_call when calling base class assignment operators.

2002-04-26  Richard Henderson  <rth@redhat.com>

        * parse.y (yyoverflow): Revert.

2002-04-26  Richard Henderson  <rth@redhat.com>

        PR c/3581
        * parse.y (string): Remove.  Update all uses to use STRING
        instead, and not call combine_strings.
        * rtti.c (tinfo_name): Use fix_string_type.
        * semantics.c (finish_asm_stmt): Don't call combine_strings.
        * spew.c (yylexstring): New.
        (read_token): Use it.

2002-04-25  Richard Henderson  <rth@redhat.com>

        PR c/2161
        * parse.y (yyoverflow): New.

2002-04-25  Jason Merrill  <jason@redhat.com>

        PR c++/5607
        * search.c (check_final_overrider): No longer static.
        * class.c (update_vtable_entry_for_fn): Call it.
        * cp-tree.h: Adjust.

2002-04-25  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_SET_YYDEBUG): Remove.
        * cp-tree.h (cxx_set_yydebug): Die.
        * lex.c (YYDEBUG): Get from c-lex.h.
        (cxx_set_yydebug): Remove.
        * parse.y: Include c-lex.h.
        (YYDEBUG): Get from c-lex.h.

2002-04-24  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6438.
        * cvt.c (convert_to_void): Don't unconditionally make COND_EXPRs
        void.

2002-04-24  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_COMMON_ATTRIBUTE_TABLE,
        LANG_HOOKS_FORMAT_ATTRIBUTE_TABLE, LANG_HOOKS_ATTRIBUTE_TABLE):
        Redefine.
        * cp-tree.h (cp_attribute_table): Rename.
        * decl.c (lang_attribute_table): Remove declaration.
        (cxx_init_decl_processing): Don't set it.
        * tree.c (cp_attribute_table): Rename.

2002-04-24  Jason Merrill  <jason@redhat.com>

        PR c++/6331
        * method.c (do_build_copy_constructor): Use cp_build_qualified_type.
        * typeck.c (build_modify_expr): Allow arrays to differ in cv-quals.
        The pedwarn for array assignment is now unconditional.
        * tree.c (build_cplus_array_type_1): Still process simple array types
        normally in templates.

        PR c++/6395
        * decl.c (make_rtl_for_nonlocal_decl): Don't mess with #pragma i/i
        stuff for comdats.

2002-04-23  Jakub Jelinek  <jakub@redhat.com>

        * parse.y (check_class_key): Allow KEY to be union/enum/struct/class
        node with attributes.

2002-2-23  David O'Brien  <obrien@FreeBSD.org>

        * g++spec.c (MATH_LIBRARY_PROFILE, LIBSTDCXX_PROFILE): Add.
        Use MATH_LIBRARY_PROFILE and LIBSTDCXX_PROFILE if profile flag given.

2002-04-23  Mark Mitchell  <mark@codesourcery.com>

        PR c++/6256:
        * pt.c (tsubst_friend_class): Handle templates with explicit
        nested names.

        PR c++/6331:
        * typeck.c (merge_types): Remember the cv-qualification of pointer
        types when merging them.

2002-04-20  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_FUNCTION_INIT,
        LANG_HOOKS_FUNCTION_FREE, LANG_HOOKS_FUNCTION_MARK): Redefine.
        * cp-tree.h (cxx_push_function_context, cxx_pop_function_context,
        cxx_mark_function_context): New.
        * decl.c (push_cp_function_context, pop_cp_function_context,
        mark_cp_function_context): Rename for consistency.
        (cxx_init_decl_processing): Don't set old hooks.

2002-04-19  Neil Booth  <neil@daikokuya.demon.co.uk>

        * call.c (convert_type_from_ellipsis): Rename, update.
        * cp-lang.c (LANG_HOOKS_TYPE_PROMOTES_TO): Redefine.
        * cp-tree.h (convert_type_from_ellipsis): Rename.
        * decl.c (cxx_init_decl_processing): Don't set hook.

2002-04-18  Neil Booth  <neil@daikokuya.demon.co.uk>

        * call.c (build_new_method_call): Update.
        * cp-lang.c (LANG_HOOKS_INCOMPLETE_TYPE_ERROR): Redefine.
        * cp-tree.h (cxx_incomplete_type_error): New.
        * decl.c (grokdeclarator, grokparms): Update.
        * decl2.c (check_classfn): Update.
        * pt.c (tsubst): Update.
        * typeck.c (complete_type_or_else, expr_sizeof,
        decay_conversion): Update.
        * typeck2.c (incomplete_type_error): Rename.
        (add_exception_specifier): Update.

2002-04-18  Jason Merrill  <jason@redhat.com>

        PR c++/5658
        * search.c (setup_class_bindings): A class template qualifies as a
        type binding.

2002-04-17  Jakub Jelinek  <jakub@redhat.com>

        PR c++/6316
        * decl2.c (finish_file): Clear DECL_EXTERNAL in a separate loop
        before expanding.

2002-04-16  Mark Mitchell  <mark@codesourcery.com>

        * init.c (begin_init_stmts): Remove commented out code.
        (finish_init_stmts): Set STMT_EXPR_NO_SCOPE.
        * semantics.c (begin_gobal_stmt_expr): Adjust call to
        expand_start_stmt_expr.

2002-04-15  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (register_dtor_fn): Pass the address of dso_handle, not
        dso_handle itself, to __cxa_atexit.

2002-04-15  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>

        * error.c (cxx_print_error_function): Adjust call to macros.

2002-04-14  Jakub Jelinek  <jakub@redhat.com>

        * class.c (layout_virtual_bases): Do all dsize computation on trees.

2002-04-14  Jason Merrill  <jason@redhat.com>

        * typeck.c (get_member_function_from_ptrfunc): Don't do
        gratuitious division and multiplication on
        ptrmemfunc_vbit_in_delta targets.

2002-04-12  Mark Mitchell  <mark@codesourcery.com>

        PR c++/5373.
        * semantics.c (finish_expr_stmt): Remember the type of the
        expression before any conversions are performed.

2002-04-12  Mark Mitchell  <mark@codesourcery.com>

        PR c++/5189.
        * call.c (add_template_candidate_real): Do not treat member
        templates as copy constructors.

2002-04-12  Mark Mitchell  <mark@codesourcery.com>

        * decl.c (duplicate_decls): Do not copy the RTL for a variable
        declaration if the old variable had an incomplete type and the new
        variable does not.
        (complete_vars): Do not call layout_decl for completed variables.

2002-04-12  Richard Sandiford  <rsandifo@redhat.com>

        * decl.c (duplicate_decls): Don't try to unify an implicit typedef
        with an explicit one.
        (follow_tag_typedef): New.
        (lookup_tag): Use it to extract the tag of an explicit typedef.
        (xref_tag): Likewise.

2002-04-11  Andrew Haley  <aph@redhat.com>

        * typeck.c (type_after_usual_arithmetic_conversions):
        If two types have the same variant, return immediately.
        When two floating-point operands are the same precision:
          convert to float if one of the operands is float;
          if neither operand is one of the standard types, return the type
          of the first operand.

2002-04-10  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5507
        * decl.c (make_typename_type): Remove implicit typenameness.

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

        PR optimization/6189
        * semantics.c (genrtl_start_function): Don't free
        DECL_SAVED_FUNCTION_DATA for inline functions.

        * init.c (build_member_call): For now, don't convert to
        intermediate base if it would cause an error.

2002-04-08  Paolo Carlini  <pcarlini@unitus.it>

        * parse.y (namespace_qualifier, maybe_identifier,
        begin_explicit_instantiation, end_explicit_instantiation,
        apparent_template_type, .finish_template_type,
        do_id, maybe_init, defarg_again, component_decl_1):
        Add ending ';', in accordance with POSIX.

2002-04-06  Mark Mitchell  <mark@codesourcery.com>

        PR c++/5571
        * class.c (layout_class_type): Remember incomplete static
        variables.
        (finish_struct_1): Call complete_vars, not
        hack_incomplete_structures.
        * cp-tree.h (hack_incomplete_structures): Rename to ...
        (complete_vars): ... this.
        (struct saved_scope): Remove incomplete.
        (namespace_scope_incomplete): Remove.
        * decl.c (struct binding_level): Remove incomplete.
        (incomplete_vars): New variable.
        (mark_binding_level): Don't mark incomplete.
        (print_binding_level): Don't print it.
        (mark_saved_scope): Don't mark incomplete.
        (pushdecl): Use maybe_register_incopmlete_var.
        (cxx_init_decl_processing): Register incomplete_vars for GC.
        (start_decl_1): Clarify error message.
        (hack_incomplete_vars): Remove.
        (maybe_register_incomplete_var): New function.
        (complete_vars): Likewise.

2002-04-06  Jason Merrill  <jason@redhat.com>

        PR c++/4934
        * error.c (dump_expr) [CONVERT_EXPR]: Make sure TREE_TYPE (t) is
        set before checking it.

        PR c++/525
        * init.c (build_member_call): Use build_scoped_ref.
        (resolve_offset_ref): Likewise.
        * call.c (build_scoped_method_call): Likewise.
        * tree.c (maybe_dummy_object): Kludge around current_class_type being
        wrong.
        * typeck2.c (build_scoped_ref): Return the binfo via binfo_p parm.
        * cp-tree.h: Adjust.

        * init.c (push_base_cleanups): Just use build_scoped_method_call.

        PR c++/6179
        * method.c (implicitly_declare_fn): Pass unqualified type to
        synthesize_exception_spec.

2002-04-04  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.
        * cvt.c: Update comment.
        * init.c (expand_cleanup_for_base): Update.
        * semantics.c (finish_parenthesized_expr): Update.
        * typeck.c (cp_truthvalue_conversion): Update.

2002-04-04  Jason Merrill  <jason@redhat.com>

        * semantics.c (finish_eh_cleanup): New fn.
        * cp-tree.h: Add prototype.
        * init.c (perform_member_init, expand_cleanup_for_base): Use
        finish_eh_cleanup.
        * cp-tree.def (SUBOBJECT, CTOR_STMT): Remove.
        * cp-tree.h: Remove references.
        * decl.c (begin_constructor_body, end_constructor_body): Likewise.
        * dump.c (cp_dump_tree): Likewise.
        * pt.c (tsubst_expr): Likewise.
        * semantics.c (genrtl_ctor_stmt, genrtl_subobject): Remove.
        (cp_expand_stmt): Remove handling of CTOR_STMT and SUBOBJECT.
        * tree.c (cp_statement_code_p): Likewise.

        * init.c (build_new_1): Set CLEANUP_EH_ONLY on deleting cleanup.

        PR c++/5636
        * semantics.c (nullify_returns_r): Just set CLEANUP_EH_ONLY on
        cleanup for nrv.

        PR c++/5104
        * typeck.c (comptypes) [FUNCTION_TYPE]: Don't compare exception
        specifiers.
        [METHOD_TYPE]: Use same code as FUNCTION_TYPE.

2002-04-03  Richard Henderson  <rth@redhat.com>

        * cp-lang.c (cxx_warn_unused_global_decl): New.
        (LANG_HOOKS_WARN_UNUSED_GLOBAL_DECL): New.

2002-04-03  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_SET_DECL_ASSEMBLER_NAME): Redefine.
        * tree.c (init_tree): Don't set hook.

2002-04-03  Roger Sayle  <roger@eyesopen.com>

        PR c++/5998:
        * decl.c (duplicate_decls): Don't mess with assembler names when
        redeclaring builtin functions as static.

2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>

        * call.c (build_addr_func): Update.
        * class.c (resolve_address_of_overloaded_function): Update.
        * cp-lang.c (LANG_HOOKS_MARK_ADDRESSABLE): Redefine.
        * cp-tree.h (cxx_mark_addressable): New.
        * decl.c (register_dtor_fn, cxx_maybe_build_cleanup): Update.
        * decl2.c (build_cleanup): Update.
        * except.c (build_throw): Update.
        * init.c (resolve_offset_ref): Update.
        * pt.c (convert_nontype_argument): Update.
        * semantics.c (finish_asm_stmt, simplify_affr_init_exprs_r): Update.
        * typeck.c (decay_conversion, build_array_ref, build_unary_op,
        unary_complex_lvalue): Update.
        (mark_addressable): Rename.

2002-04-01  Roger Sayle  <roger@eyesopen.com>

        PR c++/5998:
        * decl.c (duplicate_decls):  Overwrite the RTL when (and only
        when) overwriting a built-in function.  Don't use COPY_DECL_RTL,
        but follow the SET_DECL_RTL idiom used elsewhere in the function.

2002-04-01  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_SIGNED_TYPE, LANG_HOOKS_UNSIGNED_TYPE,
        LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): New.
        * decl.c (grokdeclarator): Update.
        * mangle.c (write_integer_cst): Update.
        * typeck.c (build_binary_op): Update.

2002-03-31  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_UNSAFE_FOR_REEVAL): Redefine.
        * lex.c (cxx_init): Don't set hook.

2002-03-31  Neil Booth  <neil@daikokuya.demon.co.uk>

        * Make-lang.in (error.o): Update.
        * cp-lang.c (LANG_HOOKS_PRINT_ERROR_FUNCTION): Redefine.
        * cp-tree.h (struct diagnostic_context): Predeclare.
        (cxx_print_error_function): New.
        * error.c: Include langhooks-def.h.
        (lang_print_error_function): Rename.  Update.
        (init_error): Don't set hook.

2002-03-29  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_TYPE_FOR_MODE, LANG_HOOKS_TYPE_FOR_SIZE):
        Redefine.
        * cvt.c (cp_convert_to_pointer, type_promotes_to): Use new hooks.
        * decl.c (finish_enum): Similarly.
        * error.c (dump_type): Similarly.
        * lex.c (cxx_init): Similarly.
        * mangle.c (write_builtin_type): Similarly.
        * typeck.c (comptypes): Similarly.

2002-03-28  Roger Sayle  <roger@eyesopen.com>

        PR c++/5998:
        * decl.c (cxx_init_decl_processing): Re-enable built-in functions
        in the g++ front-end.
        (duplicate_decl): Allow redefinition of anticipated built-ins.
        Fix inlining problem by over-writing the old DECL_RTL.
        (lookup_namespace_name): Fail to find an identifier in the
        specified namespace if its still anticipated.
        (builtin_function_1): New function split out from builtin_function
        to create a builtin in the current namespace with given context.
        (builtin_function): Call builtin_function_1 to define the
        appropriate builtins in both the std and global namespaces.
        (select_decl): Don't test for anticipated decls here.
        (unqualified_namespace_lookup): Instead ignore them whilst
        searching through scopes and namespaces.
        * decl2.c (do_nonmember_using_decl): If a using declaration
        specifies an anticipated built-in function, mark it as no longer
        anticipated in that scope.
        (ambiguous_decl):  Avoid resolving to an anticipated decl.
        * lex.c (do_scoped_id): Fail to find an identifier in the global
        namespace if its still anticipated.

2002-03-29  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_MAKE_TYPE): Redefine.
        * cp-tree.h (cp_make_lang_type): Rename.
        * lex.c (cp_make_lang_type): Rename.
        (make_aggr_type): Update.
        * tree.c (init_tree): Don't set make_lang_type_fn.

2002-03-29  Jakub Jelinek  <jakub@redhat.com>

        PR c++/6073
        * class.c (finish_struct_1): Update static field's DECL_MODE even
        if its type is a variant of t.

2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_INSERT_DEFAULT_ATTRIBUTES): Redefine.
        * cp-tree.h (cxx_insert_default_attributes): New.
        * decl.c (insert_default_attributes): Rename.

2002-03-27  Mark Mitchell  <mark@codesourcery.com>

        PR c++/4884
        * call.c (build_op_delete_call): Allow for the fact the placement
        may be a COMPOUND_EXPR.

2002-03-27  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_EXPAND_EXPR): Redefine.
        * cp-tree.h (init_cplus_expand): Remove.
        (cxx_expand_expr): New.
        * expr.c (cplus_expand_expr): Rename cxx_expand_expr,
        fix prototype.
        (init_cplus_expand): Remove.
        * lex.c (cxx_init): Don't call init_cplus_expand.

2002-03-26  Mark Mitchell  <mark@codesourcery.com>

        PR c++/4884.
        * init.c (build_new_1): Allow for the fact the result of
        build_function_call may be a COMPOUND_EXPR.

2002-03-26  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5682
        * cp-tree.h (BINFO_PRIMARY_P): Explain meaning better.
        (dfs_skip_nonprimary_vbases_unmarkedp): Remove.
        (dfs_skip_nonprimary_vbases_markedp): Remove.
        * search.c (get_shared_vbase_if_not_primary): Remove.
        (dfs_skip_nonprimary_vbases_unmarkedp): Remove.
        (dfs_skip_nonprimary_vbases_markedp): Remove.
        (dfs_unmarked_real_bases_queue_p): Just get the canonical binfo.
        (dfs_marked_real_bases_queue_p): Likewise.

2002-03-26  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_MARK_TREE): Redefine.
        * cp-tree.h (cxx_mark_tree): New.
        * decl.c (lang_mark_tree): Rename cxx_mark_tree.

2002-03-25  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-tree.h (cxx_maybe_build_cleanup): New.
        * decl.c (destroy_local_var, hack_incomplete_structures): Update.
        (maybe_build_cleanup): Rename cxx_maybe_build_cleanup.
        * tree.c (build_target_expr): Update.
        * cp-lang.c (LANG_HOOKS_MAYBE_BUILD_CLEANUP): Redefine.

2002-03-24  Neil Booth  <neil@daikokuya.demon.co.uk>

        * decl2.c (cxx_decode_option): Handle -E.
        * lang-specs.h (default_compilers): Preprocess with cc1plus.
        * lex.c (cxx_init): Exit quickly if c_common_init returns NULL.

2002-03-23  Jakub Jelinek  <jakub@redhat.com>

        PR c++/6037
        * decl.c (start_enum): Don't set TREE_ADDRESSABLE on TREE_LIST node.

2002-03-23  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>

        * error.c (dump_type): Be careful about implicit typenames.

2002-03-21  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>

        PR C++/3656
        * semantics.c (finish_base_specifier): Handle erronous base
        classes.

2002-03-22  Zack Weinberg  <zack@codesourcery.com>

        * error.c: Always use REAL_VALUE_TO_DECIMAL; don't test
        REAL_IS_NOT_DOUBLE.

2002-03-22  Jeff Knaggs  <jknaggs@redhat.com>

        * typeck.c (get_member_function_from_ptrfunc): Scale idx down to
        an index into the vtable_entry array regardless of
        TARGET_PTRMEMFUNC_VBIT_LOCATION.

2002-03-21  Aldy Hernandez  <aldyh@redhat.com>

        * tree.c (cp_cannot_inline_tree_fn): Same.

2002-03-21  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-tree.h (pushdecl, pushlevel, poplevel, set_block,
        insert_block, getdecls, global_bindings_p): New.

2002-03-20  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/4361
        * mangle.c (struct globals) Add internal_mangling_p member.
        (write_template_param): Do internal mangling, if needed.
        (mangle_conv_op_name_for_type): Request internal mangling.

2002-03-20  Jason Merrill  <jason@redhat.com>

        PR c++/2136
        * init.c (build_delete): Check access for a member op delete here.
        * decl2.c (delete_sanity): Not here.

2002-03-19  Jason Merrill  <jason@redhat.com>

        PR c++/5118
        * class.c (get_vfield_name): Use the constructor_name.

2002-03-20  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_DECL_PRINTABLE_NAME): Redefine.
        * cp-tree.h (lang_printable_name): Rename.
        * error.c (lang_decl_name): Use new hook.
        * lex.c (cxx_init): Remove old hook.
        * pt.c (tsubst_decl): Use new hook.
        * tree.c (lang_printable_name): Rename.

2002-03-18  Eric Botcazou  <ebotcazou@multimania.com>

        PR c++/3882
        * pt.c (tsubst_decl): Move __PRETTY_FUNCTION__ handling...
        (tsubst_expr) [DECL_STMT]: ...here. And substitute the initializer
        only after recording the declaration.

2002-03-18  Jason Merrill  <jason@redhat.com>

        PR c++/2039
        * init.c (resolve_offset_ref): Hand off to build_component_ref.

        PR c++/4222, c++/5995
        * call.c (build_over_call): Fix empty class logic.

        PR c++/3870
        * cp-tree.h (struct saved_scope): Add last_parms field.
        * decl.c (maybe_push_to_top_level): Save last_function_parms.
        (pop_from_top_level): Restore it.

        PR c++/4377
        * mangle.c (write_expression): Strip NOP_EXPRs sooner.  Also strip
        NON_LVALUE_EXPRs.

        PR c++/4003
        * pt.c (tsubst_friend_function): Use decl_namespace_context.

        PR c++/3948 -- C++ ABI change, followup to 2001-12-18 patch.
        * class.c (finish_struct_bits): Also set TREE_ADDRESSABLE for a
        type with a nontrivial destructor.

2002-03-17  Jason Merrill  <jason@redhat.com>

        PR c++/4460
        * class.c (build_base_path): Virtual base layout is fixed in
        in-charge [cd]tors.

2002-03-17  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_PARSE_FILE): Redefine.
        * parse.y (yyparse): Remove macro.

2002-03-17  Jason Merrill  <jason@redhat.com>

        PR c++/5757
        * init.c (build_new_1): Pass the right pointer to op delete.

2002-03-16  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/4361
        * cp-tree.h (CLASSTYPE_METHOD_VEC): Document where templated
        conversion operators go.
        (struct lang_decl_flags): Add template_conv_p and unused
        bitfields.
        (DECL_TEMPLATE_CONV_FN_P): New macro.
        * call.c (build_user_type_conversion_1): Don't check second type
        conversion of overload set first.
        * class.c (add_method): Make sure templated conversion operators
        all end up on slot 2.
        * lex.c (do_identifier): A conversion operator token might be
        satisfied by a templated conversion operator.
        * pt.c (check_explicit_specialization): Use
        CLASSTYPE_FIRST_CONVERSION_SLOT.
        (template_parm_this_level_p): New function.
        (push_template_decl_real): Determine DECL_TEMPLATE_CONV_FN_P.
        * search.c (lookup_fnfields_1): Template conversions will be on
        the first slot.
        * typeck.c (build_component_ref): Preserve the type of an
        conversion operator name on the overload type.
        (build_x_function_call): Retrieve the conversion operator name.

2002-03-15  Richard Henderson  <rth@redhat.com>

        * init.c (build_new_1): Use size_binop instead of cp_build_binary_op.

2002-03-15  Mark Mitchell  <mark@codesourcery.com>

        * cp-tree.h (CLEANUP_DECL): Remove.
        (CLEANUP_EXPR): Likewise.
        * decl.c (destroy_local_var): Simplify.
        (maybe_build_cleanup): Tidy.
        * dump.c (cp_dump_tree): Remove handling of CLEANUP_STMT.
        * semantics.c (cp_expand_stmt): Likewise.
        * cp/tree.c (cp_statement_code_p): Likewise.

2002-03-15  Jason Merrill  <jason@redhat.com>

        PR c++/5857
        * decl.c (duplicate_decls): Use merge_types instead of common_type.
        * typeck.c (common_type): Just hand off to
        type_after_usual_arithmetic_conversions and
        composite_pointer_type.
        (merge_types): New fn.
        (commonparms): Use it instead of common_type.
        (type_after_usual_arithmetic_conversions): Also handle COMPLEX_TYPE.
        (composite_pointer_type): Also handle attributes.
        * cp-tree.h: Declare merge_types.

        * decl.c (make_rtl_for_nonlocal_decl): Also defer COMDAT
        variables.
        * decl2.c (maybe_make_one_only): Also mark the decl as needed.

2002-03-14  Richard Henderson  <rth@redhat.com>

        * decl.c: Include c-pragma.h.
        (start_decl, start_function): Invoke maybe_apply_pragma_weak.
        * Make-lang.in: Update dependencies.

2002-03-14  Jakub Jelinek  <jakub@redhat.com>

        PR c++/5908
        * call.c (build_over_call): Set TREE_NO_UNUSED_WARNING too.
        * cvt.c (convert_to_void): Preserve TREE_NO_UNUSED_WARNING.

2002-03-12  Richard Sandiford  <rsandifo@redhat.com>

        * mangle.c (write_builtin_type): Handle 128-bit integers even if
        they are not a standard integer type.

2002-03-12  Richard Sandiford  <rsandifo@redhat.com>

        * cp-tree.h (init_init_processing): Remove declaration.
        * init.c (BI_header_type, init_init_processing): Remove old ABI stuff.
        * decl.c (cxx_init_decl_processing): Don't call init_init_processing.

2002-03-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * cp-lang.c (tree_code_type, tree_code_length, tree_code_name):
        Define.
        * decl.c (duplicate_decls): Use TREE_CODE_LENGTH, not
        tree_code_length.
        * lex.c (cplus_tree_code_type, cplus_tree_code_length,
        cplus_tree_code_name): Delete.
        (cxx_init): Don't call add_c_tree_codes, instead set
        lang_unsafe_for_reeval.  Don't try to copy into the various
        tree_code arrays.

2002-03-12  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5659
        * decl.c (xref_tag): Don't set CLASSTYPE_DECLARED_CLASS here.
        * decl2.c (handle_class_head): Set CLASSTYPE_DECLARED_CLASS for
        definitions.

2002-03-11  Nathan Sidwell  <nathan@codesourcery.com>

        Revert 2001-03-26  Nathan Sidwell  <nathan@codesourcery.com>,
        DR209 is now not a defect.
        * cp-tree.h (skip_type_access_control): Remove.
        * decl.c (grokdeclarator): Do type access control for friend
        declarations.
        * semantics.c (decl_type_access_control): Don't reset
        current_type_lookups.
        (save_type_access_control): Always save the lookups.
        (skip_type_access_control): Remove.
        (finish_class_definition): Don't change type_lookups.

2002-03-11  Nathan Sidwell  <nathan@codesourcery.com>

        Revert 2000-12-01  Nathan Sidwell  <nathan@codesourcery.com>,
        It is incorrect.
        * typeck.c (build_static_cast): Compare non-qualified types
        with pointer to member conversions.

2002-03-11  Dan Nicolaescu  <dann@ics.uci.edu>
            Daniel Berlin  <dan@dberlin.org>

        * cp-lang.c (ok_to_generate_alias_set_for_type): New function.
        (cxx_get_alias_set): Use it.

2002-03-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * cp-tree.h (stabilize_expr): Prototype.

2002-03-08  Craig Rodrigues  <rodrigc@gcc.gnu.org>

        * cp-tree.h (CLEAR_BINFO_MARKED): Make both parts of
        conditional return void.

2002-03-08  Neil Booth  <neil@daikokuya.demon.co.uk>

        * cp-lang.c (LANG_HOOKS_UNSAVE): Redefine.
        * cp-tree.h (cxx_unsave): New.
        * tree.c (cp_unsave): Rename cxx_unsave, update prototype.
        (init_tree): Update.

2002-03-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>

        * decl.c (cxx_init_decl_processing): Use ARRAY_SIZE in lieu of
        explicit sizeof/sizeof.
        * decl2.c (cxx_decode_option): Likewise.
        * lex.c (init_reswords, REDUCE_LENGTH, TOKEN_LENGTH): Likewise.

2002-03-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/775
        * decl.c (lookup_tag): Only reject enum/class mismatch, not
        class/union mismatch.
        * parse.y (check_class_key): New function.
        (structsp): Call it.

2002-03-01  Michael Matz  <matz@suse.de>

        * typeck.c (cp_pointer_int_sum): Complete inner type which is
        used later by size_in_bytes().

2002-03-01  Phil Edwards  <pme@gcc.gnu.org>

        * cp-tree.h:  Require __GNUC__ to be #defined.
        (build_init):  Add missing prototype.

2002-03-01  Jason Merrill  <jason@redhat.com>

        * except.c: Don't include decl.h or obstack.h.  Do include
        tree-inline.h.
        (build_throw): Destroy temporaries from the thrown
        expression before calling __cxa_throw.  Construct a thrown
        temporary directly into the exception object.
        (stabilize_throw_expr): New function.
        (wrap_cleanups_r): New function.
        * tree.c (stabilize_expr): New function.
        * init.c (build_init): New function.
        * Make-lang.in (cp/except.o): Adjust .h deps.

2002-02-28  Jason Merrill  <jason@redhat.com>

        * search.c (lookup_base_r): Don't clear is_non_public just because
        we found a friendly scope.

        * decl.c (finish_function): Only warn about missing return
        statement with -Wreturn-type.

2002-02-28  Neil Booth  <neil@daikokuya.demon.co.uk>

        * class.c (build_clone): Update.
        * cp-lang.c (LANG_HOOKS_DUP_LANG_SPECIFIC_DECL): Redefine.
        * cp-tree.h (cxx_dup_lang_specific_decl): New.
        * lex.c (copy_lang_decl): Rename cxx_dup_lang_specific_decl.
        (copy_decl): Update.
        * method.c (make_thunk): Update.

2002-02-27  Zack Weinberg  <zack@codesourcery.com>

        * decl2.c: Delete traditional-mode-related code copied from
        the C front end but not used, or used only to permit the
        compiler to link.

2002-02-24 Craig Rodrigues  <rodrigc@gcc.gnu.org>

        PR c++/4093
        * cp-tree.h (SET_BINFO_MARKED): Cast false part of condition
        to void.

2002-02-22  Jakub Jelinek  <jakub@redhat.com>

        PR other/5746
        * semantics.c (finish_switch_cond): Don't call get_unwidened
        if error_mark_node.

2002-02-22  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/2645, DR 295
        * cp-tree.h (tsubst_flags_t): Add tf_ignore_bad_quals,
        tf_keep_type_decl.
        (make_typename_type): Use tsubst_flags_t.
        * decl.c (make_typename_type): Adjust. Return non-artificial
        TYPE_DECLs, if required.
        (grokdeclarator): Simplify CVR qualification handling. Allow bad
        qualifiers on typedef types.
        * decl2.c (handle_class_head): Adjust make_typename_type call.
        * parse.y (nested_name_specifier): Likewise.
        (typename_sub0): Likewise.
        (typename_sub1): Likewise.
        * pt.c (convert_template_argument): Adjust make_typename_type
        return value.
        (tsubst): Adjust cp_build_qualified_type_real calls.
        (check_cv_quals_for_unify): Cope with allowing bad qualifications
        on template type parms.
        (instantiate_decl): Recheck substitutions to give warnings on bad
        qualifications.
        * tree.c (cp_build_qualified_type_real): Use tf_allow_bad_quals.

2002-02-21  Aldy Hernandez  <aldyh@redhat.com>

        * cp/decl.c (duplicate_decls): Merge always_inline attribute.

        * cp/tree.c (cp_cannot_inline_tree_fn): Do not inline at -O0
        unless DECL_ALWAYS_INLINE.

2002-02-20  Jakub Jelinek  <jakub@redhat.com>

        * typeck.c (cp_pointer_int_sum): Renamed from
        pointer_int_sum, call pointer_int_sum.

2002-02-20  Jakub Jelinek  <jakub@redhat.com>

        * decl.c (duplicate_decls): Return 0 if issued error about
        redeclaration.

2002-02-19  Jason Merrill  <jason@redhat.com>

        ABI change: Mangle `void (A::*)() const' as
        M1AKFvvE, not MK1AFvvE.
        * mangle.c (write_function_type): Write cv-quals for member
        function type here.
        (write_pointer_to_member_type): Not here.

2002-02-18  Jason Merrill  <jason@redhat.com>

        * pt.c (do_type_instantiation): Don't pedwarn if in_system_header.
        (do_decl_instantiation): Likewise.

2002-02-17  Craig Rodrigues  <rodrigc@gcc.gnu.org>

        PR c++/5685
        * decl.c (duplicate_decls): Make warning unconditional
        if duplicate default argument declarations are present.

2002-02-17  Jakub Jelinek  <jakub@redhat.com>

        * typeck.c (build_binary_op) [BIT_XOR_EXPR]: Remove explicit
        shortening.

2002-02-15  Nathan Sidwell  <nathan@codesourcery.com>

        * decl.c (grokdeclarator): Set typedef_decl for all TYPE_DECLs,
        remove incorrect comment. Move #if 0'd code to common path. Use
        IMPLICIT_TYPENAME_P. Simplify & reformat ARRAY_TYPE duplication.

2002-02-13  Jason Merrill  <jason@redhat.com>

        * decl.c (builtin_function): Set TREE_THIS_VOLATILE on return fns.
        (finish_function): Don't warn if current_function_returns_null.

        * typeck2.c (digest_init): Do handle values of vector type.

        * typeck2.c (digest_init, process_init_constructor): Treat vectors
        like arrays.

2002-02-11  Jason Merrill  <jason@redhat.com>

        * parse.y (reserved_declspecs): Don't handle attributes.
        (reserved_typespecquals): Handle them here.
        * Make-lang.in (parse.c): Adjust expected conflicts.

2002-02-08  Jakub Jelinek  <jakub@redhat.com>

        * parse.y (primary, primary_no_id): Use compstmt_or_stmtexpr
        instead of compstmt.
        (compstmt_or_stmtexpr): Renamed from compstmt.
        (compstmt): In addition to compstmt_or_stmtexpr clear last_expr_type.

2002-02-07  Nathan Sidwell  <nathan@codesourcery.com>

        Rename instantiate_type_flags to tsubst_flags_t & expand use.
        * cp-tree.h (instantiate_type_flags): Rename to ...
        (tsubst_flags_t): ... here. Rename itf_complain to tf_error,
        add tf_warning flag.
        (instantiate_type): Adjust prototype.
        (tsubst, tsubst_expr, tsubst_copy, lookup_template_class,
        do_type_instantiation, cp_build_qualified_type_real): Likewise.
        cp_build_qualified_type: Adjust.
        * class.c (instantiate_type): Adjust parameter. Rename itf_* to
        tf_*.
        * call.c (standard_conversion): Rename itf_* to tf_*.
        (reference_binding): Likewise.
        (convert_like_real): Likewise.
        * cvt.c (cp_convert_to_pointer): Likewise.
        (convert_to_reference): Likewise.
        * decl.c (lookup_namespace_name): Use tf_* flags.
        (make_typename_type): Likewise.
        (grokdeclarator): Likewise.
        * pt.c (convert_nontype_argument): Adjust COMPLAIN usage.
        (coerce_template_template_parms, convert_template_argument,
        coerce_template_parms, maybe_get_template_decl_from_type_decl,
        lookup_template_class, tsubst_friend_function, tsubst_friend_class,
        instantiate_class_template, tsubst_template_arg_vector,
        tsubst_template_parms, tsubst_aggr_type, tsubst_default_argument,
        tsubst_decl, tsubst_arg_types, tsubst_function_type,
        tsubst_call_declarator_parms, tsubst, tsubst_copy, tsubst_expr,
        instantiate_template, fn_type_unification,
        resolve_overloaded_unification, verify_class_unification,
        unify, get_bindings_real, do_type_instantiation,
        regenerate_decl_from_template, instantiate_decl,
        tsubst_initializer_list, tsubst_enum,
        get_mostly_instantiated_function_type,
        invalid_nontype_parm_type_p): Likewise.
        * tree.c (cp_build_qualified_type_real): Likewise.
        * typeck.c (build_binary_op): Rename itf_* to tf_*.
        (build_ptrmemfunc): Likewise.
        (convert_for_assignment): Likewise.

2002-02-07  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/109
        * decl.c (grokdeclarator): Allow friend declarations from
        dependent types.
        * decl2.c (handle_class_head): Don't push into template parm contexts.
        * pt.c (push_template_decl_real): Template parm contexts are never
        being defined.

2002-02-05  Alexandre Oliva  <aoliva@redhat.com>

        * class.c: Include target.h.
        (check_bitfield_decl): Disregard EMPTY_FIELD_BOUNDARY,
        BITFIELDS_NBYTES_LIMITED and PCC_BITFIELD_TYPE_MATTERS for MS
        bit-field layout.
        * Make-lang.in: Adjust deps.

2002-02-05  Jason Merrill  <jason@redhat.com>

        * error.c (dump_type): Be more helpful about VECTOR_TYPE.

2002-02-04  Jakub Jelinek  <jakub@redhat.com>

        * semantics.c (begin_switch_stmt): Clear SWITCH_TYPE.
        (finish_switch_cond): Set SWITCH_TYPE.

2002-02-04  Richard Henderson  <rth@redhat.com>

        * method.c (use_thunk): Always initialize the block tree.  Reindent.
        * semantics.c (expand_body): Emit thunks after function, not before.

2002-02-04  Jason Merrill  <jason@redhat.com>

        * decl.c (start_function): Call cplus_decl_attributes immediately
        after grokdeclarator.

        * decl.c (start_function): Combine DECL_RESULT handling code.

2002-02-03  Jason Merrill  <jason@redhat.com>

        * xref.c: Remove.
        * Make-lang.in (CXX_OBJS): Remove cp/xref.o
        (cp/xref.o): Remove dependencies.
        * class.c (finish_struct_1, check_methods): Don't call xref fns.
        (finish_struct_1): Likewise.
        * friend.c (make_friend_class): Likewise.
        * lex.c (cxx_init, cxx_finish, extract_interface_info): Likewise.
        * spew.c (read_process_identifier): Likewise.

2002-02-01  Jason Merrill  <jason@redhat.com>

        PR c++/4872
        * decl.c (finish_function): Warn about a non-void function with
        no return statement and no abnormal exit.
        * cp-tree.h (struct cp_language_function): Add returns_abnormally.
        (current_function_returns_abnormally): New macro.
        * call.c (build_call): Set it.

        * typeck.c (build_component_ref): Always complain about offsetof
        constructs on non-PODs.  Only make it an error for members of
        virtual bases.

        * error.c (dump_scope): Don't add TFF_DECL_SPECIFIERS.
        (dump_function_decl): Always dump parms.

        * decl2.c (finish_static_data_member_decl): Complain about a local
        class with a static data member.

        PR c++/4286
        * search.c (lookup_field_1): Don't xref a static data member
        just because we looked it up.

2002-01-31  Jason Merrill  <jason@redhat.com>

        * Make-lang.in (parse.c): Handle .output file.

        PR c++/3395
        * decl.c (xref_tag): Remember early attributes in TYPE_ATTRIBUTES,
        not TREE_TYPE.
        * semantics.c (finish_class_definition): Adjust.

        Allow attributes in parms and casts.
        * parse.y (named_parm): Don't strip attrs.
        (declmods): Remove 'attributes' production.
        (nonempty_cv_qualifiers): Accept attributes.
        (ATTRIBUTE): Give precedence.
        * decl.c (groktypename): Handle attributes.
        (grokparms): Likewise.

2002-01-29  Jakub Jelinek  <jakub@redhat.com>

        * decl2.c (cxx_decode_option): Pass 0 as last argument to
        cpp_handle_option.
        * lang-specs.h: Use cpp_unique_options instead of cpp_options
        when used together with cc1_options.

2002-01-29  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5132
        * typeck2.c (digest_init): Make sure non-array core type is
        instantiated.
        * decl2.c (reparse_absdcl_as_casts): Just store the type in the
        constructor, rather than build a new one.
        (build_expr_from_tree, CONSTRUCTOR case): Be careful with the
        PURPOSE of constructor elts.

2002-01-23  Zack Weinberg  <zack@codesourcery.com>

        * Make-lang.in (parse.c): Adjust expected number of
        shift-reduce conflicts.
        (decl.o): Depend on diagnostic.h.
        * decl.c: Include diagnostic.h.
        (grokdeclarator): Check for null pointer.
        (finish_function): Don't abort when
        current_binding_level->parm_flag != 1, if errors have
        occurred; throw away the statement tree and extra binding
        levels, and continue.
        * lex.c (note_list_got_semicolon): Check for null pointer.
        * method.c (hack_identifier): Just return error_mark_node if
        value is error_mark_node.
        * parse.y (primary: TYPEID(type_id)): No need to use
        TYPE_MAIN_VARIANT here.
        (handler_seq): Accept an empty list of catch clauses and
        generate a fake handler block to avoid later crashes.
        (ansi_raise_identifier): Accept the error token too.
        * semantics.c (begin_class_definition,
        finish_class_definition): Check for error_mark_node.

2002-01-23  Zack Weinberg  <zack@codesourcery.com>

        * typeck2.c (friendly_abort): Delete definition.
        * cp-tree.h (friendly_abort): Don't prototype.
        (my_friendly_assert): Use fancy_abort.

2002-01-23  Craig Rodrigues  <rodrigc@gcc.gnu.org>

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

2002-01-23  Jakub Jelinek  <jakub@redhat.com>

        * spew.c (pending_inlines, pending_inlines_tail,
        processing_these_inlines): Make static.
        (mark_pending_inlines): Remove static.
        (begin_parsing_inclass_inline): If in function, save pi
        for GC to cp_function_chain->unparsed_inlines instead.
        (process_next_inline): Likewise.
        * cp-tree.h (struct cp_language_function): Add unparsed_inlines.
        (mark_pending_inlines): Add prototype.
        * decl.c (spew_debug): Remove unused extern.
        (mark_lang_function): Call mark_pending_inlines.

2002-01-23  Craig Rodrigues  <rodrigc@gcc.gnu.org>

        * call.c, class.c, decl.c, decl2.c, error.c, expr.c, friend.c,
        init.c, lex.c, mangle.c, method.c, pt.c, repo.c, rtti.c, search.c,
        semantics.c, spew.c, tree.c, typeck.c, typeck2.c, xref.c:
        Change my_fancy_abort() to abort().

2002-01-23  Jason Merrill  <jason@redhat.com>

        PR c++/5453
        * class.c (fixed_type_or_null): Fix thinko.

        PR c++/3331
        * init.c (resolve_offset_ref): Use build_indirect_ref.

        * decl2.c (grokclassfn): Don't set DECL_REGISTER on 'this'.

2002-01-22  Jason Merrill  <jason@redhat.com>

        * parse.y (function_body): Suppress the block for the outermost
        curly braces.
        * decl.c (pushdecl): Don't try to skip it.
        (begin_function_body): Keep the block we create, not the next one.
        * init.c (emit_base_init): Don't mess with keep_next_level.

        * class.c (build_base_path): Tweak formatting.

2002-01-19  Nathan Sidwell  <nathan@codesourcery.com>

        Fix regression introduced with patch for c++/775
        * parse.y (class_head_defn): Check for template specializations
        with a different class-key.

2002-01-17  Jason Merrill  <jason@redhat.com>

        * decl.c (begin_constructor_body, begin_destructor_body): New fns.
        (begin_function_body): Call them and keep_next_level.
        * init.c (emit_base_init): Call keep_next_level.
        * semantics.c (setup_vtbl_ptr): Lose.
        * cp-tree.h (struct cp_language_function): Remove vtbls_set_up_p.
        (vtbls_set_up_p): Lose.
        * pt.c (tsubst_expr, CTOR_INITIALIZER): Call emit_base_init.
        * method.c (do_build_copy_constructor): Likewise.
        (synthesize_method): Call finish_mem_initializers.
        * parse.y (nodecls): Likewise.

        * error.c (dump_type_suffix): Print the exception specs before
        recursing.
        (dump_function_decl): Here, too.

        * cp-tree.h (TMPL_PARMS_DEPTH): Cast to signed HOST_WIDE_INT.

2002-01-10  Ira Ruben   <ira@apple.com>

        PR c++/907
        * decl.c (start_method): Handle attrlist.

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

        * decl2.c (max_tinst_depth): Increase default limit to 500.

2002-01-10  Graham Stott  <grahams@redhat.com>

        * spew.c (YYCHAR): Uppercase macro parameter and add
        parenthesis.
        (YYCODE): Likewise.
        (NAME): Uppercase macro parameter.

2002-01-09  Graham Stott  <grahams@redhat.com>

        * decl.h (grokdeclarator): Wrap long line.

        * semantics.c (FINISH_COND): Uppercase macro paramaters and
        add parenthesis.

2002-01-08  Graham Stott  <grahams@redhat.com>

        * xref.c (FILE_NAME_ABSOLUTE_P): Add parenthesis.
        (PALLOC): Uppercase macro parameter and whitespace.
        (SALLOC): Uppercase macro parameter.
        (SFREE): Uppercase macros parameter, add parenthese and
        whitespace.
        (STREQL): Uppercase macro parameter and whitespace.
        (STRNEQ): Likewise.
        (STRLSS): Likewise.
        (STRLEQ): Likewise.
        (STRGTR): Likewise.
        (STRGEQ): Likewise.

        * call.c (convert_like): Add parenthesis and wrap.
        (convert_like_with_context): Likewise.
        (ICS_RANK): Whitespace.
        (NEED_TEMPORARY_P): Remove parenthesis.

        * class.c (VTT_TOP_LEVEL_P): Uppercase macro parameter and
        whitespace.
        (VTT_MARKED_BINFO_P): Likewise.

        * decl.c (BINDING_LEVEL): Add parenthesis.
        (DEF_OPERATOR): Likewise.

        * mangle.c (MANGLE_TRACE): Add parenthesis.
        (MANGLE_TRACE_TREE): Likewise.
        (write_signed_number): Likewise.
        (write_unsigned_number): Likewise.

        * pt.c (ccat): Uppercase macro parameter.
        (cat): Likewise

        * search.c (SET_BINFO_ACCESS): Add parenthesis.

2002-01-07  Jason Merrill  <jason@redhat.com>

        * decl2.c (coerce_new_type): Downgrade error for size_t mismatch
        to pedwarn.

        PR c++/3536
        * method.c (make_thunk): If !flag_weak, give the thunk the
        function's linkage.
        (use_thunk): Here, too.

2002-01-07  Graham Stott  <grahams@redhat.com>

        * error.c: Update copyright date.
        (print_scope_operator): Add parenthesis.
        (print_left_paren): Likewise.
        (print_right_paren): Likewise.
        (print_left_bracket): Likewise.
        (print_right_bracket): Likewise.
        (print_template_argument_list_start): Likewise.
        (print_template_argument_list_end): Likewise.
        (print_non_consecutive_character): Likewise.
        (print_tree_identifier): Likewise.
        (print_identifier): Likewise.
        (NEXT_CODE): Uppercase macro parameter.
        (ident_fndecl): Delete unused.
        (GLOBAL_THING): Likewise.

2002-01-06  Graham Stott  <grahams@redhat.com>

        * cp-tree.h (VAR_OR_FUNCTION_DECL_CHECK): Add parenthesis.
        (VAR_FUNCTION_OR_PARM_DECL_CHECK): Likewise.
        (VAR_TEMPL_TYPE_OR_FUNCTION_DECL_CHECK) Likewise.
        (RECORD_OR_UNION_TYPE_CHECK): Likewise.
        (BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK): Likewise.
        (C_IS_RESERVED_WORD): Uppercase macro parameter.
        (C_RID_YYCODE) Likewise.
        (ptrmem_cst): Use rtx.
        (LOCAL_BINDING_P): Add whitespace.
        (INHERITED_VALUE_BINDING_P): Likewise.
        (BINDING_SCOPE): Wrap long line.
        (BINDING_HAS_LEVEL_P): Remove parenthesis.
        (BINDING_VALUE): Wrap long line.
        (BINDING_TYPE): Whitespace.
        (IDENTIFIER_GLOBAL_VALUE): Add parenthesis.
        (SET_IDENTIFIER_GLOBAL_VALUE): Likewise.
        (IDENTIFIER_NAMESPACE_VALUE): Likewise.
        (SET_IDENTIFIER_NAMESPACE_VALUE: Likewise.
        (same_type_p): Uppercase macro parameters.
        (same_type_ignoring_top_level_qualifiers_p): Likewise.
        (OVL_FUNCTION): Wrap long line.
        (OVL_CHAIN): Whitespace.
        (OVL_CURRENT): Add parenthesis and whitespace.
        (OVL_NEXT): Whitespace.
        (OVL_USED): Likewise.
        (IDENTIFIER_TYPE_VALUE): Likewise.
        (REAL_IDENTIFIER_TYPE_VALUE): Remove parenthesis.
        (SET_IDENTIFIER_TYPE_VALUE): Add parenthesis and whitespace.
        (LANG_ID_FIELD): Whitespace.
        (SET_LANG_ID(NODE,VALUE,NAME): Likewise.
        (IDENTIFIER_LABEL_VALUE): Whitespace and wrap.
        (SET_IDENTIFIER_LABEL_VALUE): Whitespace.
        (IDENTIFIER_IMPLICIT_DECL): Whitespace and wrap.
        (SET_IDENTIFIER_IMPLICIT_DECL); Whitespace.
        (IDENTIFIER_ERROR_LOCUS): Whitespace and wrap.
        (SET_IDENTIFIER_ERROR_LOCUS); Whitespace.
        (IDENTIFIER_VIRTUAL_P): Likewise.
        (IDENTIFIER_OPNAME_P): Likewise.
        (IDENTIFIER_TYPENAME_P): Remove parenthesis.
        (C_TYPE_FIELDS_READONLY): Uppercase macro parameters.
        (C_SET_EXP_ORIGINAL_CODE): Likewise.
        (TYPE_ASSEMBLER_NAME_STRING): Wrap long line.
        (TYPE_ASSEMBLER_NAME_LENGTH): Likewise.
        (IS_AGGR_TYPE): Uppercase macro parameter.
        (CLASS_TYPE_P): Likewise.
        (IS_AGGR_TYPE_CODE): Uppercase macro parameter and parenthesis.
        (IS_AGGR_TYPE_2): Whitespace.
        (TAGGED_TYPE_P): Uppercase macro parameter.
        (TYPE_BUILT_IN): Whitespace.
        (TYPE_FOR_JAVA): Likewise.
        (FUNCTION_ARG_CHAIN): Remove parenthesis.
        (FUNCTION_FIRST_USER_PARMTYPE): Add parenthesis.
        (FUNCTION_FIRST_USER_PARAM): Likewise.
        (PROMOTES_TO_AGGR_TYPE): Whitespace.
        (DERIVED_FROM_P): Add parenthesis and wrap.
        (UNIQUELY_DERIVED_FROM_P): Likewise.
        (ACCESSIBLY_UNIQUELY_DERIVED_P): Likewise.
        (PUBLICLY_UNIQUELY_DERIVED_P): Likewise.
        (CLASSTYPE_USE_TEMPLATE): Whitespace.
        (CLASSTYPE_INLINE_FRIENDS): Remove parenthesis.
        (TYPE_GETS_DELETE): Add parenthesis.
        (TYPE_HAS_CONVERSION): Add parenthesis and wrap.
        (TYPE_HAS_ASSIGN_REF): Likewise,
        (TYPE_HAS_CONST_ASSIGN_REF): Likewise.
        (TYPE_HAS_INIT_REF): Likewise.
        (TYPE_HAS_CONST_INIT_REF): Likewise.
        (TYPE_BEING_DEFINED): Likewise.
        (TYPE_LANG_SPECIFIC): Likewise.
        (CLASSTYPE_RTTI): Likewise.
        (TYPE_OVERLOADS_CALL_EXPR): Likewise.
        (TYPE_OVERLOADS_ARRAY_REF): Likewise.
        (TYPE_OVERLOADS_ARROW): Likewise.
        (TYPE_USES_MULTIPLE_INHERITANCE): Likewise.
        (TYPE_USES_VIRTUAL_BASECLASSES): Add parenthesis.
        (CLASSTYPE_METHOD_VEC): Likewise.
        (CLASSTYPE_MARKED_N): Likewise.
        (CLASSTYPE_MARKED): Likewise.
        (CLASSTYPE_MARKED2): Likewise.
        (CLASSTYPE_MARKED3): Likewise.
        (CLASSTYPE_MARKED4): Likewise.
        (CLASSTYPE_MARKED5): Likewise.
        (CLASSTYPE_MARKED6): Likewise.
        (SET_CLASSTYPE_MARKED): Whitespace.
        (CLEAR_CLASSTYPE_MARKED): Likewise.
        (SET_CLASSTYPE_MARKED2): Likewise.
        (CLEAR_CLASSTYPE_MARKED2): Likewise.
        (SET_CLASSTYPE_MARKED3): Likewise.
        (CLEAR_CLASSTYPE_MARKED3): Likewise.
        (SET_CLASSTYPE_MARKED4): Likewise.
        (CLEAR_CLASSTYPE_MARKED4): Likewise.
        (SET_CLASSTYPE_MARKED5): Likewise.
        (CLEAR_CLASSTYPE_MARKED5): Likewise.
        (SET_CLASSTYPE_MARKED6): Likewise.
        (CLEAR_CLASSTYPE_MARKED6): Likewise.
        (CLASSTYPE_TAGS): Likewise.
        (CLASSTYPE_VSIZE): Likewise.
        (CLASSTYPE_VBASECLASSES): Likewise.
        (CANONICAL_BINFO): Add parenthesis.
        (CLASSTYPE_SIZE(NODE): Likewise.
        (CLASSTYPE_SIZE_UNIT): Likewise.
        (CLASSTYPE_ALIGN(NODE): Likewise.
        (CLASSTYPE_USER_ALIGN): Likewise.
        (TYPE_JAVA_INTERFACE): Likewise.
        (CLASSTYPE_PURE_VIRTUALS): Likewise.
        (CLASSTYPE_NEEDS_VIRTUAL_REINIT): Whitespace and wrap.
        (TYPE_HAS_DEFAULT_CONSTRUCTOR): Likewise.
        (CLASSTYPE_HAS_MUTABLE): Likewise.
        (CLASSTYPE_FRIEND_CLASSES): Likewise. Likewise.
        (CLASSTYPE_DECLARED_CLASS): Whitespace and wrap.
        (CLASSTYPE_READONLY_FIELDS_NEED_INIT): Likewise.
        (CLASSTYPE_REF_FIELDS_NEED_INIT): Likewise.
        (CLASSTYPE_INTERFACE_ONLY): Likewise.
        (CLASSTYPE_INTERFACE_KNOWN): Likewise.
        (CLASSTYPE_INTERFACE_UNKNOWN): Likewise.
        (SET_CLASSTYPE_INTERFACE_UNKNOWN_X): Likewise.
        (SET_CLASSTYPE_INTERFACE_UNKNOWN): Likewise.
        (SET_CLASSTYPE_INTERFACE_KNOWN): Likewise.
        (CLASSTYPE_DEBUG_REQUESTED): Whitespace and wrap.
        (BINFO_UNSHARED_MARKED): Whitespace.
        (BINFO_MARKED): Whitespace and wrap.
        (SET_BINFO_MARKED): Likewise.
        (CLEAR_BINFO_MARKED): Likewise.
        (BINFO_VTABLE_PATH_MARKED): Likewise.
        (SET_BINFO_VTABLE_PATH_MARKED): Likewise.
        (CLEAR_BINFO_VTABLE_PATH_MARKED): Likewise.
        (BINFO_SUBVTT_INDEX): Remove parenthesis.
        (BINFO_VPTR_INDEX): Likewise.
        (BINFO_PRIMARY_BASE_OF): Likewise,
        (CLASSTYPE_VFIELDS): Whitespace.
        (VF_DERIVED_VALUE): Wrap long line.
        (NAMESPACE_LEVEL): Whitespace.
        (CAN_HAVE_FULL_LANG_DECL_P): Remove parenthesis.
        (DEFARG_POINTER): Whitespace.
        (DECL_NEEDED_P): Remove parenthesis.
        (DECL_LANGUAGE): Whitespace.
        (SET_DECL_LANGUAGE): Add parenthesis.
        (DECL_CONSTRUCTOR_P): Whitespace and wrap.
        (DECL_OVERLOADED_OPERATOR_P): Remove parenthesis.
        (DECL_IN_AGGR_P): Whitespace.
        (DECL_FRIEND_P): Likewise.
        (DECL_BEFRIENDING_CLASSES): Likewise.
        (DECL_STATIC_FUNCTION_P): Whitespace and wrap.
        (DECL_NONCONVERTING_P): Whitespace.
        (DECL_PURE_VIRTUAL_P): Likewise.
        (DECL_NEEDS_FINAL_OVERRIDER_P): Likewise.
        (DECL_PENDING_INLINE_INFO): Whitespace.
        (DECL_SORTED_FIELDS): Likewise.
        (DECL_DEFERRED_FN): Likewise.
        (DECL_TEMPLATE_INFO): Likewise.
        (CLASSTYPE_TEMPLATE_INFO): Whitespace and wrap.
        (TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO); Likewise.
        (SET_TYPE_TEMPLATE_INFO): Add parenthesis.
        (TMPL_ARGS_LEVEL): Likewise.
        (SET_TMPL_ARGS_LEVEL): Likewise.
        (INNERMOST_TEMPLATE_PARMS): Whitespace.
        (C_TYPEDEF_EXPLICITLY_SIGNED): Uppercase macro parameter.
        (INTEGRAL_CODE_P(CODE): Add parenthesis.
        (CP_INTEGRAL_TYPE_P): Remove parenthesis.
        (TYPE_HAS_CONSTRUCTOR): Whitespace.
        (TREE_HAS_CONSTRUCTOR): Likewise.
        (TYPE_HAS_DESTRUCTOR): Likewise.
        (TYPE_HAS_REAL_ASSIGN_REF): Likewise.
        (TYPE_HAS_COMPLEX_ASSIGN_REF): Likewise.
        (TYPE_HAS_ABSTRACT_ASSIGN_REF): Likewise.
        (TYPE_HAS_COMPLEX_INIT_REF): Likewise.
        (TYPE_HAS_NONTRIVIAL_DESTRUCTOR): Likewise.
        (TYPE_PTRMEMFUNC_P): Likewise.
        (TYPE_PTRMEMFUNC_FLAG): Likewise.
        (TYPE_GET_PTRMEMFUNC_TYPE): Likewise.
        (TYPE_SET_PTRMEMFUNC_TYPE): Likewise.
        (TYPE_PTRMEM_CLASS_TYPE): Remove parenthesis.
        (TYPE_PTRMEM_POINTED_TO_TYPE): Likewise.
        (DECL_ACCESS): Whitespace.
        (DECL_GLOBAL_CTOR_P): Remove parenthesis.
        (DECL_GLOBAL_DTOR_P): Likewise.
        (GLOBAL_INIT_PRIORITY): Likewise.
        (DECL_TEMPLATE_PARMS): Likewise.
        (DECL_TEMPLATE_RESULT): Likewise.
        (DECL_TEMPLATE_INSTANTIATIONS): Likewise.
        (DECL_TEMPLATE_SPECIALIZATIONS): Likewise.
        (DECL_IMPLICIT_TYPEDEF_P): Remove parenthesis.
        (SET_DECL_IMPLICIT_TYPEDEF_P): Likewise.
        (PRIMARY_TEMPLATE_P): Add parenthesis.
        (DECL_USE_TEMPLATE): Whitespace.
        (CLASSTYPE_IMPLICIT_INSTANTIATION): Likewise.
        (SET_CLASSTYPE_IMPLICIT_INSTANTIATION): Likewise.
        (CLASSTYPE_EXPLICIT_INSTANTIATION): Likewise.
        (SET_CLASSTYPE_EXPLICIT_INSTANTIATION): Likewise.
        (CALL_DECLARATOR_PARMS): Remove parenthesis.
        (CALL_DECLARATOR_QUALS): Likewise.
        (CALL_DECLARATOR_EXCEPTION_SPEC): Likewise.
        (TEMP_NAME_P): Wrap.
        (VFIELD_NAME_P): Likewise.
        (B_SET): Uppercase macro parameters and add parenthesis.
        (B_CLR): Likewise.
        (B_TST): Likewise.
        (LOOKUP_NAMESPACES_ONLY): Uppercase macro parameters.
        (LOOKUP_TYPES_ONLY): Uppercase macro parameters.
        (LOOKUP_QUALIFIERS_ONLY): Uppercase macro parameters.
        (same_or_base_type_p): Likewise.
        (cp_deprecated): Likewise.

2002-01-05  Richard Henderson  <rth@redhat.com>

        * semantics.c (expand_body): Revert last change.

2002-01-04  Jason Merrill  <jason@redhat.com>

        PR c++/4122
        * class.c (update_vtable_entry_for_fn): Set delta to zero for a
        lost primary.

        * class.c (build_vtbl_initializer): Check for a lost primary
        before calculating the vtable entry to throw away.

2002-01-02  Jason Merrill  <jason@redhat.com>

        * semantics.c (expand_body): Call outlining_inline_function when
        emitting an inline function out of line.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5116, c++/764 reversion
        * call.c (build_new_op): Revert the instantiations. They are
        incorrect.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5089
        * decl2.c (reparse_absdcl_as_casts): Don't warn about casts to void.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/3716
        * pt.c (tsubst_aggr_type): Move pmf handling into tsubst.
        (tsubst, case POINTER_TYPE): Handle pmfs here.
        (tsubst, case OFFSET_TYPE): Check it is not an offset to
        reference. If it is offset to FUNCTION_TYPE, create a METHOD_TYPE.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/35
        * cp-tree.h (DECL_LANG_FLAG_0): Used for PARM_DECL too.
        (DECL_TEMPLATE_PARM_P): A PARM_DECL might be one too.
        * pt.c (process_template_parm): SET_DECL_TEMPLATE_PARM_P on the
        PARM_DECL.
        (tsubst_template_parms): Break up loop statements.
        (tsubst_decl, case PARM_DECL): Copy DECL_TEMPLATE_PARM_P. Template
        parm PARM_DECLs don't get promoted.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5123
        * typeck.c (build_component_ref): Cope with a TEMPLATE_ID_EXPR.
        (build_x_function_call): Cope with a COMPONENT_REF containing a
        TEMPLATE_ID_EXPR.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5213
        * pt.c (convert_template_argument): Be more careful determining
        when RECORD_TYPE templates are or are not templates.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/775
        * cp-tree.h (handle_class_head): Adjust prototype.
        * decl2.c (handle_class_head): Add DEFN_P and NEW_TYPE_P
        parameters. Use for all class heads.
        * parse.y (named_class_head_sans_basetype, named_class_head,
        named_complex_class_head_sans_basetype,
        named_class_head_sans_basetype_defn,
        unnamed_class_head): Remove.
        (class_head, class_head_apparent_template): Recognize class heads
        (class_head_decl, class_head_defn): New reductions. Process class
        heads.
        (structsp): Adjust class definition and class declaration
        reductions.
        (maybe_base_class_list): Give diagnostic on empty list.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/4379
        * typeck.c (build_x_unary_op): Don't destroy the OFFSET_REF on a
        single non-static member.
        (unary_complex_lvalue): If it cannot be a pointer to member, don't
        make it so. Check it is not pointer to reference.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5132
        * decl2.c (reparse_absdcl_as_casts): Don't digest_init if we
        are processing a template decl.

2002-01-02  Nathan Sidwell  <nathan@codesourcery.com>

        PR c++/5116, c++/764
        * call.c (build_new_op): Make sure template class operands are
        instantiated. Simplify arglist construction.