1 Thu Dec 28 11:13:15 1995 Mike Stump <mrs@cygnus.com>
3 * except.c (expand_builtin_throw): Use RETURN_ADDR_OFFSET instead of
4 NORMAL_RETURN_ADDR_OFFSET.
5 (end_eh_unwinder): Likewise.
7 Wed Dec 27 22:18:16 1995 Mike Stump <mrs@cygnus.com>
9 * gc.c (build_dynamic_cast): Make sure we don't cast away const
10 when dealing with references, and make sure we handle dynamic
11 casting to a cv qualified reference.
13 Thu Dec 21 23:50:35 1995 Mike Stump <mrs@cygnus.com>
15 * except.c (struct eh_context): New structure top hold eh context
17 (push_eh_context): New routine.
18 (pop_eh_context): Likewise.
19 * decl.c (push_cp_function_context): Use them.
20 (pop_cp_function_context): Likewise.
22 Wed Dec 20 12:42:51 1995 Jason Merrill <jason@yorick.cygnus.com>
24 * decl2.c (finish_file): Also prune uninteresting functions in the
27 Wed Dec 20 02:32:07 1995 Jeffrey A Law <law@cygnus.com>
29 * sig.c (build_signature_table_constructor): Mark functions
30 in the signature as referenced.
32 Tue Dec 19 22:36:56 1995 Jason Merrill <jason@yorick.cygnus.com>
34 * decl2.c (finish_file): Do all the vtable/synthesis stuff before
35 the inline emission stuff.
37 Mon Dec 18 15:51:33 1995 Jason Merrill <jason@yorick.cygnus.com>
39 * cp-tree.h, decl2.c (flag_weak): New flag to control the use of
41 * lang-options.h: Add -f{no-,}weak.
42 * decl.c (init_decl_processing): If the target does not support weak
43 symbols, don't use them.
44 * decl2.c, pt.c: s/SUPPORTS_WEAK/flag_weak/.
46 Sun Dec 17 21:13:23 1995 Rusty Russell <rusty@adelaide.maptek.com.au>
48 * init.c (expand_member_init): warning for base init after members.
50 Fri Dec 15 15:32:18 1995 Jason Merrill <jason@yorick.cygnus.com>
52 * cvt.c (build_expr_type_conversion): Don't convert to a reference
55 Thu Dec 14 16:05:58 1995 Mike Stump <mrs@cygnus.com>
57 * method.c (report_type_mismatch): Improve wording for volatile
60 Thu Dec 14 14:16:26 1995 Mike Stump <mrs@cygnus.com>
62 * init.c (expand_aggr_init_1): Use expand_aggr_init_1 instead of
63 expand_assignment, as the later doesn't handle things that have
64 copy constructors well. The compiler would do bitwise copying,
65 instead of ctor calling in some cases.
67 Wed Dec 13 17:05:54 1995 Paul Eggert <eggert@twinsun.com>
69 * g++.c (my_strerror): Return "cannot access" if errno is 0.
70 (pfatal_with_name, perror_exec): Don't assume that
71 the returned value from my_strerror contains no '%'s.
73 (sys_nerror): Declare only if HAVE_STRERROR is not defined.
75 Wed Dec 13 16:22:38 1995 Jason Merrill <jason@yorick.cygnus.com>
77 Lose CLASSTYPE_METHODS/DECL_NEXT_METHOD chain; make
78 TYPE_METHODS/TREE_CHAIN mean what they used to.
79 * decl2.c (constructor_name_full): Refer to CLASSTYPE_METHOD_VEC
80 instead of TYPE_METHODS.
81 * decl.c (duplicate_decls): Lose references to DECL_NEXT_METHOD.
82 * tree.c (tree_copy_lang_decl_for_deferred_output): Likewise.
83 * cp-tree.h (CLASSTYPE_METHODS): Lose.
84 (CLASSTYPE_METHOD_VEC): Point to lang_spec->methods instead of
86 (struct lang_decl): Lose next_method field.
87 (DECL_NEXT_METHOD): Lose.
88 * class.c (finish_struct_methods): Don't mess with TYPE_METHODS.
89 (finish_struct): Just use TYPE_METHODS; we don't need fn_fields
91 (finish_struct_methods): Don't mess with the TREE_CHAINs in
94 * search.c (add_conversions): Don't use TREE_CHAIN to traverse method
97 * call.c (build_method_call): Synthesize here even when not inlining.
98 * typeck.c (build_function_call_real): Likewise.
100 Wed Dec 13 15:02:39 1995 Ian Lance Taylor <ian@cygnus.com>
102 * cp/lex.c (check_newline): If DBX_DEBUGGING_INFO and write_symbols
103 == DBX_DEBUG, call dbxout_start_new_source_file and
104 dbxout_resume_previous_source_file when appropriate.
106 Tue Dec 12 20:38:55 1995 Mike Stump <mrs@cygnus.com>
108 * except.c (start_anon_func): Push to the top level.
109 (end_anon_func): Pop from the top level.
111 Mon Dec 11 18:56:14 1995 Mike Stump <mrs@cygnus.com>
113 * cp-tree.h (build_cleanup): New routine to build cleanups.
114 * decl.c (expand_static_init): Use build_cleanup to build a cleanup
115 call at ctor time and use atexit to run it later.
116 * decl2.c (build_cleanup): New routine, taken from finish_file.
117 (finish_file): Use build_cleanup instead, and don't put function
118 local statics in global dtor list.
120 Wed Dec 6 14:34:29 1995 Mike Stump <mrs@cygnus.com>
122 * except.c (expand_throw): Ensure that we have cleanups, if we try
125 Wed Dec 6 11:48:21 1995 Mike Stump <mrs@cygnus.com>
127 * except.c (expand_throw): Add logic to manage dynamic cleanups for
129 (expand_end_catch_block): Use the magic of expand_goto, instead of
130 emit_jump so that we get the cleanup for any catch clause parameter
131 and the cleanup for the exception object. Update to reflect label
133 (push_eh_cleanup): New routine to register a cleanup for an
135 (empty_fndecl): Used to default cleanup actions to
137 (init_exception_processing): Setup empty_fndecl. Setup
139 (expand_start_catch_block): Update to reflect label changes. Call
140 push_eh_object to register the cleanup for the EH object.
141 (start_anon_func): New routine to start building lambda expressions
143 (end_anon_func): New routine to end them.
144 (struct labelNode): Change so that we can use tree labels, or rtx
146 (saved_cleanup): Object to check for dynamic cleanups for the
147 exception handling object.
148 (push_label_entry): Change so that we can use tree labels, or rtx
150 (pop_label_entry): Likewise.
151 (top_label_entry): Likewise.
152 (expand_start_all_catch): Use tree label instead of rtx label, so
153 that we can get the magic of expand_goto.
154 (expand_end_all_catch): Update to reflect label changes.
156 * class.c (build_vfn_ref): Remove building_cleanup logic, as we now
158 * typeck.c (get_member_function_from_ptrfunc): Remove remnants of
159 building_cleanup logic, as we now use UNSAVE_EXPRs.
160 * cp-tree.h (unsave_expr): Declare it.
161 * decl.c (building_cleanup): Remove.
162 (maybe_build_cleanup): Remove building_cleanup logic, and use
165 Sun Dec 3 01:34:58 1995 Mike Stump <mrs@cygnus.com>
167 * gc.c (build_t_desc): Update error message to say <typeinfo>.
169 Thu Nov 30 12:30:05 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
171 * decl.c (pushdecl): Only warn about shadowing a local variable if
174 Sun Nov 26 16:06:55 1995 Rusty Russell <rusty@adelaide.maptek.com.au>
176 * typeck.c (build_binary_op_nodefault): Added warning about
177 comparisons between different enum types with -Wall, unless
178 -fenum-int-equiv set.
180 Wed Nov 22 15:44:02 1995 Mike Stump <mrs@cygnus.com>
182 * class.c (finish_struct_1): Skip down to the inner type in
183 multidimensional arrays. Ensures ctors will be made for types that
186 Wed Nov 22 14:19:22 1995 Mike Stump <mrs@cygnus.com>
188 * decl.c (last_dtor_insn): New to track the last compiler generated
190 (store_parm_decls): Set it.
191 (finish_function): Use it to see if the dtor is empty. Avoid doing
192 vtable setup all the time, if we can.
193 (struct cp_function): Add last_dtor_insn.
194 (push_cp_function_context): Save it.
195 (pop_cp_function_context): Restore it.
197 Wed Nov 22 11:52:19 1995 Paul Russell <Rusty.Russell@adelaide.maptek.com.au>
199 * typeck.c (build_unary_op): Set TREE_NO_UNUSED_WARNING to avoid
202 Tue Nov 21 17:15:23 1995 Mike Stump <mrs@cygnus.com>
204 * typeck.c (expand_target_expr): Make sure targets get put into the
205 current temp_slot_level, so that the free_temp_slots call will reuse
208 Tue Nov 21 13:32:03 1995 Mike Stump <mrs@cygnus.com>
210 * class.c (finish_struct_1): Delay delta fixups for virtual bases
211 until after we have done the hard virtuals, to avoid a bogus `every
212 virtual function must have a unique final overrider' for virtual
213 functions that are only overridden by hard virtuals.
215 Thu Nov 9 13:35:30 1995 Jason Merrill <jason@yorick.cygnus.com>
217 * pt.c (do_function_instantiation): Don't try to find a file-scope
218 template for a member function.
220 Tue Nov 14 06:20:35 1995 Mike Stump <mrs@cygnus.com>
222 * g++.c (main): Add handling of -nodefaultlibs.
224 Mon Nov 13 15:45:34 1995 Mike Stump <mrs@cygnus.com>
226 * cp-tree.h (INDIRECT_BIND): Add a way for the frontend to
227 distinguish between direct bindings of reference variables, and
228 indirect bindings of reference variables.
229 * cvt.c (build_up_reference): Use it.
230 * typeck.c (convert_arguments): Use it to indicate this is an
232 * decl.c (cp_finish_decl): Ensure that we reuse stack slots as fast
234 (expand_static_init): Likewise.
235 (cplus_expand_expr_stmt): Likewise.
236 * decl2.c (finish_file): Likewise.
237 * init.c (perform_member_init): Likewise.
238 (emit_base_init): Likewise.
239 (expand_aggr_vbase_init_1): Likewise.
241 Fri Nov 10 09:18:09 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
243 * decl.c (push_namespace): Rewrite to use build_lang_decl, so we
244 get a DECL_LANG_SPECIFIC node.
245 * cp-tree.h (lang_decl_flags): Add new member `level'.
246 (NAMESPACE_LEVEL): Don't use decl.arguments, instead use the
247 decl_flags level member.
249 Mon Nov 6 18:36:13 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
251 * call.c (build_method_call): Make sure instance has a
252 TYPE_LANG_SPECIFIC node before we dive into it.
254 Sat Nov 4 20:01:52 1995 Jason Molenda <crash@phydeaux.cygnus.com>
256 * method.c (make_thunk): Use TREE_SET_CODE to set thunk's tree code.
258 Thu Nov 2 17:56:57 1995 Mike Stump <mrs@cygnus.com>
260 * decl.c (duplicate_decls): When smashing decls, smash staticness in
263 Thu Nov 2 16:44:02 1995 Mike Stump <mrs@cygnus.com>
265 * decl.c (poplevel): Handle the merging of subblocks of cleanups
266 when finishing blocks that have already been created (usually due to
267 the fixup goto code). Fixes bad debugging information.
269 Wed Nov 1 12:33:53 1995 Jason Merrill <jason@yorick.cygnus.com>
271 * method.c (hack_identifier): Don't abort when we get a TREE_LIST
272 that's not a list of overloaded functions.
274 Wed Nov 1 11:38:58 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
276 * decl2.c (mark_vtable_entries): Check DECL_LANG_SPECIFIC on fn
277 before trying to use DECL_ABSTRACT_VIRTUAL_P.
279 Tue Oct 31 11:56:55 1995 Jason Merrill <jason@yorick.cygnus.com>
281 * decl2.c (mark_used): New function for hooking into setting of
283 * call.c (build_method_call): Use it.
284 * class.c (instantiate_type): Likewise.
285 * init.c (build_offset_ref): Likewise. Don't call assemble_external
286 for all like-named functions.
287 * method.c (hack_identifier): Likewise.
288 (emit_thunk): Don't call assemble_external.
289 (make_thunk): Create thunk as a FUNCTION_DECL so that it
290 gets the right mode and ENCODE_SECTION_INFO works.
292 * parse.y: Use mark_used. Pass operator names to do_identifier.
293 * lex.c (do_identifier): Handle operator names.
295 * decl2.c (grokclassfn): Tweak __in_chrg attributes.
297 Thu Oct 26 16:45:58 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
299 * errfn.c: Include stdio.h.
300 (cp_sprintf): Take out decl of sprintf, and cast sprintf to errorfn*.
302 Wed Oct 25 18:58:41 1995 Mike Stump <mrs@cygnus.com>
304 * typeck2.c (digest_init): Always convert initializers to the
307 Wed Oct 25 13:25:24 1995 Mike Stump <mrs@cygnus.com>
309 * init.c (member_init_ok_or_else): Don't allow member initializers
310 for indirect members, as it is invalid.
312 Wed Oct 25 11:35:28 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
314 * decl.c (grokdeclarator): Don't allow `friend signed ()'.
316 Fri Oct 20 10:30:59 1995 Mike Stump <mrs@cygnus.com>
318 * parse.y (for.init.statement): Catch compound statements inside for
319 initializations, if we're being pedantic.
321 Fri Oct 20 10:03:42 1995 Mike Stump <mrs@cygnus.com>
323 * decl.c (lookup_tag): Return NULL_TREE if we don't find what we are
326 Thu Oct 19 14:26:10 1995 Mike Stump <mrs@cygnus.com>
328 * error.c (dump_expr): Don't core dump when a boolean expression is
329 used as a default argument.
331 Thu Oct 19 10:36:30 1995 Jason Merrill <jason@yorick.cygnus.com>
333 * class.c (finish_struct_bits): Check aggregate_value_p instead of
336 Wed Oct 18 18:12:32 1995 Jason Merrill <jason@yorick.cygnus.com>
338 * class.c (finish_struct_bits): Also set TREE_ADDRESSABLE on a
339 BLKmode type that would otherwise be returned in registers.
341 Mon Oct 16 12:32:19 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
343 * g++.c (WITHLIBC): New macro.
344 (main): Declare saw_libc. Use WITHLIBC if `-lc' was used; set
345 saw_libc and pass it at the end if it was set.
347 Wed Oct 11 16:30:34 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
349 * parse.y (fn.def1): Call split_specs_attrs in
350 declmods notype_declarator case.
352 Sun Nov 26 14:47:42 1995 Richard Kenner <kenner@mole.gnu.ai.mit.edu>
354 * Version 2.7.2 released.
356 Mon Nov 20 14:05:00 1995 Mike Stump <mrs@cygnus.com>
358 * g++.c (pfatal_with_name): Add missing third argument to concat.
360 Thu Oct 26 13:59:54 1995 Mike Stump <mrs@cygnus.com>
362 * init.c (expand_aggr_init): Handle cv qualifiers on the object's
365 Sat Nov 11 08:25:55 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
367 * Version 2.7.1 released.
369 Thu Nov 2 17:02:47 1995 Jason Merrill <jason@yorick.cygnus.com>
371 * call.c (convert_harshness): Handle references to arrays.
373 Fri Oct 27 14:20:21 1995 Jason Merrill <jason@yorick.cygnus.com>
375 * typeck.c (comp_target_types): Check multi-level pointer
376 conversions in both directions.
378 Tue Oct 17 21:39:05 1995 Jason Merrill <jason@yorick.cygnus.com>
380 * parse.y (explicit_instantiation): Fix 'extern template' with no
383 Mon Oct 16 14:35:20 1995 Jason Merrill <jason@yorick.cygnus.com>
385 * parse.y (explicit_instantiation): Support automatic instantiation
387 (named_class_head_*): Support out-of-class definition of nested
390 Wed Oct 11 12:20:56 1995 Mike Stump <mrs@cygnus.com>
392 * search.c (envelope_add_decl): New routine. Fix so that
393 methods are hidden in the same way that other members are.
394 (dfs_pushdecls): Cleanup and move functionality out of line,
395 into envelope_add_decl.
397 Tue Oct 10 15:46:01 1995 Mike Stump <mrs@cygnus.com>
399 * typeck.c (mark_addressable): Only call assemble_external if we
400 have started the output file.
402 Tue Oct 10 11:27:18 1995 Jason Merrill <jason@yorick.cygnus.com>
404 * decl.c (start_function): Fix earlier cv-quals change.
406 Mon Oct 9 23:53:05 1995 Mike Stump <mrs@cygnus.com>
408 * parse.y (complex_direct_notype_declarator): Only push the class if
409 we are not already in the class.
411 Mon Oct 9 11:22:03 1995 Doug Evans <dje@canuck.cygnus.com>
413 * decl.c (duplicate_decls): Call merge_machine_decl_attributes.
414 Update olddecl's attributes too.
415 (grokdeclarator): #if 0 out call to build_decl_attribute_variant.
416 * typeck.c (common_type): Call merge_machine_type_attributes.
418 Fri Oct 6 14:44:27 1995 Mike Stump <mrs@cygnus.com>
420 * typeck.c (mark_addressable): Add missing call to
423 Wed Oct 4 15:06:39 1995 Mike Stump <mrs@cygnus.com>
425 * decl.c (store_parm_decls): Make sure the unwinder start comes
426 before the exception specification start.
427 * except.c (expand_exception_blocks): Make sure the unwinder end
428 comes after the terminate protected catch clause region and after
429 the end of the exception specification region.
431 Wed Oct 4 12:47:02 1995 Jason Merrill <jason@yorick.cygnus.com>
433 * lex.c (real_yylex): Fix identifier case for linemode.
434 (handle_sysv_pragma): Don't abort when we see a pragma we don't
437 Tue Oct 3 14:09:46 1995 Mike Stump <mrs@cygnus.com>
439 * decl.c (store_parm_decls): Add a call to start_eh_unwinder.
440 * except.c (init_exception_processing): __throw doesn't take any
442 (expand_builtin_throw): Likewise. Always use Pmode, instead of SImode
443 for all pointers. Use expand_builtin_return_addr to unwind the
444 first level off the stack.
445 (do_unwind): Always use Pmode, instead of SImode for all pointers.
446 (expand_exception_blocks): Add a call to end_eh_unwinder.
447 (start_eh_unwinder, end_eh_unwinder): New routines to build machine
448 independent stack unwinders for function/method calls.
450 Mon Oct 2 17:20:42 1995 Mike Stump <mrs@cygnus.com>
452 * tree.c (unsave_expr_now): Make sure we process the argument list
453 of any called functions. Fixes incorrect code generation for
456 Mon Oct 2 13:04:16 1995 Mike Stump <mrs@cygnus.com>
458 * typeck.c (get_member_function_from_ptrfunc): Save function if it
459 needs it. Cures core dump on things like (this->*(f()))().
461 Sat Sep 23 22:51:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
463 * decl.c (start_function): Conform to gcc cv-quals convention (no
464 expression has a cv-qualified type) in RESULT_DECLs.
465 * method.c (make_thunk): Likewise.
467 Fri Sep 22 10:21:13 1995 Mike Stump <mrs@cygnus.com>
469 * decl.c (pushtag): Add in the namespace name for the tag.
471 Thu Sep 21 13:11:13 1995 Mike Stump <mrs@cygnus.com>
473 * parse.y (maybe_base_class_list, base_class_list, base_class,
474 base_class_access_list): Make sure we see the typenames for base
476 * lex.c (see_typename): Instead of failing to see a typename when
477 there is no next token, perfer a typename, and get the next token.
479 Wed Sep 20 12:35:27 1995 Michael Meissner <meissner@cygnus.com>
481 * decl.c (init_decl_processing): Add __builtin_expect.
483 Tue Sep 19 16:48:11 1995 Mike Stump <mrs@cygnus.com>
485 * cvt.c (cp_convert_to_pointer): Don't allow leftover conversions to
486 or from pointer to member functions, they must all be handled before
489 Fri Sep 15 17:14:47 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
491 * init.c (resolve_offset_ref): Fix wording of non-static member
492 being referenced as a static.
494 Fri Sep 15 12:39:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
496 * typeck.c (build_indirect_ref): Only bash pointer if we actually
497 call build_expr_type_conversion.
499 Thu Sep 14 18:24:56 1995 Jason Merrill <jason@deneb.cygnus.com>
501 * cvt.c (build_expr_type_conversion): Handle conversion from
503 * typeck.c (build_indirect_ref): Avoid infinite recursion.
505 Thu Sep 14 17:23:28 1995 Mike Stump <mrs@cygnus.com>
507 * decl.c (expand_start_early_try_stmts): New routine to start a try
508 block at the start of the function, for function-try-blocks.
509 * cp-tree.h (expand_start_early_try_stmts): Declare it.
510 * parse.y (function_try_block): Use it, instead of doing it here, as
511 we don't want to include rtl.h here, as that conflicts with RETURN
514 Wed Sep 13 18:32:24 1995 Mike Stump <mrs@cygnus.com>
516 * lex.c (reinit_parse_for_block): Support saving inline
517 function-try-blocks, uses peekyylex.
518 * parse.y (eat_saved_input): New rule, permit the parser to see that
519 END_OF_SAVED_INPUT is ok, as it can see this when parsing the
520 handlers of a function-try-block.
522 (component_decl): Make sure TRY and RETURN can come after fn.def2.
523 * spew.c (peekyylex): New routine to peek at what will come next.
525 Wed Sep 13 16:52:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
527 * typeck.c (comptypes): Tighten up comparisons of template type
530 * decl.c (duplicate_decls): Turn off whining about virtual functions
531 redeclared inline for now.
533 Wed Sep 13 11:13:40 1995 Mike Stump <mrs@cygnus.com>
535 * decl.c (store_in_parms): New routine to put things before we
537 * cp-tree.h (store_in_parms): Declare it.
538 * decl.c (store_parm_decls): Use it to makr sure the starting of the
539 eh spec comes before base inits.
540 (finish_function): Use sequences instead of the obsolete
542 * parse.y (fndef): Enhance readability and maintainability. Update
543 to include function_try_block syntax.
544 (function_try_block): Add.
546 Tue Sep 12 17:43:07 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
548 * call.c (convert_harshness): Use comptypes, not ==, to check if
549 TYPE and PARMTYPE are equivalent on a function type.
551 Tue Sep 12 17:31:33 1995 Douglas Rupp <drupp@cs.washington.edu>
553 * Make-lang.in (cc1plus): Removed unnecessary $(exeext).
555 Mon Sep 11 23:24:07 1995 Mike Stump <mrs@cygnus.com>
557 * except.c (expand_throw): Never allocate storage for thrown pointer
560 Mon Sep 11 19:36:45 1995 Mike Stump <mrs@cygnus.com>
562 * except.c (expand_start_catch_block): Pointers to objects come
563 back from catch matching already dereferenced, don't dereference
566 Mon Sep 11 15:46:28 1995 Mike Stump <mrs@cygnus.com>
568 * except.c (expand_throw): Only decay the throw expression, don't do
569 any default conversions. This is so that one can throw and catch
570 characters, and not have them match integers.
572 Mon Sep 11 13:46:45 1995 Mike Stump <mrs@cygnus.com>
574 * error.c (dump_aggr_type): Deal with anonymous unions that don't
577 Fri Sep 8 20:40:27 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
579 * lex.c (handle_sysv_pragma): Deal with getting a comma from yylex.
581 Fri Sep 8 15:51:41 1995 Mike Stump <mrs@cygnus.com>
583 * except.c (expand_end_eh_spec): Handle empty EH specifications.
585 Fri Sep 8 15:27:22 1995 Mike Stump <mrs@cygnus.com>
587 * cp-tree.h (expand_start_eh_spec): Declare new routine.
588 (expand_end_eh_spec): Likewise.
589 * decl.c (store_parm_decls): Call expand_start_eh_spec to process
590 exception specifications.
591 * except.c (expand_leftover_cleanups): Remove unused parameter.
592 (expand_end_catch_block): Likewise.
593 (expand_exception_blocks): Likewise.
594 (expand_start_eh_spec): New routine to mark the start of an
595 exception specification region.
596 (expand_end_eh_spec): New routine to mark the end of an exception
597 specification region.
598 (expand_exception_blocks): Call expand_end_eh_spec to process
599 exception specifications.
601 Fri Sep 8 14:40:48 1995 Per Bothner <bothner@kalessin.cygnus.com>
603 * lex.c (do_identifier): Use global binding in preference of
604 dead for local variable.
606 Wed Sep 6 19:32:59 1995 Mike Stump <mrs@cygnus.com>
608 * cp-tree.h (build_exception_variant): Remove used first argument.
609 * decl.c (duplicate_decls): Likewise.
610 (grokfndecl): Likewise.
611 (revert_static_member_fn): Likewise.
612 * decl2.c (grok_method_quals): Likewise.
613 * tree.c (build_exception_variant): Likewise.
614 * typeck.c (common_type): Likewise.
615 * decl2.c (grokclassfn): After changing the type, call
616 build_exception_variant, if necessary.
618 Tue Sep 5 15:56:27 1995 Mike Stump <mrs@cygnus.com>
620 * except.c (expand_throw): Run cleanups for the throw expression.
622 Wed Aug 30 15:24:38 1995 Stephen L. Favor <sfavor@tigger.intecom.com>
624 * except.c (expand_builtin_throw): Moved gen_label_rtx calls beyond
625 the store_parm_decls call which does initialization in the emit_*
626 code concerning label numbering.
628 Thu Aug 31 09:01:07 1995 Mike Stump <mrs@cygnus.com>
630 * except.c (expand_internal_throw): Let the frontend be responsible
631 for managing all frontend EH parameters, the backend routine only
632 needs to deal with backend values. type and value are no longer
634 (init_exception_processing): Likewise.
635 (expand_start_all_catch): Likewise.
636 (expand_end_all_catch): Likewise.
637 (expand_leftover_cleanups): Likewise.
638 (expand_end_catch_block): Likewise.
639 (expand_builtin_throw): Likewise.
640 (expand_throw): Likewise.
642 Tue Aug 29 15:04:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
644 * cp-tree.h (DECL_REAL_CONTEXT): Give the real declaration context
646 * decl.c (cp_finish_decl): Use it.
648 Tue Aug 29 10:30:27 1995 Mike Stump <mrs@cygnus.com>
650 * except.c (expand_internal_throw): Oops, almost forgot type and
653 Mon Aug 28 17:57:45 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
655 Fix the attribute handling to make sure they get noted before we
656 create the function's RTL, in case they can affect that.
657 * decl.c (grokfndecl): New arg ATTRLIST. Run
658 cplus_decl_attributes before creating the decl's rtl.
659 (grokdeclarator): New arg ATTRLIST, passed down into grokfndecl.
660 (shadow_tag, groktypename, start_decl, start_method): Pass a
661 NULL_TREE to grokdeclarator's new last arg.
662 * decl2.c (grokfield): New arg ATTRLIST, passed into grokdeclarator.
663 (grokbitfield, grokoptypename): Pass a NULL_TREE to
664 grokdeclarator's new last arg.
665 * except.c (expand_start_catch_block): Likewise.
666 * pt.c (process_template_parm, end_template_decl,
667 do_function_instantiation): Likewise.
668 * cp-tree.h (grokfield): Add arg.
669 (grokdeclarator): Move the prototype from here...
670 * decl.h: ...to here.
671 * lex.c (cons_up_default_function): Pass NULL_TREE to grokfield
673 * parse.y: Create a list for the grokfield arg where appropriate,
674 and pass it down instead of calling cplus_decl_attributes.
676 Mon Aug 28 15:07:24 1995 Mike Stump <mrs@cygnus.com>
678 * except.c: Always allow turning on exception handling. Allow cross
679 compilations to use EH.
681 Thu Aug 24 17:39:24 1995 Mike Stump <mrs@cygnus.com>
683 * except.c (saved_pc, saved_throw_type, saved_throw_value): Use
684 trees, instead of rtxs, and don't depend on using special machine
686 (expand_internal_throw): Likewise.
687 (init_exception_processing): Likewise.
688 (expand_start_all_catch): Likewise.
689 (expand_end_all_catch): Likewise.
690 (expand_start_catch_block): Likewise.
691 (expand_leftover_cleanups): Likewise.
692 (expand_end_catch_block): Likewise.
693 (expand_builtin_throw): Likewise.
694 (expand_throw): Likewise.
696 Wed Aug 23 17:25:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
698 * cvt.c (build_expr_type_conversion): Handle conversions to
701 Wed Aug 23 15:33:59 1995 Mike Stump <mrs@cygnus.com>
703 * except.c (do_unwind): Work around backend bug with -fpic.
705 Tue Aug 22 17:20:07 1995 Per Bothner <bothner@kalessin.cygnus.com>
707 * decl2.c (flag_new_for_scope): Add a new mode that follows ANSI
708 for-scoping, but supports (and warns about) old programs.
709 Make the new mode (with value 1) the default.
710 (lang_f_options): The on-value for flag_new_for_scope is now 2.
711 * cp-tree.h (DECL_DEAD_FOR_LOCAL, DECL_ERROR_REPORTED): New macros
712 (DECL_SHADOWED_FOR_VAR): Likewise.
713 * decl.c (struct binding_level): New fields dead_vars_from_for
715 (note_level_for_for): New function.
716 (poplevel): Special processing if is_for_scope.
717 (pushdecl): Warn if for-scope variable shadows local.
718 * lex.c (do_identifier): Handle old (non-ANSI) for scoping,
719 and warn if conflicts.
720 * parse.y (FOR): Call note_level_for_for.
722 Mon Aug 21 10:28:31 1995 Jason Merrill <jason@deneb.cygnus.com>
724 * decl2.c (import_export_inline): Class interface hackery does not
725 apply to synthesized methods.
727 Sun Aug 20 16:29:00 1995 Mike Stump <mrs@cygnus.com>
729 * search.c (virtual_context): Find the right context more often.
730 Solves a `recoverable compiler error, fixups for virtual function'
733 Sun Aug 20 13:53:24 1995 Mike Stump <mrs@cygnus.com>
735 * except.c (expand_start_all_catch): Ensure that we always transfer
736 control to the right EH handler, by rethrowing the end label on the
737 region, instead of hoping we are nested and falling through.
738 (expand_leftover_cleanups): Likewise.
739 (end_protect): Since we now rethrow the end label, put a
740 nop after it, so that outer regions are recognized.
741 * init.c (build_vec_delete_1): New routine to handle most of vector
742 deleting, all code moved here from build_vec_delete.
743 (build_array_eh_cleanup): Use build_vec_delete_1 to do all the real
745 (expand_vec_init): If the array needs partial destructing, setup an
746 EH region to handle it.
747 (build_vec_delete): Move lots of code to build_vec_delete_1, use
748 build_vec_delete_1 to do the grunt work.
750 Sat Aug 19 14:25:33 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
752 Handle decl attributes properly for function definitions without
753 previous attribute-loaded declarations.
754 * decl.c (start_function): New arg ATTRS. Add a call to
755 cplus_decl_attributes with it before we create the RTL.
756 * cp-tree.h (start_function): Update prototype.
757 * parse.y (fn.def1): Pass ATTRS into start_function instead of
758 trying to call cplus_decl_attributes too late. Pass a NULL_TREE
760 * decl2.c (finish_file): Pass NULL_TREE as fourth arg to
762 * method.c (synthesize_method): Likewise.
763 * except.c (expand_builtin_throw): Likewise for start on __throw.
765 Sat Aug 19 13:36:08 1995 Mike Stump <mrs@cygnus.com>
767 * class.c (set_rtti_entry): Turn on -fvtable-thunk -frtti support.
768 This changes -fvtable-thunks vtable layout, so a recompile will be
769 necessary, if you use -fvtable-thunks.
770 (get_vtable_entry): Use n, instead of i to be consistent with the
771 rest of the compiler.
772 (get_vtable_entry_n): Likewise.
773 (add_virtual_function): Add a slot for the tdesc, if -fvtable-thunks
775 (finish_struct_1): Likewise.
776 (skip_rtti_stuff): New routine to collapse similar code from many
777 different parts of the compiler. I think I got them all.
778 (modify_one_vtable): Use it.
779 (fixup_vtable_deltas1): Likewise.
780 (override_one_vtable): Likewise.
781 * decl2.c (mark_vtable_entries): Likewise.
782 * tree.c (debug_binfo): Likewise.
783 * search.c (expand_upcast_fixups): Likewise.
784 (get_abstract_virtuals_1): Likewise. Use virtuals, instead of tmp to
785 consistent with the rest of the compiler.
786 (get_abstract_virtuals): Likewise.
787 * cp-tree.h (skip_rtti_stuff): New routine, declare it.
788 * gc.c (build_headof): Support -fvtable-thunk and -frtti together.
789 (build_typeid): Likewise.
790 (build_classof): Remove old style way of doing rtti. Remove support
791 for `classof' and `headof'.
792 * gxx.gperf: Likewise.
796 Fri Aug 18 17:31:58 1995 Jason Merrill <jason@deneb.cygnus.com>
798 * decl.c (start_function): Clear ctor_label and dtor_label.
800 * class.c (finish_struct_1): Fix handling of access decls.
802 Tue Aug 15 19:21:54 1995 Jason Merrill <jason@phydeaux.cygnus.com>
804 * class.c (finish_struct): Only do minimal processing here, so it
805 can be used for class template definitions, as well.
806 (finish_struct_1): New function with the rest of the code.
808 Tue Aug 15 09:46:16 1995 Mike Stump <mrs@cygnus.com>
810 * class.c (prepare_fresh_vtable): On second though, always build the
811 offset (see Aug 10 change), unless -fvtable-thunks is given. It
812 does this by calling the new routine set_rtti_entry.
813 (finish_struct): Likewise.
814 (set_rtti_entry): New routine to update the rtti information at the
817 Mon Aug 14 12:21:22 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
819 * error.c (dump_decl, case IDENTIFIER_NODE): Only work on a dtor
820 if it's declared in the C++ language spec.
821 (dump_function_decl): Likewise.
822 (dump_function_name): Likewise.
823 (ident_fndecl): Make sure we got something back from lookup_name.
824 * decl.c (start_function): Likewise.
826 Fri Aug 11 16:52:15 1995 Jason Merrill <jason@phydeaux.cygnus.com>
828 * call.c (build_method_call): Don't call build_new when calling a
829 constructor without an instance.
831 Thu Aug 10 20:00:17 1995 Mike Stump <mrs@cygnus.com>
833 * class.c (prepare_fresh_vtable): Always build the offset to the
834 complete object, as it doesn't cost much. This allows dynamic_cast
835 to void * to work when -frtti isn't given.
836 (finish_struct): Likewise.
838 Thu Aug 10 16:31:28 1995 Mike Stump <mrs@cygnus.com>
840 * except.c (build_eh_type): Split out some functionality to new
841 routine named build_eh_type_type.
842 (build_eh_type_type): New routine.
843 (expand_start_catch_block): Use build_eh_type_type, as we never want
844 the dynamic type of the catch parameter, just the static type.
845 Fixes core dumps when -frtti is used and one catchs pointers to
848 Thu Aug 10 14:55:29 1995 Mike Stump <mrs@cygnus.com>
850 * except.c (expand_builtin_throw): Since we now use normal calling
851 conventions for __throw, we have to remove the first layer off the
852 stack, so that the next context we search for handlers is the outer
853 context instead of the context that had the call to __throw, if we
854 don't immediately find the desired context.
856 Tue Aug 8 17:44:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
858 * tree.c (cp_expand_decl_cleanup): Returns int, not tree.
861 * parse.y (template_type_parm): Add support for `typename'.
863 Tue Aug 8 12:06:31 1995 Mike Stump <mrs@cygnus.com>
865 * except.c (expand_internal_throw): New internal routine to throw a
867 (expand_end_all_catch, expand_leftover_cleanups): All throwers
868 changed to use `expand_internal_throw' instead of jumping to throw
870 (expand_end_catch_block, expand_throw): Likewise.
871 (throw_label): Removed.
872 (expand_builtin_throw): Changed so that EH parameters are passed by
873 normal function call conventions. Completes Aug 4th work.
875 Fri Aug 4 17:17:08 1995 Mike Stump <mrs@cygnus.com>
877 * cp-tree.h (expand_builtin_throw): Declare it.
878 * decl2.c (finish_file): Call expand_builtin_throw.
879 * except.c (make_first_label): Remove.
880 (init_exception_processing): Don't use a LABEL_REF for throw_label,
881 instead use a SYMBOL_REF, this is so that we don't use LABEL_REFs in
882 other functions that don't really appear in those functions. This
883 solves a problem where cc1plus consumed exponential amounts of
884 memory when -Wall was used.
885 (expand_end_all_catch, expand_leftover_cleanups,
886 expand_end_catch_block, expand_throw): Change all uses of
887 throw_label to match new style.
888 (do_unwind): Rename parameter to inner_throw_label, as it is now
889 different from throw_label. Also, assume that our caller will wrap
890 the passed label with a LABEL_REF, if needed.
891 (expand_builtin_throw): Make external, change so that the generated
892 throw is now a real function.
893 (expand_exception_blocks): Never generate throw code inside another
896 Fri Aug 4 12:20:02 1995 Mike Stump <mrs@cygnus.com>
898 * decl.c (grokdeclarator): Move checking of mutable const objects
899 and mutable static objects down, as we might decide during parsing
900 to unset staticp or constp (for example, when const is part of the
901 object being pointed to).
903 Thu Aug 3 17:13:43 1995 Mike Stump <mrs@cygnus.com>
905 * except.c (output_exception_table_entry): Enhance portability to
907 (emit_exception_table): Likewise.
909 Thu Aug 3 16:41:38 1995 Mike Stump <mrs@cygnus.com>
911 * typeck.c (build_ptrmemfunc): Handle casting of pointer to
912 non-virtual member functions.
914 Wed Aug 2 11:58:25 1995 Mike Stump <mrs@cygnus.com>
916 * gc.c (build_typeid): Strip cv qualifiers so that const T&, T&, T
917 and const T all match.
919 Wed Aug 2 11:25:33 1995 Mike Stump <mrs@cygnus.com>
921 * except.c (build_eh_type): Strip cv qualifiers so that const T&,
922 T&, T and const T all match.
924 Tue Aug 1 14:20:16 1995 Mike Stump <mrs@cygnus.com>
926 * except.c: Fix up comments, cleanup code and eliminate exceptNode,
927 exceptStack, exceptstack, push_except_stmts, pop_except_stmts,
928 new_except_stack, push_last_insn, pop_last_insn, insn_save_node and
929 InsnSave. Also, numerous speed improvements, and correctness
930 improvements. Double faulting in all situations should now be
932 (expand_start_all_catch): Instead of having many terminate protected
933 regions, just have one.
934 (expand_start_catch_block): No longer have to protect
935 false_label_rtx, as it isn't used for EH region marking.
936 (expand_end_catch_block): Expand out EH cleanups here by using
937 expand_leftover_cleanups.
938 (expand_end_all_catch): Use sequences instead of playing with insn
940 (expand_exception_blocks): Likewise. Also protect all catch clauses
941 with one terminate region.
943 Mon Jul 31 13:24:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
945 * method.c (report_type_mismatch): Don't talk about an object
946 parameter for non-methods.
948 Sun Jul 30 13:13:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
950 * class.c (finish_struct): Catch private and protected members of
951 anonymous unions here.
952 * decl2.c (finish_anon_union): And here.
953 * parse.y: Instead of here.
955 * errfn.c (ARGSLIST): Support passing four args.
956 * error.c (cv_as_string): New function.
957 (cp_printers): Add it.
958 * call.c (build_method_call): Report 'const' at end of pseudo-decl.
960 * method.c (report_type_mismatch): Deal with a bad_arg of 0.
962 * init.c (expand_aggr_init): Handle volatile objects, too.
964 Sat Jul 29 13:42:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
966 * decl.c (struct binding_level): Keep list of incomplete decls.
967 (print_binding_level): Use list_length to count them.
968 (pushdecl): Build up the list.
969 (hack_incomplete_structures): Walk it and prune completed decls.
971 Fri Jul 28 15:26:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
973 * typeck.c (comp_target_types): Don't check const and volatile for
975 (comp_ptr_ttypes_real): Likewise.
977 Thu Jul 27 15:40:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
979 * typeck.c (comp_target_types): Fix.
981 Thu Jul 27 15:10:48 1995 Mike Stump <mrs@cygnus.com>
983 * cp-tree.h (unsave_expr_now, build_unsave_expr,
984 cp_expand_decl_cleanup): Declare new routines.
985 * decl.c (cp_finish_decl, store_parm_decls,
986 hack_incomplete_structures): Change all cals from
987 expand_decl_cleanup to cp_expand_decl_cleanup.
988 * gc.c (protect_value_from_gc): Likewise.
989 * expr.c (cplus_expand_expr): Handle UNSAVE_EXPRs.
990 * tree.c (unsave_expr): New routine to build an UNSAVE_EXPR.
991 (unsave_expr_now): Backend routine used by tree expander.
992 (cp_expand_decl_cleanup): Wrap second argument in an UNSAVE_EXPR to
993 work around a limitation in the backend. The backend uses the
994 cleanups multiple times, on disjoint control flows, so we cannot
995 pass unsaved SAVE_EXPRs to the backend.
996 * tree.def (UNSAVE_EXPR): New tree code.
997 * typeck.c (c_expand_return): Move goto/return code up inside
998 conditional, as we don't always want to do this, we only want to do
999 this when we don't otherwise finish with this control flow.
1001 Thu Jul 27 10:38:43 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1003 * parse.y (typespec): Only complain about typeof if we're not
1004 getting it from a system header.
1006 Thu Jul 27 10:26:23 1995 Doug Evans <dje@canuck.cygnus.com>
1008 Clean up prefix attribute handling.
1009 * parse.y (reserved_declspecs): Link prefix attributes with declspecs.
1010 (declmods): Likewise.
1011 (all rules that reference typed_declspecs and declmods): Call
1012 split_specs_attrs or strip_attrs to separate declspecs and attrs.
1013 (lang_extdef): Delete resetting of prefix_attributes.
1014 (template_def, notype_declarator rule): Use NULL_TREE for
1016 (condition): Use NULL_TREE for prefix_attributes.
1017 (setattrs): Deleted.
1018 (nomods_initdcl0): Set prefix_attributes to NULL_TREE.
1019 (component_decl): Delete resetting of prefix_attributes.
1020 (component_decl_1, notype_components rule): Use NULL_TREE for
1022 (simple_stmt): Delete resetting of prefix_attributes.
1024 Mon Jul 24 13:37:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1026 * call.c (convert_harshness): Deal with reference conversions before
1027 others. Actually do array->pointer decay. Call comp_target_types
1028 with pointer types rather than their targets.
1030 * typeck.c (comp_target_types): Avoid assigning D const * to B *.
1032 Mon Jul 24 08:54:46 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1034 * pt.c (to_be_restored): Move decl to global scope.
1036 Sat Jul 22 12:22:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1038 * decl.c (start_decl): Put back clearing of DECL_IN_AGGR_P.
1040 Fri Jul 21 17:09:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1042 * decl.c (grokdeclarator): Downgrade error about 'extern int A::i'
1045 * pt.c (instantiate_template): Also avoid instantiation if the
1046 function has already been declared to be a specialization.
1048 * decl2.c (check_classfn): Ignore cname argument, and return the
1051 * decl.c (start_decl): Handle declarations of member functions
1052 outside of the class (i.e. specialization declarations).
1054 Thu Jul 20 10:34:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1056 * class.c (finish_struct): Don't mess with the type of bitfields.
1058 * various.c: s/TYPE_POINTER_TO/build_pointer_type/.
1060 Thu Jul 20 01:43:10 1995 Mike Stump <mrs@cygnus.com>
1062 * init.c (expand_aggr_init): Assume LOOKUP_ONLYCONVERTING if init
1063 is not a parameter list (TREE_LIST).
1064 (expand_default_init): If LOOKUP_ONLYCONVERTING is set, then set
1065 LOOKUP_NO_CONVERSION so that we don't allow two-level conversions,
1066 but don't set it otherwise.
1068 Wed Jul 19 20:32:01 1995 Mike Stump <mrs@cygnus.com>
1070 * init.c (expand_default_init): Don't allow two-level conversions
1071 during construction.
1073 Wed Jul 19 18:06:37 1995 Mike Stump <mrs@cygnus.com>
1075 * gc.c (build_headof): The type of dyncasting to a pointer to cv
1076 void, should be pointer to cv void.
1078 Wed Jul 19 17:25:43 1995 Mike Stump <mrs@cygnus.com>
1080 * gc.c (build_dynamic_cast): Allow casting in const.
1082 Wed Jul 19 16:34:27 1995 Mike Stump <mrs@cygnus.com>
1084 * typeck.c (build_const_cast): If we are passed error_mark_node,
1087 Wed Jul 19 15:24:48 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1089 * class.c (push_nested_class): Make sure TYPE is non-nil.
1091 * cvt.c (type_promotes_to): Watch for error_mark_node on the
1094 Wed Jul 19 13:23:12 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
1096 * cp-tree.h (SIGTABLE_VT_OFF_NAME): Renamed from SIGTABLE_OFFSET_NAME.
1097 (SIGTABLE_VB_OFF_NAME): New macro.
1098 (vt_off_identifier): Renamed from offset_identifier.
1099 (vb_off_identifier): Added extern declaration.
1101 * decl.c (vt_off_identifier): Renamed from offset identifier.
1102 (vb_off_identifier): New variable to hold the identifier for the
1103 sigtable field vb_off.
1104 (init_decl_processing): Initialize vb_off_identifier.
1105 Renamed vt_off_identifier from offset_identifier.
1106 * sig.c (build_signature_method_call): Renamed offset_identifier and
1107 local variable offset to vt_off_identifier and vt_off, respectively.
1108 * sig.c (build_signature_table_constructor): Renamed offset to vt_off.
1110 * decl.c (init_decl_processing): Add vb_off field to
1111 sigtable_entry_type. Reorder fields so that pfn gets properly
1112 aligned at a 64 bit boundary on the Alpha.
1113 * sig.c (build_signature_table_constructor): Build the constructor
1114 according to the new layout. Set the vb_off field to -1 for now.
1116 * decl.c (init_decl_processing): Align sigtable_entry_type on word
1117 boundaries instead of double word boundaries to save space.
1119 Tue Jul 18 16:58:37 1995 Mike Stump <mrs@cygnus.com>
1121 * cvt.c (cp_convert): Always call build_cplus_new for a ctor.
1123 Tue Jul 18 14:24:53 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1125 * parse.y (opt.component_decl_list): Only forbid private/protected
1126 in anonymous unions. We need to make this know when the type is
1127 defined for an object, to not give the error.
1129 Mon Jul 17 14:22:44 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1131 * parse.y (opt.component_decl_list): Don't allow access control
1132 as private or protected for union members.
1134 Sun Jul 16 14:01:00 1995 Jim Wilson <wilson@chestnut.cygnus.com>
1136 * lex.c (check_newline): For 'p' case, move goto skipline line to
1137 before end brace for 'pragma'.
1139 Fri Jul 7 13:55:58 1995 Mike Stump <mrs@cygnus.com>
1141 * g++.1: Tiny updates.
1143 Fri Jul 7 13:05:20 1995 Mike Stump <mrs@cygnus.com>
1145 * decl.c (cp_finish_decl): Only destruct local static variables if
1146 they are constructed, and only construct the first time control
1147 passes completely through its declaration (if not initialized with a
1148 constant-expression).
1149 (expand_static_init): Likewise.
1151 Wed Jul 5 14:05:04 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1153 * typeck.c (comptypes, case OFFSET_REF): If either offset basetype
1154 is a TEMPLATE_TYPE_PARM, give a match.
1156 Fri Jun 30 15:42:57 1995 Mike Stump <mrs@cygnus.com>
1158 * method.c (build_overload_value): Handle encoding of null pointer
1159 constants (or any pointer with a constant numeric value) for
1162 Fri Jun 30 13:45:51 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1164 * call.c (convert_harshness): Add QUAL_CODE when we're faced with
1165 const vs non-const for void conversions.
1167 Fri Jun 30 10:19:52 1995 Mike Stump <mrs@cygnus.com>
1169 * except.c (expand_start_all_catch): Fix problem with finding an
1170 outer nested try block when there is no code to separate it from an
1173 Fri Jun 30 02:22:26 1995 Mike Stump <mrs@cygnus.com>
1175 * search.c (dfs_pushdecls): Consume 2 or 3 orders of magnitude less
1176 memory please when virtual bases are used.
1178 Thu Jun 29 19:03:47 1995 Mike Stump <mrs@cygnus.com>
1180 * class.c (build_vbase_path): Avoid testing things that cannot be
1181 null to see if they are null.
1182 * cvt.c (convert_pointer_to_vbase): Remove code that doesn't work.
1183 * decl.c (finish_function): Pass a type into the new
1184 convert_pointer_to_vbase instead of a binfo.
1185 * search.c (convert_pointer_to_vbase): Rewritten to use get_vbase
1186 and convert_pointer_to_real.
1187 (expand_indirect_vtbls_init): Use convert_pointer_to_vbase instead
1188 of the more cryptic call to get_vbase.
1190 Thu Jun 29 09:35:05 1995 Mike Stump <mrs@cygnus.com>
1192 * decl.c (BOOL_TYPE_SIZE): Fix broken SLOW_BYTE_ACCESS check.
1194 Thu Jun 29 03:43:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1196 * pt.c (instantiate_template): Don't strip 'this' twice.
1198 * pt.c (coerce_template_parms): Allow null pointer constants.
1200 * decl.c (revert_static_member_fn): But only if DECL_ARGUMENTS is
1203 Wed Jun 28 18:39:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1205 * decl.c (revert_static_member_fn): Also remove 'this' from
1207 * decl2.c (check_classfn): Don't revert this function until we get a
1210 Wed Jun 28 14:07:27 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1212 * parse.y (component_decl): Clear PREFIX_ATTRIBUTES here.
1214 Wed Jun 28 11:05:13 1995 Mike Stump <mrs@cygnus.com>
1216 * decl2.c (finish_file): Handle global vector news.
1217 * init.c (build_new): Encode vector news so that later we will know
1218 how many elements there are.
1220 Mon Jun 26 13:38:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1222 * expr.c (cplus_expand_expr): Don't mess with temp slots.
1224 * decl2.c (warn_if_unknown_interface): Don't crash if tinst_for_decl
1227 * decl2.c (check_classfn): Use revert_static_member_fn.
1228 * decl.c (revert_static_member_fn): Diagnose static member functions
1229 declared const or volatile.
1231 * decl2.c (grokfield): Check for missing default args here, too.
1232 (check_default_args): Function to do the checking.
1233 * decl.c (pushdecl): Use it.
1235 * decl.c (pushdecl): Don't warn about shadowing a member of `this'
1236 if there is no `this'.
1238 Sun Jun 25 11:34:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1240 * call.c (build_method_call): Downgrade 'called before definition'
1241 to a warning, as it ought to go away after Monterey.
1243 Sat Jun 24 14:18:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1245 * pt.c (coerce_template_parms): Don't do extra checking on pointer
1246 to member arguments.
1248 * class.c (finish_struct): const and reference members don't prevent
1249 a class from being an aggregate.
1251 * class.c (finish_struct): Signatures are always aggregates.
1253 Fri Jun 23 17:20:29 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1255 * decl2.c (check_classfn): Improve error message.
1257 * pt.c (tsubst): Handle PROMOTE_PROTOTYPES.
1259 Thu Jun 22 01:50:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1261 * typeck.c (comptypes): Don't ignore method quals.
1263 * class.c (finish_struct): Non-abstract virtuals are always USED.
1265 * decl.c (build_ptrmemfunc_type): The underlying union type isn't
1266 IS_AGGR_TYPE, either.
1267 * class.c (finish_struct): Use CLASSTYPE_NON_AGGREGATE instead.
1268 * cp-tree.h: Likewise.
1270 * cp-tree.h (lang_type): Add aggregate.
1271 (CLASSTYPE_AGGREGATE): New macro.
1272 (TYPE_NON_AGGREGATE_CLASS): Likewise.
1273 * class.c (finish_struct): Determine whether a class is an
1275 * decl.c (cp_finish_decl): Check TYPE_NON_AGGREGATE_CLASS instead of
1276 TYPE_NEEDS_CONSTRUCTING.
1277 * typeck2.c (digest_init): Check TYPE_NON_AGGREGATE_CLASS for
1280 * pt.c (tsubst, PARM_TYPE): Propagate DECL_ARTIFICIAL.
1282 * decl.c (start_function): For pre-parsed functions, layout all of
1283 the parm decls again.
1284 (grokvardecl): TREE_PUBLIC depends on DECL_THIS_EXTERN, not
1287 * pt.c (coerce_template_parms): Improve checking for invalid
1290 Wed Jun 21 12:01:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1292 * decl.c (grokdeclarator): Forbid declaration of a static member
1293 with the same name as its enclosing class.
1295 Mon Jun 19 10:28:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1297 * decl.c (finish_function): Clear current_class_decl.
1299 * typeck.c (build_conditional_expr): Use convert (boolean_type_node
1300 instead of truthvalue_conversion.
1302 * class.c (finish_struct): A data member with the same name as the
1303 class doesn't suppress constructors.
1305 Fri Jun 16 18:11:39 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
1307 * decl.c (start_function): If current_class_decl is a signature
1308 pointer, don't dereference it but set C_C_D to current_class_decl.
1310 Fri Jun 16 17:06:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1312 * decl.c (duplicate_decls): Complain about virtual functions
1313 redeclared to be inline.
1315 Fri Jun 16 13:20:38 1995 Mike Stump <mrs@cygnus.com>
1317 * decl.c (get_unique_name): New routine to name unnamed namespaces.
1318 (push_namespace): Use get_unique_name for naming unnamed namespaces.
1320 Thu Jun 15 15:00:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1322 * parse.y: Call cplus_decl_attributes with prefix_attributes where
1325 Wed Jun 14 19:24:49 1995 Mike Stump <mrs@cygnus.com>
1327 * search.c (get_vbase): New routine to switch hierarchies from the
1328 CLASSTYPE_VBASECLASSES to the normal one.
1329 (expand_indirect_vtbls_init): Use get_vbase to figure out how we
1330 want to convert to a vbase pointer.
1332 Mon Jun 12 17:50:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1334 * pt.c (instantiate_class_template): Add the new instantiation to
1336 (do_pending_expansions): Call instantiate_member_templates on all of
1337 the classes in template_classes.
1339 Mon Jun 12 12:36:59 1995 Mike Stump <mrs@cygnus.com>
1341 * decl.c (complete_array_type): Fill in the TYPE_DOMAIN of our
1342 TYPE_MAIN_VARIANT if it is not filled in.
1343 * init.c (build_delete): If the TYPE_DOMAIN is not set, give an
1344 error instead of core dumping.
1346 Mon Jun 12 10:41:40 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1348 * call.c (can_convert): Also check for distance > 0.
1349 (can_convert_arg): Likewise.
1350 (user_harshness): Likewise.
1352 Fri Jun 9 19:17:21 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1354 * g++.c (MATH_LIBRARY): Provide default.
1355 (main): Always link with the math library if we link with libstdc++.
1357 * decl.c (start_function): Complain about redefinition of a function
1358 even when the pending_inline version is compiled after the other
1361 Thu Jun 8 15:44:38 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1363 * gc.c (build_dynamic_cast): Build up a reference to a parameter of
1366 Wed Jun 7 15:31:57 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1368 * init.c (build_vec_delete): Resolve an offset ref before we try to
1371 Wed Jun 7 14:19:32 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1373 * typeck.c (build_modify_expr): If the class lacks a constructor or
1374 assignment operator, return error_mark_node.
1375 (common_type): Use build_cplus_array_type.
1377 Tue Jun 6 09:41:27 1995 Mike Stump <mrs@cygnus.com>
1379 * class.c (dont_allow_type_definitions): New variable set when types
1381 (finish_struct): Use it.
1382 * cp-tree.h (dont_allow_type_definitions): Define it.
1383 * parse.y (primary, handler_seq): Set it.
1385 Mon Jun 5 18:49:38 1995 Mike Stump <mrs@cygnus.com>
1387 * method.c (build_opfncall): Use DECL_CHAIN, not TREE_CHAIN for
1388 results from lookup_fnfields. Always give warning/error on bad
1391 Mon Jun 5 11:39:37 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1393 * init.c (member_init_ok_or_else): Don't allow initialization of
1394 an ancestor's member from within a constructor.
1396 Mon Jun 5 11:20:34 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
1398 * sig.c (build_signature_table_constructor): Use DECL_CONTEXT
1399 instead of DECL_CLASS_CONTEXT for calculating the vfield offset so
1400 abstract virtual functions are handled correctly.
1402 * sig.c (build_signature_table_constructor): Store the correct
1403 delta in signature table entries. It does not yet work for
1404 classes with virtual base classes as implementations of signatures.
1405 (build_signature_method_call): Add the delta to the object_ptr
1406 before generating the function call.
1408 * call.c (build_method_call): Make instance_ptr the signature
1409 pointer itself instead of dereferencing the optr.
1410 * sig.c (build_signature_method_call): Dereference the optr for the
1411 direct and virtual calls.
1413 * sig.c (build_signature_table_constructor): Make the tag for
1414 default implementations -1 instead of 2.
1415 (build_signature_method_call): Change the generated conditional
1416 expression correspondingly.
1418 * sig.c (build_signature_pointer_constructor): Deleted the sorry
1419 message that said we can't handle multiple inheritance for
1420 implementations of signatures
1421 (build_signature_method_call): Use the offset from the sigtable
1422 entry instead of the vptr field from the signature pointer for
1423 building a virtual function call.
1425 * class.c (build_vfn_ref): Deleted signature specific code, we don't
1426 call this function anymore from build_signature_method_call.
1428 * cp-tree.h (SIGNATURE_VPTR_NAME): Deleted. We use the right vptr
1429 field in the object now instead of in the signature pointer/ref.
1430 (build_vptr_ref): Deleted extern declaration.
1431 * sig.c (build_vptr_ref): Deleted.
1432 (build_signature_pointer_or_reference_type): Deleted construction of
1434 (build_signature_pointer_constructor): Deleted initialization of/
1435 assignment to the vptr field.
1437 * sig.c (build_signature_table_constructor): Convert the signature
1438 table entry fields to their correct types.
1440 * sig.c (build_signature_table_constructor): Don't call digest_init
1441 for the fields of a sigtable entry, it's wasted time.
1443 * sig.c (build_signature_table_constructor): Correctly set the
1444 offset and index fields of a sigtable entry. Build the constructor
1445 the way digest_init does, digest_init can't handle initializing an
1446 anonymous union inside a struct.
1447 (build_signature_method_call): Use the index field instead of the
1448 delta field to get the vtable index.
1450 * decl.c (init_decl_processing): Fix number of fields for building
1451 sigtable_entry_type.
1453 * cp-tree.h (tag_identifier, offset_identifier): Added extern decls.
1454 (SIGTABLE_CODE_NAME): Renamed to SIGTABLE_TAG_NAME.
1455 (SIGTABLE_PFN_NAME): Deleted, we'll use VTABLE_PFN_NAME instead.
1456 * decl.c (tag_identifier, offset_identifier): New variables to
1457 hold the identifiers for the sigtable fields tag and offset.
1458 (init_decl_processing): Initialize these variables.
1459 (init_decl_processing): Use these variables to build the
1460 sigtable_entry_type structure. Rename the code and offset fields
1461 to tag and delta, respectively; add offset and index fields. Changed
1462 types of fields from short_integer_type_node to delta_type_node.
1463 * sig.c (build_signature_table_constructor): Rename code and offset
1464 to tag and delta, respectively.
1465 (build_signature_method_call): Likewise. Use above variables.
1467 Thu Jun 1 17:03:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1469 * decl.c (lookup_name_real): Don't try to look anything up in an
1472 Fri Jun 2 10:30:14 1995 Mike Stump <mrs@cygnus.com>
1474 * method.c (build_overload_int): New routine. Break out
1475 functionality from build_overload_value so we can reuse it.
1476 (build_overload_value): Handle pointer to member functions as value
1477 parameters for templates.
1478 (build_overload_identifier): Since template parameters are shared
1479 among all instantiations, we have to substitute in the real types
1480 in TREE_TYPE (parm).
1481 pt.c (coerce_template_parms): Likewise.
1482 (push_template_decls): Likewise.
1483 (grok_template_type): Deleted as template parameters are shared
1484 among all instantiations.
1486 Wed May 31 19:10:32 1995 Mike Stump <mrs@cygnus.com>
1488 * decl.c (grokdeclarator): Always give errors on constant overflow
1491 Wed May 31 11:39:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1493 * typeck.c (commonparms): Don't abort if simple_cst_equal returns < 0.
1494 (build_c_cast): Don't tack on a NON_LVALUE_EXPR when casting to
1496 (build_indirect_ref): Fix check for *&.
1498 Fri Jun 16 06:54:03 1995 Mike Stump <mrs@cygnus.com>
1500 * Version 2.7.0 released.
1502 Fri Jun 16 15:07:29 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1504 * Make-lang.in (DEMANGLER_PROG): Add LIBS.
1506 Thu Jun 15 15:00:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1508 * decl.c (define_function): Don't set DECL_INTERFACE_KNOWN.
1510 Wed Jun 7 20:00:31 1995 Mike Stump <mrs@cygnus.com>
1512 * *.[chy]: Change all callers of finish_decl to cp_finish_decl.
1513 * decl.c (finish_decl): New routine to handle call backs from the
1514 mid end (declare_hidden_char_array).
1516 Wed Jun 7 19:02:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1518 * decl.c (start_function): Handle setting C_C_D here.
1519 (set_C_C_D): Removed.
1520 (struct saved_scope): Remove class_decl.
1521 (push_to_top_level): Don't save current_class_decl.
1522 (pop_from_top_level): Don't restore current_class_decl or C_C_D.
1523 (struct cp_function): Add C_C_D.
1524 (push_cp_function_context): Save C_C_D.
1525 (pop_cp_function_context): Restore C_C_D.
1527 Fri Jun 2 11:05:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1529 * decl.c (set_C_C_D): New function. suspend_momentary before
1531 (pop_from_top_level): Call it.
1532 (start_function): Likewise.
1533 (pop_cp_function_context): Likewise.
1535 * class.c, cp-tree.h, decl.c, decl2.c, parse.y: Lose all references
1536 to current_vtable_decl, CLASSTYPE_INST_VAR and CLASSTYPE_VTBL_PTR.
1538 * decl.c (push_cp_function_context): Save current_class_decl.
1539 (pop_cp_function_context): Restore current_class_decl and set C_C_D.
1540 (pop_from_top_level): Don't use CLASSTYPE_INST_VAR to set C_C_D.
1541 (start_function): Likewise.
1543 * class.c (popclass): Don't mess with current_class_decl,
1544 current_vtable_decl, or C_C_D.
1546 Mon May 29 12:45:10 1995 Paul Eggert <eggert@twinsun.com>
1548 * Make-lang.in (c++.mostlyclean): Remove $(DEMANGLER_PROG).
1550 Wed May 24 15:55:18 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1552 * decl.c (duplicate_decls): Check simple_cst_equal result against 0.
1553 * decl2.c (finish_anon_union): Likewise.
1554 * method.c (largest_union_member): Likewise.
1556 Wed May 24 14:41:11 1995 H.J. Lu <hjl@nynexst.com>
1558 * Make-lang.in (cxxmain.o): Replace single quotes with backslashes.
1560 Mon May 22 17:38:48 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1562 * Make-lang.in (g++, g++-cross, cc1plus, DEMANGLER_PROG):
1563 Use $@ instead of output name so works even if have .exe.
1564 (cxxmain.o): Use cp if ln -s fails.
1565 (c++.install-man): Use $(exeext) in executable names.
1566 (c++.mostlyclean, stage[1-4]): Use $(objext) in object file names.
1567 * Makefile.in (../cc1plus): Use $(exeext) in name of executable.
1569 Wed May 24 01:39:03 1995 Jason Merrill <jason@deneb.cygnus.com>
1571 * call.c (build_method_call): Parms can be null, duh.
1573 Tue May 23 01:32:09 1995 Jason Merrill <jason@deneb.cygnus.com>
1575 * call.c (build_method_call): If convert_arguments failed, just bail.
1577 Fri May 19 10:31:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1579 * cvt.c (convert_force): Pass LOOKUP_NORMAL to cp_convert.
1581 * tree.c (copy_to_permanent): Oops.
1583 Fri May 19 10:01:07 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1585 * cp-tree.h (break_out_target_exprs): Add decl.
1587 Thu May 18 13:02:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1589 * decl.c (start_function): Move *all* interface handling stuff after
1592 * tree.c (mapcar): Renamed from make_deep_copy and generalized.
1593 (perm_manip): Return t if permanent, otherwise 0.
1594 (copy_to_permanent): Use them.
1595 (bot_manip): Helper for break_out_target_exprs.
1596 (break_out_target_exprs): New function. Uses mapcar.
1598 * typeck.c (convert_arguments): Use it.
1600 * method.c (hack_identifier): Use convert_from_reference to
1601 dereference a reference.
1603 Wed May 17 17:54:54 1995 Mike Stump <mrs@cygnus.com>
1605 * call.c (convert_harshness): Move reference bashing before pointer
1608 Wed May 17 16:57:53 1995 Mike Stump <mrs@cygnus.com>
1610 * cvt.c (convert_to_reference): Only complain, if complaints are
1612 * typeck.c (build_function_call_real): Likewise. If
1613 LOOKUP_SPECULATIVELY is set and something won't work, return
1615 * cvt.c (cp_convert): Likewise. Pass flags down to build_method_call.
1616 (convert): Pass LOOKUP_NORMAL to cp_convert.
1617 * typeck.c (convert_for_assignment): Likewise.
1618 (convert_force): Pass LOOKUP_COMPLAIN to cp_convert.
1619 (convert_arguments): Get out early if we get an error_mark_node.
1620 (convert_for_initialization): Use cp_convert instead of convert so
1621 that we can pass flags down.
1622 * cp-tree.h (LOOKUP_SPECULATIVELY): Added documentation.
1624 Wed May 17 01:43:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1626 * typeck2.c (store_init_value): Don't take the MAIN_VARIANT of the
1629 * class.c (finish_struct): Don't complain about a class with no
1630 user-defined constructors but with a member that has no default
1631 constructor, as this is OK for aggregates.
1633 * expr.c (cplus_expand_expr, NEW_EXPR): If this is an explicit
1634 constructor call, mark slot addressable.
1636 Tue May 16 18:37:51 1995 Douglas Rupp <drupp@cs.washington.edu>
1638 * g++.c: Changed WINNT to _WIN32.
1640 Tue May 16 12:40:16 1995 Jason Merrill <jason@lisa.cygnus.com>
1642 * lex.c (handle_sysv_pragma): Don't use token_buffer.
1644 Tue May 16 12:05:26 1995 Mike Stump <mrs@cygnus.com>
1646 * call.c (resolve_scope_to_name): Add initial semantic support for
1648 * class.c (finish_struct): Likewise.
1649 * cp-tree.h (NAMESPACE_LEVEL): Likewise.
1650 * cvt.c (build_up_reference, convert_to_reference): Likewise.
1651 * decl.c (binding_level::namespace_p, suspend_binding_level): Likewise.
1652 (resume_binding_level, toplevel_bindings_p): Likewise
1653 (namespace_bindings_p, declare_namespace_level): Likewise.
1654 (resume_level, push_namespace, pop_namespace): Likewise.
1655 (pop_everything, pushtag, duplicate_decls, pushdecl): Likewise.
1656 (implicitly_declare, lookup_namespace_name): Likewise.
1657 (lookup_name_real, start_decl, make_temporary_for_reference): Likewise.
1658 (obscure_complex_init, finish_decl, expand_static_init): Likewise.
1659 (grokvardecl, grokdeclarator, parmlist_is_exprlist): Likewise.
1660 (store_parm_decls, hack_incomplete_structures): Likewise.
1661 * decl2.c (get_temp_name, finish_anon_union): Likewise.
1662 (current_namespace, push_namespace, pop_namespace): Likewise.
1663 (do_namespace_alias, do_toplevel_using_decl): Likewise.
1664 (do_class_using_decl): Likewise.
1665 * error.c (dump_decl): Likewise.
1666 * init.c (build_member_call, build_offset_ref): Likewise.
1667 * lex.c (identifier_type): Likewise.
1668 * parse.y (lang_extdef, using_decl, extdef): Likewise.
1669 (component_decl_1, nested_name_specifier_1): Likewise.
1670 * spew.c (yylex): Likewise.
1671 * tree.def (NAMESPACE_DECL): Likewise.
1673 Tue May 16 11:55:35 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1675 * decl.c (push_overloaded_decl): Return the new decl even if it
1678 Tue May 16 11:00:37 1995 Jason Merrill <jason@lisa.cygnus.com>
1680 * typeck.c (decay_conversion): Split out from default_conversion.
1681 (default_conversion): Call it.
1682 (build_binary_op): Likewise.
1683 (build_binary_op_nodefault): Use decay_conversion for truth ops.
1685 Mon May 15 12:47:56 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1687 * decl.c (warn_extern_redeclared_static): This is a pedwarn.
1688 (duplicate_decls): Always use the old decl's linkage info. Don't
1689 play with linkage of consts.
1690 (pushdecl): Don't play with linkage of consts.
1691 (redeclaration_error_message): Don't complain about an old public
1692 decl and a new non-public decl here.
1693 (grokvardecl): Handle linkage of consts here.
1694 (grokdeclarator): An 'extern inline' is public. Pass constp to
1696 (start_function): Wait until after the pushdecl to do some linkage
1699 * decl2.c (import_export_vtable): Make duplicates weak rather than
1700 static if supported.
1701 (import_export_inline): Likewise.
1702 * pt.c (do_pending_expansions): Likewise.
1704 * class.c (build_vbase_path): flag_assume_nonnull_objects only
1705 affects reference conversion.
1707 * init.c (emit_base_init): Build up an RTL_EXPR and add it to
1709 * decl.c, decl2.c: s/base_init_insns/base_init_expr/.
1711 Tue May 16 07:06:28 1995 Paul Eggert <eggert@twinsun.com>
1713 * method.c (numeric_output_need_bar): Renamed from misspelling.
1715 * typeck.c (build_ptrmemfunc): Fix misspellings in messages.
1717 Sun May 14 10:26:22 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1719 * lang-options.h, lang-specs.h: New files.
1721 Thu May 11 00:31:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1723 * typeck.c (default_conversion): Don't check for BLKmode before
1724 pulling out the decl_constant_value.
1726 * decl.c (start_function): Clear named_labels and shadowed_labels.
1728 * typeck.c (build_function_call_real): Also synthesize methods here.
1730 Wed May 10 00:55:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1732 * decl2.c (finish_file): Synthesize exported methods before the
1735 * parse.y: Move declaration of flag_new_for_scope to file scope.
1737 Tue May 9 19:10:33 1995 Mike Stump <mrs@cygnus.com>
1739 * decl2.c: Add flag_new_for_scope for new -ffor-scope flag.
1740 * parse.y (FOR): Conditionalize the pushing and popping of scope for
1741 the for-init-statement upon the new flag_new_for_scope.
1742 * parse.y (try_block): Simplify and use compstmt.
1744 Mon May 8 12:41:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1746 * decl.c (define_function): Mark function decl artificial.
1748 Sun May 7 00:51:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1750 * parse.y (simple_stmt, FOR): Put back push/pop for condition scope.
1752 * decl2.c (grokclassfn): DECLs don't have cv-qualified types.
1753 * tree.c (build_cplus_method_type): Likewise.
1755 * cp-tree.h (SET_DECL_ARTIFICIAL): Just set DECL_ARTIFICIAL to 1.
1757 * typeck.c (build_function_call_real): If convert_arguments failed,
1759 (convert_arguments): If one of the arguments is error_mark_node,
1762 Sat May 6 02:39:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1764 * decl.c (duplicate_decls): Don't check DECL_NOT_REALLY_EXTERN for
1765 decls that don't include it.
1767 Fri May 5 14:23:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1769 * decl.c (duplicate_decls): Decls that have DECL_INTERFACE_KNOWN or
1770 DECL_NOT_REALLY_EXTERN set aren't extern decls.
1772 * typeck.c (build_indirect_ref): Don't call default_conversion for a
1773 parameter of reference_type.
1774 * cvt.c (convert_from_reference): Just use build_indirect_ref.
1776 * pt.c (do_type_instantiation): Only instantiate member functions
1777 that actually come from templates.
1779 Fri May 5 09:46:05 1995 Mike Stump <mrs@cygnus.com>
1781 * parse.y: Generalized cleanup of poplevels, and compound statements
1782 and compound statements in try blocks. Rewritten `for' rule so that
1783 the scope of variables declared in the for clause is shortened to
1784 span just to the end of the statement, instead of the whole
1787 Fri May 5 00:37:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1789 * call.c (convert_harshness): Handle pointers to members better.
1791 Thu May 4 16:00:26 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1793 * decl2.c (delete_sanity): Do access control here.
1794 * init.c (build_delete): Instead of here.
1796 * Make-lang.in: Build c++filt.
1798 Wed May 3 02:59:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1800 * decl2.c (cplus_decl_attributes): If we just modified a TYPE_DECL,
1801 update our IDENTIFIER_TYPE_VALUE.
1803 Fri Apr 28 07:58:41 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1805 * lex.c (cons_up_default_function): Fix linkage of #pragma
1806 implemented functions.
1808 Thu Apr 27 16:56:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1810 * method.c (build_overload_name): Simplify and fix repeated type
1813 * decl.c (grokdeclarator): Prohibit pointers to void or reference
1816 Thu Apr 27 09:49:07 1995 Mike Stump <mrs@cygnus.com>
1818 * typeck2.c (process_init_constructor): Make sure initializers are
1821 Thu Apr 27 01:11:55 1995 Jason Merrill <jason@python.cygnus.com>
1823 * lex.c (cons_up_default_function): Always defer synthesis.
1825 Thu Apr 27 00:20:37 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1827 * decl2.c (mark_inline_for_output): Don't play with pending_inline
1830 Wed Apr 26 17:48:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1832 * call.c (user_harshness): New function; like build_type_conversion,
1833 but doesn't actually build anything.
1834 (compute_conversion_costs): Use it instead of build_type_conversion.
1836 Wed Apr 26 17:11:25 1995 Jason Merrill <jason@deneb.cygnus.com>
1838 * typeck.c (build_function_call_real): Improve error message for
1839 calling a non-function.
1841 * method.c (hack_identifier): Lose check for calling a data member.
1843 Wed Apr 26 16:59:13 1995 Mike Stump <mrs@cygnus.com>
1845 * typeck2.c (build_functional_cast): Remove very old cruft.
1846 Seems like good code is generated without it.
1848 Wed Apr 26 00:47:16 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1850 * method.c (do_build_assign_ref): Fix handling of anonymous unions.
1851 (do_build_copy_constructor): Likewise.
1853 * parse.y (simple_stmt, SWITCH): Call {push,pop}_switch.
1855 * decl.c (push_switch): New function.
1856 (pop_switch): Likewise.
1857 (define_case_label): Check for jumping over initialization.
1859 * call.c (build_method_call): Check for an inline function being
1860 called before its definition has been seen.
1861 * typeck.c (build_function_call_real): Likewise.
1863 * decl.c (duplicate_decls): Check for a function being redeclared
1864 inline after its address has been taken.
1866 * typeck.c (build_conditional_expr): Handle related class lvalues.
1868 Tue Apr 25 13:20:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1870 * pt.c (do_pending_expansions): Don't expand unused templates.
1872 * parse.y (component_decl): Accept a lone semicolon.
1874 Tue Apr 25 00:25:56 1995 Jason Merrill <jason@rtl.cygnus.com>
1876 * call.c (build_method_call): Don't allow an RTL_EXPR to serve as the
1877 object parameter anymore.
1879 * expr.c (cplus_expand_expr): Don't create RTL_EXPRs with no insns.
1881 Mon Apr 24 12:35:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1883 * parse.y (simple_stmt, decl case): Clear prefix_attributes.
1884 (lang_extdef): Likewise.
1886 * parse.y (maybe_parmlist): New rule for use in declarators where
1887 this could either be a list of expressions or parameters. Calls
1888 suspend_momentary before deciding which.
1889 (direct_after_type_declarator): Use it.
1890 (complex_direct_notype_declarator): Use it.
1892 * pt.c (tsubst): Propagate attributes const and noreturn.
1894 * typeck.c (build_modify_expr): If warn_synth, call build_opfncall
1895 before doing the default thing.
1897 Thu Apr 27 21:49:36 1995 Doug Evans <dje@cygnus.com>
1899 * typeck.c (common_type): Call lookup_attribute instead of
1902 Tue Apr 25 18:07:43 1995 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
1904 * Make-lang.in: Change "realclean" to "maintainer-clean".
1906 Sun Apr 23 12:32:38 1995 Mike Stump <mrs@cygnus.com>
1908 * decl2.c (finish_file): Fix broken linked list handling.
1910 Fri Apr 21 18:08:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1912 * class.c (finish_base_struct): Don't set TYPE_HAS_COMPLEX_*_REF
1914 (finish_struct): Likewise.
1916 * various: Use TYPE_HAS_TRIVIAL_* instead of TYPE_HAS_COMPLEX_*.
1918 * cp-tree.h (TYPE_HAS_TRIVIAL_INIT_REF): New macro.
1919 (TYPE_HAS_TRIVIAL_ASSIGN_REF): New macro.
1921 Fri Apr 21 15:52:22 1995 Jason Merrill <jason@python.cygnus.com>
1923 * typeck.c (c_expand_return): Only expand a returned TARGET_EXPR if
1924 it is of the same type as the return value.
1926 Fri Apr 21 03:01:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1928 * decl2.c (finish_file): Reconsider if synthesizing a method wrote
1931 * typeck.c (convert_for_initialization): Don't call a trivial copy
1934 * typeck2.c (store_init_value): Only abort if the type has a
1935 non-trivial copy constructor.
1937 * typeck.c (c_expand_return): If we're returning in a register and
1938 the return value is a TARGET_EXPR, expand it. Only do
1939 expand_aggr_init if we're returning in memory.
1940 (expand_target_expr): Function to expand a TARGET_EXPR.
1941 (build_modify_expr): Use it.
1943 * tree.c (build_cplus_new): Layout the slot.
1945 * expr.c (cplus_expand_expr): Use expand_call to expand the call
1946 under a NEW_EXPR, so the target is not discarded.
1948 Thu Apr 20 14:59:31 1995 Mike Stump <mrs@cygnus.com>
1950 * gc.c (build_dynamic_cast): Tighten error checking.
1952 Thu Apr 20 11:23:54 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1954 * expr.c (cplus_expand_expr): Only abort if the returned target is
1955 different from what we expected if the type has a non-trivial copy
1958 * decl2.c (cplus_decl_attributes): Attributes applied to a template
1959 really apply to the template's result.
1961 * tree.c (lvalue_p): Check IS_AGGR_TYPE instead of TREE_ADDRESSABLE
1962 to decide whether to consider a CALL_EXPR an lvalue.
1964 * class.c (finish_struct_bits): Only set TREE_ADDRESSABLE if the
1965 type has a non-trivial copy constructor.
1967 * decl.c (start_function): If interface_known, unset
1968 DECL_NOT_REALLY_EXTERN on the function.
1970 Wed Apr 19 16:53:13 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1972 * pt.c (do_function_instantiation): Handle explicit instantiation of
1974 (do_type_instantiation): Handle 'inline template class foo<int>',
1975 meaning just spit out the vtable.
1977 * lex.c (cons_up_default_function): Set DECL_NOT_REALLY_EXTERN on
1978 the consed functions.
1980 * decl2.c (import_export_inline): Set DECL_INTERFACE_KNOWN.
1982 Wed Apr 19 16:28:17 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
1984 * call.c, class.c, decl2.c, gc.c, init.c, parse.y, pt.c, search.c,
1985 typeck.c: Include output.h.
1987 Wed Apr 19 14:57:21 1995 Gerald Baumgartner <gb@alexander.cs.purdue.edu>
1989 * call.c (build_method_call): Allow a signature member functions to
1990 be called from a default implementation.
1992 Wed Apr 19 10:21:17 1995 Jason Merrill <jason@phydeaux.cygnus.com>
1994 * repo.c (finish_repo): Remember what directory we are in.
1996 * search.c (expand_upcast_fixups): Don't mess with abort_fndecl.
1998 * repo.c: Use obstacks instead of fixed-size buffers. Don't spit
1999 out the second copy of the symbol name. Don't remember COLLECT_GCC.
2001 Wed Apr 19 02:32:40 1995 Mike Stump <mrs@cygnus.com>
2003 * search.c (virtual_context): New function to get the virtual
2004 context of a function.
2005 (expand_upcast_fixups): New function to generate runtime vtables.
2006 (fixup_virtual_upcast_offsets): Likewise.
2007 (expand_indirect_vtbls_init): Use fixup_virtual_upcast_offsets to
2008 ensure that the this offsets for upcasts from virtual bases into
2009 other virtual bases or non-virtual bases are correct at construction
2010 time and destruction time.
2011 * class.c (fixup_vtable_deltas): Modify to fixup all offsets in all
2012 vtables in all virtual bases, instead of just one vtable in each
2014 (fixup_vtable_deltas1): Likewise.
2016 Tue Apr 18 03:57:35 1995 Michael Meissner <meissner@cygnus.com>
2018 * Makefile.in (lex.o): Add dependency on c-pragma.h.
2020 * lex.c (handle_sysv_pragma): Use NULL_PTR and NULL_TREE as
2021 appropriate, instead of 0.
2023 Mon Apr 17 12:28:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2025 * decl.c (pushdecl): Use decls_match, not duplicate_decls, for
2026 comparing local and global decls.
2028 Fri Apr 14 01:46:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2030 * typeck.c (convert_arguments): Only prohibit passing to ... of
2031 types with non-trivial copy constructors.
2033 * repo.c (repo_template_used): Don't try to mess with no id.
2035 Fri Apr 14 23:32:50 1995 Per Bothner <bothner@rtl.cygnus.com>
2037 * decl.c (duplicate_decls): Use cp_warning_at for redundant-decls.
2039 Thu Apr 13 15:37:42 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2041 * cp-tree.h (current_tinst_level): Delete declaration, since it's
2044 * typeck.c (build_modify_expr): Catch incompatible array assignment.
2046 * parse.y (attribute_list, attrib): Rewrite actions to feed the
2047 right stuff to decl_attributes.
2049 Thu Apr 13 11:24:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2051 * search.c (dfs_debug_mark): Check for magic virtual like
2052 import_export_vtable.
2054 * typeck.c (build_binary_op_nodefault): Don't call cp_pedwarn with
2057 Wed Apr 12 12:02:57 1995 Jason Merrill <jason@deneb.cygnus.com>
2059 * decl2.c (finish_file): Move prevtable pass before needs_messing_up
2062 Tue Apr 11 11:20:27 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2064 * decl.c (finish_decl): If we're writing out a static data member of
2065 a class, we want the debug info for that class.
2067 * gc.c (build_t_desc): Check linkage of a class properly.
2069 * class.c (finish_struct): Set the 'headof' offset for the main
2071 (prepare_fresh_vtable): Fix typeinfo pointer here.
2072 (modify_one_vtable): Instead of here.
2074 Mon Apr 10 12:15:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2076 * repo.c (repo_get_id): New function to return the interesting
2077 identifier for a repo entity.
2078 (repo_template_used): Use it.
2079 (repo_template_instantiated): Mark the id as chosen.
2080 (init_repo): Record whether or not the id was chosen.
2081 (finish_repo): Note if an id was newly chosen.
2083 * pt.c (do_function_instantiation): Call repo_template_instantiated.
2084 (do_type_instantiation): Likewise. Don't diagnose multiple
2087 * decl2.c (finish_file): Use DECL_NOT_REALLY_EXTERN when deciding
2088 whether or not to synthesize a method.
2091 * class.c (finish_vtbls): Build more vtables if flag_rtti is on.
2092 * class.c (modify_all_direct_vtables): Likewise.
2093 * init.c (expand_direct_vtbls_init): Expand more vtables if
2096 Sat Apr 8 17:45:41 1995 Mike Stump <mrs@cygnus.com>
2098 * gc.c (build_headof): Use ptrdiff_type_node instead of
2099 integer_type_node on pointer arithmetic.
2101 Sat Apr 8 11:57:04 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2103 * typeck.c (build_modify_expr): Undo previous change.
2105 Thu Apr 6 01:23:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2107 * Makefile.in (compiler): Remove ../cc1plus before rebuilding it.
2109 * repo.c (get_base_filename): Put the .rpo file in the directory
2110 with the object file, not the source.
2112 * typeck.c (build_conditional_expr): Handle pmf's better.
2114 * repo.c (finish_repo): Also use ASM_OUTPUT_LABELREF to print out
2115 the name of the symbol.
2117 Wed Apr 5 15:24:12 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2119 * repo.c (open_repo_file): Make repo filename DOS-compliant.
2120 (*): Also write a new repo file if some previously-used
2121 templates are no longer used. Only remember the identifier.
2123 * lex.c (cons_up_default_function): If this function belongs to a
2124 template class, call repo_template_used for it.
2126 * repo.c (repo_template_used): Using a class means using its vtable,
2128 (finish_repo): Likewise.
2130 * typeck.c (build_modify_expr): Only wrap TARGET_EXPRs in RTL_EXPRs
2131 if the type has a complex copy constructor.
2133 * decl2.c (lang_decode_option): -frepo implies
2134 -fno-implicit-templates.
2136 * decl.c (start_function): Clear current_{base,member}_init_list.
2138 * lex.c (init_lex): Also unset *_eq if ! flag_operator_names.
2140 Tue Apr 4 16:11:08 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2142 * decl.c (struct cp_function): Add {base,member}_init_list.
2143 (push_cp_function_context): Save current_{base,member}_init_list.
2144 (pop_cp_function_context): Restore them.
2146 Mon Apr 3 16:55:08 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2148 * repo.c (get_base_filename): Take filename parm, fix logic bug.
2150 * typeck.c (build_compound_expr): Do not warn about a compound expr
2151 in which the first expression has no side effects.
2152 (build_x_compound_expr): Warn here instead.
2153 (build_conditional_expr): Don't warn about a conditional expression
2154 between an enum and the type it promotes to.
2156 * init.c (build_new): Handle initialization of arrays of builtins
2159 Mon Apr 3 15:08:04 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2161 * repo.c: Include config.h to get definitions of bcopy and rindex
2162 on systems that don't have them (e.g., SVR4).
2164 Mon Apr 3 14:41:55 1995 Mike Stump <mrs@cygnus.com>
2166 * decl2.c (finish_table): Pass NULL_TREE instead of init to
2167 finish_decl so that it won't try and do error checking on the
2170 Mon Apr 3 10:45:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2172 * repo.c (get_base_filename): Analyze COLLECT_GCC_OPTIONS to
2173 determine whether this compile used -c -o.
2174 (open_repo_file): Use get_base_filename. Remove the extension.
2175 (finish_repo): Spit out the values of main_input_filename,
2176 COLLECT_GCC and COLLECT_GCC_OPTIONS.
2178 * parse.y (structsp): Add TYPENAME_KEYWORD complex_type_name.
2180 Sun Apr 2 23:43:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2182 * search.c (compute_access): Don't try to do access control on
2185 Fri Mar 31 10:14:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2187 * repo.c: New file to handle things repo.
2189 * pt.c (instantiate_template): Call repo_template_used if the
2190 definition is accessible.
2191 (mark_function_instantiated): Split out from
2192 do_function_instantiation.
2193 (mark_class_instantiated): Split out from do_type_instantiation.
2195 * parse.y (template_instantiate_once): Call repo_template_used.
2197 * lex.c (lang_init): Call init_repo.
2199 * decl2.c: Handle flag_use_repository.
2200 (finish_file): Call finish_repo.
2202 * decl.c (start_method): Call repo_template_used if this is a
2205 * Makefile.in (CXX_OBJS): Add repo.o.
2206 (repo.o): Add dependencies.
2208 * Make-lang.in (CXX_SRCS): Add repo.c.
2210 * decl.c (start_function): If DECL_INTERFACE_KNOWN and
2211 DECL_NOT_REALLY_EXTERN are both set, unset DECL_EXTERNAL.
2213 * typeck.c (build_binary_op_nodefault): Identify the invalid operand
2216 * decl.c (duplicate_decls): Propagate DECL_NOT_REALLY_EXTERN.
2218 Thu Mar 30 17:54:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2220 * typeck.c (build_binary_op_nodefault): Tidy up use of build_type
2221 and result_type. When checking for comparison between signed
2222 and unsigned, use result_type rather than the (possibly shortened)
2223 type of op0. Also, don't warn about equality comparison of a
2224 signed operand to an unsigned constant that fits in the signed
2227 * method.c (do_build_copy_constructor): Reverse
2228 current_base_init_list after we've built it up.
2230 Thu Mar 30 14:35:18 1995 Mike Stump <mrs@cygnus.com>
2232 * except.c (build_throw): Never warn about the value of throw not
2235 Thu Mar 30 13:16:54 1995 Mike Stump <mrs@cygnus.com>
2237 * except.c (expand_start_catch_block): Check for bad catch parameter
2240 Thu Mar 30 13:06:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2242 * decl.c (finish_function): Only set DECL_NOT_REALLY_EXTERN if
2243 DECL_EXTERNAL is not already set.
2245 Thu Mar 30 11:26:24 1995 Mike Stump <mrs@cygnus.com>
2247 * method.c (emit_thunk): Let poplevel know that the last level is
2248 for a function so it can create a BLOCK_NODE and set DECL_INITIAL.
2250 Thu Mar 30 11:15:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2252 * decl2.c (import_export_inline): Don't set DECL_NOT_REALLY_EXTERN
2255 * decl.c (grokdeclarator): OK, don't abort if we see a decl with
2257 (finish_function): Set DECL_EXTERNAL and DECL_NOT_REALLY_EXTERN on
2258 all deferred inlines.
2260 Wed Mar 29 19:35:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2262 * cp-tree.h (DECL_THIS_INLINE): New macro.
2263 (DECL_NOT_REALLY_EXTERN): New macro.
2264 (DECL_THIS_STATIC): New macro.
2266 * decl.c: Lose all references to current_extern_inline. Break
2267 inline semantics into DECL_INLINE for actual inlining and
2268 DECL_THIS_INLINE for the linkage wierdness. Use DECL_THIS_STATIC.
2269 * decl2.c: Use DECL_NOT_REALLY_EXTERN to indicate that we want to
2270 emit an inline here. Associated changes.
2273 * typeck.c: Likewise.
2275 * call.c (build_method_call): Don't bother trying to handle inlines
2277 * cvt.c (convert_to_aggr): Likewise.
2279 * pt.c (do_function_instantiation): Handle instantiation of
2280 public inlines, too.
2282 Wed Mar 29 16:04:25 1995 Mike Stump <mrs@cygnus.com>
2284 * except.c (init_exception_processing): Change the interface for
2285 __throw_type_match and add decl for new rtti matching routine
2286 __throw_type_match_rtti.
2287 (build_eh_type): New routine to build a run time descriptor for the
2289 (expand_start_catch_block): Update to use new calling convention for
2291 (expand_throw): Update to use build_eh_type.
2293 Mon Mar 27 07:14:33 1995 Warner Losh <imp@village.org>
2295 * g++.c: Removed __NetBSD__ from conditional.
2296 Declare strerror if HAVE_STRERROR is defined; otherwise
2297 declare sys_errlist and sys_nerr.
2298 (my_strerror): New function.
2300 Tue Mar 28 14:16:35 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2302 * search.c (get_binfo): Don't try to be so clever.
2304 * tree.c (copy_to_permanent): Also suspend_momentary().
2306 * cvt.c (cp_convert_to_pointer): Hand off to convert_fn_pointer even
2307 if the types are the same.
2309 * decl.c (start_function): Handle extern inlines more like C++ says
2312 * init.c (build_member_call): Hand constructor calls off to
2313 build_functional_cast.
2315 * typeck2.c (build_functional_cast): Use DECL_NESTED_TYPENAME to get
2316 the name of the type.
2318 Tue Mar 28 13:13:56 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2320 * decl.c (grokdeclarator): Check for the decl returned by
2321 grokfndecl to be null before using build_decl_attribute_variant.
2323 Mon Mar 27 18:04:41 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2325 * init.c (build_new): Use build_pointer_type instead of
2328 Fri Mar 24 12:11:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2330 * typeck.c (build_conditional_expr): Handle pmfs.
2331 (convert_for_assignment): Fix pmf support.
2333 * cvt.c (convert_fn_ptr): Support !flag_vtable_thunks.
2334 (cp_convert_to_pointer): Handle pmfs.
2335 (cp_convert): Pass pmfs to cp_convert_to_pointer.
2337 * typeck.c (common_type): Handle inheritance for pmfs.
2339 * typeck2.c (build_m_component_ref): Do access control.
2341 * typeck.c (comp_target_types): Check for conversion to void *
2342 before checking trickier conversions.
2344 * decl.c (duplicate_decls): Propagate DECL_ABSTRACT_VIRTUAL_P.
2346 * pt.c (push_tinst_level): Complain if template instantiation depth
2347 is greater than max_tinst_depth.
2349 * typeck.c (common_type): Assume that we can call common_type to
2350 unify the target type of a pointer.
2352 Thu Mar 23 00:48:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2354 * decl2.c (finish_file): Don't synthesize methods at
2355 finish_vtable_prevardecl time. Do synthesize methods that are not
2356 used, but are public and not external.
2358 * cvt.c (build_type_conversion): Only give an error if for_sure.
2360 * typeck.c (comp_target_types): Only support pointer conversions if
2363 Wed Mar 22 19:30:15 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2365 * init.c (build_new): Catch use of an initializer list where it
2368 Wed Mar 22 16:21:07 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2370 * init.c (build_new): Wrap alloc_expr in an RTL_EXPR if nelts is
2373 * decl2.c: temp_name_counter is now public.
2375 * decl.c (struct cp_function): Add temp_name_counter field.
2376 (push_cp_function_context): Save it.
2377 (pop_cp_function_context): Restore it.
2379 * typeck.c (common_type): Handle unifying function types, and unify
2380 unmatched things to void* with a compiler_error, rather than
2381 silently like before.
2383 Wed Mar 22 15:10:34 1995 Mike Stump <mrs@cygnus.com>
2385 * decl2.c (finish_prevtable_vardecl, finish_vtable_vardecl): Revert
2386 Brendan's last change and fix latent problem that causes TD entries
2387 to not come out when the things that need them has yet to be
2390 Wed Mar 22 15:12:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2392 * typeck.c (build_binary_op_nodefault, comparison ops): Update type0
2393 and type1, since we might have changed op0 or op1.
2395 Wed Mar 22 13:33:45 1995 Jason Merrill <jason@python.cygnus.com>
2397 * typeck.c (common_type): Don't mess up templates.
2399 Wed Mar 22 04:56:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2401 * typeck.c (common_type): Handle ptms properly. Also handle
2403 (build_binary_op_nodefault): New variable build_type controls what
2404 type is given to the expression when it is created. Set this to
2405 boolean_type_node for comparison ops instead of using result_type.
2406 (comp_target_types): Allow T * -> void *.
2408 * cvt.c (cp_convert_to_pointer): Do access control when converting
2411 Tue Mar 21 17:25:06 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2413 * parse.y (extern_lang_string): Catch use of linkage specs that
2414 aren't all naming the same language.
2416 * class.c (finish_struct): Delete accidental duplicate code.
2418 Tue Mar 21 14:00:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2420 * typeck.c (build_binary_op_nodefault): Disable pedwarns about
2421 comparing functions and incomplete types.
2423 * decl.c (finish_function): Only unset current_function_decl if
2425 (duplicate_decls): Last change went too far; we only want to stop
2426 checking for value/reference ambiguity.
2428 Tue Mar 21 01:26:39 1995 Mike Stump <mrs@cygnus.com>
2430 * gc.c (build_generic_desc): Zap the DECL_SIZE so that we can lay it
2431 out fresh, as the new type may be larger.
2433 Mon Mar 20 19:01:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2435 * expr.c (extract_init): Try to expand the RTL for the
2436 initialization and figure out what it will look like so we can avoid
2437 run-time initialization. Disabled for now.
2438 (extract_scalar_init): Helper for scalar initialization.
2439 (extract_aggr_init): Helper for aggregate initialization.
2441 * decl.c (duplicate_decls): Don't complain about ambiguous
2443 (obscure_complex_init): Now returns a tree. Call extract_init if
2444 we're optimizing and this is a toplevel decl.
2445 (finish_decl): Update accordingly.
2447 * lex.c (check_newline): If we're just changing files (not pushing
2448 or popping), update input_file_stack->name.
2450 Mon Mar 20 17:55:04 1995 Mike Stump <mrs@cygnus.com>
2452 * pt.c (type_unification): Only TEMPLATE_DECLs are handled right now
2453 in the transitive unification code.
2455 Mon Mar 20 16:07:50 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2457 * decl.c (shadow_tag): Don't allow inline, virtual, or explicit on
2459 (grokdeclarator): Don't allow friends to be defined in local classes.
2461 Sat Mar 18 04:03:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2463 * decl2.c (finish_prevtable_vardecl): Use DECL_DECLARED_STATIC
2464 rather than DECL_SAVED_INSNS to decide whether or not this method
2465 was declared inline.
2467 * method.c (synthesize_method): Turn off DECL_INLINE if
2468 function_cannot_inline_p thinks we're too large.
2470 * typeck.c (build_indirect_ref): Use build_expr_type_conversion.
2472 Fri Mar 17 17:47:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2474 * class.c (instantiate_type): Handle pmfs.
2476 * typeck.c (convert_for_assignment): Check types when assigning one
2479 * decl.c (define_label): Fix logic for printing out the name of the
2480 label in an error message.
2482 * error.c (dump_expr): Support ARRAY_REF.
2484 Fri Mar 17 17:43:02 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2486 * decl2.c (finish_vtable_vardecl): Call build_t_desc here.
2487 (finish_prevtable_vardecl): Instead of here.
2489 Fri Mar 17 14:40:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2491 * decl.c (expand_static_init): Also use expand_aggr_init if the
2492 initializer is a TREE_LIST.
2493 (grokdeclarator): Only pedwarn about extra qualification if -pedantic.
2495 * pt.c (unify): Fix unification of return type.
2497 * expr.c (fixup_result_decl): Use store_expr, rather than
2498 emit_move_insn, to move the return value into the place where
2499 callers will expect it.
2501 Thu Mar 16 22:05:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2503 * init.c (build_offset_ref): Call assmble_external on functions.
2504 * typeck.c (build_component_ref): Likewise.
2506 Thu Mar 16 20:28:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2508 * decl.c (struct saved_scope): Add members base_init_list and
2510 (push_to_top_level): Save current_base_init_list and
2511 current_member_init_list to them.
2512 (pop_from_top_level): Put it back.
2514 Thu Mar 16 19:21:14 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2516 * pt.c (instantiate_template): Call assemble_external.
2518 Thu Mar 16 18:07:54 1995 Brendan Kehoe <brendan@phydeaux.cygnus.com>
2520 * class.c: Include rtl.h, to get NULL_RTX.
2521 (finish_struct): Also zero out DECL_SAVED_INSNS, to avoid problems
2522 on hosts with different sizes for each part of the union.
2523 * tree.c: Also include rtl.h.
2524 (layout_basetypes): Same change for DECL_SAVED_INSNS.
2526 Thu Mar 16 13:57:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2528 * pt.c (unify): Fix array domain unification for 64-bit targets.
2530 * decl2.c (finish_file): Push bizarre type decl before walking the
2531 vtables the first time.
2532 (walk_vtables): OK, don't set prev to vars if the vardecl_fn messed
2533 with TREE_CHAIN (prev).
2535 * init.c (emit_base_init): Use convert_pointer_to_real instead of
2536 convert_pointer_to when converting to a direct base.
2538 Wed Mar 15 20:26:29 1995 Mike Stump <mrs@cygnus.com>
2540 * pt.c (type_unification): Handle transitive unification better.
2542 Wed Mar 15 13:56:16 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2544 * decl2.c (walk_vtables): Always set prev to vars.
2545 (mark_vtable_entries): Call assemble_external on the vtable entries.
2547 * class.c (finish_struct): Set the vtable's size to NULL_TREE before
2548 calling layout_decl, so that it gets updated properly.
2550 Finally re-enable dynamic synthesis. This time it works.
2551 * method.c (synthesize_method): Pass decl_function_context (fndecl)
2552 to {push,pop}_cp_function_context.
2553 * decl.c (push_cp_function_context): Now takes a tree argument.
2554 (pop_cp_function_context): Likewise.
2555 * call.c (build_method_call): Enable synthesis.
2556 * lex.c (cons_up_default_function): Likewise.
2558 Tue Mar 14 19:14:19 1995 Doug Evans <dje@chestnut.cygnus.com>
2560 * parse.y (setattrs): Chain onto prefix_attributes rather than
2563 Wed Mar 15 13:00:00 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2565 * decl.c (pushdecl): Check if the type of the VAR_DECL is an
2566 error_mark_node before trying to read TYPE_LANG_SPECIFIC.
2568 Mon Mar 13 21:00:28 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2570 * decl.c (grokdeclarator, case ARRAY_REF): Wrap the exp with fold,
2571 and convert the size and integer_one_node to the index type.
2573 Mon Mar 13 08:01:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2575 * typeck.c (get_member_function_from_ptrfunc): Save the instance
2576 argument, and tack it onto the front of the COND_EXPR to make the
2577 semantics come out right. Grab the instance argument from
2578 '*instance_ptrptr', rather than having it passed in separately.
2580 * various: Change various consed-up comparison operations to have
2581 boolean type. Remove the instance argument in calls to
2582 get_member_function_from_ptrfunc.
2584 * error.c (dump_expr): Dump true and false as "true" and "false".
2586 * decl2.c (finish_file): Also set DECL_STATIC_FUNCTION_P on the
2587 global init function.
2589 * decl.c (finish_function): Only set DECL_EXTERNAL here if the
2590 inline function is public.
2592 Sat Mar 11 00:58:03 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2594 * init.c (is_friend): Be more careful about checking
2595 DECL_CLASS_CONTEXT on non-member functions.
2597 * decl2.c (finish_vtable_vardecl): Don't bother calling
2598 assemble_external here.
2599 (prune_vtable_vardecl): New function that just splices out the
2600 vtable decl from the top-level decls.
2601 (import_export_inline): Unset DECL_EXTERNAL at first.
2602 (finish_file): Don't bother calling assemble_external here. Do
2603 splice out all of the vtables.
2605 Fri Mar 10 14:42:29 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2607 * decl.c (finish_function): If we're not emitting the function yet,
2608 call assemble_external for it.
2610 * decl2.c (finish_prevtable_vardecl): Don't call mark_vtable_entries
2612 (finish_vtable_vardecl): Don't do the linkage deduction thing here.
2613 Also don't splice out the current vtable if it is unused.
2614 (finish_file): Move the second walk_vtables and the synthesis check
2615 inside the 'reconsider' loop. Move thunk emission after the
2618 Thu Mar 9 16:28:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2620 * pt.c (tsubst): Don't bother calling cp_build_type_variant, since it
2621 was passing bogus values for readonly and volatile from the original
2622 template decl, not the resultant type of the tsubst call.
2624 * class.c (duplicate_tag_error): Use cp_error_at to point out the
2625 previous definition of the tag.
2627 Thu Mar 9 10:46:17 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2629 * decl.c (start_function): Clear base_init_insns and protect_list.
2630 (struct cp_function): Add base_init_insns field.
2631 (push_cp_function_context): Also save base_init_insns.
2632 (pop_cp_function_context): Also restore base_init_insns.
2634 Wed Mar 8 13:31:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2636 * init.c (member_init_ok_or_else): Check for initializing a static
2638 (emit_base_init): Instead of here.
2640 Tue Mar 7 16:03:26 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2642 * call.c (build_method_call): Disable synthesis as needed.
2643 * lex.c (cons_up_default_function): Likewise.
2645 Tue Mar 7 10:14:29 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2647 * parse.y: New rules to allow attributes in a prefix position.
2648 (prefix_attributes): New variable. Pass it into cplus_decl_attributes.
2649 (setattr): New rule.
2650 (reserved_declspecs, declmods): Catch attributes here.
2651 * decl2.c (cplus_decl_attributes): Add PREFIX_ATTRIBUTES argument.
2652 * decl.c (duplicate_decls): Pass DECL_MACHINE_ATTRIBUTES to
2654 (grokdeclarator): Added code to support machine attributes.
2655 * Makefile.in (stamp-parse): Expect 5 shift/reduce failures.
2657 Mon Mar 6 15:07:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2659 * call.c (build_method_call): Don't synthesize methods outside of a
2662 Make base initialization more re-entrant so that synthesis on the
2663 fly will work (and, eventually, template instantiation on the fly).
2664 * init.c (sort_member_init): Don't bother with members that can't be
2665 initialized. Reorganize a bit. Don't initialize base members here.
2666 (sort_base_init): New function, like sort_member_init, but for base
2667 classes. Steals some code from emit_base_init.
2668 (emit_base_init): Simplify. Call sort_{member,base}_init before
2669 doing any initialization, so we don't have to save
2670 current_{member,base}_init_list in push_cp_function_context.
2671 (expand_aggr_vbase_init_1): Adjust for sort_base_init.
2672 (expand_aggr_vbase_init): Simplify.
2673 * decl.c (struct cp_function): Add protect_list field.
2674 (push_cp_function_context): Also save protect_list.
2675 (pop_cp_function_context): Also restore protect_list.
2676 * call.c (build_method_call): Enable synthesis at point of call.
2677 * lex.c (cons_up_default_function): Likewise.
2679 * parse.y: Turn -ansi checks back into -pedantic checks.
2681 * init.c (build_new): Fix -fcheck-new for array new.
2683 Sat Mar 4 15:55:42 1995 Fergus Henderson <fjh@cs.mu.oz.au>
2685 * typeck.c (build_compound_expr): warn if left-hand operand of
2686 comma expression has no side-effects.
2688 Fri Mar 3 15:16:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2690 * parse.y (primary): Change 'object qualified_id *' rules to 'object
2691 overqualified_id *'.
2693 Fri Mar 3 12:48:17 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2695 * parse.y (unary_expr): Catch doing sizeof an overloaded function.
2696 Make the error look the same as the one we issue in c_sizeof.
2698 * typeck.c (build_binary_op_nodefault): Give an error for trying
2699 to compare a pointer-to-member to `void *'.
2701 Fri Mar 3 11:28:50 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2703 * typeck.c (build_unary_op): Handle bool increment with smoke and
2704 mirrors here, rather than in expand_increment where it belongs,
2705 because Kenner doesn't agree with me.
2707 Fri Mar 3 00:08:10 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2709 * decl.c (grokparms): Catch a PARM_DECL being used for a default
2712 Thu Mar 2 20:05:54 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2714 * init.c (build_new): Don't allow new on a function type.
2716 * parse.y (primary): Avoid a crash when seeing if the arg is of
2717 the same type as that given for the typespec in an explicit dtor call.
2719 Thu Mar 2 00:49:38 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2721 * decl.c (finish_function): Change test for calling
2722 mark_inline_for_output.
2724 Wed Mar 1 11:23:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2726 * typeck.c (build_modify_expr): Complain if
2727 build_default_binary_type_conversion fails.
2729 * init.c (expand_default_init): Handle arguments of unknown type
2732 * cvt.c (build_expr_type_conversion): Only complain about ambiguity
2734 * various: Pass 'complain'.
2736 * typeck.c (comptypes): Be more picky about comparing UPTs.
2738 Wed Mar 1 11:03:41 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2740 * decl.c (grokdeclarator): If declarator is null, say that the
2741 type used has an incomplete type.
2743 Wed Mar 1 10:06:20 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2745 * pt.c (instantiate_template): Copy the template arguments to the
2746 permanent_obstack. Also use simple_cst_equal to compare them when
2747 looking for a previous instantiation.
2749 * tree.c (make_deep_copy): Support copying INTEGER_TYPEs (assuming
2750 they are array domain types).
2752 Tue Feb 28 23:24:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2754 * cp-tree.h: Define WANT_* constants for passing to
2755 build_expr_type_conversion.
2756 * cvt.c (build_expr_type_conversion): New function to build
2757 conversion to one of a group of suitable types.
2758 (build_default_binary_type_conversion): Use it.
2759 * decl2.c (grok_array_decl): Likewise.
2760 * typeck.c (build_unary_op): Likewise.
2761 (build_array_ref): Tidy up a bit.
2762 (build_binary_op): Likewise.
2764 Tue Feb 28 19:57:31 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2766 * decl.c (grokdeclarator): Don't allow decl of an argument as `void'.
2768 Tue Feb 28 17:23:36 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2770 * parse.y (typed_declspecs1): Add 'typespec reserved_typespecquals
2771 reserved_declspecs' rule.
2773 * parse.y (expr_or_declarator): Remove notype_qualified_id rule.
2774 (direct_notype_declarator): Likewise.
2775 (complex_direct_notype_declarator): Add notype_qualified_id rule.
2777 * lex.c (real_yylex): Handle :> digraph properly.
2779 Tue Feb 28 12:26:29 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2781 * decl.c (grokdeclarator): Check if it's a friend, not if it's
2782 non-virtual, that's being initialized. Move the check up to
2783 before FRIENDP would get cleared. Catch an unnamed var/field
2784 being declared void. Say just `field' instead of `structure field'
2785 in the error message. Only go for the operator name if DECLARATOR
2788 Tue Feb 28 00:08:01 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2790 * decl.c (start_function): Complain about abstract return type.
2791 (grokdeclarator): Complain about declaring constructors and
2792 destructors to be const or volatile. Complain about declaring
2793 destructors to be static.
2795 * pt.c (uses_template_parms): Handle pmfs.
2797 * decl.c (grokdeclarator): Don't call variable_size for array bounds
2798 that only depend on template constant parameters.
2800 Mon Feb 27 15:38:16 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2802 * error.c (dump_decl): Only look to see if it's a vtable if we
2803 actually have a name to check out.
2805 Mon Feb 27 13:37:53 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2807 * cvt.c (convert_to_aggr): Lose misleading shortcut.
2809 Sun Feb 26 17:27:32 1995 Doug Evans <dje@canuck.cygnus.com>
2811 * decl.c (set_nested_typename): Always set DECL_IGNORED_P,
2814 Sun Feb 26 00:10:18 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2816 * decl.c (grokdeclarator): Don't allow a static member to be
2817 declared `register'.
2819 * init.c (make_friend_class): Move up to a pedwarn for the warning
2820 about a class declaring friends with itself.
2822 * decl.c (grokdeclarator): You can't do `volatile friend class foo'
2823 or `inline friend class foo'. Only try to make a friend out of
2824 TYPE if we didn't already reset it to integer_type_node.
2826 Sat Feb 25 22:32:03 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2828 * decl.c (grokdeclarator): Don't allow initialization of a
2829 non-virtual function.
2831 * decl.c (start_function): Do a pedwarn if we're changing `main'
2832 to have an int return type.
2834 Sat Feb 25 00:02:05 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2836 * typeck.c (build_modify_expr): Handle simple assignment from
2837 TARGET_EXPRs by building up an RTL_EXPR to force expansion. Whew.
2839 Fri Feb 24 18:27:14 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2841 * decl.c (grokdeclarator): Also don't allow virtual outside of a
2842 class decl for a scope method definition performed at global binding.
2844 * init.c (build_offset_ref): Don't allow creation of an OFFSET_REF
2847 * decl.c (grokdeclarator): Don't allow a const to be declared mutable.
2849 * typeck.c (build_binary_op): Return an error_mark_node if either
2850 one of the args turned into an error_mark_node when we tried to
2851 use default_conversion.
2853 * typeck.c (build_unary_op): Forbid using postfix -- on a bool.
2855 * decl.c (grokdeclarator): Allow `signed' and `unsigned' to be
2856 used on `__wchar_t'.
2858 Fri Feb 24 13:59:53 1995 Mike Stump <mrs@cygnus.com>
2860 * except.c (end_protect_partials): Do it the right way.
2862 Wed Feb 22 15:42:56 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2864 * typeck.c (build_binary_op_nodefault): Upgrade warning about
2865 comparing distinct pointer types to pedwarn.
2867 * typeck2.c (digest_init): Cope with extra braces.
2869 * typeck.c (build_binary_op_nodefault): Use tree_int_cst_sgn instead
2870 of INT_CST_LT (..., interger_zero_node).
2872 Wed Feb 22 14:45:52 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2874 * except.c [!TRY_NEW_EH] (end_protect_partials): Define dummy
2875 function for systems that don't have EH.
2877 Tue Feb 21 19:18:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2879 * call.c (can_convert_arg): Like can_convert, but takes an arg as
2882 * pt.c (type_unification): Allow implicit conversions for parameters
2883 that do not depend on template parameters.
2885 Tue Feb 21 18:43:48 1995 Douglas Rupp <drupp@cs.washington.edu>
2887 * Make-lang.in, config-lang.in: ($exeext): New macro.
2888 * Make-lang.in: Try a "cp" if "ln" fails.
2889 * cp-tree.h (decl_attributes): Added argument.
2890 * decl2.c (cplus_decl_attribute): Add arg to decl_attributes.
2891 * cp/g++.c: Added #ifdefs for sys/file.h and process.h for NT.
2892 Modified spawnvp to have to correct number of arguments for OS/2, NT.
2894 Tue Feb 21 18:36:55 1995 Mike Stump <mrs@cygnus.com>
2896 * decl.c (finish_function): Add calls to end_protect_partials to end
2897 the exception region that protects constructors so that partially
2898 constructed objects can be partially destructed when the constructor
2899 throws an exception.
2900 * init.c (perform_member_init, sort_member_init, emit_base_init):
2901 Added support for partially constructed objects.
2902 * init.c (build_partial_cleanup_for): New routine to do partial
2903 cleanups of a base class.
2904 * decl2.c (finish_file): Move the emitting of the exception table
2905 down, after we emit all code that might have exception regions in
2907 * except.c (end_protect_partials, might_have_exceptions_p): New
2909 (emit_exception_table): Always output table if called.
2910 * cp-tree.h (protect_list, end_protect_partials,
2911 might_have_exceptions_p, emit_exception_table): Added.
2913 Tue Feb 21 16:05:59 1995 Brendan Kehoe <brendan@lisa.cygnus.com>
2915 * gc.c (build_typeid): Pass a NULL_TREE, not the bogus, unused
2916 address of a local variable.
2917 * class.c (build_vfn_ref): Only try to build the PLUS_EXPR if we
2918 were given a non-null PTR_TO_INSTPTR.
2920 Tue Feb 21 01:53:18 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2922 * decl.c (duplicate_decls): Always lay out the merged decl.
2924 * decl2.c (finish_vtable_vardecl): Don't do vtable hack on templates.
2925 (finish_prevtable_vardecl): Likewise.
2927 * method.c (synthesize_method): Set interface_{unknown,only}
2928 according to the settings for our class, not the file where it comes
2931 Sat Feb 18 12:26:48 1995 Mike Stump <mrs@cygnus.com>
2933 * except.c: Handle systems that define __i386__ but not __i386.
2935 Fri Feb 17 15:31:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2937 * decl2.c (reparse_decl_as_expr): Support being called without a
2940 * parse.y (primary): Add '(' expr_or_declarator ')'. Adds 4 r/r
2943 Fri Feb 17 12:02:06 1995 Mike Stump <mrs@cygnus.com>
2945 * parse.y (template_def, fndef, fn.def1, return_init, condition,
2946 initdcl0, initdcl, notype_initdcl0, nomods_initdcl0,
2947 component_decl_1, after_type_component_declarator0,
2948 notype_component_declarator0, after_type_component_declarator,
2949 notype_component_declarator, after_type_component_declarator,
2950 full_parm, maybe_raises, exception_specification_opt): Fix up,
2951 include exception_specification_opt maybeasm maybe_attribute and
2952 maybe_init if missing. Rename maybe_raises to
2953 exception_specification_opt to match draft wording. Use maybe_init
2956 Fri Feb 17 01:54:46 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2958 * init.c (build_new): Set TREE_NO_UNUSED_WARNING on COMPOUND_EXPRs
2959 built for news of scalar types.
2961 Thu Feb 16 17:48:28 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2963 * typeck.c (build_binary_op_nodefault): Update code for warning
2964 about signed/unsigned comparisons from C frontend. Realize that the
2965 code in the C frontend is, if anything, even more bogus. Fix it.
2966 (build_binary_op): Undo default_conversion if it wasn't useful.
2968 * typeck.c (build_unary_op, ADDR_EXPR): Lose bogus special case for
2971 * decl2.c (import_export_vtable): Don't try the vtable hack
2972 if the class doesn't have any real non-inline virtual functions.
2973 (finish_vtable_vardecl): Don't bother trying to find a non-inline
2974 virtual function in a non-polymorphic class.
2975 (finish_prevtable_vardecl): Likewise.
2977 * decl2.c (import_export_vtable): Use and set DECL_INTERFACE_KNOWN.
2979 * cp-tree.h (DECL_INTERFACE_KNOWN): Use DECL_LANG_FLAG_5.
2981 * init.c (expand_virtual_init): Always call assemble_external.
2983 * class.c (build_vfn_ref): Always call assemble_external.
2984 (build_vtable): Always call import_export_vtable.
2985 (prepare_fresh_vtable): Likewise.
2986 (add_virtual_function): Don't bother setting TREE_ADDRESSABLE.
2988 Thu Feb 16 03:28:49 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2990 * class.c (finish_struct): Use TYPE_{MIN,MAX}_VALUE to determine
2991 whether an enumerated type fits in a bitfield.
2993 Wed Feb 15 15:38:12 1995 Jason Merrill <jason@phydeaux.cygnus.com>
2995 * class.c (grow_method): Update method_vec after growing the class
2998 Wed Feb 15 13:42:59 1995 Mike Stump <mrs@cygnus.com>
3000 * parse.y (handler_seq): Push a level for the catch parameters.
3002 Wed Feb 15 12:42:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3004 * init.c (emit_base_init): Update BINFO_INHERITANCE_CHAIN on my
3005 bases, in case they've been clobbered.
3007 Wed Feb 15 12:07:29 1995 Mike Stump <mrs@cygnus.com>
3009 * class.c (finish_base_struct): Set up BINFO_INHERITANCE_CHAIN here,
3010 so that one day it will always be valid.
3011 * tree.c (propagate_binfo_offsets, layout_vbasetypes): Likewise.
3013 * cp-tree.h (copy_binfo): Removed, unused.
3014 * tree.c (copy_binfo): Likewise.
3016 Wed Feb 15 00:05:30 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3018 * init.c (build_new): Save the allocation before calling
3019 expand_vec_init on it.
3021 * decl.c (finish_enum): The TYPE_PRECISION of the enum type mush
3022 match the TYPE_PRECISION of the underlying type for constant folding
3025 Tue Feb 14 15:31:25 1995 Mike Stump <mrs@cygnus.com>
3027 * except.c (push_eh_entry, expand_start_all_catch,
3028 expand_leftover_cleanups, expand_end_catch_block): Keep track of
3029 the context in which the exception region occurs.
3030 (build_exception_table): If the region was not output, don't output
3031 the entry in the eh table for it.
3033 Tue Feb 14 02:15:43 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3035 * init.c (expand_default_init): Only use a previous constructor call
3036 if it's a call to our constructor. Does the word "Duh" mean
3039 * decl.c (grokparms): Fine, just don't call
3040 convert_for_initialization at all. OK? Happy now?
3042 Mon Feb 13 02:23:44 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3044 * cp-tree.h (CLASSTYPE_FIRST_CONVERSION): Make sure that the class
3045 method vector has a second element before returning it.
3047 * decl.c (grokparms): Don't strip REFERENCE_TYPE before calling
3048 convert_for_initialization.
3050 Sun Feb 12 03:57:06 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3052 * typeck.c (build_modify_expr): Compare function name to
3053 constructor_name (current_class_type) instead of current_class_name.
3055 * decl.c (grokparms): Don't do anything with the return value of
3056 convert_for_initialization.
3058 * error.c (dump_decl): Also dump_readonly_or_volatile on the decl.
3060 * decl.c (duplicate_decls): Tweak error message.
3062 * typeck.c (build_const_cast): Implement checking.
3063 (build_reinterpret_cast): Implement some checking.
3065 * cp-tree.h (CONV_FORCE_TEMP): Require a new temporary when
3066 converting to the same aggregate type.
3067 (CONV_STATIC_CAST): Include it.
3068 (CONV_C_CAST): Likewise.
3069 * cvt.c (convert_force): Use CONV_C_CAST instead of CONV_OLD_CONVERT.
3070 (cp_convert): Only force a new temporary if CONV_FORCE_TEMP.
3072 Fri Feb 10 16:18:52 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3074 * typeck.c (build_c_cast): Use non_lvalue to tack something on
3077 * decl.c (auto_function): Now a function.
3078 * except.c (init_exception_processing): terminate, unexpected,
3079 set_terminate, and set_unexpected have C++ linkage.
3081 * typeck.c (build_unary_op, TRUTH_NOT_EXPR): Use convert instead of
3082 truthvalue_conversion for converting to bool, as it handles
3083 user-defined conversions properly.
3084 (condition_conversion): Likewise.
3086 * except.c (expand_throw): Don't call convert_to_reference.
3087 Pass the correct parameters to build_new.
3089 * method.c (do_build_assign_ref): Don't use access control when
3090 converting to a base reference here.
3091 (do_build_copy_constructor): Or here.
3093 * init.c (build_new): Unset TREE_READONLY on the dereferenced
3094 pointer before assigning to it.
3096 * decl.c (maybe_build_cleanup): Don't bother stripping const here.
3098 * decl2.c (delete_sanity): You can now delete pointer to const.
3100 Fri Feb 10 13:28:38 1995 Jason Merrill <jason@python.cygnus.com>
3102 * decl.c (finish_function): Don't rely on actual parameters being
3103 evaluated left-to-right.
3104 * except.c (expand_end_catch_block): Likewise.
3106 Fri Feb 10 00:52:04 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3108 * tree.c (real_lvalue_p): Like lvalue_p, but class temps aren't
3110 * cvt.c (convert_to_reference): Use real_lvalue_p instead of
3113 * cvt.c (build_type_conversion_1): Don't call convert on aggregate
3115 (convert_to_reference): Fix erroneous text substitution.
3117 * typeck2.c (initializer_constant_valid_p): Update from C frontend.
3118 Add new argument to all callers.
3120 * typeck.c (convert_arguments): Check for error_mark_node before
3121 trying to do anything with the actual parameter.
3123 * typeck.c (condition_conversion): Build up a CLEANUP_POINT_EXPR and
3125 (bool_truthvalue_conversion): Remove. Fix all callers to call
3126 truthvalue_conversion instead.
3127 (various): Fold CLEANUP_POINT_EXPRs.
3129 * parse.y (conditions): Call condition_conversion rather than
3130 building up a CLEANUP_POINT_EXPR.
3132 * pt.c (end_template_decl): Don't warn_if_unknown_interface here
3133 under -falt-external-templates.
3135 Thu Feb 9 05:24:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3137 * init.c (build_new): Complain about new of const type without
3138 initializer. Other cleanup.
3140 * call.c (compute_conversion_costs): Don't call
3141 build_type_conversion with a reference type; convert to the target
3142 type and check its lvaluetude.
3143 * cvt.c (convert_to_reference): Likewise.
3145 * cvt.c (build_type_conversion_1): There will never be any need to
3146 dereference references here now.
3148 Thu Feb 9 00:37:47 1995 Mike Stump <mrs@cygnus.com>
3150 * except.c (expand_builtin_throw): Make sure we only `use' the
3151 value of return_val_rtx.
3153 Wed Feb 8 15:45:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3155 * parse.y (structsp): Don't complain about declaring a type being
3156 defined to be a friend.
3158 * decl2.c (warn_if_unknown_interface): Note the template in question
3159 and the point of instantiation, for -falt-external-templates.
3160 * lex.c (reinit_parse_for_method): Pass the decl to
3161 warn_if_unknown_interface.
3162 * pt.c (instantiate_template): Likewise.
3163 (end_template_decl): Likewise.
3165 * decl.c (set_nested_typename): Set IDENTIFIER_TYPE_VALUE on the
3166 nested name again, to make local classes work a bit better.
3168 * typeck.c (build_function_call_real): Dereference reference after
3169 checking for incomplete type.
3171 * init.c (build_new): Accept new of const and volatile types.
3173 Wed Feb 8 14:04:16 1995 Jason Merrill <jason@deneb.cygnus.com>
3175 * decl.c (grokdeclarator): Fix error message.
3177 Wed Feb 8 03:16:15 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3179 * typeck.c (convert_for_initialization): Do bash arrays when
3180 converting to a reference to non-array.
3182 Tue Feb 7 15:50:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3184 * cvt.c (cp_convert): Don't call convert_to_reference, or
3185 automatically dereference references. Do pass reference conversions
3186 to cp_convert_to_pointer.
3187 (cp_convert_to_pointer): Support references.
3189 * call.c (build_method_call): Don't build up a reference to the
3190 parameter here; let build_overload_call handle that.
3192 * typeck.c (build_c_cast): Call convert_to_reference directly if
3193 converting to a reference type.
3194 * method.c (do_build_copy_constructor): Likewise.
3195 * method.c (do_build_copy_constructor): Likewise.
3196 (do_build_assign_ref): Likewise.
3198 * call.c (build_method_call): Dereference a returned reference.
3199 * typeck.c (build_function_call_real): Likewise.
3201 * decl.c (xref_basetypes): Check for unions with basetypes here.
3202 (xref_tag): Instead of here.
3204 * pt.c (process_template_parm): Template type parm decls are
3207 Mon Feb 6 04:32:09 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3209 * parse.y (typed_declspecs): Add missing semicolon.
3210 (do_xref_defn): Resurrect.
3211 (named_class_head_sans_basetype): Move template specialization
3212 definition cases to named_class_head_sans_basetype_defn.
3214 * decl2.c (grokfield): Call pushdecl_class_level after setting the
3215 TYPE_NAME, not before.
3217 Sun Feb 5 02:50:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3219 * call.c (convert_harshness): Don't call sorry here. Don't allow
3220 conversions between function pointer types if pedantic.
3222 * pt.c (overload_template_name): Pass globalize=1 to xref_tag.
3224 * lex.c (cons_up_default_function): Use the full name for the return
3227 * decl.c (set_nested_typename): Don't worry about anonymous types,
3228 as they already have a unique name.
3229 (pushdecl): Remove redundant set_nested_typename
3230 (xref_tag): Split out base handling into xref_basetypes.
3232 * cp-tree.h (TYPE_INCOMPLETE): New macro; TEMPLATE_TYPE_PARMs are
3233 not considered incomplete even though their definition is unknown.
3235 * decl.c (xref_defn_tag): Lose.
3236 (xref_tag): xref_next_defn = ! globalize.
3237 (pushdecl): Don't set DECL_NESTED_TYPENAME on artificial decls. The
3238 ones that should have it set will have it set by pushtag.
3239 (pushdecl_class_level): Likewise.
3240 (pushtag): Tidy up a bit.
3241 (set_nested_typename): Push a decl for the nested typename from
3242 here, rather than from xref_defn_tag.
3244 * parse.y (do_xref): Lose.
3245 (named_class_head): If we see 'class foo:' we know it's a
3246 definition, so don't worry about base lists for non-definitions.
3248 * pt.c (push_template_decls): Template parm decls are artificial.
3250 * decl.c (duplicate_decls): Restore check for qualifier
3251 disagreement for non-functions.
3252 (decls_match): Remove check for qualifier disagreement.
3254 Fri Feb 3 14:58:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3256 * decl.c (grok_reference_init): Convert initializer from
3258 * typeck.c (convert_for_initialization): Likewise.
3260 * decl.c (duplicate_decls): Propagate DECL_NESTED_TYPENAME.
3262 * cvt.c (cp_convert): Don't convert to the same class type by just
3263 tacking on a NOP_EXPR.
3264 (convert_to_reference): Use comp_target_types instead of comptypes
3265 so that we don't allow conversions two levels down.
3267 Thu Feb 2 15:07:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3269 * class.c (build_vbase_path): Bash types to make the backend happy.
3270 * cvt.c (build_up_reference): Bash the types bashed by
3271 build_vbase_path to be reference types instead of pointer types.
3272 (convert_to_reference): Likewise.
3274 * typeck.c (build_c_cast): Don't strip NOPs if we're converting to a
3277 * parse.y (structsp): Put back error for 'struct B: public A;'.
3279 Wed Feb 1 23:02:06 1995 Mike Stump <mrs@cygnus.com>
3281 * except.c: Add support for mips systems that don't define __mips
3282 but do define mips, like Ultrix.
3284 Wed Feb 1 22:39:07 1995 Mike Stump <mrs@cygnus.com>
3286 * except.c: Add support for exception handling on the Alpha.
3288 Wed Feb 1 10:12:14 1995 Mike Stump <mrs@cygnus.com>
3290 * decl2.c (finish_file): Fix bug in Jan 31st change.
3292 Tue Jan 31 16:59:15 1995 Gerald Baumgartner <gb@lorenzo.cs.purdue.edu>
3294 * sig.c (build_signature_pointer_or_reference_type): Don't set
3295 IS_AGGR_TYPE for signature pointers/reference so expand_default_init
3296 doesn't expect to find a copy constructor.
3297 * call.c (build_method_call): Treat signature pointers/reference
3298 as if IS_AGGR_TYPE were set.
3300 Tue Jan 31 13:28:56 1995 Mike Stump <mrs@cygnus.com>
3302 * gc.c (get_typeid): Pawn off error messages to build_t_desc.
3303 (build_t_desc): Inform the user here if they try and build
3304 with -frtti and don't include <typeinfo.h>.
3306 * decl2.c (finish_prevtable_vardecl): Support rescanning.
3307 (finish_file): Move finish_prevtable_vardecl up to before the global
3308 initializers are done as tdecls are initialized in the global
3309 initializer. Also Pick up any new tdecls or vtables needed by
3310 synthesized methods.
3312 * class.c (finish_struct): Simplify. We have to do rtti scanning at
3313 end, so we might as well do all of it there.
3315 Tue Jan 31 05:35:02 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3317 * call.c (build_method_call): Fix -fthis-is-variable for 32-bit
3320 Tue Jan 31 00:11:04 1995 Mike Stump <mrs@cygnus.com>
3322 * decl2.c (finish_prevtable_vardecl): New routine, mostly split from
3323 finish_vtable_vardecl. It has the first half functionality from
3325 * decl2.c (finish_vtable_vardecl): Update to not include stuff not
3326 in finish_prevtable_vardecl.
3327 * decl2.c (finish_file): Call finish_prevtable_vardecl.
3328 * gc.c (build_generic_desc): Allow it to be called when not at the
3329 global binding layer, but behave as if we were.
3330 (build_t_desc): Rearrange a bit so that it really works and is
3332 * class.c (finish_struct): Don't decide on tdecls here, as we have
3333 to wait until the end of the file in general to decide whether or
3336 Mon Jan 30 01:00:40 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3338 * init.c (build_delete): Check access to operator delete before
3339 calling the destructor.
3340 * method.c (build_opfncall, DELETE_EXPR): build_method is allowed to
3341 return error_mark_node.
3342 * call.c (build_method_call): Use the one-argument op delete even if
3345 * init.c (build_new): Fix -fthis-is-variable support.
3346 * call.c (build_method_call): Likewise.
3348 * call.c (convert_harshness): Make conversion from a pointer to bool
3349 worse than conversion to another pointer.
3351 Sat Jan 28 16:46:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3353 * init.c (build_new): Check new return value if -fcheck-new.
3355 * lex.c (check_newline): Clear end_of_file when we're done, too.
3357 Sat Jan 28 10:38:39 1995 Mike Stump <mrs@cygnus.com>
3359 * decl2.c (finish_vtable_vardecl): Make rtti TD tables follow
3360 vtables whereever they go.
3362 * gc.c (build_t_desc): Remove old way of setting it up, as it wasn't
3365 Sat Jan 28 09:10:44 1995 Mike Stump <mrs@cygnus.com>
3367 * decl2.c (finish_vtable_vardecl): Now set the
3368 interface/implementation of vtables on the first virtual function,
3369 if one exists, otherwise we use the old method. This is a major win
3370 in terms of cutting down the size of objects and executables in
3371 terms of text space and data space. Now most of the savings that
3372 #pragma interface/implementation gives is automatic in a fair number
3375 Sat Jan 28 04:57:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3377 * decl.c (grokdeclarator): Discard the template parameters in a
3378 template constructor declaration so that the function is always
3379 named constructor_name (ctype).
3381 * lex.c (check_newline): Use ungetc to put back the character before
3382 calling HANDLE_PRAGMA.
3384 Fri Jan 27 17:23:47 1995 Mike Stump <mrs@cygnus.com>
3386 * decl2.c (check_classfn): If the cname is T<int> and fn_name is T,
3387 make sure we still match them.
3389 Fri Jan 27 16:32:10 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3391 * parse.y: Add END_OF_LINE token.
3393 * lex.c (check_newline): Set linemode when we see a # directive, and
3394 unset it when we're done. Turn all 'return's into 'goto skipline'.
3395 Fix all uses of '\n', since we won't see it anymore. Put back the
3396 character we read before checking for a sysv or target pragma.
3397 (real_yylex): If we see an EOF in linemode, return END_OF_LINE.
3398 (handle_sysv_pragma): Don't look at the input stream; quit when we
3399 see an END_OF_LINE token.
3401 * input.c (getch): Return EOF if we're in line mode and at the end
3403 (put_back): Don't put back an EOF.
3405 Thu Jan 26 19:26:34 1995 Mike Stump <mrs@cygnus.com>
3407 * except.c (expand_throw): Do the newing of the exception object
3408 before we load the type descriptor or the address so that we don't
3409 wipe any of the values out.
3411 Thu Jan 26 19:20:00 1995 Mike Stump <mrs@cygnus.com>
3413 * except.c (init_exception_processing): Don't use r12 on the rs6000.
3415 Tue Jan 24 16:36:31 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3417 * decl.c (grokparms): Don't try to build up a reference at this point.
3419 * typeck2.c (build_functional_cast): Don't assume that a NOP_EXPR
3420 will suffice to convert from integer_zero_node.
3422 Wed Jan 25 15:02:09 1995 David S. Miller <davem@nadzieja.rutgers.edu>
3424 * class.c (instantiate_type): Change error message text.
3425 * typeck2.c (store_init_value): Likewise.
3427 Mon Jan 23 21:57:14 1995 Mike Stump <mrs@cygnus.com>
3429 * pt.c (tsubst): When we copy a node, don't forget to copy
3430 TREE_CHAIN, we use it later.
3432 Mon Jan 23 03:33:47 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3434 * typeck.c (convert_for_assignment): Initialize variable before use.
3436 Fri Jan 20 01:17:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3438 * g++.c (main): Link with both libstdc++ and libg++ if called as
3439 something ending with "g++", otherwise only libstdc++. Move -lm to
3440 the end of the line.
3442 Thu Jan 19 15:43:11 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3444 * call.c (build_method_call): Don't mess with 'this' before calling
3445 compute_conversion_costs.
3447 Wed Jan 18 15:40:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3449 * search.c (get_matching_virtual): Give line number for previous
3452 * call.c (convert_harshness): Handle conversions to references
3455 * cvt.c (build_up_reference): OK, handle {MIN,MAX}_EXPR *properly*.
3457 Wed Jan 18 15:21:38 1995 Mike Stump <mrs@cygnus.com>
3459 * class.c (instantiate_type): Use DECL_CHAIN to walk lists instead,
3460 as the TREE_CHAIN for methods will take us to the next differently
3461 named function, DECL_CHAIN won't.
3463 Wed Jan 18 14:26:59 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3465 * tree.c (lvalue_p): Handle {MIN,MAX}_EXPR.
3467 * decl2.c (lang_decode_option): -Wall implies -Wparentheses.
3468 warn_parentheses defaults to 0.
3470 * decl.c (grokparms): Put back call to require_instantiated_type.
3472 Tue Jan 17 19:56:15 1995 Mike Stump <mrs@cygnus.com>
3474 * except.c (exception_section): Use the data section on the rs6000.
3475 Change calling convention for named_section.
3477 Wed Jan 17 18:20:57 1994 Fergus Henderson <fjh@munta.cs.mu.oz.au>
3479 * cp-tree.h: Make if (x=0) warn with wall
3480 * parse.y: Make if (x=0) warn with wall
3482 Tue Jan 17 14:12:00 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3484 * decl.c (BOOL_TYPE_SIZE): BITS_PER_WORD if SLOW_BYTE_ACCESS,
3485 BITS_PER_UNIT otherwise.
3487 * search.c (get_matching_virtual): Don't check the binfo if the
3490 * cvt.c (cp_convert): Just call truthvalue_conversion to convert to
3493 Mon Jan 16 13:28:48 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3495 * various: Use boolean_type_node, boolean_true_node,
3498 * search.c (get_matching_virtual): Allow covariant returns that
3499 don't require pointer adjustment.
3501 * typeck.c (build_conditional_expr): Don't call default_conversion
3504 * cvt.c (build_up_reference): Handle MIN_EXPR and MAX_EXPR.
3506 * decl.c (grokdeclarator): Upgrade warning about &const to pedwarn.
3508 Sun Jan 15 22:17:32 1995 David Binderman <dcb@lovat.fmrco.COM>
3510 * pt.c (do_function_instantiation): Free targs once we're done.
3512 Sun Jan 15 22:17:32 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3514 * decl.c (BOOL_TYPE_SIZE): Defaults to BITS_PER_WORD.
3515 (init_decl_processing): Use BOOL_TYPE_SIZE instead of CHAR_TYPE_SIZE
3518 Sat Jan 14 05:33:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3520 * decl2.c (finish_file): We need to mess up if there are any
3521 variables in the list, not just if there is one with a constructor.
3523 Fri Jan 13 14:42:55 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3525 * decl.c (duplicate_decls): Propagate DECL_STATIC_{CON,DE}STRUCTOR.
3526 (finish_function): Handle DECL_STATIC_{CON,DE}STRUCTOR.
3527 (finish_function): Trust rest_of_compilation.
3529 * decl2.c (finish_file): Also call functions designated as static
3530 constructors/destructors.
3532 * decl.c (grokdeclarator): Allow access decls of operator functions.
3533 (grokparms): Only do convert_for_initialization if the initializer
3535 (duplicate_decls): Put back push_obstacks_nochange call.
3537 * lex.c (real_yylex): Downgrade complaint about the escape sequence
3538 being too large from pedwarn to warning.
3540 * decl.c (grokdeclarator): Don't complain about long long in system
3543 * lex.c (real_yylex): Handle digraphs.
3545 Thu Jan 12 12:17:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3547 * decl.c (init_decl_processing): -f{no-,}strict-prototype only
3548 affects C linkage declarations now.
3550 * typeck.c (comp_target_types): Grok simple contravariant conversions.
3551 (common_type): t1 and t2 are interchangeable.
3553 * various: Test return value of comp_target_types differently in
3554 different places; it now returns -1 for a contravariant conversion
3555 (which is fine in symmetric cases).
3557 (common_type): Prefer long double to double even when
3558 they have the same precision.
3560 * decl.c (grokparms): Call convert_for_initialization to check
3563 * init.c (build_new): void_type_node has a size (of 0).
3565 * decl.c (decls_match): Also check for agreement of TREE_READONLY
3566 and TREE_THIS_VOLATILE.
3567 (push_class_level_binding): Properly handle shadowing of
3568 nested tags by fields.
3570 * search.c (dfs_pushdecls): Likewise.
3572 * decl2.c (finish_file): Don't second-guess self-initialization.
3574 * cvt.c (convert_to_reference): Work with expr directly, rather than
3577 * decl.c (push_overloaded_decl): Only shadow artificial TYPE_DECLs.
3579 * init.c (add_friend): Downgrade duplicate friend message from
3582 * decl.c (duplicate_decls): Push obstacks before calling common_type.
3584 Thu Jan 12 17:15:21 1995 Michael Ben-Gershon <mybg@cs.huji.ac.il>
3586 * except.c (push_eh_entry): Set LABEL_PRESERVE_P flag for
3587 exception table labels.
3588 (expand_start_all_catch): Likewise.
3589 (expand_leftover_cleanups): Likewise.
3590 (expand_end_catch_block): Likewise.
3591 * except.c (make_first_label): New function.
3592 (expand_start_all_catch): Add a call to make_first_label() before
3593 using a label as a jump destination.
3594 (expand_end_all_catch): Likewise.
3595 (expand_leftover_cleanups): Likewise.
3596 (expand_end_catch_block): Likewise.
3597 (expand_builtin_throw): Likewise.
3598 (expand_throw): Likewise.
3599 * except.c: Add ARM processor support for exception handling.
3601 Thu Jan 12 12:17:24 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3603 (complete_array_type): Copy code from C frontend.
3605 * lex.c (real_yylex): Don't multiply the length of a wide string
3606 literal by WCHAR_BYTES.
3608 * decl.c (pushdecl): Check for redeclaration of wchar_t here.
3609 (duplicate_decls): Instead of here.
3610 (define_label): Complain about a label named wchar_t.
3611 (grokdeclarator): Complain about declarations of
3612 operator-function-ids as non-functions.
3614 * typeck.c (unary_complex_lvalue): Also wrap prefix -- and ++ in
3616 (build_unary_op): Wrap unary plus in a NON_LVALUE_EXPR.
3618 * lex.c (real_yylex): Don't skip whitespace when reading the next
3621 Wed Jan 11 16:32:49 1995 Mike Stump <mrs@cygnus.com>
3623 * except.c: Allow cc1plus to be built with native compiler on rs6000.
3624 (expand_start_all_catch): Add assemble_external calls for various
3626 (expand_leftover_cleanups): Likewise.
3627 (expand_start_catch_block): Likewise.
3628 (do_unwind): Likewise.
3629 (expand_builtin_throw): Likewise.
3631 Wed Jan 11 01:05:42 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3633 * decl.c (pushtag): Only look for a previous decl in the current
3634 binding level. Use explicit global scope in DECL_NESTED_TYPENAME.
3636 * gxx.gperf: Add __signature__ and __sigof__ keywords.
3638 * decl2.c (lang_decode_option): -ansi does not set flag_no_asm. It
3639 does set flag_no_gnu_keywords and flag_operator_names.
3641 * lex.c (init_lex): 'overload' is not a keyword unless -traditional.
3642 Unset extension keywords if -fno-gnu-keywords.
3643 Allow operator names ('bitand') if -foperator-names.
3644 Never unset 'asm'; -fno-asm only affects 'typeof'.
3646 * decl.c (lookup_name_real): The got_object special lookup only
3649 Tue Jan 10 18:07:51 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3651 * spew.c (yylex): Also use DECL_NESTED_TYPENAME if got_object is set.
3653 * parse.y (primary): Unset got_object after all rules that use the
3654 'object' nonterminal.
3655 (object): Set got_object.
3657 * lex.h: Declare got_object.
3659 * decl.c (lookup_name_real): Also lookup names in the context of an
3662 Tue Jan 10 14:30:30 1995 Mike Stump <mrs@cygnus.com>
3664 * typeck.c (get_member_function_from_ptrfunc): Use ptrdiff_type_node
3665 for things that have to be added to pointers, not size_type. Cures
3666 problems with pointer to members on Alphas.
3667 (build_binary_op_nodefault): Likewise.
3668 (get_delta_difference_: Likewise.
3669 (build_ptrmemfunc): Likewise.
3671 Tue Jan 10 01:49:25 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3673 * decl.c (pushtag): Stick the new decl in TYPE_NAME before pushing
3676 * typeck.c (build_component_ref): Don't build up a COMPONENT_REF
3677 when dealing with overloaded member functions; just act like
3679 (commonparms): Remove misleading comment.
3681 * decl.c (duplicate_decls): Complain about repeated default
3683 (redeclaration_error_message): Instead of here.
3684 (pushdecl): Complain about missing default arguments here.
3685 (grokparms): Instead of here.
3686 (lookup_name_current_level): Also match on DECL_ASSEMBLER_NAME.
3687 (grok_reference_init): Do not complain about missing initializer if
3690 * search.c (lookup_field): Don't return a TYPE_DECL if there is a
3691 function alternative and want_type is not set.
3693 Mon Jan 9 18:16:23 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3695 * decl.c (pushtag): Don't set TYPE_NAME to an identifier. Do push
3696 the decl when the type has no TYPE_NAME.
3697 (lookup_nested_type): Don't assume that type has TYPE_NAME set.
3698 (lookup_name_real): Call lookup_field with want_type =
3701 * search.c (lookup_field): Handle want_type properly in the presence
3702 of fields with the same name.
3704 * decl.c (set_nested_typename): Set nested name for file-scope types
3705 to include leading ::.
3706 (pushdecl): Set the nested typename if the decl doesn't have one,
3707 rather than if the type's canonical decl doesn't have one.
3709 Mon Jan 9 03:44:33 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3711 * typeck.c (convert_for_assignment): Complain about contravariance
3713 (comp_target_types): Instead of here.
3714 (build_unary_op): resolve_offset_ref before checking for a valid
3717 * spew.c (yylex): Decrement looking_for_typename after we see a
3720 * decl.c (pushdecl): Don't install an artificial TYPE_DECL in
3721 IDENTIFIER_LOCAL_VALUE if we already have a decl with that name.
3723 * typeck.c (convert_for_assignment): Converting pointers to bool
3724 does not need a cast.
3726 Sun Jan 8 18:16:45 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3728 * class.c (instantiate_type): Initialize nsubsts parm.
3730 * pt.c (do_function_instantiation): Likewise.
3732 Sat Jan 7 14:37:05 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3734 * pt.c (tsubst): Use TREE_STATIC instead of DECL_INLINE &&
3735 DECL_SAVED_INSNS to determine whether or not we've seen a definition
3737 (instantiate_template): Likewise.
3739 * call.c (convert_harshness): Allow const reference binding when
3740 called from the overloading code, but not when called from
3741 can_convert (since it isn't a conversion).
3742 (convert_harshness): Put back some disabled code.
3744 Fri Jan 6 14:10:57 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3746 * call.c (convert_harshness): There is no implicit conversion from
3747 void* to other pointer types (unless the parameter is (void*)0).
3748 (convert_harshness): Non-lvalues do not convert to reference types.
3750 * class.c (finish_struct_methods): Still set
3751 TYPE_HAS_{INT,REAL}_CONVERSION.
3753 * call.c (can_convert): Don't use aggregate initialization.
3755 * cp-tree.h: Declare lookup_conversions.
3757 Thu Jan 5 21:08:00 1995 Mike Stump <mrs@cygnus.com>
3759 * parse.y (simple_stmt): Fix duplicate case value error messages to
3762 Wed Jan 4 16:44:19 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3764 * cvt.c (build_type_conversion): Total rewrite to use
3765 convert_harshness instead of reproducing conversion logic here. Now
3768 * call.c (convert_harshness): Support conversions to bool.
3769 (can_convert): Checks whether a conversion is less harsh
3770 than USER_CODE, for build_type_conversion.
3772 * search.c (add_conversions): Function for passing to dfs_walk which
3773 adds all the type conversion operators in the current type to a list.
3774 (lookup_conversions): Calls dfs_walk with add_conversions and return
3776 (dfs_walk): Don't require a qfn.
3778 * cp-tree.h: Lose CLASSTYPE_CONVERSIONS hackery.
3779 (CLASSTYPE_FIRST_CONVERSION): Points to elt 1 of CLASSTYPE_METHOD_VEC.
3781 * class.c (finish_struct_bits): Lose CLASSTYPE_CONVERSIONS hackery.
3782 (grow_method): A separate function for building onto the growing
3784 (finish_struct_methods): Use it. Put all type conversion operators
3785 right after the constructors. Perhaps we should sort the methods
3788 Mon Jan 2 14:42:58 1995 Jason Merrill <jason@phydeaux.cygnus.com>
3790 * call.c (build_method_call): Lose another misleading shortcut.
OSDN Git Service
