PR rtl-optimization/82913

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

Thu Dec 28 11:13:15 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_builtin_throw): Use RETURN_ADDR_OFFSET instead of
        NORMAL_RETURN_ADDR_OFFSET.
        (end_eh_unwinder): Likewise.

Wed Dec 27 22:18:16 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_dynamic_cast): Make sure we don't cast away const
        when dealing with references, and make sure we handle dynamic
        casting to a cv qualified reference.

Thu Dec 21 23:50:35 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (struct eh_context): New structure top hold eh context
        information.
        (push_eh_context): New routine.
        (pop_eh_context): Likewise.
        * decl.c (push_cp_function_context): Use them.
        (pop_cp_function_context): Likewise.

Wed Dec 20 12:42:51 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * decl2.c (finish_file): Also prune uninteresting functions in the
        inline emission loop.

Wed Dec 20 02:32:07 1995  Jeffrey A Law  <law@cygnus.com>

        * sig.c (build_signature_table_constructor): Mark functions
        in the signature as referenced.

Tue Dec 19 22:36:56 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * decl2.c (finish_file): Do all the vtable/synthesis stuff before
        the inline emission stuff.

Mon Dec 18 15:51:33 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * cp-tree.h, decl2.c (flag_weak): New flag to control the use of
        weak symbols.
        * lang-options.h: Add -f{no-,}weak.
        * decl.c (init_decl_processing): If the target does not support weak
        symbols, don't use them.
        * decl2.c, pt.c: s/SUPPORTS_WEAK/flag_weak/.

Sun Dec 17 21:13:23 1995  Rusty Russell  <rusty@adelaide.maptek.com.au>

        * init.c (expand_member_init): warning for base init after members.

Fri Dec 15 15:32:18 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * cvt.c (build_expr_type_conversion): Don't convert to a reference
        type.

Thu Dec 14 16:05:58 1995  Mike Stump  <mrs@cygnus.com>

        * method.c (report_type_mismatch): Improve wording for volatile
        mismatches.

Thu Dec 14 14:16:26 1995  Mike Stump  <mrs@cygnus.com>

        * init.c (expand_aggr_init_1): Use expand_aggr_init_1 instead of
        expand_assignment, as the later doesn't handle things that have
        copy constructors well.  The compiler would do bitwise copying,
        instead of ctor calling in some cases.

Wed Dec 13 17:05:54 1995  Paul Eggert  <eggert@twinsun.com>

        * g++.c (my_strerror): Return "cannot access" if errno is 0.
        (pfatal_with_name, perror_exec): Don't assume that
        the returned value from my_strerror contains no '%'s.
        (concat): Remove.
        (sys_nerror): Declare only if HAVE_STRERROR is not defined.

Wed Dec 13 16:22:38 1995  Jason Merrill  <jason@yorick.cygnus.com>

        Lose CLASSTYPE_METHODS/DECL_NEXT_METHOD chain; make
        TYPE_METHODS/TREE_CHAIN mean what they used to.
        * decl2.c (constructor_name_full): Refer to CLASSTYPE_METHOD_VEC
        instead of TYPE_METHODS.
        * decl.c (duplicate_decls): Lose references to DECL_NEXT_METHOD.
        * tree.c (tree_copy_lang_decl_for_deferred_output): Likewise.
        * cp-tree.h (CLASSTYPE_METHODS): Lose.
        (CLASSTYPE_METHOD_VEC): Point to lang_spec->methods instead of
        TYPE_METHODS.
        (struct lang_decl): Lose next_method field.
        (DECL_NEXT_METHOD): Lose.
        * class.c (finish_struct_methods): Don't mess with TYPE_METHODS.
        (finish_struct): Just use TYPE_METHODS; we don't need fn_fields
        anymore.
        (finish_struct_methods): Don't mess with the TREE_CHAINs in
        fn_fields.

        * search.c (add_conversions): Don't use TREE_CHAIN to traverse method
        vector.

        * call.c (build_method_call): Synthesize here even when not inlining.
        * typeck.c (build_function_call_real): Likewise.

Wed Dec 13 15:02:39 1995  Ian Lance Taylor  <ian@cygnus.com>

        * cp/lex.c (check_newline): If DBX_DEBUGGING_INFO and write_symbols
        == DBX_DEBUG, call dbxout_start_new_source_file and
        dbxout_resume_previous_source_file when appropriate.

Tue Dec 12 20:38:55 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (start_anon_func): Push to the top level.
        (end_anon_func): Pop from the top level.

Mon Dec 11 18:56:14 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (build_cleanup): New routine to build cleanups.
        * decl.c (expand_static_init): Use build_cleanup to build a cleanup
        call at ctor time and use atexit to run it later.
        * decl2.c (build_cleanup): New routine, taken from finish_file.
        (finish_file): Use build_cleanup instead, and don't put function
        local statics in global dtor list.

Wed Dec  6 14:34:29 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Ensure that we have cleanups, if we try
        and expand cleanups.

Wed Dec  6 11:48:21 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Add logic to manage dynamic cleanups for
        the EH object.
        (expand_end_catch_block): Use the magic of expand_goto, instead of
        emit_jump so that we get the cleanup for any catch clause parameter
        and the cleanup for the exception object.  Update to reflect label
        changes.
        (push_eh_cleanup): New routine to register a cleanup for an
        exception object.
        (empty_fndecl): Used to default cleanup actions to
        nothing.
        (init_exception_processing): Setup empty_fndecl.  Setup
        saved_cleanup.
        (expand_start_catch_block): Update to reflect label changes.  Call
        push_eh_object to register the cleanup for the EH object.
        (start_anon_func): New routine to start building lambda expressions
        from trees.
        (end_anon_func): New routine to end them.
        (struct labelNode): Change so that we can use tree labels, or rtx
        labels.
        (saved_cleanup): Object to check for dynamic cleanups for the
        exception handling object.
        (push_label_entry): Change so that we can use tree labels, or rtx
        labels.
        (pop_label_entry): Likewise.
        (top_label_entry): Likewise.
        (expand_start_all_catch): Use tree label instead of rtx label, so
        that we can get the magic of expand_goto.
        (expand_end_all_catch): Update to reflect label changes.

        * class.c (build_vfn_ref): Remove building_cleanup logic, as we now
        use UNSAVE_EXPRs.
        * typeck.c (get_member_function_from_ptrfunc): Remove remnants of
        building_cleanup logic, as we now use UNSAVE_EXPRs.
        * cp-tree.h (unsave_expr): Declare it.
        * decl.c (building_cleanup): Remove.
        (maybe_build_cleanup): Remove building_cleanup logic, and use
        UNSAVE_EXPR instead.

Sun Dec  3 01:34:58 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_t_desc): Update error message to say <typeinfo>.

Thu Nov 30 12:30:05 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (pushdecl): Only warn about shadowing a local variable if
        warn_shadow is true.

Sun Nov 26 16:06:55 1995  Rusty Russell  <rusty@adelaide.maptek.com.au>

        * typeck.c (build_binary_op_nodefault): Added warning about
        comparisons between different enum types with -Wall, unless
        -fenum-int-equiv set.

Wed Nov 22 15:44:02 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (finish_struct_1): Skip down to the inner type in
        multidimensional arrays.  Ensures ctors will be made for types that
        need constructing.

Wed Nov 22 14:19:22 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (last_dtor_insn): New to track the last compiler generated
        insn in a dtor.
        (store_parm_decls): Set it.
        (finish_function): Use it to see if the dtor is empty.  Avoid doing
        vtable setup all the time, if we can.
        (struct cp_function): Add last_dtor_insn.
        (push_cp_function_context): Save it.
        (pop_cp_function_context): Restore it.

Wed Nov 22 11:52:19 1995  Paul Russell  <Rusty.Russell@adelaide.maptek.com.au>

        * typeck.c (build_unary_op): Set TREE_NO_UNUSED_WARNING to avoid
        warnings.

Tue Nov 21 17:15:23 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (expand_target_expr): Make sure targets get put into the
        current temp_slot_level, so that the free_temp_slots call will reuse
        them.

Tue Nov 21 13:32:03 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (finish_struct_1): Delay delta fixups for virtual bases
        until after we have done the hard virtuals, to avoid a bogus `every
        virtual function must have a unique final overrider' for virtual
        functions that are only overridden by hard virtuals.

Thu Nov  9 13:35:30 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * pt.c (do_function_instantiation): Don't try to find a file-scope
        template for a member function.

Tue Nov 14 06:20:35 1995  Mike Stump  <mrs@cygnus.com>

        * g++.c (main): Add handling of -nodefaultlibs.

Mon Nov 13 15:45:34 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (INDIRECT_BIND): Add a way for the frontend to
        distinguish between direct bindings of reference variables, and
        indirect bindings of reference variables.
        * cvt.c (build_up_reference): Use it.
        * typeck.c (convert_arguments): Use it to indicate this is an
        indirect binding.
        * decl.c (cp_finish_decl): Ensure that we reuse stack slots as fast
        as they are unused.
        (expand_static_init): Likewise.
        (cplus_expand_expr_stmt): Likewise.
        * decl2.c (finish_file): Likewise.
        * init.c (perform_member_init): Likewise.
        (emit_base_init): Likewise.
        (expand_aggr_vbase_init_1): Likewise.

Fri Nov 10 09:18:09 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (push_namespace): Rewrite to use build_lang_decl, so we
        get a DECL_LANG_SPECIFIC node.
        * cp-tree.h (lang_decl_flags): Add new member `level'.
        (NAMESPACE_LEVEL): Don't use decl.arguments, instead use the
        decl_flags level member.

Mon Nov  6 18:36:13 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * call.c (build_method_call): Make sure instance has a
        TYPE_LANG_SPECIFIC node before we dive into it.

Sat Nov  4 20:01:52 1995  Jason Molenda  <crash@phydeaux.cygnus.com>

        * method.c (make_thunk): Use TREE_SET_CODE to set thunk's tree code.

Thu Nov  2 17:56:57 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (duplicate_decls): When smashing decls, smash staticness in
        the usual way.

Thu Nov  2 16:44:02 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (poplevel): Handle the merging of subblocks of cleanups
        when finishing blocks that have already been created (usually due to
        the fixup goto code).  Fixes bad debugging information.

Wed Nov  1 12:33:53 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * method.c (hack_identifier): Don't abort when we get a TREE_LIST
        that's not a list of overloaded functions.

Wed Nov  1 11:38:58 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl2.c (mark_vtable_entries): Check DECL_LANG_SPECIFIC on fn
        before trying to use DECL_ABSTRACT_VIRTUAL_P.

Tue Oct 31 11:56:55 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * decl2.c (mark_used): New function for hooking into setting of
        TREE_USED on decls.
        * call.c (build_method_call): Use it.
        * class.c (instantiate_type): Likewise.
        * init.c (build_offset_ref): Likewise.  Don't call assemble_external
        for all like-named functions.
        * method.c (hack_identifier): Likewise.
        (emit_thunk): Don't call assemble_external.
        (make_thunk): Create thunk as a FUNCTION_DECL so that it
        gets the right mode and ENCODE_SECTION_INFO works.

        * parse.y: Use mark_used.  Pass operator names to do_identifier.
        * lex.c (do_identifier): Handle operator names.

        * decl2.c (grokclassfn): Tweak __in_chrg attributes.

Thu Oct 26 16:45:58 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * errfn.c: Include stdio.h.
        (cp_sprintf): Take out decl of sprintf, and cast sprintf to errorfn*.

Wed Oct 25 18:58:41 1995  Mike Stump  <mrs@cygnus.com>

        * typeck2.c (digest_init): Always convert initializers to the
        right type.

Wed Oct 25 13:25:24 1995  Mike Stump  <mrs@cygnus.com>

        * init.c (member_init_ok_or_else): Don't allow member initializers
        for indirect members, as it is invalid.

Wed Oct 25 11:35:28 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Don't allow `friend signed ()'.

Fri Oct 20 10:30:59 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (for.init.statement): Catch compound statements inside for
        initializations, if we're being pedantic.

Fri Oct 20 10:03:42 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (lookup_tag): Return NULL_TREE if we don't find what we are
        looking for.

Thu Oct 19 14:26:10 1995  Mike Stump  <mrs@cygnus.com>

        * error.c (dump_expr): Don't core dump when a boolean expression is
        used as a default argument.

Thu Oct 19 10:36:30 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * class.c (finish_struct_bits): Check aggregate_value_p instead of
        RETURN_IN_MEMORY.

Wed Oct 18 18:12:32 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * class.c (finish_struct_bits): Also set TREE_ADDRESSABLE on a
        BLKmode type that would otherwise be returned in registers.

Mon Oct 16 12:32:19 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * g++.c (WITHLIBC): New macro.
        (main): Declare saw_libc.  Use WITHLIBC if `-lc' was used; set
        saw_libc and pass it at the end if it was set.

Wed Oct 11 16:30:34 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (fn.def1): Call split_specs_attrs in
        declmods notype_declarator case.

Sun Nov 26 14:47:42 1995  Richard Kenner  <kenner@mole.gnu.ai.mit.edu>

        * Version 2.7.2 released.

Mon Nov 20 14:05:00 1995  Mike Stump  <mrs@cygnus.com>

        * g++.c (pfatal_with_name): Add missing third argument to concat.

Thu Oct 26 13:59:54 1995  Mike Stump  <mrs@cygnus.com>

        * init.c (expand_aggr_init): Handle cv qualifiers on the object's
        type.

Sat Nov 11 08:25:55 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * Version 2.7.1 released.

Thu Nov  2 17:02:47 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * call.c (convert_harshness): Handle references to arrays.

Fri Oct 27 14:20:21 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * typeck.c (comp_target_types): Check multi-level pointer
        conversions in both directions.

Tue Oct 17 21:39:05 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * parse.y (explicit_instantiation): Fix 'extern template' with no
        return type.

Mon Oct 16 14:35:20 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * parse.y (explicit_instantiation): Support automatic instantiation
        of constructors.
        (named_class_head_*): Support out-of-class definition of nested
        types.

Wed Oct 11 12:20:56 1995  Mike Stump  <mrs@cygnus.com>

        * search.c (envelope_add_decl): New routine.  Fix so that
        methods are hidden in the same way that other members are.
        (dfs_pushdecls): Cleanup and move functionality out of line,
        into envelope_add_decl.

Tue Oct 10 15:46:01 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (mark_addressable): Only call assemble_external if we
        have started the output file.

Tue Oct 10 11:27:18 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * decl.c (start_function): Fix earlier cv-quals change.

Mon Oct  9 23:53:05 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (complex_direct_notype_declarator): Only push the class if
        we are not already in the class.

Mon Oct  9 11:22:03 1995  Doug Evans  <dje@canuck.cygnus.com>

        * decl.c (duplicate_decls): Call merge_machine_decl_attributes.
        Update olddecl's attributes too.
        (grokdeclarator): #if 0 out call to build_decl_attribute_variant.
        * typeck.c (common_type): Call merge_machine_type_attributes.

Fri Oct  6 14:44:27 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (mark_addressable): Add missing call to
        assemble_external.

Wed Oct  4 15:06:39 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (store_parm_decls): Make sure the unwinder start comes
        before the exception specification start.
        * except.c (expand_exception_blocks): Make sure the unwinder end
        comes after the terminate protected catch clause region and after
        the end of the exception specification region.

Wed Oct  4 12:47:02 1995  Jason Merrill  <jason@yorick.cygnus.com>

        * lex.c (real_yylex): Fix identifier case for linemode.
        (handle_sysv_pragma): Don't abort when we see a pragma we don't
        recognize.

Tue Oct  3 14:09:46 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (store_parm_decls): Add a call to start_eh_unwinder.
        * except.c (init_exception_processing): __throw doesn't take any
        arguments.
        (expand_builtin_throw): Likewise.  Always use Pmode, instead of SImode
        for all pointers.  Use expand_builtin_return_addr to unwind the
        first level off the stack.
        (do_unwind): Always use Pmode, instead of SImode for all pointers.
        (expand_exception_blocks): Add a call to end_eh_unwinder.
        (start_eh_unwinder, end_eh_unwinder): New routines to build machine
        independent stack unwinders for function/method calls.

Mon Oct  2 17:20:42 1995  Mike Stump  <mrs@cygnus.com>

        * tree.c (unsave_expr_now): Make sure we process the argument list
        of any called functions.  Fixes incorrect code generation for
        cleanups.

Mon Oct  2 13:04:16 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (get_member_function_from_ptrfunc): Save function if it
        needs it.  Cures core dump on things like (this->*(f()))().

Sat Sep 23 22:51:25 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_function): Conform to gcc cv-quals convention (no
        expression has a cv-qualified type) in RESULT_DECLs.
        * method.c (make_thunk): Likewise.

Fri Sep 22 10:21:13 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (pushtag): Add in the namespace name for the tag.

Thu Sep 21 13:11:13 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (maybe_base_class_list, base_class_list, base_class,
        base_class_access_list): Make sure we see the typenames for base
        classes.
        * lex.c (see_typename): Instead of failing to see a typename when
        there is no next token, perfer a typename, and get the next token.

Wed Sep 20 12:35:27 1995  Michael Meissner  <meissner@cygnus.com>

        * decl.c (init_decl_processing): Add __builtin_expect.

Tue Sep 19 16:48:11 1995  Mike Stump  <mrs@cygnus.com>

        * cvt.c (cp_convert_to_pointer): Don't allow leftover conversions to
        or from pointer to member functions, they must all be handled before
        this point.

Fri Sep 15 17:14:47 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (resolve_offset_ref): Fix wording of non-static member
        being referenced as a static.

Fri Sep 15 12:39:11 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_indirect_ref): Only bash pointer if we actually
        call build_expr_type_conversion.

Thu Sep 14 18:24:56 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * cvt.c (build_expr_type_conversion): Handle conversion from
        reference.
        * typeck.c (build_indirect_ref): Avoid infinite recursion.

Thu Sep 14 17:23:28 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (expand_start_early_try_stmts): New routine to start a try
        block at the start of the function, for function-try-blocks.
        * cp-tree.h (expand_start_early_try_stmts): Declare it.
        * parse.y (function_try_block): Use it, instead of doing it here, as
        we don't want to include rtl.h here, as that conflicts with RETURN
        in the parser.

Wed Sep 13 18:32:24 1995  Mike Stump  <mrs@cygnus.com>

        * lex.c (reinit_parse_for_block): Support saving inline
        function-try-blocks, uses peekyylex.
        * parse.y (eat_saved_input): New rule, permit the parser to see that
        END_OF_SAVED_INPUT is ok, as it can see this when parsing the
        handlers of a function-try-block.
        (fndef): Use it.
        (component_decl): Make sure TRY and RETURN can come after fn.def2.
        * spew.c (peekyylex): New routine to peek at what will come next.

Wed Sep 13 16:52:06 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (comptypes): Tighten up comparisons of template type
        parms.

        * decl.c (duplicate_decls): Turn off whining about virtual functions
        redeclared inline for now.

Wed Sep 13 11:13:40 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (store_in_parms): New routine to put things before we
        put base inits.
        * cp-tree.h (store_in_parms): Declare it.
        * decl.c (store_parm_decls): Use it to makr sure the starting of the
        eh spec comes before base inits.
        (finish_function): Use sequences instead of the obsolete
        reorder_insns.
        * parse.y (fndef): Enhance readability and maintainability.  Update
        to include function_try_block syntax.
        (function_try_block): Add.

Tue Sep 12 17:43:07 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * call.c (convert_harshness): Use comptypes, not ==, to check if
        TYPE and PARMTYPE are equivalent on a function type.

Tue Sep 12 17:31:33 1995  Douglas Rupp  <drupp@cs.washington.edu>

        * Make-lang.in (cc1plus): Removed unnecessary $(exeext).

Mon Sep 11 23:24:07 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Never allocate storage for thrown pointer
        to objects.

Mon Sep 11 19:36:45 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_start_catch_block): Pointers to objects come
        back from catch matching already dereferenced, don't dereference
        again.

Mon Sep 11 15:46:28 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Only decay the throw expression, don't do
        any default conversions.  This is so that one can throw and catch
        characters, and not have them match integers.

Mon Sep 11 13:46:45 1995  Mike Stump  <mrs@cygnus.com>

        * error.c (dump_aggr_type): Deal with anonymous unions that don't
        have a TYPE_NAME.

Fri Sep  8 20:40:27 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * lex.c (handle_sysv_pragma): Deal with getting a comma from yylex.

Fri Sep  8 15:51:41 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_end_eh_spec): Handle empty EH specifications.

Fri Sep  8 15:27:22 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (expand_start_eh_spec): Declare new routine.
        (expand_end_eh_spec): Likewise.
        * decl.c (store_parm_decls): Call expand_start_eh_spec to process
        exception specifications.
        * except.c (expand_leftover_cleanups): Remove unused parameter.
        (expand_end_catch_block): Likewise.
        (expand_exception_blocks): Likewise.
        (expand_start_eh_spec): New routine to mark the start of an
        exception specification region.
        (expand_end_eh_spec): New routine to mark the end of an exception
        specification region.
        (expand_exception_blocks): Call expand_end_eh_spec to process
        exception specifications.

Fri Sep  8 14:40:48 1995  Per Bothner  <bothner@kalessin.cygnus.com>

        * lex.c (do_identifier):  Use global binding in preference of
        dead for local variable.

Wed Sep  6 19:32:59 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (build_exception_variant): Remove used first argument.
        * decl.c (duplicate_decls): Likewise.
        (grokfndecl): Likewise.
        (revert_static_member_fn): Likewise.
        * decl2.c (grok_method_quals): Likewise.
        * tree.c (build_exception_variant): Likewise.
        * typeck.c (common_type): Likewise.
        * decl2.c (grokclassfn): After changing the type, call
        build_exception_variant, if necessary.

Tue Sep  5 15:56:27 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Run cleanups for the throw expression.

Wed Aug 30 15:24:38 1995  Stephen L. Favor  <sfavor@tigger.intecom.com>

        * except.c (expand_builtin_throw): Moved gen_label_rtx calls beyond
        the store_parm_decls call which does initialization in the emit_*
        code concerning label numbering.

Thu Aug 31 09:01:07 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_internal_throw): Let the frontend be responsible
        for managing all frontend EH parameters, the backend routine only
        needs to deal with backend values.  type and value are no longer
        passed to __throw.
        (init_exception_processing): Likewise.
        (expand_start_all_catch): Likewise.
        (expand_end_all_catch): Likewise.
        (expand_leftover_cleanups): Likewise.
        (expand_end_catch_block): Likewise.
        (expand_builtin_throw): Likewise.
        (expand_throw): Likewise.

Tue Aug 29 15:04:36 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cp-tree.h (DECL_REAL_CONTEXT): Give the real declaration context
        for a decl.
        * decl.c (cp_finish_decl): Use it.

Tue Aug 29 10:30:27 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_internal_throw): Oops, almost forgot type and
        value are now trees.

Mon Aug 28 17:57:45 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        Fix the attribute handling to make sure they get noted before we
        create the function's RTL, in case they can affect that.
        * decl.c (grokfndecl): New arg ATTRLIST.  Run
        cplus_decl_attributes before creating the decl's rtl.
        (grokdeclarator): New arg ATTRLIST, passed down into grokfndecl.
        (shadow_tag, groktypename, start_decl, start_method): Pass a
        NULL_TREE to grokdeclarator's new last arg.
        * decl2.c (grokfield): New arg ATTRLIST, passed into grokdeclarator.
        (grokbitfield, grokoptypename): Pass a NULL_TREE to
        grokdeclarator's new last arg.
        * except.c (expand_start_catch_block): Likewise.
        * pt.c (process_template_parm, end_template_decl,
        do_function_instantiation): Likewise.
        * cp-tree.h (grokfield): Add arg.
        (grokdeclarator): Move the prototype from here...
        * decl.h: ...to here.
        * lex.c (cons_up_default_function): Pass NULL_TREE to grokfield
        ATTRLIST argument.
        * parse.y: Create a list for the grokfield arg where appropriate,
        and pass it down instead of calling cplus_decl_attributes.

Mon Aug 28 15:07:24 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Always allow turning on exception handling.  Allow cross
        compilations to use EH.

Thu Aug 24 17:39:24 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (saved_pc, saved_throw_type, saved_throw_value): Use
        trees, instead of rtxs, and don't depend on using special machine
        dependent registers.
        (expand_internal_throw): Likewise.
        (init_exception_processing): Likewise.
        (expand_start_all_catch): Likewise.
        (expand_end_all_catch): Likewise.
        (expand_start_catch_block): Likewise.
        (expand_leftover_cleanups): Likewise.
        (expand_end_catch_block): Likewise.
        (expand_builtin_throw): Likewise.
        (expand_throw): Likewise.

Wed Aug 23 17:25:51 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cvt.c (build_expr_type_conversion): Handle conversions to
        reference types.

Wed Aug 23 15:33:59 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (do_unwind): Work around backend bug with -fpic.

Tue Aug 22 17:20:07 1995  Per Bothner  <bothner@kalessin.cygnus.com>

        * decl2.c (flag_new_for_scope):  Add a new mode that follows ANSI
        for-scoping, but supports (and warns about) old programs.
        Make the new mode (with value 1) the default.
        (lang_f_options):  The on-value for flag_new_for_scope is now 2.
        * cp-tree.h (DECL_DEAD_FOR_LOCAL, DECL_ERROR_REPORTED): New macros
        (DECL_SHADOWED_FOR_VAR):  Likewise.
        * decl.c (struct binding_level):  New fields dead_vars_from_for
        and is_for_scope.
        (note_level_for_for):  New function.
        (poplevel):  Special processing if is_for_scope.
        (pushdecl):  Warn if for-scope variable shadows local.
        * lex.c (do_identifier):  Handle old (non-ANSI) for scoping,
        and warn if conflicts.
        * parse.y (FOR):  Call note_level_for_for.

Mon Aug 21 10:28:31 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * decl2.c (import_export_inline): Class interface hackery does not
        apply to synthesized methods.

Sun Aug 20 16:29:00 1995  Mike Stump  <mrs@cygnus.com>

        * search.c (virtual_context): Find the right context more often.
        Solves a `recoverable compiler error, fixups for virtual function'
        problem.

Sun Aug 20 13:53:24 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_start_all_catch): Ensure that we always transfer
        control to the right EH handler, by rethrowing the end label on the
        region, instead of hoping we are nested and falling through.
        (expand_leftover_cleanups): Likewise.
        (end_protect): Since we now rethrow the end label, put a
        nop after it, so that outer regions are recognized.
        * init.c (build_vec_delete_1): New routine to handle most of vector
        deleting, all code moved here from build_vec_delete.
        (build_array_eh_cleanup): Use build_vec_delete_1 to do all the real
        work.
        (expand_vec_init): If the array needs partial destructing, setup an
        EH region to handle it.
        (build_vec_delete): Move lots of code to build_vec_delete_1, use
        build_vec_delete_1 to do the grunt work.

Sat Aug 19 14:25:33 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        Handle decl attributes properly for function definitions without
        previous attribute-loaded declarations.
        * decl.c (start_function): New arg ATTRS.  Add a call to
        cplus_decl_attributes with it before we create the RTL.
        * cp-tree.h (start_function): Update prototype.
        * parse.y (fn.def1): Pass ATTRS into start_function instead of
        trying to call cplus_decl_attributes too late.  Pass a NULL_TREE
        for other use.
        * decl2.c (finish_file): Pass NULL_TREE as fourth arg to
        start_function.
        * method.c (synthesize_method): Likewise.
        * except.c (expand_builtin_throw): Likewise for start on __throw.

Sat Aug 19 13:36:08 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (set_rtti_entry): Turn on -fvtable-thunk -frtti support.
        This changes -fvtable-thunks vtable layout, so a recompile will be
        necessary, if you use -fvtable-thunks.
        (get_vtable_entry): Use n, instead of i to be consistent with the
        rest of the compiler.
        (get_vtable_entry_n): Likewise.
        (add_virtual_function): Add a slot for the tdesc, if -fvtable-thunks
        are being used.
        (finish_struct_1): Likewise.
        (skip_rtti_stuff): New routine to collapse similar code from many
        different parts of the compiler.  I think I got them all.
        (modify_one_vtable): Use it.
        (fixup_vtable_deltas1): Likewise.
        (override_one_vtable): Likewise.
        * decl2.c (mark_vtable_entries): Likewise.
        * tree.c (debug_binfo): Likewise.
        * search.c (expand_upcast_fixups): Likewise.
        (get_abstract_virtuals_1): Likewise.  Use virtuals, instead of tmp to
        consistent with the rest of the compiler.
        (get_abstract_virtuals): Likewise.
        * cp-tree.h (skip_rtti_stuff): New routine, declare it.
        * gc.c (build_headof): Support -fvtable-thunk and -frtti together.
        (build_typeid): Likewise.
        (build_classof): Remove old style way of doing rtti.  Remove support
        for `classof' and `headof'.
        * gxx.gperf: Likewise.
        * hash.h: Likewise.
        * parse.y: Likewise.

Fri Aug 18 17:31:58 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * decl.c (start_function): Clear ctor_label and dtor_label.

        * class.c (finish_struct_1): Fix handling of access decls.

Tue Aug 15 19:21:54 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (finish_struct): Only do minimal processing here, so it
        can be used for class template definitions, as well.
        (finish_struct_1): New function with the rest of the code.

Tue Aug 15 09:46:16 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (prepare_fresh_vtable): On second though, always build the
        offset (see Aug 10 change), unless -fvtable-thunks is given.  It
        does this by calling the new routine set_rtti_entry.
        (finish_struct): Likewise.
        (set_rtti_entry): New routine to update the rtti information at the
        start of the vtable.

Mon Aug 14 12:21:22 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * error.c (dump_decl, case IDENTIFIER_NODE): Only work on a dtor
        if it's declared in the C++ language spec.
        (dump_function_decl): Likewise.
        (dump_function_name): Likewise.
        (ident_fndecl): Make sure we got something back from lookup_name.
        * decl.c (start_function): Likewise.

Fri Aug 11 16:52:15 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Don't call build_new when calling a
        constructor without an instance.

Thu Aug 10 20:00:17 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (prepare_fresh_vtable): Always build the offset to the
        complete object, as it doesn't cost much.  This allows dynamic_cast
        to void * to work when -frtti isn't given.
        (finish_struct): Likewise.

Thu Aug 10 16:31:28 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (build_eh_type): Split out some functionality to new
        routine named build_eh_type_type.
        (build_eh_type_type): New routine.
        (expand_start_catch_block): Use build_eh_type_type, as we never want
        the dynamic type of the catch parameter, just the static type.
        Fixes core dumps when -frtti is used and one catchs pointers to
        classes.

Thu Aug 10 14:55:29 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_builtin_throw): Since we now use normal calling
        conventions for __throw, we have to remove the first layer off the
        stack, so that the next context we search for handlers is the outer
        context instead of the context that had the call to __throw, if we
        don't immediately find the desired context.

Tue Aug  8 17:44:23 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * tree.c (cp_expand_decl_cleanup): Returns int, not tree.
        * cp-tree.h: Update.

        * parse.y (template_type_parm): Add support for `typename'.

Tue Aug  8 12:06:31 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_internal_throw): New internal routine to throw a
        value.
        (expand_end_all_catch, expand_leftover_cleanups): All throwers
        changed to use `expand_internal_throw' instead of jumping to throw
        label.
        (expand_end_catch_block, expand_throw): Likewise.
        (throw_label): Removed.
        (expand_builtin_throw): Changed so that EH parameters are passed by
        normal function call conventions.  Completes Aug 4th work.

Fri Aug  4 17:17:08 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (expand_builtin_throw): Declare it.
        * decl2.c (finish_file): Call expand_builtin_throw.
        * except.c (make_first_label): Remove.
        (init_exception_processing): Don't use a LABEL_REF for throw_label,
        instead use a SYMBOL_REF, this is so that we don't use LABEL_REFs in
        other functions that don't really appear in those functions.  This
        solves a problem where cc1plus consumed exponential amounts of
        memory when -Wall was used.
        (expand_end_all_catch, expand_leftover_cleanups,
        expand_end_catch_block, expand_throw): Change all uses of
        throw_label to match new style.
        (do_unwind): Rename parameter to inner_throw_label, as it is now
        different from throw_label.  Also, assume that our caller will wrap
        the passed label with a LABEL_REF, if needed.
        (expand_builtin_throw): Make external, change so that the generated
        throw is now a real function.
        (expand_exception_blocks): Never generate throw code inside another
        function.

Fri Aug  4 12:20:02 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (grokdeclarator): Move checking of mutable const objects
        and mutable static objects down, as we might decide during parsing
        to unset staticp or constp (for example, when const is part of the
        object being pointed to).

Thu Aug  3 17:13:43 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (output_exception_table_entry): Enhance portability to
        weird machines.
        (emit_exception_table): Likewise.

Thu Aug  3 16:41:38 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (build_ptrmemfunc): Handle casting of pointer to
        non-virtual member functions.

Wed Aug  2 11:58:25 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_typeid): Strip cv qualifiers so that const T&, T&, T
        and const T all match.

Wed Aug  2 11:25:33 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (build_eh_type): Strip cv qualifiers so that const T&,
        T&, T and const T all match.

Tue Aug  1 14:20:16 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Fix up comments, cleanup code and eliminate exceptNode,
        exceptStack, exceptstack, push_except_stmts, pop_except_stmts,
        new_except_stack, push_last_insn, pop_last_insn, insn_save_node and
        InsnSave.  Also, numerous speed improvements, and correctness
        improvements.  Double faulting in all situations should now be
        handled correctly.
        (expand_start_all_catch): Instead of having many terminate protected
        regions, just have one.
        (expand_start_catch_block): No longer have to protect
        false_label_rtx, as it isn't used for EH region marking.
        (expand_end_catch_block): Expand out EH cleanups here by using
        expand_leftover_cleanups.
        (expand_end_all_catch): Use sequences instead of playing with insn
        links directly.
        (expand_exception_blocks): Likewise.  Also protect all catch clauses
        with one terminate region.

Mon Jul 31 13:24:30 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * method.c (report_type_mismatch): Don't talk about an object
        parameter for non-methods.

Sun Jul 30 13:13:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (finish_struct): Catch private and protected members of
        anonymous unions here.
        * decl2.c (finish_anon_union): And here.
        * parse.y: Instead of here.

        * errfn.c (ARGSLIST): Support passing four args.
        * error.c (cv_as_string): New function.
        (cp_printers): Add it.
        * call.c (build_method_call): Report 'const' at end of pseudo-decl.

        * method.c (report_type_mismatch): Deal with a bad_arg of 0.

        * init.c (expand_aggr_init): Handle volatile objects, too.

Sat Jul 29 13:42:03 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (struct binding_level): Keep list of incomplete decls.
        (print_binding_level): Use list_length to count them.
        (pushdecl): Build up the list.
        (hack_incomplete_structures): Walk it and prune completed decls.

Fri Jul 28 15:26:44 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (comp_target_types): Don't check const and volatile for
        function types.
        (comp_ptr_ttypes_real): Likewise.

Thu Jul 27 15:40:48 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (comp_target_types): Fix.

Thu Jul 27 15:10:48 1995  Mike Stump  <mrs@cygnus.com>

        * cp-tree.h (unsave_expr_now, build_unsave_expr,
        cp_expand_decl_cleanup): Declare new routines.
        * decl.c (cp_finish_decl, store_parm_decls,
        hack_incomplete_structures): Change all cals from
        expand_decl_cleanup to cp_expand_decl_cleanup.
        * gc.c (protect_value_from_gc): Likewise.
        * expr.c (cplus_expand_expr): Handle UNSAVE_EXPRs.
        * tree.c (unsave_expr): New routine to build an UNSAVE_EXPR.
        (unsave_expr_now): Backend routine used by tree expander.
        (cp_expand_decl_cleanup): Wrap second argument in an UNSAVE_EXPR to
        work around a limitation in the backend.  The backend uses the
        cleanups multiple times, on disjoint control flows, so we cannot
        pass unsaved SAVE_EXPRs to the backend.
        * tree.def (UNSAVE_EXPR): New tree code.
        * typeck.c (c_expand_return): Move goto/return code up inside
        conditional, as we don't always want to do this, we only want to do
        this when we don't otherwise finish with this control flow.

Thu Jul 27 10:38:43 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (typespec): Only complain about typeof if we're not
        getting it from a system header.

Thu Jul 27 10:26:23 1995  Doug Evans  <dje@canuck.cygnus.com>

        Clean up prefix attribute handling.
        * parse.y (reserved_declspecs): Link prefix attributes with declspecs.
        (declmods): Likewise.
        (all rules that reference typed_declspecs and declmods): Call
        split_specs_attrs or strip_attrs to separate declspecs and attrs.
        (lang_extdef): Delete resetting of prefix_attributes.
        (template_def, notype_declarator rule): Use NULL_TREE for
        prefix_attributes.
        (condition): Use NULL_TREE for prefix_attributes.
        (setattrs): Deleted.
        (nomods_initdcl0): Set prefix_attributes to NULL_TREE.
        (component_decl): Delete resetting of prefix_attributes.
        (component_decl_1, notype_components rule): Use NULL_TREE for
        prefix_attributes.
        (simple_stmt): Delete resetting of prefix_attributes.

Mon Jul 24 13:37:53 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (convert_harshness): Deal with reference conversions before
        others.  Actually do array->pointer decay.  Call comp_target_types
        with pointer types rather than their targets.

        * typeck.c (comp_target_types): Avoid assigning D const * to B *.

Mon Jul 24 08:54:46 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * pt.c (to_be_restored): Move decl to global scope.

Sat Jul 22 12:22:11 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_decl): Put back clearing of DECL_IN_AGGR_P.

Fri Jul 21 17:09:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (grokdeclarator): Downgrade error about 'extern int A::i'
        to pedwarn.

        * pt.c (instantiate_template): Also avoid instantiation if the
        function has already been declared to be a specialization.

        * decl2.c (check_classfn): Ignore cname argument, and return the
        matching function.

        * decl.c (start_decl): Handle declarations of member functions
        outside of the class (i.e. specialization declarations).

Thu Jul 20 10:34:48 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (finish_struct): Don't mess with the type of bitfields.

        * various.c: s/TYPE_POINTER_TO/build_pointer_type/.

Thu Jul 20 01:43:10 1995  Mike Stump  <mrs@cygnus.com>

        * init.c (expand_aggr_init): Assume LOOKUP_ONLYCONVERTING if init
        is not a parameter list (TREE_LIST).
        (expand_default_init): If LOOKUP_ONLYCONVERTING is set, then set
        LOOKUP_NO_CONVERSION so that we don't allow two-level conversions,
        but don't set it otherwise.

Wed Jul 19 20:32:01 1995  Mike Stump  <mrs@cygnus.com>

        * init.c (expand_default_init): Don't allow two-level conversions
        during construction.

Wed Jul 19 18:06:37 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_headof): The type of dyncasting to a pointer to cv
        void, should be pointer to cv void.

Wed Jul 19 17:25:43 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_dynamic_cast): Allow casting in const.

Wed Jul 19 16:34:27 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (build_const_cast): If we are passed error_mark_node,
        return it.

Wed Jul 19 15:24:48 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * class.c (push_nested_class): Make sure TYPE is non-nil.

        * cvt.c (type_promotes_to): Watch for error_mark_node on the
        incoming TYPE.

Wed Jul 19 13:23:12 1995  Gerald Baumgartner  <gb@alexander.cs.purdue.edu>

        * cp-tree.h (SIGTABLE_VT_OFF_NAME): Renamed from SIGTABLE_OFFSET_NAME.
        (SIGTABLE_VB_OFF_NAME): New macro.
        (vt_off_identifier): Renamed from offset_identifier.
        (vb_off_identifier): Added extern declaration.

        * decl.c (vt_off_identifier): Renamed from offset identifier.
        (vb_off_identifier): New variable to hold the identifier for the
        sigtable field vb_off.
        (init_decl_processing): Initialize vb_off_identifier.
        Renamed vt_off_identifier from offset_identifier.
        * sig.c (build_signature_method_call): Renamed offset_identifier and
        local variable offset to vt_off_identifier and vt_off, respectively.
        * sig.c (build_signature_table_constructor): Renamed offset to vt_off.

        * decl.c (init_decl_processing): Add vb_off field to
        sigtable_entry_type.  Reorder fields so that pfn gets properly
        aligned at a 64 bit boundary on the Alpha.
        * sig.c (build_signature_table_constructor): Build the constructor
        according to the new layout.  Set the vb_off field to -1 for now.

        * decl.c (init_decl_processing): Align sigtable_entry_type on word
        boundaries instead of double word boundaries to save space.

Tue Jul 18 16:58:37 1995  Mike Stump  <mrs@cygnus.com>

        * cvt.c (cp_convert): Always call build_cplus_new for a ctor.

Tue Jul 18 14:24:53 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (opt.component_decl_list): Only forbid private/protected
        in anonymous unions.  We need to make this know when the type is
        defined for an object, to not give the error.

Mon Jul 17 14:22:44 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (opt.component_decl_list): Don't allow access control
        as private or protected for union members.

Sun Jul 16 14:01:00 1995  Jim Wilson  <wilson@chestnut.cygnus.com>

        * lex.c (check_newline): For 'p' case, move goto skipline line to
        before end brace for 'pragma'.

Fri Jul  7 13:55:58 1995  Mike Stump  <mrs@cygnus.com>

        * g++.1: Tiny updates.

Fri Jul  7 13:05:20 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (cp_finish_decl): Only destruct local static variables if
        they are constructed, and only construct the first time control
        passes completely through its declaration (if not initialized with a
        constant-expression).
        (expand_static_init): Likewise.

Wed Jul  5 14:05:04 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * typeck.c (comptypes, case OFFSET_REF): If either offset basetype
        is a TEMPLATE_TYPE_PARM, give a match.

Fri Jun 30 15:42:57 1995  Mike Stump  <mrs@cygnus.com>

        * method.c (build_overload_value): Handle encoding of null pointer
        constants (or any pointer with a constant numeric value) for
        templates.

Fri Jun 30 13:45:51 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * call.c (convert_harshness): Add QUAL_CODE when we're faced with
        const vs non-const for void conversions.

Fri Jun 30 10:19:52 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_start_all_catch): Fix problem with finding an
        outer nested try block when there is no code to separate it from an
        inner try block.

Fri Jun 30 02:22:26 1995  Mike Stump  <mrs@cygnus.com>

        * search.c (dfs_pushdecls): Consume 2 or 3 orders of magnitude less
        memory please when virtual bases are used.

Thu Jun 29 19:03:47 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (build_vbase_path): Avoid testing things that cannot be
        null to see if they are null.
        * cvt.c (convert_pointer_to_vbase): Remove code that doesn't work.
        * decl.c (finish_function): Pass a type into the new
        convert_pointer_to_vbase instead of a binfo.
        * search.c (convert_pointer_to_vbase): Rewritten to use get_vbase
        and convert_pointer_to_real.
        (expand_indirect_vtbls_init): Use convert_pointer_to_vbase instead
        of the more cryptic call to get_vbase.

Thu Jun 29 09:35:05 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (BOOL_TYPE_SIZE): Fix broken SLOW_BYTE_ACCESS check.

Thu Jun 29 03:43:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (instantiate_template): Don't strip 'this' twice.

        * pt.c (coerce_template_parms): Allow null pointer constants.

        * decl.c (revert_static_member_fn): But only if DECL_ARGUMENTS is
        set.

Wed Jun 28 18:39:03 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (revert_static_member_fn): Also remove 'this' from
        DECL_ARGUMENTS.
        * decl2.c (check_classfn): Don't revert this function until we get a
        match.

Wed Jun 28 14:07:27 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (component_decl): Clear PREFIX_ATTRIBUTES here.

Wed Jun 28 11:05:13 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_file): Handle global vector news.
        * init.c (build_new): Encode vector news so that later we will know
        how many elements there are.

Mon Jun 26 13:38:06 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * expr.c (cplus_expand_expr): Don't mess with temp slots.

        * decl2.c (warn_if_unknown_interface): Don't crash if tinst_for_decl
        returns null.

        * decl2.c (check_classfn): Use revert_static_member_fn.
        * decl.c (revert_static_member_fn): Diagnose static member functions
        declared const or volatile.

        * decl2.c (grokfield): Check for missing default args here, too.
        (check_default_args): Function to do the checking.
        * decl.c (pushdecl): Use it.

        * decl.c (pushdecl): Don't warn about shadowing a member of `this'
        if there is no `this'.

Sun Jun 25 11:34:25 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Downgrade 'called before definition'
        to a warning, as it ought to go away after Monterey.

Sat Jun 24 14:18:42 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (coerce_template_parms): Don't do extra checking on pointer
        to member arguments.

        * class.c (finish_struct): const and reference members don't prevent
        a class from being an aggregate.

        * class.c (finish_struct): Signatures are always aggregates.

Fri Jun 23 17:20:29 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (check_classfn): Improve error message.

        * pt.c (tsubst): Handle PROMOTE_PROTOTYPES.

Thu Jun 22 01:50:42 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (comptypes): Don't ignore method quals.

        * class.c (finish_struct): Non-abstract virtuals are always USED.

        * decl.c (build_ptrmemfunc_type): The underlying union type isn't
        IS_AGGR_TYPE, either.
        * class.c (finish_struct): Use CLASSTYPE_NON_AGGREGATE instead.
        * cp-tree.h: Likewise.

        * cp-tree.h (lang_type): Add aggregate.
        (CLASSTYPE_AGGREGATE): New macro.
        (TYPE_NON_AGGREGATE_CLASS): Likewise.
        * class.c (finish_struct): Determine whether a class is an
        aggregate.
        * decl.c (cp_finish_decl): Check TYPE_NON_AGGREGATE_CLASS instead of
        TYPE_NEEDS_CONSTRUCTING.
        * typeck2.c (digest_init): Check TYPE_NON_AGGREGATE_CLASS for
        subobjects, too.

        * pt.c (tsubst, PARM_TYPE): Propagate DECL_ARTIFICIAL.

        * decl.c (start_function): For pre-parsed functions, layout all of
        the parm decls again.
        (grokvardecl): TREE_PUBLIC depends on DECL_THIS_EXTERN, not
        DECL_EXTERNAL.

        * pt.c (coerce_template_parms): Improve checking for invalid
        template parms.

Wed Jun 21 12:01:16 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Forbid declaration of a static member
        with the same name as its enclosing class.

Mon Jun 19 10:28:14 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (finish_function): Clear current_class_decl.

        * typeck.c (build_conditional_expr): Use convert (boolean_type_node
        instead of truthvalue_conversion.

        * class.c (finish_struct): A data member with the same name as the
        class doesn't suppress constructors.

Fri Jun 16 18:11:39 1995  Gerald Baumgartner  <gb@alexander.cs.purdue.edu>

        * decl.c (start_function): If current_class_decl is a signature
        pointer, don't dereference it but set C_C_D to current_class_decl.

Fri Jun 16 17:06:28 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (duplicate_decls): Complain about virtual functions
        redeclared to be inline.

Fri Jun 16 13:20:38 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (get_unique_name): New routine to name unnamed namespaces.
        (push_namespace): Use get_unique_name for naming unnamed namespaces.

Thu Jun 15 15:00:41 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y: Call cplus_decl_attributes with prefix_attributes where
        appropriate.

Wed Jun 14 19:24:49 1995  Mike Stump  <mrs@cygnus.com>

        * search.c (get_vbase): New routine to switch hierarchies from the
        CLASSTYPE_VBASECLASSES to the normal one.
        (expand_indirect_vtbls_init): Use get_vbase to figure out how we
        want to convert to a vbase pointer.

Mon Jun 12 17:50:30 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (instantiate_class_template): Add the new instantiation to
        template_classes.
        (do_pending_expansions): Call instantiate_member_templates on all of
        the classes in template_classes.

Mon Jun 12 12:36:59 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (complete_array_type): Fill in the TYPE_DOMAIN of our
        TYPE_MAIN_VARIANT if it is not filled in.
        * init.c (build_delete): If the TYPE_DOMAIN is not set, give an
        error instead of core dumping.

Mon Jun 12 10:41:40 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (can_convert): Also check for distance > 0.
        (can_convert_arg): Likewise.
        (user_harshness): Likewise.

Fri Jun  9 19:17:21 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * g++.c (MATH_LIBRARY): Provide default.
        (main): Always link with the math library if we link with libstdc++.

        * decl.c (start_function): Complain about redefinition of a function
        even when the pending_inline version is compiled after the other
        version.

Thu Jun  8 15:44:38 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * gc.c (build_dynamic_cast): Build up a reference to a parameter of
        aggregate type.

Wed Jun  7 15:31:57 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (build_vec_delete): Resolve an offset ref before we try to
        use it.

Wed Jun  7 14:19:32 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_modify_expr): If the class lacks a constructor or
        assignment operator, return error_mark_node.
        (common_type): Use build_cplus_array_type.

Tue Jun  6 09:41:27 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (dont_allow_type_definitions): New variable set when types
        cannot be defined.
        (finish_struct): Use it.
        * cp-tree.h (dont_allow_type_definitions): Define it.
        * parse.y (primary, handler_seq): Set it.

Mon Jun  5 18:49:38 1995  Mike Stump  <mrs@cygnus.com>

        * method.c (build_opfncall): Use DECL_CHAIN, not TREE_CHAIN for
        results from lookup_fnfields.  Always give warning/error on bad
        code.

Mon Jun  5 11:39:37 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (member_init_ok_or_else): Don't allow initialization of
        an ancestor's member from within a constructor.

Mon Jun  5 11:20:34 1995  Gerald Baumgartner  <gb@alexander.cs.purdue.edu>

        * sig.c (build_signature_table_constructor): Use DECL_CONTEXT
        instead of DECL_CLASS_CONTEXT for calculating the vfield offset so
        abstract virtual functions are handled correctly.

        * sig.c (build_signature_table_constructor): Store the correct
        delta in signature table entries.  It does not yet work for
        classes with virtual base classes as implementations of signatures.
        (build_signature_method_call): Add the delta to the object_ptr
        before generating the function call.

        * call.c (build_method_call): Make instance_ptr the signature
        pointer itself instead of dereferencing the optr.
        * sig.c (build_signature_method_call): Dereference the optr for the
        direct and virtual calls.

        * sig.c (build_signature_table_constructor): Make the tag for
        default implementations -1 instead of 2.
        (build_signature_method_call): Change the generated conditional
        expression correspondingly.

        * sig.c (build_signature_pointer_constructor): Deleted the sorry
        message that said we can't handle multiple inheritance for
        implementations of signatures
        (build_signature_method_call): Use the offset from the sigtable
        entry instead of the vptr field from the signature pointer for
        building a virtual function call.

        * class.c (build_vfn_ref): Deleted signature specific code, we don't
        call this function anymore from build_signature_method_call.

        * cp-tree.h (SIGNATURE_VPTR_NAME): Deleted.  We use the right vptr
        field in the object now instead of in the signature pointer/ref.
        (build_vptr_ref): Deleted extern declaration.
        * sig.c (build_vptr_ref): Deleted.
        (build_signature_pointer_or_reference_type): Deleted construction of
        the vptr field.
        (build_signature_pointer_constructor): Deleted initialization of/
        assignment to the vptr field.

        * sig.c (build_signature_table_constructor): Convert the signature
        table entry fields to their correct types.

        * sig.c (build_signature_table_constructor): Don't call digest_init
        for the fields of a sigtable entry, it's wasted time.

        * sig.c (build_signature_table_constructor): Correctly set the
        offset and index fields of a sigtable entry.  Build the constructor
        the way digest_init does, digest_init can't handle initializing an
        anonymous union inside a struct.
        (build_signature_method_call): Use the index field instead of the
        delta field to get the vtable index.

        * decl.c (init_decl_processing): Fix number of fields for building
        sigtable_entry_type.

        * cp-tree.h (tag_identifier, offset_identifier): Added extern decls.
        (SIGTABLE_CODE_NAME): Renamed to SIGTABLE_TAG_NAME.
        (SIGTABLE_PFN_NAME): Deleted, we'll use VTABLE_PFN_NAME instead.
        * decl.c (tag_identifier, offset_identifier): New variables to
        hold the identifiers for the sigtable fields tag and offset.
        (init_decl_processing): Initialize these variables.
        (init_decl_processing): Use these variables to build the
        sigtable_entry_type structure.  Rename the code and offset fields
        to tag and delta, respectively; add offset and index fields. Changed
        types of fields from short_integer_type_node to delta_type_node.
        * sig.c (build_signature_table_constructor): Rename code and offset
        to tag and delta, respectively.
        (build_signature_method_call): Likewise.  Use above variables.

Thu Jun  1 17:03:51 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (lookup_name_real): Don't try to look anything up in an
        erroneous object.

Fri Jun  2 10:30:14 1995  Mike Stump  <mrs@cygnus.com>

        * method.c (build_overload_int): New routine.  Break out
        functionality from build_overload_value so we can reuse it.
        (build_overload_value): Handle pointer to member functions as value
        parameters for templates.
        (build_overload_identifier): Since template parameters are shared
        among all instantiations, we have to substitute in the real types
        in TREE_TYPE (parm).
        pt.c (coerce_template_parms): Likewise.
        (push_template_decls): Likewise.
        (grok_template_type): Deleted as template parameters are shared
        among all instantiations.

Wed May 31 19:10:32 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (grokdeclarator): Always give errors on constant overflow
        for array indices.

Wed May 31 11:39:43 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (commonparms): Don't abort if simple_cst_equal returns < 0.
        (build_c_cast): Don't tack on a NON_LVALUE_EXPR when casting to
        reference type.
        (build_indirect_ref): Fix check for *&.

Fri Jun 16 06:54:03 1995  Mike Stump  <mrs@cygnus.com>

        * Version 2.7.0 released.

Fri Jun 16 15:07:29 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * Make-lang.in (DEMANGLER_PROG): Add LIBS.

Thu Jun 15 15:00:41 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (define_function): Don't set DECL_INTERFACE_KNOWN.

Wed Jun  7 20:00:31 1995  Mike Stump  <mrs@cygnus.com>

        * *.[chy]: Change all callers of finish_decl to cp_finish_decl.
        * decl.c (finish_decl): New routine to handle call backs from the
        mid end (declare_hidden_char_array).

Wed Jun  7 19:02:50 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_function): Handle setting C_C_D here.
        (set_C_C_D): Removed.
        (struct saved_scope): Remove class_decl.
        (push_to_top_level): Don't save current_class_decl.
        (pop_from_top_level): Don't restore current_class_decl or C_C_D.
        (struct cp_function): Add C_C_D.
        (push_cp_function_context): Save C_C_D.
        (pop_cp_function_context): Restore C_C_D.

Fri Jun  2 11:05:58 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (set_C_C_D): New function.  suspend_momentary before
        building C_C_D.
        (pop_from_top_level): Call it.
        (start_function): Likewise.
        (pop_cp_function_context): Likewise.

        * class.c, cp-tree.h, decl.c, decl2.c, parse.y: Lose all references
        to current_vtable_decl, CLASSTYPE_INST_VAR and CLASSTYPE_VTBL_PTR.

        * decl.c (push_cp_function_context): Save current_class_decl.
        (pop_cp_function_context): Restore current_class_decl and set C_C_D.
        (pop_from_top_level): Don't use CLASSTYPE_INST_VAR to set C_C_D.
        (start_function): Likewise.

        * class.c (popclass): Don't mess with current_class_decl,
        current_vtable_decl, or C_C_D.

Mon May 29 12:45:10 1995  Paul Eggert  <eggert@twinsun.com>

        * Make-lang.in (c++.mostlyclean): Remove $(DEMANGLER_PROG).

Wed May 24 15:55:18 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * decl.c (duplicate_decls): Check simple_cst_equal result against 0.
        * decl2.c (finish_anon_union): Likewise.
        * method.c (largest_union_member): Likewise.

Wed May 24 14:41:11 1995  H.J. Lu  <hjl@nynexst.com>

        * Make-lang.in (cxxmain.o): Replace single quotes with backslashes.

Mon May 22 17:38:48 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * Make-lang.in (g++, g++-cross, cc1plus, DEMANGLER_PROG):
        Use $@ instead of output name so works even if have .exe.
        (cxxmain.o): Use cp if ln -s fails.
        (c++.install-man): Use $(exeext) in executable names.
        (c++.mostlyclean, stage[1-4]): Use $(objext) in object file names.
        * Makefile.in (../cc1plus): Use $(exeext) in name of executable.

Wed May 24 01:39:03 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * call.c (build_method_call): Parms can be null, duh.

Tue May 23 01:32:09 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * call.c (build_method_call): If convert_arguments failed, just bail.

Fri May 19 10:31:11 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cvt.c (convert_force): Pass LOOKUP_NORMAL to cp_convert.

        * tree.c (copy_to_permanent): Oops.

Fri May 19 10:01:07 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * cp-tree.h (break_out_target_exprs): Add decl.

Thu May 18 13:02:30 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_function): Move *all* interface handling stuff after
        the pushdecl.

        * tree.c (mapcar): Renamed from make_deep_copy and generalized.
        (perm_manip): Return t if permanent, otherwise 0.
        (copy_to_permanent): Use them.
        (bot_manip): Helper for break_out_target_exprs.
        (break_out_target_exprs): New function.  Uses mapcar.

        * typeck.c (convert_arguments): Use it.

        * method.c (hack_identifier): Use convert_from_reference to
        dereference a reference.

Wed May 17 17:54:54 1995  Mike Stump  <mrs@cygnus.com>

        * call.c (convert_harshness): Move reference bashing before pointer
        to member bashing.

Wed May 17 16:57:53 1995  Mike Stump  <mrs@cygnus.com>

        * cvt.c (convert_to_reference): Only complain, if complaints are
        wanted.
        * typeck.c (build_function_call_real): Likewise.  If
        LOOKUP_SPECULATIVELY is set and something won't work, return
        NULL_TREE.
        * cvt.c (cp_convert): Likewise.  Pass flags down to build_method_call.
        (convert): Pass LOOKUP_NORMAL to cp_convert.
        * typeck.c (convert_for_assignment): Likewise.
        (convert_force): Pass LOOKUP_COMPLAIN to cp_convert.
        (convert_arguments): Get out early if we get an error_mark_node.
        (convert_for_initialization): Use cp_convert instead of convert so
        that we can pass flags down.
        * cp-tree.h (LOOKUP_SPECULATIVELY): Added documentation.

Wed May 17 01:43:58 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck2.c (store_init_value): Don't take the MAIN_VARIANT of the
        decl type.

        * class.c (finish_struct): Don't complain about a class with no
        user-defined constructors but with a member that has no default
        constructor, as this is OK for aggregates.

        * expr.c (cplus_expand_expr, NEW_EXPR): If this is an explicit
        constructor call, mark slot addressable.

Tue May 16 18:37:51 1995  Douglas Rupp  <drupp@cs.washington.edu>

        * g++.c: Changed WINNT to _WIN32.

Tue May 16 12:40:16 1995  Jason Merrill  <jason@lisa.cygnus.com>

        * lex.c (handle_sysv_pragma): Don't use token_buffer.

Tue May 16 12:05:26 1995  Mike Stump  <mrs@cygnus.com>

        * call.c (resolve_scope_to_name): Add initial semantic support for
        namespaces.
        * class.c (finish_struct): Likewise.
        * cp-tree.h (NAMESPACE_LEVEL): Likewise.
        * cvt.c (build_up_reference, convert_to_reference): Likewise.
        * decl.c (binding_level::namespace_p, suspend_binding_level): Likewise.
        (resume_binding_level, toplevel_bindings_p): Likewise
        (namespace_bindings_p, declare_namespace_level): Likewise.
        (resume_level, push_namespace, pop_namespace): Likewise.
        (pop_everything, pushtag, duplicate_decls, pushdecl): Likewise.
        (implicitly_declare, lookup_namespace_name): Likewise.
        (lookup_name_real, start_decl, make_temporary_for_reference): Likewise.
        (obscure_complex_init, finish_decl, expand_static_init): Likewise.
        (grokvardecl, grokdeclarator, parmlist_is_exprlist): Likewise.
        (store_parm_decls, hack_incomplete_structures): Likewise.
        * decl2.c (get_temp_name, finish_anon_union): Likewise.
        (current_namespace, push_namespace, pop_namespace): Likewise.
        (do_namespace_alias, do_toplevel_using_decl): Likewise.
        (do_class_using_decl): Likewise.
        * error.c (dump_decl): Likewise.
        * init.c (build_member_call, build_offset_ref): Likewise.
        * lex.c (identifier_type): Likewise.
        * parse.y (lang_extdef, using_decl, extdef): Likewise.
        (component_decl_1, nested_name_specifier_1): Likewise.
        * spew.c (yylex): Likewise.
        * tree.def (NAMESPACE_DECL): Likewise.

Tue May 16 11:55:35 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (push_overloaded_decl): Return the new decl even if it
        can't be pushed.

Tue May 16 11:00:37 1995  Jason Merrill  <jason@lisa.cygnus.com>

        * typeck.c (decay_conversion): Split out from default_conversion.
        (default_conversion): Call it.
        (build_binary_op): Likewise.
        (build_binary_op_nodefault): Use decay_conversion for truth ops.

Mon May 15 12:47:56 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (warn_extern_redeclared_static): This is a pedwarn.
        (duplicate_decls): Always use the old decl's linkage info.  Don't
        play with linkage of consts.
        (pushdecl): Don't play with linkage of consts.
        (redeclaration_error_message): Don't complain about an old public
        decl and a new non-public decl here.
        (grokvardecl): Handle linkage of consts here.
        (grokdeclarator): An 'extern inline' is public.  Pass constp to
        grokvardecl.
        (start_function): Wait until after the pushdecl to do some linkage
        stuff.

        * decl2.c (import_export_vtable): Make duplicates weak rather than
        static if supported.
        (import_export_inline): Likewise.
        * pt.c (do_pending_expansions): Likewise.

        * class.c (build_vbase_path): flag_assume_nonnull_objects only
        affects reference conversion.

        * init.c (emit_base_init): Build up an RTL_EXPR and add it to
        rtl_expr_chain.
        * decl.c, decl2.c: s/base_init_insns/base_init_expr/.

Tue May 16 07:06:28 1995  Paul Eggert  <eggert@twinsun.com>

        * method.c (numeric_output_need_bar): Renamed from misspelling.

        * typeck.c (build_ptrmemfunc): Fix misspellings in messages.

Sun May 14 10:26:22 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * lang-options.h, lang-specs.h: New files.

Thu May 11 00:31:48 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (default_conversion): Don't check for BLKmode before
        pulling out the decl_constant_value.

        * decl.c (start_function): Clear named_labels and shadowed_labels.

        * typeck.c (build_function_call_real): Also synthesize methods here.

Wed May 10 00:55:59 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (finish_file): Synthesize exported methods before the
        reconsider loop.

        * parse.y: Move declaration of flag_new_for_scope to file scope.

Tue May  9 19:10:33 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c: Add flag_new_for_scope for new -ffor-scope flag.
        * parse.y (FOR): Conditionalize the pushing and popping of scope for
        the for-init-statement upon the new flag_new_for_scope.
        * parse.y (try_block): Simplify and use compstmt.

Mon May  8 12:41:52 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (define_function): Mark function decl artificial.

Sun May  7 00:51:28 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (simple_stmt, FOR): Put back push/pop for condition scope.

        * decl2.c (grokclassfn): DECLs don't have cv-qualified types.
        * tree.c (build_cplus_method_type): Likewise.

        * cp-tree.h (SET_DECL_ARTIFICIAL): Just set DECL_ARTIFICIAL to 1.

        * typeck.c (build_function_call_real): If convert_arguments failed,
        just bail.
        (convert_arguments): If one of the arguments is error_mark_node,
        just bail.

Sat May  6 02:39:41 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (duplicate_decls): Don't check DECL_NOT_REALLY_EXTERN for
        decls that don't include it.

Fri May  5 14:23:30 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (duplicate_decls): Decls that have DECL_INTERFACE_KNOWN or
        DECL_NOT_REALLY_EXTERN set aren't extern decls.

        * typeck.c (build_indirect_ref): Don't call default_conversion for a
        parameter of reference_type.
        * cvt.c (convert_from_reference): Just use build_indirect_ref.

        * pt.c (do_type_instantiation): Only instantiate member functions
        that actually come from templates.

Fri May  5 09:46:05 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y: Generalized cleanup of poplevels, and compound statements
        and compound statements in try blocks.  Rewritten `for' rule so that
        the scope of variables declared in the for clause is shortened to
        span just to the end of the statement, instead of the whole
        containing block.

Fri May  5 00:37:14 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (convert_harshness): Handle pointers to members better.

Thu May  4 16:00:26 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (delete_sanity): Do access control here.
        * init.c (build_delete): Instead of here.

        * Make-lang.in: Build c++filt.

Wed May  3 02:59:53 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (cplus_decl_attributes): If we just modified a TYPE_DECL,
        update our IDENTIFIER_TYPE_VALUE.

Fri Apr 28 07:58:41 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * lex.c (cons_up_default_function): Fix linkage of #pragma
        implemented functions.

Thu Apr 27 16:56:24 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * method.c (build_overload_name): Simplify and fix repeated type
        folding.

        * decl.c (grokdeclarator): Prohibit pointers to void or reference
        members.

Thu Apr 27 09:49:07 1995  Mike Stump  <mrs@cygnus.com>

        * typeck2.c (process_init_constructor): Make sure initializers are
        fully digested.

Thu Apr 27 01:11:55 1995  Jason Merrill  <jason@python.cygnus.com>

        * lex.c (cons_up_default_function): Always defer synthesis.

Thu Apr 27 00:20:37 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (mark_inline_for_output): Don't play with pending_inline
        stuff.

Wed Apr 26 17:48:24 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (user_harshness): New function; like build_type_conversion,
        but doesn't actually build anything.
        (compute_conversion_costs): Use it instead of build_type_conversion.

Wed Apr 26 17:11:25 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * typeck.c (build_function_call_real): Improve error message for
        calling a non-function.

        * method.c (hack_identifier): Lose check for calling a data member.

Wed Apr 26 16:59:13 1995  Mike Stump  <mrs@cygnus.com>

        * typeck2.c (build_functional_cast): Remove very old cruft.
        Seems like good code is generated without it.

Wed Apr 26 00:47:16 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * method.c (do_build_assign_ref): Fix handling of anonymous unions.
        (do_build_copy_constructor): Likewise.

        * parse.y (simple_stmt, SWITCH): Call {push,pop}_switch.

        * decl.c (push_switch): New function.
        (pop_switch): Likewise.
        (define_case_label): Check for jumping over initialization.

        * call.c (build_method_call): Check for an inline function being
        called before its definition has been seen.
        * typeck.c (build_function_call_real): Likewise.

        * decl.c (duplicate_decls): Check for a function being redeclared
        inline after its address has been taken.

        * typeck.c (build_conditional_expr): Handle related class lvalues.

Tue Apr 25 13:20:45 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (do_pending_expansions): Don't expand unused templates.

        * parse.y (component_decl): Accept a lone semicolon.

Tue Apr 25 00:25:56 1995  Jason Merrill  <jason@rtl.cygnus.com>

        * call.c (build_method_call): Don't allow an RTL_EXPR to serve as the
        object parameter anymore.

        * expr.c (cplus_expand_expr): Don't create RTL_EXPRs with no insns.

Mon Apr 24 12:35:48 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (simple_stmt, decl case): Clear prefix_attributes.
        (lang_extdef): Likewise.

        * parse.y (maybe_parmlist): New rule for use in declarators where
        this could either be a list of expressions or parameters.  Calls
        suspend_momentary before deciding which.
        (direct_after_type_declarator): Use it.
        (complex_direct_notype_declarator): Use it.

        * pt.c (tsubst): Propagate attributes const and noreturn.

        * typeck.c (build_modify_expr): If warn_synth, call build_opfncall
        before doing the default thing.

Thu Apr 27 21:49:36 1995  Doug Evans  <dje@cygnus.com>

        * typeck.c (common_type): Call lookup_attribute instead of
        value_member.

Tue Apr 25 18:07:43 1995  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>

        * Make-lang.in: Change "realclean" to "maintainer-clean".

Sun Apr 23 12:32:38 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_file): Fix broken linked list handling.

Fri Apr 21 18:08:43 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (finish_base_struct): Don't set TYPE_HAS_COMPLEX_*_REF
        as often.
        (finish_struct): Likewise.

        * various: Use TYPE_HAS_TRIVIAL_* instead of TYPE_HAS_COMPLEX_*.

        * cp-tree.h (TYPE_HAS_TRIVIAL_INIT_REF): New macro.
        (TYPE_HAS_TRIVIAL_ASSIGN_REF): New macro.

Fri Apr 21 15:52:22 1995  Jason Merrill  <jason@python.cygnus.com>

        * typeck.c (c_expand_return): Only expand a returned TARGET_EXPR if
        it is of the same type as the return value.

Fri Apr 21 03:01:46 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (finish_file): Reconsider if synthesizing a method wrote
        out its assembly.

        * typeck.c (convert_for_initialization): Don't call a trivial copy
        constructor.

        * typeck2.c (store_init_value): Only abort if the type has a
        non-trivial copy constructor.

        * typeck.c (c_expand_return): If we're returning in a register and
        the return value is a TARGET_EXPR, expand it.  Only do
        expand_aggr_init if we're returning in memory.
        (expand_target_expr): Function to expand a TARGET_EXPR.
        (build_modify_expr): Use it.

        * tree.c (build_cplus_new): Layout the slot.

        * expr.c (cplus_expand_expr): Use expand_call to expand the call
        under a NEW_EXPR, so the target is not discarded.

Thu Apr 20 14:59:31 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_dynamic_cast): Tighten error checking.

Thu Apr 20 11:23:54 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * expr.c (cplus_expand_expr): Only abort if the returned target is
        different from what we expected if the type has a non-trivial copy
        constructor.

        * decl2.c (cplus_decl_attributes): Attributes applied to a template
        really apply to the template's result.

        * tree.c (lvalue_p): Check IS_AGGR_TYPE instead of TREE_ADDRESSABLE
        to decide whether to consider a CALL_EXPR an lvalue.

        * class.c (finish_struct_bits): Only set TREE_ADDRESSABLE if the
        type has a non-trivial copy constructor.

        * decl.c (start_function): If interface_known, unset
        DECL_NOT_REALLY_EXTERN on the function.

Wed Apr 19 16:53:13 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (do_function_instantiation): Handle explicit instantiation of
        member functions.
        (do_type_instantiation): Handle 'inline template class foo<int>',
        meaning just spit out the vtable.

        * lex.c (cons_up_default_function): Set DECL_NOT_REALLY_EXTERN on
        the consed functions.

        * decl2.c (import_export_inline): Set DECL_INTERFACE_KNOWN.

Wed Apr 19 16:28:17 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * call.c, class.c, decl2.c, gc.c, init.c, parse.y, pt.c, search.c,
        typeck.c: Include output.h.

Wed Apr 19 14:57:21 1995  Gerald Baumgartner  <gb@alexander.cs.purdue.edu>

        * call.c (build_method_call): Allow a signature member functions to
        be called from a default implementation.

Wed Apr 19 10:21:17 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c (finish_repo): Remember what directory we are in.

        * search.c (expand_upcast_fixups): Don't mess with abort_fndecl.

        * repo.c: Use obstacks instead of fixed-size buffers.  Don't spit
        out the second copy of the symbol name.  Don't remember COLLECT_GCC.

Wed Apr 19 02:32:40 1995  Mike Stump  <mrs@cygnus.com>

        * search.c (virtual_context): New function to get the virtual
        context of a function.
        (expand_upcast_fixups): New function to generate runtime vtables.
        (fixup_virtual_upcast_offsets): Likewise.
        (expand_indirect_vtbls_init): Use fixup_virtual_upcast_offsets to
        ensure that the this offsets for upcasts from virtual bases into
        other virtual bases or non-virtual bases are correct at construction
        time and destruction time.
        * class.c (fixup_vtable_deltas): Modify to fixup all offsets in all
        vtables in all virtual bases, instead of just one vtable in each
        virtual base.
        (fixup_vtable_deltas1): Likewise.

Tue Apr 18 03:57:35 1995  Michael Meissner  <meissner@cygnus.com>

        * Makefile.in (lex.o): Add dependency on c-pragma.h.

        * lex.c (handle_sysv_pragma): Use NULL_PTR and NULL_TREE as
        appropriate, instead of 0.

Mon Apr 17 12:28:42 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (pushdecl): Use decls_match, not duplicate_decls, for
        comparing local and global decls.

Fri Apr 14 01:46:52 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (convert_arguments): Only prohibit passing to ... of
        types with non-trivial copy constructors.

        * repo.c (repo_template_used): Don't try to mess with no id.

Fri Apr 14 23:32:50 1995  Per Bothner  <bothner@rtl.cygnus.com>

        * decl.c (duplicate_decls):  Use cp_warning_at for redundant-decls.

Thu Apr 13 15:37:42 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * cp-tree.h (current_tinst_level): Delete declaration, since it's
        static inside pt.c.

        * typeck.c (build_modify_expr): Catch incompatible array assignment.

        * parse.y (attribute_list, attrib): Rewrite actions to feed the
        right stuff to decl_attributes.

Thu Apr 13 11:24:10 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * search.c (dfs_debug_mark): Check for magic virtual like
        import_export_vtable.

        * typeck.c (build_binary_op_nodefault): Don't call cp_pedwarn with
        four args.

Wed Apr 12 12:02:57 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * decl2.c (finish_file): Move prevtable pass before needs_messing_up
        decision.

Tue Apr 11 11:20:27 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (finish_decl): If we're writing out a static data member of
        a class, we want the debug info for that class.

        * gc.c (build_t_desc): Check linkage of a class properly.

        * class.c (finish_struct): Set the 'headof' offset for the main
        vtable properly.
        (prepare_fresh_vtable): Fix typeinfo pointer here.
        (modify_one_vtable): Instead of here.

Mon Apr 10 12:15:59 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c (repo_get_id): New function to return the interesting
        identifier for a repo entity.
        (repo_template_used): Use it.
        (repo_template_instantiated): Mark the id as chosen.
        (init_repo): Record whether or not the id was chosen.
        (finish_repo): Note if an id was newly chosen.

        * pt.c (do_function_instantiation): Call repo_template_instantiated.
        (do_type_instantiation): Likewise.  Don't diagnose multiple
        instantiation.

        * decl2.c (finish_file): Use DECL_NOT_REALLY_EXTERN when deciding
        whether or not to synthesize a method.

        Undo these changes:
        * class.c (finish_vtbls): Build more vtables if flag_rtti is on.
        * class.c (modify_all_direct_vtables): Likewise.
        * init.c (expand_direct_vtbls_init): Expand more vtables if
        flag_rtti is on.

Sat Apr  8 17:45:41 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_headof): Use ptrdiff_type_node instead of
        integer_type_node on pointer arithmetic.

Sat Apr  8 11:57:04 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_modify_expr): Undo previous change.

Thu Apr  6 01:23:50 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * Makefile.in (compiler): Remove ../cc1plus before rebuilding it.

        * repo.c (get_base_filename): Put the .rpo file in the directory
        with the object file, not the source.

        * typeck.c (build_conditional_expr): Handle pmf's better.

        * repo.c (finish_repo): Also use ASM_OUTPUT_LABELREF to print out
        the name of the symbol.

Wed Apr  5 15:24:12 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c (open_repo_file): Make repo filename DOS-compliant.
        (*): Also write a new repo file if some previously-used
        templates are no longer used.  Only remember the identifier.

        * lex.c (cons_up_default_function): If this function belongs to a
        template class, call repo_template_used for it.

        * repo.c (repo_template_used): Using a class means using its vtable,
        if any.
        (finish_repo): Likewise.

        * typeck.c (build_modify_expr): Only wrap TARGET_EXPRs in RTL_EXPRs
        if the type has a complex copy constructor.

        * decl2.c (lang_decode_option): -frepo implies
        -fno-implicit-templates.

        * decl.c (start_function): Clear current_{base,member}_init_list.

        * lex.c (init_lex): Also unset *_eq if ! flag_operator_names.

Tue Apr  4 16:11:08 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (struct cp_function): Add {base,member}_init_list.
        (push_cp_function_context): Save current_{base,member}_init_list.
        (pop_cp_function_context): Restore them.

Mon Apr  3 16:55:08 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c (get_base_filename): Take filename parm, fix logic bug.

        * typeck.c (build_compound_expr): Do not warn about a compound expr
        in which the first expression has no side effects.
        (build_x_compound_expr): Warn here instead.
        (build_conditional_expr): Don't warn about a conditional expression
        between an enum and the type it promotes to.

        * init.c (build_new): Handle initialization of arrays of builtins
        properly.

Mon Apr  3 15:08:04 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * repo.c: Include config.h to get definitions of bcopy and rindex
        on systems that don't have them (e.g., SVR4).

Mon Apr  3 14:41:55 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_table): Pass NULL_TREE instead of init to
        finish_decl so that it won't try and do error checking on the
        initializer.

Mon Apr  3 10:45:50 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c (get_base_filename): Analyze COLLECT_GCC_OPTIONS to
        determine whether this compile used -c -o.
        (open_repo_file): Use get_base_filename.  Remove the extension.
        (finish_repo): Spit out the values of main_input_filename,
        COLLECT_GCC and COLLECT_GCC_OPTIONS.

        * parse.y (structsp): Add TYPENAME_KEYWORD complex_type_name.

Sun Apr  2 23:43:51 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * search.c (compute_access): Don't try to do access control on
        nested types.

Fri Mar 31 10:14:23 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * repo.c: New file to handle things repo.

        * pt.c (instantiate_template): Call repo_template_used if the
        definition is accessible.
        (mark_function_instantiated): Split out from
        do_function_instantiation.
        (mark_class_instantiated): Split out from do_type_instantiation.

        * parse.y (template_instantiate_once): Call repo_template_used.

        * lex.c (lang_init): Call init_repo.

        * decl2.c: Handle flag_use_repository.
        (finish_file): Call finish_repo.

        * decl.c (start_method): Call repo_template_used if this is a
        template method.

        * Makefile.in (CXX_OBJS): Add repo.o.
        (repo.o): Add dependencies.

        * Make-lang.in (CXX_SRCS): Add repo.c.

        * decl.c (start_function): If DECL_INTERFACE_KNOWN and
        DECL_NOT_REALLY_EXTERN are both set, unset DECL_EXTERNAL.

        * typeck.c (build_binary_op_nodefault): Identify the invalid operand
        types used.

        * decl.c (duplicate_decls): Propagate DECL_NOT_REALLY_EXTERN.

Thu Mar 30 17:54:42 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_binary_op_nodefault): Tidy up use of build_type
        and result_type.  When checking for comparison between signed
        and unsigned, use result_type rather than the (possibly shortened)
        type of op0.  Also, don't warn about equality comparison of a
        signed operand to an unsigned constant that fits in the signed
        type.

        * method.c (do_build_copy_constructor): Reverse
        current_base_init_list after we've built it up.

Thu Mar 30 14:35:18 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (build_throw): Never warn about the value of throw not
        being used.

Thu Mar 30 13:16:54 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_start_catch_block): Check for bad catch parameter
        declarations.

Thu Mar 30 13:06:11 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (finish_function): Only set DECL_NOT_REALLY_EXTERN if
        DECL_EXTERNAL is not already set.

Thu Mar 30 11:26:24 1995  Mike Stump  <mrs@cygnus.com>

        * method.c (emit_thunk): Let poplevel know that the last level is
        for a function so it can create a BLOCK_NODE and set DECL_INITIAL.

Thu Mar 30 11:15:06 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (import_export_inline): Don't set DECL_NOT_REALLY_EXTERN
        here.

        * decl.c (grokdeclarator): OK, don't abort if we see a decl with
        METHOD_TYPE.
        (finish_function): Set DECL_EXTERNAL and DECL_NOT_REALLY_EXTERN on
        all deferred inlines.

Wed Mar 29 19:35:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cp-tree.h (DECL_THIS_INLINE): New macro.
        (DECL_NOT_REALLY_EXTERN): New macro.
        (DECL_THIS_STATIC): New macro.

        * decl.c: Lose all references to current_extern_inline.  Break
        inline semantics into DECL_INLINE for actual inlining and
        DECL_THIS_INLINE for the linkage wierdness.  Use DECL_THIS_STATIC.
        * decl2.c: Use DECL_NOT_REALLY_EXTERN to indicate that we want to
        emit an inline here.  Associated changes.
        * lex.c: Likewise.
        * pt.c: Likewise.
        * typeck.c: Likewise.

        * call.c (build_method_call): Don't bother trying to handle inlines
        specially.
        * cvt.c (convert_to_aggr): Likewise.

        * pt.c (do_function_instantiation): Handle instantiation of
        public inlines, too.

Wed Mar 29 16:04:25 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (init_exception_processing): Change the interface for
        __throw_type_match and add decl for new rtti matching routine
        __throw_type_match_rtti.
        (build_eh_type): New routine to build a run time descriptor for the
        expression given.
        (expand_start_catch_block): Update to use new calling convention for
        the matcher.
        (expand_throw): Update to use build_eh_type.

Mon Mar 27 07:14:33 1995  Warner Losh  <imp@village.org>

        * g++.c: Removed __NetBSD__ from conditional.
        Declare strerror if HAVE_STRERROR is defined; otherwise
        declare sys_errlist and sys_nerr.
        (my_strerror): New function.

Tue Mar 28 14:16:35 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * search.c (get_binfo): Don't try to be so clever.

        * tree.c (copy_to_permanent): Also suspend_momentary().

        * cvt.c (cp_convert_to_pointer): Hand off to convert_fn_pointer even
        if the types are the same.

        * decl.c (start_function): Handle extern inlines more like C++ says
        we should.

        * init.c (build_member_call): Hand constructor calls off to
        build_functional_cast.

        * typeck2.c (build_functional_cast): Use DECL_NESTED_TYPENAME to get
        the name of the type.

Tue Mar 28 13:13:56 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Check for the decl returned by
        grokfndecl to be null before using build_decl_attribute_variant.

Mon Mar 27 18:04:41 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (build_new): Use build_pointer_type instead of
        TYPE_POINTER_TO.

Fri Mar 24 12:11:24 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_conditional_expr): Handle pmfs.
        (convert_for_assignment): Fix pmf support.

        * cvt.c (convert_fn_ptr): Support !flag_vtable_thunks.
        (cp_convert_to_pointer): Handle pmfs.
        (cp_convert): Pass pmfs to cp_convert_to_pointer.

        * typeck.c (common_type): Handle inheritance for pmfs.

        * typeck2.c (build_m_component_ref): Do access control.

        * typeck.c (comp_target_types): Check for conversion to void *
        before checking trickier conversions.

        * decl.c (duplicate_decls): Propagate DECL_ABSTRACT_VIRTUAL_P.

        * pt.c (push_tinst_level): Complain if template instantiation depth
        is greater than max_tinst_depth.

        * typeck.c (common_type): Assume that we can call common_type to
        unify the target type of a pointer.

Thu Mar 23 00:48:44 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (finish_file): Don't synthesize methods at
        finish_vtable_prevardecl time.  Do synthesize methods that are not
        used, but are public and not external.

        * cvt.c (build_type_conversion): Only give an error if for_sure.

        * typeck.c (comp_target_types): Only support pointer conversions if
        nptrs > 0.

Wed Mar 22 19:30:15 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (build_new): Catch use of an initializer list where it
        shouldn't be.

Wed Mar 22 16:21:07 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_new): Wrap alloc_expr in an RTL_EXPR if nelts is
        non-constant.

        * decl2.c: temp_name_counter is now public.

        * decl.c (struct cp_function): Add temp_name_counter field.
        (push_cp_function_context): Save it.
        (pop_cp_function_context): Restore it.

        * typeck.c (common_type): Handle unifying function types, and unify
        unmatched things to void* with a compiler_error, rather than
        silently like before.

Wed Mar 22 15:10:34 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_prevtable_vardecl, finish_vtable_vardecl): Revert
        Brendan's last change and fix latent problem that causes TD entries
        to not come out when the things that need them has yet to be
        expanded.

Wed Mar 22 15:12:00 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_binary_op_nodefault, comparison ops): Update type0
        and type1, since we might have changed op0 or op1.

Wed Mar 22 13:33:45 1995  Jason Merrill  <jason@python.cygnus.com>

        * typeck.c (common_type): Don't mess up templates.

Wed Mar 22 04:56:00 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (common_type): Handle ptms properly.  Also handle
        T* -> void*.
        (build_binary_op_nodefault): New variable build_type controls what
        type is given to the expression when it is created.  Set this to
        boolean_type_node for comparison ops instead of using result_type.
        (comp_target_types): Allow T * -> void *.

        * cvt.c (cp_convert_to_pointer): Do access control when converting
        ptms, too.

Tue Mar 21 17:25:06 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (extern_lang_string): Catch use of linkage specs that
        aren't all naming the same language.

        * class.c (finish_struct): Delete accidental duplicate code.

Tue Mar 21 14:00:57 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_binary_op_nodefault): Disable pedwarns about
        comparing functions and incomplete types.

        * decl.c (finish_function): Only unset current_function_decl if
        !nested.
        (duplicate_decls): Last change went too far; we only want to stop
        checking for value/reference ambiguity.

Tue Mar 21 01:26:39 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (build_generic_desc): Zap the DECL_SIZE so that we can lay it
        out fresh, as the new type may be larger.

Mon Mar 20 19:01:10 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * expr.c (extract_init): Try to expand the RTL for the
        initialization and figure out what it will look like so we can avoid
        run-time initialization.  Disabled for now.
        (extract_scalar_init): Helper for scalar initialization.
        (extract_aggr_init): Helper for aggregate initialization.

        * decl.c (duplicate_decls): Don't complain about ambiguous
        declarations.
        (obscure_complex_init): Now returns a tree.  Call extract_init if
        we're optimizing and this is a toplevel decl.
        (finish_decl): Update accordingly.

        * lex.c (check_newline): If we're just changing files (not pushing
        or popping), update input_file_stack->name.

Mon Mar 20 17:55:04 1995  Mike Stump  <mrs@cygnus.com>

        * pt.c (type_unification): Only TEMPLATE_DECLs are handled right now
        in the transitive unification code.

Mon Mar 20 16:07:50 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (shadow_tag): Don't allow inline, virtual, or explicit on
        non-functions.
        (grokdeclarator): Don't allow friends to be defined in local classes.

Sat Mar 18 04:03:33 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (finish_prevtable_vardecl): Use DECL_DECLARED_STATIC
        rather than DECL_SAVED_INSNS to decide whether or not this method
        was declared inline.

        * method.c (synthesize_method): Turn off DECL_INLINE if
        function_cannot_inline_p thinks we're too large.

        * typeck.c (build_indirect_ref): Use build_expr_type_conversion.

Fri Mar 17 17:47:36 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (instantiate_type): Handle pmfs.

        * typeck.c (convert_for_assignment): Check types when assigning one
        pmf to another.

        * decl.c (define_label): Fix logic for printing out the name of the
        label in an error message.

        * error.c (dump_expr): Support ARRAY_REF.

Fri Mar 17 17:43:02 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl2.c (finish_vtable_vardecl): Call build_t_desc here.
        (finish_prevtable_vardecl): Instead of here.

Fri Mar 17 14:40:45 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (expand_static_init): Also use expand_aggr_init if the
        initializer is a TREE_LIST.
        (grokdeclarator): Only pedwarn about extra qualification if -pedantic.

        * pt.c (unify): Fix unification of return type.

        * expr.c (fixup_result_decl): Use store_expr, rather than
        emit_move_insn, to move the return value into the place where
        callers will expect it.

Thu Mar 16 22:05:25 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_offset_ref): Call assmble_external on functions.
        * typeck.c (build_component_ref): Likewise.

Thu Mar 16 20:28:16 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (struct saved_scope): Add members base_init_list and
        member_init_list.
        (push_to_top_level): Save current_base_init_list and
        current_member_init_list to them.
        (pop_from_top_level): Put it back.

Thu Mar 16 19:21:14 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (instantiate_template): Call assemble_external.

Thu Mar 16 18:07:54 1995  Brendan Kehoe  <brendan@phydeaux.cygnus.com>

        * class.c: Include rtl.h, to get NULL_RTX.
        (finish_struct): Also zero out DECL_SAVED_INSNS, to avoid problems
        on hosts with different sizes for each part of the union.
        * tree.c: Also include rtl.h.
        (layout_basetypes): Same change for DECL_SAVED_INSNS.

Thu Mar 16 13:57:36 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (unify): Fix array domain unification for 64-bit targets.

        * decl2.c (finish_file): Push bizarre type decl before walking the
        vtables the first time.
        (walk_vtables): OK, don't set prev to vars if the vardecl_fn messed
        with TREE_CHAIN (prev).

        * init.c (emit_base_init): Use convert_pointer_to_real instead of
        convert_pointer_to when converting to a direct base.

Wed Mar 15 20:26:29 1995  Mike Stump  <mrs@cygnus.com>

        * pt.c (type_unification): Handle transitive unification better.

Wed Mar 15 13:56:16 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (walk_vtables): Always set prev to vars.
        (mark_vtable_entries): Call assemble_external on the vtable entries.

        * class.c (finish_struct): Set the vtable's size to NULL_TREE before
        calling layout_decl, so that it gets updated properly.

        Finally re-enable dynamic synthesis.  This time it works.
        * method.c (synthesize_method): Pass decl_function_context (fndecl)
        to {push,pop}_cp_function_context.
        * decl.c (push_cp_function_context): Now takes a tree argument.
        (pop_cp_function_context): Likewise.
        * call.c (build_method_call): Enable synthesis.
        * lex.c (cons_up_default_function): Likewise.

Tue Mar 14 19:14:19 1995  Doug Evans  <dje@chestnut.cygnus.com>

        * parse.y (setattrs): Chain onto prefix_attributes rather than
        setting it.

Wed Mar 15 13:00:00 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (pushdecl): Check if the type of the VAR_DECL is an
        error_mark_node before trying to read TYPE_LANG_SPECIFIC.

Mon Mar 13 21:00:28 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator, case ARRAY_REF): Wrap the exp with fold,
        and convert the size and integer_one_node to the index type.

Mon Mar 13 08:01:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (get_member_function_from_ptrfunc): Save the instance
        argument, and tack it onto the front of the COND_EXPR to make the
        semantics come out right.  Grab the instance argument from
        '*instance_ptrptr', rather than having it passed in separately.

        * various: Change various consed-up comparison operations to have
        boolean type.  Remove the instance argument in calls to
        get_member_function_from_ptrfunc.

        * error.c (dump_expr): Dump true and false as "true" and "false".

        * decl2.c (finish_file): Also set DECL_STATIC_FUNCTION_P on the
        global init function.

        * decl.c (finish_function): Only set DECL_EXTERNAL here if the
        inline function is public.

Sat Mar 11 00:58:03 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (is_friend): Be more careful about checking
        DECL_CLASS_CONTEXT on non-member functions.

        * decl2.c (finish_vtable_vardecl): Don't bother calling
        assemble_external here.
        (prune_vtable_vardecl): New function that just splices out the
        vtable decl from the top-level decls.
        (import_export_inline): Unset DECL_EXTERNAL at first.
        (finish_file): Don't bother calling assemble_external here.  Do
        splice out all of the vtables.

Fri Mar 10 14:42:29 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (finish_function): If we're not emitting the function yet,
        call assemble_external for it.

        * decl2.c (finish_prevtable_vardecl): Don't call mark_vtable_entries
        here.
        (finish_vtable_vardecl): Don't do the linkage deduction thing here.
        Also don't splice out the current vtable if it is unused.
        (finish_file): Move the second walk_vtables and the synthesis check
        inside the 'reconsider' loop.  Move thunk emission after the
        'reconsider' loop.

Thu Mar  9 16:28:16 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * pt.c (tsubst): Don't bother calling cp_build_type_variant, since it
        was passing bogus values for readonly and volatile from the original
        template decl, not the resultant type of the tsubst call.

        * class.c (duplicate_tag_error): Use cp_error_at to point out the
        previous definition of the tag.

Thu Mar  9 10:46:17 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_function): Clear base_init_insns and protect_list.
        (struct cp_function): Add base_init_insns field.
        (push_cp_function_context): Also save base_init_insns.
        (pop_cp_function_context): Also restore base_init_insns.

Wed Mar  8 13:31:44 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (member_init_ok_or_else): Check for initializing a static
        member here.
        (emit_base_init): Instead of here.

Tue Mar  7 16:03:26 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Disable synthesis as needed.
        * lex.c (cons_up_default_function): Likewise.

Tue Mar  7 10:14:29 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y: New rules to allow attributes in a prefix position.
        (prefix_attributes): New variable.  Pass it into cplus_decl_attributes.
        (setattr): New rule.
        (reserved_declspecs, declmods): Catch attributes here.
        * decl2.c (cplus_decl_attributes): Add PREFIX_ATTRIBUTES argument.
        * decl.c (duplicate_decls): Pass DECL_MACHINE_ATTRIBUTES to
        descendent typedef.
        (grokdeclarator): Added code to support machine attributes.
        * Makefile.in (stamp-parse): Expect 5 shift/reduce failures.

Mon Mar  6 15:07:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Don't synthesize methods outside of a
        function.

        Make base initialization more re-entrant so that synthesis on the
        fly will work (and, eventually, template instantiation on the fly).
        * init.c (sort_member_init): Don't bother with members that can't be
        initialized.  Reorganize a bit.  Don't initialize base members here.
        (sort_base_init): New function, like sort_member_init, but for base
        classes.  Steals some code from emit_base_init.
        (emit_base_init): Simplify.  Call sort_{member,base}_init before
        doing any initialization, so we don't have to save
        current_{member,base}_init_list in push_cp_function_context.
        (expand_aggr_vbase_init_1): Adjust for sort_base_init.
        (expand_aggr_vbase_init): Simplify.
        * decl.c (struct cp_function): Add protect_list field.
        (push_cp_function_context): Also save protect_list.
        (pop_cp_function_context): Also restore protect_list.
        * call.c (build_method_call): Enable synthesis at point of call.
        * lex.c (cons_up_default_function): Likewise.

        * parse.y: Turn -ansi checks back into -pedantic checks.

        * init.c (build_new): Fix -fcheck-new for array new.

Sat Mar  4 15:55:42 1995  Fergus Henderson  <fjh@cs.mu.oz.au>

        * typeck.c (build_compound_expr): warn if left-hand operand of
        comma expression has no side-effects.

Fri Mar  3 15:16:45 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (primary): Change 'object qualified_id *' rules to 'object
        overqualified_id *'.

Fri Mar  3 12:48:17 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * parse.y (unary_expr): Catch doing sizeof an overloaded function.
        Make the error look the same as the one we issue in c_sizeof.

        * typeck.c (build_binary_op_nodefault): Give an error for trying
        to compare a pointer-to-member to `void *'.

Fri Mar  3 11:28:50 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_unary_op): Handle bool increment with smoke and
        mirrors here, rather than in expand_increment where it belongs,
        because Kenner doesn't agree with me.

Fri Mar  3 00:08:10 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokparms): Catch a PARM_DECL being used for a default
        argument as well.

Thu Mar  2 20:05:54 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * init.c (build_new): Don't allow new on a function type.

        * parse.y (primary): Avoid a crash when seeing if the arg is of
        the same type as that given for the typespec in an explicit dtor call.

Thu Mar  2 00:49:38 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (finish_function): Change test for calling
        mark_inline_for_output.

Wed Mar  1 11:23:46 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_modify_expr): Complain if
        build_default_binary_type_conversion fails.

        * init.c (expand_default_init): Handle arguments of unknown type
        properly.

        * cvt.c (build_expr_type_conversion): Only complain about ambiguity
        if 'complain'.
        * various: Pass 'complain'.

        * typeck.c (comptypes): Be more picky about comparing UPTs.

Wed Mar  1 11:03:41 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): If declarator is null, say that the
        type used has an incomplete type.

Wed Mar  1 10:06:20 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (instantiate_template): Copy the template arguments to the
        permanent_obstack.  Also use simple_cst_equal to compare them when
        looking for a previous instantiation.

        * tree.c (make_deep_copy): Support copying INTEGER_TYPEs (assuming
        they are array domain types).

Tue Feb 28 23:24:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cp-tree.h: Define WANT_* constants for passing to
        build_expr_type_conversion.
        * cvt.c (build_expr_type_conversion): New function to build
        conversion to one of a group of suitable types.
        (build_default_binary_type_conversion): Use it.
        * decl2.c (grok_array_decl): Likewise.
        * typeck.c (build_unary_op): Likewise.
        (build_array_ref): Tidy up a bit.
        (build_binary_op): Likewise.

Tue Feb 28 19:57:31 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Don't allow decl of an argument as `void'.

Tue Feb 28 17:23:36 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (typed_declspecs1): Add 'typespec reserved_typespecquals
        reserved_declspecs' rule.

        * parse.y (expr_or_declarator): Remove notype_qualified_id rule.
        (direct_notype_declarator): Likewise.
        (complex_direct_notype_declarator): Add notype_qualified_id rule.

        * lex.c (real_yylex): Handle :> digraph properly.

Tue Feb 28 12:26:29 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Check if it's a friend, not if it's
        non-virtual, that's being initialized.  Move the check up to
        before FRIENDP would get cleared.  Catch an unnamed var/field
        being declared void.  Say just `field' instead of `structure field'
        in the error message.  Only go for the operator name if DECLARATOR
        is non-null.

Tue Feb 28 00:08:01 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (start_function): Complain about abstract return type.
        (grokdeclarator): Complain about declaring constructors and
        destructors to be const or volatile.  Complain about declaring
        destructors to be static.

        * pt.c (uses_template_parms): Handle pmfs.

        * decl.c (grokdeclarator): Don't call variable_size for array bounds
        that only depend on template constant parameters.

Mon Feb 27 15:38:16 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * error.c (dump_decl): Only look to see if it's a vtable if we
        actually have a name to check out.

Mon Feb 27 13:37:53 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cvt.c (convert_to_aggr): Lose misleading shortcut.

Sun Feb 26 17:27:32 1995  Doug Evans  <dje@canuck.cygnus.com>

        * decl.c (set_nested_typename): Always set DECL_IGNORED_P,
        not just for dwarf.

Sun Feb 26 00:10:18 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Don't allow a static member to be
        declared `register'.

        * init.c (make_friend_class): Move up to a pedwarn for the warning
        about a class declaring friends with itself.

        * decl.c (grokdeclarator): You can't do `volatile friend class foo'
        or `inline friend class foo'.  Only try to make a friend out of
        TYPE if we didn't already reset it to integer_type_node.

Sat Feb 25 22:32:03 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Don't allow initialization of a
        non-virtual function.

        * decl.c (start_function): Do a pedwarn if we're changing `main'
        to have an int return type.

Sat Feb 25 00:02:05 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_modify_expr): Handle simple assignment from
        TARGET_EXPRs by building up an RTL_EXPR to force expansion.  Whew.

Fri Feb 24 18:27:14 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * decl.c (grokdeclarator): Also don't allow virtual outside of a
        class decl for a scope method definition performed at global binding.

        * init.c (build_offset_ref): Don't allow creation of an OFFSET_REF
        of a bitfield.

        * decl.c (grokdeclarator): Don't allow a const to be declared mutable.

        * typeck.c (build_binary_op): Return an error_mark_node if either
        one of the args turned into an error_mark_node when we tried to
        use default_conversion.

        * typeck.c (build_unary_op): Forbid using postfix -- on a bool.

        * decl.c (grokdeclarator): Allow `signed' and `unsigned' to be
        used on `__wchar_t'.

Fri Feb 24 13:59:53 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (end_protect_partials): Do it the right way.

Wed Feb 22 15:42:56 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_binary_op_nodefault): Upgrade warning about
        comparing distinct pointer types to pedwarn.

        * typeck2.c (digest_init): Cope with extra braces.

        * typeck.c (build_binary_op_nodefault): Use tree_int_cst_sgn instead
        of INT_CST_LT (..., interger_zero_node).

Wed Feb 22 14:45:52 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * except.c [!TRY_NEW_EH] (end_protect_partials): Define dummy
        function for systems that don't have EH.

Tue Feb 21 19:18:31 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (can_convert_arg): Like can_convert, but takes an arg as
        well.

        * pt.c (type_unification): Allow implicit conversions for parameters
        that do not depend on template parameters.

Tue Feb 21 18:43:48 1995  Douglas Rupp  <drupp@cs.washington.edu>

        * Make-lang.in, config-lang.in: ($exeext): New macro.
        * Make-lang.in: Try a "cp" if "ln" fails.
        * cp-tree.h (decl_attributes): Added argument.
        * decl2.c (cplus_decl_attribute): Add arg to decl_attributes.
        * cp/g++.c: Added #ifdefs for sys/file.h and process.h for NT.
        Modified spawnvp to have to correct number of arguments for OS/2, NT.

Tue Feb 21 18:36:55 1995  Mike Stump  <mrs@cygnus.com>

        * decl.c (finish_function): Add calls to end_protect_partials to end
        the exception region that protects constructors so that partially
        constructed objects can be partially destructed when the constructor
        throws an exception.
        * init.c (perform_member_init, sort_member_init, emit_base_init):
        Added support for partially constructed objects.
        * init.c (build_partial_cleanup_for): New routine to do partial
        cleanups of a base class.
        * decl2.c (finish_file): Move the emitting of the exception table
        down, after we emit all code that might have exception regions in
        them.
        * except.c (end_protect_partials, might_have_exceptions_p): New
        routines.
        (emit_exception_table): Always output table if called.
        * cp-tree.h (protect_list, end_protect_partials,
        might_have_exceptions_p, emit_exception_table): Added.

Tue Feb 21 16:05:59 1995  Brendan Kehoe  <brendan@lisa.cygnus.com>

        * gc.c (build_typeid): Pass a NULL_TREE, not the bogus, unused
        address of a local variable.
        * class.c (build_vfn_ref): Only try to build the PLUS_EXPR if we
        were given a non-null PTR_TO_INSTPTR.

Tue Feb 21 01:53:18 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (duplicate_decls): Always lay out the merged decl.

        * decl2.c (finish_vtable_vardecl): Don't do vtable hack on templates.
        (finish_prevtable_vardecl): Likewise.

        * method.c (synthesize_method): Set interface_{unknown,only}
        according to the settings for our class, not the file where it comes
        from.

Sat Feb 18 12:26:48 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Handle systems that define __i386__ but not __i386.

Fri Feb 17 15:31:31 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (reparse_decl_as_expr): Support being called without a
        type argument.

        * parse.y (primary): Add '(' expr_or_declarator ')'.  Adds 4 r/r
        conflicts.  Sigh.

Fri Feb 17 12:02:06 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (template_def, fndef, fn.def1, return_init, condition,
        initdcl0, initdcl, notype_initdcl0, nomods_initdcl0,
        component_decl_1, after_type_component_declarator0,
        notype_component_declarator0, after_type_component_declarator,
        notype_component_declarator, after_type_component_declarator,
        full_parm, maybe_raises, exception_specification_opt): Fix up,
        include exception_specification_opt maybeasm maybe_attribute and
        maybe_init if missing.  Rename maybe_raises to
        exception_specification_opt to match draft wording.  Use maybe_init
        to simplify rules.

Fri Feb 17 01:54:46 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_new): Set TREE_NO_UNUSED_WARNING on COMPOUND_EXPRs
        built for news of scalar types.

Thu Feb 16 17:48:28 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_binary_op_nodefault): Update code for warning
        about signed/unsigned comparisons from C frontend.  Realize that the
        code in the C frontend is, if anything, even more bogus.  Fix it.
        (build_binary_op): Undo default_conversion if it wasn't useful.

        * typeck.c (build_unary_op, ADDR_EXPR): Lose bogus special case for
        PRE*CREMENT_EXPR.

        * decl2.c (import_export_vtable): Don't try the vtable hack
        if the class doesn't have any real non-inline virtual functions.
        (finish_vtable_vardecl): Don't bother trying to find a non-inline
        virtual function in a non-polymorphic class.
        (finish_prevtable_vardecl): Likewise.

        * decl2.c (import_export_vtable): Use and set DECL_INTERFACE_KNOWN.

        * cp-tree.h (DECL_INTERFACE_KNOWN): Use DECL_LANG_FLAG_5.

        * init.c (expand_virtual_init): Always call assemble_external.

        * class.c (build_vfn_ref): Always call assemble_external.
        (build_vtable): Always call import_export_vtable.
        (prepare_fresh_vtable): Likewise.
        (add_virtual_function): Don't bother setting TREE_ADDRESSABLE.

Thu Feb 16 03:28:49 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (finish_struct): Use TYPE_{MIN,MAX}_VALUE to determine
        whether an enumerated type fits in a bitfield.

Wed Feb 15 15:38:12 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (grow_method): Update method_vec after growing the class
        obstack.

Wed Feb 15 13:42:59 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (handler_seq): Push a level for the catch parameters.

Wed Feb 15 12:42:57 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (emit_base_init): Update BINFO_INHERITANCE_CHAIN on my
        bases, in case they've been clobbered.

Wed Feb 15 12:07:29 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (finish_base_struct): Set up BINFO_INHERITANCE_CHAIN here,
        so that one day it will always be valid.
        * tree.c (propagate_binfo_offsets, layout_vbasetypes): Likewise.

        * cp-tree.h (copy_binfo): Removed, unused.
        * tree.c (copy_binfo): Likewise.

Wed Feb 15 00:05:30 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_new): Save the allocation before calling
        expand_vec_init on it.

        * decl.c (finish_enum): The TYPE_PRECISION of the enum type mush
        match the TYPE_PRECISION of the underlying type for constant folding
        to work.

Tue Feb 14 15:31:25 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (push_eh_entry, expand_start_all_catch,
        expand_leftover_cleanups, expand_end_catch_block): Keep track of
        the context in which the exception region occurs.
        (build_exception_table): If the region was not output, don't output
        the entry in the eh table for it.

Tue Feb 14 02:15:43 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (expand_default_init): Only use a previous constructor call
        if it's a call to our constructor.  Does the word "Duh" mean
        anything to you?

        * decl.c (grokparms): Fine, just don't call
        convert_for_initialization at all.  OK?  Happy now?

Mon Feb 13 02:23:44 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cp-tree.h (CLASSTYPE_FIRST_CONVERSION): Make sure that the class
        method vector has a second element before returning it.

        * decl.c (grokparms): Don't strip REFERENCE_TYPE before calling
        convert_for_initialization.

Sun Feb 12 03:57:06 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_modify_expr): Compare function name to
        constructor_name (current_class_type) instead of current_class_name.

        * decl.c (grokparms): Don't do anything with the return value of
        convert_for_initialization.

        * error.c (dump_decl): Also dump_readonly_or_volatile on the decl.

        * decl.c (duplicate_decls): Tweak error message.

        * typeck.c (build_const_cast): Implement checking.
        (build_reinterpret_cast): Implement some checking.

        * cp-tree.h (CONV_FORCE_TEMP): Require a new temporary when
        converting to the same aggregate type.
        (CONV_STATIC_CAST): Include it.
        (CONV_C_CAST): Likewise.
        * cvt.c (convert_force): Use CONV_C_CAST instead of CONV_OLD_CONVERT.
        (cp_convert): Only force a new temporary if CONV_FORCE_TEMP.

Fri Feb 10 16:18:52 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (build_c_cast): Use non_lvalue to tack something on
        where necessary.

        * decl.c (auto_function): Now a function.
        * except.c (init_exception_processing): terminate, unexpected,
        set_terminate, and set_unexpected have C++ linkage.

        * typeck.c (build_unary_op, TRUTH_NOT_EXPR): Use convert instead of
        truthvalue_conversion for converting to bool, as it handles
        user-defined conversions properly.
        (condition_conversion): Likewise.

        * except.c (expand_throw): Don't call convert_to_reference.
        Pass the correct parameters to build_new.

        * method.c (do_build_assign_ref): Don't use access control when
        converting to a base reference here.
        (do_build_copy_constructor): Or here.

        * init.c (build_new): Unset TREE_READONLY on the dereferenced
        pointer before assigning to it.

        * decl.c (maybe_build_cleanup): Don't bother stripping const here.

        * decl2.c (delete_sanity): You can now delete pointer to const.

Fri Feb 10 13:28:38 1995  Jason Merrill  <jason@python.cygnus.com>

        * decl.c (finish_function): Don't rely on actual parameters being
        evaluated left-to-right.
        * except.c (expand_end_catch_block): Likewise.

Fri Feb 10 00:52:04 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * tree.c (real_lvalue_p): Like lvalue_p, but class temps aren't
        considered lvalues.
        * cvt.c (convert_to_reference): Use real_lvalue_p instead of
        lvalue_p.

        * cvt.c (build_type_conversion_1): Don't call convert on aggregate
        types.
        (convert_to_reference): Fix erroneous text substitution.

        * typeck2.c (initializer_constant_valid_p): Update from C frontend.
        Add new argument to all callers.

        * typeck.c (convert_arguments): Check for error_mark_node before
        trying to do anything with the actual parameter.

        * typeck.c (condition_conversion): Build up a CLEANUP_POINT_EXPR and
        fold it.
        (bool_truthvalue_conversion): Remove.  Fix all callers to call
        truthvalue_conversion instead.
        (various): Fold CLEANUP_POINT_EXPRs.

        * parse.y (conditions): Call condition_conversion rather than
        building up a CLEANUP_POINT_EXPR.

        * pt.c (end_template_decl): Don't warn_if_unknown_interface here
        under -falt-external-templates.

Thu Feb  9 05:24:10 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_new): Complain about new of const type without
        initializer.  Other cleanup.

        * call.c (compute_conversion_costs): Don't call
        build_type_conversion with a reference type; convert to the target
        type and check its lvaluetude.
        * cvt.c (convert_to_reference): Likewise.

        * cvt.c (build_type_conversion_1): There will never be any need to
        dereference references here now.

Thu Feb  9 00:37:47 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_builtin_throw): Make sure we only `use' the
        value of return_val_rtx.

Wed Feb  8 15:45:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (structsp): Don't complain about declaring a type being
        defined to be a friend.

        * decl2.c (warn_if_unknown_interface): Note the template in question
        and the point of instantiation, for -falt-external-templates.
        * lex.c (reinit_parse_for_method): Pass the decl to
        warn_if_unknown_interface.
        * pt.c (instantiate_template): Likewise.
        (end_template_decl): Likewise.

        * decl.c (set_nested_typename): Set IDENTIFIER_TYPE_VALUE on the
        nested name again, to make local classes work a bit better.

        * typeck.c (build_function_call_real): Dereference reference after
        checking for incomplete type.

        * init.c (build_new): Accept new of const and volatile types.

Wed Feb  8 14:04:16 1995  Jason Merrill  <jason@deneb.cygnus.com>

        * decl.c (grokdeclarator): Fix error message.

Wed Feb  8 03:16:15 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (convert_for_initialization): Do bash arrays when
        converting to a reference to non-array.

Tue Feb  7 15:50:33 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cvt.c (cp_convert): Don't call convert_to_reference, or
        automatically dereference references.  Do pass reference conversions
        to cp_convert_to_pointer.
        (cp_convert_to_pointer): Support references.

        * call.c (build_method_call): Don't build up a reference to the
        parameter here; let build_overload_call handle that.

        * typeck.c (build_c_cast): Call convert_to_reference directly if
        converting to a reference type.
        * method.c (do_build_copy_constructor): Likewise.
        * method.c (do_build_copy_constructor): Likewise.
        (do_build_assign_ref): Likewise.

        * call.c (build_method_call): Dereference a returned reference.
        * typeck.c (build_function_call_real): Likewise.

        * decl.c (xref_basetypes): Check for unions with basetypes here.
        (xref_tag): Instead of here.

        * pt.c (process_template_parm): Template type parm decls are
        artificial.

Mon Feb  6 04:32:09 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y (typed_declspecs): Add missing semicolon.
        (do_xref_defn): Resurrect.
        (named_class_head_sans_basetype): Move template specialization
        definition cases to named_class_head_sans_basetype_defn.

        * decl2.c (grokfield): Call pushdecl_class_level after setting the
        TYPE_NAME, not before.

Sun Feb  5 02:50:45 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (convert_harshness): Don't call sorry here.  Don't allow
        conversions between function pointer types if pedantic.

        * pt.c (overload_template_name): Pass globalize=1 to xref_tag.

        * lex.c (cons_up_default_function): Use the full name for the return
        type of op=.

        * decl.c (set_nested_typename): Don't worry about anonymous types,
        as they already have a unique name.
        (pushdecl): Remove redundant set_nested_typename
        (xref_tag): Split out base handling into xref_basetypes.

        * cp-tree.h (TYPE_INCOMPLETE): New macro; TEMPLATE_TYPE_PARMs are
        not considered incomplete even though their definition is unknown.

        * decl.c (xref_defn_tag): Lose.
        (xref_tag): xref_next_defn = ! globalize.
        (pushdecl): Don't set DECL_NESTED_TYPENAME on artificial decls.  The
        ones that should have it set will have it set by pushtag.
        (pushdecl_class_level): Likewise.
        (pushtag): Tidy up a bit.
        (set_nested_typename): Push a decl for the nested typename from
        here, rather than from xref_defn_tag.

        * parse.y (do_xref): Lose.
        (named_class_head): If we see 'class foo:' we know it's a
        definition, so don't worry about base lists for non-definitions.

        * pt.c (push_template_decls): Template parm decls are artificial.

        * decl.c (duplicate_decls): Restore check for qualifier
        disagreement for non-functions.
        (decls_match): Remove check for qualifier disagreement.

Fri Feb  3 14:58:58 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (grok_reference_init): Convert initializer from
        reference.
        * typeck.c (convert_for_initialization): Likewise.

        * decl.c (duplicate_decls): Propagate DECL_NESTED_TYPENAME.

        * cvt.c (cp_convert): Don't convert to the same class type by just
        tacking on a NOP_EXPR.
        (convert_to_reference): Use comp_target_types instead of comptypes
        so that we don't allow conversions two levels down.

Thu Feb  2 15:07:58 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (build_vbase_path): Bash types to make the backend happy.
        * cvt.c (build_up_reference): Bash the types bashed by
        build_vbase_path to be reference types instead of pointer types.
        (convert_to_reference): Likewise.

        * typeck.c (build_c_cast): Don't strip NOPs if we're converting to a
        reference type.

        * parse.y (structsp): Put back error for 'struct B: public A;'.

Wed Feb  1 23:02:06 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Add support for mips systems that don't define __mips
        but do define mips, like Ultrix.

Wed Feb  1 22:39:07 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Add support for exception handling on the Alpha.

Wed Feb  1 10:12:14 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_file): Fix bug in Jan 31st change.

Tue Jan 31 16:59:15 1995  Gerald Baumgartner  <gb@lorenzo.cs.purdue.edu>

        * sig.c (build_signature_pointer_or_reference_type): Don't set
        IS_AGGR_TYPE for signature pointers/reference so expand_default_init
        doesn't expect to find a copy constructor.
        * call.c (build_method_call): Treat signature pointers/reference
        as if IS_AGGR_TYPE were set.

Tue Jan 31 13:28:56 1995  Mike Stump  <mrs@cygnus.com>

        * gc.c (get_typeid): Pawn off error messages to build_t_desc.
        (build_t_desc): Inform the user here if they try and build
        with -frtti and don't include <typeinfo.h>.

        * decl2.c (finish_prevtable_vardecl): Support rescanning.
        (finish_file): Move finish_prevtable_vardecl up to before the global
        initializers are done as tdecls are initialized in the global
        initializer.  Also Pick up any new tdecls or vtables needed by
        synthesized methods.

        * class.c (finish_struct): Simplify.  We have to do rtti scanning at
        end, so we might as well do all of it there.

Tue Jan 31 05:35:02 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Fix -fthis-is-variable for 32-bit
        targets, too.

Tue Jan 31 00:11:04 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_prevtable_vardecl): New routine, mostly split from
        finish_vtable_vardecl.  It has the first half functionality from
        that routine.
        * decl2.c (finish_vtable_vardecl): Update to not include stuff not
        in  finish_prevtable_vardecl.
        * decl2.c (finish_file): Call finish_prevtable_vardecl.
        * gc.c (build_generic_desc): Allow it to be called when not at the
        global binding layer, but behave as if we were.
        (build_t_desc): Rearrange a bit so that it really works and is
        easier to follow.
        * class.c (finish_struct): Don't decide on tdecls here, as we have
        to wait until the end of the file in general to decide whether or
        not they come out.

Mon Jan 30 01:00:40 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_delete): Check access to operator delete before
        calling the destructor.
        * method.c (build_opfncall, DELETE_EXPR): build_method is allowed to
        return error_mark_node.
        * call.c (build_method_call): Use the one-argument op delete even if
        it's an error.

        * init.c (build_new): Fix -fthis-is-variable support.
        * call.c (build_method_call): Likewise.

        * call.c (convert_harshness): Make conversion from a pointer to bool
        worse than conversion to another pointer.

Sat Jan 28 16:46:10 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * init.c (build_new): Check new return value if -fcheck-new.

        * lex.c (check_newline): Clear end_of_file when we're done, too.

Sat Jan 28 10:38:39 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_vtable_vardecl): Make rtti TD tables follow
        vtables whereever they go.

        * gc.c (build_t_desc): Remove old way of setting it up, as it wasn't
        right.

Sat Jan 28 09:10:44 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (finish_vtable_vardecl): Now set the
        interface/implementation of vtables on the first virtual function,
        if one exists, otherwise we use the old method.  This is a major win
        in terms of cutting down the size of objects and executables in
        terms of text space and data space.  Now most of the savings that
        #pragma interface/implementation gives is automatic in a fair number
        of cases.

Sat Jan 28 04:57:33 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (grokdeclarator): Discard the template parameters in a
        template constructor declaration so that the function is always
        named constructor_name (ctype).

        * lex.c (check_newline): Use ungetc to put back the character before
        calling HANDLE_PRAGMA.

Fri Jan 27 17:23:47 1995  Mike Stump  <mrs@cygnus.com>

        * decl2.c (check_classfn): If the cname is T<int> and fn_name is T,
        make sure we still match them.

Fri Jan 27 16:32:10 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * parse.y: Add END_OF_LINE token.

        * lex.c (check_newline): Set linemode when we see a # directive, and
        unset it when we're done.  Turn all 'return's into 'goto skipline'.
        Fix all uses of '\n', since we won't see it anymore.  Put back the
        character we read before checking for a sysv or target pragma.
        (real_yylex): If we see an EOF in linemode, return END_OF_LINE.
        (handle_sysv_pragma): Don't look at the input stream; quit when we
        see an END_OF_LINE token.

        * input.c (getch): Return EOF if we're in line mode and at the end
        of a line.
        (put_back): Don't put back an EOF.

Thu Jan 26 19:26:34 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (expand_throw): Do the newing of the exception object
        before we load the type descriptor or the address so that we don't
        wipe any of the values out.

Thu Jan 26 19:20:00 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (init_exception_processing): Don't use r12 on the rs6000.

Tue Jan 24 16:36:31 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (grokparms): Don't try to build up a reference at this point.

        * typeck2.c (build_functional_cast): Don't assume that a NOP_EXPR
        will suffice to convert from integer_zero_node.

Wed Jan 25 15:02:09 1995  David S. Miller  <davem@nadzieja.rutgers.edu>

        * class.c (instantiate_type): Change error message text.
        * typeck2.c (store_init_value): Likewise.

Mon Jan 23 21:57:14 1995  Mike Stump  <mrs@cygnus.com>

        * pt.c (tsubst): When we copy a node, don't forget to copy
        TREE_CHAIN, we use it later.

Mon Jan 23 03:33:47 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (convert_for_assignment): Initialize variable before use.

Fri Jan 20 01:17:59 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * g++.c (main): Link with both libstdc++ and libg++ if called as
        something ending with "g++", otherwise only libstdc++.  Move -lm to
        the end of the line.

Thu Jan 19 15:43:11 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Don't mess with 'this' before calling
        compute_conversion_costs.

Wed Jan 18 15:40:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * search.c (get_matching_virtual): Give line number for previous
        declaration.

        * call.c (convert_harshness): Handle conversions to references
        better.

        * cvt.c (build_up_reference): OK, handle {MIN,MAX}_EXPR *properly*.

Wed Jan 18 15:21:38 1995  Mike Stump  <mrs@cygnus.com>

        * class.c (instantiate_type): Use DECL_CHAIN to walk lists instead,
        as the TREE_CHAIN for methods will take us to the next differently
        named function, DECL_CHAIN won't.

Wed Jan 18 14:26:59 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * tree.c (lvalue_p): Handle {MIN,MAX}_EXPR.

        * decl2.c (lang_decode_option): -Wall implies -Wparentheses.
        warn_parentheses defaults to 0.

        * decl.c (grokparms): Put back call to require_instantiated_type.

Tue Jan 17 19:56:15 1995  Mike Stump  <mrs@cygnus.com>

        * except.c (exception_section): Use the data section on the rs6000.
        Change calling convention for named_section.

Wed Jan 17 18:20:57 1994  Fergus Henderson  <fjh@munta.cs.mu.oz.au>

        * cp-tree.h: Make if (x=0) warn with wall
        * parse.y: Make if (x=0) warn with wall

Tue Jan 17 14:12:00 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (BOOL_TYPE_SIZE): BITS_PER_WORD if SLOW_BYTE_ACCESS,
        BITS_PER_UNIT otherwise.

        * search.c (get_matching_virtual): Don't check the binfo if the
        types are the same.

        * cvt.c (cp_convert): Just call truthvalue_conversion to convert to
        bool.

Mon Jan 16 13:28:48 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * various: Use boolean_type_node, boolean_true_node,
        boolean_false_node.

        * search.c (get_matching_virtual): Allow covariant returns that
        don't require pointer adjustment.

        * typeck.c (build_conditional_expr): Don't call default_conversion
        on ifexp.

        * cvt.c (build_up_reference): Handle MIN_EXPR and MAX_EXPR.

        * decl.c (grokdeclarator): Upgrade warning about &const to pedwarn.

Sun Jan 15 22:17:32 1995  David Binderman  <dcb@lovat.fmrco.COM>

        * pt.c (do_function_instantiation): Free targs once we're done.

Sun Jan 15 22:17:32 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (BOOL_TYPE_SIZE): Defaults to BITS_PER_WORD.
        (init_decl_processing): Use BOOL_TYPE_SIZE instead of CHAR_TYPE_SIZE
        for bool.

Sat Jan 14 05:33:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl2.c (finish_file): We need to mess up if there are any
        variables in the list, not just if there is one with a constructor.

Fri Jan 13 14:42:55 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (duplicate_decls): Propagate DECL_STATIC_{CON,DE}STRUCTOR.
        (finish_function): Handle DECL_STATIC_{CON,DE}STRUCTOR.
        (finish_function): Trust rest_of_compilation.

        * decl2.c (finish_file): Also call functions designated as static
        constructors/destructors.

        * decl.c (grokdeclarator): Allow access decls of operator functions.
        (grokparms): Only do convert_for_initialization if the initializer
        has a type.
        (duplicate_decls): Put back push_obstacks_nochange call.

        * lex.c (real_yylex): Downgrade complaint about the escape sequence
        being too large from pedwarn to warning.

        * decl.c (grokdeclarator): Don't complain about long long in system
        headers.

        * lex.c (real_yylex): Handle digraphs.

Thu Jan 12 12:17:24 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (init_decl_processing): -f{no-,}strict-prototype only
        affects C linkage declarations now.

        * typeck.c (comp_target_types): Grok simple contravariant conversions.
        (common_type): t1 and t2 are interchangeable.

        * various: Test return value of comp_target_types differently in
        different places; it now returns -1 for a contravariant conversion
        (which is fine in symmetric cases).

        (common_type): Prefer long double to double even when
        they have the same precision.

        * decl.c (grokparms): Call convert_for_initialization to check
        default arguments.

        * init.c (build_new): void_type_node has a size (of 0).

        * decl.c (decls_match): Also check for agreement of TREE_READONLY
        and TREE_THIS_VOLATILE.
        (push_class_level_binding): Properly handle shadowing of
        nested tags by fields.

        * search.c (dfs_pushdecls): Likewise.

        * decl2.c (finish_file): Don't second-guess self-initialization.

        * cvt.c (convert_to_reference): Work with expr directly, rather than
        a copy.

        * decl.c (push_overloaded_decl): Only shadow artificial TYPE_DECLs.

        * init.c (add_friend): Downgrade duplicate friend message from
        pedwarn to warning.

        * decl.c (duplicate_decls): Push obstacks before calling common_type.

Thu Jan 12 17:15:21 1995  Michael Ben-Gershon  <mybg@cs.huji.ac.il>

        * except.c (push_eh_entry): Set LABEL_PRESERVE_P flag for
        exception table labels.
        (expand_start_all_catch): Likewise.
        (expand_leftover_cleanups): Likewise.
        (expand_end_catch_block): Likewise.
        * except.c (make_first_label): New function.
        (expand_start_all_catch): Add a call to make_first_label() before
        using a label as a jump destination.
        (expand_end_all_catch): Likewise.
        (expand_leftover_cleanups): Likewise.
        (expand_end_catch_block): Likewise.
        (expand_builtin_throw): Likewise.
        (expand_throw): Likewise.
        * except.c: Add ARM processor support for exception handling.

Thu Jan 12 12:17:24 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        (complete_array_type): Copy code from C frontend.

        * lex.c (real_yylex): Don't multiply the length of a wide string
        literal by WCHAR_BYTES.

        * decl.c (pushdecl): Check for redeclaration of wchar_t here.
        (duplicate_decls): Instead of here.
        (define_label): Complain about a label named wchar_t.
        (grokdeclarator): Complain about declarations of
        operator-function-ids as non-functions.

        * typeck.c (unary_complex_lvalue): Also wrap prefix -- and ++ in
        COMPOUND_EXPRs.
        (build_unary_op): Wrap unary plus in a NON_LVALUE_EXPR.

        * lex.c (real_yylex): Don't skip whitespace when reading the next
        character after ->.

Wed Jan 11 16:32:49 1995  Mike Stump  <mrs@cygnus.com>

        * except.c: Allow cc1plus to be built with native compiler on rs6000.
        (expand_start_all_catch): Add assemble_external calls for various
        routines we call.
        (expand_leftover_cleanups): Likewise.
        (expand_start_catch_block): Likewise.
        (do_unwind): Likewise.
        (expand_builtin_throw): Likewise.

Wed Jan 11 01:05:42 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (pushtag): Only look for a previous decl in the current
        binding level.  Use explicit global scope in DECL_NESTED_TYPENAME.

        * gxx.gperf: Add __signature__ and __sigof__ keywords.

        * decl2.c (lang_decode_option): -ansi does not set flag_no_asm.  It
        does set flag_no_gnu_keywords and flag_operator_names.

        * lex.c (init_lex): 'overload' is not a keyword unless -traditional.
        Unset extension keywords if -fno-gnu-keywords.
        Allow operator names ('bitand') if -foperator-names.
        Never unset 'asm'; -fno-asm only affects 'typeof'.

        * decl.c (lookup_name_real): The got_object special lookup only
        applies to types.

Tue Jan 10 18:07:51 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * spew.c (yylex): Also use DECL_NESTED_TYPENAME if got_object is set.

        * parse.y (primary): Unset got_object after all rules that use the
        'object' nonterminal.
        (object): Set got_object.

        * lex.h: Declare got_object.

        * decl.c (lookup_name_real): Also lookup names in the context of an
        object specified.

Tue Jan 10 14:30:30 1995  Mike Stump  <mrs@cygnus.com>

        * typeck.c (get_member_function_from_ptrfunc): Use ptrdiff_type_node
        for things that have to be added to pointers, not size_type.  Cures
        problems with pointer to members on Alphas.
        (build_binary_op_nodefault): Likewise.
        (get_delta_difference_: Likewise.
        (build_ptrmemfunc): Likewise.

Tue Jan 10 01:49:25 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (pushtag): Stick the new decl in TYPE_NAME before pushing
        it.

        * typeck.c (build_component_ref): Don't build up a COMPONENT_REF
        when dealing with overloaded member functions; just act like
        build_offset_ref.
        (commonparms): Remove misleading comment.

        * decl.c (duplicate_decls): Complain about repeated default
        arguments here.
        (redeclaration_error_message): Instead of here.
        (pushdecl): Complain about missing default arguments here.
        (grokparms): Instead of here.
        (lookup_name_current_level): Also match on DECL_ASSEMBLER_NAME.
        (grok_reference_init): Do not complain about missing initializer if
        declared 'extern'.

        * search.c (lookup_field): Don't return a TYPE_DECL if there is a
        function alternative and want_type is not set.

Mon Jan  9 18:16:23 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * decl.c (pushtag): Don't set TYPE_NAME to an identifier.  Do push
        the decl when the type has no TYPE_NAME.
        (lookup_nested_type): Don't assume that type has TYPE_NAME set.
        (lookup_name_real): Call lookup_field with want_type =
        prefer_type.

        * search.c (lookup_field): Handle want_type properly in the presence
        of fields with the same name.

        * decl.c (set_nested_typename): Set nested name for file-scope types
        to include leading ::.
        (pushdecl): Set the nested typename if the decl doesn't have one,
        rather than if the type's canonical decl doesn't have one.

Mon Jan  9 03:44:33 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * typeck.c (convert_for_assignment): Complain about contravariance
        violation here.
        (comp_target_types): Instead of here.
        (build_unary_op): resolve_offset_ref before checking for a valid
        type.

        * spew.c (yylex): Decrement looking_for_typename after we see a
        _DEFN.

        * decl.c (pushdecl): Don't install an artificial TYPE_DECL in
        IDENTIFIER_LOCAL_VALUE if we already have a decl with that name.

        * typeck.c (convert_for_assignment): Converting pointers to bool
        does not need a cast.

Sun Jan  8 18:16:45 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * class.c (instantiate_type): Initialize nsubsts parm.

        * pt.c (do_function_instantiation): Likewise.

Sat Jan  7 14:37:05 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * pt.c (tsubst): Use TREE_STATIC instead of DECL_INLINE &&
        DECL_SAVED_INSNS to determine whether or not we've seen a definition
        of this function.
        (instantiate_template): Likewise.

        * call.c (convert_harshness): Allow const reference binding when
        called from the overloading code, but not when called from
        can_convert (since it isn't a conversion).
        (convert_harshness): Put back some disabled code.

Fri Jan  6 14:10:57 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (convert_harshness): There is no implicit conversion from
        void* to other pointer types (unless the parameter is (void*)0).
        (convert_harshness): Non-lvalues do not convert to reference types.

        * class.c (finish_struct_methods): Still set
        TYPE_HAS_{INT,REAL}_CONVERSION.

        * call.c (can_convert): Don't use aggregate initialization.

        * cp-tree.h: Declare lookup_conversions.

Thu Jan  5 21:08:00 1995  Mike Stump  <mrs@cygnus.com>

        * parse.y (simple_stmt): Fix duplicate case value error messages to
        be more readable.

Wed Jan  4 16:44:19 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * cvt.c (build_type_conversion): Total rewrite to use
        convert_harshness instead of reproducing conversion logic here.  Now
        much shorter.

        * call.c (convert_harshness): Support conversions to bool.
        (can_convert): Checks whether a conversion is less harsh
        than USER_CODE, for build_type_conversion.

        * search.c (add_conversions): Function for passing to dfs_walk which
        adds all the type conversion operators in the current type to a list.
        (lookup_conversions): Calls dfs_walk with add_conversions and return
        the list.
        (dfs_walk): Don't require a qfn.

        * cp-tree.h: Lose CLASSTYPE_CONVERSIONS hackery.
        (CLASSTYPE_FIRST_CONVERSION): Points to elt 1 of CLASSTYPE_METHOD_VEC.

        * class.c (finish_struct_bits): Lose CLASSTYPE_CONVERSIONS hackery.
        (grow_method): A separate function for building onto the growing
        method vector.
        (finish_struct_methods): Use it.  Put all type conversion operators
        right after the constructors.  Perhaps we should sort the methods
        alphabetically?

Mon Jan  2 14:42:58 1995  Jason Merrill  <jason@phydeaux.cygnus.com>

        * call.c (build_method_call): Lose another misleading shortcut.

\f
Copyright (C) 1995 Free Software Foundation, Inc.

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.