OSDN Git Service

2001-11-12 H.J. Lu <hjl@gnu.org>
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2001-11-12  H.J. Lu <hjl@gnu.org>
2
3         * cp/cvt.c (ocp_convert): Don't warn the address of a weak
4         function is always `true'.
5
6 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
7
8         * cp-lang.c (LANG_HOOKS_PRINT_DECL, LANG_HOOKS_PRINT_TYPE,
9         LANG_HOOKS_PRINT_STATISTICS, LANG_HOOKS_PRINT_XNODE,
10         LANG_HOOKS_PRINT_IDENTIFIER, LANG_HOOKS_SET_YYDEBUG): Override.
11         * cp-tree.h (print_class_statistics): Remove.
12         (cxx_print_statistics, cxx_print_xnode, cxx_print_decl, cxx_print_type,
13         cxx_print_identifier, cxx_set_yydebug): New.
14         * lex.c (set_yydebug): Rename c_set_yydebug.
15         * ptree.c (print_lang_decl, print_lang_type, print_lang_identifier,
16         lang_print_xnode): Rename.
17         * tree.c (print_lang_statistics): Rename.
18
19 2001-11-09  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
20
21         * class.c (dump_array): Fix format specifier warning.
22
23 2001-11-09  Neil Booth  <neil@daikokuya.demon.co.uk>
24
25         * cp-lang.c (LANG_HOOKS_NAME): Override.
26         (struct lang_hooks): Constify.
27         * lex.c (cxx_init_options): Update.
28         (lang_identify): Remove.
29         * parse.y (language_string): Remove.    
30
31 2001-11-08  Andreas Franck  <afranck@gmx.de>
32
33         * Make-lang.in (CXX_INSTALL_NAME, GXX_CROSS_NAME,
34         DEMANGLER_CROSS_NAME): Handle program_transform_name the way
35         suggested by autoconf.
36         (GXX_TARGET_INSTALL_NAME, CXX_TARGET_INSTALL_NAME): Define.
37         (c++.install-common): Use the transformed target alias names.
38
39 2001-11-06  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
40
41         * Make-lang.in: Update.
42         * cp-lang.c: Include langhooks-def.h.
43
44 2001-11-04  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
45
46         * pt.c (tsubst_copy): Call tsubst for TYPEOF_EXPR.
47
48 2001-11-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
49
50         * lex.c (copy_lang_type): Add static prototype.
51
52 2001-11-02  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
53
54         * pt.c (unify): Handle SCOPE_REF.
55
56 2001-11-01  Jakub Jelinek  <jakub@redhat.com>
57
58         * tree.c (cp_copy_res_decl_for_inlining): Adjust
59         DECL_ABSTRACT_ORIGIN for the return variable.
60
61 2001-10-31  Zack Weinberg  <zack@codesourcery.com>
62
63         *  Make-lang.in: Replace $(INTL_TARGETS) with po-generated.
64
65 2001-10-28  Joseph S. Myers  <jsm28@cam.ac.uk>
66
67         * ChangeLog.1, ChangeLog.2, ChangeLog, class.c, decl2.c, search.c,
68         semantics.c, spew.c: Fix spelling errors.
69
70 2001-10-27  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
71
72         * decl2.c (validate_nonmember_using_decl): Handle NAMESPACE_DECL.
73
74 2001-10-25  Zack Weinberg  <zack@codesourcery.com>
75
76         * cp-lang.c: Redefine LANG_HOOKS_CLEAR_BINDING_STACK to
77         pop_everything.
78
79 Tue Oct 23 14:00:20 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
80
81         * cp-lang.c (cxx_get_alias_set): New function.
82         Point LANG_HOOKS_GET_ALIAS_SET to it.
83
84 2001-10-23  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
85
86         * cp-tree.def (UNBOUND_CLASS_TEMPLATE): New tree node.
87         * cp-tree.h (make_unbound_class_template): Prototype new function.
88         * decl.c (make_unbound_class_template): New function.
89         * decl2.c (arg_assoc_template_arg): Handle UNBOUND_CLASS_TEMPLATE.
90         * error.c (dump_type): Likewise.
91         * mangle.c (write_type): Likewise.
92         * parse.y (template_parm): Likewise.
93         (template_argument): Use make_unbound_class_template.
94         * pt.c (convert_template_argument): Handle UNBOUND_CLASS_TEMPLATE.
95         (tsubst): Likewise.
96         (tsubst_copy): Likewise.
97         (unify): Likewise.
98         * tree.c (walk_tree): Likewise.
99         * typeck.c (comptypes): Likewise.
100
101 2001-10-21  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
102
103         * xref.c (GNU_xref_member): Use safe-ctype macros and/or fold
104         extra calls into fewer ones.
105
106 2001-10-18  Alexandre Oliva  <aoliva@redhat.com>
107
108         * decl.c (duplicate_decls): Propagate DECL_UNINLINABLE.
109         Warn when merging inline with attribute noinline.
110         (start_decl, start_function): Warn if inline and attribute
111         noinline appear in the same declaration.
112
113 2001-10-16  H.J. Lu <hjl@gnu.org>
114
115         * cp-tree.h (BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK): Defined
116         for tree checking disabled.
117
118 2001-10-16  Hans-Peter Nilsson  <hp@axis.com>
119
120         * cp-tree.h (VFIELD_NAME_FORMAT) [NO_DOLLAR_IN_LABEL &&
121         NO_DOT_IN_LABEL]: Adjust to match VFIELD_NAME.
122
123 2001-10-15  Richard Sandiford  <rsandifo@redhat.com>
124
125         * pt.c (UNIFY_ALLOW_MAX_CORRECTION): Define.
126         (unify): Only handle MINUS_EXPR specially if the above flag is set
127         and the subtracted constant is 1.  Clear the flag on recursive calls.
128         Set it when unifying the maximum value in an INTEGER_TYPE's range.
129
130 2001-10-15  Richard Sandiford  <rsandifo@redhat.com>
131
132         * decl.c (bad_specifiers): Don't allow exception specifications
133         on any typedefs.
134
135 2001-10-14  Neil Booth  <neil@daikokuya.demon.co.uk>
136
137         * cp/lex.c (init_cp_pragma): Similarly.
138
139 2001-10-13  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
140
141         * pt.c (lookup_template_class): Build complete template arguments
142         for BOUND_TEMPLATE_TEMPLATE_PARM.
143
144 2001-10-12  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
145
146         * cp-tree.h (TYPE_BINFO): Update comment.
147         (BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK): New macro.
148         (TEMPLATE_TEMPLATE_PARM_TEMPLATE_INFO): Use template_info.
149         (TYPENAME_TYPE_FULLNAME): Use TYPE_FIELDS.
150         (copy_type): Prototype new function.
151         * lex.c (copy_lang_decl): Gather tree node statistics.
152         (copy_lang_type): New function.
153         (copy_type): Likewise.
154         (cp_make_lang_type): Create lang_type for
155         BOUND_TEMPLATE_TEMPLATE_PARM.  Set TYPE_BINFO for TYPENAME_TYPE
156         and BOUND_TEMPLATE_TEMPLATE_PARM.
157         * pt.c (tsubst): Use copy_type instead of copy_node.
158         * search.c (lookup_field_1): Ignore TYPENAME_TYPE.
159
160 2001-10-12  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
161
162         * pt.c (determine_specialization): Ignore functions without
163         DECL_TEMPLATE_INFO.
164
165 2001-10-12  Nathan Sidwell  <nathan@codesourcery.com>
166
167         PR g++/4476
168         * typeck2.c (abstract_virtuals_error): Ignore incomplete classes.
169
170 2001-10-11  Jason Merrill  <jason_merrill@redhat.com>
171
172         * typeck2.c (store_init_value): Don't re-digest a bracketed
173         initializer.
174
175         * class.c (finish_struct_anon): Use TYPE_ANONYMOUS_P instead of
176         ANON_AGGR_TYPE_P.
177
178 2001-10-11  Richard Henderson  <rth@redhat.com>
179
180         * class.c (build_vtable_entry_ref): Create a VTABLE_REF instead
181         of an asm statement.
182         (build_vtbl_ref_1): Split out from build_vtbl_ref.
183         (build_vfn_ref): Use it to handle vtable descriptors before
184         calling build_vtable_entry_ref.
185         * decl2.c (output_vtable_inherit): Use assemble_vtable_inherit.
186
187 2001-10-10  Richard Henderson  <rth@redhat.com>
188
189         * parse.y (asm_operand): Allow named operands.
190         * semantics.c (finish_asm_stmt): Tweek for changed location
191         of the operand constrant.
192
193 2001-10-09  Jason Merrill  <jason_merrill@redhat.com>
194
195         * call.c (standard_conversion): Add bad conversion between
196         integers and pointers.
197         (convert_like_real): Don't use convert_for_initialization for bad
198         conversions; complain here and use cp_convert.
199         (build_over_call): Don't handle bad conversions specially.
200         (perform_implicit_conversion): Allow bad conversions.
201         (can_convert_arg_bad): New fn.
202         * cp-tree.h: Declare it.
203         * typeck.c (convert_for_assignment): Use it.
204         (ptr_reasonably_similar): Any target type is similar to void.
205
206 2001-10-08  Alexandre Oliva  <aoliva@redhat.com>
207
208         * Make-lang.in (CXX_OBJS): Added cp-lang.o.
209         (cp/cp-lang.o): New rule.
210         * cp-tree.h: Declare hooks.
211         * tree.c: Make hooks non-static.
212         (init_tree): Don't initialize hooks here.
213         * lex.c: Likewise.  Move definition of lang_hooks to...
214         * cp-lang.c: ... new file.
215
216 2001-10-08  Richard Henderson  <rth@redhat.com>
217
218         * cp-tree.h (struct lang_decl_flags): Remove declared_inline.
219         (DECL_DECLARED_INLINE_P): Use the bit in struct c_lang_decl.
220
221 2001-10-07  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
222
223         * class.c (build_vtable_entry_ref): Const-ify.
224         * decl.c (predefined_identifier,
225         initialize_predefined_identifiers): Likewise.
226         * init.c (build_new_1): Likewise.
227         * lex.c (cplus_tree_code_type, cplus_tree_code_length, resword):
228         Likewise.
229
230 2001-10-05  Alexandre Oliva  <aoliva@redhat.com>
231
232         * optimize.c (struct inline_data): Moved to ../tree-inline.c.
233         (INSNS_PER_STMT): Likewise.
234         (remap_decl, remap_block, copy_scopy_stmt, copy_body_r): Likewise.
235         (copy_body, initialize_inlined_parameters): Likewise.
236         (declare_return_variable, inlinable_function_p): Likewise.
237         (expand_call_inline, expand_calls_inline): Likewise.
238         (optimize_inline_calls, clone_body): Likewise.
239         * tree.c (walk_tree): Moved to ../tree-inline.c.
240         (walk_tree_without_duplicates): Likewise.
241         (copy_tree_r, remap_save_expr): Likewise.
242
243 2001-10-04  Alexandre Oliva  <aoliva@redhat.com>
244
245         * Make-lang.in (cp/decl.o, cp/tree.o): Depend on tree-inline.h.
246         (cp/pt.o, cp/semantics.o, cp/optimize.o): Likewise.
247         * cp-tree.h (lang_decl): Moved inlined_fns to tree_decl.
248         (TREE_READONLY_DECL_P, DECL_INLINED_FNS): Moved to ../tree.h.
249         (flag_inline_trees): Moved declaration to ../tree-inline.h.
250         (walk_tree): Moved declaration to ../tree-inline.h.
251         (walk_tree_without_duplicates, copy_tree_r): Likewise.
252         (remap_save_expr): Likewise.
253         * decl.c: Include tree-inline.h.
254         (lang_mark_tree): Don't mark inlined_fns.
255         * decl2.c (flag_inline_trees): Moved defn to ../tree-inline.c.
256         * optimize.c: Include tree-inline.h.
257         (optimize_inline_calls): Move declaration to ../tree.h, as
258         non-static.
259         (remap_decl): Use language-independent constructs and hooks.
260         (remap_block, copy_body_r, declare_return_variable): Likewise.
261         (inlinable_function_p): Likewise.  Don't test for
262         DECL_LANG_SPECIFIC before DECL_INLINED_FNS as inlined_fns is
263         no longer language-specific.
264         (optimize_inline_calls): Likewise.  Make it non-static.  Moved
265         call of dump_function to...
266         (optimize_function): Here...
267         (clone_body): New function, extracted from...
268         (maybe_clone_body): ... here.  Build decl_map locally and pass
269         it on to clone_body.
270         * pt.c, semantics.c: Include tree-inline.h.
271         * tree.c: Likewise.
272         (cp_walk_subtrees): New language-specific hook for tree inlining.
273         (cp_cannot_inline_tree_fn, cp_add_pending_fn_decls,
274         cp_is_overload_p, cp_auto_var_in_fn_p,
275         cp_copy_res_decl_for_inlining): Likewise.
276         (walk_tree): Move language-specific constructs into...
277         (cp_walk_subtrees): this new function.
278         (copy_tree_r): Use language-independent constructs and hooks.
279         (init_tree): Initialize tree inlining hooks.
280         (remap_save_expr): Adjust prototype so that the declaration
281         does not require the definition of splay_tree.
282
283 2001-10-03  John David Anglin  <dave@hiauly1.hia.nrc.ca>
284
285         * rtti.c (get_tinfo_decl): Call typeinfo_in_lib_p with the type used
286         to build the declaration instead of the declaration itself.
287
288 2001-10-02  Jason Merrill  <jason_merrill@redhat.com>
289
290         * decl2.c (cxx_decode_option): Add 'else'.
291
292         * spew.c (end_input): No longer static.
293         * cp-tree.h: Declare it.
294         * parse.y (datadef): Add "error END_OF_SAVED_INPUT" expansion.
295
296 2001-10-02  Joseph S. Myers  <jsm28@cam.ac.uk>
297
298         * call.c (build_over_call), typeck.c (build_function_call_real):
299         Pass type attributes to check_function_format rather than name or
300         assembler name.  Don't require there to be a name or assembler
301         name to check formats.
302
303 2001-10-02  Joseph S. Myers  <jsm28@cam.ac.uk>
304
305         * decl.c (init_decl_processing): Don't call
306         init_function_format_info.  Initialize lang_attribute_table
307         earlier.
308         (builtin_function): Call decl_attributes.
309         (insert_default_attributes): New.
310
311 2001-10-01  Jason Merrill  <jason_merrill@redhat.com>
312
313         * decl.c (grokdeclarator): Copy array typedef handling from C
314         frontend.
315
316         * decl.c (grokdeclarator): Copy too-large array handling from C
317         frontend.
318
319 2001-09-29  Alexandre Oliva  <aoliva@redhat.com>
320
321         * config-lang.in (target_libs): Added target-gperf, so that we
322         don't try to build it if C++ is disabled.
323
324 2001-09-23  Zack Weinberg  <zack@codesourcery.com>
325
326         * Make-lang.in (CXX_OBJS): Take out cp/errfn.o.
327         (cp/errfn.o): Delete rule.
328         (cp/error.o): Depend on flags.h.
329         * errfn.c: Delete file.
330         * cp-tree.h: Declare warn_deprecated.  Remove definitions of
331         TFF_NAMESPACE_SCOPE, TFF_CLASS_SCOPE, TFF_CHASE_NAMESPACE_ALIAS,
332         and TFF_TEMPLATE_DEFAULT_ARGUMENTS. #define cp_error, cp_warning,
333         cp_pedwarn, and cp_compiler_error to error, warning, pedwarn, and
334         internal_error respectively.  Make cp_deprecated into a macro.
335         Don't define cp_printer typedef or declare cp_printers.
336         * error.c: Include flags.h.
337         Delete: struct tree_formatting_info, print_function_argument_list,
338         print_declaration, print_expression, print_function_declaration,
339         print_function_parameter, print_type_id, print_cv_qualifier_seq,
340         print_type_specifier_seq, print_simple_type_specifier,
341         print_elaborated_type_specifier, print_rest_of_abstract_declarator,
342         print_parameter_declaration_clause, print_exception_specification,
343         print_nested_name_specifier, and definition of cp_printers.
344         (locate_error): New function.
345         (cp_error_at, cp_warning_at, cp_pedwarn_at): Moved here and
346         rewritten in terms of locate_error and diagnostic.c.
347         (cp_tree_printer): Rename cp_printer; wire up to *_to_string
348         instead of deleted print_* routines.  Handle %C, %L, %O, %Q also.
349         (init_error): Adjust to match.
350
351 Sat Sep 22 09:15:31 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
352
353         * Make-lang.in (CXX_C_OBJS): Add attribs.o.
354
355 2001-09-21  Richard Henderson  <rth@redhat.com>
356
357         * class.c (set_vindex): Mind TARGET_VTABLE_USES_DESCRIPTORS.
358         (build_vtbl_initializer): Likewise.
359         (build_vfn_ref): New.
360         * cp-tree.h: Declare it.
361         * call.c (build_over_call): Use it.
362         * decl2.c (mark_vtable_entries): Mark FDESC_EXPR.
363         * typeck.c (get_member_function_from_ptrfunc): Mind descriptors.
364
365 Fri Sep 21 08:16:19 2001  J"orn Rennecke <amylaar@redhat.com>
366
367         * decl.c (grokdeclarator): Use C syntax for attr_flags declaration.
368
369 2001-09-21  Joseph S. Myers  <jsm28@cam.ac.uk>
370
371         Table-driven attributes.
372         * decl.c: Rename DECL_MACHINE_ATTRIBUTES to DECL_ATTRIBUTES.
373         * decl2.c (cplus_decl_attributes): Only take one attributes
374         parameter.
375         * cp-tree.c (cplus_decl_attributes): Update prototype.
376         * class.c (finish_struct), decl.c (start_decl, start_function),
377         decl2.c (grokfield), friend.c (do_friend), parse.y
378         (parse_bitfield): Update calls to cplus_decl_attributes.
379         * decl.c (grokdeclarator): Take a pointer to a single ordinary
380         attribute list.
381         * decl.h (grokdeclarator): Update prototype.
382         * decl2.c (grokfield): Take a single ordinary attribute list.
383         * friend.c (do_friend): Likewise.
384         * decl.c (shadow_tag, groktypename, start_decl,
385         start_handler_parms, grokdeclarator, grokparms, start_function,
386         start_method), decl2.c (grokfield, grokbitfield, grokoptypename),
387         parse.y (parse_field, parse_bitfield, component_decl_1), pt.c
388         (process_template_parm, do_decl_instantiation): Pass single
389         ordinary attribute lists around.
390         * decl.c (grokdeclarator): Correct handling of nested attributes.
391         Revert the patch
392         1998-10-18  Jason Merrill  <jason@yorick.cygnus.com>
393                 * decl.c (grokdeclarator): Embedded attrs bind to the right,
394                 not the left.
395         .
396         * cp-tree.h (cp_valid_lang_attribute): Remove declaration
397         (cp_attribute_table): Declare.
398         * decl.c (valid_lang_attribute): Don't define.
399         (lang_attribute_table): Define.
400         (init_decl_processing): Initialize lang_attribute_table instead of
401         valid_lang_attribute.
402         * tree.c (cp_valid_lang_attribute): Remove.
403         (handle_java_interface_attribute, handle_com_interface_attribute,
404         handle_init_priority_attribute): New functions.
405         (cp_attribute_table): New array.
406         * decl2.c (import_export_class): Don't use
407         targetm.valid_type_attribute.
408
409 2001-09-15  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>
410
411                 * Make-lang.in (cp/error.o): Depend on real.h
412                 * error.c: #include "real.h"
413
414 2001-09-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
415
416         * mangle.c (mangle_conv_op_name_for_type): Use concat in lieu of
417         xmalloc/strcpy/strcat.
418
419 2001-09-13  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
420
421         * decl.c (warn_extern_redeclared_static, cp_make_fname_decl):
422         Const-ification.
423         * pt.c (tsubst_decl): Likewise.
424
425 2001-09-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
426
427         * decl2.c (lang_f_options): Const-ification.
428         * lex.c (cplus_tree_code_name): Likewise.
429         * spew.c (yyerror): Likewise.
430
431 2001-09-06  Nathan Sidwell  <nathan@codesourcery.com>
432
433         PR c++/3986
434         * class.c (force_canonical_binfo_r): Check & move an indirect
435         primary base first.
436         (force_canonical_binfo): Check that it's not already
437         canonical.
438         (mark_primary_virtual_base): Remove BINFO parameter.
439         (mark_primary_bases): Adjust, set BINFO_LOST_PRIMARY_P here.
440
441 2001-09-06  Nathan Sidwell  <nathan@codesourcery.com>
442
443         Remove TYPE_NONCOPIED_PARTS.
444         * cp-tree.h (CLASSTYPE_INLINE_FRIENDS): Map onto
445         CLASSTYPE_PURE_VIRTUALS.
446         (TYPE_RAISES_EXCEPTIONS): Map onto TYPE_BINFO.
447         * class.c (duplicate_tag_error): Remove TYPE_NONCOPIED_PARTS.
448         (layout_class_type): Don't call fixup_inline_methods here ...
449         (finish_struct_1): ... call it here.
450
451 2001-09-04  Mark Mitchell  <mark@codesourcery.com>
452
453         * decl.c (duplicate_decls): Remove code deadling with
454         DECL_SAVED_INSNS.
455         * decl2.c (finish_file): Likewise.
456         * pt.c (instantiate_decl): Likewise.
457         * semantics.c (expand_body): Don't defer local functions if
458         they wouldn't be deferred for some other reason.  Don't
459         generate RTL for functions that will not be emitted.
460         (genrtl_start_function): Remove code deadling with
461         DECL_SAVED_INSNS.
462         (genrtl_finish_function): Likewise.
463
464 2001-09-04  Nathan Sidwell  <nathan@codesourcery.com>
465
466         PR c++/4203
467         * call.c (build_over_call): Do not optimize any empty base
468         construction.
469
470 2001-08-31  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
471
472         * error.c (dump_template_decl): Output template parameters
473         together with their specifiers.
474         Output `class' prefix for template template parameter.
475         (dump_decl): Fix formatting.
476
477 2001-08-30  Kurt Garloff  <garloff@suse.de>
478
479         * optimize.c (inlinable_function_p): Allow only smaller single
480         functions. Halve inline limit after reaching recursive limit.
481
482 2001-08-30  Joern Rennecke <amylaar@redhat.com>
483             Jason Merrill  <jason_merrill@redhat.com>
484
485         * class.c (build_vtable_entry_ref): Subtract in char*, not
486         ptrdiff_t.
487
488 2001-08-23  Jason Merrill  <jason_merrill@redhat.com>
489
490         * tree.c (cp_build_qualified_type_real): Use get_qualified_type.
491         (build_cplus_array_type): Use cp_build_qualified_type, not
492         TYPE_MAIN_VARIANT, to get an unqualified version.
493
494         * decl2.c (grok_alignof): Lose.
495         (build_expr_from_tree): Use expr_sizeof and c_alignof_expr.
496         * typeck.c (c_alignof): Lose.
497         * semantics.c (finish_sizeof, finish_alignof): New.
498         * parse.y: Use them.
499         * cp-tree.h: Declare them.
500
501 2001-08-22  Jason Merrill  <jason_merrill@redhat.com>
502
503         * pt.c (tsubst_expr): Hand off to the TREE_CHAIN of a statement.
504         Don't loop in COMPOUND_STMT, FOR_STMT or TRY_BLOCK.
505         * tree.c (cp_statement_code_p): A TAG_DEFN is a statement.
506
507 2001-08-19  Jakub Jelinek  <jakub@redhat.com>
508
509         * typeck2.c (add_exception_specifier): Only require complete type if
510         not in processing template declaration.
511
512 2001-08-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
513
514         * decl.c: Cast argument to size_t, not HOST_WIDE_INT, in calls to
515         GNU_xref_start_scope and GNU_xref_end_scope.
516
517         * tree.c (TYPE_HASH): Moved to ../tree.h.
518
519 2001-08-16  Mark Mitchell  <mark@codesourcery.com>
520
521         * cvt.c (convert_to_void): Preserve TREE_SIDE_EFFECTS
522         on COMPOUND_EXPRs.
523
524 2001-08-14  Richard Henderson  <rth@redhat.com>
525
526         * class.c, cp-tree.h (build_vfn_ref): Remove.
527         * call.c, rtti.c: Replace all refernces with build_vtbl_ref.
528
529 2001-08-13  Mark Mitchell  <mark@codesourcery.com>
530
531         * call.c (build_over_call): Mark COMPOUND_EXPRs generated for
532         empty class assignment as having side-effects to avoid
533         spurious warnings.
534
535 2001-08-13  Zack Weinberg  <zackw@panix.com>
536
537         * Make-lang.in (cp/except.o): Add libfuncs.h to dependencies.
538         * except.c: Include libfuncs.h.
539
540 2001-08-11  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>
541
542         * decl.c (grokdeclarator): Clarify diagnostic message.
543
544 2001-08-13  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
545
546         * decl2.c (do_nonmember_using_decl): Replace using directive
547         with using declaration in the error message.
548
549 2001-08-11  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
550
551         * pt.c (maybe_fold_nontype_arg): Use TREE_TYPE of ARG as the
552         criterion to avoid rebuilding expression tree instead of
553         processing_template_decl.
554
555 2001-08-07  Jason Merrill  <jason_merrill@redhat.com>
556
557         Support named return value optimization for inlines, too.
558         * decl.c (finish_function): Nullify returns here.
559         * semantics.c (genrtl_start_function): Not here.
560         (cp_expand_stmt): Don't mess with CLEANUP_STMTs.
561         (nullify_returns_r): No longer static.  Just clear RETURN_EXPR.
562         Also nullify the CLEANUP_STMT for the nrv.
563         * cp-tree.h: Declare it.
564         * optimize.c (declare_return_variable): Replace the nrv with the
565         return variable.
566         * typeck.c (check_return_expr): Be more flexible on alignment check.
567         Ignore cv-quals when checking for a matching type.
568
569 2001-08-09  Richard Henderson  <rth@redhat.com>
570
571         * decl2.c (finish_objects): Use target hooks instead of
572         assemble_constructor and assemble_destructor.
573
574 2001-08-08  John David Anglin  <dave@hiauly1.hia.nrc.ca>
575
576         * g++spec.c (lang_specific_driver): Quote argument after `-Xlinker'.
577
578 2001-08-07  Nathan Sidwell  <nathan@codesourcery.com>
579
580         PR c++/3820
581         Stop using TYPE_NONCOPIED_PARTS.
582         * call.c (build_over_call): Be careful when copy constructing
583         or assigning to an empty class.
584         * class.c (check_bases_and_members): It has a
585         COMPLEX_ASSIGN_REF if it has a vptr.
586         (layout_class_type): Don't add empty class padding to
587         TYPE_NONCOPIED_PARTS.
588         (finish_struct_1): Don't add the VFIELD either.
589         * cp-tree.h (TYPE_HAS_TRIVIAL_INIT_REF): Mention _copy_
590         initialization.
591
592 2001-08-07  Jason Merrill  <jason_merrill@redhat.com>
593
594         * tree.c (walk_tree): Walk siblings even if !walk_subtrees.
595
596 2001-08-06  Richard Henderson  <rth@redhat.com>
597
598         * decl2.c (finish_objects): Pass a symbol_ref and priority to
599         assemble_{constructor,destructor}.  Remove priority handling.
600
601 2001-08-05  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>
602
603         Don't allow template-id in using-declaration.
604         * decl2.c (validate_nonmember_using_decl): Handle template-ids.
605         (do_class_using_decl): Likewise.
606
607 2001-08-04  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
608
609         * cp/spew.c (read_token): No need to pop buffers.
610
611 2001-08-02  Stan Shebs  <shebs@apple.com>
612
613         * cp-tree.h (FNADDR_FROM_VTABLE_ENTRY): Remove, no longer used.
614         (fnaddr_from_vtable_entry): Remove decl.
615         * method.c (use_thunk): Update comment.
616
617 2001-08-01  Andrew Cagney  <ac131313@redhat.com>
618
619         * repo.c (get_base_filename): Change return value to const char
620         pointer.
621
622 2001-08-02  Nathan Sidwell  <nathan@codesourcery.com>
623
624         Kill -fhonor-std.
625         * NEWS: Document.
626         * cp-tree.h (flag_honor_std): Remove.
627         (CPTI_FAKE_STD): Remove.
628         (std_node): Remove comment about it being NULL.
629         (fake_std_node): Remove.
630         * decl.c (in_fake_std): Remove.
631         (walk_namespaces_r): Remove fake_std_node check.
632         (push_namespace): Remove in_fake_std code.
633         (pop_namespace): Likewise.
634         (lookup_name_real): Remove fake_std_node check.
635         (init_decl_processing): Always create std_node. Always add
636         std:: things there.
637         (builtin_function): Always put non '_' fns in std.
638         * decl2.c (flag_honor_std): Remove.
639         (lang_f_options): Remove honor-std.
640         (unsupported_options): Add honor-std.
641         (set_decl_namespace): Remove fake_std_node check.
642         (validate_nonmember_using_decl): Likewise.
643         (do_using_directive): Likewise.
644         (handle_class_head): Likewise.
645         * dump.c (cp_dump_tree): Likewise.
646         * except.c (init_exception_processing): Adjust.
647         * init.c (build_member_call): Remove fake_std_node check.
648         (build_offset_ref): Likewise.
649         * lang-options.h: Remove -fhonor-std, -fno-honor-std.
650         * rtti.c (init_rtti_processing): Adjust.
651
652 2001-07-31  Alexandre Petit-Bianco  <apbianco@redhat.com>
653
654         * tree.c (cp_tree_equal): WITH_CLEANUP_EXPR node to use its second
655         operand while calling cp_tree_equal.
656
657 2001-07-31  Nathan Sidwell  <nathan@codesourcery.com>
658
659         The 3.0 ABI no longer has vbase pointer fields.
660         * cp-tree.h (VBASE_NAME, VBASE_NAME_FORMAT, VBASE_NAME_P,
661         FORMAT_VBASE_NAME): Remove.
662         * method.c (do_build_copy_constructor): Adjust.
663         (do_build_assign_ref): Adjust.
664         * search.c (lookup_field_r): Adjust.
665         * typeck.c (build_component_ref): Adjust.
666
667         The 3.0 ABI always has a vtable pointer at the start of every
668         polymorphic class.
669         * rtti.c (build_headof_sub): Remove.
670         (build_headof): Adjust.
671         (get_tinfo_decl_dynamic): No need to check flag_rtti
672         here. Adjust.
673         (create_real_tinfo_var): Explain why we need a hidden name.
674
675 2001-07-31  Nathan Sidwell  <nathan@codesourcery.com>
676
677         PR c++/3631
678         * class.c (update_vtable_entry_for_fn): The fixed adjustment
679         of a virtual thunk should be from declaring base.
680
681 2001-07-31  Nathan Sidwell  <nathan@codesourcery.com>
682
683         * class.c (dfs_ctor_vtable_bases_queue_p): Always walk into
684         the shared virtual base, so preserving inheritance graph order.
685
686 2001-07-30  Andreas Jaeger  <aj@suse.de>
687
688         * decl2.c: Remove unused var global_temp_name_counter.
689
690 2001-07-28  Richard Henderson  <rth@redhat.com>
691
692         * method.c (pending_inlines): Remove.
693
694 2001-07-27  Nathan Sidwell  <nathan@codesourcery.com>
695
696         * class.c (mark_primary_virtual_base): Don't adjust base
697         offsets here.
698         (dfs_unshared_virtual_bases): Adjust them here.
699         (mark_primary_bases): Explain why we adjust at the end.
700
701 2001-07-27  Nathan Sidwell  <nathan@codesourcery.com>
702
703         * class.c (finish_struct_1): When copying the primary base's
704         VFIELD, make sure we find it is at offset zero.
705
706 2001-07-26  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
707
708         * pt.c (tsubst_template_parms): Call maybe_fold_nontype_arg and
709         tsubst_expr for default template arguments.
710
711 2001-07-26  Nathan Sidwell  <nathan@codesourcery.com>
712
713         PR c++/3621
714         * spew.c (yylex): Only copy the token's lineno, if it is
715         non-zero.
716
717 2001-07-26  Nathan Sidwell  <nathan@codesourcery.com>
718
719         PR c++/3624
720         * call.c (resolve_args): Simplify, call
721         convert_from_reference.
722         (build_new_op): Resolve and convert from reference ARG1
723         earlier. Adjust ARG2 & ARG3 resolve and conversion.
724
725 2001-07-26  Nathan Sidwell  <nathan@codesourcery.com>
726
727         * decl.c (last_function_parm_tags): Remove.
728         (current_function_parm_tags): Remove.
729         (init_decl_processing): Adjust.
730         (start_function): Adjust.
731         (store_parm_decls): Adjust.
732
733         PR c++/3152
734         * decl.c (grokdeclarator): Detect when a function typedef is
735         declaring a function, and create last_function_parms correctly.
736
737 2001-07-25  Jason Merrill  <jason_merrill@redhat.com>
738
739         * call.c (joust): Only prefer a non-builtin candidate to a builtin
740         one if they have the same signature.
741
742         * cvt.c (build_up_reference): Take DECL parm.  Check TREE_STATIC on
743         it rather than toplevel_bindings_p.  Give it a mangled name if static.
744         (convert_to_reference): Adjust.
745         * decl2.c (get_temp_name): Lose.
746         * mangle.c (mangle_ref_init_variable): New fn.
747         (mangle_guard_variable): Strip the ref-init header.
748         * cp-tree.h: Adjust.
749         * decl.c (cp_finish_decl): Add the DECL_STMT after processing the
750         initializer.
751         (grok_reference_init): Always use DECL_INITIAL.
752
753 2001-07-25  Nathan Sidwell  <nathan@codesourcery.com>
754
755         PR c++/3416
756         * call.c (build_conditional_expr): Recheck args after
757         conversions.
758         * cp-tree.h (build_conditional_expr): Move to correct file.
759         * typeck.c (decay_conversion): Diagnose any unknown types
760         reaching here.
761         (build_binary_op): Don't do initial decay or default
762         conversions on overloaded functions.
763         (build_static_cast): Don't do a decay conversion here.
764
765 2001-07-25  Nathan Sidwell  <nathan@codesourcery.com>
766
767         PR c++/3543
768         * typeck.c (condition_conversion): Resolve an OFFSET_REF.
769         * expr.c (cplus_expand_expr): An OFFSET_REF should never get here.
770
771 2001-07-25  Nathan Sidwell  <nathan@codesourcery.com>
772
773         * class.c (build_vtbl_or_vbase_field): Remove, move into ...
774         (create_vtbl_ptr): ... here.
775
776 2001-07-25  Nathan Sidwell  <nathan@codesourcery.com>
777
778         * class.c (build_vbase_offset_vbtl_entries): Look for
779         non-primary base of which we are a sub vtable.
780
781 2001-07-24  Phil Edwards  <pme@sources.redhat.com>
782
783         * semantics.c (finish_this_expr):  Remove unused code.
784
785 2001-07-24  Nathan Sidwell  <nathan@codesourcery.com>
786
787         Simplify rtti, now we've only one ABI.
788         * cp-tree.h (cp_tree_index): Remove CPTI_TINFO_DECL_ID,
789         CPTI_TINFO_VAR_ID.
790         (tinfo_decl_id, tinfo_var_id): Remove.
791         (get_typeid_1): Remove.
792         * rtti.c
793         (init_rtti_processing): Remove tinfo_decl_id & tinfo_var_id.
794         (typeid_ok_p): New function.
795         (build_type_id): Call typeid_ok_p. Don't call tinfo_from_decl.
796         (get_tinfo_decl): Remove old abi documentation.
797         (tinfo_from_decl): Remove.
798         (get_type_id): Call typeid_ok_p. Absorb get_typeid_1.
799         (get_typeid_1): Remove.
800         (get_base_offset): Remove.
801         (synthesize_tinfo_var): Absorb get_base_offset.
802         (create_real_tinfo_var): Don't use tinfo_decl_id.
803
804 2001-07-23  Graham Stott  <grahams@redhat.com>
805
806         * cp/class.c (type_requires_array_cookie): Fix use of uninitialised
807         variable has_two_argument_delete_p.
808
809 2001-07-21  Nathan Sidwell  <nathan@codesourcery.com>
810
811         Remove flag_vtable_thunk. It is always on for the 3.0 ABI.
812         * cp-tree.h (CPTI_DELTA2_IDENTIFIER): Remove.
813         (CPTI_INDEX_IDENTIFIER): Remove.
814         (CPT_PFN_OR_DELTA2_IDENTIFIER): Remove.
815         (delta2_identifier): Remove.
816         (index_identifier): Remove.
817         (pfn_or_delta2_identifier): Remove.
818         (flag_vtable_thunks): Remove.
819         (VTABLE_DELTA2_NAME): Remove.
820         (VTABLE_INDEX_NAME): Remove.
821         (FNADDR_FROM_VTABLE_ENTRY): Adjust.
822         (vfunc_ptr_type_node): Adjust.
823         (VTABLE_NAME_PREFIX): Adjust.
824         (build_vfn_ref): Lose first parameter.
825         (fixup_all_virtual_upcast_offsets): Remove.
826         * decl.c (initialize_predefined_identifiers): Remove
827         delta2_identifier, index_identifier, pfn_or_delta2_identifier.
828         (init_decl_processing): Remove no-vtable-thunk code.
829         * decl2.c (flag_vtable_thunks): Remove.
830         (mark_vtable_entries): Remove no-vtable-thunk code.
831         * error.c (dump_decl): Remove no-vtable-thunk code.
832         (dump_expr): Adjust ptr to member function code.
833         * init.c (initialize_vtable_ptrs): Remove no-vtable-thunk
834         code.
835         * rtti.c (build_headof): Remove no-vtable-thunk code.
836         (get_tinfo_decl_dynamic): Adjust build_vfn_ref call.
837         * search.c (get_base_distance): Remove expand_upcast_fixups case.
838         (virtual_context) Remove.
839         (expand_upcast_fixups): Remove.
840         (fixup_virtual_upcast_offsets): Remove.
841         (fixup_all_virtual_upcast_offsets): Remove.
842         * typeck.c (get_member_function_from_ptrfunc): Remove
843         no-vtable-thunk code.
844         * call.c (build_over_call): Adjust call to build_vfn_ref.
845         * class.c (build_vfn_ref): Lose first parameter. Remove
846         no-vtable-thunk code.
847         (build_rtti_vtbl_entries): Remove no-vtable-thunk code.
848         (build_vtable_entry): Remove no-vtable-thunk code.
849
850 2001-07-20  Nathan Sidwell  <nathan@codesourcery.com>
851
852         Remove old-abi remnants. Remove comments about old abi
853         behaviour. Remove refences to 'new-abi' in comments.
854         * cp-tree.h: Adjust comments.
855         (vbase_offsets_in_vtable_p): Delete.
856         (vcall_offsets_in_vtable_p): Delete.
857         (vptrs_present_everywhere_p): Delete.
858         (all_overridden_vfuns_in_vtables_p): Delete.
859         (merge_primary_and_secondary_vtables_p): Delete.
860         (TYPE_CONTAINS_VPTR_P): Adjust.
861         (VTT_NAME_PREFIX): Remove.
862         (CTOR_VTBL_NAME_PREFIX): Remove.
863         (init_vbase_pointers): Remove.
864         * class.c: Adjust coments.
865         (build_vbase_pointer_fields): Delete.
866         (build_vbase_pointer): Remove old-abi code.
867         (build_secondary_vtable): Likewise.
868         (modify_all_vtables): Likewise.
869         (create_vtable_ptr): Likewise.
870         (layout_class_type): Likewise.
871         (finish_struct_1): Likewise.
872         (finish_vtbls): Likewise.
873         (dfs_finish_vtbls): Delete.
874         (build_vbase_offset_vtbl_entries): Remove old-abi code.
875         * cvt.c: Adjust comments.
876         * decl.c: Adjust comments.
877         * decl2.c: Adjust comments.
878         * init.c: Adjust comments.
879         (construct_virtual_bases): Remove old-abi code.
880         * lang-specs.h: Remove -fno-new-abi.
881         * mangle.c: Adjust comments.
882         * rtti.c: Adjust comments.
883         (get_base_offset): Remove old-abi-code.
884         * search.c: Adjust comments.
885         (dfs_init_vbase_pointers): Remove.
886         (dfs_vtable_path_unmark): Remove.
887         (init_vbase_pointers): Remove.
888         * semantics.c: Adjust comments.
889         (emit_associated_thunks): Remove old-abi code.
890         * typeck.c: Adjust comments.
891
892 2001-07-20  Daniel Berlin  <dan@cgsoftware.com>
893
894         * Make-lang.in (cp/optimize.o): Depend on $(PARAMS_H), not
895         params.h.
896
897 2001-07-19  Mark Mitchell  <mark@codesourcery.com>
898
899         * class.c (finish_struct_anon): Forbid nested classes.
900
901 2001-07-19  Neil Booth  <neil@daikokuya.demon.co.uk>
902
903         * decl2.c: Don't include dwarfout.h and dwarf2out.h.
904         * optimize.c: Include debug.h.
905         (maybe_clone_body): Use debug hook.
906         * semantics.c: Include debug.h.
907         (expand_body): Use debug hook.
908
909 2001-07-19  Neil Booth  <neil@daikokuya.demon.co.uk>
910
911         * spew.c (read_token, yyerror): Remove CPP_INT, CPP_FLOAT cases.
912
913 2001-07-18  Mark Mitchell  <mark@codesourcery.com>
914
915         * class.c (type_requires_array_cookie): New function.
916         (check_methods): Don't try to figure out whether the type needs a
917         cookie here.
918         (check_bases_and_members): Set TYPE_VEC_NEW_USES_COOKIE here.
919         * cp-tree.h (TYPE_VEC_DELETE_TAKES_SIZE): Remove.
920         (TYPE_VEC_NEW_USES_COOKIE): Reimplement.
921         * pt.c (instantiate_class_template): Don't set
922         TYPE_VEC_DELETE_TAKES_SIZE.
923         * NEWS: Document ABI changes from GCC 3.0.
924
925 2001-07-18  Xavier Delacour <xavier@fmaudio.net>,
926             Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
927
928         * NEWS (Changes in GCC 3.0): Fix typo.
929
930 2001-07-13  Joseph S. Myers  <jsm28@cam.ac.uk>
931
932         * decl2.c (cplus_decl_attributes): Take a pointer to the node to
933         which attributes are to be attached, and a flags argument.  Update
934         call to decl_attributes.
935         (grokfield): Update call to decl_attributes.
936         * class.c (finish_struct): Update call to cplus_decl_attributes.
937         * cp-tree.h (cplus_decl_attributes): Update prototype.
938         * decl.c (start_decl, grokdeclarator, start_function): Update
939         calls to decl_attributes and cplus_decl_attributes.
940         * friend.c (do_friend): Update call to cplus_decl_attributes.
941         * parse.y (parse_bitfield): Update call to cplus_decl_attributes.
942
943 2001-07-12  Mark Mitchell  <mark@codesourcery.com>
944
945         * decl.c (make_rtl_for_nonlocal_decl): Set DECL_C_HARD_REGISTER
946         for `register' variables with an asm-specification.
947
948 2001-07-11  Mark Mitchell  <mark@codesourcery.com>
949
950         * semantics.c (finish_asm_stmt): Mark the output operands
951         to an asm addressable, if necessary.
952
953 2001-07-11  Ben Elliston  <bje@redhat.com>
954
955         * Revert this change -- there is a subtle bug.
956
957         PR c++/80
958         * decl.c (finish_enum): New "attributes" argument; pass it to
959         cplus_decl_attributes.  Use a narrower type if the enum is packed.
960         * cp-tree.h (finish_enum): Adjust prototype.
961         * parse.y (enum_head): New non-terminal.
962         (structsp): Use it. Enums now may be preceded or followed by
963         optional attributes -- pass their chained tree to finish_enum().
964         * pt.c (tsubst_enum): Pass NULL_TREE for the new argument.
965
966 2001-07-10  Mark Mitchell  <mark@codesourcery.com>
967
968         * pt.c (tsubst_decl): Set DECL_CONTEXT for namespace-scope
969         variables.
970
971 2001-07-10  Jason Merrill  <jason_merrill@redhat.com>
972
973         * semantics.c (cp_expand_stmt): Fix for null
974         current_function_return_value.
975
976 2001-07-10  Jan van Male  <jan.vanmale@fenk.wau.nl>
977
978         * call.c (build_op_delete_call): Initialize fn.
979         (convert_like_real): Delete conditional.
980         (joust): Initialize *w and *l.
981         * class.c: Add prototype for binfo_ctor_vtable.
982         (get_primary_binfo): Initialize result.
983         * init.c (build_java_class_ref): Initialize name.
984
985 2001-07-09  Erik Rozendaal  <dlr@acm.org>
986
987         * typeck.c (unary_complex_lvalue): Do not duplicate the
988         argument to modify, pre-, or post-increment when used as an
989         lvalue and when the argument has side-effects.
990
991 2001-07-08  Joseph S. Myers  <jsm28@cam.ac.uk>
992
993         * decl.c (start_decl): Don't call SET_DEFAULT_DECL_ATTRIBUTES.
994         (start_function): Don't call SET_DEFAULT_DECL_ATTRIBUTES.  Call
995         cplus_decl_attributes even if attrs is NULL.
996         * friend.c (do_friend): Don't call SET_DEFAULT_DECL_ATTRIBUTES.
997
998 2001-07-08  Joseph S. Myers  <jsm28@cam.ac.uk>
999
1000         * decl.c (grokdeclarator), decl2.c (cplus_decl_attributes): Update
1001         calls to decl_attributes.
1002
1003 2001-07-06  Ira Ruben   <ira@apple.com>
1004
1005         * cp-tree.def (TEMPLATE_DECL): Update comment. DECL_RESULT should
1006         be DECL_TEMPLATE_RESULT.
1007
1008 2001-07-05  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
1009
1010         * cp-tree.h (copy_template_template_parm): Rename to ...
1011         (bind_template_template_parm): ... here.
1012         * tree.c (copy_template_template_parm): Rename to ...
1013         (bind_template_template_parm): ... here.  Remove the case when
1014         NEWARGS is NULL_TREE.
1015         (copy_tree_r): Don't copy TEMPLATE_TEMPLATE_PARM and
1016         BOUND_TEMPLATE_TEMPLATE_PARM.
1017         * pt.c (lookup_template_class): Adjust.
1018
1019 2001-07-05  Jason Merrill  <jason_merrill@redhat.com>
1020
1021         * cvt.c (convert_lvalue): New fn.
1022         * cp-tree.h: Declare it.
1023         * method.c (do_build_assign_ref): Use it.
1024         (do_build_copy_constructor): Convert parm to base types
1025         before calling base constructors.
1026
1027         * typeck.c (check_return_expr): Check DECL_ALIGN instead of
1028         DECL_USER_ALIGN.  Check flag_elide_constructors instead of
1029         optimize.
1030         * semantics.c (cp_expand_stmt): Don't destroy the named return value.
1031
1032 2001-07-02  Nathan Sidwell  <nathan@codesourcery.com>
1033
1034         * optimize.c (optimize_inline_calls): New function, broken out
1035         of ...
1036         (optimize_function): ... here. Call it. Don't inline if it is
1037         a thunk.
1038         (dump_function): Print name of dump flag causing this dump.
1039         * semantics.c (expand_body): Move thunk inline check to
1040         optimize_function.
1041
1042 2001-06-29  Joseph S. Myers  <jsm28@cam.ac.uk>
1043
1044         * typeck.c (COMP_TYPE_ATTRIBUTES): Don't define.
1045         (comptypes): Use target.comp_type_attributes.
1046
1047 2001-06-29  Nathan Sidwell  <nathan@codesourcery.com>
1048
1049         * cp-tree.h (flag_dump_class_layout): Remove unneeded declaration.
1050
1051 2001-06-28  Gabriel Dos Reis  <gdr@merlin.codesourcery.com>
1052
1053         * error.c (lang_print_error_function): Add a `diagnostic_context *'
1054         parameter. Tweak.
1055
1056 2001-06-27  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
1057
1058         * decl2.c (import_export_class): Update.
1059
1060 2001-06-26  Gabriel Dos Reis  <gdr@codesourcery.com>
1061
1062         * error.c (init_error): Adjust settings.
1063
1064 2001-06-26  Gabriel Dos Reis  <gdr@codesourcery.com>
1065
1066         * error.c (init_error): Adjust settings.
1067
1068 2001-06-19  Richard Sandiford  <rsandifo@redhat.com>
1069
1070         * except.c (initialize_handler_parm): Expect __cxa_begin_catch to
1071         return pointers to data members by reference rather than by value.
1072
1073 2001-06-18  Jason Merrill  <jason_merrill@redhat.com>
1074
1075         Implement the Named Return Value optimization.
1076         * cp-tree.h (struct cp_language_function): Add x_return_value.
1077         (current_function_return_value): Now a macro.
1078         * decl.c: Don't define it.
1079         (define_label, finish_case_label): Don't clear it.
1080         (init_decl_processing): Don't register it with GC.
1081         * semantics.c (genrtl_finish_function): Don't check it for
1082         no_return_label.  Copy the RTL from the return value to
1083         current_function_return_value and walk, calling...
1084         (nullify_returns_r): ...this new fn.
1085         * typeck.c (check_return_expr): Set current_function_return_value.
1086
1087 2001-06-15  Jason Merrill  <jason_merrill@redhat.com>
1088
1089         * class.c (dfs_accumulate_vtbl_inits): Just point to the base we're
1090         sharing a ctor vtable with.  Merge code for cases 1 and 2.
1091         (binfo_ctor_vtable): New fn.
1092         (build_vtt_inits, dfs_build_secondary_vptr_vtt_inits): Use it.
1093
1094 2001-06-14  Jason Merrill  <jason_merrill@redhat.com>
1095
1096         * class.c (dfs_find_final_overrider): Fix logic.
1097
1098         * class.c (update_vtable_entry_for_fn): Uncomment optimization to use
1099         virtual thunk instead of non-virtual.
1100         (get_matching_virtual): Uncomment.
1101
1102         * pt.c (unify): Don't recurse between the POINTER_TYPE and the
1103         OFFSET_TYPE.  If we're adding cv-quals, the extra ones would be on
1104         PARM, not ARG.
1105
1106 2001-06-14  Nathan Sidwell  <nathan@codesourcery.com>
1107
1108         * class.c (dfs_accumulate_vtbl_inits): For case 2 & 3, make sure
1109         we've not emerged from the hierarchy of RTTI_BINFO on reaching
1110         a non-virtual base.
1111
1112 2001-06-13  Mark Mitchell  <mark@codesourcery.com>
1113
1114         * NEWS: Update release number.
1115
1116 2001-06-12  Nathan Sidwell  <nathan@codesourcery.com>
1117
1118         PR c++/3130, c++/3131, c++/3132
1119         * cp-tree.h (BINFO_UNSHARED_MARKED): New #define.
1120         * class.c (force_canonical_binfo_r): Move
1121         BINFO_UNSHARED_MARKED, BINFO_LOST_PRIMARY_P. Don't move
1122         virtual bases unless they're primary and what they're primary
1123         too has been moved.
1124         (dfs_unshared_virtual_bases): Use BINFO_UNSHARED_MARKED. Cope
1125         with morally virtual bases. Duplicate BINFO_LOST_PRIMARY_P and
1126         BINFO_PRIMARY_BASE_OF. Clear BINFO_VTABLE for all but the most
1127         derived binfo.
1128         (mark_primary_bases): Use BINFO_UNSHARED_MARKED.
1129         (layout_nonempty_base_or_field): Add most derived type
1130         parameter. Adjust.
1131         (layout_empty_base): Likewise.
1132         (build_base_field): Likewise.
1133         (build_base_fields): Likewise.
1134         (propagate_binfo_offsets): Add most derived type
1135         parameter. Skip non canonical virtual bases too.
1136         (dfs_set_offset_for_unshared_vbases): Don't skip primary
1137         bases. Do skip canonical bases.
1138         (layout_virtual_bases): Adjust.
1139         (layout_class_type): Adjust.
1140         (dfs_get_primary_binfo): Build list of virtual primary base
1141         candidates.
1142         (get_primary_binfo): Check that the shared virtual primary
1143         base candidate was found first.
1144         (accumulate_vtbl_inits): Don't do anything for non-vptr
1145         containing binfos. For case 1 primary virtual bases, keep
1146         checking that we've not emerged from the hierarchy of RTTI_BINFO.
1147
1148 2001-06-12  Nathan Sidwell  <nathan@codesourcery.com>
1149
1150         PR c++/3089
1151         * class.c (dfs_accumulate_vtbl_inits): Always walk down the
1152         hierarchy looking for primary bases for a ctor
1153         vtable. Recursively call oneself, if we meet our primary via
1154         this route and haven't met it yet via inheritance graph order.
1155
1156 2001-06-11  Mark Mitchell  <mark@codesourcery.com>
1157
1158         * lang-options.h: Emit documentation for -fno-honor-std, not
1159         -fhonor-std.
1160
1161 2001-06-10  Alexandre Oliva  <aoliva@redhat.com>
1162
1163         * typeck.c (get_member_function_from_ptrfunc) [vbit_in_delta]:
1164         Don't clobber delta.
1165         (expand_ptrmemfunc_cst) [ptrmemfunc_vbit_in_delta]: Adjust pfn.
1166
1167 2001-06-10  Mark Mitchell <mark@codesourcery.com>
1168             Gabriel Dos Reis  <gdr@codesourcery.com>
1169
1170         * Make-lang.in (cp/call.o): Depend on diagnostic.h
1171         (cp/typeck.o): Depend on diagnostic.h
1172         (cp/typeck2.o): Depend on diagnostic.h
1173         (cp/repo.o): Depend on dignostic.h
1174         * typeck.c: #include diagnostic.h
1175         (convert_for_initialization): Remove extern declaration for
1176         warningcount and errorcount.
1177
1178         * call.c: #include diagnostic.h
1179         (convert_like_real): Remove extern declaration for warnincount and
1180         errorcount.
1181
1182         * repo.c: #include diagnostic.h
1183         * typeck2.c: #include diagnostic.h
1184
1185 2001-06-08  Nathan Sidwell  <nathan@codesourcery.com>
1186
1187         * decl.c (duplicate_decls): Fix DECL_TEMPLATE_RESULT thinko
1188         in previous change.
1189
1190 2001-06-08  Nathan Sidwell  <nathan@codesourcery.com>
1191
1192         PR c++/2929
1193         * friend.c (do_friend): Use push_decl_namespace for classes at
1194         namespace scope.
1195
1196 2001-06-08  Nathan Sidwell  <nathan@codesourcery.com>
1197             Jason Merrill <jason_merrill@redhat.com>
1198
1199         PR c++/3061
1200         * class.c (build_secondary_vtable): Use assert, rather than an error
1201         message.
1202         (dfs_fixup_binfo_vtbls): BINFO_VTABLE might be NULL.
1203         (dfs_accumulate_vtbl_inits): A lost primary virtual base may
1204         be between ORIG_BINFO and RTTI_BINFO, but neither of them.
1205         Don't set BINFO_VTABLE for a primary virtual base.
1206
1207 2001-06-07  Mark Mitchell  <mark@codesourcery.com>
1208
1209         * decl.c (duplicate_decls): Update source position information
1210         when a template function is defined.
1211
1212 2001-06-07  Phil Edwards  <pme@sources.redhat.com>
1213
1214         * lang-specs.h:  Move -D_GNU_SOURCE to config/linux.h.
1215
1216 2001-06-07  Nathan Sidwell  <nathan@codesourcery.com>
1217
1218         PR c++/2914
1219         * decl.c (pushtag): Don't push into a complete type's scope.
1220
1221 2001-06-06  Jason Merrill  <jason_merrill@redhat.com>
1222
1223         * cp-tree.h (THUNK_GENERATE_WITH_VTABLE_P): Lose.
1224         (struct lang_decl_flags): Lose generate_with_vtable_p.
1225         (BV_GENERATE_THUNK_WITH_VTABLE_P): Lose.
1226         * class.c (copy_virtuals): Adjust.
1227         * decl2.c (mark_vtable_entries): Adjust.
1228         * method.c (make_thunk, build_vtable_entry): Adjust.
1229         * class.c (update_vtable_entry_for_fn): Only look as far as the
1230         first defining class.
1231         (build_vtbl_initializer): Put nothing in the slot for a function only
1232         defined in a lost primary virtual base.
1233         (add_vcall_offset_vtbl_entries_1): Use the same code for
1234         the lost primary case and the normal case.
1235         (dfs_unshared_virtual_bases): Don't lose a non-virtual primary base.
1236         (get_vfield_offset, get_derived_offset): Lose.
1237         (dfs_find_final_overrider): Use look_for_overrides_here.
1238         (get_matching_virtual): New fn.
1239         * semantics.c (emit_associated_thunks): Check BV_USE_VCALL_INDEX_P,
1240         not BV_VCALL_INDEX.
1241         * search.c (look_for_overrides_here): Split out from...
1242         (look_for_overrides_r): Here.
1243
1244         * class.c (find_final_overrider): Return error_mark_node on error.
1245
1246         * decl2.c (key_method): #if 0 accidental change.
1247
1248 2001-06-06  John David Anglin  <dave@hiauly1.hia.nrc.ca>
1249
1250         * call.c (convert_default_arg): Use INTEGRAL_TYPE_P.
1251         (build_over_call): Likewise.
1252         * decl.c (grokparms): Likewise.
1253         * pt.c (tsubst_decl): Likewise.
1254         * typeck.c (convert_arguments): Likewise.
1255
1256 2001-06-05  Mark Mitchell  <mark@codesourcery.com>
1257
1258         * semantics.c (begin_class_definition): Robustify.
1259
1260         * pt.c (instantiate_decl): Tell the repository code about the
1261         clones, not the cloned functions.
1262         * repo.c (repo_template_used): Explicitly instantiate the cloned
1263         function, not the clones.
1264
1265 2001-06-05  Nathan Sidwell  <nathan@codesourcery.com>
1266
1267         * call.c (build_user_type_conversion_1): Set ICS_USER_FLAG and
1268         ICS_BAD_FLAG on created conversion.
1269         (compare_ics): Break out rank.
1270
1271 2001-06-05  Nathan Sidwell  <nathan@codesourcery.com>
1272
1273         * decl.c (xref_tag): Remove extraneous %s on dependent name
1274         lookup warning.
1275
1276 2001-06-05  Nathan Sidwell  <nathan@codesourcery.com>
1277
1278         * class.c (layout_vtable_decl): Fix off by one error on
1279         build_index_type.
1280         (build_vtt): Likewise.
1281         (build_ctor_vtbl_group): Likewise.
1282
1283 2001-06-05  Nathan Sidwell  <nathan@codesourcery.com>
1284
1285         * class.c (maybe_indent_hierarchy): New function.
1286         (dump_class_hierarchy_r): Add flags. Dump extra binfo
1287         information, if enabled. Use maybe_indent_hierarchy. Adjust
1288         output format.
1289         (dump_class_hierarchy): Adjust prototype. Adjust output format.
1290         (dump_array, dump_vtable, dump_vtt): New functions.
1291         (finish_struct_1): Adjust hierarchy dumping.
1292         (initialize_vtable): Call dump_vtable.
1293         (build_vtt): Call dump_vtt.
1294         (build_ctor_vtbl_group): Call dump_vtable.
1295         * decl2.c (flag_dump_class_layout): Remove.
1296         (cxx_decode_option): Remove dump translation unit
1297         and dump class hierarchy check. Call dump_switch_p.
1298         (finish_file): Adjust dumping.
1299         (dump.c): Only dump base classes if not TDF_SLIM.
1300         Only dump namespace members if not TDF_SLIM.
1301         * optimize.c (dump_function): New function.
1302         (optimize_function): Call dump_function.
1303         * semantics.c (expand_body): Use dump_enabled_p.
1304
1305 2001-06-01  Nathan Sidwell  <nathan@codesourcery.com>
1306
1307         PR g++/2936
1308         Part missed from first commit
1309         * decl2.c (finish_anon_union): Copy context.
1310
1311 2001-05-30  Nathan Sidwell  <nathan@codesourcery.com>
1312
1313         PR g++/2936
1314         * optimize.c (remap_decl): Remap anonymous aggregate members too.
1315
1316 2001-05-26  Nathan Sidwell  <nathan@codesourcery.com>
1317
1318         PR g++/2823
1319         * semantics.c (expand_body): Don't optimize thunks.
1320
1321 2001-05-25  Sam TH  <sam@uchicago.edu>
1322
1323         * cp-tree.h lex.h: Fix header include guards.
1324
1325 2001-05-25  Mark Mitchell <mark@codesourcery.com>
1326
1327         * decl.c (init_decl_processing): Tweak.
1328
1329 2001-05-24  Mark Mitchell  <mark@codesourcery.com>
1330
1331         * decl.c (duplicate_decls): Tidy.
1332         (init_decl_processing): Always set flag_no_builtin.
1333
1334 2001-05-24  Nathan Sidwell  <nathan@codesourcery.com>
1335
1336         PR c++/2184
1337         * decl2.c (do_local_using_decl): Push the decls, even in a
1338         template.
1339
1340 2001-05-22  Mark Mitchell  <mark@codesourcery.com>
1341
1342         * optimize.c (initialize_inlined_parameters): Don't set
1343         TREE_READONLY for a VAR_DECL taking the place of an inlined
1344         PARM_DECL.
1345
1346 2001-05-22  Jason Merrill  <jason_merrill@redhat.com>
1347
1348         * class.c, cp-tree.h, rtti.c: Remove com_interface attribute support.
1349         * tree.c (cp_valid_lang_attribute): Warn about use of com_interface
1350         attribute.
1351
1352 2001-05-22  Joseph S. Myers  <jsm28@cam.ac.uk>
1353
1354         * parse.y: Refer to compound literals as such, not as
1355         constructor-expressions.
1356
1357 2001-05-21  Mark Mitchell  <mark@codesourcery.com>
1358
1359         * call.c (build_op_delete_call): Ignore exception-specifications
1360         when looking for matching delete operators.
1361         * init.c (build_new_1): Compute whether or not the allocation
1362         function used is a placement allocation function or not, and
1363         communicate this information to build_op_delete_call.
1364
1365 2001-05-21  Jason Merrill  <jason_merrill@redhat.com>
1366
1367         * class.c (build_vtable_entry_ref): Lose vtbl parm.  Fix for new abi.
1368         (build_vtbl_ref): Adjust.
1369         (dfs_accumulate_vtbl_inits): Set TREE_CONSTANT on the vtable address.
1370         * decl2.c (lang_f_options): Remove huge-objects, vtable-thunks.
1371         Re-add vtable-gc.
1372         (unsupported_options): Correspondingly.
1373
1374         * decl2.c (maybe_make_one_only): Check flag_weak, not
1375         supports_one_only().
1376
1377         * cp-tree.def (START_CATCH_STMT): Lose.
1378         * dump.c (cp_dump_tree): Don't dump it.  Do dump HANDLER_PARMS.
1379         * tree.c (cp_statement_code_p): Don't case it.
1380         * semantics.c (cp_expand_stmt): Likewise.
1381         * cp-tree.h (START_CATCH_TYPE): Lose.
1382         (HANDLER_TYPE): New.
1383         * except.c (expand_start_catch_block): Don't start any blocks.
1384         Return the type.
1385         (expand_end_catch_block): Don't end any blocks.
1386         * parse.y (handler): Don't pass anything from finish_handler_parms
1387         to finish_handler.
1388         * pt.c (tsubst_expr): Likewise.
1389         * semantics.c (begin_handler): Call note_level_for_catch here.
1390         (finish_handler_parms): Don't return anything.
1391         (genrtl_catch_block, begin_catch_block): Lose.
1392         (genrtl_handler): Call expand_start_catch here.
1393
1394 2001-05-18  Jason Merrill  <jason_merrill@redhat.com>
1395
1396         * class.c (build_vtable): Set DECL_ASSEMBLER_NAME for vtables here.
1397         (get_vtable_decl, build_vtt): Not here.
1398
1399 2001-05-20  Nathan Sidwell  <nathan@codesourcery.com>
1400
1401         PR c++/2781
1402         * optimize.c (update_cloned_parm): Copy addressability and other
1403         flags.
1404
1405 2001-05-20  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
1406
1407         * pt.c (determine_specialization): Ignore artificial functions.
1408
1409 2001-05-20  Neil Booth  <neil@daikokuya.demon.co.uk>
1410
1411         * cp-tree.h (struct lang_identifier, C_RID_YYCODE): Update.
1412         (C_RID_CODE): Remove.
1413         * lex.c (cxx_init_options): Call set_identifier_size.  Update.
1414         (init_parse): Don't do it here.
1415
1416 2001-05-18  Diego Novillo  <dnovillo@redhat.com>
1417
1418         * decl2.c (finish_objects): Use the original SYMBOL_REF from the
1419         function declaration to avoid stripping the symbol's attributes.
1420
1421 2001-05-18  Nathan Sidwell  <nathan@codesourcery.com>
1422
1423         * decl.c (pushdecl): Adjust error string.
1424         (xref_tag): Adjust friend class injection warning. Remove the
1425         inherited name from the class shadowed scope.
1426
1427 2001-05-17  Mark Mitchell  <mark@codesourcery.com>
1428
1429         * except.c (cp_protect_cleanup_actions): New function.
1430         (init_exception_processing): Don't set protect_cleanup_actions
1431         here.  Do set lang_protect_cleanup_actions.
1432
1433 2001-05-16  Nathan Sidwell  <nathan@codesourcery.com>
1434
1435         * spew.c (read_token): Call yyerror on all unexpected tokens.
1436
1437 2001-05-16  Nathan Sidwell  <nathan@codesourcery.com>
1438
1439         * init.c (member_init_ok_or_else): Take a tree rather than
1440         string for name.
1441         (expand_member_init): Adjust.
1442
1443 2001-05-14  Nick Clifton  <nickc@cambridge.redhat.com>
1444
1445         * decl.c (duplicate_decls): Suppress warning about duplicate
1446         decls if the first decl is a friend.
1447
1448 2001-05-12  Zack Weinberg  <zackw@stanford.edu>
1449
1450         * except.c (choose_personality_routine): Export.  Add
1451         explanatory comment.  Take an enum languages, not a boolean.
1452         (initialize_handler_parm): Adjust to match.
1453         * cp-tree.h: Prototype choose_personality_routine.
1454         * lex.c (handle_pragma_java_exceptions): New function.
1455         (init_cp_pragma): Register #pragma GCC java_exceptions.
1456
1457 2001-05-12  Neil Booth  <neil@cat.daikokuya.demon.co.uk>
1458
1459         * method.c (build_mangled_C99_name): Remove unused prototype.
1460
1461 2001-05-12  Alexandre Oliva  <aoliva@redhat.com>
1462
1463         * cp-tree.h (ptrmemfunc_vbit_where_t): Declare type.
1464         * typeck.c (get_member_function_from_ptrfunc,
1465         build_ptrmemfunc, expand_ptrmemfunc_cst): Take
1466         TARGET_PTRMEMFUNC_VBIT_LOCATION into account.
1467
1468         Reverted Geoff Keating's 2001-05-03's patch.
1469
1470 2001-05-11  Ira Ruben   <ira@apple.com>
1471
1472         * cp/cp-tree.h (C_EXP_ORIGINAL_CODE): Delete; declared in c-common.h.
1473
1474 2001-05-11  Neil Booth  <neil@daikokuya.demon.co.uk>
1475
1476         * cp-tree.h (finish_label_expr, lookup_label): Delete.
1477         * parse.y: Update for '&&'; don't issue warning here.
1478         * semantics.c (finish_label_expr): Delete.
1479
1480 2001-05-07  Mark Mitchell  <mark@codesourcery.com>
1481
1482         * splay-tree.h (splay_tree_max): New function.
1483         (splay_tree_min): Likewise.
1484
1485 2001-05-03  Geoffrey Keating  <geoffk@redhat.com>
1486
1487         * cp-tree.h (enum cp_tree_index): Add CPTI_PFN_VFLAG_IDENTIFIER.
1488         (pfn_vflag_identifier): Define.
1489         Update comment about layout of pointer functions.
1490         (build_ptrmemfunc1): Update prototype.
1491         (expand_ptrmemfunc_cst): Update prototype.
1492         * decl.c (initialize_predefined_identifiers): Initialize
1493         pfn_vflag_identifier.
1494         (build_ptrmemfunc_type): When FUNCTION_BOUNDARY < 16, add
1495         an extra field to the type.
1496         * expr.c (cplus_expand_constant): Pass 'flag' between
1497         expand_ptrmemfunc_cst and build_ptrmemfunc1.
1498         * typeck.c (get_member_function_from_ptrfunc): When
1499         FUNCTION_BOUNDARY < 16, look at additional field to determine
1500         if a pointer-to-member is a real pointer or a vtable offset.
1501         (build_ptrmemfunc1): Add new parameter to contain extra field.
1502         (build_ptrmemfunc): Pass the extra field around.
1503         (expand_ptrmemfunc_cst): Add new parameter to return extra field.
1504         (pfn_from_ptrmemfunc): Ignore the extra field.
1505
1506 2001-05-03  Mark Mitchell  <mark@codesourcery.com>
1507
1508         * cp-tree.h (flag_inline_trees): Update documentation.
1509         * decl.c (init_decl_processing): Adjust handling of
1510         flag_inline_functions and flag_inline_trees to support -O3.
1511         (grokfndecl): Set DECL_INLINE on all functions if that's what
1512         the user requested.
1513         (save_function_data): Clear DECL_INLINE in
1514         current_function_cannot_inline is non-NULL.
1515         * decl2.c (flag_inline_trees): Update documentation.
1516
1517 2001-05-03  Nathan Sidwell  <nathan@codesourcery.com>
1518
1519         * dump.c (cp_dump_tree, USING_STMT case): New case.
1520         * tree.c (cp_statement_code_p): Add USING_STMT.
1521         * decl2.c (do_using_directive): Add the using directive statement.
1522
1523         * tree.c (walk_tree): Reformat an if block.
1524
1525 2001-05-02  Mark Mitchell  <mark@codesourcery.com>
1526
1527         * decl.c (compute_array_index_type): Don't try to do anything with
1528         the indices when processing a template.
1529
1530 2001-05-02  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1531
1532         * call.c: NULL_PTR -> NULL.
1533         * class.c: Likewise.
1534         * cvt.c: Likewise.
1535         * decl.c: Likewise.
1536         * decl2.c: Likewise.
1537         * except.c: Likewise.
1538         * init.c: Likewise.
1539         * rtti.c: Likewise.
1540         * search.c: Likewise.
1541         * tree.c: Likewise.
1542         * typeck.c: Likewise.
1543         * typeck2.c: Likewise.
1544
1545 2001-05-02  Mark Mitchell  <mark@codesourcery.com>
1546
1547         * decl2.c (do_using_directive): Revert previous patch.
1548
1549 2001-05-01  Nathan Sidwell  <nathan@codesourcery.com>
1550
1551         * cp-tree.def (USING_STMT): New statement node.
1552         * cp-tree.h (USING_STMT_NAMESPACE): New macro.
1553         * decl2.c (do_using_directive): Add USING_STMT to statement
1554         tree. Don't emit errors when processing template decl.
1555         * pt.c (tsubst_expr, USING_STMT case): New case.
1556         * semantics.c (cp_expand_stmt, USING_STMT case): New case.
1557
1558 2001-05-01  Nathan Sidwell  <nathan@codesourcery.com>
1559
1560         * call.c (build_new_op): Convert args from reference here.
1561         (build_conditional_expr): Don't convert here.
1562
1563 2001-05-01  Nathan Sidwell  <nathan@codesourcery.com>
1564
1565         * spew.c (last_token_id): New static variable.
1566         (read_token): Set it here.
1567         (yyerror): Use it here.
1568
1569 2001-04-30  Richard Henderson  <rth@redhat.com>
1570
1571         * cvt.c: Downcase C_PROMOTING_INTEGER_TYPE_P invocations.
1572         * decl.c: Likewise.
1573
1574 2001-04-30  Mark Mitchell  <mark@codesourcery.com>
1575
1576         * gxxint.texi: Remove.
1577         * Make-lang.in: Remove all traces of gxxint.texi.
1578
1579 Mon Apr 30 16:14:10 2001  Mark P Mitchell  <mark@codesourcery.com>
1580
1581         * decl2.c (start_static_initialization_or_destruction): Correct
1582         logic to handle the -fno-use-cxa-atexit case.
1583
1584 2001-04-30  Mark Mitchell  <mark@codesourcery.com>
1585
1586         * optimize.c (update_cloned_parm): New function.
1587         (maybe_clone_body): Use it.  Update the `this' parameter too.
1588
1589 2001-04-29  Joseph S. Myers  <jsm28@cam.ac.uk>
1590
1591         * decl2.c (unsupported_options): Add new-abi.
1592         * lang-options.h: Remove no longer supported options.
1593
1594 2001-04-27  Nathan Sidwell  <nathan@codesourcery.com>
1595
1596         * except.c (can_convert_eh): Don't check template parms,
1597         typename types etc.
1598
1599 2001-04-27  Nathan Sidwell  <nathan@codesourcery.com>
1600
1601         * optimize.c (maybe_clone_body): Copy parameter names and locations.
1602
1603 2001-04-27  Nathan Sidwell  <nathan@codesourcery.com>
1604
1605         * cp-tree.h (adjust_clone_args): Prototype new function.
1606         * class.c (adjust_clone_args): New function.
1607         * decl.c (start_function): Call it for in charge ctors.
1608
1609 2001-04-26  Mark Mitchell  <mark@codesourcery.com>
1610
1611         * method.c (use_thunk): Make sure that thunks really are emitted
1612         when requested.
1613
1614 2001-04-26  Nathan Sidwell <nathan@codesourcery.com>
1615
1616         * mangle.c (write_chars): New macro.
1617         (hwint_to_ascii): New function
1618         (write_number): Use it.
1619         (write_integer_cst): Deal with really big numbers.
1620
1621 2001-04-25  Mark Mitchell  <mark@codesourcery.com>
1622
1623         * optimize.c (maybe_clone_body): Copy TREE_PUBLIC before emitting
1624         the clone.
1625
1626 2001-04-25  Nathan Sidwell  <nathan@codesourcery.com>
1627
1628         * decl.c (grokdeclarator): Set context of namespace scope
1629         TYPE_DECLS.
1630
1631 2001-04-24  Zack Weinberg  <zackw@stanford.edu>
1632
1633         * cp/optimize.c: Include hashtab.h.
1634         (struct inline_data): Add tree_pruner.
1635         (expand_call_inline, expand_calls_inline): Use it when calling
1636         walk_tree.
1637         (optimize_function): Initialize and free tree_pruner.
1638
1639 2001-04-24  Nathan Sidwell <nathan@codesourcery.com>
1640
1641         Lazy __FUNCTION__ generation.
1642         * cp-tree.def (FUNCTION_NAME): Remove.
1643         * cp-tree.h (function_name_declared_p): Remove.
1644         (cp_fname_init): Prototype.
1645         * decl.c (init_decl_processing): Don't generate __FUNCTION__ et al ids,
1646         don't call declare_function_name. Call start_fname_decls.
1647         (cp_make_fname_decl): Adjust parameters. Generate the name. Don't
1648         clobber the line number.
1649         (cp_fname_init): New function.
1650         (start_function): Call start_fname_decls.
1651         (finish_function): Call finish_fname_decls.
1652         * lex.c (reswords): Add slots for __FUNCTION__ et al.
1653         (rid_to_yy): Add mappings for __FUNCTION__ et al.
1654         * optimize.c (maybe_clone_body): Remove function_name_declared_p.
1655         * parse.y (VAR_FUNC_NAME): New token.
1656         (primary): Add VAR_FUNC_NAME.
1657         * pt.c (tsubst_decl): Adjust a DECL_PRETTY_FUNCTION_P's
1658         generation.
1659         (tsubst, FUNCTION_NAME case): Remove.
1660         (tsubst_copy, FUNCTION_NAME case): Remove.
1661         (tsubst_expr, DECL_STMT case): Be careful with a
1662         DECL_PRETTY_FUNCTION_P.
1663         (instantiate_decl): Remove function_name_declared_p.
1664         * semantics.c (begin_compound_statement): Don't call
1665         declare_function_name here.
1666         (setup_vtbl_ptr). Don't save & restore function_name_declared_p.
1667         (finish_translation_unit): Call finish_fname_decls.
1668         (expand_body): Remove function_name_declared_p.
1669         * typeck2.c (digest_init): Allow any ERROR_MARK.
1670
1671 2001-04-24  Nathan Sidwell  <nathan@codesourcery.com>
1672
1673         * pt.c (tsubst_decl): Use VOID_TYPE_P.
1674         * semantics.c: Fix some typos.
1675
1676 2001-04-23  Phil Edwards  <pme@sources.redhat.com>
1677
1678         * cp/decl2.c (flag_honor_std):  Always initialize to 1.
1679
1680 2001-04-22  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1681
1682         * xref.c (GNU_xref_file): Use concat in lieu of xmalloc/sprintf.
1683
1684 2001-04-23  Jason Merrill  <jason_merrill@redhat.com>
1685
1686         * except.c (build_throw): Wrap the initialization of the exception
1687         object in a MUST_NOT_THROW_EXPR.
1688         (do_free_exception): #if 0.
1689
1690 2001-04-20  Mark Mitchell  <mark@codesourcery.com>
1691
1692         * cp-tree.h (finish_enum): Change prototype.
1693         * decl.c (finish_enum): Reorganize.
1694         * parse.y (structsp): Adjust calls to finish_enum.
1695
1696 2001-04-20  Nathan Sidwell  <nathan@codesourcery.com>
1697
1698         * tree.c (cp_tree_equal): Adjust final switch formatting. Add
1699         't' case.
1700
1701 2001-04-20  Nathan Sidwell  <nathan@codesourcery.com>
1702
1703         * class.c (dfs_unshared_virtual_bases): Add ATTRIBUTE_UNUSED.
1704         (layout_empty_base): Return at end flag.
1705         (build_base_field): Likewise.
1706         (build_base_fields): Likewise.
1707         (layout_virtual_bases): Don't add 1 to eoc value.
1708         (end_of_class): Use full size for empty bases.
1709         (layout_class_type): Clear CLASSNEARLY_EMPTY_P if we appended
1710         empty bases. Don't add 1 to eoc value. Only add trailing padding
1711         if we're an empty class with no empty bases.
1712         (dump_class_hierarchy): Dump size and alignment.
1713
1714 2001-04-20  Jakub Jelinek  <jakub@redhat.com>
1715
1716         * call.c (maybe_handle_ref_bind): Copy ICS_USER_FLAG and
1717         ICS_BAD_FLAG.
1718
1719 2001-04-20  Jakub Jelinek  <jakub@redhat.com>
1720
1721         * search.c (lookup_field_r): If looking for type and non-TYPE_DECL
1722         is found, look first if name does not match the structure name.
1723
1724 2001-04-19  Mark Mitchell  <mark@codesourcery.com>
1725
1726         * cp-tree.h (DECL_LANGUAGE): Don't assume DECL_LANG_SPECIFIC is
1727         set.
1728         (SET_DECL_LANGUAGE): New macro.
1729         * decl.c (duplicate_decls): Use SET_DECL_LANGUAGE.
1730         (pushdecl): Likewise.
1731         (build_library_fn_1): Likewise.
1732         (build_cp_library_fn): Likewise.
1733         (grokfndecl): Likewise.
1734         (grokvardecl): Mark `extern "C"' variables as having C linkage.
1735         * decl2.c (grokclassfn): Use SET_DECL_LANGUAGE.
1736         * lex.c (retrofit_lang_decl): Likewise.
1737         * mangle.c (mangle_decl_string): Don't mangle the names of
1738         variables declared with C language linkage.
1739         * semantics.c (finish_member_declaration): Use SET_DECL_LANGUAGE.
1740
1741 2001-04-18  John David Anglin  <dave@hiauly1.hia.nrc.ca>
1742
1743         * semantics.c (simplify_aggr_init_exprs_r): Don't restore
1744         flag_access_control from uninitialized storage.
1745
1746 2001-04-15  Mark Mitchell  <mark@codesourcery.com>
1747
1748         * cp-tree.h (TYPE_PTRMEM_CLASS_TYPE): Improve documentation.
1749         * mangle.c (write_pointer_to_member_type): Fix mangling of
1750         pointers to cv-qualified member function types.
1751
1752         * init.c (build_delete): Create a SAVE_EXPR for the address if
1753         we're going to use it more than once.
1754
1755 2001-04-13  Mark Mitchell  <mark@codesourcery.com>
1756
1757         * cp-tree.h (DELTA2_FROM_PTRMEMFUNC): Remove.
1758         (expand_ptremfunc_cst): Change prototype.
1759         (delta2_from_ptrmemfunc): Remove.
1760         * expr.c (cplus_expand_constant): Adjust call to
1761         expand_ptrmemfunc_cst.
1762         * typeck.c (build_ptrmemfunc1): Simplify.
1763         (build_ptrmemfunc): Make sure that casting a PTRMEM_CST still
1764         results in a constant.
1765         (expand_ptrmemfunc_cst): Remove idx and delta2 parameters.
1766         (delta2_from_ptrmemfunc): Remove.
1767         (pfn_from_ptrmemfunc): Adjust call to expand_ptrmemfunc_cst.
1768
1769 2001-04-12  Jason Merrill  <jason_merrill@redhat.com>
1770
1771         * cp-tree.h (decl_namespace_list): New macro.
1772         (struct saved_scope): Add decl_ns_list.
1773         * decl.c (mark_saved_scope): Mark it.
1774         * decl2.c: Lose static decl_namespace_list.
1775         (init_decl2): Don't save it.
1776
1777 2001-04-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1778
1779         * cp-tree.h (warn_return_type, yylex): Delete redundant
1780         declarations.
1781
1782         * decl.c (current_class_depth, global_namespace): Likewise.
1783
1784         * decl2.c (current_class_depth, flag_gnu_xref): Likewise
1785
1786         * repo.c (flag_use_repository): Likewise.
1787
1788 2001-04-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1789
1790         * cp-tree.h (pedantic, convert, global_bindings_p, insert_block,
1791         set_block, pushdecl, getdecls, gettags, init_decl_processing,
1792         maybe_build_cleanup, copy_lang_decl, prep_stmt, lvalue_p,
1793         lvalue_or_else, print_lang_statistics, comp_target_types,
1794         unsigned_type, signed_type, signed_or_unsigned_type,
1795         build_function_call, mark_addressable, incomplete_type_error):
1796         Delete redundant declarations.
1797
1798 2001-04-11  Jason Merrill  <jason_merrill@redhat.com>
1799
1800         * cp-tree.h (TYPE_LINKAGE_IDENTIFIER): New macro.
1801         (TYPE_ANONYMOUS_P): New macro.
1802         (TAGGED_TYPE_P): New macro.
1803         * decl.c (check_tag_decl): Use TYPE_ANONYMOUS_P.
1804         (grokfndecl, grokvardecl, grokdeclarator): Likewise.
1805         * tree.c (no_linkage_helper): Likewise.
1806         * semantics.c (begin_class_definition): Likewise.
1807         * pt.c (convert_template_argument): Likewise.
1808         * lex.c (check_for_missing_semicolon): Likewise.
1809
1810 2001-04-12  Nathan Sidwell  <nathan@codesourcery.com>
1811
1812         * class.c (dfs_unshared_virtual_bases): New function.
1813         (mark_primary_bases): Call it.
1814         (check_bases): Ignore virtual bases when determining
1815         nearly-emptiness.
1816
1817 2001-04-12  Nathan Sidwell  <nathan@codesourcery.com>
1818
1819         * method.c (make_thunk): Clear DECL_CLONED_FUNCTION.
1820
1821 2001-04-11  Mark Mitchell  <mark@codesourcery.com>
1822
1823         * optimize.c (maybe_clone_body): Copy DECL_NUM_STMTS from the
1824         cloned function to the clone.
1825
1826 2001-04-11  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1827
1828         * Make-lang.in (cp/semantics.o): Depend on $(EXPR_H).
1829
1830         * semantics.c: Include expr.h.
1831
1832 2001-04-11  Nathan Sidwell  <nathan@codesourcery.com>
1833
1834         * method.c (implicitly_declare_fn): Commonize code for copy ctor
1835         and assignment op. Set TREE_USED for parameter.
1836
1837 2001-04-10  Mark Mitchell  <mark@codesourcery.com>
1838
1839         * class.c (find_final_overrider_data): Add `candidates'.
1840         (dfs_find_final_overrider): Don't issue error messages
1841         prematurely.
1842         (find_final_overrider): Issue error messages here.
1843         (build_base_field): Don't warn about amgibuous direct bases here.
1844         (warn_about_ambiguous_direct_bases): New function.
1845         (layout_class_type): Use it.
1846
1847 2001-04-10  Richard Henderson  <rth@redhat.com>
1848
1849         * typeck.c (build_array_ref): Push the array reference inside
1850         COMPOUND_EXPR and COND_EXPR.
1851
1852 2001-04-05  Mark Mitchell  <mark@codesourcery.com>
1853
1854         * cp-tree.h (DECL_THIS_INLINE): Rename to DECL_DECLARED_INLINE_P.
1855         * decl.c (duplicate_decls): Adjust accordingly.
1856         (maybe_commonize_var): Likewise.
1857         (grokfndecl): Likewise.
1858         (start_function): Likewise.
1859         (start_method): Likewise.
1860         * decl2.c (key_method): Likewise.
1861         (import_export_decl): Likewise.
1862         * method.c (implicitly_declare_fn): Likewise.
1863         * optimize.c (maybe_clone_body): Likewise.
1864
1865 2001-04-05  Benjamin Kosnik  <bkoz@redhat.com>
1866
1867         * lang-specs.h: Add __DEPRECATED.
1868
1869 Thu Apr  5 16:54:29 2001  J"orn Rennecke <amylaar@redhat.com>
1870
1871         * search.c (get_dynamic_cast_base_type): When building a new
1872         constant, set its type to ssizetype.
1873
1874 2001-04-04  Jakub Jelinek  <jakub@redhat.com>
1875
1876         * optimize.c (expand_call_inline): Only add newly inlined statements
1877         into inlined_stmts.
1878
1879 2001-04-03  Mark Mitchell  <mark@codesourcery.com>
1880
1881         * cp-tree.h (OPERATOR_ASSIGN_FORMAT): Remove.
1882         (OPERATOR_FORMAT): Likewise.
1883         (OPERATOR_TYPENAME_FORMAT): Likewise.
1884         * operators.def: Remove old name-mangling information.
1885         * decl.c (grok_op_properties): Adjust accordingly.
1886         * lex.c (init_operators): Likewise.
1887         * rtti.c (get_tinfo_decl): Issue error messages about types that
1888         have variable size.
1889
1890 2001-04-03  Mark Mitchell  <mark@codesourcery.com>
1891
1892         * decl2.c (import_export_decl): Don't call import_export_class
1893         when processing an inline member function.
1894         * semantics.c (expand_body): Call import_export_decl before
1895         emitting inline functions.
1896
1897 2001-03-28  Richard Henderson  <rth@redhat.com>
1898
1899         IA-64 ABI Exception Handling:
1900         * cp-tree.def (EH_SPEC_BLOCK): New.
1901         (MUST_NOT_THROW_EXPR): New.
1902         * cp-tree.h: Update changed function declarations.
1903         (CPTI_PUSH_EXCEPTION_IDENTIFIER): Remove.
1904         (CPTI_CALL_UNEXPECTED): New.
1905         (struct cp_language_function): Rename x_eh_spec_try_block
1906         to x_eh_spec_block.
1907         (EH_SPEC_STMTS, EH_SPEC_RAISES): New.
1908         * decl.c (current_binding_level): If no current function
1909         bindings, revert to scope_chain.
1910         (initialize_predefined_identifiers): Remove __cp_push_exception.
1911         (store_parm_decls): Use begin_eh_spec_block.
1912         (finish_function): Use finish_eh_spec_block.
1913         (mark_lang_function): Update for name changes.
1914         * decl2.c (finish_file): No mark_all_runtime_matches.
1915         * dump.c (cp_dump_tree): Handle new tree codes.
1916         * error.c (dump_expr) [BIND_EXPR]: Fix typo.
1917         * except.c (catch_language_init, catch_language): Remove.
1918         (init_exception_processing): Don't set language code.
1919         Initialize call_unexpected_node, protect_cleanup_actions,
1920         eh_personality_libfunc, lang_eh_runtime_type.
1921         (call_eh_info, push_eh_info, get_eh_info, get_eh_value): Remove.
1922         (get_eh_type, get_eh_caught, get_eh_handlers): Remove.
1923         (prepare_eh_type): Split out type canonicalizations ...
1924         (build_eh_type_type): ... from here.
1925         (build_eh_type_type_ref): Remove.
1926         (mark_all_runtime_matches): Remove.
1927         (build_exc_ptr): New.
1928         (do_begin_catch, do_end_catch): New.
1929         (do_pop_exception): Remove.
1930         (build_terminate_handler): Remove.
1931         (choose_personality_routine): Split out language choice from ...
1932         (initialize_handler_parm): ... here.
1933         Use MUST_NOT_THROW_EXPR.
1934         (expand_start_catch_block): Use do_begin_catch.  Simplify Java
1935         exception object handling.
1936         (expand_start_eh_spec, expand_end_eh_spec): Remove.
1937         (expand_exception_blocks, alloc_eh_object): Remove.
1938         (begin_eh_spec_block, finish_eh_spec_block): New.
1939         (do_allocate_exception, do_free_exception): New.
1940         (expand_throw): Merge into ...
1941         (build_throw): ... here.  Update for abi.
1942         * expr.c (cplus_expand_expr): No expand_internal_throw.
1943         Handle MUST_NOT_THROW_EXPR.
1944         * pt.c (tsubst_expr): Handle EH_SPEC_BLOCK.
1945         * semantics.c (*) Update for except.h name changes.
1946         (genrtl_try_block): No protect_with_terminate.
1947         (genrtl_eh_spec_block): New.
1948         (genrtl_handler): Don't emit the goto here.
1949         (cp_expand_stmt): Handle EH_SPEC_BLOCK.
1950         (genrtl_finish_function): Don't expand_exception_blocks.
1951         * tree.c (cp_statement_code_p): Handle EH_SPEC_BLOCK.
1952
1953 2001-03-28  Richard Henderson  <rth@redhat.com>
1954
1955         * decl.c (struct named_label_list): Rename eh_region to
1956         in_try_scope, add in_catch_scope.
1957         (struct binding_level): Rename eh_region to is_try_scope,
1958         add is_catch_scope.
1959         (note_level_for_try): Rename from note_level_for_eh.
1960         (note_level_for_catch): New.
1961         (poplevel): Copy both is_try_scope and is_catch_scope to
1962         the named_label_list struct.
1963         (check_previous_goto_1): Don't check for catch block via
1964         DECL_ARTIFICIAL; use in_try_scope instead.
1965         (check_goto): Likewise.
1966         * cp-tree.h (note_level_for_try, note_level_for_catch): Declare.
1967         * except.c (expand_start_catch_block): Call note_level_for_catch.
1968         * semantics.c (begin_compound_stmt): Update for note_level_for_try.
1969
1970 2001-03-27  Richard Henderson  <rth@redhat.com>
1971
1972         * except.c: Use USING_SJLJ_EXCEPTIONS instead of
1973         exceptions_via_longjmp.
1974
1975 2001-03-27  Phil Edwards  <pme@sources.redhat.com>
1976
1977         * pt.c (check_default_tmpl_args):  Make error messages clearer.
1978
1979 2001-03-26  Phil Edwards  <pme@sources.redhat.com>
1980
1981         * error.c:  Also undefine 'A' macro used for cp_printers definition.
1982
1983 2001-03-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1984
1985         * Make-lang.in: Depend on $(SYSTEM_H), not system.h.
1986
1987 2001-03-26  Mike Yang <yang@research.att.com>
1988             Mark Mitchell  <mark@codesourcery.com>
1989
1990         * dump.c (dump_access): New function.
1991         (cp_dump_tree): Use it.  Dump basetype information for class
1992         types.
1993
1994 2001-03-26  Mark Mitchell  <mark@codesourcery.com>
1995
1996         * Makefile.in (optimize.o): Depend on params.h.
1997         (duplicate_decls): Copy DECL_NUM_STMTS, not DECL_FRAME_SIZE.
1998         (init_decl_processing): Set flag_no_inline when doing
1999         inlining-on-trees.
2000         * optimize.c: Include params.h.
2001         (struct inline_data): Improve documentation of FNS.  Add
2002         FIRST_INLINED_FN, INLINED_STMTS, and CLONING_P.
2003         (INSNS_PER_STMT): New macro.
2004         (remap_block): Use CLONING_P.
2005         (inlinable_function_p): Don't inline big functions.
2006         (expand_call_inline): Keep track of how much inlining we've done.
2007         (optimize_function): Set FIRST_INLINED_FN.
2008         (maybe_clone_body): Set CLONING_P.
2009         * semantics.c (simplify_aggr_init_exprs_r): Fix typing problems in
2010         tree nodes.
2011         (genrtl_finish_function): Clear DECL_DEFER_OUTPUT before calling
2012         rest_of_compilation.  Clear DECL_RTL for local variables
2013         afterwards.
2014         (clear_decl_rtl): New function.
2015
2016 2001-03-26  Nathan Sidwell  <nathan@codesourcery.com>
2017
2018         Implement DR 209
2019         * cp-tree.h (skip_type_access_control,
2020         reset_type_access_control): Prototype.
2021         * decl.c (grokdeclarator): Access of friends is not checked.
2022         * parse.y (component_decl_list): Reset type access control.
2023         * semantics.c (decl_type_access_control): Clear
2024         current_type_lookups.
2025         (save_type_access_control): Don't save if not deferring.
2026         (skip_type_access_control, reset_type_access_control): New
2027         functions.
2028         (begin_class_definition): Do type access control for basetypes.
2029         Start deferred access control.
2030         (finish_class_definition): Resume immediate access control if
2031         this is a local class.
2032
2033 2001-03-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2034
2035         * class.c (add_method): Use memcpy/memmove, not bcopy.
2036
2037         * decl.c (duplicate_decls): Likewise.
2038
2039 2001-03-23  Jakub Jelinek  <jakub@redhat.com>
2040
2041         * mangle.c (write_discriminator): Use `_0' for discriminator 1,
2042         not `_'.
2043
2044 2001-03-23  Jakub Jelinek  <jakub@redhat.com>
2045
2046         * decl.c (local_names): Define.
2047         (push_local_name): New.
2048         (grok_reference_init): Return init if initializing static reference
2049         variable with non-constant instead of emitting it.
2050         Move expand_static_init call to cp_finish_decl.
2051         (layout_var_decl): Call push_local_name.
2052         (maybe_commonize_var): Allow inlining functions even if they have
2053         static local variables, use comdat_linkage for them if flag_weak.
2054         (check_initializer): Call obscure_complex_init if
2055         grok_reference_init returned non-zero.
2056         (save_function_data): Clear x_local_names.
2057         (pop_cp_function_context): Free x_local_names.
2058         (mark_inlined_fns): Remove.
2059         (mark_lang_function): Mark x_local_names.
2060         (lang_mark_tree): Don't mark DECL_ACCESS for DECL_DISCRIMINATOR_P.
2061         Mark inlined_fns as tree, remove call to mark_inlined_fns.
2062         * class.c (alter_access): Ensure DECL_ACCESS is never set if
2063         DECL_DISCRIMINATOR_P.
2064         * cp-tree.h (cp_language_function): Add x_local_names.
2065         (lang_decl_flags): Add discriminator into u2.
2066         (lang_decl_inlined_fns): Remove.
2067         (lang_decl): inlined_fns is now a TREE_VEC.
2068         (DECL_DISCRIMINATOR_P, DECL_DISCRIMINATOR): Define.
2069         * optimize.c (inlinable_function_p): DECL_INLINED_FNS is now a
2070         TREE_VEC, not a custom structure.
2071         (optimize_function): Likewise.
2072         * mangle.c (discriminator_for_local_entity): Discriminate among
2073         VAR_DECL local entities.
2074         * search.c (dfs_access_in_type): If DECL_DISCRIMINATOR_P, DECL_ACCESS
2075         is not valid.
2076
2077 2001-03-22  Bryce McKinlay  <bryce@albatross.co.nz>
2078
2079         Add support for Java interface method calls.
2080         * cp-tree.h (struct lang_type): Add java_interface flag.
2081         (TYPE_JAVA_INTERFACE): New macro.
2082         * tree.c (cp_valid_lang_attribute): Handle "java_interface" attribute
2083         by setting TYPE_JAVA_INTERFACE.
2084         * call.c (java_iface_lookup_fn): New static.
2085         (build_over_call): If calling a method declared in a
2086         TYPE_JAVA_INTERFACE, call build_java_interface_fn_ref to generate the
2087         expression which resolves the function address.
2088         (build_java_interface_fn_ref): New function.
2089
2090 2001-03-22  Richard Henderson  <rth@redhat.com>
2091
2092         * Make-lang.in (cp/except.o): Don't depend on insn-flags.h.
2093         * except.c: Don't include it.
2094
2095 2001-03-22  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
2096             based on an idea from Joe Buck <jbuck@synopsys.com>
2097
2098         * parse.y (bad_decl, template_arg_list_ignore, arg_list_ignore):
2099         New nonterminals.
2100         (data_def, component_decl): Add reductions to bad_decl.
2101
2102 2001-03-22  Jakub Jelinek  <jakub@redhat.com>
2103
2104         * method.c (do_build_assign_ref): Don't use build_modify_expr for
2105         anonymous aggregates, since they don't have assignment operator
2106         method.
2107         * decl.c (fixup_anonymous_aggr): Disallow ctors, dtors and copy
2108         assignment operators for anonymous structure fields.
2109
2110 2001-03-21  Jason Merrill  <jason@redhat.com>
2111
2112         * pt.c (instantiate_decl): Abort if we see a member constant
2113         instantiation that doesn't already have its initializer.
2114         Downgrade explicit instantiation without definition to pedwarn.
2115
2116         * cp-tree.h (DECL_TINFO_FN_P, SET_DECL_TINFO_FN_P): Remove.
2117         * class.c (build_vtable_entry): Don't check DECL_TINFO_FN_P.
2118         (import_export_decl): Check tinfo_decl_p, not DECL_TINFO_FN_P.
2119
2120         * cp-tree.h (CLASSTYPE_VTABLE_NEEDS_WRITING): Remove.
2121         (pending_vtables): Remove.
2122         * decl2.c (pending_vtables): Remove.
2123         (import_export_vtable): Use CLASSTYPE_INTERFACE_ONLY, not
2124         CLASSTYPE_VTABLE_NEEDS_WRITING.
2125         (import_export_class): Likewise.
2126         (init_decl2): Don't mark pending_vtables.
2127         * lex.c (handle_pragma_vtable): Just sorry.
2128         * pt.c (instantiate_class_template): Don't mess with
2129         CLASSTYPE_VTABLE_NEEDS_WRITING.
2130         (mark_class_instantiated): Likewise.
2131         * ptree.c (print_lang_type): Don't print it.
2132         * semantics.c (begin_class_definition): Don't set it.
2133
2134         * pt.c (template_tail): Replace with last_pending_template.
2135         (maybe_templates, maybe_template_tail): Remove.
2136         (add_pending_template): Adjust.
2137         (instantiate_pending_templates): Adjust.
2138
2139         * cp-tree.h (struct saved_scope): Remove lang_stack field.
2140         (current_lang_stack): Remove.
2141         * decl.c (maybe_push_to_top_level): Don't initialize it.
2142         (duplicate_decls): Use current_lang_depth.
2143         (xref_basetypes): Likewise.
2144         * class.c (current_lang_depth): New fn.
2145         (push_lang_context): Use more varray functionality.
2146         (pop_lang_context): Likewise.
2147
2148         * error.c (GLOBAL_THING): Always use '__'.
2149
2150 2001-03-21  Mark Mitchell  <mark@codesourcery.com>
2151
2152         * class.c (build_clone): Clear DECL_ASSEMBLER_NAME.
2153
2154         * mangle.c (mangle_decl_string): Mangle the names of overloaded
2155         operators, even when they have `extern "C"' linkage.
2156
2157 2001-03-19  Mark Mitchell  <mark@codesourcery.com>
2158
2159         * class.c (get_vtable_decl): Use SET_DECL_ASSEMBLER_NAME,
2160         COPY_DECL_ASSEMBLER_NAME, etc.  Don't set DECL_ASSEMBLER_NAME
2161         where it's not necessary.
2162         (add_method): Remove optimization involving comparison of
2163         DECL_ASSEMBLER_NAME.
2164         (build_vtbl_or_vbase_field): Use SET_DECL_ASSEMBLER_NAME,
2165         COPY_DECL_ASSEMBLER_NAME, etc.  Don't set DECL_ASSEMBLER_NAME
2166         where it's not necessary.
2167         (check_methods): Likewise.
2168         (build_clone): Likewise.
2169         (built_vtt): Likewise.
2170         * cp-tree.h (DECL_NEEDED_P): Likewise.
2171         * decl.c (pushtag): Likewise.
2172         (duplicate_decls): Likewise.
2173         (pushdecl): Likewise.
2174         (builtin_function): Likewise.
2175         (build_library_fn_1): Set DECL_LANGUAGE for library functions.
2176         (build_cp_library_fn): Likewise.
2177         (maybe_commonize_var): Use SET_DECL_ASSEMBLER_NAME,
2178         COPY_DECL_ASSEMBLER_NAME, etc.  Don't set DECL_ASSEMBLER_NAME
2179         where it's not necessary.
2180         (make_rtl_for_nonlocal_decl): Likewise.
2181         (cp_finish_decl): Likewise.
2182         (grokfndecl): Likewise.
2183         (grokvardecl): Likewise.
2184         (grokdeclarator): Likewise.
2185         (start_function): Likewise.
2186         (cp_missing_return_ok_p): Likewise.
2187         * decl2.c (grokclassfn): Likewise.
2188         (check_classfn): Likewise.
2189         (finish_static_data_member_decl): Likewise.
2190         (grokfield): Likewise.
2191         * error.c (GLOBAL_IORD_P): Remove.
2192         (dump_global_iord): Improve output.
2193         (dump_decl): Avoid using DECL_ASSEMBLER_NAME.
2194         * except.c (nothrow_libfn_p): Summarily reject any function not in
2195         namespace-scope.
2196         * init.c (build_java_class_ref): Don't explicitly set
2197         DECL_ASSEMBLER_NAME after calling mangle_decl.
2198         * mangle.c (mangle_decl_string): Handle extern "C" functions.
2199         (mangle_decl): Set the DECL_ASSEMBLER_NAME for the decl.
2200         * method.c (set_mangled_name_for_decl): Don't explicitly set
2201         DECL_ASSEMBLER_NAME after calling mangle_decl.
2202         (make_thunk): Explicitly set the DECL_ASSEMBLER_NAME and
2203         IDENTIFIER_GLOBAL_VALUE for the thunk.
2204         * pt.c (set_mangled_name_for_template_decl): Remove.
2205         (check_explicit_specialization): Don't use it.
2206         (looup_template_class): Don't set DECL_ASSEMBLER_NAME.
2207         (tsubst_friend_function): Likewise.
2208         (tsubst_decl): Likewise.
2209         (regenerate_decl_from_template): Use COPY_DECL_ASSEMBLER_NAME.
2210         * rtti.c (get_tinfo_decl): Use SET_DECL_ASSEMBLER_NAME,
2211         COPY_DECL_ASSEMBLER_NAME, etc.  Don't set DECL_ASSEMBLER_NAME
2212         where it's not necessary.
2213         (tinfo_base_init): Likewise.
2214         (create_real_tinfo_var): Likewise.
2215         * search.c (looup_field_1): Likewise.
2216         * semantics.c (finish_named_return_value): Likewise.
2217         * tree.c (init_tree): Set lang_set_decl_assembler_name.
2218
2219 2001-03-15  Gabriel Dos Reis  <gdr@codesourcery.com>
2220
2221         Correct semantics restrictions checking in throw-expression.
2222         * except.c (is_admissible_throw_operand): New function.
2223         (build_throw): Use it.
2224
2225 2001-03-14  Mark Mitchell  <mark@codesourcery.com>
2226
2227         * decl.c (cp_make_fnname_decl): Set DECL_IGNORED_P on __FUNCTION__
2228         and its ilk.
2229
2230 2001-03-14  Mark Mitchell  <mark@codesourcery.com>
2231
2232         * class.c (build_clone): Use COPY_DECL_RTL, DECL_RTL_SET_P, etc.
2233         * cp-tree.h (DECL_IN_MEMORY_P): Likewise.
2234         * decl.c (duplicate_decls): Likewise.
2235         (builtin_function): Likewise.
2236         (build_library_fn): Likewise.
2237         (build_cp_library_fn): Likewise.
2238         (check_initializer): Likewise.
2239         (cp_finish_decl): Likewise.
2240         * decl2.c (grokfield): Likewise.
2241         (grok_function_init): Remove #if 0'd code.
2242         (finish_anon_union): Use COPY_DECL_RTL, DECL_RTL_SET_P, etc.
2243         * friend.c (do_friend): Likewise.
2244         * init.c (get_temp_regvar): Likewise.
2245         * method.c (make_thunk): Likewise.
2246         * pt.c (tsubst_friend_function): Likewise.
2247         (tsubst_decl): Likewise.
2248         (regenerate_decl_from_template): Likewise.
2249         * semantics.c (genrtl_named_return_value): Likewise.
2250         (expand_body): Likewise.
2251         (genrtl_finish_function): Likewise.
2252         * tree.c (cp_tree_equal): Likewise.
2253
2254 2001-03-12  Nathan Sidwell  <nathan@codesourcery.com>
2255
2256         * call.c (convert_like_real): Add extra semantics to INNER
2257         parameter. Don't convert to temporary if a user conversion
2258         gives us an lvalue that we're about to bind to a reference.
2259         Set INNER to indicate pending reference binding on recursive
2260         calls.
2261
2262 2001-03-10  Neil Booth  <neil@daikokuya.demon.co.uk>
2263
2264         * cp/lex.c: Delete duplicate pending_lang_change.
2265
2266 2001-03-10  Neil Booth  <neil@daikokuya.demon.co.uk>
2267
2268         * cp/lex.c (handle_pragma_interface, handle_pragma_implementation):
2269         Similarly.
2270         * cp/repo.c (get_base_filename, open_repo_file): Similarly.
2271         * cp/cp-tree.h: Remove file_name_nondirectory prototype.
2272
2273 2001-03-09  Zack Weinberg  <zackw@stanford.edu>
2274
2275         * Make-lang.in: Add dependencies on $(TM_P_H) as appropriate.
2276
2277 2001-03-08  Stan Shebs  <shebs@apple.com>
2278
2279         * cp-tree.h (set_identifier_local_value): Remove unused decl.
2280
2281 2001-03-06  Zack Weinberg  <zackw@stanford.edu>
2282
2283         * spew.c: Remove references to CPP_OSTRING.
2284
2285 2001-03-06  Andrew Haley  <aph@redhat.com>
2286
2287         * typeck.c (convert_arguments): Check that we have an fndecl.
2288
2289 2001-03-05  Andrew Haley  <aph@redhat.com>
2290
2291         * typeck.c (convert_arguments): Don't do ellipsis conversion for
2292         __built_in_constant_p.
2293
2294 2001-03-02  Nathan Sidwell  <nathan@codesourcery.com>
2295
2296         * typeck.c (build_static_cast): Allow enum to enum conversions
2297         as per DR 128.
2298
2299 2001-03-02  Nathan Sidwell  <nathan@codesourcery.com>
2300
2301         * class.c (check_field_decls): Pointers to member do not a
2302         non-pod struct make, as per DR 148.
2303
2304 2001-03-02  Nathan Sidwell  <nathan@codesourcery.com>
2305
2306         * call.c (joust): cp_pedwarn when using gnu extension concerning
2307         worst conversion sequences.
2308
2309 2001-03-01  Zack Weinberg  <zackw@stanford.edu>
2310
2311         * decl.c: Replace all uses of 'boolean' with 'bool'.
2312
2313 2001-03-01  Zack Weinberg  <zackw@stanford.edu>
2314
2315         * lang-specs.h: Add zero initializer for cpp_spec field to
2316         all array elements that need one.  Don't put an #ifdef inside
2317         the initializer list; set a default for CPLUSPLUS_CPP_SPEC and
2318         use it.
2319
2320 2001-03-01  Nathan Sidwell  <nathan@codesourcery.com>
2321
2322         Implement using decls inside template functions.
2323         * decl2.c (validate_nonmember_using_decl): Don't special case
2324         fake_std_node in the global namespace. Don't reject early when
2325         processing a template.
2326         (do_local_using_decl): Add to statement tree. Don't do further
2327         processing when building a template.
2328         * pt.c (tsubst_expr, DECL_STMT case): Deal with USING_DECLs.
2329
2330 2001-03-01  Nathan Sidwell  <nathan@codesourcery.com>
2331
2332         * decl2.c (do_nonmember_using_decl): Don't complain if we find
2333         same function. Do complain about ambiguating extern "C"
2334         declarations.
2335
2336 2001-02-28  Nathan Sidwell  <nathan@codesourcery.com>
2337
2338         Remove floating point and complex type template constant parms.
2339         * pt.c (convert_nontype_argument): Remove REAL_TYPE and
2340         COMPLEX_TYPE extensions.
2341         (invalid_nontype_parm_type_p): Likewise.
2342
2343 2001-02-27  Jeffrey Oldham  <oldham@codesourcery.com>
2344
2345         * except.c (call_eh_info): Revert "match_function"'s type.
2346
2347 2001-02-27  Nathan Sidwell  <nathan@codesourcery.com>
2348
2349         Fix ctor vtable vcall offsets.
2350         * class.c (struct vtbl_init_data_s): Add rtti_binfo member.
2351         (build_rtt_vtbl_entries): Lose RTTI_BINFO parameter.
2352         (get_matching_base): Remove.
2353         (get_original_base): New function.
2354         (build_vtbl_initializer): Initialize vid.rtti_binfo.
2355         Use a virtual thunk for a ctor vtable with an index
2356         (add_vcall_offset_vtbl_entries_1): Check if binfo has lost a
2357         primary base within a constructor vtable. Only set
2358         BV_VCALL_INDEX when not a constructor vtable. Adjust vcall offset
2359         when primary base has been lost.
2360         * cp-tree.h (BINFO_VIRTUALS): Remove ambiguity from comment.
2361
2362 2001-02-26  Jeffrey Oldham  <oldham@codesourcery.com>
2363
2364         * call.c (joust): Ensure more_specialized()'s argument length
2365         parameter has correct value for constructors.
2366
2367 2001-02-26  Nathan Sidwell  <nathan@codesourcery.com>
2368
2369         * except.c (call_eh_info): Cleanup generation of cp_eh_info struct.
2370
2371         * decl.c (mark_inlined_fns): Prototype.
2372
2373 2001-02-22  Mark Mitchell  <mark@codesourcery.com>
2374
2375         * spew.c (yylex): Correct handling of friends.
2376
2377 2001-02-22  Mark Mitchell  <mark@codesourcery.com>
2378
2379         * mangle.c (write_encoding): Pass write_function_type the
2380         FUNCTION_DECL for the function being encoded.
2381         (write_function_type): Pass it along to write_bare_function_type.
2382         (write_bare_function_type): Pass it along to write_method_parms.
2383         (write_method_parms): Don't mangle the compiler-generated
2384         parameters to a constructor or destructor.
2385
2386 2001-02-22  Andreas Jaeger  <aj@suse.de>
2387
2388         * optimize.c: Include toplev.h for
2389         note_deferral_of_defined_inline_function prototype.
2390
2391 2001-02-22  Jakub Jelinek  <jakub@redhat.com>
2392
2393         * cp-tree.h (struct lang_decl_inlined_fns): New.
2394         (struct lang_decls): Add inlined_fns.
2395         (DECL_INLINED_FNS): New macro.
2396         * optimize.c (struct inline_data): Add inlined_fns.
2397         (declare_return_variable): Use VARRAY_ACTIVE_SIZE macro.
2398         (inlinable_function_p): Likewise, fix typo in comment,
2399         function is not inlinable if it already inlined function currently
2400         being optimized.
2401         (expand_call_inline): Add fn to inlined_fns if necessary.
2402         (optimize_function): Initialize inlined_fns.
2403         Save inlined_fns into DECL_INLINED_FNS after expanding inlines.
2404         * decl.c (mark_inlined_fns): New function.
2405         (lang_mark_tree): Call it.
2406
2407 2001-02-21  Jason Merrill  <jason@redhat.com>
2408
2409         * cp-tree.h (struct lang_decl_flags): Remove uninlinable flag.
2410         (DECL_UNINLINABLE): Move to middle-end.
2411
2412         * class.c (clone_function_decl): Set DECL_ABSTRACT on original fn.
2413         * decl.c (duplicate_decls): Preserve DECL_ABSTRACT.
2414         * class.c (build_clone): Set DECL_ABSTRACT_ORIGIN for the clone.
2415         * optimize.c (maybe_clone_body): Set DECL_ABSTRACT_ORIGIN for the
2416         parms and outer BLOCK.  note_deferral_of_defined_inline_function.
2417
2418         * method.c (implicitly_declare_fn): Don't set DECL_ARTIFICIAL on
2419         second parm of op=.
2420
2421 2001-02-19  Mark Mitchell  <mark@codesourcery.com>
2422
2423         * decl2.c (set_decl_namespace): Allow explicit instantiations in
2424         any namespace.
2425
2426 2001-02-18  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2427
2428         * optimize.c (expand_call_inline): Don't walk subtrees of type
2429         nodes.
2430
2431 2001-02-18  Mark Mitchell  <mark@codesourcery.com>
2432
2433         * class.c (add_vcall_offset_vtbl_entries_1): Only add one entry
2434         for a destructor.
2435
2436 2001-02-18  Jason Merrill  <jason@redhat.com>
2437
2438         Do put the VTT parameter in DECL_ARGUMENTS.
2439         * cp-tree.h (struct cp_language_function): Add x_vtt_parm.
2440         (current_vtt_parm): New macro.
2441         (struct lang_decl_flags): Add has_vtt_parm_p, remove vtt_parm.
2442         (DECL_HAS_VTT_PARM_P): New macro.
2443         (DECL_VTT_PARM): Remove.
2444         (FUNCTION_FIRST_USER_PARMTYPE, FUNCTION_FIRST_USER_PARM): New macros.
2445         * decl.c (duplicate_decls): Only copy the operator code if
2446         appropriate.
2447         (start_function): Set current_vtt_parm.
2448         (lang_mark_tree): Don't mark vtt_parm.
2449         * decl2.c (maybe_retrofit_in_chrg): Do add the VTT parm to
2450         DECL_ARGUMENTS.  Set DECL_HAS_VTT_PARM_P.
2451         * class.c (build_clone): Maybe remove the VTT parm.
2452         * optimize.c (maybe_clone_body): Set up the VTT parm.
2453         * pt.c (copy_default_args_to_explicit_spec): Preserve the VTT parm.
2454         * call.c (build_over_call): Just allow the VTT arg.
2455         * method.c (make_thunk): Don't set DECL_VTT_PARM.
2456         (do_build_copy_constructor): Use FUNCTION_FIRST_USER_PARM.
2457         (synthesize_method): Use FUNCTION_FIRST_USER_PARMTYPE.
2458         * decl.c (grokdeclarator, copy_args_p, grok_ctor_properties): Likewise.
2459         * error.c (dump_function_decl): Likewise.
2460         * call.c (build_user_type_conversion_1, convert_like_real): Abort
2461         if we try to call a constructor with in-charge or VTT parms.
2462         * method.c (skip_artificial_parms_for): New fn.
2463         * call.c (add_function_candidate, build_over_call): Call it.
2464         * call.c (build_new_method_call): Use current_vtt_parm.
2465         * init.c (expand_virtual_init): Likewise.
2466         * class.c (same_signature_p): No longer static.
2467         * cp-tree.h: Declare it.
2468         * search.c (look_for_overrides_r): Use it.
2469
2470 2001-02-17  Mark Mitchell  <mark@codesourcery.com>
2471
2472         * cp-tree.h (new_abi_rtti_p): Remove.
2473         (name_mangling_version): Likewise.
2474         (flag_do_squangling): Likewise.
2475         * class.c (build_rtti_vtbl_entries): Remove old ABI support.
2476         * decl.c (grokfndecl): Likewise.
2477         * decl2.c (name_mangling_version): Remove.
2478         (flag_do_squangling): Likewise.
2479         (lang_f_options): Remove `squangle'.
2480         (unsupported_options): Add `squangle'.
2481         (cxx_decode_option): Issue a warning about uses of
2482         -fname-mangling-version.
2483         (finish_file): Remove old ABI support.
2484         * pt.c (check_explicit_specialization): Likewise.
2485         (tsubst_decl): Likewise.
2486         * rtti.c (init_rtti_processing): Likewise.
2487         (build_headof): Likewise.
2488         (get_tinfo_decl_dynamic): Likewise.
2489         (tinfo_from_decl): Likewise.
2490         (build_dynamic_cast_1): Likewise.
2491         (synthesize_tinfo_var): Likewise.
2492         * init.c (build_new): Allow enumeration types for the array-bounds
2493         in a direct-new-declarator.
2494
2495         * semantics.c (finish_typeof): Resolve OFFSET_REFs.
2496
2497         * pt.c (check_explicit_specialization): Copy TREE_PRIVATE and
2498         TREE_PROTECTED from the template being specialized.
2499
2500 2001-02-17  Jason Merrill  <jason@redhat.com>
2501
2502         * decl2.c (build_artificial_parm): Set TREE_READONLY.
2503
2504         * decl.c (bad_specifiers): Allow throw specs on things with
2505         pointer-to-function or -member-function type.
2506         * init.c (build_default_init): Don't use a CONSTRUCTOR to initialize
2507         a pmf.
2508
2509 2001-02-17  Mark Mitchell  <mark@codesourcery.com>
2510
2511         * call.c (check_dtor_name): Handle template names correctly.
2512
2513 2001-02-16  Jason Merrill  <jason@redhat.com>
2514
2515         * cp-tree.h (DECL_USE_VTT_PARM): Remove.
2516         * decl2.c (maybe_retrofit_in_chrg): Don't create it.
2517         * optimize.c (maybe_clone_body): Don't substitute it.
2518         * call.c (build_new_method_call): Check in_chrg instead.
2519         * init.c (expand_virtual_init): Likewise.
2520
2521 2001-02-16  Gabriel Dos Reis  <gdr@codesourcery.com>
2522
2523         * decl.c (check_tag_decl): Make sure a typedef for an anonymous
2524         class-type introduces at least a type-name.
2525
2526 2001-02-16  Jakub Jelinek  <jakub@redhat.com>
2527
2528         * call.c (convert_like_real): Create a temporary for non-lvalue.
2529
2530 2001-02-16  Jeffrey Oldham  <oldham@codesourcery.com>
2531
2532         * cp-tree.h: Fix typos in comments.
2533
2534 2001-02-16  Jason Merrill  <jason@redhat.com>
2535
2536         * optimize.c (remap_block): If we're compiling a clone, pass the
2537         new block to insert_block.
2538
2539 2001-02-16  Mark Mitchell  <mark@codesourcery.com>
2540
2541         * semantics.c (finish_asm_stmt): Robustify.
2542
2543 2001-02-15  Mark Mitchell  <mark@codesourcery.com>
2544
2545         * pt.c (push_template_decl_real): Don't remangle the name of a
2546         class template.
2547
2548 2001-02-15  Jim Meyering  <meyering@lucent.com>
2549
2550         * Make-lang.in (c++.install-common): Depend on installdirs.
2551         (c++.install-info): Likewise.
2552         (c++.install-man): Likewise.
2553
2554 2001-02-15  Mark Mitchell  <mark@codesourcery.com>
2555
2556         * typeck2.c (build_m_component_ref): Robustify.
2557
2558 2001-02-15  Alexandre Oliva  <aoliva@redhat.com>
2559
2560         * friend.c (do_friend): Don't take the nested [template] class
2561         into account when deciding whether to warn about the friend
2562         function not referring to a template function.
2563
2564 2001-02-14  Jakub Jelinek  <jakub@redhat.com>
2565
2566         * typeck.c (build_unary_op): Clarify error message.
2567
2568 2001-02-08  Aldy Hernandez  <aldyh@redhat.com>
2569
2570         * parse.y (component_constructor_declarator): allow optional
2571         parentheses around constructor class name.
2572
2573 2001-02-14  Nathan Sidwell  <nathan@codesourcery.com>
2574
2575         * cp-tree.h (setup_vtbl_ptr): Move prototype to semantics.c
2576         section.
2577         * init.c (emit_base_init): Remove incorrect comment about
2578         virtual bases.
2579         * method.c (make_thunk): Fix comment alignment.
2580
2581 2001-02-14  Nathan Sidwell  <nathan@codesourcery.com>
2582
2583         Kill remnants of this is variable.
2584         * cp-tree.h (flag_this_is_variable): Remove.
2585         * decl2.c (flag_this_is_variable): Remove.
2586         * class.c (fixed_type_or_null): Add cdtor parm. Adjust.
2587         (build_vbase_path): The path is non-static, even in a cdtor.
2588         (resolves_to_fixed_type_p): Add additional return value.
2589         * search.c (init_vbase_pointers): Adjust.
2590         * tree.c (lvalue_p_1): Adjust.
2591         * typeck.c (mark_addressable): Adjust.
2592
2593 2001-02-14  Nathan Sidwell  <nathan@codesourcery.com>
2594
2595         * pt.c (unify): Don't check cv quals of array types.
2596
2597 2001-02-14  Nathan Sidwell  <nathan@codesourcery.com>
2598
2599         * tree.c (cp_build_qualified_type_real): Use CP_TYPE_QUALS to
2600         check whether we already have the type.
2601
2602 2001-02-13  Mark Mitchell  <mark@codesourcery.com>
2603
2604         * cp-tree.h (CLASSTYPE_DESTRUCTORS): Fix typo in comment.
2605         * call.c (build_op_delete_call): Simplify to remove duplicate
2606         code.
2607         * class.c (clone_function_decl): Don't build the deleting variant
2608         of a non-virtual destructor.
2609         * decl.c (finish_destructor_body): Don't call delete if this is a
2610         non-virtual destructor.
2611         * init.c (build_delete): Explicitly call `operator delete' when
2612         deleting an object with a non-virtual destructor.
2613
2614 2001-02-13  Jason Merrill  <jason@redhat.com>
2615
2616         * lang-specs.h: Add more __EXCEPTIONS.
2617
2618 2001-02-12  Nathan Sidwell  <nathan@codesourcery.com>
2619
2620         * typeck2.c (process_init_constructor): Check
2621         TREE_HAS_CONSTRUCTOR before issuing missing init warning.
2622
2623 2001-02-12  Nathan Sidwell  <nathan@codesourcery.com>
2624
2625         * pt.c (maybe_adjust_types_for_deduction, DEDUCE_ORDER case):
2626         Remove spurious information in comment. Allow further
2627         adjustments of REFERENCE_TYPE args.
2628
2629 2001-02-12  Nathan Sidwell  <nathan@codesourcery.com>
2630
2631         * errfn.c (cp_deprecated): Tweak diagnostic text.
2632         * parse.y (new_initializer): Deprecate initializer lists
2633         extension.
2634
2635 2001-02-12  Mark Mitchell  <mark@codesourcery.com>
2636
2637         Remove old ABI support.
2638
2639 2001-02-11  Mark Mitchell  <mark@codesourcery.com>
2640
2641         * decl2.c (flag_vtable_thunks): Always set it to 1.
2642         (flag_new_abi): Likewise.
2643         * lang-specs.h: Remove conditional on ENABLE_NEW_GXX_ABI.
2644
2645         * Makefile.in (g++spec.o): Fix typo.
2646
2647 2001-02-09  Jason Merrill  <jason@redhat.com>
2648
2649         * lang-specs.h: Restore definition of __EXCEPTIONS.
2650
2651 2001-02-08  Jason Merrill  <jason@redhat.com>
2652
2653         * search.c (shared_member_p): New function.
2654         (lookup_field_r): Use it.
2655         * cp-tree.h (SHARED_MEMBER_P): Remove.
2656
2657         * method.c (process_overload_item): Handle template-dependent array
2658         bounds.
2659         * pt.c (type_unification_real): If we end up with undeduced nontype
2660         parms, try again.
2661
2662         * decl.c (lookup_name_real): Tweak warning to refer to decls, not
2663         types.
2664
2665         * typeck2.c (friendly_abort): Don't say anything if we have
2666         earlier errors or sorries.
2667
2668         * decl.c (check_tag_decl): Notice attempts to redefine bool and
2669         wchar_t.  Ignore if in_system_header.
2670
2671         * decl.c (maybe_push_cleanup_level): New fn...
2672         (start_decl_1): ...split out from here.
2673         * cvt.c (build_up_reference): Use it.
2674         * cp-tree.h: Declare it.
2675
2676 2001-02-07  Mark Mitchell  <mark@codesourcery.com>
2677
2678         * lang-specs.h: Use CPLUSPLUS_CPP_SPEC for the preprocessor
2679         spec.
2680
2681 2001-02-06  Nathan Sidwell  <nathan@codesourcery.com>
2682
2683         * pt.c (lookup_template_class): Make sure it's a primary
2684         template or template_template_parm when called from the parser.
2685         (instantiate_template_class): Add assertion.
2686
2687 2001-02-05  Alexandre Oliva  <aoliva@redhat.com>
2688
2689         * method.c (build_mangled_name) [old abi]: Protect flush_repeats()
2690         from error_mark_node.
2691
2692 2001-02-05  Nathan Sidwell  <nathan@codesourcery.com>
2693
2694         Fix specification and implementation bugs in V3 ABI
2695         construction vtables.
2696         * cp-tree.h (flag_dump_class_layout): New flag.
2697         (BINFO_OVERRIDE_ALONG_VIRTUAL_PATH_P): Remove.
2698         (BINFO_LOST_PRIMARY_P): New flag.
2699         (SET_BINFO_NEW_VTABLE_MARKED): Adjust asserts.
2700         (BINFO_PRIMARY_MARKED_P): Rename to ...
2701         (BINFO_PRIMARY_P): ... here.
2702         (binfo_via_virtual): New prototype.
2703         * decl2.c (flag_dump_class_layout): New flag.
2704         (cxx_decode_option): Set it. Adjust -fdump-translation-unit to
2705         use `=' as a file name separator.
2706         * init.c (dfs_initialize_vtbl_ptrs): Walk into virtual primary
2707         bases.
2708         (build_vtbl_address): If this is a virtual primary base, then
2709         get the vtbl of what it is ultimately primary for.
2710         * search.c (dfs_skip_nonprimary_vbases_unmarkedp): Adjust
2711         for BINFO_PRIMARY_P.
2712         (dfs_skip_nonprimary_vbases_markedp): Likewise.
2713         (get_shared_vbase_if_not_primary): Likewise.
2714         (dfs_get_pure_virtuals): Likewise.
2715         (expand_upcast_fixups): Likewise.
2716         (fixup_virtual_upcast_offsets): Likewise.
2717         (dfs_find_vbase_instance): Likewise.
2718         (find_vbase_instance): Likewise.
2719         (binfo_from_vbase): Adjust comment to reflect reality.
2720         (binfo_via_virtual): New function.
2721         * class.c (VTT_TOP_LEVEL_P, VTT_MARKED_BINFO_P): New macros
2722         for binfo walking during VTT construction.
2723         (dfs_mark_primary_bases): Remove.
2724         (force_canonical_binfo_r): New function.
2725         (force_canonical_binfo): New function.
2726         (mark_primary_virtual_base): New function.
2727         (mark_primary_bases): Walk in inheritance graph order, use
2728         mark_primary_virtual_base.
2729         (determine_primary_base): Use some more intermediate variables.
2730         (dfs_find_final_overrider): Don't check for overriding along a
2731         virtual path.
2732         (dfs_modify_vtables): Walk into primary virtual bases too.
2733         (walk_subobject_offsets): Adjust for BINFO_PRIMARY_P.
2734         (build_base_fields): Likewise.
2735         (dfs_set_offset_for_unshared_vbases): Likewise.
2736         (layout_virtual_bases): Likewise.
2737         (end_of_class): Likewise.
2738         (finish_struct_1): Call dump_class_hierarchy, if requested.
2739         (dfs_get_primary_binfo): Use BINFO_TYPE for binfos.
2740         (dump_class_hierarchy_r): Add stream parameter. Emit more information.
2741         (dump_class_hierarchy): Add file parameter. Append to file, if
2742         required.
2743         (finish_vtbls): Adjust accumulate_vtbl_inits call.
2744         Use canonical base for virtual bases.
2745         (build_vtt): Add more comments. Adjust build_vtt_inits call.
2746         (build_vtt_inits): Remove VIRTUAL_VTTS_P parm.
2747         Only set BINFO_VPTR_INDEX on top level. Use VTT_TOP_LEVEL_P,
2748         VTT_MARKED_BINFO_P for binfo walking. Use canonical vbase for
2749         virtual VTTs.
2750         (dfs_build_secondary_vptr_vtt_inits): Extract VTT_TOP_LEVEL_P
2751         from DATA.  We want virtual primary bases and all bases via virtual.
2752         Only set BINFO_VPTR_INDEX for top level. Look up from a primary
2753         virtual base when not a construction vtable.
2754         (dfs_ctor_vtable_bases_queue_p): New DFS predicate.
2755         (build_ctor_vtbl_group): Adjust accumulate_vtbl_inits call.
2756         Use canonical bases when processing virtual bases.
2757         (accumulate_vtbl_inits): We're interested in any base via a
2758         virtual path.
2759         (dfs_accumulate_vtbl_inits): If this is a primary virtual base
2760         within a construction vtable, determine what is being overridden.
2761         (build_vtbl_initializer): Add more comments
2762         (add_vcall_offset_vtbl_entries_1): Adjust comment.
2763         (build_rtti_vtbl_entries): Check if the base has lost its
2764         primary.
2765
2766 2001-02-05  Mark Mitchell  <mark@codesourcery.com>
2767
2768         * Makefile.in (g++spec.o): Adjust use of DRIVER_DEFINES.
2769
2770 Sun Feb  4 15:52:44 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
2771
2772         * decl.c (pushdecl): Call abort instead of fatal.
2773         * except.c (decl_is_java_type): Call fatal_error instead of fatal.
2774         * init.c (build_new_1): Likewise.
2775         (build_java_class_ref): Call internal_error and fatal_error, not fatal.
2776         * decl.c (build_typename_type): hash_table_init now returns void.
2777         decl.c (init_decl_processing): Make an error non-fatal.
2778
2779 2001-02-04  Mark Mitchell  <mark@codesourcery.com>
2780
2781         * cp-tree.h (CLASSTYPE_INTERFACE_UNKNOWN): Fix formatting.
2782         Document.
2783         (CLASSTYPE_INTERFACE_KNOWN): Likewise.
2784         (SET_CLASSTYPE_INTERFACE_UNKNOWN_X): Likewise.
2785         (SET_CLASSTYPE_INTERFACE_UNKNOWN): Likewise.
2786         (SET_CLASSTYPE_INTERFACE_KNOWN): Likewise.
2787         * decl.c (maybe_commonize_var): Use the new name-mangling where
2788         appropriate.
2789         * decl2.c (comdat_linkage): Enhance comments.  Make all
2790         compiler-generated things static, if COMDAT is not available.
2791         (get_tinfo_decl): Do not make typeinfo objects that belong in the
2792         library COMDAT.
2793         (tinfo_base_init): Use the correct mangled name for typeinfo
2794         strings, and push them into the global scope.
2795         (typeinfo_in_lib_p): New function.
2796         (synthesize_tinfo_var): Use it.
2797         (create_real_tinfo_var): Likewise.
2798
2799 2001-02-03  Jakub Jelinek  <jakub@redhat.com>
2800
2801         * decl.c (push_class_binding): Use context_for_name_lookup instead
2802         of CP_DECL_CONTEXT.
2803         * search.c (context_for_name_lookup): Remove static.  Check for NULL
2804         context in the loop.
2805         * cp-tree.h (context_for_name_lookup): Add prototype.
2806
2807 2001-02-02  Jakub Jelinek  <jakub@redhat.com>
2808
2809         * cp-tree.h (build_expr_ptr_wrapper, can_free): Remove.
2810         * tree.c (build_expr_ptr_wrapper, can_free, permanent_obstack):
2811         Remove.
2812         * call.c (convert_class_to_reference, build_user_type_conversion_1,
2813         add_warning): Change build_expr_ptr_wrapper to build_ptr_wrapper.
2814
2815 2001-02-02  Mark Mitchell  <mark@codesourcery.com>
2816
2817         * Make-lang.in (g++spec.o): Add DRIVER_DEFINES to the list
2818         of macros used when compiling g++spec.c.
2819         * g++spec.c (lang_specific_driver): Link with the shared
2820         libgcc by default.
2821
2822 2001-01-29  Joseph S. Myers  <jsm28@cam.ac.uk>
2823
2824         * decl2.c (build_expr_from_tree), lex.c (make_pointer_declarator,
2825         make_reference_declarator, make_call_declarator), method.c
2826         (implicitly_declare_fn), parse.y (namespace_using_decl,
2827         notype_unqualified_id, expr_or_declarator, new_type_id,
2828         after_type_declarator, direct_after_type_declarator,
2829         notype_declarator, complex_notype_declarator,
2830         complex_direct_notype_declarator, qualified_id,
2831         notype_qualified_id, overqualified_id, direct_new_declarator,
2832         absdcl, direct_abstract_declarator, conversion_declarator), pt.c
2833         (tsubst), semantics.c (begin_constructor_declarator): Use build_nt
2834         instead of build_parse_node.
2835
2836 2001-01-28  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2837
2838         * cp-tree.h (cp_tree_index): Delete CPTI_MINUS_ONE.
2839         (minus_one_node): Moved to top level gcc directory.  Renamed
2840         to integer_minus_one_node.
2841
2842         * init.c (init_init_processing): Don't set minus_one_node.
2843         (build_vec_init): Use integer_minus_one_node.
2844
2845         * rtti.c (get_tinfo_decl_dynamic): Likewise.
2846
2847 2001-01-28  Jakub Jelinek  <jakub@redhat.com>
2848
2849         * optimize.c (copy_body_r): If MODIFY_EXPR has both arguments
2850         identical and they would be replaced with constant, remove
2851         MODIFY_EXPR from the tree.
2852
2853 2001-01-27  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2854
2855         * Make-lang.in: Remove all dependencies on defaults.h.
2856         * call.c: Don't include defaults.h.
2857         * decl.c: Likewise.
2858         * decl2.c: Likewise.
2859         * except.c: Likewise.
2860         * pt.c: Likewise.
2861         * rtti.c: Likewise.
2862         * tree.c: Likewise.
2863         * typeck.c: Likewise.
2864
2865 2001-01-25  Jakub Jelinek  <jakub@redhat.com>
2866
2867         * mangle.c (write_mangled_name, write_encoding): Mangle overloaded
2868         operators even in "C" linkage.
2869         * method.c (set_mangled_name_for_decl): Likewise.
2870         * decl.c (grokfndecl): Call set_mangled_name_for_decl even for
2871         overloaded operators in "C" linkage.
2872
2873 2001-01-24  Nathan Sidwell  <nathan@codesourcery.com>
2874
2875         * pt.c (tsubst_decl): Remove IN_DECL parameter.
2876         (tsubst_arg_types): Check parameter is not void.
2877         (tsubst): Adjust tsubst_decl call.
2878
2879 2001-01-24  Nathan Sidwell  <nathan@codesourcery.com>
2880
2881         * call.c (add_builtin_candidate): Quote std properly, from
2882         previous change.
2883
2884 2001-01-23  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2885
2886         * pt.c (check_explicit_specialization): Clone constructors and
2887         destructors.
2888
2889 2001-01-23  Nathan Sidwell  <nathan@codesourcery.com>
2890
2891         * decl.c (grokdeclarator): Don't presume DECL_LANG_SPECIFIC
2892         indicates anything special about template depth. Make sure we
2893         only count the user visible template classes.
2894
2895 2001-01-23  Nathan Sidwell  <nathan@codesourcery.com>
2896
2897         * call.c (build_conv): Typo in comment.
2898         (add_builtin_candidate): Add more explanation.
2899         Remove extra test for ENUMERAL_TYPE in {PRE,POST}INCREMENT_EXPR.
2900         Allow ENUMERAL_TYPEs for relops and eqops. Add both candidates
2901         when we have enumeral types.
2902         (add_builtin_candidates): Add more explanation. Add ENUMERAL_TYPE
2903         candidates for relops and eqops.
2904         (joust): Simplify control flow. Allow a non-template user
2905         function to hide a builtin.
2906
2907 2001-01-22  Nathan Sidwell  <nathan@codesourcery.com>
2908
2909         * cp-tree.h (unification_kind_t): Add DEDUCE_ORDER.
2910         (more_specialized): Add deduction parameter.
2911         * call.c (joust): Adjust more_specialized call.
2912         * pt.c (UNIFY_ALLOW_OUTER_MORE_CV_QUAL,
2913         UNIFY_ALLOW_OUTER_LESS_CV_QUAL): New unify flags.
2914         (get_bindings_order): Remove.
2915         (get_bindings_real): Add DEDUCE parameter.
2916         (maybe_adjust_types_for_deduction): Return extra unify flags. Do
2917         REFERENCE_TYPE jig for DEDUCE_ORDER.
2918         (type_unification_real): Deal with DEDUCE_ORDER. Use result of
2919         maybe_adjust_types_for_deduction.
2920         (more_specialized): Add DEDUCE parameter. Call get_bindings_real
2921         directly.
2922         (try_one_overload): Use result of maybe_adjust_types_for_deduction.
2923         (check_cv_quals_for_unify): Use new unify qualifier flags.
2924         (unify): Clear new unify qualifier flags.
2925         (get_bindings_real): Add DEDUCE parameter.
2926         (get_bindings): Adjust call to get_bindings_real.
2927         (get_bindings_overload): Likewise.
2928         (most_specialized_instantiation): Adjust call to
2929         more_specialized.
2930
2931 2001-01-19  Jason Merrill  <jason@redhat.com>
2932
2933         * decl2.c (flag_vtable_thunks): Also depend on ENABLE_NEW_GXX_ABI.
2934
2935         * decl.c (init_decl_processing): Just force -fvtable-thunks on if
2936         -fnew-abi.
2937
2938 2001-01-19  Ute Pelkmann  <scope.muc@t-online.de>
2939
2940         * decl2.c (arg_assoc_class): Fix double iteration logic.
2941
2942 2001-01-19  Jason Merrill  <jason@redhat.com>
2943
2944         * init.c (build_delete): Always call convert_force to strip cv-quals.
2945
2946         * decl2.c (flag_new_abi): Depend on ENABLE_NEW_GXX_ABI.
2947         * lang-specs.h: Default ABI depends on ENABLE_NEW_GXX_ABI.
2948         * g++spec.c: Don't look at ENABLE_NEW_GXX_ABI.
2949
2950 2001-01-19  Nathan Sidwell  <nathan@codesourcery.com>
2951
2952         * search.c (get_vbase_1): Count only virtual bases.
2953
2954 2001-01-19  Nathan Sidwell  <nathan@codesourcery.com>
2955
2956         * class.c (duplicate_tag_error): Robustify flag clearing.
2957
2958 2001-01-19  Nathan Sidwell  <nathan@codesourcery.com>
2959
2960         * cp-tree.h (lookup_template_class): Add complain parm.
2961         * decl.c (lookup_namespace_name): Adjust call to
2962         lookup_template_class.
2963         (make_typename_type): Likewise.
2964         * semantics.c (finish_template_type): Likewise.
2965         * pt.c (lookup_template_class): Add complain parm. Adjust.
2966         (tsubst_aggr_type): Pass COMPLAIN down to lookup_template_class.
2967         (tsubst): Likewise.
2968
2969 2001-01-19  Nathan Sidwell  <nathan@codesourcery.com>
2970
2971         * pt.c (copy_default_args_to_explicit_spec): Preserve
2972         object's CV quals. Reorganize.
2973
2974 2001-01-18  Nathan Sidwell  <nathan@codesourcery.com>
2975
2976         * typeck.c (build_modify_expr): Say `initialization' for
2977         INIT_EXPRs.
2978         * init.c (build_default_init): Convert to enumeral type, if
2979         needed.
2980
2981 2001-01-18  Jakub Jelinek  <jakub@redhat.com>
2982
2983         * parse.y (nomods_initdcl0): Properly set things up for
2984         initdcl0_innards.
2985
2986 2001-01-18  Nathan Sidwell  <nathan@codesourcery.com>
2987
2988         * pt.c (UNIFY_ALLOW_OUTER_LEVEL): New unify flag.
2989         (type_unification_real): Set it.
2990         (unify): Use it.
2991
2992 2001-01-18  Nathan Sidwell  <nathan@codesourcery.com>
2993
2994         * decl.c (finish_destructor_body): Convert to vbase pointer here.
2995
2996 2001-01-18  Nathan Sidwell  <nathan@codesourcery.com>
2997
2998         * semantics.c (begin_class_definition): Check we're not inside a
2999         template parm list.
3000
3001 2001-01-18  Nathan Sidwell  <nathan@codesourcery.com>
3002
3003         * tree.c (walk_tree, TREE_LIST): Don't walk the TREE_PURPOSE of
3004         BASELINK_P.
3005
3006 2001-01-16  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3007
3008         * typeck.c (build_function_call_real): Call fold on the CALL_EXPR.
3009         * call.c (build_over_call): Add comment.
3010
3011 2001-01-16 Daniel Berlin <dberlin@redhat.com>
3012
3013         * cvt.c (ocp_convert): Handle vector type conversion
3014         * typeck2.c (digest_init): Handle vector type initializations
3015
3016 2001-01-16  Phil Edwards  <pme@sources.redhat.com>
3017
3018         * g++spec.c:  Don't add libraries needlessly if -fsyntax-only
3019           was given.
3020
3021 2001-01-15  Nathan Sidwell  <nathan@codesourcery.com>
3022
3023         * pt.c (check_nontype_parm): Rename to ...
3024         (invalid_nontype_parm_type_p): ... here.
3025         (process_template_parm): Adjust.
3026         (convert_template_argument): Adjust.
3027
3028 2001-01-15  Nathan Sidwell  <nathan@codesourcery.com>
3029
3030         * pt.c (check_nontype_parm): New function.
3031         (process_template_parm): Use it.
3032         (convert_template_argument): Use it.
3033         (convert_nontype_argument, RECORD_TYPE): Assert it's a ptr to
3034         member.
3035
3036 2001-01-14  Jeffrey Oldham  <oldham@codesourcery.com>
3037
3038         * tree.c: Add defaults.h
3039         (cp_valid_lang_attribute): Incorporate SUPPORTS_INIT_PRIORITY.
3040         * Make-lang.in (cp/tree.o): Add defaults.h.
3041
3042 2001-01-13  Joseph S. Myers  <jsm28@cam.ac.uk>
3043
3044         * Make-lang.in (CXX_C_OBJS): Add c-format.o.
3045
3046 2001-01-13  Joseph S. Myers  <jsm28@cam.ac.uk>
3047
3048         * g++.1: Change to be ".so man1/gcc.1".
3049
3050 2001-01-13  Joseph S. Myers  <jsm28@cam.ac.uk>
3051
3052         * Make-lang.in (c++.info, c++.install-info): Build and install g++
3053         internals info.
3054         (c++.uninstall, c++.maintainer-clean): Remove g++ internals info.
3055         ($(srcdir)/cp/g++int.info): New target.
3056         * gxxint.texi: Add info directory entry.  Use @@ in email address.
3057         * .cvsignore: Update.
3058
3059 2001-01-12  Nathan Sidwell  <nathan@codesourcery.com>
3060
3061         * typeck.c (build_c_cast): Do template processing earlier.
3062         Always pedwarn on array casts.
3063
3064 2001-01-12  Nathan Sidwell  <nathan@codesourcery.com>
3065
3066         * friend.c (make_friend_class): Make sure a templated class is
3067         actually a template.
3068
3069 2001-01-11  Nathan Sidwell  <nathan@codesourcery.com>
3070
3071         * decl2.c (get_guard): Set linkage from guarded decl.
3072
3073 2001-01-11  Nathan Sidwell  <nathan@codesourcery.com>
3074
3075         * call.c (convert_default_arg): Check for unprocessed
3076         DEFAULT_ARG.
3077         * cp-tree.h (replace_defarg): Move to spew.c.
3078         (maybe_snarf_defarg, add_defarg_fn, do_pending_defargs): Move to
3079         spew.c, which is where they really are.
3080         (done_pending_defargs): Declare.
3081         (unprocessed_defarg_fn): Declare.
3082         * decl.c (replace_defarg): Move to spew.c
3083         * parse.y (structsp): Call done_pending_defargs.
3084         * spew.c (defarg_fns): Rearrange list structure.
3085         (defarg_fnsdone): New static variable.
3086         (defarg_depfns): New static variable.
3087         (init_spew): Adjust.
3088         (add_defarg_fn): Store the type in TREE_TYPE.
3089         (do_pending_defargs): Detect and deal with ordering constraints
3090         and circularity.
3091         (done_pending_defargs): New function.
3092         (unprocessed_defarg_fn): New function.
3093         (replace_defarg): Moved from decl.c. Robustify. Don't save
3094         if circularity detected.
3095
3096 2001-01-11  Nathan Sidwell  <nathan@codesourcery.com>
3097
3098         * pt.c (unify): Check array has a domain, before checking
3099         whether it is variable sized.
3100
3101 2001-01-11  Nathan Sidwell  <nathan@codesourcery.com>
3102
3103         * decl.c (grokparms): Unobfuscate and get correct diagnostic for
3104         parameters with pointers to arrays of unknown bound.
3105
3106 2001-01-11  Nathan Sidwell  <nathan@codesourcery.com>
3107
3108         * parse.y (template_parm_header, template_spec_header): New
3109         reductions. Split out from ...
3110         (template_header): ... here. Use them.
3111         (template_template_parm): Use template_parm_header.
3112         * semantics.c (finish_template_template_parm): Add assert.
3113
3114 2001-01-10  Mark Mitchell  <mark@codesourcery.com>
3115
3116         * mangle.c (write_builtin_type): Fix thinko.
3117
3118         * pt.c (copy_default_args_to_explicit_spec_1): New function.
3119         (copy_default_args_to_explicit_spec): Likewise.
3120         (check_explicit_specialization): Use it.
3121
3122         * class.c (finish_struct_1):  Remove last argument in call to
3123         make_decl_rtl; use make_function_rtl instead of make_decl_rtl.
3124         * decl.c (builtin_function): Likewise.
3125         (build_cp_library_fn): Likewise.
3126         (check_initializer): Likewise.
3127         (make_rtl_for_nonlocal_decl): Likewise.
3128         (cp_finish_decl): Likewise.
3129         (start_function): Likewise.
3130         * decl2.c (finish_anon_union): Likewise.
3131         * friend.c (do_friend): Likewise.
3132         * init.c (build_java_class_ref): Likewise.
3133         * method.c (make_thunk): Likewise.
3134         * pt.c (tsubst_friend_function): Likewise.
3135         * semantics.c (expand_body): Likewise.
3136
3137 2001-01-10  Mark Mitchell  <mark@codesourcery.com>
3138
3139         * cp-tree.h (DECL_CLONED_FUNCTION_P): Avoid wild reads by not
3140         looking at DECL_CLONED_FUNCTION for non-functions.
3141
3142 2001-01-10  Nathan Sidwell  <nathan@codesourcery.com>
3143
3144         * error.c (dump_template_parameter): Use parm to determine how
3145         to print default value.
3146
3147 2001-01-10  Nathan Sidwell  <nathan@codesourcery.com>
3148
3149         * class.c (duplicate_tag_error): Clear more flags.
3150
3151 2001-01-10  Nathan Sidwell  <nathan@codesourcery.com>
3152
3153         * call.c (build_new_method_call): Use binfo_for_vbase.
3154
3155 2001-01-10  Joseph S. Myers  <jsm28@cam.ac.uk>
3156
3157         * cp-tree.h (flag_cond_mismatch): Don't declare.
3158         * decl2.c (flag_cond_mismatch): Don't define.
3159         (lang_f_options): Remove cond-mismatch.
3160         (unsupported_options): Add cond-mismatch.
3161
3162 2001-01-09  Nathan Sidwell  <nathan@codesourcery.com>
3163
3164         * class.c (handle_using_decl): Reject using of constructor name
3165         of sourcing class. Allow injecting of a method with same name as
3166         nested class. Fixup error messages.
3167
3168 2001-01-09  Joseph S. Myers  <jsm28@cam.ac.uk>
3169
3170         * decl2.c (lang_decode_option): Handle -Wformat=2.
3171
3172 2001-01-08  Nathan Sidwell  <nathan@codesourcery.com>
3173
3174         * cp-tree.h (lang_decl_flags): Rename defined_in_class to
3175         initialized_in_class.
3176         (DECL_DEFINED_IN_CLASS_P): Rename to ...
3177         (DECL_INITIALIZED_IN_CLASS_P): ... here, to reflect true meaning.
3178         * decl.c (duplicate_decls): Preseve DECL_INITIALIZED_IN_CLASS_P.
3179         (cp_finish_decl): Adjust for DECL_INITIALIZED_IN_CLASS_P.
3180         * pt.c (check_default_tmpl_args): Adjust for
3181         DECL_INITIALIZED_IN_CLASS_P.
3182         (instantiate_class_template): Likewise.
3183         (instantiate_decl): Check DECL_INITIALIZED_IN_CLASS_P.
3184
3185         * class.c (finish_struct): Constify saved_filename.
3186
3187 2001-01-08  Nathan Sidwell  <nathan@codesourcery.com>
3188
3189         * class.c (duplicate_tag_error): Adjust diagnostic.
3190         (finish_struct): Locally set location to start of struct.
3191         * decl.c (fixup_anonymous_aggr): Use cp_error_at.
3192
3193 2001-01-08  Nathan Sidwell  <nathan@codesourcery.com>
3194
3195         * decl.c (struct binding_level): Adjust class_shadowed comments
3196         to reflect reality.
3197         (push_class_level_binding): Ajust comments to reflect reality.
3198         Set IDENTIFIER_CLASS_VALUE when replacing an existing binding.
3199         Don't set TREE_VALUE on the class_shadowed list.
3200
3201 2001-01-07  Alexandre Petit-Bianco  <apbianco@cygnus.com>
3202
3203         * decl2.c (acceptable_java_type): Allow references too.
3204         * init.c (build_java_class_ref): When using the new ABI, search
3205         `class$' and have it mangled with `mangle_decl.'
3206         * mangle.c (write_java_integer_type_codes): New function.
3207         (write_builtin_type): Detect and mangle Java integer and real
3208         types.
3209
3210 2001-01-07  Mark Mitchell  <mark@codesourcery.com>
3211
3212         * decl2.c (grokfield): Don't accept `asm' specifiers for
3213         non-static data members.
3214
3215 2001-01-07  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3216
3217         * expr.c (cplus_expand_expr): Don't reset `target'.
3218
3219 2001-01-07  Neil Booth  <neil@daikokuya.demon.co.uk>
3220
3221         * cp/decl2.c (cxx_post_options): Call cpp_post_options.
3222
3223 2001-01-05  Nathan Sidwell  <nathan@codesourcery.com>
3224
3225         * parse.y (template_datadef): Check for error_mark_node.
3226
3227 2001-01-05  Nathan Sidwell  <nathan@codesourcery.com>
3228
3229         * cp-tree.def (DEFAULT_ARG): Make `x' class.
3230
3231 2001-01-04  Joseph S. Myers  <jsm28@cam.ac.uk>
3232
3233         * decl.c (SIZE_TYPE, PTRDIFF_TYPE, WCHAR_TYPE): Don't define.
3234         (record_builtin_type): Make non-static.
3235         (flag_short_double): Don't declare.
3236         (init_decl_processing): Remove the creation of many tree nodes now
3237         in c_common_nodes_and_builtins.
3238         (build_void_list_node): New function.
3239         * decl2.c (flag_short_double, flag_short_wchar): Don't define.
3240         * cp-tree.h (flag_short_wchar): Don't declare.
3241
3242 2001-01-04  Mark Mitchell  <mark@codesourcery.com>
3243
3244         * call.c (build_conv): Don't use build1 for USER_CONV.
3245         * pt.c (tsubst_copy): Or for PREINCREMENT_EXPR and similar nodes.
3246
3247 2001-01-03  Joseph S. Myers  <jsm28@cam.ac.uk>
3248
3249         * lex.c (lang_init): Call c_common_lang_init.
3250
3251 2001-01-03  Nathan Sidwell  <nathan@codesourcery.com>
3252
3253         * search.c (lookup_fnfields_here): Remove.
3254         (look_for_overrides_r): Use lookup_fnfields_1.
3255         Ignore functions from using declarations.
3256
3257 2001-01-03  Nathan Sidwell  <nathan@codesourcery.com>
3258
3259         Implement exceptions specifiers for implicit member functions.
3260         * cp-tree.h (merge_exceptions_specifiers): Declare new function.
3261         * method.c (synthesize_exception_spec): New function.
3262         (locate_dtor, locate_ctor, locate_copy): New functions.
3263         (implicitly_declare_fn): Generate the exception spec too.
3264         * search.c (check_final_overrider): Check artificial functions
3265         too.
3266         * typeck2.c (merge_exception_specifiers): New function.
3267
3268 2001-01-03  Jason Merrill  <jason@redhat.com>
3269
3270         * init.c (build_default_init): New fn.
3271         (perform_member_init): Split out from here.
3272         (build_new_1): Use it.  Simplify initialization logic.
3273         (build_vec_init): Take an array, rather than a pointer and maxindex.
3274         Speed up simple initializations.  Don't clean up if we're assigning.
3275         * cp-tree.h: Adjust.
3276         * decl2.c (do_static_initialization): Remove TREE_VEC case.
3277         * parse.y (new_initializer): Return void_zero_node for ().
3278         * typeck.c (build_modify_expr): Handle getting a CONSTRUCTOR.
3279         * typeck2.c (digest_init): Only complain about user-written
3280         CONSTRUCTORs.
3281
3282 2000-12-22  Mike Stump  <mrs@wrs.com>
3283
3284         * decl2.c: (max_tinst_depth): Increase to 50.
3285
3286 2001-01-02  Mark Mitchell  <mark@codesourcery.com>
3287
3288         * class.c (invalidate_class_lookup_cache): Zero the
3289         previous_class_values.
3290         * cp-tree.h (TMPL_PARMS_DEPTH): Use TREE_INT_CST_LOW, not
3291         TREE_INT_CST_HIGH.
3292         (CLASSTYPE_TEMPLATE_LEVEL): Likewise.
3293         * decl.c (free_bindings): New variable.
3294         (push_binding): Don't create a new binding if we have one on the
3295         free list.
3296         (pop_binding): Put old bindings on the free list.
3297         (init_decl_processing): Use size_int, not build_int_2.
3298         Register free_bindings as a GC root.
3299         (cp_make_fname_decl): Use size_int, not build_int_2.
3300         (push_inline_template_parms_recursive): Likewise.
3301         (end_template_parm_list): Likewise.
3302         (for_each_tempalte_parm): Do not use walk_tree_without_duplicates.
3303         (tsubst_template_parms): Use size_int, not build_int_2.
3304         (tsubst): Likewise.
3305         * rtti.c (get_vmi_pseudo_type_info): Likewise.
3306
3307 2001-01-02  Richard Henderson  <rth@redhat.com>
3308
3309         * parse.y (asm): Set ASM_INPUT_P.
3310
3311 2001-01-02  Jason Merrill  <jason@redhat.com>
3312
3313         * tree.c (cp_valid_lang_attribute): Don't set CLASSTYPE_COM_INTERFACE
3314         for v3 ABI.
3315
3316         * typeck.c (cp_truthvalue_conversion): New fn.
3317         * cvt.c (ocp_convert): Use it.
3318
3319         * cp-tree.h: Lose c-common.c decls.
3320
3321         * typeck.c (build_unary_op): Restore old &a.f diagnostic code.
3322         * cvt.c (convert_to_void): Use type_unknown_p.
3323
3324         * typeck.c (strip_all_pointer_quals): Also strip quals from
3325         pointer-to-member types.
3326
3327         * Make-lang.in (cp/TAGS): Use --no-globals.  Ignore parse.c, and treat
3328         parse.y as C.
3329
3330         * call.c (build_new_method_call): Do evaluate the object parameter
3331         when accessing a static member.
3332         * typeck.c (build_component_ref): Likewise.
3333
3334 2001-01-02  Andreas Jaeger  <aj@suse.de>
3335
3336         * decl.c (cp_missing_noreturn_ok_p): New.
3337         (init_decl_processing): Set lang_missing_noreturn_ok_p.
3338
3339 2000-12-29  Jakub Jelinek  <jakub@redhat.com>
3340
3341         * decl.c (init_decl_processing): Fix sign of wchar_type_node.
3342
3343 2000-12-29  Mark Mitchell  <mark@codesourcery.com>
3344
3345         * class.c (pushclass): Remove #if 0'd code.
3346         * cp-tree.h (overload_template_name): Remove.
3347         * decl.c (store_bindings): Simplify.
3348         (pop_from_top_level): Likewise.
3349         * pt.c (overload_template_name): Remove.
3350         (instantiate_decl): Don't call push_to_top_level if it's not
3351         needed.
3352
3353 2000-12-28  Mark Mitchell  <mark@codesourcery.com>
3354
3355         * pt.c (register_local_specialization): Don't return a value.
3356         (lookup_template_class): Use move-to-front heuristic when looking
3357         up template instantiations.
3358         (instantiate_decl): Only push_to_top_level when we're actually
3359         going to instantiate the template.
3360
3361 2000-12-29  Hans-Peter Nilsson  <hp@bitrange.com>
3362
3363         * search.c (binfo_for_vtable): Return least derived class, not
3364         most.  Handle secondary vtables.
3365
3366 2000-12-22  Jason Merrill  <jason@redhat.com>
3367
3368         * pt.c (more_specialized): Don't optimize len==0.
3369         (fn_type_unification): If we're adding the return type, increase len.
3370
3371         * typeck.c (build_binary_op): Fix pmf comparison logic.
3372
3373         * call.c (joust): Use DECL_NONSTATIC_MEMBER_FUNCTION_P, not
3374         DECL_STATIC_FUNCTION_P.
3375
3376         * semantics.c (genrtl_finish_function): Don't try to jump to
3377         return_label unless it exists.
3378
3379         In partial ordering for a call, ignore parms for which we don't have
3380         a real argument.
3381         * call.c (joust): Pass len to more_specialized.
3382         (add_template_candidate_real): Strip 'this', pass len.
3383         * pt.c (more_specialized): Pass len down.  Lose explicit_args parm.
3384         (get_bindings_order): New fn.  Pass len down.
3385         (get_bindings_real): Strip 'this', pass len.
3386         (fn_type_unification): Likewise.
3387         (type_unification_real): Succeed after checking 'len' args.
3388         (most_specialized_instantiation): Lose explicit_args parm.
3389         * class.c (resolve_address_of_overloaded_function): Strip 'this',
3390         pass len.
3391
3392 2000-12-21  Jason Merrill  <jason@redhat.com>
3393
3394         * pt.c (tsubst_decl): A FUNCTION_DECL has DECL_RESULT, not
3395         DECL_TEMPLATE_RESULT.
3396
3397         * search.c (lookup_field_r): Call lookup_fnfields_1, not
3398         lookup_fnfields_here.
3399
3400         * parse.y (typename_sub2): Return the TYPE_DECL, not the type.
3401
3402         * call.c (build_object_call): Also allow conversions that return
3403         reference to pointer to function.
3404         (add_conv_candidate): Handle totype being ref to ptr to fn.
3405         (build_field_call): Also allow members of type reference to function.
3406         Lose support for calling pointer to METHOD_TYPE fields.
3407
3408         * error.c (dump_expr): Handle *_CAST_EXPR.
3409
3410         * typeck2.c (build_scoped_ref): Always convert to the naming class.
3411
3412         * tree.c (break_out_cleanups): Lose.
3413         * cp-tree.h: Remove prototype.
3414         * typeck.c (build_component_ref): Don't break_out_cleanups.
3415         (build_compound_expr): Likewise.
3416         * semantics.c (finish_expr_stmt): Likewise.
3417
3418 2000-12-20  Richard Henderson  <rth@redhat.com>
3419
3420         * cp-tree.h: Update declarations.
3421         * decl.c (finish_case_label): Return the new stmt node.
3422         * semantics.c (finish_goto_stmt): Likewise.
3423         (finish_expr_stmt, finish_return_stmt): Likewise.
3424         (finish_break_stmt, finish_continue_stmt): Likewise.
3425         (finish_asm_stmt): Likewise.
3426         * parse.y (already_scoped_stmt): Set STMT_LINENO.
3427         (compstmt, implicitly_scoped_stmt, stmt): Likewise.
3428         (simple_if, simple_stmt): Return the new stmt node.
3429         (save_lineno): New.
3430
3431 2000-12-18  Joseph S. Myers  <jsm28@cam.ac.uk>
3432
3433         * cp-tree.h: Don't declare warn_long_long.
3434
3435 2000-12-15  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3436
3437         * tree.c (no_linkage_helper): Use CLASS_TYPE_P instead of
3438         IS_AGGR_TYPE.
3439
3440 2000-12-15  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3441
3442         * pt.c (unify): Handle when both ARG and PARM are
3443         BOUND_TEMPLATE_TEMPLATE_PARM.
3444
3445 2000-12-15  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3446
3447         * pt.c (reduce_template_parm_level): Set DECL_ARTIFICIAL and
3448         DECL_TEMPLATE_PARM_P.
3449
3450 2000-12-15  Jason Merrill  <jason@redhat.com>
3451
3452         * init.c (build_new_1): Reorganize.  Now with 100% fewer SAVE_EXPRs!
3453
3454         * init.c (build_new_1): Don't strip quals from type.
3455
3456         * decl.c (pushdecl): Don't check for linkage on a non-decl.
3457
3458