Thu Dec 28 11:13:15 1995 Mike Stump * 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 * 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 * 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 * decl2.c (finish_file): Also prune uninteresting functions in the inline emission loop. Wed Dec 20 02:32:07 1995 Jeffrey A Law * sig.c (build_signature_table_constructor): Mark functions in the signature as referenced. Tue Dec 19 22:36:56 1995 Jason Merrill * decl2.c (finish_file): Do all the vtable/synthesis stuff before the inline emission stuff. Mon Dec 18 15:51:33 1995 Jason Merrill * 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 * init.c (expand_member_init): warning for base init after members. Fri Dec 15 15:32:18 1995 Jason Merrill * cvt.c (build_expr_type_conversion): Don't convert to a reference type. Thu Dec 14 16:05:58 1995 Mike Stump * method.c (report_type_mismatch): Improve wording for volatile mismatches. Thu Dec 14 14:16:26 1995 Mike Stump * 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 * 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 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 * 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 * 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 * 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 * except.c (expand_throw): Ensure that we have cleanups, if we try and expand cleanups. Wed Dec 6 11:48:21 1995 Mike Stump * 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 * gc.c (build_t_desc): Update error message to say . Thu Nov 30 12:30:05 1995 Brendan Kehoe * decl.c (pushdecl): Only warn about shadowing a local variable if warn_shadow is true. Sun Nov 26 16:06:55 1995 Rusty Russell * 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 * 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 * 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 * typeck.c (build_unary_op): Set TREE_NO_UNUSED_WARNING to avoid warnings. Tue Nov 21 17:15:23 1995 Mike Stump * 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 * 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 * 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 * g++.c (main): Add handling of -nodefaultlibs. Mon Nov 13 15:45:34 1995 Mike Stump * 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 * 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 * 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 * method.c (make_thunk): Use TREE_SET_CODE to set thunk's tree code. Thu Nov 2 17:56:57 1995 Mike Stump * decl.c (duplicate_decls): When smashing decls, smash staticness in the usual way. Thu Nov 2 16:44:02 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * typeck2.c (digest_init): Always convert initializers to the right type. Wed Oct 25 13:25:24 1995 Mike Stump * 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 * decl.c (grokdeclarator): Don't allow `friend signed ()'. Fri Oct 20 10:30:59 1995 Mike Stump * 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 * 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 * 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 * class.c (finish_struct_bits): Check aggregate_value_p instead of RETURN_IN_MEMORY. Wed Oct 18 18:12:32 1995 Jason Merrill * 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 * 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 * parse.y (fn.def1): Call split_specs_attrs in declmods notype_declarator case. Sun Nov 26 14:47:42 1995 Richard Kenner * Version 2.7.2 released. Mon Nov 20 14:05:00 1995 Mike Stump * g++.c (pfatal_with_name): Add missing third argument to concat. Thu Oct 26 13:59:54 1995 Mike Stump * init.c (expand_aggr_init): Handle cv qualifiers on the object's type. Sat Nov 11 08:25:55 1995 Richard Kenner * Version 2.7.1 released. Thu Nov 2 17:02:47 1995 Jason Merrill * call.c (convert_harshness): Handle references to arrays. Fri Oct 27 14:20:21 1995 Jason Merrill * typeck.c (comp_target_types): Check multi-level pointer conversions in both directions. Tue Oct 17 21:39:05 1995 Jason Merrill * parse.y (explicit_instantiation): Fix 'extern template' with no return type. Mon Oct 16 14:35:20 1995 Jason Merrill * 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 * 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 * typeck.c (mark_addressable): Only call assemble_external if we have started the output file. Tue Oct 10 11:27:18 1995 Jason Merrill * decl.c (start_function): Fix earlier cv-quals change. Mon Oct 9 23:53:05 1995 Mike Stump * 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 * 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 * typeck.c (mark_addressable): Add missing call to assemble_external. Wed Oct 4 15:06:39 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * 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 * decl.c (pushtag): Add in the namespace name for the tag. Thu Sep 21 13:11:13 1995 Mike Stump * 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 * decl.c (init_decl_processing): Add __builtin_expect. Tue Sep 19 16:48:11 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * Make-lang.in (cc1plus): Removed unnecessary $(exeext). Mon Sep 11 23:24:07 1995 Mike Stump * except.c (expand_throw): Never allocate storage for thrown pointer to objects. Mon Sep 11 19:36:45 1995 Mike Stump * 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 * 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 * 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 * lex.c (handle_sysv_pragma): Deal with getting a comma from yylex. Fri Sep 8 15:51:41 1995 Mike Stump * except.c (expand_end_eh_spec): Handle empty EH specifications. Fri Sep 8 15:27:22 1995 Mike Stump * 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 * lex.c (do_identifier): Use global binding in preference of dead for local variable. Wed Sep 6 19:32:59 1995 Mike Stump * 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 * except.c (expand_throw): Run cleanups for the throw expression. Wed Aug 30 15:24:38 1995 Stephen L. Favor * 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 * 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 * 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 * except.c (expand_internal_throw): Oops, almost forgot type and value are now trees. Mon Aug 28 17:57:45 1995 Brendan Kehoe 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 * except.c: Always allow turning on exception handling. Allow cross compilations to use EH. Thu Aug 24 17:39:24 1995 Mike Stump * 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 * cvt.c (build_expr_type_conversion): Handle conversions to reference types. Wed Aug 23 15:33:59 1995 Mike Stump * except.c (do_unwind): Work around backend bug with -fpic. Tue Aug 22 17:20:07 1995 Per Bothner * 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 * decl2.c (import_export_inline): Class interface hackery does not apply to synthesized methods. Sun Aug 20 16:29:00 1995 Mike Stump * 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 * 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 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * except.c (output_exception_table_entry): Enhance portability to weird machines. (emit_exception_table): Likewise. Thu Aug 3 16:41:38 1995 Mike Stump * typeck.c (build_ptrmemfunc): Handle casting of pointer to non-virtual member functions. Wed Aug 2 11:58:25 1995 Mike Stump * 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 * 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 * 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 * method.c (report_type_mismatch): Don't talk about an object parameter for non-methods. Sun Jul 30 13:13:02 1995 Jason Merrill * 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 * 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 * 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 * typeck.c (comp_target_types): Fix. Thu Jul 27 15:10:48 1995 Mike Stump * 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 * 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 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 * 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 * pt.c (to_be_restored): Move decl to global scope. Sat Jul 22 12:22:11 1995 Jason Merrill * decl.c (start_decl): Put back clearing of DECL_IN_AGGR_P. Fri Jul 21 17:09:02 1995 Jason Merrill * 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 * 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 * 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 * init.c (expand_default_init): Don't allow two-level conversions during construction. Wed Jul 19 18:06:37 1995 Mike Stump * 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 * gc.c (build_dynamic_cast): Allow casting in const. Wed Jul 19 16:34:27 1995 Mike Stump * typeck.c (build_const_cast): If we are passed error_mark_node, return it. Wed Jul 19 15:24:48 1995 Brendan Kehoe * 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 * 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 * cvt.c (cp_convert): Always call build_cplus_new for a ctor. Tue Jul 18 14:24:53 1995 Brendan Kehoe * 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 * 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 * 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 * g++.1: Tiny updates. Fri Jul 7 13:05:20 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * 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 * 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 * decl.c (BOOL_TYPE_SIZE): Fix broken SLOW_BYTE_ACCESS check. Thu Jun 29 03:43:55 1995 Jason Merrill * 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 * 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 * parse.y (component_decl): Clear PREFIX_ATTRIBUTES here. Wed Jun 28 11:05:13 1995 Mike Stump * 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 * 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 * 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 * 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 * decl2.c (check_classfn): Improve error message. * pt.c (tsubst): Handle PROMOTE_PROTOTYPES. Thu Jun 22 01:50:42 1995 Jason Merrill * 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 * 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 * 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 * 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 * decl.c (duplicate_decls): Complain about virtual functions redeclared to be inline. Fri Jun 16 13:20:38 1995 Mike Stump * 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 * parse.y: Call cplus_decl_attributes with prefix_attributes where appropriate. Wed Jun 14 19:24:49 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * gc.c (build_dynamic_cast): Build up a reference to a parameter of aggregate type. Wed Jun 7 15:31:57 1995 Brendan Kehoe * init.c (build_vec_delete): Resolve an offset ref before we try to use it. Wed Jun 7 14:19:32 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * decl.c (grokdeclarator): Always give errors on constant overflow for array indices. Wed May 31 11:39:43 1995 Jason Merrill * 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 * Version 2.7.0 released. Fri Jun 16 15:07:29 1995 Richard Kenner * Make-lang.in (DEMANGLER_PROG): Add LIBS. Thu Jun 15 15:00:41 1995 Jason Merrill * decl.c (define_function): Don't set DECL_INTERFACE_KNOWN. Wed Jun 7 20:00:31 1995 Mike Stump * *.[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 * 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 * 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 * Make-lang.in (c++.mostlyclean): Remove $(DEMANGLER_PROG). Wed May 24 15:55:18 1995 Richard Kenner * 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 * Make-lang.in (cxxmain.o): Replace single quotes with backslashes. Mon May 22 17:38:48 1995 Richard Kenner * 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 * call.c (build_method_call): Parms can be null, duh. Tue May 23 01:32:09 1995 Jason Merrill * call.c (build_method_call): If convert_arguments failed, just bail. Fri May 19 10:31:11 1995 Jason Merrill * 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 * cp-tree.h (break_out_target_exprs): Add decl. Thu May 18 13:02:30 1995 Jason Merrill * 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 * call.c (convert_harshness): Move reference bashing before pointer to member bashing. Wed May 17 16:57:53 1995 Mike Stump * 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 * 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 * g++.c: Changed WINNT to _WIN32. Tue May 16 12:40:16 1995 Jason Merrill * lex.c (handle_sysv_pragma): Don't use token_buffer. Tue May 16 12:05:26 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * lang-options.h, lang-specs.h: New files. Thu May 11 00:31:48 1995 Jason Merrill * 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 * 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 * 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 * decl.c (define_function): Mark function decl artificial. Sun May 7 00:51:28 1995 Jason Merrill * 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 * 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 * 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 * 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 * call.c (convert_harshness): Handle pointers to members better. Thu May 4 16:00:26 1995 Jason Merrill * 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 * 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 * lex.c (cons_up_default_function): Fix linkage of #pragma implemented functions. Thu Apr 27 16:56:24 1995 Jason Merrill * 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 * typeck2.c (process_init_constructor): Make sure initializers are fully digested. Thu Apr 27 01:11:55 1995 Jason Merrill * lex.c (cons_up_default_function): Always defer synthesis. Thu Apr 27 00:20:37 1995 Jason Merrill * decl2.c (mark_inline_for_output): Don't play with pending_inline stuff. Wed Apr 26 17:48:24 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * typeck.c (common_type): Call lookup_attribute instead of value_member. Tue Apr 25 18:07:43 1995 Richard Kenner * Make-lang.in: Change "realclean" to "maintainer-clean". Sun Apr 23 12:32:38 1995 Mike Stump * decl2.c (finish_file): Fix broken linked list handling. Fri Apr 21 18:08:43 1995 Jason Merrill * 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 * 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 * 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 * gc.c (build_dynamic_cast): Tighten error checking. Thu Apr 20 11:23:54 1995 Jason Merrill * 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 * pt.c (do_function_instantiation): Handle explicit instantiation of member functions. (do_type_instantiation): Handle 'inline template class foo', 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 * 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 * 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 * 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 * 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 * 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 * decl.c (pushdecl): Use decls_match, not duplicate_decls, for comparing local and global decls. Fri Apr 14 01:46:52 1995 Jason Merrill * 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 * decl.c (duplicate_decls): Use cp_warning_at for redundant-decls. Thu Apr 13 15:37:42 1995 Brendan Kehoe * 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 * 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 * decl2.c (finish_file): Move prevtable pass before needs_messing_up decision. Tue Apr 11 11:20:27 1995 Jason Merrill * 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 * 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 * 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 * typeck.c (build_modify_expr): Undo previous change. Thu Apr 6 01:23:50 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * search.c (compute_access): Don't try to do access control on nested types. Fri Mar 31 10:14:23 1995 Jason Merrill * 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 * 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 * except.c (build_throw): Never warn about the value of throw not being used. Thu Mar 30 13:16:54 1995 Mike Stump * except.c (expand_start_catch_block): Check for bad catch parameter declarations. Thu Mar 30 13:06:11 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * init.c (build_new): Use build_pointer_type instead of TYPE_POINTER_TO. Fri Mar 24 12:11:24 1995 Jason Merrill * 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 * 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 * init.c (build_new): Catch use of an initializer list where it shouldn't be. Wed Mar 22 16:21:07 1995 Jason Merrill * 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 * 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 * 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 * typeck.c (common_type): Don't mess up templates. Wed Mar 22 04:56:00 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * pt.c (instantiate_template): Call assemble_external. Thu Mar 16 18:07:54 1995 Brendan Kehoe * 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 * 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 * pt.c (type_unification): Handle transitive unification better. Wed Mar 15 13:56:16 1995 Jason Merrill * 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 * parse.y (setattrs): Chain onto prefix_attributes rather than setting it. Wed Mar 15 13:00:00 1995 Brendan Kehoe * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * parse.y (primary): Change 'object qualified_id *' rules to 'object overqualified_id *'. Fri Mar 3 12:48:17 1995 Brendan Kehoe * 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 * 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 * decl.c (grokparms): Catch a PARM_DECL being used for a default argument as well. Thu Mar 2 20:05:54 1995 Brendan Kehoe * 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 * decl.c (finish_function): Change test for calling mark_inline_for_output. Wed Mar 1 11:23:46 1995 Jason Merrill * 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 * 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 * 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 * 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 * decl.c (grokdeclarator): Don't allow decl of an argument as `void'. Tue Feb 28 17:23:36 1995 Jason Merrill * 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 * 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 * 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 * 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 * cvt.c (convert_to_aggr): Lose misleading shortcut. Sun Feb 26 17:27:32 1995 Doug Evans * decl.c (set_nested_typename): Always set DECL_IGNORED_P, not just for dwarf. Sun Feb 26 00:10:18 1995 Brendan Kehoe * 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 * 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 * 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 * 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 * except.c (end_protect_partials): Do it the right way. Wed Feb 22 15:42:56 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * except.c: Handle systems that define __i386__ but not __i386. Fri Feb 17 15:31:31 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * class.c (grow_method): Update method_vec after growing the class obstack. Wed Feb 15 13:42:59 1995 Mike Stump * parse.y (handler_seq): Push a level for the catch parameters. Wed Feb 15 12:42:57 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * decl.c (grokdeclarator): Fix error message. Wed Feb 8 03:16:15 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * except.c: Add support for exception handling on the Alpha. Wed Feb 1 10:12:14 1995 Mike Stump * decl2.c (finish_file): Fix bug in Jan 31st change. Tue Jan 31 16:59:15 1995 Gerald Baumgartner * 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 * 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 . * 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 * call.c (build_method_call): Fix -fthis-is-variable for 32-bit targets, too. Tue Jan 31 00:11:04 1995 Mike Stump * 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 * 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 * 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 * 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 * 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 * 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 * decl2.c (check_classfn): If the cname is T and fn_name is T, make sure we still match them. Fri Jan 27 16:32:10 1995 Jason Merrill * 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 * 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 * except.c (init_exception_processing): Don't use r12 on the rs6000. Tue Jan 24 16:36:31 1995 Jason Merrill * 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 * class.c (instantiate_type): Change error message text. * typeck2.c (store_init_value): Likewise. Mon Jan 23 21:57:14 1995 Mike Stump * 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 * typeck.c (convert_for_assignment): Initialize variable before use. Fri Jan 20 01:17:59 1995 Jason Merrill * 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 * call.c (build_method_call): Don't mess with 'this' before calling compute_conversion_costs. Wed Jan 18 15:40:55 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 * 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 * 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 * pt.c (do_function_instantiation): Free targs once we're done. Sun Jan 15 22:17:32 1995 Jason Merrill * 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 * 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 * 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 * 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 * 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 (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 * 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 * 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 * 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 * 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 * 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 * 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 * 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 * class.c (instantiate_type): Initialize nsubsts parm. * pt.c (do_function_instantiation): Likewise. Sat Jan 7 14:37:05 1995 Jason Merrill * 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 * 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 * parse.y (simple_stmt): Fix duplicate case value error messages to be more readable. Wed Jan 4 16:44:19 1995 Jason Merrill * 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 * call.c (build_method_call): Lose another misleading shortcut.