3792 lines
136 KiB
Plaintext
3792 lines
136 KiB
Plaintext
|
Thu Dec 28 11:13:15 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_builtin_throw): Use RETURN_ADDR_OFFSET instead of
|
||
|
NORMAL_RETURN_ADDR_OFFSET.
|
||
|
(end_eh_unwinder): Likewise.
|
||
|
|
||
|
Wed Dec 27 22:18:16 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_dynamic_cast): Make sure we don't cast away const
|
||
|
when dealing with references, and make sure we handle dynamic
|
||
|
casting to a cv qualified reference.
|
||
|
|
||
|
Thu Dec 21 23:50:35 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (struct eh_context): New structure top hold eh context
|
||
|
information.
|
||
|
(push_eh_context): New routine.
|
||
|
(pop_eh_context): Likewise.
|
||
|
* decl.c (push_cp_function_context): Use them.
|
||
|
(pop_cp_function_context): Likewise.
|
||
|
|
||
|
Wed Dec 20 12:42:51 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Also prune uninteresting functions in the
|
||
|
inline emission loop.
|
||
|
|
||
|
Wed Dec 20 02:32:07 1995 Jeffrey A Law <law@cygnus.com>
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Mark functions
|
||
|
in the signature as referenced.
|
||
|
|
||
|
Tue Dec 19 22:36:56 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Do all the vtable/synthesis stuff before
|
||
|
the inline emission stuff.
|
||
|
|
||
|
Mon Dec 18 15:51:33 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* cp-tree.h, decl2.c (flag_weak): New flag to control the use of
|
||
|
weak symbols.
|
||
|
* lang-options.h: Add -f{no-,}weak.
|
||
|
* decl.c (init_decl_processing): If the target does not support weak
|
||
|
symbols, don't use them.
|
||
|
* decl2.c, pt.c: s/SUPPORTS_WEAK/flag_weak/.
|
||
|
|
||
|
Sun Dec 17 21:13:23 1995 Rusty Russell <rusty@adelaide.maptek.com.au>
|
||
|
|
||
|
* init.c (expand_member_init): warning for base init after members.
|
||
|
|
||
|
Fri Dec 15 15:32:18 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* cvt.c (build_expr_type_conversion): Don't convert to a reference
|
||
|
type.
|
||
|
|
||
|
Thu Dec 14 16:05:58 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* method.c (report_type_mismatch): Improve wording for volatile
|
||
|
mismatches.
|
||
|
|
||
|
Thu Dec 14 14:16:26 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* init.c (expand_aggr_init_1): Use expand_aggr_init_1 instead of
|
||
|
expand_assignment, as the later doesn't handle things that have
|
||
|
copy constructors well. The compiler would do bitwise copying,
|
||
|
instead of ctor calling in some cases.
|
||
|
|
||
|
Wed Dec 13 17:05:54 1995 Paul Eggert <eggert@twinsun.com>
|
||
|
|
||
|
* g++.c (my_strerror): Return "cannot access" if errno is 0.
|
||
|
(pfatal_with_name, perror_exec): Don't assume that
|
||
|
the returned value from my_strerror contains no '%'s.
|
||
|
(concat): Remove.
|
||
|
(sys_nerror): Declare only if HAVE_STRERROR is not defined.
|
||
|
|
||
|
Wed Dec 13 16:22:38 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
Lose CLASSTYPE_METHODS/DECL_NEXT_METHOD chain; make
|
||
|
TYPE_METHODS/TREE_CHAIN mean what they used to.
|
||
|
* decl2.c (constructor_name_full): Refer to CLASSTYPE_METHOD_VEC
|
||
|
instead of TYPE_METHODS.
|
||
|
* decl.c (duplicate_decls): Lose references to DECL_NEXT_METHOD.
|
||
|
* tree.c (tree_copy_lang_decl_for_deferred_output): Likewise.
|
||
|
* cp-tree.h (CLASSTYPE_METHODS): Lose.
|
||
|
(CLASSTYPE_METHOD_VEC): Point to lang_spec->methods instead of
|
||
|
TYPE_METHODS.
|
||
|
(struct lang_decl): Lose next_method field.
|
||
|
(DECL_NEXT_METHOD): Lose.
|
||
|
* class.c (finish_struct_methods): Don't mess with TYPE_METHODS.
|
||
|
(finish_struct): Just use TYPE_METHODS; we don't need fn_fields
|
||
|
anymore.
|
||
|
(finish_struct_methods): Don't mess with the TREE_CHAINs in
|
||
|
fn_fields.
|
||
|
|
||
|
* search.c (add_conversions): Don't use TREE_CHAIN to traverse method
|
||
|
vector.
|
||
|
|
||
|
* call.c (build_method_call): Synthesize here even when not inlining.
|
||
|
* typeck.c (build_function_call_real): Likewise.
|
||
|
|
||
|
Wed Dec 13 15:02:39 1995 Ian Lance Taylor <ian@cygnus.com>
|
||
|
|
||
|
* cp/lex.c (check_newline): If DBX_DEBUGGING_INFO and write_symbols
|
||
|
== DBX_DEBUG, call dbxout_start_new_source_file and
|
||
|
dbxout_resume_previous_source_file when appropriate.
|
||
|
|
||
|
Tue Dec 12 20:38:55 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (start_anon_func): Push to the top level.
|
||
|
(end_anon_func): Pop from the top level.
|
||
|
|
||
|
Mon Dec 11 18:56:14 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (build_cleanup): New routine to build cleanups.
|
||
|
* decl.c (expand_static_init): Use build_cleanup to build a cleanup
|
||
|
call at ctor time and use atexit to run it later.
|
||
|
* decl2.c (build_cleanup): New routine, taken from finish_file.
|
||
|
(finish_file): Use build_cleanup instead, and don't put function
|
||
|
local statics in global dtor list.
|
||
|
|
||
|
Wed Dec 6 14:34:29 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Ensure that we have cleanups, if we try
|
||
|
and expand cleanups.
|
||
|
|
||
|
Wed Dec 6 11:48:21 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Add logic to manage dynamic cleanups for
|
||
|
the EH object.
|
||
|
(expand_end_catch_block): Use the magic of expand_goto, instead of
|
||
|
emit_jump so that we get the cleanup for any catch clause parameter
|
||
|
and the cleanup for the exception object. Update to reflect label
|
||
|
changes.
|
||
|
(push_eh_cleanup): New routine to register a cleanup for an
|
||
|
exception object.
|
||
|
(empty_fndecl): Used to default cleanup actions to
|
||
|
nothing.
|
||
|
(init_exception_processing): Setup empty_fndecl. Setup
|
||
|
saved_cleanup.
|
||
|
(expand_start_catch_block): Update to reflect label changes. Call
|
||
|
push_eh_object to register the cleanup for the EH object.
|
||
|
(start_anon_func): New routine to start building lambda expressions
|
||
|
from trees.
|
||
|
(end_anon_func): New routine to end them.
|
||
|
(struct labelNode): Change so that we can use tree labels, or rtx
|
||
|
labels.
|
||
|
(saved_cleanup): Object to check for dynamic cleanups for the
|
||
|
exception handling object.
|
||
|
(push_label_entry): Change so that we can use tree labels, or rtx
|
||
|
labels.
|
||
|
(pop_label_entry): Likewise.
|
||
|
(top_label_entry): Likewise.
|
||
|
(expand_start_all_catch): Use tree label instead of rtx label, so
|
||
|
that we can get the magic of expand_goto.
|
||
|
(expand_end_all_catch): Update to reflect label changes.
|
||
|
|
||
|
* class.c (build_vfn_ref): Remove building_cleanup logic, as we now
|
||
|
use UNSAVE_EXPRs.
|
||
|
* typeck.c (get_member_function_from_ptrfunc): Remove remnants of
|
||
|
building_cleanup logic, as we now use UNSAVE_EXPRs.
|
||
|
* cp-tree.h (unsave_expr): Declare it.
|
||
|
* decl.c (building_cleanup): Remove.
|
||
|
(maybe_build_cleanup): Remove building_cleanup logic, and use
|
||
|
UNSAVE_EXPR instead.
|
||
|
|
||
|
Sun Dec 3 01:34:58 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_t_desc): Update error message to say <typeinfo>.
|
||
|
|
||
|
Thu Nov 30 12:30:05 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (pushdecl): Only warn about shadowing a local variable if
|
||
|
warn_shadow is true.
|
||
|
|
||
|
Sun Nov 26 16:06:55 1995 Rusty Russell <rusty@adelaide.maptek.com.au>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Added warning about
|
||
|
comparisons between different enum types with -Wall, unless
|
||
|
-fenum-int-equiv set.
|
||
|
|
||
|
Wed Nov 22 15:44:02 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct_1): Skip down to the inner type in
|
||
|
multidimensional arrays. Ensures ctors will be made for types that
|
||
|
need constructing.
|
||
|
|
||
|
Wed Nov 22 14:19:22 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (last_dtor_insn): New to track the last compiler generated
|
||
|
insn in a dtor.
|
||
|
(store_parm_decls): Set it.
|
||
|
(finish_function): Use it to see if the dtor is empty. Avoid doing
|
||
|
vtable setup all the time, if we can.
|
||
|
(struct cp_function): Add last_dtor_insn.
|
||
|
(push_cp_function_context): Save it.
|
||
|
(pop_cp_function_context): Restore it.
|
||
|
|
||
|
Wed Nov 22 11:52:19 1995 Paul Russell <Rusty.Russell@adelaide.maptek.com.au>
|
||
|
|
||
|
* typeck.c (build_unary_op): Set TREE_NO_UNUSED_WARNING to avoid
|
||
|
warnings.
|
||
|
|
||
|
Tue Nov 21 17:15:23 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (expand_target_expr): Make sure targets get put into the
|
||
|
current temp_slot_level, so that the free_temp_slots call will reuse
|
||
|
them.
|
||
|
|
||
|
Tue Nov 21 13:32:03 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct_1): Delay delta fixups for virtual bases
|
||
|
until after we have done the hard virtuals, to avoid a bogus `every
|
||
|
virtual function must have a unique final overrider' for virtual
|
||
|
functions that are only overridden by hard virtuals.
|
||
|
|
||
|
Thu Nov 9 13:35:30 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* pt.c (do_function_instantiation): Don't try to find a file-scope
|
||
|
template for a member function.
|
||
|
|
||
|
Tue Nov 14 06:20:35 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* g++.c (main): Add handling of -nodefaultlibs.
|
||
|
|
||
|
Mon Nov 13 15:45:34 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (INDIRECT_BIND): Add a way for the frontend to
|
||
|
distinguish between direct bindings of reference variables, and
|
||
|
indirect bindings of reference variables.
|
||
|
* cvt.c (build_up_reference): Use it.
|
||
|
* typeck.c (convert_arguments): Use it to indicate this is an
|
||
|
indirect binding.
|
||
|
* decl.c (cp_finish_decl): Ensure that we reuse stack slots as fast
|
||
|
as they are unused.
|
||
|
(expand_static_init): Likewise.
|
||
|
(cplus_expand_expr_stmt): Likewise.
|
||
|
* decl2.c (finish_file): Likewise.
|
||
|
* init.c (perform_member_init): Likewise.
|
||
|
(emit_base_init): Likewise.
|
||
|
(expand_aggr_vbase_init_1): Likewise.
|
||
|
|
||
|
Fri Nov 10 09:18:09 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (push_namespace): Rewrite to use build_lang_decl, so we
|
||
|
get a DECL_LANG_SPECIFIC node.
|
||
|
* cp-tree.h (lang_decl_flags): Add new member `level'.
|
||
|
(NAMESPACE_LEVEL): Don't use decl.arguments, instead use the
|
||
|
decl_flags level member.
|
||
|
|
||
|
Mon Nov 6 18:36:13 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Make sure instance has a
|
||
|
TYPE_LANG_SPECIFIC node before we dive into it.
|
||
|
|
||
|
Sat Nov 4 20:01:52 1995 Jason Molenda <crash@phydeaux.cygnus.com>
|
||
|
|
||
|
* method.c (make_thunk): Use TREE_SET_CODE to set thunk's tree code.
|
||
|
|
||
|
Thu Nov 2 17:56:57 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): When smashing decls, smash staticness in
|
||
|
the usual way.
|
||
|
|
||
|
Thu Nov 2 16:44:02 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (poplevel): Handle the merging of subblocks of cleanups
|
||
|
when finishing blocks that have already been created (usually due to
|
||
|
the fixup goto code). Fixes bad debugging information.
|
||
|
|
||
|
Wed Nov 1 12:33:53 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* method.c (hack_identifier): Don't abort when we get a TREE_LIST
|
||
|
that's not a list of overloaded functions.
|
||
|
|
||
|
Wed Nov 1 11:38:58 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl2.c (mark_vtable_entries): Check DECL_LANG_SPECIFIC on fn
|
||
|
before trying to use DECL_ABSTRACT_VIRTUAL_P.
|
||
|
|
||
|
Tue Oct 31 11:56:55 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* decl2.c (mark_used): New function for hooking into setting of
|
||
|
TREE_USED on decls.
|
||
|
* call.c (build_method_call): Use it.
|
||
|
* class.c (instantiate_type): Likewise.
|
||
|
* init.c (build_offset_ref): Likewise. Don't call assemble_external
|
||
|
for all like-named functions.
|
||
|
* method.c (hack_identifier): Likewise.
|
||
|
(emit_thunk): Don't call assemble_external.
|
||
|
(make_thunk): Create thunk as a FUNCTION_DECL so that it
|
||
|
gets the right mode and ENCODE_SECTION_INFO works.
|
||
|
|
||
|
* parse.y: Use mark_used. Pass operator names to do_identifier.
|
||
|
* lex.c (do_identifier): Handle operator names.
|
||
|
|
||
|
* decl2.c (grokclassfn): Tweak __in_chrg attributes.
|
||
|
|
||
|
Thu Oct 26 16:45:58 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* errfn.c: Include stdio.h.
|
||
|
(cp_sprintf): Take out decl of sprintf, and cast sprintf to errorfn*.
|
||
|
|
||
|
Wed Oct 25 18:58:41 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck2.c (digest_init): Always convert initializers to the
|
||
|
right type.
|
||
|
|
||
|
Wed Oct 25 13:25:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* init.c (member_init_ok_or_else): Don't allow member initializers
|
||
|
for indirect members, as it is invalid.
|
||
|
|
||
|
Wed Oct 25 11:35:28 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't allow `friend signed ()'.
|
||
|
|
||
|
Fri Oct 20 10:30:59 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (for.init.statement): Catch compound statements inside for
|
||
|
initializations, if we're being pedantic.
|
||
|
|
||
|
Fri Oct 20 10:03:42 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (lookup_tag): Return NULL_TREE if we don't find what we are
|
||
|
looking for.
|
||
|
|
||
|
Thu Oct 19 14:26:10 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* error.c (dump_expr): Don't core dump when a boolean expression is
|
||
|
used as a default argument.
|
||
|
|
||
|
Thu Oct 19 10:36:30 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct_bits): Check aggregate_value_p instead of
|
||
|
RETURN_IN_MEMORY.
|
||
|
|
||
|
Wed Oct 18 18:12:32 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct_bits): Also set TREE_ADDRESSABLE on a
|
||
|
BLKmode type that would otherwise be returned in registers.
|
||
|
|
||
|
Mon Oct 16 12:32:19 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* g++.c (WITHLIBC): New macro.
|
||
|
(main): Declare saw_libc. Use WITHLIBC if `-lc' was used; set
|
||
|
saw_libc and pass it at the end if it was set.
|
||
|
|
||
|
Wed Oct 11 16:30:34 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (fn.def1): Call split_specs_attrs in
|
||
|
declmods notype_declarator case.
|
||
|
|
||
|
Sun Nov 26 14:47:42 1995 Richard Kenner <kenner@mole.gnu.ai.mit.edu>
|
||
|
|
||
|
* Version 2.7.2 released.
|
||
|
|
||
|
Mon Nov 20 14:05:00 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* g++.c (pfatal_with_name): Add missing third argument to concat.
|
||
|
|
||
|
Thu Oct 26 13:59:54 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* init.c (expand_aggr_init): Handle cv qualifiers on the object's
|
||
|
type.
|
||
|
|
||
|
Sat Nov 11 08:25:55 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* Version 2.7.1 released.
|
||
|
|
||
|
Thu Nov 2 17:02:47 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Handle references to arrays.
|
||
|
|
||
|
Fri Oct 27 14:20:21 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* typeck.c (comp_target_types): Check multi-level pointer
|
||
|
conversions in both directions.
|
||
|
|
||
|
Tue Oct 17 21:39:05 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* parse.y (explicit_instantiation): Fix 'extern template' with no
|
||
|
return type.
|
||
|
|
||
|
Mon Oct 16 14:35:20 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* parse.y (explicit_instantiation): Support automatic instantiation
|
||
|
of constructors.
|
||
|
(named_class_head_*): Support out-of-class definition of nested
|
||
|
types.
|
||
|
|
||
|
Wed Oct 11 12:20:56 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* search.c (envelope_add_decl): New routine. Fix so that
|
||
|
methods are hidden in the same way that other members are.
|
||
|
(dfs_pushdecls): Cleanup and move functionality out of line,
|
||
|
into envelope_add_decl.
|
||
|
|
||
|
Tue Oct 10 15:46:01 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (mark_addressable): Only call assemble_external if we
|
||
|
have started the output file.
|
||
|
|
||
|
Tue Oct 10 11:27:18 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Fix earlier cv-quals change.
|
||
|
|
||
|
Mon Oct 9 23:53:05 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (complex_direct_notype_declarator): Only push the class if
|
||
|
we are not already in the class.
|
||
|
|
||
|
Mon Oct 9 11:22:03 1995 Doug Evans <dje@canuck.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Call merge_machine_decl_attributes.
|
||
|
Update olddecl's attributes too.
|
||
|
(grokdeclarator): #if 0 out call to build_decl_attribute_variant.
|
||
|
* typeck.c (common_type): Call merge_machine_type_attributes.
|
||
|
|
||
|
Fri Oct 6 14:44:27 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (mark_addressable): Add missing call to
|
||
|
assemble_external.
|
||
|
|
||
|
Wed Oct 4 15:06:39 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (store_parm_decls): Make sure the unwinder start comes
|
||
|
before the exception specification start.
|
||
|
* except.c (expand_exception_blocks): Make sure the unwinder end
|
||
|
comes after the terminate protected catch clause region and after
|
||
|
the end of the exception specification region.
|
||
|
|
||
|
Wed Oct 4 12:47:02 1995 Jason Merrill <jason@yorick.cygnus.com>
|
||
|
|
||
|
* lex.c (real_yylex): Fix identifier case for linemode.
|
||
|
(handle_sysv_pragma): Don't abort when we see a pragma we don't
|
||
|
recognize.
|
||
|
|
||
|
Tue Oct 3 14:09:46 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (store_parm_decls): Add a call to start_eh_unwinder.
|
||
|
* except.c (init_exception_processing): __throw doesn't take any
|
||
|
arguments.
|
||
|
(expand_builtin_throw): Likewise. Always use Pmode, instead of SImode
|
||
|
for all pointers. Use expand_builtin_return_addr to unwind the
|
||
|
first level off the stack.
|
||
|
(do_unwind): Always use Pmode, instead of SImode for all pointers.
|
||
|
(expand_exception_blocks): Add a call to end_eh_unwinder.
|
||
|
(start_eh_unwinder, end_eh_unwinder): New routines to build machine
|
||
|
independent stack unwinders for function/method calls.
|
||
|
|
||
|
Mon Oct 2 17:20:42 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* tree.c (unsave_expr_now): Make sure we process the argument list
|
||
|
of any called functions. Fixes incorrect code generation for
|
||
|
cleanups.
|
||
|
|
||
|
Mon Oct 2 13:04:16 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (get_member_function_from_ptrfunc): Save function if it
|
||
|
needs it. Cures core dump on things like (this->*(f()))().
|
||
|
|
||
|
Sat Sep 23 22:51:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Conform to gcc cv-quals convention (no
|
||
|
expression has a cv-qualified type) in RESULT_DECLs.
|
||
|
* method.c (make_thunk): Likewise.
|
||
|
|
||
|
Fri Sep 22 10:21:13 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (pushtag): Add in the namespace name for the tag.
|
||
|
|
||
|
Thu Sep 21 13:11:13 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (maybe_base_class_list, base_class_list, base_class,
|
||
|
base_class_access_list): Make sure we see the typenames for base
|
||
|
classes.
|
||
|
* lex.c (see_typename): Instead of failing to see a typename when
|
||
|
there is no next token, perfer a typename, and get the next token.
|
||
|
|
||
|
Wed Sep 20 12:35:27 1995 Michael Meissner <meissner@cygnus.com>
|
||
|
|
||
|
* decl.c (init_decl_processing): Add __builtin_expect.
|
||
|
|
||
|
Tue Sep 19 16:48:11 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cvt.c (cp_convert_to_pointer): Don't allow leftover conversions to
|
||
|
or from pointer to member functions, they must all be handled before
|
||
|
this point.
|
||
|
|
||
|
Fri Sep 15 17:14:47 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (resolve_offset_ref): Fix wording of non-static member
|
||
|
being referenced as a static.
|
||
|
|
||
|
Fri Sep 15 12:39:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_indirect_ref): Only bash pointer if we actually
|
||
|
call build_expr_type_conversion.
|
||
|
|
||
|
Thu Sep 14 18:24:56 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* cvt.c (build_expr_type_conversion): Handle conversion from
|
||
|
reference.
|
||
|
* typeck.c (build_indirect_ref): Avoid infinite recursion.
|
||
|
|
||
|
Thu Sep 14 17:23:28 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (expand_start_early_try_stmts): New routine to start a try
|
||
|
block at the start of the function, for function-try-blocks.
|
||
|
* cp-tree.h (expand_start_early_try_stmts): Declare it.
|
||
|
* parse.y (function_try_block): Use it, instead of doing it here, as
|
||
|
we don't want to include rtl.h here, as that conflicts with RETURN
|
||
|
in the parser.
|
||
|
|
||
|
Wed Sep 13 18:32:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* lex.c (reinit_parse_for_block): Support saving inline
|
||
|
function-try-blocks, uses peekyylex.
|
||
|
* parse.y (eat_saved_input): New rule, permit the parser to see that
|
||
|
END_OF_SAVED_INPUT is ok, as it can see this when parsing the
|
||
|
handlers of a function-try-block.
|
||
|
(fndef): Use it.
|
||
|
(component_decl): Make sure TRY and RETURN can come after fn.def2.
|
||
|
* spew.c (peekyylex): New routine to peek at what will come next.
|
||
|
|
||
|
Wed Sep 13 16:52:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (comptypes): Tighten up comparisons of template type
|
||
|
parms.
|
||
|
|
||
|
* decl.c (duplicate_decls): Turn off whining about virtual functions
|
||
|
redeclared inline for now.
|
||
|
|
||
|
Wed Sep 13 11:13:40 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (store_in_parms): New routine to put things before we
|
||
|
put base inits.
|
||
|
* cp-tree.h (store_in_parms): Declare it.
|
||
|
* decl.c (store_parm_decls): Use it to makr sure the starting of the
|
||
|
eh spec comes before base inits.
|
||
|
(finish_function): Use sequences instead of the obsolete
|
||
|
reorder_insns.
|
||
|
* parse.y (fndef): Enhance readability and maintainability. Update
|
||
|
to include function_try_block syntax.
|
||
|
(function_try_block): Add.
|
||
|
|
||
|
Tue Sep 12 17:43:07 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Use comptypes, not ==, to check if
|
||
|
TYPE and PARMTYPE are equivalent on a function type.
|
||
|
|
||
|
Tue Sep 12 17:31:33 1995 Douglas Rupp <drupp@cs.washington.edu>
|
||
|
|
||
|
* Make-lang.in (cc1plus): Removed unnecessary $(exeext).
|
||
|
|
||
|
Mon Sep 11 23:24:07 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Never allocate storage for thrown pointer
|
||
|
to objects.
|
||
|
|
||
|
Mon Sep 11 19:36:45 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_start_catch_block): Pointers to objects come
|
||
|
back from catch matching already dereferenced, don't dereference
|
||
|
again.
|
||
|
|
||
|
Mon Sep 11 15:46:28 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Only decay the throw expression, don't do
|
||
|
any default conversions. This is so that one can throw and catch
|
||
|
characters, and not have them match integers.
|
||
|
|
||
|
Mon Sep 11 13:46:45 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* error.c (dump_aggr_type): Deal with anonymous unions that don't
|
||
|
have a TYPE_NAME.
|
||
|
|
||
|
Fri Sep 8 20:40:27 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* lex.c (handle_sysv_pragma): Deal with getting a comma from yylex.
|
||
|
|
||
|
Fri Sep 8 15:51:41 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_end_eh_spec): Handle empty EH specifications.
|
||
|
|
||
|
Fri Sep 8 15:27:22 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (expand_start_eh_spec): Declare new routine.
|
||
|
(expand_end_eh_spec): Likewise.
|
||
|
* decl.c (store_parm_decls): Call expand_start_eh_spec to process
|
||
|
exception specifications.
|
||
|
* except.c (expand_leftover_cleanups): Remove unused parameter.
|
||
|
(expand_end_catch_block): Likewise.
|
||
|
(expand_exception_blocks): Likewise.
|
||
|
(expand_start_eh_spec): New routine to mark the start of an
|
||
|
exception specification region.
|
||
|
(expand_end_eh_spec): New routine to mark the end of an exception
|
||
|
specification region.
|
||
|
(expand_exception_blocks): Call expand_end_eh_spec to process
|
||
|
exception specifications.
|
||
|
|
||
|
Fri Sep 8 14:40:48 1995 Per Bothner <bothner@kalessin.cygnus.com>
|
||
|
|
||
|
* lex.c (do_identifier): Use global binding in preference of
|
||
|
dead for local variable.
|
||
|
|
||
|
Wed Sep 6 19:32:59 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (build_exception_variant): Remove used first argument.
|
||
|
* decl.c (duplicate_decls): Likewise.
|
||
|
(grokfndecl): Likewise.
|
||
|
(revert_static_member_fn): Likewise.
|
||
|
* decl2.c (grok_method_quals): Likewise.
|
||
|
* tree.c (build_exception_variant): Likewise.
|
||
|
* typeck.c (common_type): Likewise.
|
||
|
* decl2.c (grokclassfn): After changing the type, call
|
||
|
build_exception_variant, if necessary.
|
||
|
|
||
|
Tue Sep 5 15:56:27 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Run cleanups for the throw expression.
|
||
|
|
||
|
Wed Aug 30 15:24:38 1995 Stephen L. Favor <sfavor@tigger.intecom.com>
|
||
|
|
||
|
* except.c (expand_builtin_throw): Moved gen_label_rtx calls beyond
|
||
|
the store_parm_decls call which does initialization in the emit_*
|
||
|
code concerning label numbering.
|
||
|
|
||
|
Thu Aug 31 09:01:07 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_internal_throw): Let the frontend be responsible
|
||
|
for managing all frontend EH parameters, the backend routine only
|
||
|
needs to deal with backend values. type and value are no longer
|
||
|
passed to __throw.
|
||
|
(init_exception_processing): Likewise.
|
||
|
(expand_start_all_catch): Likewise.
|
||
|
(expand_end_all_catch): Likewise.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(expand_end_catch_block): Likewise.
|
||
|
(expand_builtin_throw): Likewise.
|
||
|
(expand_throw): Likewise.
|
||
|
|
||
|
Tue Aug 29 15:04:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cp-tree.h (DECL_REAL_CONTEXT): Give the real declaration context
|
||
|
for a decl.
|
||
|
* decl.c (cp_finish_decl): Use it.
|
||
|
|
||
|
Tue Aug 29 10:30:27 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_internal_throw): Oops, almost forgot type and
|
||
|
value are now trees.
|
||
|
|
||
|
Mon Aug 28 17:57:45 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
Fix the attribute handling to make sure they get noted before we
|
||
|
create the function's RTL, in case they can affect that.
|
||
|
* decl.c (grokfndecl): New arg ATTRLIST. Run
|
||
|
cplus_decl_attributes before creating the decl's rtl.
|
||
|
(grokdeclarator): New arg ATTRLIST, passed down into grokfndecl.
|
||
|
(shadow_tag, groktypename, start_decl, start_method): Pass a
|
||
|
NULL_TREE to grokdeclarator's new last arg.
|
||
|
* decl2.c (grokfield): New arg ATTRLIST, passed into grokdeclarator.
|
||
|
(grokbitfield, grokoptypename): Pass a NULL_TREE to
|
||
|
grokdeclarator's new last arg.
|
||
|
* except.c (expand_start_catch_block): Likewise.
|
||
|
* pt.c (process_template_parm, end_template_decl,
|
||
|
do_function_instantiation): Likewise.
|
||
|
* cp-tree.h (grokfield): Add arg.
|
||
|
(grokdeclarator): Move the prototype from here...
|
||
|
* decl.h: ...to here.
|
||
|
* lex.c (cons_up_default_function): Pass NULL_TREE to grokfield
|
||
|
ATTRLIST argument.
|
||
|
* parse.y: Create a list for the grokfield arg where appropriate,
|
||
|
and pass it down instead of calling cplus_decl_attributes.
|
||
|
|
||
|
Mon Aug 28 15:07:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Always allow turning on exception handling. Allow cross
|
||
|
compilations to use EH.
|
||
|
|
||
|
Thu Aug 24 17:39:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (saved_pc, saved_throw_type, saved_throw_value): Use
|
||
|
trees, instead of rtxs, and don't depend on using special machine
|
||
|
dependent registers.
|
||
|
(expand_internal_throw): Likewise.
|
||
|
(init_exception_processing): Likewise.
|
||
|
(expand_start_all_catch): Likewise.
|
||
|
(expand_end_all_catch): Likewise.
|
||
|
(expand_start_catch_block): Likewise.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(expand_end_catch_block): Likewise.
|
||
|
(expand_builtin_throw): Likewise.
|
||
|
(expand_throw): Likewise.
|
||
|
|
||
|
Wed Aug 23 17:25:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cvt.c (build_expr_type_conversion): Handle conversions to
|
||
|
reference types.
|
||
|
|
||
|
Wed Aug 23 15:33:59 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (do_unwind): Work around backend bug with -fpic.
|
||
|
|
||
|
Tue Aug 22 17:20:07 1995 Per Bothner <bothner@kalessin.cygnus.com>
|
||
|
|
||
|
* decl2.c (flag_new_for_scope): Add a new mode that follows ANSI
|
||
|
for-scoping, but supports (and warns about) old programs.
|
||
|
Make the new mode (with value 1) the default.
|
||
|
(lang_f_options): The on-value for flag_new_for_scope is now 2.
|
||
|
* cp-tree.h (DECL_DEAD_FOR_LOCAL, DECL_ERROR_REPORTED): New macros
|
||
|
(DECL_SHADOWED_FOR_VAR): Likewise.
|
||
|
* decl.c (struct binding_level): New fields dead_vars_from_for
|
||
|
and is_for_scope.
|
||
|
(note_level_for_for): New function.
|
||
|
(poplevel): Special processing if is_for_scope.
|
||
|
(pushdecl): Warn if for-scope variable shadows local.
|
||
|
* lex.c (do_identifier): Handle old (non-ANSI) for scoping,
|
||
|
and warn if conflicts.
|
||
|
* parse.y (FOR): Call note_level_for_for.
|
||
|
|
||
|
Mon Aug 21 10:28:31 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* decl2.c (import_export_inline): Class interface hackery does not
|
||
|
apply to synthesized methods.
|
||
|
|
||
|
Sun Aug 20 16:29:00 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* search.c (virtual_context): Find the right context more often.
|
||
|
Solves a `recoverable compiler error, fixups for virtual function'
|
||
|
problem.
|
||
|
|
||
|
Sun Aug 20 13:53:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_start_all_catch): Ensure that we always transfer
|
||
|
control to the right EH handler, by rethrowing the end label on the
|
||
|
region, instead of hoping we are nested and falling through.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(end_protect): Since we now rethrow the end label, put a
|
||
|
nop after it, so that outer regions are recognized.
|
||
|
* init.c (build_vec_delete_1): New routine to handle most of vector
|
||
|
deleting, all code moved here from build_vec_delete.
|
||
|
(build_array_eh_cleanup): Use build_vec_delete_1 to do all the real
|
||
|
work.
|
||
|
(expand_vec_init): If the array needs partial destructing, setup an
|
||
|
EH region to handle it.
|
||
|
(build_vec_delete): Move lots of code to build_vec_delete_1, use
|
||
|
build_vec_delete_1 to do the grunt work.
|
||
|
|
||
|
Sat Aug 19 14:25:33 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
Handle decl attributes properly for function definitions without
|
||
|
previous attribute-loaded declarations.
|
||
|
* decl.c (start_function): New arg ATTRS. Add a call to
|
||
|
cplus_decl_attributes with it before we create the RTL.
|
||
|
* cp-tree.h (start_function): Update prototype.
|
||
|
* parse.y (fn.def1): Pass ATTRS into start_function instead of
|
||
|
trying to call cplus_decl_attributes too late. Pass a NULL_TREE
|
||
|
for other use.
|
||
|
* decl2.c (finish_file): Pass NULL_TREE as fourth arg to
|
||
|
start_function.
|
||
|
* method.c (synthesize_method): Likewise.
|
||
|
* except.c (expand_builtin_throw): Likewise for start on __throw.
|
||
|
|
||
|
Sat Aug 19 13:36:08 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (set_rtti_entry): Turn on -fvtable-thunk -frtti support.
|
||
|
This changes -fvtable-thunks vtable layout, so a recompile will be
|
||
|
necessary, if you use -fvtable-thunks.
|
||
|
(get_vtable_entry): Use n, instead of i to be consistent with the
|
||
|
rest of the compiler.
|
||
|
(get_vtable_entry_n): Likewise.
|
||
|
(add_virtual_function): Add a slot for the tdesc, if -fvtable-thunks
|
||
|
are being used.
|
||
|
(finish_struct_1): Likewise.
|
||
|
(skip_rtti_stuff): New routine to collapse similar code from many
|
||
|
different parts of the compiler. I think I got them all.
|
||
|
(modify_one_vtable): Use it.
|
||
|
(fixup_vtable_deltas1): Likewise.
|
||
|
(override_one_vtable): Likewise.
|
||
|
* decl2.c (mark_vtable_entries): Likewise.
|
||
|
* tree.c (debug_binfo): Likewise.
|
||
|
* search.c (expand_upcast_fixups): Likewise.
|
||
|
(get_abstract_virtuals_1): Likewise. Use virtuals, instead of tmp to
|
||
|
consistent with the rest of the compiler.
|
||
|
(get_abstract_virtuals): Likewise.
|
||
|
* cp-tree.h (skip_rtti_stuff): New routine, declare it.
|
||
|
* gc.c (build_headof): Support -fvtable-thunk and -frtti together.
|
||
|
(build_typeid): Likewise.
|
||
|
(build_classof): Remove old style way of doing rtti. Remove support
|
||
|
for `classof' and `headof'.
|
||
|
* gxx.gperf: Likewise.
|
||
|
* hash.h: Likewise.
|
||
|
* parse.y: Likewise.
|
||
|
|
||
|
Fri Aug 18 17:31:58 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Clear ctor_label and dtor_label.
|
||
|
|
||
|
* class.c (finish_struct_1): Fix handling of access decls.
|
||
|
|
||
|
Tue Aug 15 19:21:54 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct): Only do minimal processing here, so it
|
||
|
can be used for class template definitions, as well.
|
||
|
(finish_struct_1): New function with the rest of the code.
|
||
|
|
||
|
Tue Aug 15 09:46:16 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (prepare_fresh_vtable): On second though, always build the
|
||
|
offset (see Aug 10 change), unless -fvtable-thunks is given. It
|
||
|
does this by calling the new routine set_rtti_entry.
|
||
|
(finish_struct): Likewise.
|
||
|
(set_rtti_entry): New routine to update the rtti information at the
|
||
|
start of the vtable.
|
||
|
|
||
|
Mon Aug 14 12:21:22 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* error.c (dump_decl, case IDENTIFIER_NODE): Only work on a dtor
|
||
|
if it's declared in the C++ language spec.
|
||
|
(dump_function_decl): Likewise.
|
||
|
(dump_function_name): Likewise.
|
||
|
(ident_fndecl): Make sure we got something back from lookup_name.
|
||
|
* decl.c (start_function): Likewise.
|
||
|
|
||
|
Fri Aug 11 16:52:15 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Don't call build_new when calling a
|
||
|
constructor without an instance.
|
||
|
|
||
|
Thu Aug 10 20:00:17 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (prepare_fresh_vtable): Always build the offset to the
|
||
|
complete object, as it doesn't cost much. This allows dynamic_cast
|
||
|
to void * to work when -frtti isn't given.
|
||
|
(finish_struct): Likewise.
|
||
|
|
||
|
Thu Aug 10 16:31:28 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (build_eh_type): Split out some functionality to new
|
||
|
routine named build_eh_type_type.
|
||
|
(build_eh_type_type): New routine.
|
||
|
(expand_start_catch_block): Use build_eh_type_type, as we never want
|
||
|
the dynamic type of the catch parameter, just the static type.
|
||
|
Fixes core dumps when -frtti is used and one catchs pointers to
|
||
|
classes.
|
||
|
|
||
|
Thu Aug 10 14:55:29 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_builtin_throw): Since we now use normal calling
|
||
|
conventions for __throw, we have to remove the first layer off the
|
||
|
stack, so that the next context we search for handlers is the outer
|
||
|
context instead of the context that had the call to __throw, if we
|
||
|
don't immediately find the desired context.
|
||
|
|
||
|
Tue Aug 8 17:44:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* tree.c (cp_expand_decl_cleanup): Returns int, not tree.
|
||
|
* cp-tree.h: Update.
|
||
|
|
||
|
* parse.y (template_type_parm): Add support for `typename'.
|
||
|
|
||
|
Tue Aug 8 12:06:31 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_internal_throw): New internal routine to throw a
|
||
|
value.
|
||
|
(expand_end_all_catch, expand_leftover_cleanups): All throwers
|
||
|
changed to use `expand_internal_throw' instead of jumping to throw
|
||
|
label.
|
||
|
(expand_end_catch_block, expand_throw): Likewise.
|
||
|
(throw_label): Removed.
|
||
|
(expand_builtin_throw): Changed so that EH parameters are passed by
|
||
|
normal function call conventions. Completes Aug 4th work.
|
||
|
|
||
|
Fri Aug 4 17:17:08 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (expand_builtin_throw): Declare it.
|
||
|
* decl2.c (finish_file): Call expand_builtin_throw.
|
||
|
* except.c (make_first_label): Remove.
|
||
|
(init_exception_processing): Don't use a LABEL_REF for throw_label,
|
||
|
instead use a SYMBOL_REF, this is so that we don't use LABEL_REFs in
|
||
|
other functions that don't really appear in those functions. This
|
||
|
solves a problem where cc1plus consumed exponential amounts of
|
||
|
memory when -Wall was used.
|
||
|
(expand_end_all_catch, expand_leftover_cleanups,
|
||
|
expand_end_catch_block, expand_throw): Change all uses of
|
||
|
throw_label to match new style.
|
||
|
(do_unwind): Rename parameter to inner_throw_label, as it is now
|
||
|
different from throw_label. Also, assume that our caller will wrap
|
||
|
the passed label with a LABEL_REF, if needed.
|
||
|
(expand_builtin_throw): Make external, change so that the generated
|
||
|
throw is now a real function.
|
||
|
(expand_exception_blocks): Never generate throw code inside another
|
||
|
function.
|
||
|
|
||
|
Fri Aug 4 12:20:02 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Move checking of mutable const objects
|
||
|
and mutable static objects down, as we might decide during parsing
|
||
|
to unset staticp or constp (for example, when const is part of the
|
||
|
object being pointed to).
|
||
|
|
||
|
Thu Aug 3 17:13:43 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (output_exception_table_entry): Enhance portability to
|
||
|
weird machines.
|
||
|
(emit_exception_table): Likewise.
|
||
|
|
||
|
Thu Aug 3 16:41:38 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (build_ptrmemfunc): Handle casting of pointer to
|
||
|
non-virtual member functions.
|
||
|
|
||
|
Wed Aug 2 11:58:25 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_typeid): Strip cv qualifiers so that const T&, T&, T
|
||
|
and const T all match.
|
||
|
|
||
|
Wed Aug 2 11:25:33 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (build_eh_type): Strip cv qualifiers so that const T&,
|
||
|
T&, T and const T all match.
|
||
|
|
||
|
Tue Aug 1 14:20:16 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Fix up comments, cleanup code and eliminate exceptNode,
|
||
|
exceptStack, exceptstack, push_except_stmts, pop_except_stmts,
|
||
|
new_except_stack, push_last_insn, pop_last_insn, insn_save_node and
|
||
|
InsnSave. Also, numerous speed improvements, and correctness
|
||
|
improvements. Double faulting in all situations should now be
|
||
|
handled correctly.
|
||
|
(expand_start_all_catch): Instead of having many terminate protected
|
||
|
regions, just have one.
|
||
|
(expand_start_catch_block): No longer have to protect
|
||
|
false_label_rtx, as it isn't used for EH region marking.
|
||
|
(expand_end_catch_block): Expand out EH cleanups here by using
|
||
|
expand_leftover_cleanups.
|
||
|
(expand_end_all_catch): Use sequences instead of playing with insn
|
||
|
links directly.
|
||
|
(expand_exception_blocks): Likewise. Also protect all catch clauses
|
||
|
with one terminate region.
|
||
|
|
||
|
Mon Jul 31 13:24:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* method.c (report_type_mismatch): Don't talk about an object
|
||
|
parameter for non-methods.
|
||
|
|
||
|
Sun Jul 30 13:13:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct): Catch private and protected members of
|
||
|
anonymous unions here.
|
||
|
* decl2.c (finish_anon_union): And here.
|
||
|
* parse.y: Instead of here.
|
||
|
|
||
|
* errfn.c (ARGSLIST): Support passing four args.
|
||
|
* error.c (cv_as_string): New function.
|
||
|
(cp_printers): Add it.
|
||
|
* call.c (build_method_call): Report 'const' at end of pseudo-decl.
|
||
|
|
||
|
* method.c (report_type_mismatch): Deal with a bad_arg of 0.
|
||
|
|
||
|
* init.c (expand_aggr_init): Handle volatile objects, too.
|
||
|
|
||
|
Sat Jul 29 13:42:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (struct binding_level): Keep list of incomplete decls.
|
||
|
(print_binding_level): Use list_length to count them.
|
||
|
(pushdecl): Build up the list.
|
||
|
(hack_incomplete_structures): Walk it and prune completed decls.
|
||
|
|
||
|
Fri Jul 28 15:26:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (comp_target_types): Don't check const and volatile for
|
||
|
function types.
|
||
|
(comp_ptr_ttypes_real): Likewise.
|
||
|
|
||
|
Thu Jul 27 15:40:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (comp_target_types): Fix.
|
||
|
|
||
|
Thu Jul 27 15:10:48 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cp-tree.h (unsave_expr_now, build_unsave_expr,
|
||
|
cp_expand_decl_cleanup): Declare new routines.
|
||
|
* decl.c (cp_finish_decl, store_parm_decls,
|
||
|
hack_incomplete_structures): Change all cals from
|
||
|
expand_decl_cleanup to cp_expand_decl_cleanup.
|
||
|
* gc.c (protect_value_from_gc): Likewise.
|
||
|
* expr.c (cplus_expand_expr): Handle UNSAVE_EXPRs.
|
||
|
* tree.c (unsave_expr): New routine to build an UNSAVE_EXPR.
|
||
|
(unsave_expr_now): Backend routine used by tree expander.
|
||
|
(cp_expand_decl_cleanup): Wrap second argument in an UNSAVE_EXPR to
|
||
|
work around a limitation in the backend. The backend uses the
|
||
|
cleanups multiple times, on disjoint control flows, so we cannot
|
||
|
pass unsaved SAVE_EXPRs to the backend.
|
||
|
* tree.def (UNSAVE_EXPR): New tree code.
|
||
|
* typeck.c (c_expand_return): Move goto/return code up inside
|
||
|
conditional, as we don't always want to do this, we only want to do
|
||
|
this when we don't otherwise finish with this control flow.
|
||
|
|
||
|
Thu Jul 27 10:38:43 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (typespec): Only complain about typeof if we're not
|
||
|
getting it from a system header.
|
||
|
|
||
|
Thu Jul 27 10:26:23 1995 Doug Evans <dje@canuck.cygnus.com>
|
||
|
|
||
|
Clean up prefix attribute handling.
|
||
|
* parse.y (reserved_declspecs): Link prefix attributes with declspecs.
|
||
|
(declmods): Likewise.
|
||
|
(all rules that reference typed_declspecs and declmods): Call
|
||
|
split_specs_attrs or strip_attrs to separate declspecs and attrs.
|
||
|
(lang_extdef): Delete resetting of prefix_attributes.
|
||
|
(template_def, notype_declarator rule): Use NULL_TREE for
|
||
|
prefix_attributes.
|
||
|
(condition): Use NULL_TREE for prefix_attributes.
|
||
|
(setattrs): Deleted.
|
||
|
(nomods_initdcl0): Set prefix_attributes to NULL_TREE.
|
||
|
(component_decl): Delete resetting of prefix_attributes.
|
||
|
(component_decl_1, notype_components rule): Use NULL_TREE for
|
||
|
prefix_attributes.
|
||
|
(simple_stmt): Delete resetting of prefix_attributes.
|
||
|
|
||
|
Mon Jul 24 13:37:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Deal with reference conversions before
|
||
|
others. Actually do array->pointer decay. Call comp_target_types
|
||
|
with pointer types rather than their targets.
|
||
|
|
||
|
* typeck.c (comp_target_types): Avoid assigning D const * to B *.
|
||
|
|
||
|
Mon Jul 24 08:54:46 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* pt.c (to_be_restored): Move decl to global scope.
|
||
|
|
||
|
Sat Jul 22 12:22:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_decl): Put back clearing of DECL_IN_AGGR_P.
|
||
|
|
||
|
Fri Jul 21 17:09:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Downgrade error about 'extern int A::i'
|
||
|
to pedwarn.
|
||
|
|
||
|
* pt.c (instantiate_template): Also avoid instantiation if the
|
||
|
function has already been declared to be a specialization.
|
||
|
|
||
|
* decl2.c (check_classfn): Ignore cname argument, and return the
|
||
|
matching function.
|
||
|
|
||
|
* decl.c (start_decl): Handle declarations of member functions
|
||
|
outside of the class (i.e. specialization declarations).
|
||
|
|
||
|
Thu Jul 20 10:34:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct): Don't mess with the type of bitfields.
|
||
|
|
||
|
* various.c: s/TYPE_POINTER_TO/build_pointer_type/.
|
||
|
|
||
|
Thu Jul 20 01:43:10 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* init.c (expand_aggr_init): Assume LOOKUP_ONLYCONVERTING if init
|
||
|
is not a parameter list (TREE_LIST).
|
||
|
(expand_default_init): If LOOKUP_ONLYCONVERTING is set, then set
|
||
|
LOOKUP_NO_CONVERSION so that we don't allow two-level conversions,
|
||
|
but don't set it otherwise.
|
||
|
|
||
|
Wed Jul 19 20:32:01 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* init.c (expand_default_init): Don't allow two-level conversions
|
||
|
during construction.
|
||
|
|
||
|
Wed Jul 19 18:06:37 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_headof): The type of dyncasting to a pointer to cv
|
||
|
void, should be pointer to cv void.
|
||
|
|
||
|
Wed Jul 19 17:25:43 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_dynamic_cast): Allow casting in const.
|
||
|
|
||
|
Wed Jul 19 16:34:27 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (build_const_cast): If we are passed error_mark_node,
|
||
|
return it.
|
||
|
|
||
|
Wed Jul 19 15:24:48 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* class.c (push_nested_class): Make sure TYPE is non-nil.
|
||
|
|
||
|
* cvt.c (type_promotes_to): Watch for error_mark_node on the
|
||
|
incoming TYPE.
|
||
|
|
||
|
Wed Jul 19 13:23:12 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
|
||
|
|
||
|
* cp-tree.h (SIGTABLE_VT_OFF_NAME): Renamed from SIGTABLE_OFFSET_NAME.
|
||
|
(SIGTABLE_VB_OFF_NAME): New macro.
|
||
|
(vt_off_identifier): Renamed from offset_identifier.
|
||
|
(vb_off_identifier): Added extern declaration.
|
||
|
|
||
|
* decl.c (vt_off_identifier): Renamed from offset identifier.
|
||
|
(vb_off_identifier): New variable to hold the identifier for the
|
||
|
sigtable field vb_off.
|
||
|
(init_decl_processing): Initialize vb_off_identifier.
|
||
|
Renamed vt_off_identifier from offset_identifier.
|
||
|
* sig.c (build_signature_method_call): Renamed offset_identifier and
|
||
|
local variable offset to vt_off_identifier and vt_off, respectively.
|
||
|
* sig.c (build_signature_table_constructor): Renamed offset to vt_off.
|
||
|
|
||
|
* decl.c (init_decl_processing): Add vb_off field to
|
||
|
sigtable_entry_type. Reorder fields so that pfn gets properly
|
||
|
aligned at a 64 bit boundary on the Alpha.
|
||
|
* sig.c (build_signature_table_constructor): Build the constructor
|
||
|
according to the new layout. Set the vb_off field to -1 for now.
|
||
|
|
||
|
* decl.c (init_decl_processing): Align sigtable_entry_type on word
|
||
|
boundaries instead of double word boundaries to save space.
|
||
|
|
||
|
Tue Jul 18 16:58:37 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cvt.c (cp_convert): Always call build_cplus_new for a ctor.
|
||
|
|
||
|
Tue Jul 18 14:24:53 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (opt.component_decl_list): Only forbid private/protected
|
||
|
in anonymous unions. We need to make this know when the type is
|
||
|
defined for an object, to not give the error.
|
||
|
|
||
|
Mon Jul 17 14:22:44 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (opt.component_decl_list): Don't allow access control
|
||
|
as private or protected for union members.
|
||
|
|
||
|
Sun Jul 16 14:01:00 1995 Jim Wilson <wilson@chestnut.cygnus.com>
|
||
|
|
||
|
* lex.c (check_newline): For 'p' case, move goto skipline line to
|
||
|
before end brace for 'pragma'.
|
||
|
|
||
|
Fri Jul 7 13:55:58 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* g++.1: Tiny updates.
|
||
|
|
||
|
Fri Jul 7 13:05:20 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (cp_finish_decl): Only destruct local static variables if
|
||
|
they are constructed, and only construct the first time control
|
||
|
passes completely through its declaration (if not initialized with a
|
||
|
constant-expression).
|
||
|
(expand_static_init): Likewise.
|
||
|
|
||
|
Wed Jul 5 14:05:04 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* typeck.c (comptypes, case OFFSET_REF): If either offset basetype
|
||
|
is a TEMPLATE_TYPE_PARM, give a match.
|
||
|
|
||
|
Fri Jun 30 15:42:57 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* method.c (build_overload_value): Handle encoding of null pointer
|
||
|
constants (or any pointer with a constant numeric value) for
|
||
|
templates.
|
||
|
|
||
|
Fri Jun 30 13:45:51 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Add QUAL_CODE when we're faced with
|
||
|
const vs non-const for void conversions.
|
||
|
|
||
|
Fri Jun 30 10:19:52 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_start_all_catch): Fix problem with finding an
|
||
|
outer nested try block when there is no code to separate it from an
|
||
|
inner try block.
|
||
|
|
||
|
Fri Jun 30 02:22:26 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* search.c (dfs_pushdecls): Consume 2 or 3 orders of magnitude less
|
||
|
memory please when virtual bases are used.
|
||
|
|
||
|
Thu Jun 29 19:03:47 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (build_vbase_path): Avoid testing things that cannot be
|
||
|
null to see if they are null.
|
||
|
* cvt.c (convert_pointer_to_vbase): Remove code that doesn't work.
|
||
|
* decl.c (finish_function): Pass a type into the new
|
||
|
convert_pointer_to_vbase instead of a binfo.
|
||
|
* search.c (convert_pointer_to_vbase): Rewritten to use get_vbase
|
||
|
and convert_pointer_to_real.
|
||
|
(expand_indirect_vtbls_init): Use convert_pointer_to_vbase instead
|
||
|
of the more cryptic call to get_vbase.
|
||
|
|
||
|
Thu Jun 29 09:35:05 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (BOOL_TYPE_SIZE): Fix broken SLOW_BYTE_ACCESS check.
|
||
|
|
||
|
Thu Jun 29 03:43:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (instantiate_template): Don't strip 'this' twice.
|
||
|
|
||
|
* pt.c (coerce_template_parms): Allow null pointer constants.
|
||
|
|
||
|
* decl.c (revert_static_member_fn): But only if DECL_ARGUMENTS is
|
||
|
set.
|
||
|
|
||
|
Wed Jun 28 18:39:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (revert_static_member_fn): Also remove 'this' from
|
||
|
DECL_ARGUMENTS.
|
||
|
* decl2.c (check_classfn): Don't revert this function until we get a
|
||
|
match.
|
||
|
|
||
|
Wed Jun 28 14:07:27 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (component_decl): Clear PREFIX_ATTRIBUTES here.
|
||
|
|
||
|
Wed Jun 28 11:05:13 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Handle global vector news.
|
||
|
* init.c (build_new): Encode vector news so that later we will know
|
||
|
how many elements there are.
|
||
|
|
||
|
Mon Jun 26 13:38:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* expr.c (cplus_expand_expr): Don't mess with temp slots.
|
||
|
|
||
|
* decl2.c (warn_if_unknown_interface): Don't crash if tinst_for_decl
|
||
|
returns null.
|
||
|
|
||
|
* decl2.c (check_classfn): Use revert_static_member_fn.
|
||
|
* decl.c (revert_static_member_fn): Diagnose static member functions
|
||
|
declared const or volatile.
|
||
|
|
||
|
* decl2.c (grokfield): Check for missing default args here, too.
|
||
|
(check_default_args): Function to do the checking.
|
||
|
* decl.c (pushdecl): Use it.
|
||
|
|
||
|
* decl.c (pushdecl): Don't warn about shadowing a member of `this'
|
||
|
if there is no `this'.
|
||
|
|
||
|
Sun Jun 25 11:34:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Downgrade 'called before definition'
|
||
|
to a warning, as it ought to go away after Monterey.
|
||
|
|
||
|
Sat Jun 24 14:18:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (coerce_template_parms): Don't do extra checking on pointer
|
||
|
to member arguments.
|
||
|
|
||
|
* class.c (finish_struct): const and reference members don't prevent
|
||
|
a class from being an aggregate.
|
||
|
|
||
|
* class.c (finish_struct): Signatures are always aggregates.
|
||
|
|
||
|
Fri Jun 23 17:20:29 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (check_classfn): Improve error message.
|
||
|
|
||
|
* pt.c (tsubst): Handle PROMOTE_PROTOTYPES.
|
||
|
|
||
|
Thu Jun 22 01:50:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (comptypes): Don't ignore method quals.
|
||
|
|
||
|
* class.c (finish_struct): Non-abstract virtuals are always USED.
|
||
|
|
||
|
* decl.c (build_ptrmemfunc_type): The underlying union type isn't
|
||
|
IS_AGGR_TYPE, either.
|
||
|
* class.c (finish_struct): Use CLASSTYPE_NON_AGGREGATE instead.
|
||
|
* cp-tree.h: Likewise.
|
||
|
|
||
|
* cp-tree.h (lang_type): Add aggregate.
|
||
|
(CLASSTYPE_AGGREGATE): New macro.
|
||
|
(TYPE_NON_AGGREGATE_CLASS): Likewise.
|
||
|
* class.c (finish_struct): Determine whether a class is an
|
||
|
aggregate.
|
||
|
* decl.c (cp_finish_decl): Check TYPE_NON_AGGREGATE_CLASS instead of
|
||
|
TYPE_NEEDS_CONSTRUCTING.
|
||
|
* typeck2.c (digest_init): Check TYPE_NON_AGGREGATE_CLASS for
|
||
|
subobjects, too.
|
||
|
|
||
|
* pt.c (tsubst, PARM_TYPE): Propagate DECL_ARTIFICIAL.
|
||
|
|
||
|
* decl.c (start_function): For pre-parsed functions, layout all of
|
||
|
the parm decls again.
|
||
|
(grokvardecl): TREE_PUBLIC depends on DECL_THIS_EXTERN, not
|
||
|
DECL_EXTERNAL.
|
||
|
|
||
|
* pt.c (coerce_template_parms): Improve checking for invalid
|
||
|
template parms.
|
||
|
|
||
|
Wed Jun 21 12:01:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Forbid declaration of a static member
|
||
|
with the same name as its enclosing class.
|
||
|
|
||
|
Mon Jun 19 10:28:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): Clear current_class_decl.
|
||
|
|
||
|
* typeck.c (build_conditional_expr): Use convert (boolean_type_node
|
||
|
instead of truthvalue_conversion.
|
||
|
|
||
|
* class.c (finish_struct): A data member with the same name as the
|
||
|
class doesn't suppress constructors.
|
||
|
|
||
|
Fri Jun 16 18:11:39 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
|
||
|
|
||
|
* decl.c (start_function): If current_class_decl is a signature
|
||
|
pointer, don't dereference it but set C_C_D to current_class_decl.
|
||
|
|
||
|
Fri Jun 16 17:06:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Complain about virtual functions
|
||
|
redeclared to be inline.
|
||
|
|
||
|
Fri Jun 16 13:20:38 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (get_unique_name): New routine to name unnamed namespaces.
|
||
|
(push_namespace): Use get_unique_name for naming unnamed namespaces.
|
||
|
|
||
|
Thu Jun 15 15:00:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y: Call cplus_decl_attributes with prefix_attributes where
|
||
|
appropriate.
|
||
|
|
||
|
Wed Jun 14 19:24:49 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* search.c (get_vbase): New routine to switch hierarchies from the
|
||
|
CLASSTYPE_VBASECLASSES to the normal one.
|
||
|
(expand_indirect_vtbls_init): Use get_vbase to figure out how we
|
||
|
want to convert to a vbase pointer.
|
||
|
|
||
|
Mon Jun 12 17:50:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (instantiate_class_template): Add the new instantiation to
|
||
|
template_classes.
|
||
|
(do_pending_expansions): Call instantiate_member_templates on all of
|
||
|
the classes in template_classes.
|
||
|
|
||
|
Mon Jun 12 12:36:59 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (complete_array_type): Fill in the TYPE_DOMAIN of our
|
||
|
TYPE_MAIN_VARIANT if it is not filled in.
|
||
|
* init.c (build_delete): If the TYPE_DOMAIN is not set, give an
|
||
|
error instead of core dumping.
|
||
|
|
||
|
Mon Jun 12 10:41:40 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (can_convert): Also check for distance > 0.
|
||
|
(can_convert_arg): Likewise.
|
||
|
(user_harshness): Likewise.
|
||
|
|
||
|
Fri Jun 9 19:17:21 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* g++.c (MATH_LIBRARY): Provide default.
|
||
|
(main): Always link with the math library if we link with libstdc++.
|
||
|
|
||
|
* decl.c (start_function): Complain about redefinition of a function
|
||
|
even when the pending_inline version is compiled after the other
|
||
|
version.
|
||
|
|
||
|
Thu Jun 8 15:44:38 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* gc.c (build_dynamic_cast): Build up a reference to a parameter of
|
||
|
aggregate type.
|
||
|
|
||
|
Wed Jun 7 15:31:57 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (build_vec_delete): Resolve an offset ref before we try to
|
||
|
use it.
|
||
|
|
||
|
Wed Jun 7 14:19:32 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_modify_expr): If the class lacks a constructor or
|
||
|
assignment operator, return error_mark_node.
|
||
|
(common_type): Use build_cplus_array_type.
|
||
|
|
||
|
Tue Jun 6 09:41:27 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (dont_allow_type_definitions): New variable set when types
|
||
|
cannot be defined.
|
||
|
(finish_struct): Use it.
|
||
|
* cp-tree.h (dont_allow_type_definitions): Define it.
|
||
|
* parse.y (primary, handler_seq): Set it.
|
||
|
|
||
|
Mon Jun 5 18:49:38 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* method.c (build_opfncall): Use DECL_CHAIN, not TREE_CHAIN for
|
||
|
results from lookup_fnfields. Always give warning/error on bad
|
||
|
code.
|
||
|
|
||
|
Mon Jun 5 11:39:37 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (member_init_ok_or_else): Don't allow initialization of
|
||
|
an ancestor's member from within a constructor.
|
||
|
|
||
|
Mon Jun 5 11:20:34 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Use DECL_CONTEXT
|
||
|
instead of DECL_CLASS_CONTEXT for calculating the vfield offset so
|
||
|
abstract virtual functions are handled correctly.
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Store the correct
|
||
|
delta in signature table entries. It does not yet work for
|
||
|
classes with virtual base classes as implementations of signatures.
|
||
|
(build_signature_method_call): Add the delta to the object_ptr
|
||
|
before generating the function call.
|
||
|
|
||
|
* call.c (build_method_call): Make instance_ptr the signature
|
||
|
pointer itself instead of dereferencing the optr.
|
||
|
* sig.c (build_signature_method_call): Dereference the optr for the
|
||
|
direct and virtual calls.
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Make the tag for
|
||
|
default implementations -1 instead of 2.
|
||
|
(build_signature_method_call): Change the generated conditional
|
||
|
expression correspondingly.
|
||
|
|
||
|
* sig.c (build_signature_pointer_constructor): Deleted the sorry
|
||
|
message that said we can't handle multiple inheritance for
|
||
|
implementations of signatures
|
||
|
(build_signature_method_call): Use the offset from the sigtable
|
||
|
entry instead of the vptr field from the signature pointer for
|
||
|
building a virtual function call.
|
||
|
|
||
|
* class.c (build_vfn_ref): Deleted signature specific code, we don't
|
||
|
call this function anymore from build_signature_method_call.
|
||
|
|
||
|
* cp-tree.h (SIGNATURE_VPTR_NAME): Deleted. We use the right vptr
|
||
|
field in the object now instead of in the signature pointer/ref.
|
||
|
(build_vptr_ref): Deleted extern declaration.
|
||
|
* sig.c (build_vptr_ref): Deleted.
|
||
|
(build_signature_pointer_or_reference_type): Deleted construction of
|
||
|
the vptr field.
|
||
|
(build_signature_pointer_constructor): Deleted initialization of/
|
||
|
assignment to the vptr field.
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Convert the signature
|
||
|
table entry fields to their correct types.
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Don't call digest_init
|
||
|
for the fields of a sigtable entry, it's wasted time.
|
||
|
|
||
|
* sig.c (build_signature_table_constructor): Correctly set the
|
||
|
offset and index fields of a sigtable entry. Build the constructor
|
||
|
the way digest_init does, digest_init can't handle initializing an
|
||
|
anonymous union inside a struct.
|
||
|
(build_signature_method_call): Use the index field instead of the
|
||
|
delta field to get the vtable index.
|
||
|
|
||
|
* decl.c (init_decl_processing): Fix number of fields for building
|
||
|
sigtable_entry_type.
|
||
|
|
||
|
* cp-tree.h (tag_identifier, offset_identifier): Added extern decls.
|
||
|
(SIGTABLE_CODE_NAME): Renamed to SIGTABLE_TAG_NAME.
|
||
|
(SIGTABLE_PFN_NAME): Deleted, we'll use VTABLE_PFN_NAME instead.
|
||
|
* decl.c (tag_identifier, offset_identifier): New variables to
|
||
|
hold the identifiers for the sigtable fields tag and offset.
|
||
|
(init_decl_processing): Initialize these variables.
|
||
|
(init_decl_processing): Use these variables to build the
|
||
|
sigtable_entry_type structure. Rename the code and offset fields
|
||
|
to tag and delta, respectively; add offset and index fields. Changed
|
||
|
types of fields from short_integer_type_node to delta_type_node.
|
||
|
* sig.c (build_signature_table_constructor): Rename code and offset
|
||
|
to tag and delta, respectively.
|
||
|
(build_signature_method_call): Likewise. Use above variables.
|
||
|
|
||
|
Thu Jun 1 17:03:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (lookup_name_real): Don't try to look anything up in an
|
||
|
erroneous object.
|
||
|
|
||
|
Fri Jun 2 10:30:14 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* method.c (build_overload_int): New routine. Break out
|
||
|
functionality from build_overload_value so we can reuse it.
|
||
|
(build_overload_value): Handle pointer to member functions as value
|
||
|
parameters for templates.
|
||
|
(build_overload_identifier): Since template parameters are shared
|
||
|
among all instantiations, we have to substitute in the real types
|
||
|
in TREE_TYPE (parm).
|
||
|
pt.c (coerce_template_parms): Likewise.
|
||
|
(push_template_decls): Likewise.
|
||
|
(grok_template_type): Deleted as template parameters are shared
|
||
|
among all instantiations.
|
||
|
|
||
|
Wed May 31 19:10:32 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Always give errors on constant overflow
|
||
|
for array indices.
|
||
|
|
||
|
Wed May 31 11:39:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (commonparms): Don't abort if simple_cst_equal returns < 0.
|
||
|
(build_c_cast): Don't tack on a NON_LVALUE_EXPR when casting to
|
||
|
reference type.
|
||
|
(build_indirect_ref): Fix check for *&.
|
||
|
|
||
|
Fri Jun 16 06:54:03 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* Version 2.7.0 released.
|
||
|
|
||
|
Fri Jun 16 15:07:29 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* Make-lang.in (DEMANGLER_PROG): Add LIBS.
|
||
|
|
||
|
Thu Jun 15 15:00:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (define_function): Don't set DECL_INTERFACE_KNOWN.
|
||
|
|
||
|
Wed Jun 7 20:00:31 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* *.[chy]: Change all callers of finish_decl to cp_finish_decl.
|
||
|
* decl.c (finish_decl): New routine to handle call backs from the
|
||
|
mid end (declare_hidden_char_array).
|
||
|
|
||
|
Wed Jun 7 19:02:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Handle setting C_C_D here.
|
||
|
(set_C_C_D): Removed.
|
||
|
(struct saved_scope): Remove class_decl.
|
||
|
(push_to_top_level): Don't save current_class_decl.
|
||
|
(pop_from_top_level): Don't restore current_class_decl or C_C_D.
|
||
|
(struct cp_function): Add C_C_D.
|
||
|
(push_cp_function_context): Save C_C_D.
|
||
|
(pop_cp_function_context): Restore C_C_D.
|
||
|
|
||
|
Fri Jun 2 11:05:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (set_C_C_D): New function. suspend_momentary before
|
||
|
building C_C_D.
|
||
|
(pop_from_top_level): Call it.
|
||
|
(start_function): Likewise.
|
||
|
(pop_cp_function_context): Likewise.
|
||
|
|
||
|
* class.c, cp-tree.h, decl.c, decl2.c, parse.y: Lose all references
|
||
|
to current_vtable_decl, CLASSTYPE_INST_VAR and CLASSTYPE_VTBL_PTR.
|
||
|
|
||
|
* decl.c (push_cp_function_context): Save current_class_decl.
|
||
|
(pop_cp_function_context): Restore current_class_decl and set C_C_D.
|
||
|
(pop_from_top_level): Don't use CLASSTYPE_INST_VAR to set C_C_D.
|
||
|
(start_function): Likewise.
|
||
|
|
||
|
* class.c (popclass): Don't mess with current_class_decl,
|
||
|
current_vtable_decl, or C_C_D.
|
||
|
|
||
|
Mon May 29 12:45:10 1995 Paul Eggert <eggert@twinsun.com>
|
||
|
|
||
|
* Make-lang.in (c++.mostlyclean): Remove $(DEMANGLER_PROG).
|
||
|
|
||
|
Wed May 24 15:55:18 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* decl.c (duplicate_decls): Check simple_cst_equal result against 0.
|
||
|
* decl2.c (finish_anon_union): Likewise.
|
||
|
* method.c (largest_union_member): Likewise.
|
||
|
|
||
|
Wed May 24 14:41:11 1995 H.J. Lu <hjl@nynexst.com>
|
||
|
|
||
|
* Make-lang.in (cxxmain.o): Replace single quotes with backslashes.
|
||
|
|
||
|
Mon May 22 17:38:48 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* Make-lang.in (g++, g++-cross, cc1plus, DEMANGLER_PROG):
|
||
|
Use $@ instead of output name so works even if have .exe.
|
||
|
(cxxmain.o): Use cp if ln -s fails.
|
||
|
(c++.install-man): Use $(exeext) in executable names.
|
||
|
(c++.mostlyclean, stage[1-4]): Use $(objext) in object file names.
|
||
|
* Makefile.in (../cc1plus): Use $(exeext) in name of executable.
|
||
|
|
||
|
Wed May 24 01:39:03 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Parms can be null, duh.
|
||
|
|
||
|
Tue May 23 01:32:09 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): If convert_arguments failed, just bail.
|
||
|
|
||
|
Fri May 19 10:31:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cvt.c (convert_force): Pass LOOKUP_NORMAL to cp_convert.
|
||
|
|
||
|
* tree.c (copy_to_permanent): Oops.
|
||
|
|
||
|
Fri May 19 10:01:07 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* cp-tree.h (break_out_target_exprs): Add decl.
|
||
|
|
||
|
Thu May 18 13:02:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Move *all* interface handling stuff after
|
||
|
the pushdecl.
|
||
|
|
||
|
* tree.c (mapcar): Renamed from make_deep_copy and generalized.
|
||
|
(perm_manip): Return t if permanent, otherwise 0.
|
||
|
(copy_to_permanent): Use them.
|
||
|
(bot_manip): Helper for break_out_target_exprs.
|
||
|
(break_out_target_exprs): New function. Uses mapcar.
|
||
|
|
||
|
* typeck.c (convert_arguments): Use it.
|
||
|
|
||
|
* method.c (hack_identifier): Use convert_from_reference to
|
||
|
dereference a reference.
|
||
|
|
||
|
Wed May 17 17:54:54 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Move reference bashing before pointer
|
||
|
to member bashing.
|
||
|
|
||
|
Wed May 17 16:57:53 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* cvt.c (convert_to_reference): Only complain, if complaints are
|
||
|
wanted.
|
||
|
* typeck.c (build_function_call_real): Likewise. If
|
||
|
LOOKUP_SPECULATIVELY is set and something won't work, return
|
||
|
NULL_TREE.
|
||
|
* cvt.c (cp_convert): Likewise. Pass flags down to build_method_call.
|
||
|
(convert): Pass LOOKUP_NORMAL to cp_convert.
|
||
|
* typeck.c (convert_for_assignment): Likewise.
|
||
|
(convert_force): Pass LOOKUP_COMPLAIN to cp_convert.
|
||
|
(convert_arguments): Get out early if we get an error_mark_node.
|
||
|
(convert_for_initialization): Use cp_convert instead of convert so
|
||
|
that we can pass flags down.
|
||
|
* cp-tree.h (LOOKUP_SPECULATIVELY): Added documentation.
|
||
|
|
||
|
Wed May 17 01:43:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck2.c (store_init_value): Don't take the MAIN_VARIANT of the
|
||
|
decl type.
|
||
|
|
||
|
* class.c (finish_struct): Don't complain about a class with no
|
||
|
user-defined constructors but with a member that has no default
|
||
|
constructor, as this is OK for aggregates.
|
||
|
|
||
|
* expr.c (cplus_expand_expr, NEW_EXPR): If this is an explicit
|
||
|
constructor call, mark slot addressable.
|
||
|
|
||
|
Tue May 16 18:37:51 1995 Douglas Rupp <drupp@cs.washington.edu>
|
||
|
|
||
|
* g++.c: Changed WINNT to _WIN32.
|
||
|
|
||
|
Tue May 16 12:40:16 1995 Jason Merrill <jason@lisa.cygnus.com>
|
||
|
|
||
|
* lex.c (handle_sysv_pragma): Don't use token_buffer.
|
||
|
|
||
|
Tue May 16 12:05:26 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* call.c (resolve_scope_to_name): Add initial semantic support for
|
||
|
namespaces.
|
||
|
* class.c (finish_struct): Likewise.
|
||
|
* cp-tree.h (NAMESPACE_LEVEL): Likewise.
|
||
|
* cvt.c (build_up_reference, convert_to_reference): Likewise.
|
||
|
* decl.c (binding_level::namespace_p, suspend_binding_level): Likewise.
|
||
|
(resume_binding_level, toplevel_bindings_p): Likewise
|
||
|
(namespace_bindings_p, declare_namespace_level): Likewise.
|
||
|
(resume_level, push_namespace, pop_namespace): Likewise.
|
||
|
(pop_everything, pushtag, duplicate_decls, pushdecl): Likewise.
|
||
|
(implicitly_declare, lookup_namespace_name): Likewise.
|
||
|
(lookup_name_real, start_decl, make_temporary_for_reference): Likewise.
|
||
|
(obscure_complex_init, finish_decl, expand_static_init): Likewise.
|
||
|
(grokvardecl, grokdeclarator, parmlist_is_exprlist): Likewise.
|
||
|
(store_parm_decls, hack_incomplete_structures): Likewise.
|
||
|
* decl2.c (get_temp_name, finish_anon_union): Likewise.
|
||
|
(current_namespace, push_namespace, pop_namespace): Likewise.
|
||
|
(do_namespace_alias, do_toplevel_using_decl): Likewise.
|
||
|
(do_class_using_decl): Likewise.
|
||
|
* error.c (dump_decl): Likewise.
|
||
|
* init.c (build_member_call, build_offset_ref): Likewise.
|
||
|
* lex.c (identifier_type): Likewise.
|
||
|
* parse.y (lang_extdef, using_decl, extdef): Likewise.
|
||
|
(component_decl_1, nested_name_specifier_1): Likewise.
|
||
|
* spew.c (yylex): Likewise.
|
||
|
* tree.def (NAMESPACE_DECL): Likewise.
|
||
|
|
||
|
Tue May 16 11:55:35 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (push_overloaded_decl): Return the new decl even if it
|
||
|
can't be pushed.
|
||
|
|
||
|
Tue May 16 11:00:37 1995 Jason Merrill <jason@lisa.cygnus.com>
|
||
|
|
||
|
* typeck.c (decay_conversion): Split out from default_conversion.
|
||
|
(default_conversion): Call it.
|
||
|
(build_binary_op): Likewise.
|
||
|
(build_binary_op_nodefault): Use decay_conversion for truth ops.
|
||
|
|
||
|
Mon May 15 12:47:56 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (warn_extern_redeclared_static): This is a pedwarn.
|
||
|
(duplicate_decls): Always use the old decl's linkage info. Don't
|
||
|
play with linkage of consts.
|
||
|
(pushdecl): Don't play with linkage of consts.
|
||
|
(redeclaration_error_message): Don't complain about an old public
|
||
|
decl and a new non-public decl here.
|
||
|
(grokvardecl): Handle linkage of consts here.
|
||
|
(grokdeclarator): An 'extern inline' is public. Pass constp to
|
||
|
grokvardecl.
|
||
|
(start_function): Wait until after the pushdecl to do some linkage
|
||
|
stuff.
|
||
|
|
||
|
* decl2.c (import_export_vtable): Make duplicates weak rather than
|
||
|
static if supported.
|
||
|
(import_export_inline): Likewise.
|
||
|
* pt.c (do_pending_expansions): Likewise.
|
||
|
|
||
|
* class.c (build_vbase_path): flag_assume_nonnull_objects only
|
||
|
affects reference conversion.
|
||
|
|
||
|
* init.c (emit_base_init): Build up an RTL_EXPR and add it to
|
||
|
rtl_expr_chain.
|
||
|
* decl.c, decl2.c: s/base_init_insns/base_init_expr/.
|
||
|
|
||
|
Tue May 16 07:06:28 1995 Paul Eggert <eggert@twinsun.com>
|
||
|
|
||
|
* method.c (numeric_output_need_bar): Renamed from misspelling.
|
||
|
|
||
|
* typeck.c (build_ptrmemfunc): Fix misspellings in messages.
|
||
|
|
||
|
Sun May 14 10:26:22 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* lang-options.h, lang-specs.h: New files.
|
||
|
|
||
|
Thu May 11 00:31:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (default_conversion): Don't check for BLKmode before
|
||
|
pulling out the decl_constant_value.
|
||
|
|
||
|
* decl.c (start_function): Clear named_labels and shadowed_labels.
|
||
|
|
||
|
* typeck.c (build_function_call_real): Also synthesize methods here.
|
||
|
|
||
|
Wed May 10 00:55:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Synthesize exported methods before the
|
||
|
reconsider loop.
|
||
|
|
||
|
* parse.y: Move declaration of flag_new_for_scope to file scope.
|
||
|
|
||
|
Tue May 9 19:10:33 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c: Add flag_new_for_scope for new -ffor-scope flag.
|
||
|
* parse.y (FOR): Conditionalize the pushing and popping of scope for
|
||
|
the for-init-statement upon the new flag_new_for_scope.
|
||
|
* parse.y (try_block): Simplify and use compstmt.
|
||
|
|
||
|
Mon May 8 12:41:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (define_function): Mark function decl artificial.
|
||
|
|
||
|
Sun May 7 00:51:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (simple_stmt, FOR): Put back push/pop for condition scope.
|
||
|
|
||
|
* decl2.c (grokclassfn): DECLs don't have cv-qualified types.
|
||
|
* tree.c (build_cplus_method_type): Likewise.
|
||
|
|
||
|
* cp-tree.h (SET_DECL_ARTIFICIAL): Just set DECL_ARTIFICIAL to 1.
|
||
|
|
||
|
* typeck.c (build_function_call_real): If convert_arguments failed,
|
||
|
just bail.
|
||
|
(convert_arguments): If one of the arguments is error_mark_node,
|
||
|
just bail.
|
||
|
|
||
|
Sat May 6 02:39:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Don't check DECL_NOT_REALLY_EXTERN for
|
||
|
decls that don't include it.
|
||
|
|
||
|
Fri May 5 14:23:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Decls that have DECL_INTERFACE_KNOWN or
|
||
|
DECL_NOT_REALLY_EXTERN set aren't extern decls.
|
||
|
|
||
|
* typeck.c (build_indirect_ref): Don't call default_conversion for a
|
||
|
parameter of reference_type.
|
||
|
* cvt.c (convert_from_reference): Just use build_indirect_ref.
|
||
|
|
||
|
* pt.c (do_type_instantiation): Only instantiate member functions
|
||
|
that actually come from templates.
|
||
|
|
||
|
Fri May 5 09:46:05 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y: Generalized cleanup of poplevels, and compound statements
|
||
|
and compound statements in try blocks. Rewritten `for' rule so that
|
||
|
the scope of variables declared in the for clause is shortened to
|
||
|
span just to the end of the statement, instead of the whole
|
||
|
containing block.
|
||
|
|
||
|
Fri May 5 00:37:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Handle pointers to members better.
|
||
|
|
||
|
Thu May 4 16:00:26 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (delete_sanity): Do access control here.
|
||
|
* init.c (build_delete): Instead of here.
|
||
|
|
||
|
* Make-lang.in: Build c++filt.
|
||
|
|
||
|
Wed May 3 02:59:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (cplus_decl_attributes): If we just modified a TYPE_DECL,
|
||
|
update our IDENTIFIER_TYPE_VALUE.
|
||
|
|
||
|
Fri Apr 28 07:58:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* lex.c (cons_up_default_function): Fix linkage of #pragma
|
||
|
implemented functions.
|
||
|
|
||
|
Thu Apr 27 16:56:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* method.c (build_overload_name): Simplify and fix repeated type
|
||
|
folding.
|
||
|
|
||
|
* decl.c (grokdeclarator): Prohibit pointers to void or reference
|
||
|
members.
|
||
|
|
||
|
Thu Apr 27 09:49:07 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck2.c (process_init_constructor): Make sure initializers are
|
||
|
fully digested.
|
||
|
|
||
|
Thu Apr 27 01:11:55 1995 Jason Merrill <jason@python.cygnus.com>
|
||
|
|
||
|
* lex.c (cons_up_default_function): Always defer synthesis.
|
||
|
|
||
|
Thu Apr 27 00:20:37 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (mark_inline_for_output): Don't play with pending_inline
|
||
|
stuff.
|
||
|
|
||
|
Wed Apr 26 17:48:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (user_harshness): New function; like build_type_conversion,
|
||
|
but doesn't actually build anything.
|
||
|
(compute_conversion_costs): Use it instead of build_type_conversion.
|
||
|
|
||
|
Wed Apr 26 17:11:25 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_function_call_real): Improve error message for
|
||
|
calling a non-function.
|
||
|
|
||
|
* method.c (hack_identifier): Lose check for calling a data member.
|
||
|
|
||
|
Wed Apr 26 16:59:13 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck2.c (build_functional_cast): Remove very old cruft.
|
||
|
Seems like good code is generated without it.
|
||
|
|
||
|
Wed Apr 26 00:47:16 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* method.c (do_build_assign_ref): Fix handling of anonymous unions.
|
||
|
(do_build_copy_constructor): Likewise.
|
||
|
|
||
|
* parse.y (simple_stmt, SWITCH): Call {push,pop}_switch.
|
||
|
|
||
|
* decl.c (push_switch): New function.
|
||
|
(pop_switch): Likewise.
|
||
|
(define_case_label): Check for jumping over initialization.
|
||
|
|
||
|
* call.c (build_method_call): Check for an inline function being
|
||
|
called before its definition has been seen.
|
||
|
* typeck.c (build_function_call_real): Likewise.
|
||
|
|
||
|
* decl.c (duplicate_decls): Check for a function being redeclared
|
||
|
inline after its address has been taken.
|
||
|
|
||
|
* typeck.c (build_conditional_expr): Handle related class lvalues.
|
||
|
|
||
|
Tue Apr 25 13:20:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (do_pending_expansions): Don't expand unused templates.
|
||
|
|
||
|
* parse.y (component_decl): Accept a lone semicolon.
|
||
|
|
||
|
Tue Apr 25 00:25:56 1995 Jason Merrill <jason@rtl.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Don't allow an RTL_EXPR to serve as the
|
||
|
object parameter anymore.
|
||
|
|
||
|
* expr.c (cplus_expand_expr): Don't create RTL_EXPRs with no insns.
|
||
|
|
||
|
Mon Apr 24 12:35:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (simple_stmt, decl case): Clear prefix_attributes.
|
||
|
(lang_extdef): Likewise.
|
||
|
|
||
|
* parse.y (maybe_parmlist): New rule for use in declarators where
|
||
|
this could either be a list of expressions or parameters. Calls
|
||
|
suspend_momentary before deciding which.
|
||
|
(direct_after_type_declarator): Use it.
|
||
|
(complex_direct_notype_declarator): Use it.
|
||
|
|
||
|
* pt.c (tsubst): Propagate attributes const and noreturn.
|
||
|
|
||
|
* typeck.c (build_modify_expr): If warn_synth, call build_opfncall
|
||
|
before doing the default thing.
|
||
|
|
||
|
Thu Apr 27 21:49:36 1995 Doug Evans <dje@cygnus.com>
|
||
|
|
||
|
* typeck.c (common_type): Call lookup_attribute instead of
|
||
|
value_member.
|
||
|
|
||
|
Tue Apr 25 18:07:43 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
|
||
|
|
||
|
* Make-lang.in: Change "realclean" to "maintainer-clean".
|
||
|
|
||
|
Sun Apr 23 12:32:38 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Fix broken linked list handling.
|
||
|
|
||
|
Fri Apr 21 18:08:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (finish_base_struct): Don't set TYPE_HAS_COMPLEX_*_REF
|
||
|
as often.
|
||
|
(finish_struct): Likewise.
|
||
|
|
||
|
* various: Use TYPE_HAS_TRIVIAL_* instead of TYPE_HAS_COMPLEX_*.
|
||
|
|
||
|
* cp-tree.h (TYPE_HAS_TRIVIAL_INIT_REF): New macro.
|
||
|
(TYPE_HAS_TRIVIAL_ASSIGN_REF): New macro.
|
||
|
|
||
|
Fri Apr 21 15:52:22 1995 Jason Merrill <jason@python.cygnus.com>
|
||
|
|
||
|
* typeck.c (c_expand_return): Only expand a returned TARGET_EXPR if
|
||
|
it is of the same type as the return value.
|
||
|
|
||
|
Fri Apr 21 03:01:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Reconsider if synthesizing a method wrote
|
||
|
out its assembly.
|
||
|
|
||
|
* typeck.c (convert_for_initialization): Don't call a trivial copy
|
||
|
constructor.
|
||
|
|
||
|
* typeck2.c (store_init_value): Only abort if the type has a
|
||
|
non-trivial copy constructor.
|
||
|
|
||
|
* typeck.c (c_expand_return): If we're returning in a register and
|
||
|
the return value is a TARGET_EXPR, expand it. Only do
|
||
|
expand_aggr_init if we're returning in memory.
|
||
|
(expand_target_expr): Function to expand a TARGET_EXPR.
|
||
|
(build_modify_expr): Use it.
|
||
|
|
||
|
* tree.c (build_cplus_new): Layout the slot.
|
||
|
|
||
|
* expr.c (cplus_expand_expr): Use expand_call to expand the call
|
||
|
under a NEW_EXPR, so the target is not discarded.
|
||
|
|
||
|
Thu Apr 20 14:59:31 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_dynamic_cast): Tighten error checking.
|
||
|
|
||
|
Thu Apr 20 11:23:54 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* expr.c (cplus_expand_expr): Only abort if the returned target is
|
||
|
different from what we expected if the type has a non-trivial copy
|
||
|
constructor.
|
||
|
|
||
|
* decl2.c (cplus_decl_attributes): Attributes applied to a template
|
||
|
really apply to the template's result.
|
||
|
|
||
|
* tree.c (lvalue_p): Check IS_AGGR_TYPE instead of TREE_ADDRESSABLE
|
||
|
to decide whether to consider a CALL_EXPR an lvalue.
|
||
|
|
||
|
* class.c (finish_struct_bits): Only set TREE_ADDRESSABLE if the
|
||
|
type has a non-trivial copy constructor.
|
||
|
|
||
|
* decl.c (start_function): If interface_known, unset
|
||
|
DECL_NOT_REALLY_EXTERN on the function.
|
||
|
|
||
|
Wed Apr 19 16:53:13 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (do_function_instantiation): Handle explicit instantiation of
|
||
|
member functions.
|
||
|
(do_type_instantiation): Handle 'inline template class foo<int>',
|
||
|
meaning just spit out the vtable.
|
||
|
|
||
|
* lex.c (cons_up_default_function): Set DECL_NOT_REALLY_EXTERN on
|
||
|
the consed functions.
|
||
|
|
||
|
* decl2.c (import_export_inline): Set DECL_INTERFACE_KNOWN.
|
||
|
|
||
|
Wed Apr 19 16:28:17 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* call.c, class.c, decl2.c, gc.c, init.c, parse.y, pt.c, search.c,
|
||
|
typeck.c: Include output.h.
|
||
|
|
||
|
Wed Apr 19 14:57:21 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
|
||
|
|
||
|
* call.c (build_method_call): Allow a signature member functions to
|
||
|
be called from a default implementation.
|
||
|
|
||
|
Wed Apr 19 10:21:17 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c (finish_repo): Remember what directory we are in.
|
||
|
|
||
|
* search.c (expand_upcast_fixups): Don't mess with abort_fndecl.
|
||
|
|
||
|
* repo.c: Use obstacks instead of fixed-size buffers. Don't spit
|
||
|
out the second copy of the symbol name. Don't remember COLLECT_GCC.
|
||
|
|
||
|
Wed Apr 19 02:32:40 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* search.c (virtual_context): New function to get the virtual
|
||
|
context of a function.
|
||
|
(expand_upcast_fixups): New function to generate runtime vtables.
|
||
|
(fixup_virtual_upcast_offsets): Likewise.
|
||
|
(expand_indirect_vtbls_init): Use fixup_virtual_upcast_offsets to
|
||
|
ensure that the this offsets for upcasts from virtual bases into
|
||
|
other virtual bases or non-virtual bases are correct at construction
|
||
|
time and destruction time.
|
||
|
* class.c (fixup_vtable_deltas): Modify to fixup all offsets in all
|
||
|
vtables in all virtual bases, instead of just one vtable in each
|
||
|
virtual base.
|
||
|
(fixup_vtable_deltas1): Likewise.
|
||
|
|
||
|
Tue Apr 18 03:57:35 1995 Michael Meissner <meissner@cygnus.com>
|
||
|
|
||
|
* Makefile.in (lex.o): Add dependency on c-pragma.h.
|
||
|
|
||
|
* lex.c (handle_sysv_pragma): Use NULL_PTR and NULL_TREE as
|
||
|
appropriate, instead of 0.
|
||
|
|
||
|
Mon Apr 17 12:28:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (pushdecl): Use decls_match, not duplicate_decls, for
|
||
|
comparing local and global decls.
|
||
|
|
||
|
Fri Apr 14 01:46:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (convert_arguments): Only prohibit passing to ... of
|
||
|
types with non-trivial copy constructors.
|
||
|
|
||
|
* repo.c (repo_template_used): Don't try to mess with no id.
|
||
|
|
||
|
Fri Apr 14 23:32:50 1995 Per Bothner <bothner@rtl.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Use cp_warning_at for redundant-decls.
|
||
|
|
||
|
Thu Apr 13 15:37:42 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* cp-tree.h (current_tinst_level): Delete declaration, since it's
|
||
|
static inside pt.c.
|
||
|
|
||
|
* typeck.c (build_modify_expr): Catch incompatible array assignment.
|
||
|
|
||
|
* parse.y (attribute_list, attrib): Rewrite actions to feed the
|
||
|
right stuff to decl_attributes.
|
||
|
|
||
|
Thu Apr 13 11:24:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* search.c (dfs_debug_mark): Check for magic virtual like
|
||
|
import_export_vtable.
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Don't call cp_pedwarn with
|
||
|
four args.
|
||
|
|
||
|
Wed Apr 12 12:02:57 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Move prevtable pass before needs_messing_up
|
||
|
decision.
|
||
|
|
||
|
Tue Apr 11 11:20:27 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_decl): If we're writing out a static data member of
|
||
|
a class, we want the debug info for that class.
|
||
|
|
||
|
* gc.c (build_t_desc): Check linkage of a class properly.
|
||
|
|
||
|
* class.c (finish_struct): Set the 'headof' offset for the main
|
||
|
vtable properly.
|
||
|
(prepare_fresh_vtable): Fix typeinfo pointer here.
|
||
|
(modify_one_vtable): Instead of here.
|
||
|
|
||
|
Mon Apr 10 12:15:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c (repo_get_id): New function to return the interesting
|
||
|
identifier for a repo entity.
|
||
|
(repo_template_used): Use it.
|
||
|
(repo_template_instantiated): Mark the id as chosen.
|
||
|
(init_repo): Record whether or not the id was chosen.
|
||
|
(finish_repo): Note if an id was newly chosen.
|
||
|
|
||
|
* pt.c (do_function_instantiation): Call repo_template_instantiated.
|
||
|
(do_type_instantiation): Likewise. Don't diagnose multiple
|
||
|
instantiation.
|
||
|
|
||
|
* decl2.c (finish_file): Use DECL_NOT_REALLY_EXTERN when deciding
|
||
|
whether or not to synthesize a method.
|
||
|
|
||
|
Undo these changes:
|
||
|
* class.c (finish_vtbls): Build more vtables if flag_rtti is on.
|
||
|
* class.c (modify_all_direct_vtables): Likewise.
|
||
|
* init.c (expand_direct_vtbls_init): Expand more vtables if
|
||
|
flag_rtti is on.
|
||
|
|
||
|
Sat Apr 8 17:45:41 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_headof): Use ptrdiff_type_node instead of
|
||
|
integer_type_node on pointer arithmetic.
|
||
|
|
||
|
Sat Apr 8 11:57:04 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_modify_expr): Undo previous change.
|
||
|
|
||
|
Thu Apr 6 01:23:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* Makefile.in (compiler): Remove ../cc1plus before rebuilding it.
|
||
|
|
||
|
* repo.c (get_base_filename): Put the .rpo file in the directory
|
||
|
with the object file, not the source.
|
||
|
|
||
|
* typeck.c (build_conditional_expr): Handle pmf's better.
|
||
|
|
||
|
* repo.c (finish_repo): Also use ASM_OUTPUT_LABELREF to print out
|
||
|
the name of the symbol.
|
||
|
|
||
|
Wed Apr 5 15:24:12 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c (open_repo_file): Make repo filename DOS-compliant.
|
||
|
(*): Also write a new repo file if some previously-used
|
||
|
templates are no longer used. Only remember the identifier.
|
||
|
|
||
|
* lex.c (cons_up_default_function): If this function belongs to a
|
||
|
template class, call repo_template_used for it.
|
||
|
|
||
|
* repo.c (repo_template_used): Using a class means using its vtable,
|
||
|
if any.
|
||
|
(finish_repo): Likewise.
|
||
|
|
||
|
* typeck.c (build_modify_expr): Only wrap TARGET_EXPRs in RTL_EXPRs
|
||
|
if the type has a complex copy constructor.
|
||
|
|
||
|
* decl2.c (lang_decode_option): -frepo implies
|
||
|
-fno-implicit-templates.
|
||
|
|
||
|
* decl.c (start_function): Clear current_{base,member}_init_list.
|
||
|
|
||
|
* lex.c (init_lex): Also unset *_eq if ! flag_operator_names.
|
||
|
|
||
|
Tue Apr 4 16:11:08 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (struct cp_function): Add {base,member}_init_list.
|
||
|
(push_cp_function_context): Save current_{base,member}_init_list.
|
||
|
(pop_cp_function_context): Restore them.
|
||
|
|
||
|
Mon Apr 3 16:55:08 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c (get_base_filename): Take filename parm, fix logic bug.
|
||
|
|
||
|
* typeck.c (build_compound_expr): Do not warn about a compound expr
|
||
|
in which the first expression has no side effects.
|
||
|
(build_x_compound_expr): Warn here instead.
|
||
|
(build_conditional_expr): Don't warn about a conditional expression
|
||
|
between an enum and the type it promotes to.
|
||
|
|
||
|
* init.c (build_new): Handle initialization of arrays of builtins
|
||
|
properly.
|
||
|
|
||
|
Mon Apr 3 15:08:04 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* repo.c: Include config.h to get definitions of bcopy and rindex
|
||
|
on systems that don't have them (e.g., SVR4).
|
||
|
|
||
|
Mon Apr 3 14:41:55 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_table): Pass NULL_TREE instead of init to
|
||
|
finish_decl so that it won't try and do error checking on the
|
||
|
initializer.
|
||
|
|
||
|
Mon Apr 3 10:45:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c (get_base_filename): Analyze COLLECT_GCC_OPTIONS to
|
||
|
determine whether this compile used -c -o.
|
||
|
(open_repo_file): Use get_base_filename. Remove the extension.
|
||
|
(finish_repo): Spit out the values of main_input_filename,
|
||
|
COLLECT_GCC and COLLECT_GCC_OPTIONS.
|
||
|
|
||
|
* parse.y (structsp): Add TYPENAME_KEYWORD complex_type_name.
|
||
|
|
||
|
Sun Apr 2 23:43:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* search.c (compute_access): Don't try to do access control on
|
||
|
nested types.
|
||
|
|
||
|
Fri Mar 31 10:14:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* repo.c: New file to handle things repo.
|
||
|
|
||
|
* pt.c (instantiate_template): Call repo_template_used if the
|
||
|
definition is accessible.
|
||
|
(mark_function_instantiated): Split out from
|
||
|
do_function_instantiation.
|
||
|
(mark_class_instantiated): Split out from do_type_instantiation.
|
||
|
|
||
|
* parse.y (template_instantiate_once): Call repo_template_used.
|
||
|
|
||
|
* lex.c (lang_init): Call init_repo.
|
||
|
|
||
|
* decl2.c: Handle flag_use_repository.
|
||
|
(finish_file): Call finish_repo.
|
||
|
|
||
|
* decl.c (start_method): Call repo_template_used if this is a
|
||
|
template method.
|
||
|
|
||
|
* Makefile.in (CXX_OBJS): Add repo.o.
|
||
|
(repo.o): Add dependencies.
|
||
|
|
||
|
* Make-lang.in (CXX_SRCS): Add repo.c.
|
||
|
|
||
|
* decl.c (start_function): If DECL_INTERFACE_KNOWN and
|
||
|
DECL_NOT_REALLY_EXTERN are both set, unset DECL_EXTERNAL.
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Identify the invalid operand
|
||
|
types used.
|
||
|
|
||
|
* decl.c (duplicate_decls): Propagate DECL_NOT_REALLY_EXTERN.
|
||
|
|
||
|
Thu Mar 30 17:54:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Tidy up use of build_type
|
||
|
and result_type. When checking for comparison between signed
|
||
|
and unsigned, use result_type rather than the (possibly shortened)
|
||
|
type of op0. Also, don't warn about equality comparison of a
|
||
|
signed operand to an unsigned constant that fits in the signed
|
||
|
type.
|
||
|
|
||
|
* method.c (do_build_copy_constructor): Reverse
|
||
|
current_base_init_list after we've built it up.
|
||
|
|
||
|
Thu Mar 30 14:35:18 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (build_throw): Never warn about the value of throw not
|
||
|
being used.
|
||
|
|
||
|
Thu Mar 30 13:16:54 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_start_catch_block): Check for bad catch parameter
|
||
|
declarations.
|
||
|
|
||
|
Thu Mar 30 13:06:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): Only set DECL_NOT_REALLY_EXTERN if
|
||
|
DECL_EXTERNAL is not already set.
|
||
|
|
||
|
Thu Mar 30 11:26:24 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* method.c (emit_thunk): Let poplevel know that the last level is
|
||
|
for a function so it can create a BLOCK_NODE and set DECL_INITIAL.
|
||
|
|
||
|
Thu Mar 30 11:15:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (import_export_inline): Don't set DECL_NOT_REALLY_EXTERN
|
||
|
here.
|
||
|
|
||
|
* decl.c (grokdeclarator): OK, don't abort if we see a decl with
|
||
|
METHOD_TYPE.
|
||
|
(finish_function): Set DECL_EXTERNAL and DECL_NOT_REALLY_EXTERN on
|
||
|
all deferred inlines.
|
||
|
|
||
|
Wed Mar 29 19:35:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cp-tree.h (DECL_THIS_INLINE): New macro.
|
||
|
(DECL_NOT_REALLY_EXTERN): New macro.
|
||
|
(DECL_THIS_STATIC): New macro.
|
||
|
|
||
|
* decl.c: Lose all references to current_extern_inline. Break
|
||
|
inline semantics into DECL_INLINE for actual inlining and
|
||
|
DECL_THIS_INLINE for the linkage wierdness. Use DECL_THIS_STATIC.
|
||
|
* decl2.c: Use DECL_NOT_REALLY_EXTERN to indicate that we want to
|
||
|
emit an inline here. Associated changes.
|
||
|
* lex.c: Likewise.
|
||
|
* pt.c: Likewise.
|
||
|
* typeck.c: Likewise.
|
||
|
|
||
|
* call.c (build_method_call): Don't bother trying to handle inlines
|
||
|
specially.
|
||
|
* cvt.c (convert_to_aggr): Likewise.
|
||
|
|
||
|
* pt.c (do_function_instantiation): Handle instantiation of
|
||
|
public inlines, too.
|
||
|
|
||
|
Wed Mar 29 16:04:25 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (init_exception_processing): Change the interface for
|
||
|
__throw_type_match and add decl for new rtti matching routine
|
||
|
__throw_type_match_rtti.
|
||
|
(build_eh_type): New routine to build a run time descriptor for the
|
||
|
expression given.
|
||
|
(expand_start_catch_block): Update to use new calling convention for
|
||
|
the matcher.
|
||
|
(expand_throw): Update to use build_eh_type.
|
||
|
|
||
|
Mon Mar 27 07:14:33 1995 Warner Losh <imp@village.org>
|
||
|
|
||
|
* g++.c: Removed __NetBSD__ from conditional.
|
||
|
Declare strerror if HAVE_STRERROR is defined; otherwise
|
||
|
declare sys_errlist and sys_nerr.
|
||
|
(my_strerror): New function.
|
||
|
|
||
|
Tue Mar 28 14:16:35 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* search.c (get_binfo): Don't try to be so clever.
|
||
|
|
||
|
* tree.c (copy_to_permanent): Also suspend_momentary().
|
||
|
|
||
|
* cvt.c (cp_convert_to_pointer): Hand off to convert_fn_pointer even
|
||
|
if the types are the same.
|
||
|
|
||
|
* decl.c (start_function): Handle extern inlines more like C++ says
|
||
|
we should.
|
||
|
|
||
|
* init.c (build_member_call): Hand constructor calls off to
|
||
|
build_functional_cast.
|
||
|
|
||
|
* typeck2.c (build_functional_cast): Use DECL_NESTED_TYPENAME to get
|
||
|
the name of the type.
|
||
|
|
||
|
Tue Mar 28 13:13:56 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Check for the decl returned by
|
||
|
grokfndecl to be null before using build_decl_attribute_variant.
|
||
|
|
||
|
Mon Mar 27 18:04:41 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Use build_pointer_type instead of
|
||
|
TYPE_POINTER_TO.
|
||
|
|
||
|
Fri Mar 24 12:11:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_conditional_expr): Handle pmfs.
|
||
|
(convert_for_assignment): Fix pmf support.
|
||
|
|
||
|
* cvt.c (convert_fn_ptr): Support !flag_vtable_thunks.
|
||
|
(cp_convert_to_pointer): Handle pmfs.
|
||
|
(cp_convert): Pass pmfs to cp_convert_to_pointer.
|
||
|
|
||
|
* typeck.c (common_type): Handle inheritance for pmfs.
|
||
|
|
||
|
* typeck2.c (build_m_component_ref): Do access control.
|
||
|
|
||
|
* typeck.c (comp_target_types): Check for conversion to void *
|
||
|
before checking trickier conversions.
|
||
|
|
||
|
* decl.c (duplicate_decls): Propagate DECL_ABSTRACT_VIRTUAL_P.
|
||
|
|
||
|
* pt.c (push_tinst_level): Complain if template instantiation depth
|
||
|
is greater than max_tinst_depth.
|
||
|
|
||
|
* typeck.c (common_type): Assume that we can call common_type to
|
||
|
unify the target type of a pointer.
|
||
|
|
||
|
Thu Mar 23 00:48:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Don't synthesize methods at
|
||
|
finish_vtable_prevardecl time. Do synthesize methods that are not
|
||
|
used, but are public and not external.
|
||
|
|
||
|
* cvt.c (build_type_conversion): Only give an error if for_sure.
|
||
|
|
||
|
* typeck.c (comp_target_types): Only support pointer conversions if
|
||
|
nptrs > 0.
|
||
|
|
||
|
Wed Mar 22 19:30:15 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Catch use of an initializer list where it
|
||
|
shouldn't be.
|
||
|
|
||
|
Wed Mar 22 16:21:07 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Wrap alloc_expr in an RTL_EXPR if nelts is
|
||
|
non-constant.
|
||
|
|
||
|
* decl2.c: temp_name_counter is now public.
|
||
|
|
||
|
* decl.c (struct cp_function): Add temp_name_counter field.
|
||
|
(push_cp_function_context): Save it.
|
||
|
(pop_cp_function_context): Restore it.
|
||
|
|
||
|
* typeck.c (common_type): Handle unifying function types, and unify
|
||
|
unmatched things to void* with a compiler_error, rather than
|
||
|
silently like before.
|
||
|
|
||
|
Wed Mar 22 15:10:34 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_prevtable_vardecl, finish_vtable_vardecl): Revert
|
||
|
Brendan's last change and fix latent problem that causes TD entries
|
||
|
to not come out when the things that need them has yet to be
|
||
|
expanded.
|
||
|
|
||
|
Wed Mar 22 15:12:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault, comparison ops): Update type0
|
||
|
and type1, since we might have changed op0 or op1.
|
||
|
|
||
|
Wed Mar 22 13:33:45 1995 Jason Merrill <jason@python.cygnus.com>
|
||
|
|
||
|
* typeck.c (common_type): Don't mess up templates.
|
||
|
|
||
|
Wed Mar 22 04:56:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (common_type): Handle ptms properly. Also handle
|
||
|
T* -> void*.
|
||
|
(build_binary_op_nodefault): New variable build_type controls what
|
||
|
type is given to the expression when it is created. Set this to
|
||
|
boolean_type_node for comparison ops instead of using result_type.
|
||
|
(comp_target_types): Allow T * -> void *.
|
||
|
|
||
|
* cvt.c (cp_convert_to_pointer): Do access control when converting
|
||
|
ptms, too.
|
||
|
|
||
|
Tue Mar 21 17:25:06 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (extern_lang_string): Catch use of linkage specs that
|
||
|
aren't all naming the same language.
|
||
|
|
||
|
* class.c (finish_struct): Delete accidental duplicate code.
|
||
|
|
||
|
Tue Mar 21 14:00:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Disable pedwarns about
|
||
|
comparing functions and incomplete types.
|
||
|
|
||
|
* decl.c (finish_function): Only unset current_function_decl if
|
||
|
!nested.
|
||
|
(duplicate_decls): Last change went too far; we only want to stop
|
||
|
checking for value/reference ambiguity.
|
||
|
|
||
|
Tue Mar 21 01:26:39 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (build_generic_desc): Zap the DECL_SIZE so that we can lay it
|
||
|
out fresh, as the new type may be larger.
|
||
|
|
||
|
Mon Mar 20 19:01:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* expr.c (extract_init): Try to expand the RTL for the
|
||
|
initialization and figure out what it will look like so we can avoid
|
||
|
run-time initialization. Disabled for now.
|
||
|
(extract_scalar_init): Helper for scalar initialization.
|
||
|
(extract_aggr_init): Helper for aggregate initialization.
|
||
|
|
||
|
* decl.c (duplicate_decls): Don't complain about ambiguous
|
||
|
declarations.
|
||
|
(obscure_complex_init): Now returns a tree. Call extract_init if
|
||
|
we're optimizing and this is a toplevel decl.
|
||
|
(finish_decl): Update accordingly.
|
||
|
|
||
|
* lex.c (check_newline): If we're just changing files (not pushing
|
||
|
or popping), update input_file_stack->name.
|
||
|
|
||
|
Mon Mar 20 17:55:04 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* pt.c (type_unification): Only TEMPLATE_DECLs are handled right now
|
||
|
in the transitive unification code.
|
||
|
|
||
|
Mon Mar 20 16:07:50 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (shadow_tag): Don't allow inline, virtual, or explicit on
|
||
|
non-functions.
|
||
|
(grokdeclarator): Don't allow friends to be defined in local classes.
|
||
|
|
||
|
Sat Mar 18 04:03:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_prevtable_vardecl): Use DECL_DECLARED_STATIC
|
||
|
rather than DECL_SAVED_INSNS to decide whether or not this method
|
||
|
was declared inline.
|
||
|
|
||
|
* method.c (synthesize_method): Turn off DECL_INLINE if
|
||
|
function_cannot_inline_p thinks we're too large.
|
||
|
|
||
|
* typeck.c (build_indirect_ref): Use build_expr_type_conversion.
|
||
|
|
||
|
Fri Mar 17 17:47:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (instantiate_type): Handle pmfs.
|
||
|
|
||
|
* typeck.c (convert_for_assignment): Check types when assigning one
|
||
|
pmf to another.
|
||
|
|
||
|
* decl.c (define_label): Fix logic for printing out the name of the
|
||
|
label in an error message.
|
||
|
|
||
|
* error.c (dump_expr): Support ARRAY_REF.
|
||
|
|
||
|
Fri Mar 17 17:43:02 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_vtable_vardecl): Call build_t_desc here.
|
||
|
(finish_prevtable_vardecl): Instead of here.
|
||
|
|
||
|
Fri Mar 17 14:40:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (expand_static_init): Also use expand_aggr_init if the
|
||
|
initializer is a TREE_LIST.
|
||
|
(grokdeclarator): Only pedwarn about extra qualification if -pedantic.
|
||
|
|
||
|
* pt.c (unify): Fix unification of return type.
|
||
|
|
||
|
* expr.c (fixup_result_decl): Use store_expr, rather than
|
||
|
emit_move_insn, to move the return value into the place where
|
||
|
callers will expect it.
|
||
|
|
||
|
Thu Mar 16 22:05:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_offset_ref): Call assmble_external on functions.
|
||
|
* typeck.c (build_component_ref): Likewise.
|
||
|
|
||
|
Thu Mar 16 20:28:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (struct saved_scope): Add members base_init_list and
|
||
|
member_init_list.
|
||
|
(push_to_top_level): Save current_base_init_list and
|
||
|
current_member_init_list to them.
|
||
|
(pop_from_top_level): Put it back.
|
||
|
|
||
|
Thu Mar 16 19:21:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (instantiate_template): Call assemble_external.
|
||
|
|
||
|
Thu Mar 16 18:07:54 1995 Brendan Kehoe <brendan@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c: Include rtl.h, to get NULL_RTX.
|
||
|
(finish_struct): Also zero out DECL_SAVED_INSNS, to avoid problems
|
||
|
on hosts with different sizes for each part of the union.
|
||
|
* tree.c: Also include rtl.h.
|
||
|
(layout_basetypes): Same change for DECL_SAVED_INSNS.
|
||
|
|
||
|
Thu Mar 16 13:57:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (unify): Fix array domain unification for 64-bit targets.
|
||
|
|
||
|
* decl2.c (finish_file): Push bizarre type decl before walking the
|
||
|
vtables the first time.
|
||
|
(walk_vtables): OK, don't set prev to vars if the vardecl_fn messed
|
||
|
with TREE_CHAIN (prev).
|
||
|
|
||
|
* init.c (emit_base_init): Use convert_pointer_to_real instead of
|
||
|
convert_pointer_to when converting to a direct base.
|
||
|
|
||
|
Wed Mar 15 20:26:29 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* pt.c (type_unification): Handle transitive unification better.
|
||
|
|
||
|
Wed Mar 15 13:56:16 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (walk_vtables): Always set prev to vars.
|
||
|
(mark_vtable_entries): Call assemble_external on the vtable entries.
|
||
|
|
||
|
* class.c (finish_struct): Set the vtable's size to NULL_TREE before
|
||
|
calling layout_decl, so that it gets updated properly.
|
||
|
|
||
|
Finally re-enable dynamic synthesis. This time it works.
|
||
|
* method.c (synthesize_method): Pass decl_function_context (fndecl)
|
||
|
to {push,pop}_cp_function_context.
|
||
|
* decl.c (push_cp_function_context): Now takes a tree argument.
|
||
|
(pop_cp_function_context): Likewise.
|
||
|
* call.c (build_method_call): Enable synthesis.
|
||
|
* lex.c (cons_up_default_function): Likewise.
|
||
|
|
||
|
Tue Mar 14 19:14:19 1995 Doug Evans <dje@chestnut.cygnus.com>
|
||
|
|
||
|
* parse.y (setattrs): Chain onto prefix_attributes rather than
|
||
|
setting it.
|
||
|
|
||
|
Wed Mar 15 13:00:00 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (pushdecl): Check if the type of the VAR_DECL is an
|
||
|
error_mark_node before trying to read TYPE_LANG_SPECIFIC.
|
||
|
|
||
|
Mon Mar 13 21:00:28 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator, case ARRAY_REF): Wrap the exp with fold,
|
||
|
and convert the size and integer_one_node to the index type.
|
||
|
|
||
|
Mon Mar 13 08:01:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (get_member_function_from_ptrfunc): Save the instance
|
||
|
argument, and tack it onto the front of the COND_EXPR to make the
|
||
|
semantics come out right. Grab the instance argument from
|
||
|
'*instance_ptrptr', rather than having it passed in separately.
|
||
|
|
||
|
* various: Change various consed-up comparison operations to have
|
||
|
boolean type. Remove the instance argument in calls to
|
||
|
get_member_function_from_ptrfunc.
|
||
|
|
||
|
* error.c (dump_expr): Dump true and false as "true" and "false".
|
||
|
|
||
|
* decl2.c (finish_file): Also set DECL_STATIC_FUNCTION_P on the
|
||
|
global init function.
|
||
|
|
||
|
* decl.c (finish_function): Only set DECL_EXTERNAL here if the
|
||
|
inline function is public.
|
||
|
|
||
|
Sat Mar 11 00:58:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (is_friend): Be more careful about checking
|
||
|
DECL_CLASS_CONTEXT on non-member functions.
|
||
|
|
||
|
* decl2.c (finish_vtable_vardecl): Don't bother calling
|
||
|
assemble_external here.
|
||
|
(prune_vtable_vardecl): New function that just splices out the
|
||
|
vtable decl from the top-level decls.
|
||
|
(import_export_inline): Unset DECL_EXTERNAL at first.
|
||
|
(finish_file): Don't bother calling assemble_external here. Do
|
||
|
splice out all of the vtables.
|
||
|
|
||
|
Fri Mar 10 14:42:29 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): If we're not emitting the function yet,
|
||
|
call assemble_external for it.
|
||
|
|
||
|
* decl2.c (finish_prevtable_vardecl): Don't call mark_vtable_entries
|
||
|
here.
|
||
|
(finish_vtable_vardecl): Don't do the linkage deduction thing here.
|
||
|
Also don't splice out the current vtable if it is unused.
|
||
|
(finish_file): Move the second walk_vtables and the synthesis check
|
||
|
inside the 'reconsider' loop. Move thunk emission after the
|
||
|
'reconsider' loop.
|
||
|
|
||
|
Thu Mar 9 16:28:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* pt.c (tsubst): Don't bother calling cp_build_type_variant, since it
|
||
|
was passing bogus values for readonly and volatile from the original
|
||
|
template decl, not the resultant type of the tsubst call.
|
||
|
|
||
|
* class.c (duplicate_tag_error): Use cp_error_at to point out the
|
||
|
previous definition of the tag.
|
||
|
|
||
|
Thu Mar 9 10:46:17 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Clear base_init_insns and protect_list.
|
||
|
(struct cp_function): Add base_init_insns field.
|
||
|
(push_cp_function_context): Also save base_init_insns.
|
||
|
(pop_cp_function_context): Also restore base_init_insns.
|
||
|
|
||
|
Wed Mar 8 13:31:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (member_init_ok_or_else): Check for initializing a static
|
||
|
member here.
|
||
|
(emit_base_init): Instead of here.
|
||
|
|
||
|
Tue Mar 7 16:03:26 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Disable synthesis as needed.
|
||
|
* lex.c (cons_up_default_function): Likewise.
|
||
|
|
||
|
Tue Mar 7 10:14:29 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y: New rules to allow attributes in a prefix position.
|
||
|
(prefix_attributes): New variable. Pass it into cplus_decl_attributes.
|
||
|
(setattr): New rule.
|
||
|
(reserved_declspecs, declmods): Catch attributes here.
|
||
|
* decl2.c (cplus_decl_attributes): Add PREFIX_ATTRIBUTES argument.
|
||
|
* decl.c (duplicate_decls): Pass DECL_MACHINE_ATTRIBUTES to
|
||
|
descendent typedef.
|
||
|
(grokdeclarator): Added code to support machine attributes.
|
||
|
* Makefile.in (stamp-parse): Expect 5 shift/reduce failures.
|
||
|
|
||
|
Mon Mar 6 15:07:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Don't synthesize methods outside of a
|
||
|
function.
|
||
|
|
||
|
Make base initialization more re-entrant so that synthesis on the
|
||
|
fly will work (and, eventually, template instantiation on the fly).
|
||
|
* init.c (sort_member_init): Don't bother with members that can't be
|
||
|
initialized. Reorganize a bit. Don't initialize base members here.
|
||
|
(sort_base_init): New function, like sort_member_init, but for base
|
||
|
classes. Steals some code from emit_base_init.
|
||
|
(emit_base_init): Simplify. Call sort_{member,base}_init before
|
||
|
doing any initialization, so we don't have to save
|
||
|
current_{member,base}_init_list in push_cp_function_context.
|
||
|
(expand_aggr_vbase_init_1): Adjust for sort_base_init.
|
||
|
(expand_aggr_vbase_init): Simplify.
|
||
|
* decl.c (struct cp_function): Add protect_list field.
|
||
|
(push_cp_function_context): Also save protect_list.
|
||
|
(pop_cp_function_context): Also restore protect_list.
|
||
|
* call.c (build_method_call): Enable synthesis at point of call.
|
||
|
* lex.c (cons_up_default_function): Likewise.
|
||
|
|
||
|
* parse.y: Turn -ansi checks back into -pedantic checks.
|
||
|
|
||
|
* init.c (build_new): Fix -fcheck-new for array new.
|
||
|
|
||
|
Sat Mar 4 15:55:42 1995 Fergus Henderson <fjh@cs.mu.oz.au>
|
||
|
|
||
|
* typeck.c (build_compound_expr): warn if left-hand operand of
|
||
|
comma expression has no side-effects.
|
||
|
|
||
|
Fri Mar 3 15:16:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (primary): Change 'object qualified_id *' rules to 'object
|
||
|
overqualified_id *'.
|
||
|
|
||
|
Fri Mar 3 12:48:17 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* parse.y (unary_expr): Catch doing sizeof an overloaded function.
|
||
|
Make the error look the same as the one we issue in c_sizeof.
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Give an error for trying
|
||
|
to compare a pointer-to-member to `void *'.
|
||
|
|
||
|
Fri Mar 3 11:28:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_unary_op): Handle bool increment with smoke and
|
||
|
mirrors here, rather than in expand_increment where it belongs,
|
||
|
because Kenner doesn't agree with me.
|
||
|
|
||
|
Fri Mar 3 00:08:10 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokparms): Catch a PARM_DECL being used for a default
|
||
|
argument as well.
|
||
|
|
||
|
Thu Mar 2 20:05:54 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Don't allow new on a function type.
|
||
|
|
||
|
* parse.y (primary): Avoid a crash when seeing if the arg is of
|
||
|
the same type as that given for the typespec in an explicit dtor call.
|
||
|
|
||
|
Thu Mar 2 00:49:38 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): Change test for calling
|
||
|
mark_inline_for_output.
|
||
|
|
||
|
Wed Mar 1 11:23:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_modify_expr): Complain if
|
||
|
build_default_binary_type_conversion fails.
|
||
|
|
||
|
* init.c (expand_default_init): Handle arguments of unknown type
|
||
|
properly.
|
||
|
|
||
|
* cvt.c (build_expr_type_conversion): Only complain about ambiguity
|
||
|
if 'complain'.
|
||
|
* various: Pass 'complain'.
|
||
|
|
||
|
* typeck.c (comptypes): Be more picky about comparing UPTs.
|
||
|
|
||
|
Wed Mar 1 11:03:41 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): If declarator is null, say that the
|
||
|
type used has an incomplete type.
|
||
|
|
||
|
Wed Mar 1 10:06:20 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (instantiate_template): Copy the template arguments to the
|
||
|
permanent_obstack. Also use simple_cst_equal to compare them when
|
||
|
looking for a previous instantiation.
|
||
|
|
||
|
* tree.c (make_deep_copy): Support copying INTEGER_TYPEs (assuming
|
||
|
they are array domain types).
|
||
|
|
||
|
Tue Feb 28 23:24:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cp-tree.h: Define WANT_* constants for passing to
|
||
|
build_expr_type_conversion.
|
||
|
* cvt.c (build_expr_type_conversion): New function to build
|
||
|
conversion to one of a group of suitable types.
|
||
|
(build_default_binary_type_conversion): Use it.
|
||
|
* decl2.c (grok_array_decl): Likewise.
|
||
|
* typeck.c (build_unary_op): Likewise.
|
||
|
(build_array_ref): Tidy up a bit.
|
||
|
(build_binary_op): Likewise.
|
||
|
|
||
|
Tue Feb 28 19:57:31 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't allow decl of an argument as `void'.
|
||
|
|
||
|
Tue Feb 28 17:23:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (typed_declspecs1): Add 'typespec reserved_typespecquals
|
||
|
reserved_declspecs' rule.
|
||
|
|
||
|
* parse.y (expr_or_declarator): Remove notype_qualified_id rule.
|
||
|
(direct_notype_declarator): Likewise.
|
||
|
(complex_direct_notype_declarator): Add notype_qualified_id rule.
|
||
|
|
||
|
* lex.c (real_yylex): Handle :> digraph properly.
|
||
|
|
||
|
Tue Feb 28 12:26:29 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Check if it's a friend, not if it's
|
||
|
non-virtual, that's being initialized. Move the check up to
|
||
|
before FRIENDP would get cleared. Catch an unnamed var/field
|
||
|
being declared void. Say just `field' instead of `structure field'
|
||
|
in the error message. Only go for the operator name if DECLARATOR
|
||
|
is non-null.
|
||
|
|
||
|
Tue Feb 28 00:08:01 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (start_function): Complain about abstract return type.
|
||
|
(grokdeclarator): Complain about declaring constructors and
|
||
|
destructors to be const or volatile. Complain about declaring
|
||
|
destructors to be static.
|
||
|
|
||
|
* pt.c (uses_template_parms): Handle pmfs.
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't call variable_size for array bounds
|
||
|
that only depend on template constant parameters.
|
||
|
|
||
|
Mon Feb 27 15:38:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* error.c (dump_decl): Only look to see if it's a vtable if we
|
||
|
actually have a name to check out.
|
||
|
|
||
|
Mon Feb 27 13:37:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cvt.c (convert_to_aggr): Lose misleading shortcut.
|
||
|
|
||
|
Sun Feb 26 17:27:32 1995 Doug Evans <dje@canuck.cygnus.com>
|
||
|
|
||
|
* decl.c (set_nested_typename): Always set DECL_IGNORED_P,
|
||
|
not just for dwarf.
|
||
|
|
||
|
Sun Feb 26 00:10:18 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't allow a static member to be
|
||
|
declared `register'.
|
||
|
|
||
|
* init.c (make_friend_class): Move up to a pedwarn for the warning
|
||
|
about a class declaring friends with itself.
|
||
|
|
||
|
* decl.c (grokdeclarator): You can't do `volatile friend class foo'
|
||
|
or `inline friend class foo'. Only try to make a friend out of
|
||
|
TYPE if we didn't already reset it to integer_type_node.
|
||
|
|
||
|
Sat Feb 25 22:32:03 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't allow initialization of a
|
||
|
non-virtual function.
|
||
|
|
||
|
* decl.c (start_function): Do a pedwarn if we're changing `main'
|
||
|
to have an int return type.
|
||
|
|
||
|
Sat Feb 25 00:02:05 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_modify_expr): Handle simple assignment from
|
||
|
TARGET_EXPRs by building up an RTL_EXPR to force expansion. Whew.
|
||
|
|
||
|
Fri Feb 24 18:27:14 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Also don't allow virtual outside of a
|
||
|
class decl for a scope method definition performed at global binding.
|
||
|
|
||
|
* init.c (build_offset_ref): Don't allow creation of an OFFSET_REF
|
||
|
of a bitfield.
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't allow a const to be declared mutable.
|
||
|
|
||
|
* typeck.c (build_binary_op): Return an error_mark_node if either
|
||
|
one of the args turned into an error_mark_node when we tried to
|
||
|
use default_conversion.
|
||
|
|
||
|
* typeck.c (build_unary_op): Forbid using postfix -- on a bool.
|
||
|
|
||
|
* decl.c (grokdeclarator): Allow `signed' and `unsigned' to be
|
||
|
used on `__wchar_t'.
|
||
|
|
||
|
Fri Feb 24 13:59:53 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (end_protect_partials): Do it the right way.
|
||
|
|
||
|
Wed Feb 22 15:42:56 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Upgrade warning about
|
||
|
comparing distinct pointer types to pedwarn.
|
||
|
|
||
|
* typeck2.c (digest_init): Cope with extra braces.
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Use tree_int_cst_sgn instead
|
||
|
of INT_CST_LT (..., interger_zero_node).
|
||
|
|
||
|
Wed Feb 22 14:45:52 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* except.c [!TRY_NEW_EH] (end_protect_partials): Define dummy
|
||
|
function for systems that don't have EH.
|
||
|
|
||
|
Tue Feb 21 19:18:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (can_convert_arg): Like can_convert, but takes an arg as
|
||
|
well.
|
||
|
|
||
|
* pt.c (type_unification): Allow implicit conversions for parameters
|
||
|
that do not depend on template parameters.
|
||
|
|
||
|
Tue Feb 21 18:43:48 1995 Douglas Rupp <drupp@cs.washington.edu>
|
||
|
|
||
|
* Make-lang.in, config-lang.in: ($exeext): New macro.
|
||
|
* Make-lang.in: Try a "cp" if "ln" fails.
|
||
|
* cp-tree.h (decl_attributes): Added argument.
|
||
|
* decl2.c (cplus_decl_attribute): Add arg to decl_attributes.
|
||
|
* cp/g++.c: Added #ifdefs for sys/file.h and process.h for NT.
|
||
|
Modified spawnvp to have to correct number of arguments for OS/2, NT.
|
||
|
|
||
|
Tue Feb 21 18:36:55 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): Add calls to end_protect_partials to end
|
||
|
the exception region that protects constructors so that partially
|
||
|
constructed objects can be partially destructed when the constructor
|
||
|
throws an exception.
|
||
|
* init.c (perform_member_init, sort_member_init, emit_base_init):
|
||
|
Added support for partially constructed objects.
|
||
|
* init.c (build_partial_cleanup_for): New routine to do partial
|
||
|
cleanups of a base class.
|
||
|
* decl2.c (finish_file): Move the emitting of the exception table
|
||
|
down, after we emit all code that might have exception regions in
|
||
|
them.
|
||
|
* except.c (end_protect_partials, might_have_exceptions_p): New
|
||
|
routines.
|
||
|
(emit_exception_table): Always output table if called.
|
||
|
* cp-tree.h (protect_list, end_protect_partials,
|
||
|
might_have_exceptions_p, emit_exception_table): Added.
|
||
|
|
||
|
Tue Feb 21 16:05:59 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
|
||
|
|
||
|
* gc.c (build_typeid): Pass a NULL_TREE, not the bogus, unused
|
||
|
address of a local variable.
|
||
|
* class.c (build_vfn_ref): Only try to build the PLUS_EXPR if we
|
||
|
were given a non-null PTR_TO_INSTPTR.
|
||
|
|
||
|
Tue Feb 21 01:53:18 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Always lay out the merged decl.
|
||
|
|
||
|
* decl2.c (finish_vtable_vardecl): Don't do vtable hack on templates.
|
||
|
(finish_prevtable_vardecl): Likewise.
|
||
|
|
||
|
* method.c (synthesize_method): Set interface_{unknown,only}
|
||
|
according to the settings for our class, not the file where it comes
|
||
|
from.
|
||
|
|
||
|
Sat Feb 18 12:26:48 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Handle systems that define __i386__ but not __i386.
|
||
|
|
||
|
Fri Feb 17 15:31:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (reparse_decl_as_expr): Support being called without a
|
||
|
type argument.
|
||
|
|
||
|
* parse.y (primary): Add '(' expr_or_declarator ')'. Adds 4 r/r
|
||
|
conflicts. Sigh.
|
||
|
|
||
|
Fri Feb 17 12:02:06 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (template_def, fndef, fn.def1, return_init, condition,
|
||
|
initdcl0, initdcl, notype_initdcl0, nomods_initdcl0,
|
||
|
component_decl_1, after_type_component_declarator0,
|
||
|
notype_component_declarator0, after_type_component_declarator,
|
||
|
notype_component_declarator, after_type_component_declarator,
|
||
|
full_parm, maybe_raises, exception_specification_opt): Fix up,
|
||
|
include exception_specification_opt maybeasm maybe_attribute and
|
||
|
maybe_init if missing. Rename maybe_raises to
|
||
|
exception_specification_opt to match draft wording. Use maybe_init
|
||
|
to simplify rules.
|
||
|
|
||
|
Fri Feb 17 01:54:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Set TREE_NO_UNUSED_WARNING on COMPOUND_EXPRs
|
||
|
built for news of scalar types.
|
||
|
|
||
|
Thu Feb 16 17:48:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_binary_op_nodefault): Update code for warning
|
||
|
about signed/unsigned comparisons from C frontend. Realize that the
|
||
|
code in the C frontend is, if anything, even more bogus. Fix it.
|
||
|
(build_binary_op): Undo default_conversion if it wasn't useful.
|
||
|
|
||
|
* typeck.c (build_unary_op, ADDR_EXPR): Lose bogus special case for
|
||
|
PRE*CREMENT_EXPR.
|
||
|
|
||
|
* decl2.c (import_export_vtable): Don't try the vtable hack
|
||
|
if the class doesn't have any real non-inline virtual functions.
|
||
|
(finish_vtable_vardecl): Don't bother trying to find a non-inline
|
||
|
virtual function in a non-polymorphic class.
|
||
|
(finish_prevtable_vardecl): Likewise.
|
||
|
|
||
|
* decl2.c (import_export_vtable): Use and set DECL_INTERFACE_KNOWN.
|
||
|
|
||
|
* cp-tree.h (DECL_INTERFACE_KNOWN): Use DECL_LANG_FLAG_5.
|
||
|
|
||
|
* init.c (expand_virtual_init): Always call assemble_external.
|
||
|
|
||
|
* class.c (build_vfn_ref): Always call assemble_external.
|
||
|
(build_vtable): Always call import_export_vtable.
|
||
|
(prepare_fresh_vtable): Likewise.
|
||
|
(add_virtual_function): Don't bother setting TREE_ADDRESSABLE.
|
||
|
|
||
|
Thu Feb 16 03:28:49 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (finish_struct): Use TYPE_{MIN,MAX}_VALUE to determine
|
||
|
whether an enumerated type fits in a bitfield.
|
||
|
|
||
|
Wed Feb 15 15:38:12 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (grow_method): Update method_vec after growing the class
|
||
|
obstack.
|
||
|
|
||
|
Wed Feb 15 13:42:59 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (handler_seq): Push a level for the catch parameters.
|
||
|
|
||
|
Wed Feb 15 12:42:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (emit_base_init): Update BINFO_INHERITANCE_CHAIN on my
|
||
|
bases, in case they've been clobbered.
|
||
|
|
||
|
Wed Feb 15 12:07:29 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (finish_base_struct): Set up BINFO_INHERITANCE_CHAIN here,
|
||
|
so that one day it will always be valid.
|
||
|
* tree.c (propagate_binfo_offsets, layout_vbasetypes): Likewise.
|
||
|
|
||
|
* cp-tree.h (copy_binfo): Removed, unused.
|
||
|
* tree.c (copy_binfo): Likewise.
|
||
|
|
||
|
Wed Feb 15 00:05:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Save the allocation before calling
|
||
|
expand_vec_init on it.
|
||
|
|
||
|
* decl.c (finish_enum): The TYPE_PRECISION of the enum type mush
|
||
|
match the TYPE_PRECISION of the underlying type for constant folding
|
||
|
to work.
|
||
|
|
||
|
Tue Feb 14 15:31:25 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (push_eh_entry, expand_start_all_catch,
|
||
|
expand_leftover_cleanups, expand_end_catch_block): Keep track of
|
||
|
the context in which the exception region occurs.
|
||
|
(build_exception_table): If the region was not output, don't output
|
||
|
the entry in the eh table for it.
|
||
|
|
||
|
Tue Feb 14 02:15:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (expand_default_init): Only use a previous constructor call
|
||
|
if it's a call to our constructor. Does the word "Duh" mean
|
||
|
anything to you?
|
||
|
|
||
|
* decl.c (grokparms): Fine, just don't call
|
||
|
convert_for_initialization at all. OK? Happy now?
|
||
|
|
||
|
Mon Feb 13 02:23:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cp-tree.h (CLASSTYPE_FIRST_CONVERSION): Make sure that the class
|
||
|
method vector has a second element before returning it.
|
||
|
|
||
|
* decl.c (grokparms): Don't strip REFERENCE_TYPE before calling
|
||
|
convert_for_initialization.
|
||
|
|
||
|
Sun Feb 12 03:57:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_modify_expr): Compare function name to
|
||
|
constructor_name (current_class_type) instead of current_class_name.
|
||
|
|
||
|
* decl.c (grokparms): Don't do anything with the return value of
|
||
|
convert_for_initialization.
|
||
|
|
||
|
* error.c (dump_decl): Also dump_readonly_or_volatile on the decl.
|
||
|
|
||
|
* decl.c (duplicate_decls): Tweak error message.
|
||
|
|
||
|
* typeck.c (build_const_cast): Implement checking.
|
||
|
(build_reinterpret_cast): Implement some checking.
|
||
|
|
||
|
* cp-tree.h (CONV_FORCE_TEMP): Require a new temporary when
|
||
|
converting to the same aggregate type.
|
||
|
(CONV_STATIC_CAST): Include it.
|
||
|
(CONV_C_CAST): Likewise.
|
||
|
* cvt.c (convert_force): Use CONV_C_CAST instead of CONV_OLD_CONVERT.
|
||
|
(cp_convert): Only force a new temporary if CONV_FORCE_TEMP.
|
||
|
|
||
|
Fri Feb 10 16:18:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (build_c_cast): Use non_lvalue to tack something on
|
||
|
where necessary.
|
||
|
|
||
|
* decl.c (auto_function): Now a function.
|
||
|
* except.c (init_exception_processing): terminate, unexpected,
|
||
|
set_terminate, and set_unexpected have C++ linkage.
|
||
|
|
||
|
* typeck.c (build_unary_op, TRUTH_NOT_EXPR): Use convert instead of
|
||
|
truthvalue_conversion for converting to bool, as it handles
|
||
|
user-defined conversions properly.
|
||
|
(condition_conversion): Likewise.
|
||
|
|
||
|
* except.c (expand_throw): Don't call convert_to_reference.
|
||
|
Pass the correct parameters to build_new.
|
||
|
|
||
|
* method.c (do_build_assign_ref): Don't use access control when
|
||
|
converting to a base reference here.
|
||
|
(do_build_copy_constructor): Or here.
|
||
|
|
||
|
* init.c (build_new): Unset TREE_READONLY on the dereferenced
|
||
|
pointer before assigning to it.
|
||
|
|
||
|
* decl.c (maybe_build_cleanup): Don't bother stripping const here.
|
||
|
|
||
|
* decl2.c (delete_sanity): You can now delete pointer to const.
|
||
|
|
||
|
Fri Feb 10 13:28:38 1995 Jason Merrill <jason@python.cygnus.com>
|
||
|
|
||
|
* decl.c (finish_function): Don't rely on actual parameters being
|
||
|
evaluated left-to-right.
|
||
|
* except.c (expand_end_catch_block): Likewise.
|
||
|
|
||
|
Fri Feb 10 00:52:04 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* tree.c (real_lvalue_p): Like lvalue_p, but class temps aren't
|
||
|
considered lvalues.
|
||
|
* cvt.c (convert_to_reference): Use real_lvalue_p instead of
|
||
|
lvalue_p.
|
||
|
|
||
|
* cvt.c (build_type_conversion_1): Don't call convert on aggregate
|
||
|
types.
|
||
|
(convert_to_reference): Fix erroneous text substitution.
|
||
|
|
||
|
* typeck2.c (initializer_constant_valid_p): Update from C frontend.
|
||
|
Add new argument to all callers.
|
||
|
|
||
|
* typeck.c (convert_arguments): Check for error_mark_node before
|
||
|
trying to do anything with the actual parameter.
|
||
|
|
||
|
* typeck.c (condition_conversion): Build up a CLEANUP_POINT_EXPR and
|
||
|
fold it.
|
||
|
(bool_truthvalue_conversion): Remove. Fix all callers to call
|
||
|
truthvalue_conversion instead.
|
||
|
(various): Fold CLEANUP_POINT_EXPRs.
|
||
|
|
||
|
* parse.y (conditions): Call condition_conversion rather than
|
||
|
building up a CLEANUP_POINT_EXPR.
|
||
|
|
||
|
* pt.c (end_template_decl): Don't warn_if_unknown_interface here
|
||
|
under -falt-external-templates.
|
||
|
|
||
|
Thu Feb 9 05:24:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Complain about new of const type without
|
||
|
initializer. Other cleanup.
|
||
|
|
||
|
* call.c (compute_conversion_costs): Don't call
|
||
|
build_type_conversion with a reference type; convert to the target
|
||
|
type and check its lvaluetude.
|
||
|
* cvt.c (convert_to_reference): Likewise.
|
||
|
|
||
|
* cvt.c (build_type_conversion_1): There will never be any need to
|
||
|
dereference references here now.
|
||
|
|
||
|
Thu Feb 9 00:37:47 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_builtin_throw): Make sure we only `use' the
|
||
|
value of return_val_rtx.
|
||
|
|
||
|
Wed Feb 8 15:45:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (structsp): Don't complain about declaring a type being
|
||
|
defined to be a friend.
|
||
|
|
||
|
* decl2.c (warn_if_unknown_interface): Note the template in question
|
||
|
and the point of instantiation, for -falt-external-templates.
|
||
|
* lex.c (reinit_parse_for_method): Pass the decl to
|
||
|
warn_if_unknown_interface.
|
||
|
* pt.c (instantiate_template): Likewise.
|
||
|
(end_template_decl): Likewise.
|
||
|
|
||
|
* decl.c (set_nested_typename): Set IDENTIFIER_TYPE_VALUE on the
|
||
|
nested name again, to make local classes work a bit better.
|
||
|
|
||
|
* typeck.c (build_function_call_real): Dereference reference after
|
||
|
checking for incomplete type.
|
||
|
|
||
|
* init.c (build_new): Accept new of const and volatile types.
|
||
|
|
||
|
Wed Feb 8 14:04:16 1995 Jason Merrill <jason@deneb.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Fix error message.
|
||
|
|
||
|
Wed Feb 8 03:16:15 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (convert_for_initialization): Do bash arrays when
|
||
|
converting to a reference to non-array.
|
||
|
|
||
|
Tue Feb 7 15:50:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cvt.c (cp_convert): Don't call convert_to_reference, or
|
||
|
automatically dereference references. Do pass reference conversions
|
||
|
to cp_convert_to_pointer.
|
||
|
(cp_convert_to_pointer): Support references.
|
||
|
|
||
|
* call.c (build_method_call): Don't build up a reference to the
|
||
|
parameter here; let build_overload_call handle that.
|
||
|
|
||
|
* typeck.c (build_c_cast): Call convert_to_reference directly if
|
||
|
converting to a reference type.
|
||
|
* method.c (do_build_copy_constructor): Likewise.
|
||
|
* method.c (do_build_copy_constructor): Likewise.
|
||
|
(do_build_assign_ref): Likewise.
|
||
|
|
||
|
* call.c (build_method_call): Dereference a returned reference.
|
||
|
* typeck.c (build_function_call_real): Likewise.
|
||
|
|
||
|
* decl.c (xref_basetypes): Check for unions with basetypes here.
|
||
|
(xref_tag): Instead of here.
|
||
|
|
||
|
* pt.c (process_template_parm): Template type parm decls are
|
||
|
artificial.
|
||
|
|
||
|
Mon Feb 6 04:32:09 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y (typed_declspecs): Add missing semicolon.
|
||
|
(do_xref_defn): Resurrect.
|
||
|
(named_class_head_sans_basetype): Move template specialization
|
||
|
definition cases to named_class_head_sans_basetype_defn.
|
||
|
|
||
|
* decl2.c (grokfield): Call pushdecl_class_level after setting the
|
||
|
TYPE_NAME, not before.
|
||
|
|
||
|
Sun Feb 5 02:50:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): Don't call sorry here. Don't allow
|
||
|
conversions between function pointer types if pedantic.
|
||
|
|
||
|
* pt.c (overload_template_name): Pass globalize=1 to xref_tag.
|
||
|
|
||
|
* lex.c (cons_up_default_function): Use the full name for the return
|
||
|
type of op=.
|
||
|
|
||
|
* decl.c (set_nested_typename): Don't worry about anonymous types,
|
||
|
as they already have a unique name.
|
||
|
(pushdecl): Remove redundant set_nested_typename
|
||
|
(xref_tag): Split out base handling into xref_basetypes.
|
||
|
|
||
|
* cp-tree.h (TYPE_INCOMPLETE): New macro; TEMPLATE_TYPE_PARMs are
|
||
|
not considered incomplete even though their definition is unknown.
|
||
|
|
||
|
* decl.c (xref_defn_tag): Lose.
|
||
|
(xref_tag): xref_next_defn = ! globalize.
|
||
|
(pushdecl): Don't set DECL_NESTED_TYPENAME on artificial decls. The
|
||
|
ones that should have it set will have it set by pushtag.
|
||
|
(pushdecl_class_level): Likewise.
|
||
|
(pushtag): Tidy up a bit.
|
||
|
(set_nested_typename): Push a decl for the nested typename from
|
||
|
here, rather than from xref_defn_tag.
|
||
|
|
||
|
* parse.y (do_xref): Lose.
|
||
|
(named_class_head): If we see 'class foo:' we know it's a
|
||
|
definition, so don't worry about base lists for non-definitions.
|
||
|
|
||
|
* pt.c (push_template_decls): Template parm decls are artificial.
|
||
|
|
||
|
* decl.c (duplicate_decls): Restore check for qualifier
|
||
|
disagreement for non-functions.
|
||
|
(decls_match): Remove check for qualifier disagreement.
|
||
|
|
||
|
Fri Feb 3 14:58:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (grok_reference_init): Convert initializer from
|
||
|
reference.
|
||
|
* typeck.c (convert_for_initialization): Likewise.
|
||
|
|
||
|
* decl.c (duplicate_decls): Propagate DECL_NESTED_TYPENAME.
|
||
|
|
||
|
* cvt.c (cp_convert): Don't convert to the same class type by just
|
||
|
tacking on a NOP_EXPR.
|
||
|
(convert_to_reference): Use comp_target_types instead of comptypes
|
||
|
so that we don't allow conversions two levels down.
|
||
|
|
||
|
Thu Feb 2 15:07:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (build_vbase_path): Bash types to make the backend happy.
|
||
|
* cvt.c (build_up_reference): Bash the types bashed by
|
||
|
build_vbase_path to be reference types instead of pointer types.
|
||
|
(convert_to_reference): Likewise.
|
||
|
|
||
|
* typeck.c (build_c_cast): Don't strip NOPs if we're converting to a
|
||
|
reference type.
|
||
|
|
||
|
* parse.y (structsp): Put back error for 'struct B: public A;'.
|
||
|
|
||
|
Wed Feb 1 23:02:06 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Add support for mips systems that don't define __mips
|
||
|
but do define mips, like Ultrix.
|
||
|
|
||
|
Wed Feb 1 22:39:07 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Add support for exception handling on the Alpha.
|
||
|
|
||
|
Wed Feb 1 10:12:14 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): Fix bug in Jan 31st change.
|
||
|
|
||
|
Tue Jan 31 16:59:15 1995 Gerald Baumgartner <gb@lorenzo.cs.purdue.edu>
|
||
|
|
||
|
* sig.c (build_signature_pointer_or_reference_type): Don't set
|
||
|
IS_AGGR_TYPE for signature pointers/reference so expand_default_init
|
||
|
doesn't expect to find a copy constructor.
|
||
|
* call.c (build_method_call): Treat signature pointers/reference
|
||
|
as if IS_AGGR_TYPE were set.
|
||
|
|
||
|
Tue Jan 31 13:28:56 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* gc.c (get_typeid): Pawn off error messages to build_t_desc.
|
||
|
(build_t_desc): Inform the user here if they try and build
|
||
|
with -frtti and don't include <typeinfo.h>.
|
||
|
|
||
|
* decl2.c (finish_prevtable_vardecl): Support rescanning.
|
||
|
(finish_file): Move finish_prevtable_vardecl up to before the global
|
||
|
initializers are done as tdecls are initialized in the global
|
||
|
initializer. Also Pick up any new tdecls or vtables needed by
|
||
|
synthesized methods.
|
||
|
|
||
|
* class.c (finish_struct): Simplify. We have to do rtti scanning at
|
||
|
end, so we might as well do all of it there.
|
||
|
|
||
|
Tue Jan 31 05:35:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Fix -fthis-is-variable for 32-bit
|
||
|
targets, too.
|
||
|
|
||
|
Tue Jan 31 00:11:04 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_prevtable_vardecl): New routine, mostly split from
|
||
|
finish_vtable_vardecl. It has the first half functionality from
|
||
|
that routine.
|
||
|
* decl2.c (finish_vtable_vardecl): Update to not include stuff not
|
||
|
in finish_prevtable_vardecl.
|
||
|
* decl2.c (finish_file): Call finish_prevtable_vardecl.
|
||
|
* gc.c (build_generic_desc): Allow it to be called when not at the
|
||
|
global binding layer, but behave as if we were.
|
||
|
(build_t_desc): Rearrange a bit so that it really works and is
|
||
|
easier to follow.
|
||
|
* class.c (finish_struct): Don't decide on tdecls here, as we have
|
||
|
to wait until the end of the file in general to decide whether or
|
||
|
not they come out.
|
||
|
|
||
|
Mon Jan 30 01:00:40 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_delete): Check access to operator delete before
|
||
|
calling the destructor.
|
||
|
* method.c (build_opfncall, DELETE_EXPR): build_method is allowed to
|
||
|
return error_mark_node.
|
||
|
* call.c (build_method_call): Use the one-argument op delete even if
|
||
|
it's an error.
|
||
|
|
||
|
* init.c (build_new): Fix -fthis-is-variable support.
|
||
|
* call.c (build_method_call): Likewise.
|
||
|
|
||
|
* call.c (convert_harshness): Make conversion from a pointer to bool
|
||
|
worse than conversion to another pointer.
|
||
|
|
||
|
Sat Jan 28 16:46:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* init.c (build_new): Check new return value if -fcheck-new.
|
||
|
|
||
|
* lex.c (check_newline): Clear end_of_file when we're done, too.
|
||
|
|
||
|
Sat Jan 28 10:38:39 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_vtable_vardecl): Make rtti TD tables follow
|
||
|
vtables whereever they go.
|
||
|
|
||
|
* gc.c (build_t_desc): Remove old way of setting it up, as it wasn't
|
||
|
right.
|
||
|
|
||
|
Sat Jan 28 09:10:44 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_vtable_vardecl): Now set the
|
||
|
interface/implementation of vtables on the first virtual function,
|
||
|
if one exists, otherwise we use the old method. This is a major win
|
||
|
in terms of cutting down the size of objects and executables in
|
||
|
terms of text space and data space. Now most of the savings that
|
||
|
#pragma interface/implementation gives is automatic in a fair number
|
||
|
of cases.
|
||
|
|
||
|
Sat Jan 28 04:57:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (grokdeclarator): Discard the template parameters in a
|
||
|
template constructor declaration so that the function is always
|
||
|
named constructor_name (ctype).
|
||
|
|
||
|
* lex.c (check_newline): Use ungetc to put back the character before
|
||
|
calling HANDLE_PRAGMA.
|
||
|
|
||
|
Fri Jan 27 17:23:47 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* decl2.c (check_classfn): If the cname is T<int> and fn_name is T,
|
||
|
make sure we still match them.
|
||
|
|
||
|
Fri Jan 27 16:32:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* parse.y: Add END_OF_LINE token.
|
||
|
|
||
|
* lex.c (check_newline): Set linemode when we see a # directive, and
|
||
|
unset it when we're done. Turn all 'return's into 'goto skipline'.
|
||
|
Fix all uses of '\n', since we won't see it anymore. Put back the
|
||
|
character we read before checking for a sysv or target pragma.
|
||
|
(real_yylex): If we see an EOF in linemode, return END_OF_LINE.
|
||
|
(handle_sysv_pragma): Don't look at the input stream; quit when we
|
||
|
see an END_OF_LINE token.
|
||
|
|
||
|
* input.c (getch): Return EOF if we're in line mode and at the end
|
||
|
of a line.
|
||
|
(put_back): Don't put back an EOF.
|
||
|
|
||
|
Thu Jan 26 19:26:34 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (expand_throw): Do the newing of the exception object
|
||
|
before we load the type descriptor or the address so that we don't
|
||
|
wipe any of the values out.
|
||
|
|
||
|
Thu Jan 26 19:20:00 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (init_exception_processing): Don't use r12 on the rs6000.
|
||
|
|
||
|
Tue Jan 24 16:36:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (grokparms): Don't try to build up a reference at this point.
|
||
|
|
||
|
* typeck2.c (build_functional_cast): Don't assume that a NOP_EXPR
|
||
|
will suffice to convert from integer_zero_node.
|
||
|
|
||
|
Wed Jan 25 15:02:09 1995 David S. Miller <davem@nadzieja.rutgers.edu>
|
||
|
|
||
|
* class.c (instantiate_type): Change error message text.
|
||
|
* typeck2.c (store_init_value): Likewise.
|
||
|
|
||
|
Mon Jan 23 21:57:14 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* pt.c (tsubst): When we copy a node, don't forget to copy
|
||
|
TREE_CHAIN, we use it later.
|
||
|
|
||
|
Mon Jan 23 03:33:47 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (convert_for_assignment): Initialize variable before use.
|
||
|
|
||
|
Fri Jan 20 01:17:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* g++.c (main): Link with both libstdc++ and libg++ if called as
|
||
|
something ending with "g++", otherwise only libstdc++. Move -lm to
|
||
|
the end of the line.
|
||
|
|
||
|
Thu Jan 19 15:43:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Don't mess with 'this' before calling
|
||
|
compute_conversion_costs.
|
||
|
|
||
|
Wed Jan 18 15:40:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* search.c (get_matching_virtual): Give line number for previous
|
||
|
declaration.
|
||
|
|
||
|
* call.c (convert_harshness): Handle conversions to references
|
||
|
better.
|
||
|
|
||
|
* cvt.c (build_up_reference): OK, handle {MIN,MAX}_EXPR *properly*.
|
||
|
|
||
|
Wed Jan 18 15:21:38 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* class.c (instantiate_type): Use DECL_CHAIN to walk lists instead,
|
||
|
as the TREE_CHAIN for methods will take us to the next differently
|
||
|
named function, DECL_CHAIN won't.
|
||
|
|
||
|
Wed Jan 18 14:26:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* tree.c (lvalue_p): Handle {MIN,MAX}_EXPR.
|
||
|
|
||
|
* decl2.c (lang_decode_option): -Wall implies -Wparentheses.
|
||
|
warn_parentheses defaults to 0.
|
||
|
|
||
|
* decl.c (grokparms): Put back call to require_instantiated_type.
|
||
|
|
||
|
Tue Jan 17 19:56:15 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c (exception_section): Use the data section on the rs6000.
|
||
|
Change calling convention for named_section.
|
||
|
|
||
|
Wed Jan 17 18:20:57 1994 Fergus Henderson <fjh@munta.cs.mu.oz.au>
|
||
|
|
||
|
* cp-tree.h: Make if (x=0) warn with wall
|
||
|
* parse.y: Make if (x=0) warn with wall
|
||
|
|
||
|
Tue Jan 17 14:12:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (BOOL_TYPE_SIZE): BITS_PER_WORD if SLOW_BYTE_ACCESS,
|
||
|
BITS_PER_UNIT otherwise.
|
||
|
|
||
|
* search.c (get_matching_virtual): Don't check the binfo if the
|
||
|
types are the same.
|
||
|
|
||
|
* cvt.c (cp_convert): Just call truthvalue_conversion to convert to
|
||
|
bool.
|
||
|
|
||
|
Mon Jan 16 13:28:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* various: Use boolean_type_node, boolean_true_node,
|
||
|
boolean_false_node.
|
||
|
|
||
|
* search.c (get_matching_virtual): Allow covariant returns that
|
||
|
don't require pointer adjustment.
|
||
|
|
||
|
* typeck.c (build_conditional_expr): Don't call default_conversion
|
||
|
on ifexp.
|
||
|
|
||
|
* cvt.c (build_up_reference): Handle MIN_EXPR and MAX_EXPR.
|
||
|
|
||
|
* decl.c (grokdeclarator): Upgrade warning about &const to pedwarn.
|
||
|
|
||
|
Sun Jan 15 22:17:32 1995 David Binderman <dcb@lovat.fmrco.COM>
|
||
|
|
||
|
* pt.c (do_function_instantiation): Free targs once we're done.
|
||
|
|
||
|
Sun Jan 15 22:17:32 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (BOOL_TYPE_SIZE): Defaults to BITS_PER_WORD.
|
||
|
(init_decl_processing): Use BOOL_TYPE_SIZE instead of CHAR_TYPE_SIZE
|
||
|
for bool.
|
||
|
|
||
|
Sat Jan 14 05:33:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl2.c (finish_file): We need to mess up if there are any
|
||
|
variables in the list, not just if there is one with a constructor.
|
||
|
|
||
|
Fri Jan 13 14:42:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (duplicate_decls): Propagate DECL_STATIC_{CON,DE}STRUCTOR.
|
||
|
(finish_function): Handle DECL_STATIC_{CON,DE}STRUCTOR.
|
||
|
(finish_function): Trust rest_of_compilation.
|
||
|
|
||
|
* decl2.c (finish_file): Also call functions designated as static
|
||
|
constructors/destructors.
|
||
|
|
||
|
* decl.c (grokdeclarator): Allow access decls of operator functions.
|
||
|
(grokparms): Only do convert_for_initialization if the initializer
|
||
|
has a type.
|
||
|
(duplicate_decls): Put back push_obstacks_nochange call.
|
||
|
|
||
|
* lex.c (real_yylex): Downgrade complaint about the escape sequence
|
||
|
being too large from pedwarn to warning.
|
||
|
|
||
|
* decl.c (grokdeclarator): Don't complain about long long in system
|
||
|
headers.
|
||
|
|
||
|
* lex.c (real_yylex): Handle digraphs.
|
||
|
|
||
|
Thu Jan 12 12:17:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (init_decl_processing): -f{no-,}strict-prototype only
|
||
|
affects C linkage declarations now.
|
||
|
|
||
|
* typeck.c (comp_target_types): Grok simple contravariant conversions.
|
||
|
(common_type): t1 and t2 are interchangeable.
|
||
|
|
||
|
* various: Test return value of comp_target_types differently in
|
||
|
different places; it now returns -1 for a contravariant conversion
|
||
|
(which is fine in symmetric cases).
|
||
|
|
||
|
(common_type): Prefer long double to double even when
|
||
|
they have the same precision.
|
||
|
|
||
|
* decl.c (grokparms): Call convert_for_initialization to check
|
||
|
default arguments.
|
||
|
|
||
|
* init.c (build_new): void_type_node has a size (of 0).
|
||
|
|
||
|
* decl.c (decls_match): Also check for agreement of TREE_READONLY
|
||
|
and TREE_THIS_VOLATILE.
|
||
|
(push_class_level_binding): Properly handle shadowing of
|
||
|
nested tags by fields.
|
||
|
|
||
|
* search.c (dfs_pushdecls): Likewise.
|
||
|
|
||
|
* decl2.c (finish_file): Don't second-guess self-initialization.
|
||
|
|
||
|
* cvt.c (convert_to_reference): Work with expr directly, rather than
|
||
|
a copy.
|
||
|
|
||
|
* decl.c (push_overloaded_decl): Only shadow artificial TYPE_DECLs.
|
||
|
|
||
|
* init.c (add_friend): Downgrade duplicate friend message from
|
||
|
pedwarn to warning.
|
||
|
|
||
|
* decl.c (duplicate_decls): Push obstacks before calling common_type.
|
||
|
|
||
|
Thu Jan 12 17:15:21 1995 Michael Ben-Gershon <mybg@cs.huji.ac.il>
|
||
|
|
||
|
* except.c (push_eh_entry): Set LABEL_PRESERVE_P flag for
|
||
|
exception table labels.
|
||
|
(expand_start_all_catch): Likewise.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(expand_end_catch_block): Likewise.
|
||
|
* except.c (make_first_label): New function.
|
||
|
(expand_start_all_catch): Add a call to make_first_label() before
|
||
|
using a label as a jump destination.
|
||
|
(expand_end_all_catch): Likewise.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(expand_end_catch_block): Likewise.
|
||
|
(expand_builtin_throw): Likewise.
|
||
|
(expand_throw): Likewise.
|
||
|
* except.c: Add ARM processor support for exception handling.
|
||
|
|
||
|
Thu Jan 12 12:17:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
(complete_array_type): Copy code from C frontend.
|
||
|
|
||
|
* lex.c (real_yylex): Don't multiply the length of a wide string
|
||
|
literal by WCHAR_BYTES.
|
||
|
|
||
|
* decl.c (pushdecl): Check for redeclaration of wchar_t here.
|
||
|
(duplicate_decls): Instead of here.
|
||
|
(define_label): Complain about a label named wchar_t.
|
||
|
(grokdeclarator): Complain about declarations of
|
||
|
operator-function-ids as non-functions.
|
||
|
|
||
|
* typeck.c (unary_complex_lvalue): Also wrap prefix -- and ++ in
|
||
|
COMPOUND_EXPRs.
|
||
|
(build_unary_op): Wrap unary plus in a NON_LVALUE_EXPR.
|
||
|
|
||
|
* lex.c (real_yylex): Don't skip whitespace when reading the next
|
||
|
character after ->.
|
||
|
|
||
|
Wed Jan 11 16:32:49 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* except.c: Allow cc1plus to be built with native compiler on rs6000.
|
||
|
(expand_start_all_catch): Add assemble_external calls for various
|
||
|
routines we call.
|
||
|
(expand_leftover_cleanups): Likewise.
|
||
|
(expand_start_catch_block): Likewise.
|
||
|
(do_unwind): Likewise.
|
||
|
(expand_builtin_throw): Likewise.
|
||
|
|
||
|
Wed Jan 11 01:05:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (pushtag): Only look for a previous decl in the current
|
||
|
binding level. Use explicit global scope in DECL_NESTED_TYPENAME.
|
||
|
|
||
|
* gxx.gperf: Add __signature__ and __sigof__ keywords.
|
||
|
|
||
|
* decl2.c (lang_decode_option): -ansi does not set flag_no_asm. It
|
||
|
does set flag_no_gnu_keywords and flag_operator_names.
|
||
|
|
||
|
* lex.c (init_lex): 'overload' is not a keyword unless -traditional.
|
||
|
Unset extension keywords if -fno-gnu-keywords.
|
||
|
Allow operator names ('bitand') if -foperator-names.
|
||
|
Never unset 'asm'; -fno-asm only affects 'typeof'.
|
||
|
|
||
|
* decl.c (lookup_name_real): The got_object special lookup only
|
||
|
applies to types.
|
||
|
|
||
|
Tue Jan 10 18:07:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* spew.c (yylex): Also use DECL_NESTED_TYPENAME if got_object is set.
|
||
|
|
||
|
* parse.y (primary): Unset got_object after all rules that use the
|
||
|
'object' nonterminal.
|
||
|
(object): Set got_object.
|
||
|
|
||
|
* lex.h: Declare got_object.
|
||
|
|
||
|
* decl.c (lookup_name_real): Also lookup names in the context of an
|
||
|
object specified.
|
||
|
|
||
|
Tue Jan 10 14:30:30 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* typeck.c (get_member_function_from_ptrfunc): Use ptrdiff_type_node
|
||
|
for things that have to be added to pointers, not size_type. Cures
|
||
|
problems with pointer to members on Alphas.
|
||
|
(build_binary_op_nodefault): Likewise.
|
||
|
(get_delta_difference_: Likewise.
|
||
|
(build_ptrmemfunc): Likewise.
|
||
|
|
||
|
Tue Jan 10 01:49:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (pushtag): Stick the new decl in TYPE_NAME before pushing
|
||
|
it.
|
||
|
|
||
|
* typeck.c (build_component_ref): Don't build up a COMPONENT_REF
|
||
|
when dealing with overloaded member functions; just act like
|
||
|
build_offset_ref.
|
||
|
(commonparms): Remove misleading comment.
|
||
|
|
||
|
* decl.c (duplicate_decls): Complain about repeated default
|
||
|
arguments here.
|
||
|
(redeclaration_error_message): Instead of here.
|
||
|
(pushdecl): Complain about missing default arguments here.
|
||
|
(grokparms): Instead of here.
|
||
|
(lookup_name_current_level): Also match on DECL_ASSEMBLER_NAME.
|
||
|
(grok_reference_init): Do not complain about missing initializer if
|
||
|
declared 'extern'.
|
||
|
|
||
|
* search.c (lookup_field): Don't return a TYPE_DECL if there is a
|
||
|
function alternative and want_type is not set.
|
||
|
|
||
|
Mon Jan 9 18:16:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* decl.c (pushtag): Don't set TYPE_NAME to an identifier. Do push
|
||
|
the decl when the type has no TYPE_NAME.
|
||
|
(lookup_nested_type): Don't assume that type has TYPE_NAME set.
|
||
|
(lookup_name_real): Call lookup_field with want_type =
|
||
|
prefer_type.
|
||
|
|
||
|
* search.c (lookup_field): Handle want_type properly in the presence
|
||
|
of fields with the same name.
|
||
|
|
||
|
* decl.c (set_nested_typename): Set nested name for file-scope types
|
||
|
to include leading ::.
|
||
|
(pushdecl): Set the nested typename if the decl doesn't have one,
|
||
|
rather than if the type's canonical decl doesn't have one.
|
||
|
|
||
|
Mon Jan 9 03:44:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* typeck.c (convert_for_assignment): Complain about contravariance
|
||
|
violation here.
|
||
|
(comp_target_types): Instead of here.
|
||
|
(build_unary_op): resolve_offset_ref before checking for a valid
|
||
|
type.
|
||
|
|
||
|
* spew.c (yylex): Decrement looking_for_typename after we see a
|
||
|
_DEFN.
|
||
|
|
||
|
* decl.c (pushdecl): Don't install an artificial TYPE_DECL in
|
||
|
IDENTIFIER_LOCAL_VALUE if we already have a decl with that name.
|
||
|
|
||
|
* typeck.c (convert_for_assignment): Converting pointers to bool
|
||
|
does not need a cast.
|
||
|
|
||
|
Sun Jan 8 18:16:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* class.c (instantiate_type): Initialize nsubsts parm.
|
||
|
|
||
|
* pt.c (do_function_instantiation): Likewise.
|
||
|
|
||
|
Sat Jan 7 14:37:05 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* pt.c (tsubst): Use TREE_STATIC instead of DECL_INLINE &&
|
||
|
DECL_SAVED_INSNS to determine whether or not we've seen a definition
|
||
|
of this function.
|
||
|
(instantiate_template): Likewise.
|
||
|
|
||
|
* call.c (convert_harshness): Allow const reference binding when
|
||
|
called from the overloading code, but not when called from
|
||
|
can_convert (since it isn't a conversion).
|
||
|
(convert_harshness): Put back some disabled code.
|
||
|
|
||
|
Fri Jan 6 14:10:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (convert_harshness): There is no implicit conversion from
|
||
|
void* to other pointer types (unless the parameter is (void*)0).
|
||
|
(convert_harshness): Non-lvalues do not convert to reference types.
|
||
|
|
||
|
* class.c (finish_struct_methods): Still set
|
||
|
TYPE_HAS_{INT,REAL}_CONVERSION.
|
||
|
|
||
|
* call.c (can_convert): Don't use aggregate initialization.
|
||
|
|
||
|
* cp-tree.h: Declare lookup_conversions.
|
||
|
|
||
|
Thu Jan 5 21:08:00 1995 Mike Stump <mrs@cygnus.com>
|
||
|
|
||
|
* parse.y (simple_stmt): Fix duplicate case value error messages to
|
||
|
be more readable.
|
||
|
|
||
|
Wed Jan 4 16:44:19 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* cvt.c (build_type_conversion): Total rewrite to use
|
||
|
convert_harshness instead of reproducing conversion logic here. Now
|
||
|
much shorter.
|
||
|
|
||
|
* call.c (convert_harshness): Support conversions to bool.
|
||
|
(can_convert): Checks whether a conversion is less harsh
|
||
|
than USER_CODE, for build_type_conversion.
|
||
|
|
||
|
* search.c (add_conversions): Function for passing to dfs_walk which
|
||
|
adds all the type conversion operators in the current type to a list.
|
||
|
(lookup_conversions): Calls dfs_walk with add_conversions and return
|
||
|
the list.
|
||
|
(dfs_walk): Don't require a qfn.
|
||
|
|
||
|
* cp-tree.h: Lose CLASSTYPE_CONVERSIONS hackery.
|
||
|
(CLASSTYPE_FIRST_CONVERSION): Points to elt 1 of CLASSTYPE_METHOD_VEC.
|
||
|
|
||
|
* class.c (finish_struct_bits): Lose CLASSTYPE_CONVERSIONS hackery.
|
||
|
(grow_method): A separate function for building onto the growing
|
||
|
method vector.
|
||
|
(finish_struct_methods): Use it. Put all type conversion operators
|
||
|
right after the constructors. Perhaps we should sort the methods
|
||
|
alphabetically?
|
||
|
|
||
|
Mon Jan 2 14:42:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
|
||
|
|
||
|
* call.c (build_method_call): Lose another misleading shortcut.
|
||
|
|