1 2003-12-30 Nathan Sidwell <nathan@codesourcery.com>
4 * decl.c (duplicate_decls): Use build_type_attribute_variant to
8 * tree.c (build_cplus_array_type_1): Only build a minimal array
9 type for dependent types or domains.
11 2003-12-29 Nathan Sidwell <nathan@codesourcery.com>
14 * typeck.c (comp_array_types): Fold non-dependent domains for
17 2003-12-29 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
20 * semantics.c (finish_id_expression): Only check if the type of
21 a template argument is integral or enumeration when it is not
24 2003-12-29 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
27 * parser.c (cp_parser_template_declaration_after_export): Set up
28 template specialization scope in case of explicit specialization.
30 2003-12-28 Mark Mitchell <mark@codesourcery.com>
33 * decl.c (duplicate_decls): Preserve inline-ness when redeclaring
37 * decl.c (reshape_init): Reject GNU colon-style designated
38 initializers in arrays.
41 * call.c (build_special_member_call): Do not assume that we have a
42 pointer to the complete object in an assignment operator.
44 2003-12-28 Roger Sayle <roger@eyesopen.com>
47 * decl.c (duplicate_decls): When setting the type of an anticipated
48 declaration, merge the existing type attributes.
50 2003-12-25 Andrew Pinski <pinskia@physics.uc.edu>
52 PR c++/13268, c++/13339
53 * class.c (add_method): Return early when method is error_mark_node.
54 * pt.c (tsubst_friend_function): Return early when new_friend is
57 2003-12-23 Mark Mitchell <mark@codesourcery.com>
59 * cp-lang.c (cp_expr_size): Return zero for empty classes.
61 * cp-tree.h (warn_if_uknown_interface): Remove unused function.
62 * decl2.c (warn_if_unknown_interface): Likewise.
64 2003-12-23 Nathan Sidwell <nathan@codesourcery.com>
67 * cp-lang.c (cxx_get_alias_set): Correct logic for a base type.
69 2003-12-22 Mark Mitchell <mark@codesourcery.com>
71 * decl.c (start_function): Do not check
72 flag_alt_external_templates or flag_external_templates.
73 * decl2.c (warn_if_unknown_interface): Likewise.
74 * lex.c (extract_interface_info): Likewise.
75 * pt.c (lookup_template_class): Likewise.
78 * name-lookup.c (pushdecl): Look up all namespace-scope entities
79 in their corresponding namespace.
82 * typeck.c (finish_class_member_access_expr): Don't tree
83 IDENTIFIER_NODEs as non-dependent expressions.
85 2003-12-22 Andrew Pinski <pinskia@physics.uc.edu>
88 * tree.c (cp_start_inlining): Remove.
89 (cp_end_inlining): Remove.
90 * cp-lang.c (LANG_HOOKS_TREE_INLINING_START_INLINING): Do not define.
91 (LANG_HOOKS_TREE_INLINING_END_INLINING): Do not define.
92 * cp-tree.h (cp_start_inlining): Do not declare.
93 (cp_end_inlining): Do not declare.
95 2003-12-22 Mark Mitchell <mark@codesourcery.com>
98 * parser.c (cp_parser_declaration_seq_opt): Only issue "extra ;"
99 pedwarn when not in a system header.
101 2003-12-21 Mark Mitchell <mark@codesourcery.com>
103 * cp-tree.h (cp_tree_index): Remove CPTI_RECORD_TYPE,
104 CPTI_UNION_TYPE, CPTI_ENUM_TYPE.
105 (record_type_node): Remove.
106 (union_type_node): Likewise.
107 (enum_type_node): Likewise.
108 * decl.c: Remove mention of above tree nodes in comment.
109 * lex.c (cxx_init): Do not assign to record_type_node,
110 union_type_node, or enum_type_node. Simplify handling of
114 * init.c (sort_mem_initializers): Add warning.
116 2003-12-21 Kazu Hirata <kazu@cs.umass.edu>
118 * call.c: Fix comment formatting.
120 * cp-tree.h: Likewise.
122 * cxx-pretty-print.c: Likewise.
126 * except.c: Likewise.
128 * name-lookup.c: Likewise.
129 * parser.c: Likewise.
132 * semantics.c: Likewise.
133 * typeck.c: Likewise.
134 * typeck2.c: Likewise.
136 2003-12-19 Kazu Hirata <kazu@cs.umass.edu>
138 * cvt.c: Remove uses of "register" specifier in
139 declarations of arguments and local variables.
143 * friend.c: Likewise.
145 * name-lookup.c: Likewise.
147 * search.c: Likewise.
149 * typeck.c: Likewise.
150 * typeck2.c: Likewise.
152 2003-12-19 Mark Mitchell <mark@codesourcery.com>
155 * name-lookup.c (pushdecl): Do not treated any functions as being
158 2003-12-19 Jason Merrill <jason@redhat.com>
161 * typeck.c (build_modify_expr): Stabilize lhs if we're narrowing.
162 * cvt.c (convert_to_void): Don't warn about the RHS of a comma
163 being useless if TREE_NO_UNUSED_WARNING is set.
165 2003-12-18 Richard Henderson <rth@redhat.com>
167 * cp-tree.h (struct lang_type_header): Remove __extension__.
169 2003-12-18 Jason Merrill <jason@redhat.com>
172 * init.c (build_vec_init): Initialization of an element from
173 an initializer list is also a full-expression.
175 * parser.c, pt.c, semantics.c: Rename constant_expression_p
176 to integral_constant_expression_p.
178 2003-12-18 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
181 * pt.c (instantiate_decl): Wrap push_nested_class and
182 pop_nested_class around cp_finish_decl call for static member
185 2003-12-18 Giovanni Bajo <giovannibajo@gcc.gnu.org>
188 * parser.c (cp_parser_template_argument): A type-id followed by '>>'
189 is just an user typo, and should be accepted as last resort if any
191 (cp_parser_enclosed_template_argument_list): If the argument list is
192 parsed correctly, but the next token is '>>', emit a diagnostic.
193 (cp_parser_next_token_ends_template_argument): Accept '>>' as
194 delimiter of template argument, it will be later detected as a typo.
196 2003-12-17 Kelley Cook <kcook@gcc.gnu.org>
198 * Make-lang.in: Replace cp/g++.1 with $(docobjdir)/g++.1.
200 2003-12-17 Mark Mitchell <mark@codesourcery.com>
204 * parser.c (cp_parser_error): Help c_parse_error print good
205 messages if the next token is a keyword.
206 (cp_parser_parameter_declaration_list): When resynchronizing after
207 a bad parameter declaration, stop if a comma is found.
208 (cp_parser_parameter_declaration): Avoid backtracking.
210 2003-12-16 Mark Mitchell <mark@codesourcery.com>
213 * decl.c (reshape_init): Recover quickly from errors.
215 2003-12-16 Nathan Sidwell <nathan@codesourcery.com>
218 C++ ABI change: Mangling array indices in templates.
219 * decl.c (compute_array_index_type): Reorganize for earlier
220 template errors. Use value_dependent_expression_p for abi-2.
221 * mangle.c (write_array_type): Check broken mangling for
222 expression indices on abi-1
224 2003-12-16 Mark Mitchell <mark@codesourcery.com>
227 * decl.c (reshape_init): Recover quickly from errors.
230 * lex.c (reswords): Add "__offsetof" and "__offsetof__".
231 * parser.c (cp_parser): Add in_offsetof_p.
232 (cp_parser_new): Initialize it.
233 (cp_parser_primary_expression): Handle __offsetof__ (...).
234 (cp_parser_postfix_expression): Allow casts to pointer type and
235 uses of "->" in a constant expression if implementing offsetof.
236 (cp_parser_unary_expression): Allow the use of "&" in a constant
237 expression if implementing offsetof.
239 2003-12-16 Giovanni Bajo <giovannibajo@gcc.gnu.org>
242 * name-lookup.c (push_overloaded_decl): always construct an OVERLOAD
243 if the declaration comes from an using declaration.
245 2003-12-16 Giovanni Bajo <giovannibajo@gcc.gnu.org>
247 * semantics.c (finish_id_expression): Refactor the code to handle
248 template parameters, and emit a more informative error message
249 when they are used within an integral constant expression.
251 2003-12-16 Nathan Sidwell <nathan@codesourcery.com>
254 * class.c (finish_struct_1): Compute mode and alias set for
256 * call.c (build_over_call): Use CLASSTYPE_AS_BASE for trivial
257 assignment of a class, as necessary.
258 * cp-lang.c (cxx_get_alias_set): The alias set as a base is the
259 same as for the complete type.
262 C++ ABI change. Mangling template parameters of reference type
263 * mangle.c (write_template_args): Remove unreachable code.
264 (write_template_arg): Look through an argument of reference type.
266 2003-12-16 Giovanni Bajo <giovannibajo@gcc.gnu.org>
269 * name-lookup.c (push_overloaded_decl): always construct an OVERLOAD
270 if the declaration comes from an using declaration.
272 2003-12-15 Mark Mitchell <mark@codesourcery.com>
275 * decl2.c (grokfield): Robustify.
278 * parser.c (cp_parser_throw_expression): Determine whether or not
279 an assignment-expression is present by doing one-token lookahead.
282 * parser.c (cp_parser_function_definition_after_declarator): Stop
283 scanning tokens when reaching EOF.
286 * typeck.c (cxx_sizeof_or_alignof_expr): Robustify.
289 * pt.c (dependent_template_p): Handle OVERLOADs.
291 2003-12-15 Mark Mitchell <mark@codesourcery.com>
295 * parser.c (cp_parser_postfix_expression): Tighten handling of
296 integral constant expressions.
297 (cp_parser_unary_expression): Likewise.
298 * pt.c (value_dependent_expression_p): Remove handling for
301 2003-12-15 Nathan Sidwell <nathan@codesourcery.com>
303 * class.c (add_method): Disallow destructor for java classes.
304 * decl.c (xref_basetypes): Check java class inheritance.
305 * decl2.c (check_java_method): Skip artificial params.
308 C++ ABI change. Mangling of symbols in expressions.
309 * mangle.c (write_mangled_name): Add top_level flag. Rework for
310 nested and unnested mangling. Deal with abi version 1 and version
312 (write_expression): Adjust write_mangled_name call.
313 (mangle_decl_string): Use write_mangled_name for all non-type decls.
315 2003-12-14 Mark Mitchell <mark@codesourcery.com>
319 * parser.c (struct cp_parser): Add in_template_argument_list_p.
320 (cp_parser_error): Use c_parse_error.
321 (cp_parser_name_lookup_error): New function.
322 (cp_parser_new): Initialize it.
323 (cp_parser_declarator): Add parenthesized_p parameter.
324 (cp_parser_nested_name_specifier_opt): Use
325 cp_parser_name_lookup_error.
326 (cp_parser_parenthesized_expression_list): Improve comments.
327 (cp_parser_condition): Adjust call to cp_parser_declarator.
328 (cp_parser_template_parameter): Adjust call to
329 cp_parser_parameter_declaration.
330 (cp_parser_template_argument_list): Set
331 in_template_argument_list_p.
332 (cp_parser_explicit_instantiation): Adjust call to
333 cp_parser_declarator.
334 (cp_parser_simple_type_specifier): Remove unncessary code.
335 (cp_parser_using_declaration): Use cp_parser_name_lookup_error.
336 (cp_parser_init_declarator): Handle member function definitions.
337 (cp_parser_direct_declarator): Adjust call to
338 cp_parser_declarator.
339 (cp_parser_type_id): Adjust call to cp_parser_declarator.
340 (cp_parser_parameter_declaration_list): Avoid backtracking where
342 (cp_parser_parameter_declaration): Add parenthesized_p parameter.
343 (cp_parser_function_definition): Remove.
344 (cp_parser_member_declaration): Do not backtrack to look for
345 function definitions.
346 (cp_parser_exception_declaration): Adjust call to
347 cp_parser_declarator.
348 (cp_parser_single_declaration): Handle function definitions via
349 cp_parser_init_declarator.
350 (cp_parser_save_member_function_body): New function.
352 2003-12-14 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
355 * decl.c (finish_function): Check if return type is dependent before
356 issuing no return statement warning.
358 2003-12-12 Nathan Sidwell <nathan@codesourcery.com>
361 * cp-tree.h (lang_decl_u): Add thunk_alias member.
362 (THUNK_VIRTUAL_OFFSET): Must be a FUNCTION_DECL.
363 (THUNK_ALIAS_P): Remove.
364 (THUNK_ALIAS): Adjust.
365 * class.c (update_vtable_entry_for_fn): Get the vbase within the
366 overriding function's return type.
367 (dump_thunk): Adjust THUNK_ALIAS printing.
368 (build_vtbl_initializer): Adjust THUNK_ALIAS use.
369 * method.c (make_thunk): Revert 12881 test change. Clear
371 (finish_thunk): Adjust THUNK_ALIAS setting.
372 (use_thunk): Adjust THUNK_ALIAS use.
373 * semantics.c (emit_associated_thunks): Likewise.
375 PR c++/13114, c++/13115
376 * class.c (layout_empty_base): Propagate the move of an empty base
380 * method.c (make_thunk): Deal with thunk aliases when searching
381 for a thunk. Robustify assertion.
383 2003-12-11 Nathan Sidwell <nathan@codesourcery.com>
385 * mangle.c (conv_type_names): Holds IDENTIFIER_NODEs only.
386 (hash_type): Use TYPE_UID of the identifier's type.
387 (compare_type): Adjust.
388 (mangle_conv_op_name_for_type): Store identifier nodes only, use
389 TYPE_UID has hash value.
391 2003-12-10 Mark Mitchell <mark@codesourcery.com>
393 * cp-tree.h (DECL_CONV_FN_P): Check that DECL_NAME is non-NULL.
395 2003-12-08 Matt Austern <austern@apple.com>
398 * decl.c (duplicate_decls): Copy visibility flag when appropriate.
400 2003-12-09 Giovanni Bajo <giovannibajo@gcc.gnu.org>
402 * init.c (build_new_1): Deal with an OVERLOAD set when
403 looking up for _Jv_AllocObject.
404 * except.c (build_throw): Likewise for _Jv_Throw.
406 2003-12-08 Jason Merrill <jason@redhat.com>
409 * tree.c (build_local_temp): Split out from build_cplus_new.
410 (force_target_expr): New fn.
411 * call.c (call_builtin_trap): Call it. Take a type parm.
412 (convert_arg_to_ellipsis): Pass it.
413 (build_x_va_arg): Use call_builtin_trap.
416 * call.c (magic_varargs_p): New fn.
417 (build_over_call): Do no ellipsis conversions for arguments to
418 functions with magic varargs.
420 * name-lookup.c, init.c, except.c: Revert Giovanni's patch from
423 Give the anonymous namespace a null DECL_NAME.
424 * cp-tree.h: Don't declare anonymous_namespace_name.
425 * decl.c: Don't define it.
426 * dump.c (cp_dump_tree): Don't check for it.
427 * cxx-pretty-print.c (pp_cxx_original_namespace_definition): Likewise.
428 * error.c (dump_decl): Likewise.
429 * name-lookup.c: Define it here.
430 (push_namespace): Put it in DECL_ASSEMBLER_NAME instead.
431 * mangle.c (write_unqualified_name): Adjust.
433 2003-12-07 Giovanni Bajo <giovannibajo@gcc.gnu.org>
436 * name-lookup.c (push_overloaded_decl): Always construct an
437 OVERLOAD unless the declaration is a built-in.
438 (set_namespace_binding): While binding OVERLOADs with only one
439 declaration, we still need to call supplement_binding.
440 * init.c (build_new_1): Deal with an OVERLOAD set when
441 looking up for _Jv_AllocObject.
442 * except.c (build_throw): Likewise for _Jv_Throw.
444 2003-12-06 Mark Mitchell <mark@codesourcery.com>
447 * class.c (same_signature_p): Handle conversion operators
449 (check_for_override): Likewise.
451 2003-12-06 Kelley Cook <kcook@gcc.gnu.org>
453 * Make-lang.in (GXX_CROSS_NAME, CXX_CROSS_NAME): Delete.
454 (c++.install_common, cp/g++.1, c++.install-man): Adjust for above.
455 (c++.uninstall): Likewise.
457 2003-12-05 Danny Smith <dannysmith@gcc.gnu.org>
458 Mark Mitchell <mark@codesourcery.com>
461 * parser.c (cp_parser_elaborated_type_specifier): Accept
464 2003-12-05 Mark Mitchell <mark@codesourcery.com>
467 * parser.c (cp_parser_class_specifier): Match push_scope/pop_scope
469 (cp_parser_class_head): Likewise.
471 2003-12-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
474 * parser.c (cp_parser_late_parsing_default_args): Make sure the
475 context is a class before calling push_nested_class and
478 2003-12-03 James E Wilson <wilson@specifixinc.com>
480 * g++spec.c (lang_specific_driver): Delete USE_LIBUNWIND_EXCEPTIONS
483 2003-12-03 Mark Mitchell <mark@codesourcery.com>
486 * cp-tree.h (at_namespace_scope_p): New function.
487 * parser.c (cp_parser_class_head): Handle invalid explicit
489 * search.c (at_namespace_scope_p): New function.
492 * semantics.c (finish_handler_parms): Do not call eh_type_info for
493 types used in templates.
496 * parser.c (cp_parser_check_for_invalid_template_id): New
498 (cp_parser_simple_type_specifier): Use it.
499 (cp_parser_elaborated_type_specifier): Likewise.
500 (cp_parser_class_head): Likewise.
502 2003-12-02 Giovanni Bajo <giovannibajo@gcc.gnu.org>
505 * pt.c (convert_nontype_argument): Handle default conversions
506 while converting a pointer to member function.
508 2003-12-02 Giovanni Bajo <giovannibajo@gcc.gnu.org>
511 * pt.c (value_dependent_expression_p): Handle COMPONENT_REFs by
512 looking into them recursively.
514 2003-12-02 Richard Henderson <rth@redhat.com>
516 * name-lookup.h (struct cp_binding_level): Use ENUM_BITFIELD.
517 * parser.c (struct cp_token): Likewise.
518 (struct cp_parser_token_tree_map_node): Likewise.
519 * lex.c (struct resword): Move const after ENUM_BITFIELD.
521 2003-11-30 Mark Mitchell <mark@codesourcery.com>
524 * parser.c (cp_lexer_prev_token): New function.
525 (cp_parser_skip_to_closing_parenthesis): Add consume_paren
527 (cp_parser_nested_name_specifier_opt): Add is_declaration
529 (cp_parser_nested_name_specifier): Likewise.
530 (cp_parser_class_or_namespace_name): Likewise.
531 (cp_parser_class_name): Likewise.
532 (cp_parser_template_id): Likewise.
533 (cp_parser_template_name): Likewise.
534 (cp_parser_id_expression): Adjust calls to
535 cp_parser_nested_name_specifier_op, cp_parser_template_id,
536 cp_parser_class_name.
537 (cp_parser_unqualified_id): Likewise.
538 (cp_parser_postfix_expression): Likewise.
539 (cp_parser_pseudo_destructor_name): Likewise.
540 (cp_parser_cast_expression): Likewise.
541 (cp_parser_mem_initializer_id): Likewise.
542 (cp_parser_simple_type_specifier): Likewise.
543 (cp_parser_type_name): Likewise.
544 (cp_parser_elaborated_type_specifier): Likewise.
545 (cp_parser_qualified_namespace_specifier): Likewise.
546 (cp_parser_using_declaration): Likewise.
547 (cp_parser_using_directive): Likewise.
548 (cp_parser_ptr_operator): Likewise.
549 (cp_parser_declarator_id): Likewise.
550 (cp_parser_class_head): Likewise.
551 (cp_parser_base_specifier): Likewise.
552 (cp_parser_constructor_declarator_p): Likewise.
553 (cp_parser_direct_declarator): Fix typo in comment.
554 (cp_parser_parenthesized_expression_list): Adjust call to
555 cp_parser_skip_to_closing_parenthesis.
556 (cp_parser_selection_statement): Likewise.
558 2003-11-23 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
561 * typeck.c (finish_class_member_access_expr): Handle TEMPLATE_ID_EXPR
562 with OVERLOAD and DECL nodes as the first operand.
564 2003-11-22 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
566 * pt.c (tsubst) <ARRAY_REF>: Remove erroneous argument to build_nt.
568 2003-11-22 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
571 * friend.c (is_friend): Handle member function of a class
572 template as template friend.
573 (do_friend): Likewise.
574 * decl2.c (check_classfn): Add template_header_p parameter.
575 * decl.c (start_decl): Adjust check_classfn call.
576 (grokfndecl): Likewise.
577 * pt.c (is_specialization_of_friend): New function.
578 (uses_template_parms_level): Likewise.
579 (push_template_decl_real): Use uses_template_parms_level.
580 (tsubst_friend_function): Adjust check_classfn call.
581 * cp-tree.h (check_classfn): Adjust declaration.
582 (uses_template_parms_level): Add declaration.
583 (is_specialization_of_friend): Likewise.
585 2003-11-21 Mark Mitchell <mark@codesourcery.com>
588 * pt.c (build_non_dependent_expr): Handle GNU extension to ?:
591 2003-11-21 Jan Hubicka <jh@suse.cz>
593 * parser.c (cp_parser_postfix_expression): Initialize 's' to
596 2003-11-20 Joseph S. Myers <jsm@polyomino.org.uk>
598 * Make-lang.in (c++.extraclean): Delete.
600 2003-11-20 Joseph S. Myers <jsm@polyomino.org.uk>
602 * Make-lang.in (check-g++, lang_checks): Add.
604 2003-11-18 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
607 * class.c (currently_open_derived_class): Check if
608 current_class_type is NULL_TREE.
609 * semantics.c (finish_call_expr): Check if
610 currently_open_derived_class returns NULL_TREE.
611 * cp-tree.h (DERIVED_FROM_P): Add parenthesis around PARENT
614 2003-11-17 Jason Merrill <jason@redhat.com>
616 * init.c (build_new_1): Preevaluate placement args.
617 * call.c (build_op_delete_call): Don't expose placement args to
620 2003-11-16 Jason Merrill <jason@redhat.com>
622 * Make-lang.in (c++.tags): Create TAGS.sub files in each directory
623 and TAGS files that include them for each front end.
625 2003-11-15 Bernardo Innocenti <bernie@develer.com>
628 * name-lookup.c: Revert previous patch for PR c++/2294 to prevent
629 build failure on libjava.
631 2003-11-14 Giovanni Bajo <giovannibajo@libero.it>
634 * name-lookup.c (push_overloaded_decl): Always construct an OVERLOAD
635 unless the declaration is a built-in.
636 (set_namespace_binding): While binding OVERLOADs with only one
637 declaration, we still need to call supplement_binding.
639 2003-11-14 Mark Mitchell <mark@codesourcery.com>
642 * parser.c (cp_parser_enclosed_template_argument_list): New
644 (cp_parser_template_id): Use it.
645 (cp_parser_simple_type_specifier): Recognize invalid template
648 2003-11-14 Giovanni Bajo <giovannibajo@libero.it>
651 * pt.c (unify): Add support for PTRMEM_CST and
652 FIELD_DECL unification.
654 2003-11-13 Richard Earnshaw <rearnsha@arm.com>
656 * decl.c (grokfndecl): Change OK to type tree.
658 2003-11-12 Mark Mitchell <mark@codesourcery.com>
660 * tree.c (build_target_expr_with_type): Treate VA_ARG_EXPR like
663 * decl.c (cp_make_fname_decl): When creating a top-level
664 __FUNCTION__-like symbol, do register it with pushdecl.
666 * decl.c (finish_case_label): Do not check that we are within a
667 switch statement here.
668 * parser.c (struct cp_parser): Add in_iteration_statement_p and
669 in_switch_statement_p.
670 (cp_parser_new): Initialize them.
671 (cp_parser_labeled_statement): Check validity of case labels
673 (cp_parser_selection_statement): Set in_switch_statement_p.
674 (cp_parser_iteration_statement): Set in_iteration_statement_p.
675 (cp_parser_jump_statement): Check validity of break/continue
679 * cp-tree.h (duplicate_decls): Return a tree.
680 * decl.c (duplicate_decls): Clarify documentation. Return
681 error_mark_node to indicate a failed redeclaration.
682 * friend.c (do_friend): Handle that case.
683 * name-lookup.c (pushdecl): Likewise.
685 2003-11-11 Jason Merrill <jason@redhat.com>
687 * cp-tree.h (DECL_NAMESPACE_ASSOCIATIONS): New macro.
688 * name-lookup.c (parse_using_directive): New fn.
689 (is_associated_namespace): New fn.
690 (arg_assoc_namespace): Also check associated namespaces.
691 * name-lookup.h: Declare new fns.
692 * pt.c (maybe_process_partial_specialization): Allow
693 specialization in associated namespace.
694 * parser.c (cp_parser_using_directive): Accept attributes. Use
695 parse_using_directive.
697 2003-11-10 Richard Henderson <rth@redhat.com>
699 * cvt.c (convert_to_void): Use void_zero_node after overload failure.
701 2003-11-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
704 * name-lookup.c (supplement_binding): Gracefully handle names
705 used at non-class scope prior declaration.
707 2003-11-06 Matt Austern <austern@apple.com>
709 * decl.c (duplicate_decls): copy DECL_VISIBILITY field.
710 * method.c (use_thunk): give thunk same visibility as function.
711 * optimize.c (maybe_clone_body): copy DECL_VISIBILITY field.
713 2003-11-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
716 * pt.c (instantiate_pending_templates): Save and restore
719 2003-11-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
722 * friend.c (add_friend): Don't display previous declaration in
723 case of duplicate friend warning.
725 2003-11-02 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
728 * call.c (build_over_call): Check access using primary template
729 if FN is a member function template.
731 2003-11-01 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
734 * class.c (handle_using_decl): Set input_location before calling
737 2003-10-26 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
740 * semantics.c (finish_non_static_data_member): Handle when
741 both processing_template_decl and qualifying_scope are true.
743 2003-10-24 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
746 * class.c (handle_using_decl): Swap arguments of error_not_base_type.
747 * parser.c (cp_parser_direct_declarator): Only resolve typename for
748 namespace scope declarations.
750 2003-10-24 Nathan Sidwell <nathan@codesourcery.com>
752 PR c++/12698, c++/12699, c++/12700, c++/12566
753 * cp-tree.h (THUNK_ALIAS_P, THUNK_ALIAS): New.
754 (debug_class, debug_thunks): New.
755 * class.c (dump_class_hierarchy_1): New break out from ...
756 (dump_class_hierarchy): ... here.
757 (dump_thunk, debug_thunks, debug_class): New.
758 (update_vtable_entry_for_fn): Add ssizetype casts. Correct
759 continued search for primary binfo via virtual.
760 (build_vtbl_initializer): Follow covariant thunk alias.
761 * method.c (make_thunk): Clear DECL_THUNKS of the thunk.
762 (finish_thunk): Look for an alias of the covariant thunk and point
764 (use_thunk): We should never use an alias.
765 * semantics.c (emit_associated_thunks): Do not emit aliases.
768 * cp-tree.h (cp_fname_init): Add TYPE pointer param.
769 * decl.c (cp_fname_init): Add TYPE pointer param. Set it. Don't
770 create an ad-hoc ERROR_MARK.
771 (cp_make_fname_decl): Adjust.
772 * pt.c (tsubst_expr): Adjust.
774 2003-10-23 Jason Merrill <jason@redhat.com>
777 * tree.c (build_target_expr_with_type): Don't call force_rvalue
780 2003-10-22 Kazu Hirata <kazu@cs.umass.edu>
782 * call.c: Fix comment formatting.
784 * cxx-pretty-print.c: Likewise.
786 * parser.c: Likewise.
788 * semantics.c: Likewise.
790 * typeck.c: Likewise.
791 * typeck2.c: Likewise.
793 2003-10-21 Mark Mitchell <mark@codesourcery.com>
796 * typeck.c (build_x_conditional_expr): Handle missing middle
797 operands in templates.
798 * mangle.c (write_expression): Issue errors about attempts to
799 mangle a non-existant middle operator to the ?: operator.
801 2003-10-21 Robert Bowdidge <bowdidge@apple.com>
803 * decl.c (cp_finish_decl): Remove clause intended for asm directives
804 in struct or class fields: this code is never executed.
806 2003-10-22 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
808 * decl.c (start_decl): Exit if push_template_decl returns
811 2003-10-20 Kazu Hirata <kazu@cs.umass.edu>
813 * ChangeLog: Fix typos.
814 * call.c: Fix comment typos.
816 * cp-tree.h: Likewise.
818 * cxx-pretty-print.c: Likewise.
822 * mangle.c: Likewise.
823 * name-lookup.c: Likewise.
824 * parser.c: Likewise.
825 * search.c: Likewise.
826 * semantics.c: Likewise.
828 * typeck.c: Likewise.
830 2003-10-20 Jan Hubicka <jh@suse.cz>
832 * decl.c (start_cleanup_fn): Set DECL_DECLARED_INLINE_P to deffer
835 2003-10-20 Mark Mitchell <mark@codesourcery.com>
837 * Make-lang.in (c++.install-info): Remove.
839 2003-10-20 Jason Merrill <jason@redhat.com>
841 * class.c (layout_class_type): Set DECL_ARTIFICIAL on padding
844 2003-10-20 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
846 PR c++/9781, c++/10583, c++/11862
847 * decl.c (cp_finish_decl): Exit immediately if decl is an
849 * pt.c (push_template_decl_real): Return error_mark_node for
850 invalid template declaration of variable.
852 2003-10-18 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
855 * pt.c (lookup_template_class): Handle when current_class_type
858 2003-10-17 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
861 * decl.c (make_typename_type): Use dependent_type_p.
862 (make_unbound_class_template): Likewise.
863 * pt.c (instantiate_class_template): Increment
864 processing_template_decl during substitution of template friend
865 function. Preincrement processing_template_decl rather than
867 (get_mostly_instantiated_function_type): Increment
868 processing_template_decl during partial substitution of function
871 2003-10-15 Jan Hubicka <jh@suse.cz>
874 * decl2.c (cxx_callgraph_analyze_expr): Deal with baselink.
876 2003-10-14 Jason Merrill <jason@redhat.com>
879 * tree.c (build_target_expr_with_type): Call force_rvalue for
880 classes with non-trivial copy ctors.
883 * typeck.c (build_modify_expr): Call convert rather than abort.
885 2003-10-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
887 Breack out decl.c (3/n)
888 * name-lookup.c: Include flags.h
889 (lookup_name_current_level): Make static.
890 (add_decl_to_level): Likewise.
891 (push_local_binding): Likewise.
892 (push_overloaded_decl): Likewise.
893 (lookup_using_namespace): Likewise.
894 (qualified_lookup_using_namespace): Likewise.
895 (lookup_type_current_level): Likewise.
896 (unqualified_namespace_lookup): Likewise.
897 (namespace_ancestor): Likewise.
898 (push_using_directive): Likewise.
899 * decl.c (pushdecl): Move to name-lookup.c.
900 (pushdecl_top_level_1): Likewise.
901 (pushdecl_top_level): Likewise.
902 (pushdecl_top_level_and_finish): Likewise.
903 (maybe_push_decl): Likewise.
904 (push_using_decl): Likewise.
905 (push_overloaded_decl): Likewise.
906 (make_anon_name): Likewise.
907 (anon_cnt): Likewise.
908 (clear_anon_tags): Likewise.
909 (maybe_inject_for_scope_var): Likewise.
910 (check_for_out_of_scope_variable): Likewise.
911 * Make-lang.in (cp/name-lookup.o): Depend on flags.h.
912 * decl.c (warn_extern_redeclared_static): Export.
913 * cp-tree.h (warn_extern_redeclared_static): Declare.
915 2003-10-14 Nathanael Nerode <neroden@gcc.gnu.org>
917 * Make-lang.in: Replace uses of $(target_alias) with
918 $(target_noncanonical).
920 2003-10-13 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
922 * ChangeLog: Add PR number to patch for PR c++/12370.
924 2003-10-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
926 * name-lookup.h (cxx_scope_find_binding_for_name): Don't export.
927 (binding_for_name): Likewise.
928 (cxx_binding_clear): Move to name-lookup.c.
929 * name-lookup.c (cxx_scope_find_binding_for_name): Now static.
930 (binding_for_name): Likewise.
931 * decl2.c (is_ancestor): Move to name-lookup.c
932 (namespace_ancestor): Likewise.
933 (add_using_namespace): Likewise.
934 (ambiguous_decl): Likewise.
935 (lookup_using_namespace): Likewise.
936 (qualified_lookup_using_namespace): Likewise.
937 (set_decl_namespace): Likewise.
938 (decl_namespace): Likewise.
939 (current_decl_namespace): Likewise.
940 (push_decl_namespace): Likewise.
941 (pop_decl_namespace): Likewise.
942 (push_scope): Likewise.
943 (pop_scope): Likewise.
944 (struct arg_lookup): Likewise.
945 (arg_assoc): Likewise.
946 (arg_assoc_args): Likewise.
947 (arg_assoc_type): Likewise.
948 (add_function): Likewise.
949 (arg_assoc_namespace): Likewise.
950 (arg_assoc_class): Likewise.
951 (arg_assoc_template_arg): Likewise.
952 (do_namespace_alias): Likewise.
953 (validate_nonmember_using_decl): Likewise.
954 (do_nonmember_using_decl): Likewise.
955 (do_toplevel_using_decl): Likewise.
956 (do_local_using_decl): Likewise.
957 (do_class_using_decl): Likewise.
958 (do_using_directive): Likewise.
959 (constructor_name_full): Likewise.
960 (constructor_name): Likewise.
961 (constructor_name_p): Likewise.
963 2003-10-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
965 Break out decl.c (2/n)
966 * name-lookup.c: Include diagnostic.h
967 (cxx_binding_free): Make static.
968 (cxx_binding_make): Likewise.
969 (binding_table_new): Likewise
970 (binding_table_free): Likewise.
971 (binding_table_insert): Likewise.
972 (binding_table_find_anon_type): Likewise.
973 (binding_table_reverse_maybe_remap): Likewise.
974 (supplement_binding): Likewise.
975 * name-lookup.h (global_scope_name): Declare extern.
976 (global_type_node): Likewise.
977 (cxx_binding_free): Don't export.
978 (cxx_binding_make): Likewise.
979 (binding_table_new): Likewise.
980 (binding_table_free): Likewise.
981 (binding_table_insert): Likewise.
982 (binding_table_find_anon_type): Likewise.
983 (binding_table_reverse_maybe_remap): Likewise.
984 * Make-lang.in (cp/name-lookup.o): Depend on $(DIAGNOSTIC_H)
985 * decl.c (lookup_namespace_name): Move to name-lookup.c
986 (select_decl): Likewise.
987 (unqualified_namespace_lookup): Likewise.
988 (lookup_qualified_name): Likewise.
989 (lookup_name_real): Likewise.
990 (lookup_name_nonclass): Likewise.
991 (lookup_function_nonclass): Likewise.
992 (lookup_name): Likewise.
993 (lookup_name_current_level): Likewise.
994 (lookup_type_current_level): Likewise.
995 (lookup_flags): Likewise.
996 (qualify_lookup): Likewise.
997 (lookup_tag): Likewise.
998 (lookup_tag_reverse): Likewise.
999 (getdecls): Likewise.
1000 (storedecls): Remove.
1001 (cxx_remember_type_decls): Move to name-lookup.c.
1002 (global_bindings_p): Likewise.
1003 (innermost_nonclass_level): Likewise.
1004 (toplevel_bindings_p): Likewise.
1005 (namespace_bindings_p): Likewise.
1006 (kept_level_p): Likewise.
1007 (innermost_scope_kind): Likewise.
1008 (template_parm_scope_p): Likewise.
1009 (push_binding): Likewise.
1010 (push_local_binding): Likewise.
1011 (add_decl_to_level): Likewise. Make extern.
1012 (push_class_binding): Move to name-lookup.c.
1013 (resume_level): Likewise. Rename to resume_scope.
1014 (begin_scope): Move to name-lookup.c.
1016 (binding_depth): Likewise.
1017 (is_class_level): Likewise.
1018 (cxx_scope_descriptor): Likewise.
1019 (cxx_scope_debug): Likewise.
1020 (namespace_scope_ht_size): Likewise.
1021 (leave_scope): Likewise.
1022 (pushlevel_class): Likewise.
1023 (poplevel_class): Likewise.
1024 (clear_identifier_class_values): Likewise.
1025 (pushdecl_with_scope): Likewise.
1026 (pushdecl_namespace_level): Likewise.
1027 (pushdecl_class_level): Likewise.
1028 (push_class_level_binding): Likewise.
1029 (push_using_directive): Likewise.
1030 (identifier_global_value): Likewise.
1031 (keep_next_level_flag): Likewise.
1032 (keep_next_level): Likewise.
1033 (free_binding_level): Likewise.
1034 (set_class_shadows): Likewise.
1035 (maybe_push_cleanup_level): Likewise.
1036 (cp_namespace_decls): Likewise.
1037 (bt_print_entry): Likewise.
1038 (print_binding_level): Likewise.
1039 (print_other_binding_stack): Likewise.
1040 (print_binding_stack): Likewise.
1041 (push_namespace): Likewise.
1042 (pop_namespace): Likewise.
1043 (push_nested_namespace): Likewise.
1044 (pop_nested_namespace): Likewise.
1045 (cxx_saved_binding_make): Likewise.
1046 (struct cxx_saved_binding_make): Likewise.
1047 (store_bindings): Likewise.
1048 (maybe_push_to_top_level): Likewise.
1049 (push_to_top_level): Likewise.
1050 (pop_from_top_level): Likewise.
1051 (identifier_type_value): Likewise.
1052 (set_identifier_type_value): Likewise.
1053 (set_identifier_type_value_with_scope): Likewise.
1054 (pop_everything): Likewise.
1055 (pushtag): Likewise.
1056 (follow_tag_typedef): Likewise.
1057 (maybe_process_template_type_declaration): Likewise.
1058 (pop_binding): Likewise.
1059 * cp-tree.h: Move corresponding declarations to name-lookup.h
1061 2003-10-12 Steven Bosscher <steven@gcc.gnu.org>
1063 * cvt.c (ocp_convert): Move warning to C common code.
1065 2003-10-09 Jason Merrill <jason@redhat.com>
1068 * tree.c (build_cplus_array_type): Handle all quals the same.
1069 (cp_build_qualified_type_real): Look through arrays first.
1071 * tree.c (build_cplus_new): Use build_decl to create a VAR_DECL.
1072 (build_target_expr_with_type): Likewise.
1074 * pt.c (instantiate_class_template): Sanity check that our
1075 enclosing class has been instantiated.
1077 2003-10-08 Giovanni Bajo <giovannibajo@libero.it>
1079 * cp_tree.h: Added TFF_NO_FUNCTION_ARGUMENTS.
1080 * error.c (dump_function_decl): Use it to skip the dump of the
1082 (dump_expr): When dumping a declaration found within an
1083 expression, always set TFF_NO_FUNCTION_ARGUMENTS
1086 2003-10-08 Giovanni Bajo <giovannibajo@libero.it>
1089 * pt.c (tsubst_decl): Substitute also the DECL_NAME node of
1092 2003-10-06 Mark Mitchell <mark@codesourcery.com>
1095 * call.c (initialize_reference): Tweak error message.
1096 * cxx-pretty-print.h (cxx_pretty_printer_flags): Remove
1097 pp_cxx_flag_qualified_id and pp_cxx_flag_global_scope.
1098 * cxx-pretty-print.c (pp_cxx_id_expression): Always display
1099 qualified entities using qualified names.
1102 * init.c (build_new_1): Make sure that the expression returned is
1105 PR c++/12344, c++/12236, c++/8656
1106 * decl.c (start_function): Do not ignore attributes embedded in a
1107 function declarator.
1109 2003-10-06 Mark Mitchell <mark@codesourcery.com>
1111 * Make-lang.in (c++.info): Remove.
1113 (c++.generated-manpages): Replace with ...
1114 (generated-manpages): ... this.
1116 2003-10-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
1118 * decl.c (struct cp_binding_level): Move to name-lookup.h
1119 (current_binding_level): Likewise.
1120 (class_binding_level): Likewise.
1121 * cp-tree.h (enum scope_kind): Likewise.
1123 2003-10-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
1125 * name-lookup.c (binding_entry_free): Nullify name and type
1128 2003-10-02 Mark Mitchell <mark@codesourcery.com>
1131 * typeck.c (finish_class_member_access_expr): Issue diagnostic
1132 on erroneous use of qualified name.
1134 2003-09-30 Richard Henderson <rth@redhat.com>
1137 * decl.c (duplicate_decls): Copy DECL_SAVED_INSNS too.
1139 2003-09-30 Kelley Cook <kelleycoook@wideopenwest.com>
1141 * g++spec.c: Convert to ISO C90 prototypes.
1142 * parser.c: Likewise.
1144 2003-09-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
1146 * decl.c (pop_binding): Don't mess with nullifying binding->scope
1148 * name-lookup.c: Re-format.
1149 (cxx_binding_free): Nullify binding->scope.
1151 2003-09-29 Jan Hubicka <jh@suse.cz>
1154 * except.c (build_eh_type_type): Call mark_used on the type.
1156 2003-09-28 Richard Henderson <rth@redhat.com>
1158 * typeck.c (c_expand_asm_operands): Take location_t, instead of
1159 individual file and line.
1161 2003-09-28 Andreas Jaeger <aj@suse.de>
1163 * decl.c (cxx_builtin_type_decls): Convert to ISO C90 function
1165 * init.c (push_base_cleanups): Likewise.
1166 * decl2.c (finish_file): Likewise.
1167 * mangle.c (init_mangle): Likewise.
1168 (dump_substitution_candidates): Likewise.
1169 * search.c: Likewise.
1171 2003-09-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
1173 * name-lookup.h (get_global_value_if_present): New function.
1174 (is_typename_at_global_scope): Likewise.
1175 * except.c (do_begin_catch): Use get_global_value_if_present.
1176 (do_end_catch): Likewise.
1177 (do_allocate_exception): Likewise.
1178 (do_free_exception): Likewise.
1179 (build_throw): Likewise.
1180 * parser.c (cp_parser_member_declaration): Likewise.
1181 * rtti.c (throw_bad_cast): Likewise.
1182 (throw_bad_typeid): Likewise.
1183 * decl.c (check_tag_decl): Use is_typename_at_global_scope.
1184 (grokdeclarator): Likewise.
1185 * cp-tree.h (global_namespace): Move to name-lookup.h
1186 * call.c (call_builtin_trap): Tidy.
1188 2003-09-27 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1191 * parser.c (cp_parser_nested_name_specifier_opt): Issue correct
1192 error message when parser->scope is global_namespace.
1194 2003-09-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
1196 * cp-tree.h, name-lookup.h, decl.c, decl2.c: Remove reference to
1197 macros BINDING_SCOPE, BINDING_VALUE and BINDING_TYPE.
1199 2003-09-26 Gabriel Dos Reis <gdr@integrable-solutions.net>
1201 * decl.c (pop_binding_level, suspend_binding_level,
1202 find_class_binding_level): Merge into leave_scope. Remove.
1203 (leave_scope): New function.
1205 (poplevel_class): Likewise.
1206 (pop_namespace): Likewise.
1208 2003-09-25 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1211 * parser.c (cp_parser_check_access_in_redeclaration): New function.
1212 (cp_parser_member_declaration): Use it.
1213 (cp_parser_template_declaration_after_export): Likewise.
1215 2003-09-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
1217 * cp-tree.h (scope_kind): Add new enumerator.
1218 (keep_next_level): Change parameter type to bool.
1219 (begin_scope): Change prototype.
1220 (pushlevel): Remove declaration.
1221 * decl.c (push_binding_level): Fold in begin_scope. Remove.
1222 (struct cp_binding_level): Remove tag_tranparent field. Make keep
1224 (keep_next_level_flag): Make a bool.
1225 (cxx_scope_descriptor): Update scope names table
1226 (make_cxx_scope): Fold in begin_scope. Remove..
1227 (namespace_scope_ht_size): New function.
1228 (begin_scope): Change prototype. Return a scope. Tidy.
1229 (kept_level_p): Update.
1230 (pushlevel): Remove.
1231 (maybe_push_cleanup_level): Simplify.
1232 (poplevel): Update for sk_cleanup and keep change.
1233 (print_binding_level): Likewise.
1234 (initial_push_namespace_scope): Fold in begin_scope. Remove.
1235 (push_namespace): Update.
1236 (pushtag): Likewise.
1237 (lookup_tag): Likewise.
1238 (lookup_name_current_level): Likewise.
1239 (lookup_type_current_level): Likewise.
1240 (cxx_init_decl_processing): Likewise.
1241 (start_function): Likewise.
1242 (begin_function_body): Likewise.
1243 (start_method): Likewise.
1244 * pt.c (push_inline_template_parms_recursive): Likewise.
1245 (begin_template_parm_list): Likewise.
1246 (begin_specialization): Likewise.
1247 * semantics.c (do_pushlevel): Likewise.
1248 (begin_compound_stmt): Likewise.
1249 (begin_stmt_expr): Likewise.
1251 2003-09-21 Richard Henderson <rth@redhat.com>
1253 * class.c, cp-tree.h, decl.c, decl2.c, error.c, init.c,
1254 method.c, optimize.c, pt.c, semantics.c, tree.c: Revert.
1256 2003-09-21 Richard Henderson <rth@redhat.com>
1258 * class.c, cp-tree.h, decl.c, decl2.c, error.c, init.c,
1259 method.c, optimize.c, pt.c, semantics.c, tree.c: Update for
1260 DECL_SOURCE_LOCATION rename and change to const.
1262 2003-09-20 Richard Henderson <rth@redhat.com>
1264 * decl.c, decl2.c, pt.c: Use %J in diagnostics.
1266 2003-09-20 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1269 * parser.c (cp_parser_direct_declarator): Clear
1270 parser->num_template_parameter_lists when parsing function
1272 (cp_parser_constructor_declarator_p): Likewise.
1274 2003-09-19 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1277 * pt.c (tsubst_friend_class): Only use innermost template
1278 arguments for the injected friend class template.
1280 2003-09-19 Nathan Sidwell <nathan@codesourcery.com>
1283 * pt.c (instantiate_class_template): Increment
1284 processing_template_decl around the tsubst of a template member
1287 2003-09-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
1289 * decl.c (cxx_scope_descriptor): Fix thinko.
1290 (struct cp_binding_level): Adjust type of binding_depth field.
1292 2003-09-18 Danny Smith <dannysmith@users.sourceforge.net>
1295 * call.c (type_passed_as): Check for incomplete type.
1296 (convert_for_arg_passing): Likewise.
1298 2003-09-18 Nathan Sidwell <nathan@codesourcery.com>
1301 * optimize.c (maybe_clone_body): Don't set MARK_USED on parameters
1303 * semantics.c (expand_body): Set it here on the remaining clones.
1305 2003-09-18 Roger Sayle <roger@eyesopen.com>
1307 * lex.c (init_operators): Remove operator_name_info for FFS_EXPR.
1308 * class.c (instantiate_type): Remove FFS_EXPR case.
1310 2003-09-18 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
1312 * ChangeLog: Fix recent commit.
1314 2003-09-18 Volker Reichelt <reichelt@igpm.rwth-aachen.de>
1316 * ChangeLog: Add PR number to patch for PR c++/12316.
1318 2003-09-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
1320 * error.c (dump_type): Simplify. Use pp_type_specifier_seq for
1322 * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Fix thinko.
1324 2003-09-17 Richard Henderson <rth@redhat.com>
1326 * semantics.c (expand_body): Don't save/restore input_location.
1328 2003-09-17 Mark Mitchell <mark@codesourcery.com>
1331 * cp-tree.h (tsubst_flags_t): Add tf_conv.
1332 * class.c (standard_conversion): Pass tf_conv to
1334 (resolve_address_of_overloaded_function): Do not call mark_used
1335 when just checking conversions.
1338 * cp-lang.c (LANG_HOOKS_BUILTIN_TYPE_DECLS): Define.
1339 * cp-tree.h (cxx_builtin_type_decls): Declare.
1340 * decl.c (builtin_type_decls): New variables.
1341 (cxx_builtin_type_decls): New function.
1342 (record_builtin_type): Add to builtin_type_decls.
1344 2003-09-17 Richard Henderson <rth@redhat.com>
1347 * semantics.c (expand_or_defer_fn): Inc/dec function_depth.
1349 2003-09-16 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1352 * typeck.c (comptypes): Don't ICE when its first argument is
1354 (compparms): Reverse the arguments of same_type_p.
1356 2003-09-15 Nathan Sidwell <nathan@codesourcery.com>
1359 * typeck.c (convert_arguments): Return error_mark_node for an
1360 incomplete parameter. Make error message more informative.
1362 2003-09-12 Mark Mitchell <mark@codesourcery.com>
1365 * class.c (maybe_note_name_used_in_class): Refine test for whether
1366 or not we are in a class scope.
1368 * cp-tree.h (language_function): Remove x_expanding_p.
1369 (expanding_p): Remove.
1370 (doing_semantic_analysis_p): Remove.
1371 (scope_kind): Add sk_function_parms, sk_class,
1373 (innermost_scope_kind): New method.
1374 * call.c (cxx_type_promotes_to): Use type_decays_to.
1375 * cp-lang.c (LANG_HOOKS_PUSHLEVEL): Redefine.
1376 (LANG_HOOKS_POPLEVEL): Likewise.
1377 * decl.c (cp_binding_level): Remove parm_flag, template_parms_p,
1378 template_spec_p, namespace_p, is_for_scope, is_try_scope, and
1379 is_catch_scope. Add kind and explicit_spec_p.
1380 (cxx_scope_descriptor): Use a lookup table.
1381 (find_class_binding_level): Use "kind" field in binding_level, not
1383 (pop_binding_level): Likewise.
1384 (innermost_nonclass_level): Likewise.
1385 (toplevel_bindings_p): Likewise.
1386 (namespace_bindings_p): Likewise.
1387 (template_parm_scope_p): Likewise.
1388 (innermost_scope_kind): New method.
1389 (current_tmpl_spec_kind): Use "kind" field in binding_level, not
1391 (pushlevel): Remove check for doing_semantic_analysis_p.
1392 (begin_scope): Simplify.
1393 (add_decl_to_level): Use "kind" field in binding_level, not
1395 (push_local_binding): Likewise.
1396 (pop_label): Remove check for doing_semantic_analysis_p.
1397 (poplevel): Use "kind" field in binding_level, not
1399 (set_block): Remove check for doing_semantic_analysis_p.
1400 (pushlevel_class): Use "kind" field in binding_level, not
1402 (poplevel_class): Likewise.
1403 (initial_push_namespace_scope): Likewise.
1404 (maybe_push_to_top_level): Likewise.
1405 (set_identifier_type_value_with_scope): Likewise.
1406 (pop_everything): Likewise.
1407 (maybe_process_template_type_declaration): Likewise.
1408 (pushtag): Likewise.
1409 (pushdecl): Likewise.
1410 (pushdecl_with_scope): Likewise.
1411 (check_previous_goto_1): Likewise.
1412 (define_label): Likewise.
1413 (finish_case_label): Likewise.
1414 (lookup_tag): Likewise.
1415 (unqualified_namespace_lookup): Likewise.
1416 (lookup_name_real): Likewise.
1417 (lookup_name_current_level): Likewise.
1418 (lookup_type_current_level): Likewise.
1419 (record_builtin_type): Likewise.
1420 (cp_make_fname_decl): Likewise.
1421 (maybe_inject_for_scope_var): Likewise.
1422 (cp_finish_decl): Remove check for doing_semantic_analysis_p.
1423 (start_function): Use begin_scope, not pushlevel.
1424 (finish_function): Use "kind" field in binding_level, not
1426 (start_method): Use begin_scope, not pushlevel.
1427 (make_label_decl): Do not check expanding_p.
1428 (save_function-data): Do not set expanding_p.
1429 (cxx_push_function_context): Do not clear expanding_p.
1430 * semantics.c (cxx_expand_function_start): Do not set expanding_p.
1432 2003-09-14 Mark Mitchell <mark@codesourcery.com>
1434 * class.c (layout_class_type): Make DECL_MODE match TYPE_MODE for
1435 an bit-field whose width exceeds that of its type.
1437 2003-09-14 Geoffrey Keating <geoffk@apple.com>
1439 * rtti.c (get_tinfo_decl): Set TREE_PUBLIC for typeinfo decls.
1441 2003-09-14 Kazu Hirata <kazu@cs.umass.edu>
1443 * ChangeLog: Follow spelling conventions.
1444 * parser.c: Likewise.
1446 2003-09-13 Richard Henderson <rth@redhat.com>
1448 * decl2.c (finish_file): Check cgraph_assemble_pending_functions
1449 during relaxation loop.
1451 2003-09-11 David Edelsohn <edelsohn@gnu.org>
1453 * decl2.c (var_finalized_p): Swap arms of conditional.
1455 2003-09-10 Nathan Sidwell <nathan@codesourcery.com>
1458 * typeck.c (build_address): If it is a function, mark it used.
1459 (build_unary_op): Do not lose object's side-effects when taking
1460 address of static member function.
1461 * class.c (resolve_address_of_overloaded_function): Use
1462 tsubst_flags_t parameter. Only expect overload sets. Adjust.
1463 (instantiate_type): Adjust flags passing. Do not lose object's
1464 side-effects when taking address of static member function.
1466 2003-09-11 Richard Henderson <rth@redhat.com>
1468 * semantics.c (expand_or_defer_fn): Update for new
1469 cgraph_finalize_function argument.
1471 2003-09-10 Richard Henderson <rth@redhat.com>
1473 * decl2.c (cxx_callgraph_analyze_expr): Mark argument unused.
1475 2003-09-10 Jan Hubicka <jh@suse.cz>
1477 * decl2.c (var_finalized_p): New.
1478 (maybe_emit_vtables, write_out_vars, finish_file): Use it.
1480 2003-09-10 Richard Henderson <rth@redhat.com>
1482 * decl2.c (cxx_callgraph_analyze_expr): New, from corpse of
1483 mark_member_pointers.
1484 (lower_function): Remove.
1485 * cp-tree.h: Update to match.
1486 * cp-lang.c (LANG_HOOKS_CALLGRAPH_ANALYZE_EXPR): New.
1487 (LANG_HOOKS_CALLGRAPH_LOWER_FUNCTION): Remove.
1489 2003-09-09 Richard Henderson <rth@redhat.com>
1491 * semantics.c (expand_or_defer_fn): Update call to
1492 cgraph_finalize_function.
1494 * semantics.c (expand_or_defer_fn): Use cgraph_finalize_function
1497 * decl2.c (finish_file): Avoid out-of-bounds array reference
1500 2003-09-09 Richard Henderson <rth@redhat.com>
1502 * decl2.c (mark_member_pointers): Rename from
1503 mark_member_pointers_and_eh_handlers and don't check eh handlers.
1505 2003-09-09 Christian Ehrhardt <ehrhardt@mathematik.uni-ulm.de>
1508 * method.c (use_thunk): Clear DECL_RTL of copied nodes.
1510 2003-09-08 Mark Mitchell <mark@codesourcery.com>
1512 * cp-lang.c (LANG_HOOKS_REGISTER_BUILTIN_TYPE): Define to
1513 c_register_builtin_type.
1516 * decl2.c (add_function): Do not complain about seeing the same
1518 * semantics.c (perform_koenig_lookup): Improve documentation.
1521 * pt.c (try_one_overload): Add addr_p parameter.
1522 (resolve_overloaded_unification): Pass it.
1524 2003-09-08 Richard Henderson <rth@redhat.com>
1526 * optimize.c (maybe_clone_body): Inc/dec function_depth.
1528 2003-09-08 Richard Henderson <rth@redhat.com>
1530 * decl.c (finish_function): Clear current_function_decl.
1531 * decl2.c (mark_used): Don't push/pop gc context.
1532 * optimize.c (optimize_function): Likewise.
1533 * tree.c (cp_cannot_inline_tree_fn): Likewise.
1534 * pt.c (instantiate_decl): Inc/dec function_depth instead.
1535 * semantics.c (expand_body): Update for tree_rest_of_compilation
1538 2003-09-07 Gabriel Dos Reis <gcc@integrable-solutions.net>
1541 * error.c (dump_decl): Handle namespace-alias-definition.
1542 * decl.c (warn_extern_redeclared_static): There is no point in
1543 checking changes in storage class specifier for a namespace
1545 (duplicate_decls): Tidy diagnostic message.
1546 * cxx-pretty-print.c (pp_cxx_left_brace): New macro.
1547 (pp_cxx_right_brace): Likewise.
1548 (pp_cxx_original_namespace_definition): New function.
1549 (pp_cxx_namespace_alias_definition): Likewise.
1550 (pp_cxx_declaration): Use them. Handle NAMESPACE_DECLs.
1552 2003-09-07 Jan Hubicka <jh@suse.cz>
1554 * decl2.c (maybe_emit_vtables, write_out_vars, finish_file):
1555 Avoid re-emitting variables in unit-at-a-time mode.
1557 2003-09-06 Mark Mitchell <mark@codesourcery.com>
1560 * call.c (standard_conversion): Improve comments.
1561 (perform_direct_initialization): Make sure we return an expression
1562 of the correct type.
1563 * typeck.c (build_static_cast): Check for ambiguity and
1564 accessibility when performing conversions.
1566 2003-09-06 Gabriel Dos Reis <gdr@integrable-solutions.net>
1568 * cp-tree.h (add_binding): Remove declaration.
1569 * name-lookup.h (supplement_binding): Declare.
1570 * decl.c (add_binding): Move to name-lookup.c.
1571 (push_local_binding): Adjust.
1572 (push_class_binding): Likewise.
1573 (set_identifier_type_value_with_scope): Likewise.
1574 * name-lookup.c (supplement_binding): Rename from add_binding.
1575 Return a bool. Improve documentation.
1576 (set_namespace_binding): Adjust.
1577 * Make-lang.in (cp/name-lookup.o): Depend on toplev.h
1579 2003-09-06 Nathan Sidwell <nathan@codesourcery.com>
1582 * class.c (pushclass): Push dependent using decls for nested
1583 classes of templates too.
1585 2003-09-06 Roger Sayle <roger@eyesopen.com>
1588 * class.c (resolve_address_of_overloaded_function): When building
1589 list of matching non-template function decls, ignore anticipated
1590 declarations of undeclared or shadowed GCC builtins.
1592 2003-09-06 Steven Bosscher <steven@gcc.gnu.org>
1595 * decl.c (define_label): Remove unreachable timevar pop.
1596 Always return the decl, even if the definition is invalid.
1598 2003-09-06 Nathan Sidwell <nathan@codesourcery.com>
1601 * parser.c (cp_parser_late_parsing_default_args): Push & pop the
1602 unparsed functions queue.
1604 2003-09-05 Mark Mitchell <mark@codesourcery.com>
1607 * call.c (perform_direct_initialization): Correct logic for
1608 direct-initialization of a class type.
1611 * pt.c (lookup_template_function): Robustify.
1613 2003-09-05 Nathan Sidwell <nathan@codesourcery.com>
1616 * pt.c (tsubst_qualified_id): Make sure we get a non-type.
1617 (tsubst_expr, tsubst_copy_and_build): Pass false, not zero, as
1618 is_type_p to lookup_qualified_name.
1620 * semantics.c (finish_call_expr): Refactor some code.
1623 * cp-tree.h (COMPOUND_EXPR_OVERLOADED): New.
1624 (build_min_non_dep): Declare.
1625 * tree.c (build_min): Propagate TREE_SIDE_EFFECTS.
1626 (build_min_non_dep): New.
1627 * cvt.c (convert_to_void): Don't explicitly copy
1628 TREE_SIDE_EFFECTS, TREE_NO_UNUSED_WARNING.
1629 * call.c (build_new_method_call): Use build_min_non_dep.
1630 * decl2.c (grok_array_decl): Likewise.
1631 (build_offset_ref_call_from_tree): Likewise.
1632 * typeck.c (finish_class_member_access_expr,
1633 build_x_indirect_ref, build_x_binary_op, build_x_unary_op,
1634 build_x_conditional_expr, build_x_compound_expr): Likewise.
1635 (build_static_cast, build_reinterpret_cast,
1636 build_const_cast): Propagate TREE_SIDE_EFFECTS inside a template.
1637 * typeck2.c (build_x_arrow): Use build_min_non_dep.
1638 (build_functional_cast): Propagate TREE_SIDE_EFFECTS inside a
1640 * rtti.c (build_dynamic_cast_1): Set DECL_IS_PURE.
1641 (build_dynamic_cast): Set TREE_SIDE_EFFECTS.
1642 * pt.c (build_non_dependent_expr): Check COMPOUND_EXPR_OVERLOADED.
1644 2003-09-04 Richard Henderson <rth@redhat.com>
1646 * decl2.c (mark_member_pointers_and_eh_handlers): Update for
1647 change in cgraph_mark_needed_node arguments.
1649 2003-09-02 Geoffrey Keating <geoffk@apple.com>
1652 * decl2.c (mark_used): Use ggc_push_context/ggc_pop_context.
1653 * tree.c (cp_cannot_inline_tree_fn): Likewise.
1655 2003-09-04 Nathan Sidwell <nathan@codesourcery.com>
1657 * cp-tree.h (finish_sizeof, finish_alignof): Remove.
1658 (expr_sizeof): Replace with ...
1659 (cxx_sizeof_or_alignof_expr): ... here.
1660 (cxx_sizeof_or_alignof_type): Make complain parameter a bool.
1661 * parser.c (cp_parser_unary_expression): Commonize alignof and
1663 * pt.c (tsubst_copy_and_build): Adjust alignof and sizeof
1665 * semantics.c (finish_sizeof, finish_alignof): Remove.
1666 * typeck.c (cxx_sizeof_or_alignof_type): Complain parameter
1667 becomes bool. Set TREE_READONLY.
1668 (expr_sizeof): Replace with ...
1669 (cxx_sizeof_or_alignof_expr): ... here. Clear TREE_SIDE_EFFECTS.
1671 2003-09-04 Mark Mitchell <mark@codesourcery.com>
1673 Remove cast-as-lvalue extension.
1674 * call.c (build_conditional_expr): Correct formatting.
1675 (convert_like_real): Use lvalue_p, not non_cast_lvalue_p.
1676 (initialize_real): Use real_lvalue_p, not real_non_cast_lvalue_p.
1677 * cp-tree.h (non_cast_lvalue_p): Remove.
1678 (real_non_cast_lvalue_p): Remove.
1679 (non_cast_lvalue_or_else): Remove.
1680 * tree.c (lvalue_p_1): Remove allow_cast_as_lvalue parameter.
1681 (real_lvalue_p): Adjust call to lvalue_p_1.
1682 (non_cast_lvalue_p): Remove.
1683 (non_cast_lvalue_or_else): Remove.
1684 (lvalue_p): Adjust call to lvalue_p_1.
1685 (lvalue_or_else): Simplify.
1686 * typeck.c (build_unary_op): Use lvalue_or_else, not
1687 non_cast_lvalue_or_else.
1688 (build_static_cast): Use real_lvalue_p, not real_non_cast_lvalue_p.
1690 2003-09-03 DJ Delorie <dj@redhat.com>
1692 * decl.c (finish_function): Pass fndecl to aggregate_value_p.
1694 2003-09-03 Mark Mitchell <mark@codesourcery.com>
1697 * class.c (include_empty_classes): Correct logic for ABI version 1.
1699 2003-09-03 Richard Henderson <rth@redhat.com>
1701 * optimize.c (optimize_function): Push/pop ggc context around
1702 the call to optimize_inline_calls.
1704 2003-09-02 Scott Brumbaugh <scottb.lists@verizon.net>
1707 * parser.c (cp_parser_decl_specifier_seq): Add check for a
1708 duplicate friend decl-specifier.
1710 2003-09-02 Mark Mitchell <mark@codesourcery.com>
1713 * pt.c (convert_nontype_argument): Correct representation of
1714 REFERENCE_TYPE expressions.
1717 * cp-tree.h (KOENIG_LOOKUP_P): New macro.
1718 (finish_call_expr): Change prototype.
1719 * parser.c (cp_parser_postfix_expression): Adjust call to
1721 * pt.c (tsubst_copy_and_build): Use KOENIG_LOOKUP_P.
1722 * semantics.c (finish_call_expr): Add koenig_p parameter.
1724 2003-09-01 Mark Mitchell <mark@codesourcery.com>
1727 * cp-tree.h (initialize_reference): Change prototype.
1728 * call.c (initialize_reference): Add cleanup parameter.
1729 * decl.c (grok_reference_init): Likewise.
1730 (check_initializer): Likewise.
1731 (cp_finish_decl): Insert a CLEANUP_STMT if necessary.
1732 (duplicate_decls): When replacing an anticipated builtin, do not
1734 * typeck.c (convert_for_initialization): Correct call to
1735 initialize_reference.
1738 * pt.c (dependent_type_p_r): Pass only the innermost template
1739 arguments to any_dependent_template_arguments_p.
1741 2003-09-01 Josef Zlomek <zlomekj@suse.cz>
1743 * error.c (dump_expr): Kill BIT_ANDTC_EXPR.
1744 * lex.c (init_operators): Kill BIT_ANDTC_EXPR.
1745 * pt.c (tsubst_copy): Kill BIT_ANDTC_EXPR.
1746 * typeck.c (build_binary_op): Kill BIT_ANDTC_EXPR.
1747 (tsubst_copy_and_build): Kill BIT_ANDTC_EXPR.
1749 2003-08-29 Mark Mitchell <mark@codesourcery.com>
1752 * pt.c (build_non_dependent_expr): Do not build a
1753 NON_DEPENDENT_EXPR for a STRING_CST.
1756 * search.c (add_conversions): Avoid adding two conversion
1757 operators for the same type.
1759 2003-08-29 Mark Mitchell <mark@codesourcery.com>
1762 * pt.c (tsubst_copy_and_build): Correct handling of
1763 address-of-label extension.
1764 * semantics.c (finish_goto_stmt): The address of a label must go
1765 through the lvalue-to-rvalue conversion.
1767 2003-08-29 Richard Henderson <rth@redhat.com>
1768 Jason Merrill <jason@redhat.com>
1770 * cp-lang.c (LANG_HOOKS_RTL_EXPAND_START): New.
1771 (LANG_HOOKS_RTL_EXPAND_STMT): New.
1772 * cp-tree.h (cxx_expand_function_start): Declare.
1773 * decl.c (start_function): Use allocate_struct_function.
1774 Move stmts_are_full_exprs_p assertion from expand_body.
1775 Do not free_after_parsing or free_after_compilation.
1776 (cxx_push_function_context): Move code to set struct function
1777 data from genrtl_start_function.
1778 * optimize.c (optimize_function): Don't inc/dec function_depth.
1779 * semantics.c (expand_body): Use tree_rest_of_compilation.
1780 (cxx_expand_function_start): Rename from genrtl_start_function,
1781 omit bits done by tree_rest_of_compilation.
1782 (genrtl_finish_function): Remove.
1783 (clear_decl_rtl): Move to ../tree-optimize.c.
1785 2003-08-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
1788 * cxx-pretty-print.c (pp_cxx_canonical_template_parameter): New
1790 * cxx-pretty-print.h: Declare.
1791 * error.c (dump_template_parameter): Use it.
1792 (dump_type): Likewise.
1794 2003-08-28 Mark Mitchell <mark@codesourcery.com>
1796 * init.c (decl_constant_value): Deal with COND_EXPR specially.
1797 * call.c (build_conditional_expr): Revert previous patch.
1799 PR optimization/5079
1800 * call.c (build_conditional_expr): Use decl_constant_value to
1801 simplify the arguments.
1803 2003-08-26 Dan Nicolaescu <dann@ics.uci.edu>
1805 * parser.c (struct cp_token): Use enum bitfields.
1806 (CP_TOKEN_BLOCK_NUM_TOKENS): Make sure cp_token_block fits in a
1807 512B allocation unit.
1808 (cp_parser_token_tree_map_node): Use enum bitfields.
1810 2003-08-26 Nathan Sidwell <nathan@codesourcery.com>
1813 * decl.c (push_class_level_binding): Correct old_decl value from
1814 my 2003-07-29 reorganization.
1816 * call.c (build_call): Don't set TREE_SIDE_EFFECTS here.
1817 (build_new_method_call): Add goto finish.
1818 * semantics.c (simplify_aggr_init_exprs_r): Don't set
1819 TREE_SIDE_EFFECTS on a call.
1821 2003-08-25 Richard Henderson <rth@redhat.com>
1823 * cxx-pretty-print.c (pp_cxx_class_name): Remove unused function.
1825 2003-08-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
1827 * cxx-pretty-print.h (pp_cxx_flag_default_argument): New flag.
1828 (cxx_pretty_printer): Adjust base type.
1829 (pp_cxx_function_specifier): Declare.
1830 * cxx-pretty-print.c (pp_cxx_whitespace): New macro.
1831 (pp_cxx_left_paren): Likewise.
1832 (pp_cxx_right_paren): Likewise.
1833 (pp_cxx_dot): Likewise.
1834 (pp_cxx_arrow): Likewise.
1835 (pp_cxx_semicolon): Likewise.
1836 (pp_cxx_identifier): Likewise.
1837 (pp_cxx_cv_qualifier_seq): Likewise.
1838 (pp_cxx_storage_class_specifier): Likewise.
1839 (pp_cxx_expression_list): Likewise.
1840 (pp_cxx_space_for_pointer_operator): Likewise.
1841 (pp_cxx_init_declarator): Likewise.
1842 (pp_cxx_call_argument_list): Likewise.
1843 (pp_cxx_nonconsecutive_character): Tidy.
1844 (pp_cxx_conversion_function_id): New function.
1845 (pp_cxx_template_id): Likewise.
1846 (pp_cxx_template_keyword_if_needed): Likewise.
1847 (pp_cxx_nested_name_specifier): Likewise.
1848 (pp_cxx_unqualified_id): Tidy
1849 (pp_cxx_qualified_id): Handle more nodes.
1850 (pp_cxx_primary_expression): Tidy.
1851 (pp_cxx_postfix_expression): Likewise.
1852 (pp_cxx_new_expression): Tidy.
1853 (pp_cxx_delete_expression): Likewise.
1854 (pp_cxx_cast_expression): New function.
1855 (pp_cxx_pm_expression): Tidy.
1856 (pp_cxx_conditional_expression): Likewise.
1857 (pp_cxx_assignment_operator): New function.
1858 (pp_cxx_assignment_expression): Tidy.
1859 (pp_cxx_expression): New function.
1860 (pp_cxx_function_specifier): Likewise.
1861 (pp_cxx_decl_specifier_seq): Likewise.
1862 (pp_cxx_simple_type_specifier): Tidy.
1863 (pp_cxx_type_specifier_seq): Likewise.
1864 (pp_cxx_ptr_operator): New function.
1865 (pp_cxx_implicit_parameter_type): Likewise.
1866 (pp_cxx_parameter_declaration): Tidy.
1867 (pp_cxx_parameter_declaration_clause): New function.
1868 (pp_cxx_exception_specification): Likewise.
1869 (pp_cxx_direct_declarator): Tidy.
1870 (pp_cxx_declarator): Likewise.
1871 (pp_cxx_ctor_initializer): New function.
1872 (pp_cxx_function_definition): Likewise.
1873 (pp_cxx_abstract_declarator): Tidy.
1874 (pp_cxx_direct_abstract_declarator): Likewise.
1875 (pp_cxx_type_id): Likewise.
1876 (pp_cxx_exception_declaration): New function.
1877 (pp_cxx_statement): Likewise.
1878 (pp_cxx_simple_declaration): Likewise.
1879 (pp_cxx_template_parameter_list): Likewise.
1880 (pp_cxx_template_parameter): Likewise.
1881 (pp_cxx_template_declaration): Likewise.
1882 (pp_cxx_explicit_specialization): Likewise.
1883 (pp_cxx_explicit_instantiation): Likewise.
1884 (pp_cxx_declaration): Tidy.
1885 (pp_cxx_pretty_printer_init): Initialize more fields.
1887 2003-08-25 Mark Mitchell <mark@codesourcery.com>
1890 * cp-tree.h (build_cplus_method_type): Remove.
1891 * call.c (standard_conversion): Use build_method_type_directly
1892 instead of build_cplus_method_type.
1893 * class.c (build_clone): Likewise.
1894 (adjust_clone_args): Likewise.
1895 * decl.c (build_ptrmem_type): Likewise.
1896 (grokdeclarator): Likewise.
1897 (check_function_type): Likewise.
1898 * decl2.c (grok_method_quals): Likewise.
1899 (maybe_retrofit_in_chrg): Likewise.
1900 * pt.c (copy_default_args_to_explicit_spec): Likewise.
1901 (tsubst_function_type): Likewise.
1903 * tree.c (build_cplus_method_type): Remove.
1904 * typeck.c (merge_types): Use build_method_type_directly.
1906 2003-08-23 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1909 * search.c (dfs_access_in_type): Fix typo in comment.
1910 (dfs_accessible_queue_p): Likewise.
1911 (dfs_accessible_p): Only terminate when a friend is found.
1912 (accessible_p): Return immediately if access_in_type allows
1915 2003-08-23 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
1917 PR c++/641, c++/11876
1918 * friend.c (add_friend): Add complain parameter.
1919 (make_friend_class): Likewise.
1920 (do_friend): Adjust add_friend call.
1921 * decl.c (grokdeclarator): Adjust make_friend_class call.
1922 * parser.c (cp_parser_member_declaration): Likewise.
1923 (cp_parser_template_declaration_after_export): Likewise.
1924 * pt.c (instantiate_class_template): Adjust make_friend_class
1925 and add_friend call.
1926 * cp-tree.h (make_friend_class): Adjust declaration.
1927 (add_friend): Likewise.
1929 2003-08-21 Jason Merrill <jason@redhat.com>
1932 * call.c (build_conditional_expr): Ignore cv-qual differences for
1935 2003-08-21 Mark Mitchell <mark@codesourcery.com>
1938 * parser.c (cp_parser_id_expression): Add declarator_p parameter.
1939 (cp_parser_primary_expression): Adjust call to
1940 cp_parser_id_expression.
1941 (cp_parser_unqualified_id): Complain about the use of
1942 typedef-names in a destructor declarator.
1943 (cp_parser_postfix_expression): Adjust call to
1944 cp_parser_id_expression.
1945 (cp_parser_type_parameter): Likewise.
1946 (cp_parser_template_argument): Likewise.
1947 (cp_parser_declarator_id): Likewise.
1950 * call.c (standard_conversion): Use same_type_p, not pointer
1951 equality, to compare types.
1954 * parser.c (cp_parser_using_declaration): Check for invalid uses
1955 of template-ids here...
1956 * decl2.c (do_class_using_decl): ... rather than here.
1958 2003-08-20 Mark Mitchell <mark@codesourcery.com>
1961 * pt.c (more_specialized): Bump processing_template_decl.
1963 2003-08-21 Jason Merrill <jason@redhat.com>
1966 * decl.c (grokdeclarator): Recognize a flexible array based on the
1967 type, not the form of the declarator.
1969 2003-08-20 Jason Merrill <jason@redhat.com>
1971 * semantics.c (simplify_aggr_init_expr): Split out from
1972 simplify_aggr_init_exprs_r. Convert slot address to match
1974 * cp-tree.h: Declare it.
1975 * tree.c (cp_copy_res_decl_for_inlining): Don't clobber the
1976 DECL_NAME of a user variable.
1978 2003-08-20 Nathan Sidwell <nathan@codesourcery.com>
1981 * pt.c (build_non_dependent_expr): Look inside COND_EXPR and
1983 * semantics.c (finish_expr_stmt): Always convert to void.
1984 * typeck.c (build_x_compound_exp): Always convert to void.
1986 2003-08-19 Mark Mitchell <mark@codesourcery.com>
1989 * cp-tree.h (grok_op_properties): Change prototype.
1990 * decl.c (grok_op_properties): Add complain parameter.
1991 (grokfndecl): Pass it.
1992 * pt.c (tsubst_decl): Adjust accordingly.
1995 * decl.c (start_method): Return immediately if push_template_decl
1996 does not like the declaration.
1997 * pt.c (push_template_decl_real): Disallow member template
2001 * cp-tree.h (add_binding): Add prototype.
2002 * class.c (add_method): Set TYPE_HAS_DESTRUCTOR if appropriate.
2003 (maybe_warn_about_overly_private_class): Use
2004 CLASSTYPE_DESTRUCTORS.
2005 (pushclass): Adjust call to set_identifier_type_value.
2006 * decl.c (add_binding): Give it external linkage.
2007 (push_local_binding): Adjust call to add_binding.
2008 (push_class_binding): Likewise.
2009 (set_identifier_type_value_with_scope): Change prototype. Use
2010 add_binding for global bindings.
2011 (set_identifier_type_value): Adjust accordingly.
2012 (pushtag): Likewise.
2013 (pushdecl): Use set_identifier_type_value, not
2014 set_identifier_type_value_with_scope.
2015 (pushdecl_namespace_level): Adjust calls to
2016 SET_IDENTIFIER_TYPE_VALUE to pass a DECL.
2017 (pushdecl_class_level): Likewise.
2018 (lookup_tag): Use select_decl.
2019 (select_decl): Improve comment.
2020 (record_builtin_type): Do not call pushdecl.
2021 (cxx_init_decl_processing): Do not call xref_tag for bad_alloc.
2022 (cp_finish_decl): Adjust call to set_identifier_type_value.
2023 (check_elaborated_type_specifier): Improve checks for invalid uses
2025 (xref_tag): Adjust call to check_elaborated_type_specifier.
2026 * decl2.c (grokclassfn): Do not set TYPE_HAS_DESTRUCTOR.
2027 * name-lookup.c (set_namespace_binding): Use add_binding.
2028 * parser.c (cp_parser_simple_type_specifier): Return a TYPE_DECL,
2029 rather than an IDENTIFIER_NODE, to represent built-in types, if
2030 requested by the caller.
2031 (cp_parser_postfix_expression): Adjust call.
2032 (cp_parser_type_specifier): Likewise.
2033 (cp_parser_elaborated_type_specifier): Adjust call to
2034 check_elaborated_type_specifier.
2035 * typeck2.c (build_functional_cast): Do not perform name lookups.
2038 * decl.c (expand_static_init): Remove unnecessary code.
2040 2003-08-19 Andrew Pinski <pinskia@physics.uc.edu>
2042 PR c++/10538, PR c/5582
2043 * cp/cp-lang.c (LANG_HOOKS_DECL_UNINIT): Define.
2045 2003-08-19 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2048 * init.c (build_offset_ref): Perform access checking for
2049 pointer to member correctly.
2051 2003-08-19 Gabriel Dos Reis <gdr@integrable-solutions.net>
2053 * cp-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTICS): Fix spelling.
2055 2003-08-18 Nathan Sidwell <nathan@codesourcery.com>
2058 * cp-tree.h (finish_stmt_expr): Add bool parameter.
2059 * init.c (finish_init_stmts): Pass true to finish_stmt_expr. Don't
2060 adjust the stmt_expr here.
2061 (build_vec_init): Use finish_stmt_expr_expr, convert result to
2063 * parser.c (cp_parser_primar_expression): Adjust finish_stmt_expr
2065 * pt.c (tsubst_copy): Likewise.
2066 * semantics.c (finish_stmt_expr): Add parameter.
2068 * pt.c (instantiate_class_template): Push to class's scope before
2071 2003-08-17 Jan Hubicka <jh@suse.cz>
2074 * semantics.c (finish_id_expression): Mark all functions as used.
2076 2003-08-16 Nathan Sidwell <nathan@codesourcery.com>
2079 * cvt.c (convert_to_void): Indicate which side of conditional has
2080 no effects, and rhs of comma operator. Test for no sideeffect
2081 expressions here and always build a convert expr.
2082 * init.c (expand_default_init): Convert the init to void.
2083 * typeck.c (build_x_compound_expr): Do not check for side effects
2085 (build_compound_expr): Do not convert lhs when building a
2088 2003-08-15 Nathan Sidwell <nathan@codesourcery.com>
2090 * cp-tree.def (NON_DEPENDENT_EXPR): Add operand.
2091 * decl2.c (build_offset_ref_call_from_tree): Use
2092 build_non_dependent_expr.
2093 * error.c (dump_expr) <NON_DEPENDENT_EXPR case>: Dump the operand.
2094 * pt.c (build_non_dependent_expr): Set operand.
2096 2003-08-14 Jan Hubicka <jh@suse.cz>
2098 * decl2.c (mark_member_pointers): Rename to...
2099 (mark_member_pointers_and_eh_tinfos): ... this one; deal with eh tinfos
2100 (lower_function): Update call.
2101 * except.c (eh_type_info): Break out from ...
2102 (build_eh_type): ... here; tinfo is already used.
2103 (finish_eh_spec_block): Mark tinfos as used.
2104 * semantics.c (finish_handler_params): Mark tinfo as used.
2105 * cp-tree.h (eh_type_info): Declare.
2107 2003-08-15 Nathan Sidwell <nathan@codesourcery.com>
2109 * pt.c (instantiate_class_template): Set location before
2112 * decl.c (make_typename_type): Use my_friendly_assert.
2113 * pt.c (tsubst_aggr_type): Rearrange context substitution.
2115 2003-08-14 Jan Hubicka <jh@suse.cz>
2117 * method.c (use_thunk): Expand body directly.
2119 2003-08-12 Mark Mitchell <mark@codesourcery.com>
2122 * call.c (type_passed_as): Use TYPE_SIZE, not TYPE_PRECISION to
2123 determine whether or not to promote types.
2124 (convert_for_arg_passing): Likewise.
2125 * decl2.c (cp_build_parm_decl): Do not set DECL_ARG_TYPE in
2127 * pt.c (tsubst_decl): Do not expect it to be set.
2131 * cp-tree.h (check_elaborated_type_specifier): Declare.
2132 (handle_class_head): Remove.
2133 (note_got_semicolon): Likewise.
2134 (note_list_got_semicolon): Likewise.
2135 (finish_class_definition): Likewise.
2136 * decl.c (check_elaborated_type_specifier): Make it public.
2138 (handle_class_head): Remove.
2139 * parser.c (cp_parser_elaborated_type_specifier): Use
2140 check_elaborated_type_specifier.
2141 (cp_parser_class_specifier): Do not call finish_class_definition.
2142 (cp_parser_class_head): Or handle_class_head. Check for
2143 over-qualified names.
2144 * semantics.c (finish_class_definition): Remove.
2146 * parser.c (cp_parser_check_for_definition_in_return_type): New
2148 (cp_parser_simple_declaration): Adjust call to
2149 cp_parser_init_declarator.
2150 (cp_parser_decl_specifier_seq): Change type of
2151 declares_class_or_enum parameter.
2152 (cp_parser_explicit_instantiation): Adjust accordingly.
2153 (cp_parser_type_specifier): Change type of
2154 declares_class_or_enum parameter.
2155 (cp_parser_init_declarator): Add declares_class_or_enum
2157 (cp_parser_parameter_declaration): Adjust call to
2158 cp_parser_decl_specifier_seq.
2159 (cp_parser_function_definition): Likewise.
2160 (cp_parser_member_declaration): Likewise.
2161 (cp_parser_single_declaration): Likewise.
2163 * cp-tree.h (lang_type_class): Remove has_call_overloaded,
2164 has_array_ref_overloaded, has_arrow_overloaded, and got_semicolon.
2165 (TYPE_OVERLOADS_CALL_EXPR): Remove.
2166 (TYPE_OVERLOADS_ARRAY_REF): Likewise.
2167 (TYPE_OVERLOADS_ARROW): Likewise.
2168 (CLASSTYPE_GOT_SEMICOLON): Likewise.
2169 * class.c (check_bases): Do not set them.
2170 (finish_struct_1): Likewise.
2171 * decl.c (cp_finish_decl): Do not set CLASSTYPE_GOT_SEMICOLON.
2172 (build_ptrmemfunc_type): Likewise.
2173 (grok_op_properties): Do not set TYPE_OVERLOADS_*.
2174 (start_function): Do not check CLASSTYPE_GOT_SEMICOLON.
2175 * decl2.c (grokfield): Do not set CLASSTYPE_GOT_SEMICOLON.
2176 * lex.c (note_got_semicolon): Remove.
2177 (note_list_got_semicolon): Likewise.
2178 * parser.c (cp_parser_simple_declaration): Do not call
2179 note_list_got_semicolon.
2180 * pt.c (list_eq): Remove.
2181 (lookup_template_class): Do not set CLASSTYPE_GOT_SEMICOLON.
2182 (instantiate_class_template): Do not set TYPE_OVERLOADS*.
2183 (instantiate_class_template): Do not set CLASSTYPE_GOT_SEMICOLON.
2184 * ptree.c (cxx_print_type): Do not print them.
2185 * semantics.c (finish_member_class_template): Do not call
2186 note_list_got_semicolon.
2188 2003-08-11 Aldy Hernandez <aldyh@redhat.com>
2190 * call.c (standard_conversion): Opaque pointers interconvert.
2192 * testsuite/g++.dg/other/opaque-3.C: New.
2194 2003-08-11 Mark Mitchell <mark@codesourcery.com>
2196 * typeck.c (merge_types): Handle cv-qualified pointer-to-member
2199 2003-08-10 Mark Mitchell <mark@codesourcery.com>
2202 * cp-tree.h (get_vbase): Remove.
2203 (get_vbase_types): Remove.
2204 * init.c (expand_member_init): Correct logic for looking up base
2207 2003-08-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
2209 * error.c (dump_expr): Tidy.
2210 * cxx-pretty-print.c (pp_cxx_nonconsecutive_character): New.
2211 (pp_cxx_begin_template_argument_list): Likewise.
2212 (pp_cxx_end_template_argument_list): Likewise.
2213 (is_destructor_name): Likewise.
2214 (pp_cxx_unqualified_id): Likewise.
2215 (pp_cxx_qualified_id): Likewise.
2216 (pp_cxx_id_expression): Likewise.
2217 (pp_cxx_new_expression): Likewise.
2218 (pp_cxx_delete_expression): Likewise.
2219 (pp_cxx_pm_expression): Likewise.
2220 (pp_cxx_type_specifier): Rework.
2221 (pp_cxx_type_id): Likewise.
2222 (pp_cxx_primary_expression): Likewise.
2223 (pp_cxx_postfix_expression): Likewise.
2224 (pp_cxx_unary_expression): Likewise.
2225 (pp_cxx_multiplicative_expression): Likewise.
2226 (pp_cxx_conditional_expression): Likewise.
2227 (pp_cxx_assignment_expression): Likewise.
2228 (pp_cxx_pretty_printer_init): Tidy.
2230 2003-08-10 Nathan Sidwell <nathan@codesourcery.com>
2232 * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): non-NULL
2233 NODE is always a TREE_VEC of nonzero size.
2234 (NUM_TMPL_ARGS): NODE is always a TREE_VEC.
2235 * decl2.c (arg_assoc): Template args will be a vec.
2236 * error.c (dump_decl) <TEMPLATE_ID_EXPR case>: Call
2237 dump_template_argument_list.
2238 (dump_template_parms): Args will be a vec.
2239 * parser.c (cp_parser_template_argument_list): Produce a
2241 * pt.c (coerce_template_parms): Args are always vectors.
2242 (mangle_class_name_for_template): Likewise.
2243 (lookup_template_function): Likewise.
2244 (lookup_template_class): Likewise.
2245 (tsubst_template_args): Likewise.
2246 (tsubst_baselink): Use tsubst_template_args.
2247 (tsubst_qualified_id): Likewise.
2248 (tsubst_copy) <TEMPLATE_ID_EXPR case>: Likewise.
2249 (tsubst_copy_and_build) <TEMPLATE_ID_EXPR case>: Likewise.
2250 (any_dependent_template_args_p): Args are always vectors.
2251 * tree.c (cp_tree_equal): Add TEMPLATE_ID_EXPR case.
2254 * call.c (convert_like_real): Add rvalue binding error message.
2255 * error.c (dump_expr) <NOP_EXPR case>: Detect when the no expr is
2259 * pt.c (dependent_type_p_r): A dependent template-id is a class
2260 type with dependent template arguments, or a bound template
2262 (type_dependent_expression_p): A template function decl cannot
2263 have a dependent context.
2265 2003-08-07 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2268 * parser.c (cp_parser_class_name): Return immediately when scope
2271 2003-08-07 Aldy Hernandez <aldyh@redhat.com>
2273 * cp/Make-lang.in (cp/call.o): Add dependency for target.h.
2275 * cp/call.c (standard_conversion): Support opaque types.
2277 (strip_top_quals): Use cp_build_qualified_type instead of
2280 * cp/typeck.c (convert_for_assignment): Support opaque types.
2282 * testsuite/g++.dg/other/opaque-1.C: New.
2284 * testsuite/g++.dg/other/opaque-2.C: New.
2286 2003-08-06 Aldy Hernandez <aldyh@redhat.com>
2288 * decl.c (grokparms): Use cp_build_qualified_type instead
2291 2003-08-05 Gabriel Dos Reis <gdr@integrable-solutions.net>
2293 * cxx-pretty-print.h: New file.
2294 * cxx-pretty-print.c: Likewise.
2295 * error.c (scratch_pretty_printer): Change type.
2297 (dump_aggr_type): Likewise.
2298 (dump_global_iord): Likewise.
2299 (dump_expr): Likewise.
2300 (dump_char): Remove.
2301 * cp-lang.c (LANG_HOOKS_INITIALIZE_DIAGNOSTITCS): Define.
2302 (cxx_initialize_diagnostics): New function.
2303 * Make-lang.in (CXX_OBJS): Add cp/cxx-pretty-print.o
2304 (CXX_PRETTY_PRINT_H): New variable.
2305 (cp/cxx-pretty-print.o): New rule.
2306 (cp/cp-lang.o): Update dependence.
2307 (cp/error.o): Likewise.
2309 2003-08-05 Steven Bosscher <steven@gcc.gnu.org>
2311 * cp-tree.h (struct lang_decl): Don't include c_lang_decl.
2312 (DECL_DECLARED_INLINE_P): Remove.
2313 * decl2.c (import_export_decl): Only look at DECL_DECLARED_INLINE_P
2314 if decl is a FUNCTION_DECL. This never made sense, but now it is
2315 required to avoid a tree check failure.
2316 * decl.c (grokfndecl): Don't touch DID_INLINE_FUNC.
2317 * optimize.c (maybe_clone_body): Likewise.
2319 2003-08-04 Roger Sayle <roger@eyesopen.com>
2321 * decl.c (cxx_insert_default_attributes): Delete.
2322 * cp-tree.h (cxx_insert_default_attributes): Don't prototype.
2323 * cp-lang.c (LANG_HOOKS_INSERT_DEFAULT_ATTRIBUTES): Don't define.
2325 2003-08-03 Nathan Sidwell <nathan@codesourcery.com>
2328 * pt.c (type_dependent_expression_p): Cope with COMPONENT_REF with
2332 * typeck.c (comp_ptr_ttypes_real): Don't loop on pointers to
2335 2003-08-02 Nathan Sidwell <nathan@codesourcery.com>
2338 * cp-tree.def (USING_DECL): Document its type.
2339 * class.c (pushclass): If we're entering a template, push any
2340 dependent using decls it has.
2341 * decl2.c (do_class_using_decl): Refactor. Type is NULL iff it is
2343 * pt.c (tsubst_decl) <USING_DECL case>: Set type.
2344 (tsubst): Remove USING_DECL checks.
2345 (type_dependent_expression_p): Remove USING_DECL case.
2346 * semantics.c (finish_member_declaration): A USING_DECL's type
2347 indicates whether it is dependent.
2349 2003-08-02 Nathan Sidwell <nathan@codesourcery.com>
2351 * cp-tree.h (pushclass): Remove unneeded parameter.
2352 * class.c (pushclass): Remove unneeded MODIFY parm. Adjust.
2353 (push_nested_class): Adjust pushclass call.
2354 * pt.c (instantiate_class_template): Likewise.
2355 * semantics.c (begin_class_definition): Likewise.
2357 2003-08-01 Nathanael Nerode <neroden@gcc.gnu.org>
2359 * typeck2.c (add_exception_specifier): Use 'bool' where appropriate.
2361 2003-08-01 Mark Mitchell <mark@codesourcery.com>
2364 * decl.c (decls_match): Don't ignore the types of template
2368 * pt.c (tsubst_copy_and_build): Refine Koenig lookup logic.
2370 2003-08-01 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2372 PR c++/8442, c++/8806
2373 * decl.c (qualify_lookup): Accept TEMPLATE_DECL if types are
2375 (check_elaborated_type_specifier): Add allow_template_p
2376 parameter. Check tag mismatch and class template.
2377 (xref_tag): Add template_header_p parameter. Add assertion
2378 that name is an IDENTIFIER_NODE. Remove implicit typename
2379 warning. Simplify lookup process if globalize is true.
2380 (cxx_init_decl_processing): Adjust call to xref_tag.
2381 (xref_tag_from_type): Likewise.
2382 * decl2.c (handle_class_head): Likewise.
2383 * parser.c (cp_parser_elaborated_type_specifier,
2384 cp_parser_class_head): Likewise.
2385 * rtti.c (init_rtti_processing, build_dynamic_cast1,
2386 tinfo_base_init, emit_support_tinfos): Likewise.
2387 * class.c (is_base_of_enclosing_class): Remove.
2388 * pt.c (convert_template_argument): Don't accept RECORD_TYPE as
2389 template template argument.
2390 * cp-tree.h (xref_tag): Adjust declaration.
2391 (is_base_of_enclosing_class): Remove.
2392 * NEWS: Document template template argument change.
2394 2003-08-01 Nathan Sidwell <nathan@codesourcery.com>
2396 * parser.c (cp_parser_init_declarator,
2397 cp_paser_member_declaration): Reformat.
2398 * pt.c (lookup_template_class, type_unification_real, unify,
2399 type_dependent_expression_p): Reformat.
2402 * cp-tree.h (tubst_flags_t): Add tf_stmt_expr_cmpd,
2404 (finish_stmt_expr_expr): Declare.
2405 * parser.c (cp_parser_primary_expression): Tell
2406 cp_parser_compount_statement that it is a statement expression.
2407 (cp_parser_statement, cp_parser_labeled_statement,
2408 cp_parser_compound_statement, cp_parser_statement_seq_opt): Add
2409 in_statement_expr_p parameter.
2410 (cp_parser_expression_statement): Likewise. Call
2411 finish_stmt_expr_expr for final expression of a statement
2413 (cp_parser_for_init_statement,
2414 cp_parser_implicitly_scoped_statement,
2415 cp_parser_already_scoped_statement, cp_parser_function_definition,
2416 cp_parser_try_block, cp_parser_handled): Adjust.
2417 * pt.c (tsubst_copy) <STMT_EXPR case>: Pass tf_stmt_expr.
2418 (tsubst_expr): Process tf_stmt_expr and tf_stmt_exprs flags.
2419 (tsubst_expr) <EXPR_STMT case>: Check tf_stmt_exprs flag.
2420 * semantics.c (finish_expr_stmt): Do not deal with statement
2422 (begin_stmt_expr): Clear last_expr_type.
2423 (finish_stmt_expr_expr): New.
2424 (finish_stmt_expr): Process the value expression.
2426 * typeck.c (build_compound_expr): If RHS is a TARGET_EXPR, put the
2427 compound expr inside the target's initializer.
2430 * parser.c (cp_parser_primary_expression): Do not set
2431 non-constant-p merely because it is a dependent scope.
2434 * decl2.c (do_class_using_decl): Set type to NULL_TREE.
2435 * semantics.c (finish_expr_stmt): Do not convert to void in a
2438 2003-07-31 Nathan Sidwell <nathan@codesourcery.com>
2440 * pt.c (coerce_template_parms): Refactor.
2441 (fn_type_unification): Increment processing_template_decl when
2442 tsubsting an incomplete set of explicit args.
2445 * pt.c (instantiate_class_template): Increment
2446 processing_template_decl around the tsubst of a template member
2448 (tsubst_qualified_id): Assert we do not have a dependent scope.
2450 * pt.c (coerce_template_template_parms, lookup_template_class,
2451 can_complete_type_without_circularity, instantiate_class_template,
2452 tsubst_decl, unify): Reformat.
2454 2003-07-31 Jan Hubicka <jh@suse.cz>
2456 * decl2.c (maybe_make_one_only): Use mark_referenced.
2457 * method.c (use_thunk): Likewsie.
2459 2003-07-30 Jan Hubicka <jh@suse.cz>
2461 * class.c (build_vtable_entry_ref): Kill.
2462 (build_vtbl_ref_1): Do not call build_vtable_entry_ref.
2463 (build_vfn_ref): Do not call build_vtable_entry_ref.
2464 * cp-lang.c (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Kill.
2465 * cp-tree.h (prepare_assemble_variable): Kill.
2466 * cp-decl.c (prepare_assemble_variable): Kill.
2468 2003-07-29 Geoffrey Keating <geoffk@apple.com>
2470 * parser.c (cp_lexer_new_main): Use c_common_no_more_pch instead
2471 of setting valid_pch by hand.
2473 2003-07-29 Rainer Orth <ro@TechFak.Uni-Bielefeld.DE>
2475 * decl.c (finish_enum): Initialize underlying_type.
2477 2003-07-29 Nathan Sidwell <nathan@codesourcery.com>
2480 * decl.c (add_binding): Add bval local variable.
2481 (push_class_level_binding): Likewise. Allow a USING_DECL to be
2483 * decl2.c (do_class_using_decl): The type of a using decl is
2485 * parser.c (cp_parser_postfix_expression): Refactor unqualified-id
2486 function call lookup code.
2487 * pt.c (tsubst): A USING_DECL will have unknown type.
2488 (tsubst_copy_and_build): Allow a using decl.
2489 (type_dependent_expression_p): A USING_DECL will make it
2491 * semantics.c (finish_member_declaration): Push a dependent using
2494 2003-07-28 Mark Mitchell <mark@codesourcery.com>
2497 * parser.c (cp_parser_postfix_expression): Do not call mark_used.
2498 * semantics.c (finish_id_expression): Call mark_used for all
2501 2003-07-28 Mark Mitchell <mark@codesourcery.com>
2504 * call.c (standard_conversion): Allow all integral->enumeral
2505 conversions, after marking them as bad.
2506 * decl.c (finish_enum): Make sure that all enumerators are
2507 properly converted to the underlying type.
2508 (build_enumerator): Set DECL_CONTEXT for namespace-scope
2510 * pt.c (tsubst_copy): Adjust handling of CONST_DECLs accordingly.
2511 (tsubst_enum): Tidy.
2513 * Make-lang.in (typeck.o): Depend on convert.h.
2514 (class.o): Likewise.
2516 * call.c: Include convert.h.
2517 (convert_arg_to_ellipsis): Use convert_to_real.
2518 * class.c: Include convert.h.
2519 (build_base_path): Use convert_to_integer.
2520 * rtti.c: Include convert.h.
2521 (build_headof): Use convert_to_integer.
2522 * typeck.c: Include convert.h.
2523 (decay_conversion): Use convert_to_integer.
2524 (build_unary_op): Use build_nop.
2525 (get_delta_difference): Use convert_to_integer.
2526 (build_ptrmemfunc): Avoid unnecessary conversions.
2528 2003-07-28 Jan Hubicka <jh@suse.cz>
2530 * decl2.c (mark_member_pointers): Verify that member pointer points to
2533 2003-07-28 Nathan Sidwell <nathan@codesourcery.com>
2535 * cp-tree.h (begin_compound_stmt): No scope arg is a bool.
2536 (finish_compound_stmt): Remove no scope arg.
2537 * decl.c (register_dtor_fn): Adjust begin_compound_stmt and
2538 end_compound_stmt calls.
2539 (expand_static_init, begin_destructor_body, begin_function_body,
2540 finish_function_body): Likewise.
2541 * decl2.c (start_objects, finish_objects,
2542 start_static_storage_duration_function,
2543 finish_static_storage_duration_function): Likewise.
2544 * init.c (begin_init_stmts, finish_init_stmts,
2545 construct_virtual_base, build_vec_init): Likewise.
2546 * method.c (do_build_assign_ref, synthesize_method): Likewise.
2547 * parser.c (cp_parser_compound_statement,
2548 cp_parser_implicitly_scoped_statement,
2549 cp_parser_already_scoped_statement): Likewise.
2550 * pt.c (tsubst_expr): Likewise.
2551 * semantics.c (begin_compound_stmt): No scope arg is a bool.
2552 (finish_compound_stmt): Remove no scope arg.
2554 * error.c (dump_expr) <COMPOUND_EXPR case>: A compound expr is
2557 2003-07-27 Mark Mitchell <mark@codesourcery.com>
2559 * call.c (standard_conversion): Tweak handling of
2560 pointer-to-member types.
2561 * pt.c (tsubst): Correctly qualify pointers-to-data member types.
2562 * typeck.c (comp_ptr_ttypes_real): Check qualifiers on
2563 pointer-to-data member types.
2565 2003-07-27 Nathan Sidwell <nathan@codesourcery.com>
2567 * parser.c (cp_parser_type_parameter): Reformat.
2568 (cp_parser_parameter_declaration): Deprecate default args where
2571 2003-07-26 Nathan Sidwell <nathan@codesourcery.com>
2575 * cp-tree.h (begin_init_stmts, finish_init_stmts): Remove.
2576 (begin_global_stmt_expr, finish_global_stmt_expr): Remove.
2577 * init.c (begin_init_stmts): Make static. Return is_global
2578 value. Always call begin_stmt_expr.
2579 (finish_init_stmts): Make static. Add is_global parm. Always
2580 building a stmt tree.
2581 (build_aggr_init): Adjust begin_init_stmts, finish_init_stmts calls.
2582 (build_vec_init): Likewise. Always building a stmt tree.
2583 (expand_default_init): Always building a stmt tree.
2584 (get_temp_regvar): Likewise.
2585 * semantics.c (begin_global_stmt_expr,
2586 finish_global_stmt_expr): Remove.
2588 2003-07-25 Nathan Sidwell <nathan@codesourcery.com>
2590 * cp-tree.h (build_compound_expr): Take LHS & RHS args.
2591 (build_x_compound_expr_from_list): Declare.
2592 * typeck.c (build_x_compound_expr_from_list): New.
2593 (build_x_compound_expr): Adjust.
2594 (build_compound_expr): Remove unreachable code. Take two
2596 * decl.c (grok_reference_init): Use
2597 build_x_compound_expr_from_list.
2598 (expand_static_init): Adjust build_compound_expr call.
2599 (cxx_maybe_build_cleanup): Likewise.
2600 * init.c (perform_member_init): Use
2601 build_x_compound_expr_from_list.
2602 (build_new_1): Likewise.
2603 (build_vec_delete): Adjust build_compound_expr calls.
2604 (build_vbase_delete): Likewise.
2605 * typeck2.c (store_init_value): Use
2606 build_x_compound_expr_from_list.
2607 (build_functional_cast): Likewise.
2609 2003-07-25 Nathan Sidwell <nathan@codesourcery.com>
2611 * cp-tree.h (enum tsubst_flags_t): Add tf_user.
2612 * decl.c (make_typename_type): Pass it.
2613 * pt.c (lookup_template_class): Use it.
2614 (resolve_typename_type): Pass it.
2615 * semantics.c (finish_template_type): Pass it.
2617 2003-07-25 Nathan Sidwell <nathan@codesourcery.com>
2620 * cp-tree.h (qualified_name_lookup_error): Declare.
2621 * pt.c (tsubst_qualified_id): Use qualified_name_lookup_error for
2623 (tsubst_expr) <DECL_STMT case>: Likewise.
2624 (tsubst_copy_and_build) <COMPONENT_REF case>: Likewise.
2625 * semantics.c (qualified_name_lookup_error): New, broken out of ...
2626 (finish_id_expression): ... here. Use it.
2628 2003-07-25 Falk Hueffner <falk.hueffner@student.uni-tuebingen.de>
2630 * cfns.gperf: Add '%%' delimiter to placate gperf 3.0.
2632 2003-07-25 Nathan Sidwell <nathan@codesourcery.com>
2635 * pt.c (maybe_fold_nontype_arg, maybe_fold_nontype_args): Remove.
2636 (tsubst_template_arg): New.
2637 (tsubst_template_arg_vector): Rename to ...
2638 (tsubst_template_args): ... this. Accept a TREE_LIST form. Use
2639 tsubst_template_arg.
2640 (coerce_template_parms): Use tsubst_template_arg for default
2642 (tsubst_template_parms): Likewise.
2643 (tsubst_aggr_type): Adjust.
2644 (tsubst_decl): Likewise.
2645 (tsubst): Use tsubst_template_arg for a DOMAIN. Adjust.
2646 (tsubst_copy) <TEMPLATE_ID_EXPR case>: Use tsubst_template_args.
2648 2003-07-25 Gabriel Dos Reis <gdr@integrable-solutions.net>
2650 * Make-lang.in (cp/error.o): Depend on DIAGNOSTIC_H.
2651 * error.c: Use the new pretty-printer framework.
2653 2003-07-24 Per Bothner <pbothner@apple.com>
2655 * decl.c (pushdecl_class_level): Don't use push_srcloc/pop_srcloc
2656 which causes errors messages to incorrectly mention included files.
2658 2003-07-24 Mark Mitchell <mark@codesourcery.com>
2660 * cp-tree.h (convert_to_base_statically): Declare.
2661 * call.c (build_special_member_call): Convert INSTANCE to the base
2663 * class.c (convert_to_base_statically): New method.
2664 * init.c (construct_virtual_base): Use it.
2665 * method.c (do_build_assign_ref): Fix typo in comment.
2667 2003-07-24 Jason Merrill <jason@redhat.com>
2669 * decl.c: Just set truthvalue_* to boolean_*.
2671 2003-07-24 Nathan Sidwell <nathan@codesourcery.com>
2673 * decl.c (reshape_init): Remove unreachable code.
2675 2003-07-24 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2678 * cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): Use current_scope.
2680 2003-07-23 Mark Mitchell <mark@codesourcery.com>
2683 * cp-tree.h (accessible_base_p): Declare.
2684 * call.c (build_over_call): Use it.
2685 * search.c (accessible_base_p): New function, split out from ...
2686 (lookup_base): ... here.
2689 * call.c (build_conditional_expr): Use perform_implicit_conversion
2690 and error_operand_p. Robustify.
2691 * typeck.c (build_unary_op): Use perform_implicit_conversion.
2693 2003-07-23 Nathan Sidwell <nathan@codesourcery.com>
2696 * parser.c (cp_parser_nested_name_specifier): Reset scope on
2698 (cp_parser_elaborated_type_specifier): Likewise.
2700 2003-07-22 Mark Mitchell <mark@codesourcery.com>
2702 Eliminate use of POINTER_TYPE for pointers-to-members.
2703 * call.c (standard_conversion): Rework pointer-to-member handling.
2705 (add_builtin_candidate): Likewise.
2706 (resolve_scoped_fn_name): Remove.
2707 (build_conditional_expr): Rework pointer-to-member handling.
2708 (compare_ics): Likewise.
2709 * class.c (check_field_decls): Use TYPE_PTR_P.
2710 * cp-lang.c (cp_var_mod_type_p): Rework pointer-to-member
2712 * cp-tree.h (SCALAR_TYPE_P): Use TYPE_PTR_TO_MEMBER_P.
2713 (TYPE_PTRMEM_P): Add comment.
2714 (TYPE_PTR_P): Simplify.
2715 (TYPE_PTROB_P): Correct definition.
2716 (TYPE_PTR_TO_MEMBER_P): New macro.
2717 (TYPE_PTRMEM_CLASS_TYPE): Adjust.
2718 (TYPE_PTRMEM_POINTED_TO_TYPE): Likewise.
2719 (resolved_scoped_fn_name): Remove declaration.
2720 (build_offset_ref): Change prototype.
2721 (resolve_offset_ref): Remove.
2722 (comp_target_types): Remove.
2723 * cvt.c (cp_convert_to_pointer): Rework pointer-to-member
2725 (convert_to_reference): Use can_convert.
2726 (ocp_convert): Improve error handling. Rework pointer-to-member
2728 (perform_qualification_conversions): Rework pointer-to-member
2730 * decl.c (build_ptrmem_type): Handle functions too.
2731 (create_array_type_for_decl): Remove OFFSET_TYPE error message.
2732 (grokdeclarator): Use OFFSET_TYPE for pointers to data members.
2733 (grokparms): Remove OFFSET_TYPE error message.
2734 * dump.c (cp_dump_tree): Rework pointer-to-member handling.
2735 * error.c (dump_type_prefix): Likewise.
2736 * expr.c (cplus_expand_constant): Use build_nop.
2737 * init.c (build_offset_ref): Add address_p parameter. Fold in
2738 necessary bits from resolve_offset_ref.
2739 (resolve_offset_ref): Remove.
2740 * parser.c (cp_parser_postfix_expression): Remove special case
2741 code for OFFSET_TYPE.
2742 * pt.c (convert_nontype_argument): Rework pointer-to-member
2744 (convert_template_argument): Likewise.
2746 (invalid_nontype_parm_type_p): Likewise.
2747 (dependent_type_p_r): Likewise.
2748 * rtti.c (get_tinfo_decl): Remove OFFSET_TYPE special case.
2749 (target_incomplete_p_): Rework pointer-to-member
2751 (get_pseudo_ti_init): Likewise.
2752 (get_pseudo_ti_desc): Likewise.
2753 * semantics.c (finish_qualified_id_expr): Adjust call to
2754 build_offset_ref. Remove use of resolve_offset_ref.
2755 * tree.c (pod_type_p): Use TYPE_PTR_TO_MEMBER_P.
2756 * typeck.c (target_type): Use TYPE_PTRMEM_P.
2757 (type_unknown_p): Remove obsolete code about the time before
2758 non-dependent expressions were handled correctly.
2759 (qualify_type_recursive): Remove.
2760 (composite_pointer_type_r): New function.
2761 (composite_pointer_type): Use it.
2762 (merge_types): Remove dead comments.
2763 (comp_cv_target_types): Remove.
2764 (comp_target_types): Likewise.
2765 (comp_target_parms): Likewise.
2766 (cxx_sizeof_or_alignof_type): Remove OFFSET_TYPE error.
2767 (build_indirect_ref): Use TYPE_PTR_TO_MEMBER_P.
2768 (build_binary_op): Do not use of comp_target_types.
2769 (pointer_diff): Remove OFFSET_TYPE case.
2770 (build_unary_op): Adjust pointer-to-member handling.
2771 (unary_complex_lvalue): Likewise.
2772 (check_for_casting_away_constness): Add description parameter.
2773 (build_static_cast): Pass it.
2774 (build_reinterpret_cast): Use check_for_casting_away_constness.
2775 (build_const_cast): Adjust pointer-to-member handling.
2776 (build_c_cast): Likewise.
2777 (convert_for_assignment): Remove OFFSET_TYPE error message.
2778 (comp_ptr_ttypes_real): Adjust pointer-to-member handling.
2779 (comp_ptr_ttypes_reinterpret): Remove.
2780 (casts_away_constness_r): Adjust pointer-to-member handling.
2781 (casts_away_constness): Liekwise.
2782 (strip_all_pointer_quals): Remove.
2783 * typeck2.c (digest_init): Adjust pointer-to-member handling.
2784 (build_m_component_ref): Likewise.
2786 2003-07-22 Wolfgang Bangerth <bangerth@dealii.org>
2788 * lex.c (unqualified_fn_lookup_error): Mention that the error
2789 message needs to be kept in synch with the manual.
2791 2003-07-22 Nathan Sidwell <nathan@codesourcery.com>
2794 * decl.c (grokdeclarator): An array member is only a flexible
2795 array member if the field itself is the array.
2797 2003-07-22 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2800 * decl.c (xref_basetypes): Handle error_mark_node.
2802 2003-07-22 Nathan Sidwell <nathan@codesourcery.com>
2804 * cp-tree.h (enum cp_lvalue_kind): Add clk_packed.
2805 * tree.c (lvalue_p_1): Set it.
2806 * class.c (check_field): Don't allow non-packed non-POD fields to
2808 * call.c (reference_binding): Need a temporary for all bitfield
2810 (convert_like_real): Check it is ok to make a temporary here.
2812 2003-07-21 Nathan Sidwell <nathan@codesourcery.com>
2814 * cp-tree.h (hack_identifier): Remove.
2815 * method.c (hack_identifier): Remove.
2816 * semantics.c (finish_id_expression): Expand hack_identifier
2819 2003-07-19 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
2821 * call.c class.c decl.c decl2.c g++spec.c lex.c parser.c pt.c rtti.c
2822 semantics.c typeck.c: Remove unnecessary casts.
2824 2003-07-18 Nathan Sidwell <nathan@codesourcery.com>
2826 * cp-tree.h (hack_identifier): Remove.
2827 * method.c (hack_identifier): Remove.
2828 * semantics.c (finish_id_expression): Expand hack_identifier
2831 2003-07-18 Nathan Sidwell <nathan@codesourcery.com>
2833 * cp-tree.h (finish_non_static_data_member): Add object param.
2834 * method.c (hack_identifier): Adjust.
2835 * pt.c (tsubst_copy_and_build) <COMPONENT_REF case>: Don't search
2836 again for a FIELD_DECL.
2837 * semantics.c (finish_non_static_data_member): Add object
2838 parameter. Always save the DECL in the COMPONENT_REF.
2839 * call.c (resolve_scoped_fn_name): Adjust.
2841 2003-07-17 Zack Weinberg <zack@codesourcery.com>
2843 * pt.c (get_bindings): Make definition consistent with
2844 forward declaration.
2846 2003-07-17 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2849 * friend.c (add_friend): Check access for member functions
2852 2003-07-17 Gabriel Dos Reis <gdr@integrable-solutions.net>
2855 * typeck.c (build_class_member_access_expr): Improve diagnostic.
2857 2003-07-16 Mark Mitchell <mark@codesourcery.com>
2860 * cp-tree.h (DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P): New
2862 (DECL_PRETTY_FUNCTION_P): Use VAR_DECL_CHECK.
2863 * decl.c (duplicate_decls): Merge
2864 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2865 * parser.c (cp_parser_postfix_expression): Adjust call to
2866 cp_parser_initializer_list and
2867 cp_parser_parenthesized_expression_list.
2868 (cp_parser_parenthesized_expression_list): Add non_constant_p.
2869 (cp_parser_new_placement): Adjust call to
2870 cp_parser_parenthesized_expression_list.
2871 (cp_parser_direct_new_declarator): Likewise.
2872 (cp_parser_conditional_expression): Remove.
2873 (cp_parser_constant_expression): Parse an assignment-expression,
2874 not a conditional-expression.
2875 (cp_parser_simple_declaration): Resolve expression/declaration
2876 ambiguity more quickly.
2877 (cp_parser_mem_initializer): Adjust call to
2878 cp_parser_parenthesized_expression_list.
2879 (cp_parser_init_declarator): Keep track of whether or not the
2880 initializer is a constant-expression.
2881 (cp_parser_initializer): Add non_constant_p parameter.
2882 (cp_parser_initializer_clause): Likewise.
2883 (cp_parser_initializer_list): Likewise.
2884 (cp_parser_attribute_list): Adjust call to
2885 cp_parser_parenthesized_expression_list.
2886 (cp_parser_functional_cast): Likewise.
2887 * pt.c (tsubst_decl): Copy
2888 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2889 (tsubst_expr): Tweak use of DECL_PRETTY_FUNCTION_P.
2890 * semantics.c (finish_id_expression): Use
2891 DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
2893 2003-07-16 Neil Booth <neil@daikokuya.co.uk>
2895 * lang-options.h: Remove.
2897 2003-07-16 Andrew Pinski <pinskia@physics.uc.edu>
2900 * class.c (field_decl_cmp): Remove.
2901 (resort_field_decl_cmp): Remove.
2902 (resort_sorted_fields): Remove.
2903 (add_fields_to_vec): Rename to ...
2904 (add_fields_to_record_type): this.
2905 (finish_struct_1): Change to be using
2906 sorted_fields_type's fields.
2907 * cp-tree.h (lang_decl): In lang_decl_u3
2908 change sorted_fields to be a pointer to
2910 (resort_sorted_fields): Remove prototype.
2911 * search.c (lookup_field_1): Change to be using
2912 sorted_fields_type's fields.
2914 2003-07-16 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2917 * decl.c (grokdeclarator): Handle TEMPLATE_ID_EXPR if friend
2918 is a member of other class.
2919 * friend.c (do_friend): Don't build TEMPLATE_DECL if friend
2920 is a specialization of function template.
2922 2003-07-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
2925 * pt.c (convert_nontype_argument): Fix thinko in diagnostic.
2928 2003-07-15 Mark Mitchell <mark@codesourcery.com>
2930 * cp-tree.def (LOOKUP_EXPR): Remove.
2931 * cp-tree.h (cp_id_kind): Add CP_ID_KIND_UNQUALIFIED_DEPENDENT.
2932 (LOOKUP_EXPR_GLOBAL): Remove.
2933 (get_bindings): Remove.
2934 (is_aggr_type_2): Remove.
2935 * call.c (resolved_scoped_fn_name): Remove support for
2937 * decl.c (grokfndecl): Likewise.
2938 (grokdeclarator): Likewise.
2939 * error.c (dump_decl): Likewise.
2940 (dump_expr): Likewise.
2941 * friend.c (do_friend): Likewise.
2942 * init.c (build_offset_ref): Likewise.
2943 * lex.c (unqualified_fn_lookup_error): Use pedwarn. Do not create
2945 * mangle.c (write_expression): Remove support for LOOKUP_EXPR.
2946 * parser.c (cp_parser_postfix_expression): Modify Koenig lookup
2948 * pt.c (get_bindings): Give it internal linkage.
2949 (check_explicit_specialization): Remove support for LOOKUP_EXPR.
2950 (lookup_template_function): Likewise.
2951 (for_each_tempalte_parm_r): Likewise.
2952 (tsubst_decl): Likewise.
2953 (tsubst_qualified_id): Handle template template parameters.
2954 (tsubst_copy): Remove support for LOOKUP_EXPR.
2955 (tsubst_copy_and_build): Likewise.
2956 (most_general_template): Likewise.
2957 (value_dependent_expression_p): Likewise.
2958 (type_dependent_expression_p): Note that IDENTIFIER_NODEs are
2960 * semantics.c (perform_koenig_lookup): Do not create
2962 (finish_fname): Likewise.
2963 (finish_id_expression): Likewise.
2964 * tree.c (is_aggr_type_2): Remove.
2966 2003-07-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
2969 * typeck.c (check_return_expr): Fix thinko in diagnostic.
2971 2003-07-15 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
2974 * pt.c (tsubst_decl) <TEMPLATE_DECL>: Add a check for
2977 2003-07-14 Mark Mitchell <mark@codesourcery.com>
2980 * pt.c (dependent_scope_ref_p): New function.
2981 (value_dependent_expression_p): Use it.
2982 (type_dependent_expression_p): Likewise.
2984 * pt.c (tsubst_friend_function): Use reregister_specialization.
2987 * cp-tree.h (lookup_qualified_name): Adjust prototype.
2988 * decl.c (lookup_qualified_name): Add complain parameter. Adjust
2989 call to is_aggr_type.
2990 * parser.c (cp_parser_lookup_name): Adjust call to
2991 lookup_qualified_name.
2992 * pt.c (tsubst_qualified_id): Likewise.
2993 (tsubst_copy_and_build): Likewise.
2994 * semantics.c (finish_qualified_id_expr): Deal with erroneous
2997 2003-07-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
3000 * call.c (op_error): Properly format REALPART_EXPR and
3002 * error.c (dump_expr): Likewise.
3004 2003-07-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
3006 * error.c (dump_expr): Handle EMPTY_CLASS_EXPR.
3008 2003-07-14 Gabriel Dos Reis <gdr@integrable-solutions.net>
3011 * call.c (initialize_reference): Improve diagnostic.
3013 2003-07-14 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
3016 * pt.c (more_specialized_class): Add full_args parameter.
3017 (most_specialized_class): Adjust calls to more_specialized_class.
3018 * cp-tree.h (more_specialized_class): Adjust declaration.
3020 2003-07-14 Dan Nicolaescu <dann@ics.uci.edu>
3022 * lex.c (enum tree_node_kind): Delete.
3024 2003-07-13 Mark Mitchell <mark@codesourcery.com>
3027 * cp-tree.h (DECL_SELF_REFERENCE_P): New macro.
3028 (SET_DECL_SELF_REFERENCE_P): Likewise.
3029 * class.c (build_self_reference): Use SET_DECL_SELF_REFERENCE_P.
3030 * pt.c (tsubst_decl): Copy it.
3031 * search.c (lookup_base): Use DECL_SELF_REFERENCE_P.
3033 * pt.c (reregister_specialization): Fix thinko in previous change.
3035 * cp-tree.h (cp_id_kind): New type.
3036 (unqualified_name_lookup_error): Change prototype.
3037 (unqualified_fn_lookup_error): New function.
3038 (do_identifier): Remove.
3039 (do_scoped_id): Likewise.
3040 (tsubst_copy_and_build): Change prototype.
3041 (reregister_specialization): New function.
3042 (perform_koenig_lookup): Likewise.
3043 (finish_id_expression): Likewise.
3044 * call.c (build_method_call): Adjust call to
3045 unqualified_name_lookup_error.
3046 * decl.c (duplicate_decls): Use reregister_specialization.
3047 * lex.c (is_global): Remove.
3048 (unqualified_name_lookup_error): Return a value.
3049 (do_identifier): Remove.
3050 (do_scoped_id): Likewise.
3051 (identifier_typedecl_value): Remove.
3052 (unqualified_fn_lookup_error): New function.
3053 * parser.c (cp_parser_id_kind): Remove.
3054 (cp_parser_non_constant_id_expression): Remove.
3055 (cp_parser_primary_expression): Use finish_id_expression.
3056 (cp_parser_class_or_namespace_name): Use cp_id_kind, not
3058 (cp_parser_postfix_expression): Use perform_koenig_lookup.
3059 (cp_parser_template_argument): Use cp_id_kind.
3060 (cp_parser_fold_non_dependent_expr): Adjust call to
3061 tsubst_copy_and_build.
3062 * pt.c (unregister_specialization): Rename to ...
3063 (reregister_specialization): This.
3064 (tsubst_friend_function): Use it.
3065 (maybe_fold_nontype_arg): Adjust call to tsubst_copy_and_build.
3066 (tsubst_qualified_id): Likewise.
3067 (tsubst_expr): Likewise.
3068 (tsubst_copy_and_build): Add function_p parameter. Use
3069 finish_id_expression. Introduce RECUR macro.
3070 (tsubst_non_call_postfix_expression): New function.
3071 (regenerate_decl_from_template): Use reregister_specialization.
3072 * semantics.c (perform_koenig_lookup): New function.
3073 (finish_id_expression): Likewise.
3075 2003-07-13 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
3077 * pt.c (push_access_scope_real): Remove.
3078 (push_access_scope): Move code from push_access_scope_real.
3079 (pop_access_scope): Don't check for TEMPLATE_DECL.
3080 (instantiate_template): Defer access checking during template
3082 (regenerate_decl_from_template): Tidy.
3084 2003-07-11 Nathanael Nerode <neroden@gcc.gnu.org>
3087 * operators.def: Add definitions for __imag__, __real__.
3089 2003-07-11 Nathan Sidwell <nathan@codesourcery.com>
3092 * parser.c (cp_parser_expression_list): Rename to ...
3093 (cp_parser_parenthesized_expression_list): ... here. Add attribute
3094 parameter, parse the surounding parentheses.
3095 (cp_parser_skip_to_closing_parenthesis): Add recover and or_comma
3096 parameters. Return int.
3097 (cp_parser_skip_to_closing_parenthesis or comma): Remove.
3098 (cp_parser_postfix_expression): Adjust function call parsing.
3099 (cp_parser_new_placement): Adjust.
3100 (cp_parser_new_initializer): Likewise.
3101 (cp_parser_cast_expression): Likewise.
3102 (cp_parser_selection_statement): Likewise.
3103 (cp_parser_mem_initializer): Likewise.
3104 (cp_parser_asm_definition): Likewise.
3105 (cp_parser_init_declarator): Likewise.
3106 (cp_parser_declarator): Make
3107 cdtor_or_conv_p an int ptr.
3108 (cp_parser_direct_declarator): Likewise. Check for a parameter
3109 list on cdtors & conv functions.
3110 (cp_parser_initializer): Adjust.
3111 (cp_parser_member_declaration): Adjust.
3112 (cp_parser_attribute_list): Move code into
3113 cp_parser_parens_expression_list.
3114 (cp_parser_functional_cast): Adjust.
3115 * pt.c (type_dependent_expression_p): Erroneous expressions are
3118 2003-07-11 Geoffrey Keating <geoffk@apple.com>
3120 * decl.c (cp_finish_decl): Handle 'used' attribute.
3122 * cp-lang.c (c_reset_state): New dummy routine.
3123 * cp-tree.h (finish_file): Move prototype to c-common.h.
3124 * parser.c (c_parse_file): Rename from yyparse; don't call finish_file.
3126 2003-07-11 Mark Mitchell <mark@codesourcery.com>
3129 * pt.c (tsubst_qualified_id): Implement suggested resolution for
3131 (type_dependent_expression_p): Likewise.
3133 2003-07-10 Mark Mitchell <mark@codesourcery.com>
3135 * typeck.c (build_binary_op): Do not warn about signed
3136 vs. unsigned comparisons in the bodies of templates.
3139 * parser.c (cp_parser_postfix_expression): Check dependency of
3142 2003-07-09 Mark Mitchell <mark@codesourcery.com>
3145 * decl.c (cxx_init_decl_processing): With -pedantic, pedwarns are
3149 * error.c (decl_to_string): Do not print default argument
3152 * cp-tree.h (break_out_calls): Remove declaration.
3153 * tree.c (break_out_calls): Remove.
3154 * typeck.c (build_modify_expr): Avoid invalid sharing of trees.
3156 2003-07-09 Nathan Sidwell <nathan@codesourcery.com>
3159 * class.c (check_field_decls): Pass DECL_NAME to constructor_name_p.
3160 * decl2.c (constructor_name_p): Avoid repeated constructor_name
3162 * decl.c (grokdeclarator): Refactor ctor/dtor detection.
3164 2003-07-09 Mark Mitchell <mark@codesourcery.com>
3166 * typeck.c (build_x_unary_op): Take note of the fact that
3167 PREINCREMENT_EXPR and POSTINCREMENT_EXPR are binary operations on
3170 * parser.c (cp_parser_primary_expression): Preserve the form of
3171 qualified expressions in templates, even if they are not
3173 * pt.c (convert_nontype_argument): Handle non-dependent SCOPE_REFs.
3174 (tsubst_qualified_id): Likewise.
3175 * search.c (accessible_p): Treat everything in the body of a
3176 template as accessible.
3178 2003-07-08 Mark Mitchell <mark@codesourcery.com>
3180 * cp-tree.def (NON_DEPENDENT_EXPR): New node.
3181 * cp-tree.h (build_call_from_tree): Remove.
3182 (build_member_call): Likewise.
3183 (dependent_template_arg_p): Remove.
3184 (any_dependent_template_arguments_p): New function.
3185 (dependent_template_id_p): Likewise.
3186 (any_type_dependent_arguments_p): Likewise.
3187 (build_non_dependent_expr): Likewise.
3188 (build_non_dependent_args): Likewise.
3189 (build_x_compound_expr): Adjust prototype.
3190 * call.c (build_new_method_call): Handle non-dependent expressions
3192 * decl2.c (grok_array_decl): Likewise.
3193 (build_offset_ref_call_from_tree): Likewise.
3194 (build_call_from_tree): Remove.
3195 * error.c (dump_decl): Handle NON_DEPENDENT_EXPR.
3196 (dump_expr): Likewise.
3197 * init.c (build_member_call): Remove.
3198 * mangle.c (write_expression): Update handling for template-ids.
3199 * parser.c (cp_parser_primary_expression): Use
3200 any_dependent_template_arguments_p. Update constant-expression
3202 (cp_parser_postfix_expression): Use
3203 any_type_dependent_arguments_p. Simplify call processing.
3204 (cp_parser_unary_expression): Simplify.
3205 (cp_parser_expression): Adjust for changes to
3206 build_x_compound_expr.
3207 (cp_parser_template_argument): Implement standard-conforming
3208 parsing of non-type template arguments.
3209 (cp_parser_direct_declarator): Use
3210 cp_parser_fold_non_dependent_expr.
3211 (cp_parser_fold_non_dependent_expr): New function.
3212 (cp_parser_next_token_ends_template_argument_p): Likewise.
3213 * pt.c (convert_template_argument): Do not call
3214 maybe_fold_nontype_arg.
3215 (tsubst_baselink): Likewise.
3216 (tsubst_copy_and_build): Share common code. Make sizeof/alignof
3217 processing work correctly for non-dependent expressions. Adjust
3218 handling of COMPOUND_EXPR. Simplify call processing.
3219 (value_dependent_expression_p): Deal with functional casts and
3220 sizeof/alignof correctly.
3221 (type_dependent_expression_p): Handle overloaded functions.
3222 (any_type_dependent_arguments_p): New function.
3223 (any_dependent_template_arguments_p): Likewise.
3224 (dependent_template_p): Treat SCOPE_REFs as dependent.
3225 (dependent_template_id_p): Simplify.
3226 (build_non_dependent_expr): New function.
3227 (build_non_dependent_args): Likewise.
3228 * semantics.c (finish_stmt_expr): Don't make dependent
3229 statement-expresions have void type.
3230 (finish_call_expr): Handle non-dependent expressions
3232 * tree.c (lvalue_p_1): Treat NON_DEPENDENT_EXPRs as lvalues.
3233 * typeck.c (cxx_sizeof_or_alignof_type): Give the expression
3234 type size_t, even in templates.
3235 (expr_sizeof): Likewise.
3236 (finish_class_member_access_expr): Handle non-dependent expressions
3238 (build_x_indirect_ref): Likewise.
3239 (build_x_binary_op): Likewise.
3240 (build_x_unary_op): Likewise.
3241 (build_x_conditional_expr): Likewise.
3242 (build_x_compound_expr): Likewise.
3243 * typeck2.c (build_x_arrow): Likewise.
3245 2003-07-09 Jan Hubicka <jh@suse.cz>
3247 * cp-lang.c (LANG_HOOKS_TREE_INLINING_ESTIMATE_NUM_INSNS): New.
3248 * decl.c (duplicate_decls): Use DECL_ESTIMATED_INSNS.
3249 (start_function): Use DECL_ESTIMATED_INSNS.
3250 * optimize.c (maybe_clone_body): Use DECL_ESTIMATED_INSNS.
3252 * decl2.c (maybe_emit_vtables): Fix marking vtables as needed in
3255 2003-07-08 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
3258 * pt.c (instantiate_class_template): Don't call xref_tag to
3259 inject name when the friend class is a specialization.
3261 2003-07-07 Mark Mitchell <mark@codesourcery.com>
3263 * cp-tree.h (build_scoped_method_call): Remove.
3264 (lookup_qualified_name): Remove parameter.
3265 (tsubst_copy_and_build): Declare.
3266 (finish_qualified_object_call_expr): Remove.
3267 (check_accessibility_of_qualified_id): New function.
3268 (finish_qualified_id_expr): Likewise.
3269 (non_reference): Likewise.
3270 (build_expr_from-tree): Remove.
3271 * call.c (non_reference): Remove.
3272 (build_scoped_method_call): Likewise.
3273 (build_method_call): Use error_operand_p. Assert that we are not
3274 processing a template.
3275 (standard_conversion): Use non_reference.
3276 * class.c (build_vtbl_entry_ref): Likewise.
3277 (build_vtbl_ref_1): Likewise.
3278 * cvt.c (build_expr_type_conversion): Use non_reference.
3279 * decl.c (lookup_qualified_name): Remove flags parameter.
3280 (grok_op_properties): Use non_reference.
3281 * decl2.c (grok_array_decl): Likewise.
3282 (build_expr_from_tree): Remove.
3283 (build_offset_ref_call_from_tree): Update comment.
3284 * error.c (parm_to_string): Call reinit_global_formatting_buffer.
3285 * except.c (prepare_eh_types): Use non_reference.
3286 (can_convert_eh): Likewise.
3287 * init.c (build_dtor_call): Avoid using build_method_call.
3288 * mangle.c (write_template_param): Remove misleading comment.
3289 * method.c (locate_copy): Use non_reference.
3290 * parser.c (cp_parser_scope_through_which_access_occurs): Remove.
3291 (cp_parser_primary_expression): Do not create SCOPE_REFs is
3292 non-dependent contexts.
3293 (cp_parser_postfix_expression): Use finish_qualified_id_expr.
3294 (cp_parser_direct_declarator): Use tsubst_copy_and_build, not
3295 build_expr_from_tree.
3296 (cp_parser_lookup_name): Adjust call to lookup_qualified_name.
3297 Use check_accessibility_of_qualified_id.
3298 * pt.c (maybe_fold_nontype_arg): Use tsubst_copy_and_build, not
3299 build_expr_from_tree.
3300 (tsubst_baselink): New function.
3301 (tsubst_qualified_id): Likewise.
3302 (tsubst_copy): Use them. Remove support for METHOD_CALL_EXPR.
3303 (tsubst_expr): Adjust call to lookup_qualified_name.
3304 (tsubst_copy_and_build): Handle SCOPE_REFs specially. Adjust
3305 handling of CALL_EXPRs.
3306 (value_dependent_expression_p): Use INTEGRAL_OR_ENUMERATION_TYPE_P.
3307 * rtti.c (get_tinfo_decl_dynamic): Use non_reference.
3308 * search.c (check_final_overrider): Likewise.
3309 * semantics.c (check_accessibility_of_qualified_id): New function.
3310 (finish_qualified_object_call_expr): Remove.
3311 * typeck.c (target_type): Use non_reference.
3312 (cxx_sizeof_or_alignof_type): Likewise.
3313 (dubious_conversion_warnings): Likewise.
3314 (convert_for_initialization): Likewise.
3315 (non_reference): New function.
3317 2003-07-07 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3319 * decl.c (print_binding_level, print_other_binding_stack,
3320 print_binding_stack): Merge uses of HOST_PTR_PRINTF with adjacent
3322 * ptree.c (cxx_print_decl, cxx_print_binding): Likewise.
3324 2003-07-07 Andreas Jaeger <aj@suse.de>
3326 * friend.c: Convert to ISO C90 prototypes.
3328 * Make-lang.in ($(srcdir)/cp/cfns.h): Use ANSI-C as output
3330 * cfns.h: Regenerate.
3332 * typeck.c: Convert remaining prototypes to ISO C90.
3333 * search.c: Likewise.
3335 * decl2.c (build_expr_from_tree): Convert prototype to ISO C90.
3336 * semantics.c (expand_or_defer_fn): Likewise
3337 * mangle.c (discriminator_for_string_literal): Likewise.
3338 * g++spec.c (lang_specific_driver): Likewise.
3340 * search.c (lookup_base_r): Remove unused variable.
3342 2003-07-07 Nathan Sidwell <nathan@codesourcery.com>
3344 * semantics.c: (genrtl_try_block) Adjust emit_line_note
3347 2003-07-07 Andreas Jaeger <aj@suse.de>
3349 * search.c (lookup_base_r): Remove unused variable.
3351 2003-07-06 Michael Chastain <mec@shout.net>
3354 * lex.c (cxx_init): Call push_srcloc and pop_srcloc rather than
3355 assigning to input_filename directly.
3357 2003-07-06 Kazu Hirata <kazu@cs.umass.edu>
3359 * call.c: Fix comment formatting.
3360 * class.c: Likewise.
3361 * cp-tree.h: Likewise.
3363 * decl2.c: Likewise.
3364 * error.c: Likewise.
3365 * method.c: Likewise.
3366 * name-lookup.c: Likewise.
3367 * parser.c: Likewise.
3370 * search.c: Likewise.
3371 * typeck.c: Likewise.
3373 2003-07-06 Mark Mitchell <mark@codesourcery.com>
3376 * search.c (lookup_base_r): Remove is_non_public and
3377 within_current_scope parameters. Remove other dead code.
3378 (lookup_base): Adjust call to lookup_base_r.
3379 (adjust_result_of_qualified_name_lookup): Improve comment.
3380 * semantics.c (finish_call_expr): Use maybe_dummy_object.
3382 2003-07-06 Neil Booth <neil@daikokuya.co.uk>
3384 * cp-lang.c (LANG_HOOKS_HANDLE_FILENAME,
3385 LANG_HOOKS_MISSING_ARGUMENT): Override.
3387 2003-07-05 Mark Mitchell <mark@codesourcery.com>
3390 * typeck.c (build_static_cast): Check for reference conversions
3393 2003-07-04 Mark Mitchell <mark@codesourcery.com>
3395 * cp-tree.h (perform_integral_promotions): Declare.
3396 * call.c (build_addr_func): Use decay_conversion.
3397 (convert_arg_to_ellipsis): Likewise. Remove misleading comment.
3398 (convert_for_arg_passing): Use perform_integral_promotions.
3399 * cvt.c (build_expr_type_conversion): Use decay_conversion.
3400 (type_promotes_to): Do not return a cv-qualified type.
3401 * decl.c (grok_reference_init): Fix formatting.
3402 (get_atexit_node): Use decay_conversion.
3403 (build_enumerator): Use perform_integral_promotions.
3404 * init.c (build_vec_init): Use decay_conversion.
3405 * semantics.c (finish_expr_stmt): Likewise.
3406 (finish_switch_cond): Use perform_integral_promotions.
3407 * typeck.c (default_conversion): Likewise.
3408 (perform_integral_promotions): New function.
3409 (build_indirect_ref): Use decay_conversion.
3410 (build_array_ref): Use perform_integral_promotions.
3411 (convert_arguments): Use decay_conversion.
3412 (build_unary_op): Use perform_integral_promotions.
3413 (build_c_cast): Use decay_conversion.
3414 (build_modify_expr): Likewise.
3415 (convert_for_initialization): Likewise.
3416 * typeck2.c (build_x_arrow): Likewise.
3418 2003-07-04 Kazu Hirata <kazu@cs.umass.edu>
3420 * call.c: Fix comment typos.
3421 * class.c: Likewise.
3422 * cp-tree.h: Likewise.
3424 * decl2.c: Likewise.
3427 * mangle.c: Likewise.
3428 * parser.c: Likewise.
3430 * search.c: Likewise.
3431 * semantics.c: Likewise.
3433 * typeck.c: Likewise.
3435 2003-07-04 Zack Weinberg <zack@codesourcery.com>
3437 * parser.c (cp_lexer_read_token): No need to handle string
3438 constant concatenation.
3440 2003-07-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3442 * cp-tree.h (GCC_DIAG_STYLE, ATTRIBUTE_GCC_CXXDIAG): Define.
3443 (cp_error_at, cp_warning_at, cp_pedwarn_at): Mark with
3444 ATTRIBUTE_GCC_CXXDIAG.
3446 2003-07-03 Mark Mitchell <mark@codesourcery.com>
3448 * call.c (build_addr_func): Handle bound pointers-to-members.
3449 (build_method_call): Do not call resolve_offset_ref.
3450 (implicit_conversion): Likewise.
3451 (resolve_scoped_fn_name): Use finish_non_static_data_member, not
3453 (resolve_args): Do not call resolve_offset_ref.
3454 (build_conditional_expr): Likewise.
3455 (build_new_method_call): Likewise.
3456 * cp-tree.def (OFFSET_REF): Update documentation.
3457 * cvt.c (cp_convert_to_pointer): Update handling of conversions from
3458 pointers to members to pointers.
3459 (ocp_convert): Do not call resolve_offset_ref.
3460 (convert_to_void): Likewise.
3461 (build_expr_type_conversion): Likewise.
3462 * decl2.c (delete_sanity): Likewise.
3463 * init.c (resolve_offset_ref): Simplify greatly.
3464 (build_vec_delete): Do not call resolve_offset_ref.
3465 * parser.c (cp_parser_postfix_expression): Call resolve_offset_ref
3467 (cp_parser_unary_expression): Use
3468 cp_parser_simple_cast_expression.
3469 (cp_parser_delete_expression): Likewise.
3470 (cp_parser_cast_expression): Likewise.
3471 (cp_parser_pm_expression): Use cp_parser_binary_op.
3472 (cp_parser_simple_cast_expression): New function.
3473 * rtti.c (build_dynamic_cast_1): Do not call resolve_offset_ref.
3474 * semantics.c (finish_increment_expr): Likewise.
3475 (finish_typeof): Likewise.
3476 * tree.c (lvalue_p_1): Do not handle OFFSET_REF.
3477 * typeck.c (require_complete_type): Do not handle OFFSET_REFs.
3478 (decay_conversion): Do not call resolve_offset_ref.
3479 (finish_class_member_access_expr): Likewise.
3480 (convert_arguments): Likewise.
3481 (build_x_binary_op): Handle DOTSTAR_EXPR.
3482 (condition_conversion): Do not call resolve_offset_ref.
3483 (unary_complex_lvalue): Likewise.
3484 (build_static_cast): Likewise.
3485 (build_reinterpret_cast): Likewise.
3486 (build_const_cast): Likewise.
3487 (build_c_cast): Likewise.
3488 (build_modify_expr): Likewise.
3489 (convert_for_assignment): Likewise.
3490 (convert_for_initialization): Likewise.
3491 * typeck2.c (build_x_arrow): Likewise.
3492 (build_m_component_ref): Simplify.
3494 * call.c (build_scoped_method_call): Use convert_to_void.
3495 (build_method_call): Likewise.
3496 * class.c (check_field_decls): Remove dead code.
3497 * cvt.c (convert_from_reference): Remove OFFSET_TYPE handling.
3498 * decl2.c (grok_array_decl): Remove dead code.
3499 (arg_assoc_type): Avoid relying on POINTER_TYPE over OFFSET_TYPE
3500 as pointer-to-member representation.
3501 * init.c (build_offset_ref): Tidy.
3502 (build_vec_delete_1): Use convert_to_void.
3503 * mangle.c (write_type): Avoid relying on POINTER_TYPE over OFFSET_TYPE
3504 as pointer-to-member representation.
3506 2003-07-03 Nathan Sidwell <nathan@codesourcery.com>
3509 * decl.c (grokdeclarator): Return friend decls, not
3511 * decl2.c (grokfield): Alter friend decl check.
3512 * parser.c (struct cp_parser): Document default_arg chain on
3513 unparsed_functions_queue.
3514 (cp_parser_save_default_args): New.
3515 (cp_parser_init_declarator, cp_parser_function_definition,
3516 cp_parser_member_declaration): Call it.
3517 (cp_parser_class_specifier): Remove unused variable. Alter
3518 processing of unparsed_functions_queue.
3520 2003-07-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3522 * class.c (add_method, check_field_decl): Fix format specifier.
3523 * decl.c (duplicate_decls, pushdecl, check_goto,
3524 fixup_anonymous_aggr, maybe_commonize_var, grokdeclarator,
3525 start_enum): Likewise.
3526 * decl2.c (ambiguous_decl): Likewise.
3527 * pt.c (redeclare_class_template): Likewise.
3529 2003-07-02 Nathan Sidwell <nathan@codesourcery.com>
3532 * pt.c (type_unification_real): Don't unify exprs of error type.
3533 * tree.c (error_type): Don't die on error_type.
3536 * decl2.c (arg_assoc_class): Don't die on NULL type.
3537 * typeck.c (type_unknown_p): Don't die on untyped expressions.
3539 2003-07-01 Mark Mitchell <mark@codesourcery.com>
3542 * decl2.c (grokfield): Create TEMPLATE_DECLs for methods in local
3545 2003-07-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3547 * error.c (locate_error): %P takes an `int', not a `tree'.
3549 2003-07-02 Jan Hubicka <jh@suse.cz>
3551 * decl2.c (defer_fn): Set DECL_DEFER_OUTPUT.
3552 (finish-file): Do not process function with DECL_DEFER_OUTPUT clear;
3553 clear DECL_DEFER_OUTPUT once function is processed; avoid flags
3556 * cp-tree.h (DECL_NEEDED_P): Support unit-at-a-time
3557 (expand_or_defer_fn): Declare.
3558 (lower_function): Declare.
3559 * decl.c (start_cleanup_fn): Use expand_or_defer_fn.
3560 * decl2.c: Include cgraph.h and varpool.h
3561 (maybe_emit_vtables): Make explicit instantations as needed.
3562 (mark_member_pointers, lower_function): New functions.
3563 (finish_file): Do unit-at-a-time.
3564 * method.c (synthesize_method): Use expand_or_defer_fn.
3565 * optimize.c (maybe_clone_body): Use expand_or_defer_fn.
3566 * parser.c (cp_parser_function_definition_after_decl): Use
3568 * pt.c (instantiate_decl): Likewise.
3569 * semantics.c: Include cgraph.h
3570 (expand_or_defer_fn): Break out from ...
3571 (expand_body): ... here; deal with unit-at-a-time.
3572 * cp-lang.c (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION,
3573 LANG_HOOKS_CALLGRAPH_LOWER_FUNCTION): Define.
3575 2003-07-01 Mark Mitchell <mark@codesourcery.com>
3577 * call.c (resolve_scoped_fn_name): Return error_mark_node for
3580 2003-07-01 Mark Mitchell <mark@codesourcery.com>
3583 * call.c (resolve_scoped_fn_name): Check that the qualifying scope
3586 2003-07-01 Giovanni Bajo <giovannibajo@libero.it>
3589 * error.c (dump_decl): Handle BIT_NOT_EXPR as
3590 pseudo destructor calls.
3592 2003-07-01 Nathan Sidwell <nathan@codesourcery.com>
3594 * cp-tree.h (define_label): Replace filename and lineno
3595 arguments with a location_t.
3596 * decl.c (pop_label): Adjust define_label call.
3597 (define_label): Replace filename and lineno arguments with a
3599 * semantics.c (finish_label): Adjust define_label call.
3601 2003-07-01 Mark Mitchell <mark@codesourcery.com>
3604 * decl2.c (grokfield): Do not build NOP_EXPRs around the
3607 2003-06-30 Neil Booth <neil@daikokuya.co.uk>
3609 * Make-lang.in: Update.
3610 * cp-lang.c (c_language): Define.
3611 (LANG_HOOKS_INIT_OPTIONS): Use common hook.
3612 * cp-tree.h (cxx_init_options): Remove.
3613 * lex.c: Don't include diagnostic.h.
3614 (cxx_init_options): Remove.
3616 2003-06-30 Giovanni Bajo <giovannibajo@libero.it>
3619 * error.c (dump_expr): Support correctly the COMPOUND_EXPR
3620 tree generated within a template. Use dump_expr to dump an
3623 2003-06-30 Giovanni Bajo <giovannibajo@libero.it>
3625 * mangle.c (write_expression): Exit gracefully when trying to
3628 2003-06-30 Giovanni Bajo <giovannibajo@libero.it>
3631 * parser.c (cp_parser_primary_expression): A VAR_DECL with a
3632 (value- or type-) dependent expression as DECL_INITIAL is a
3633 valid constant-expression (at parser time).
3635 2003-06-30 Giovanni Bajo <giovannibajo@libero.it>
3638 * error.c (dump_decl): Call dump_decl to dump the DECL_NAME for a
3639 USING_DECL, instead of print_tree_identifier.
3641 2003-06-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
3643 * cp-tree.h (language_to_string): Adjust declaration.
3644 * dump.c (cp_dump_tree): Adjust usage.
3645 * error.c (dump_char): Use output_formatted_scalar. Tidy.
3646 (parm_to_string): Lose unused parameter. Tidy.
3647 (expr_to_string): Likewise.
3648 (code_to_string): Likewise.
3649 (language_to_string): Likewise.
3650 (op_to_string): Likewise.
3651 (assop_to_string): Likewise.
3652 (digit_buffer): Remove.
3653 (dump_type): Format builtin vector type as __vector__.
3655 2003-06-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
3657 * error.c (print_integer): Remove.
3658 (dump_type_suffix): Adjust.
3659 (dump_expr): Likewise.
3661 2003-06-28 Nathan Sidwell <nathan@codesourcery.com>
3663 * error.c (print_instantiation_partial_context): Take a
3665 (print_instantiation_full_context): Adjust.
3666 (print_instantiation_context): Adjust.
3668 * cp-tree.h (cp_line_of, cp_file_of): Remove.
3669 * error.c (cp_line_of, cp_file_of): Merge into ...
3670 (location_of): ... here. Make static, return a location_t.
3671 (cp_error_at, cp_warning_at, cp_pedwarn_at): Adjust.
3673 2003-06-28 Nathan Sidwell <nathan@codesourcery.com>
3676 * call.c (joust): Move warn_conversion check outwards.
3678 2003-06-27 Zack Weinberg <zack@codesourcery.com>
3680 * decl.c (build_typename_type)
3681 * mangle.c (write_template_template_arg)
3682 * parser.c (cp_parser_scope_through_which_access_occurs)
3683 * pt.c (push_access_scope_real, push_access_scope, pop_access_scope)
3684 * repo.c (get_base_filename)
3685 * semantics.c (maybe_convert_cond):
3686 Mark the definition static, matching the forward declaration.
3688 2003-06-27 Mark Mitchell <mark@codesourcery.com>
3691 * pt.c (tsubst): Handle qualified TYPEOF_TYPEs correctly.
3693 2003-06-27 Mark Mitchell <mark@codesourcery.com>
3696 * decl.c (finish_enum): Implement DR377.
3698 * decl.c (cp_finish_decl): Don't make variables with reference
3699 type readonly while they are being initialized.
3701 2003-06-26 Mark Mitchell <mark@codesourcery.com>
3704 * typeck.c (build_static_cast): Avoid returning expressions with
3707 2003-06-26 Nathan Sidwell <nathan@codesourcery.com>
3709 * call.c (build_op_delete_call): Use strip_array_call. Correct
3710 error message to say 'delete' or 'delete[]'.
3712 2003-06-26 Giovanni Bajo <giovannibajo@libero.it>
3715 * pt.c (check_explicit_specialization): When looking up a
3716 template function from an identifier outside class-scope, bind
3717 it to CP_DECL_CONTEXT.
3719 2003-06-25 Mark Mitchell <mark@codesourcery.com>
3722 * search.c (lookup_base_r): Rely on accessible_p, rather than
3723 trying to emulate that logic here.
3726 * call.c (convert_like): Pass issue_conversion_warnings.
3727 (convert_like_with_context): Likewise.
3728 (convert_like_real): Add issue_conversion_warnings parameter.
3729 (perform_direct_initialization_if_possible): New function.
3730 * cp-tree.h (perform_direct_initialization_if_possible): Declare it.
3731 * typeck.c (check_for_casting_away_constness): New function.
3732 (build_static_cast): Rewrite.
3734 2003-06-24 Nathan Sidwell <nathan@codesourcery.com>
3736 * call.c (enforce_access): Assert we get a binfo.
3737 (build_op_delete_call): Pass a binfo to
3738 perform_or_defer_access_check.
3739 * class.c (alter_access): Likewise.
3740 * decl.c (make_typename_type): Likewise.
3741 (make_unbound_class_template): Likewise.
3742 * lex.c (do_identifier): Likewise.
3743 * method.c (hack_identifier): Likewise.
3744 * parser.c (cp_parser_lookup_name): Likewise.
3745 * search.c (lookup_member): Likewise. Move IDENTIFIER_CLASS_VALUE
3747 * semantics.c (finish_non_static_data_member): Likewise.
3748 (perform_or_defer_access_check): Expect a binfo.
3749 * typeck.c (comptypes): Expect types.
3751 * mangle.c (find_substitution): Don't pass a non-type to same_type_p
3752 * friend.c (make_friend_class): Likewise.
3753 * pt.c (check_default_tmpl_args): Likewise.
3754 (lookup_template_class): Likewise.
3756 2003-06-24 Jan Hubicka <jh@suse.cz>
3758 * method.c (thunk_labelno): Move outside ifdef block to make garbage
3761 2003-06-24 Jan Hubicka <jh@suse.cz>
3763 * class.c (build_vtable): Make vtables.
3764 * cp-tree.h (DECL_VTABLE_OR_VTT_P): New macro.
3765 * decl2.c (output_vtable_inherit): Rename to ...
3766 (prepare_assemble_variable): ... this one; change interface.
3767 (maybe_emit_vtables): Do not call output_vtable_inherit.
3768 * cp-lang.c (LANG_HOOKS_PREPARE_ASSEMBLE_VARIABLE): Define.
3769 * cp-tree.h (prepare_assemble_variable): New.
3771 2003-06-23 Andrew Pinski <pinskia@physics.uc.edu>
3773 * method.c: add prototype for make_alias_for_thunk.
3774 (thunk_labelno, make_alias_for_thunk): only define
3775 if ASM_OUTPUT_DEF is defined.
3777 2003-06-23 Jakub Jelinek <jakub@redhat.com>
3779 * method.c (thunk_labelno): New variable.
3780 (make_alias_for_thunk): New function.
3781 (use_thunk): Use it if defined ASM_OUTPUT_DEF. Put the thunk
3782 into the same section as the function it is calling.
3783 Include gt-cp-method.h.
3784 * Make-lang.in (gt-cp-method.h): Depend on s-gtype.
3785 (cp/method.o): Depend on gt-cp-method.h.
3786 * config-lang.in (gtfiles): Add $(srcdir)/cp/method.c.
3788 2003-06-23 Jan Hubicka <jh@suse.cz>
3790 * decl.c (register_dtor_fn): Mark cleanup as used.
3791 * decl2.c (mark_vtable_entries): Skip nops.
3792 * rtti.c (get_tinfo_ptr): Mark tinfo as used.
3793 (build_dynamic_cast_1): Likewise.
3794 (tinfo_base_init): Likewise.
3795 (emit_tinfo_decl): Likewise.
3797 2003-06-23 Jakub Jelinek <jakub@redhat.com>
3799 * mangle.c (hash_type): Val is the TREE_LIST itself, not a pointer
3802 2003-06-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
3805 * call.c (joust): Warn about choosing conversion sequence only if
3808 2003-06-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
3811 * call.c (op_error): Tidy.
3812 * error.c (dump_expr): Properly format 'T()' when T is an
3815 2003-06-21 Gabriel Dos Reis <gdr@integrable-solutions.net>
3818 * decl.c (grok_op_properties): Warn possible confusing conversion
3819 only if -Wconversion.
3821 2003-06-20 Mark Mitchell <mark@codesourcery.com>
3824 * parser.c (cp_parser_class_head): See through dependent names
3825 when parsing a class-head.
3828 * pt.c (try_class_unification): Correct handling of member class
3831 2003-06-20 Nathan Sidwell <nathan@codesourcery.com>
3833 * semantics.c (genrtl_finish_function): Adjust
3834 expand_function_end call.
3836 2003-06-19 Mark Mitchell <mark@codesourcery.com>
3839 * pt.c (tsubst_decl): Do not try to substitute into non-dependent
3841 (value_dependent_expression_p): Correct logic for FUNCTION_DECLs.
3844 * cp-tree.h (pushdecl_class_level): Change prototype.
3845 (push_class_level_binding): Likewise.
3846 * decl.c (add_binding): Reject duplicate static data members.
3847 (pushdecl_class_level): Return a value indicating whether or not
3848 the binding was valid.
3849 (push_class_level_binding): Likewise.
3850 * semantics.c (finish_member_declaration): Don't keep invalid
3854 * call.c (initialize_reference): Do not use cp_finish_decl to emit
3855 temporary variables.
3856 * cp-tree.h (static_aggregates): Declare.
3857 (pushdecl_top_level_and_finish): Likewise.
3858 * decl.c (pushdecl_top_level_1): New function.
3859 (pushdecl_top_level): Use it.
3860 (pushdecl_top_level_and_finish): New function.
3861 (initialize_local_var): Remove redundant code.
3862 (cp_finish_decl): Remove support for RESULT_DECLs. Don't check
3864 * decl.h (static_aggregates): Remove.
3865 * decl2.c (get_guard): Use pushdecl_top_level_and_finish.
3866 * rtti.c (get_tinfo_decl): Use pushdecl_top_level_and_finish.
3867 (tinfo_base_init): Likewise.
3869 2003-06-19 Matt Austern <austern@apple.com>
3872 * init.c (build_zero_init): Assert that number of array elements
3873 is an integer constant.
3874 (build_default_init) Don't use build_zero_init for arrays with
3875 variable number of elements.
3877 2003-06-19 Andreas Jaeger <aj@suse.de>
3879 * cp-tree.h: Remove duplicated declarations.
3881 2003-06-18 Nathanael Nerode <neroden@gcc.gnu.org>
3883 * pt.c: Convert to ISO C.
3884 * semantics.c: Convert to ISO C.
3886 2003-06-18 Nathan Sidwell <nathan@codesourcery.com>
3888 * cp-tree.h (comp_except_specs, compparms, cp_has_mutable_p,
3889 at_least_as_qualified_p, more_qualified_p): Return bool.
3890 * typeck.c: ANSIFY function definitions.
3891 (comp_array_types): Take redeclaration bool parameter.
3892 (comptypes): Rearrange STRICT handling.
3893 (at_least_as_qualified_p, more_qualified_p,
3894 comp_cv_qualification): Cache cv quals.
3895 (compparms): Rearrange loop.
3897 2003-06-18 Nathan Sidwell <nathan@codesourcery.com>
3899 * cp-tree.h (COMPARE_RELAXED): Rename to ...
3900 (COMPARE_DERIVED): ... here. Adjust comment.
3901 (resolve_typename_type_in_current_instantiation): Remove.
3902 (cp_tree_equal, comptypes): Return a bool.
3903 * cvt.c (convert_to_reference): Adjust comptypes call.
3904 * pt.c (template_args_equal, unify,): Adjust cp_tree_equal call.
3905 (resolve_typename_type_in_current_instantiation): Remove.
3906 * tree.c (cp_tree_equal): Return bool. Cope with TEMPLATE_DECLs and
3907 IDENTIFIER_NODEs. Abort if undeciderable. Adjust recursive
3908 calls. Refactor code.
3909 * typeck.c (comp_array_types): Return bool. Lose callback.
3910 parameter. Adjust cp_tree_equal calls.
3911 (comptypes): Return bool. Adjust strict handling. Remove relaxed
3912 enumeration and java type handling. Deal with typename types here.
3913 Adjust recursive and cp_tree_equals calls. Adjust base and derived
3915 (comp_target_types): Remove unreachable code. Adjust
3916 same_or_base_type_p calls.
3917 (ptr_reasonably_similar): Adjust base and derived check.
3919 * typeck.c (maybe_warn_about_returning_address_of_local): Remove
3921 (check_return_expr): Adjust error messages.
3922 * cp-tree.def (SCOPE_REF): Correct comment.
3924 2003-06-17 Mark Mitchell <mark@codesourcery.com>
3926 * mangle.c (mangle_conv_op_name_for_type): Correct sprintf format
3929 2003-06-17 Robert Abeles <rabeles@archaelogic.com>
3931 * optimize.c (dump_function): Form complete flag name by
3932 prefixing 'fdump-' to string returned by dump_flag_name().
3934 2003-06-17 Mark Mitchell <mark@codesourcery.com>
3936 * mangle.c (mangle_conv_op_name_for_type): Correct sprintf format
3939 2003-06-17 Jason Merrill <jason@redhat.com>
3942 * decl.c (grokfndecl): Don't mark a function inline for
3943 -finline-functions if it isn't defined.
3945 2003-06-17 Mark Mitchell <mark@codesourcery.com>
3948 * class.c (handle_using_decl): Robustify.
3951 * cp-tree.h (DECL_CONV_FN_TYPE): New method.
3952 * mangle.c (struct globals): Remove internal_mangling_p.
3953 (write_unqualified_name): Use DECL_CONV_FN_TYPE.
3954 (write_template_parm): Don't write out the level number.
3955 (conv_type_names): New variable.
3956 (hash_type): New function.
3957 (compare_type): Likewise.
3958 (mangle_conv_op_name_for_type): Don't try to mangle conversion
3960 * search.c (lookup_conversion_operator): New function.
3961 (lookup_fnfields_1): Use it.
3963 2003-06-17 Andreas Jaeger <aj@suse.de>
3965 * except.c: Remove duplicate declaration of push_eh_cleanup.
3967 * call.c: Remove extra declaration of inhibit_warnings.
3969 2003-06-16 Nathanael Nerode <neroden@gcc.gnu.org>
3971 2003-06-16 Jens-Michael Hoffmann <jensmh@gmx.de>
3972 * mangle.c: Convert to ISO C.
3974 2003-06-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
3976 * cp/decl.c, cp/pt.c, cp/search.c, cp/tree.c: Don't use the PTR
3979 2003-06-16 Nathanael Nerode <neroden@gcc.gnu.org>
3981 * tree.c: Convert to ISO C.
3983 2003-06-16 Kazu Hirata <kazu@cs.umass.edu>
3985 * cp-tree.h: Follow spelling conventions.
3986 * mangle.c: Likewise.
3987 * method.c: Likewise.
3988 * parser.c: Likewise.
3990 2003-06-14 Nathan Sidwell <nathan@codesourcery.com>
3992 * decl.c (start_function): Adjust init_function_start call.
3993 * method.c (use_thunk): Likewise.
3994 * semantics.c (genrtl_start_function): Likewise.
3996 2003-06-14 Neil Booth <neil@daikokuya.co.uk>
3998 * Make-lang.in: Remove c-options.o.
4000 2003-06-13 Nathanael Nerode <neroden@gcc.gnu.org>
4002 * lex.c: Convert to ISO C.
4004 2003-05-19 Jens-Michael Hoffmann <jensmh@gmx.de>
4005 * init.c: removes use of PARAMS macro. Use ISO style function
4006 declarations. (Not copyright-significant change.)
4008 * rtti.c: Remove PARAMS.
4010 * typeck2.c: Convert to ISO C.
4012 2003-06-12 Mark Mitchell <mark@codesourcery.com>
4015 * typeck.c (build_c_cast): Check that the destination type is
4018 2003-06-11 Mark Mitchell <mark@codesourcery.com>
4021 * cp-tree.h (finish_declarator): Remove.
4022 * decl.c (cp_finish_decl): Make sure to pop_nested_class even for
4023 erroneous declarations.
4024 * semantics.c (finish_declarator): Remove.
4026 2003-06-11 Roger Sayle <roger@eyesopen.com>
4028 * decl2.c (generate_ctor_or_dtor_function): Avoid expanding a
4029 global static constructor/destructor if it will be empty, i.e.
4030 either doesn't call any ctors/dtors or only calls pure or const
4033 2003-06-11 Mark Mitchell <mark@codesourcery.com>
4035 * mangle.c (tm_p.h): Include it.
4036 * Make-lang.in (cp/mangle.o): Depend on $(TM_P_H).
4039 * tree.c (cp_cannot_inline_fn): Check for "inline" before
4042 2003-06-10 Jason Merrill <jason@redhat.com>
4045 * pt.c (mark_decl_instantiated): Clear DECL_COMDAT.
4047 2003-06-10 Andrew Pinski <pinskia@physics.uc.edu>
4049 * decl.c (start_cleanup_fn): Move static 'counter' out, mark with GTY.
4050 (start_cleanup_cnt): New.
4052 2003-06-10 Mark Mitchell <mark@codesourcery.com>
4055 * cp-tree.h (template_for_substitution): Declare.
4056 * decl2.c (mark_used): Use it when figuring out whether or not a
4058 * pt.c (template_for_substitution): Give it external linkage.
4059 * tree.c (cp_cannot_inline_tree_fn): Instantiate as early as
4062 2003-06-09 Zack Weinberg <zack@codesourcery.com>
4065 * mangle.c (write_real_cst): New function. Implement
4066 ABI-compliant mangling of floating-point literals when
4067 -fabi-version>=2; provide backward compatibility with 3.3 when
4068 -fabi-version=1 (with warning). Clarify commentary.
4069 (write_template_arg_literal): Use write_real_cst.
4071 2003-06-07 Andreas Jaeger <aj@suse.de>
4073 * cp/decl.c (xref_tag): Remove undefined macro NONNESTED_CLASSES.
4075 2003-06-07 Neil Booth <neil@daikokuya.co.uk>
4077 * cp-lang.c (LANG_HOOKS_DECODE_OPTON): Drop.
4078 (LANG_HOOKS_HANDLE_OPTION): Override.
4079 * cp-tree.h (cxx_init_options): Update.
4080 * lex.c (cxx_init_options): Update.
4082 2003-06-05 Jan Hubicka <jh@suse.cz>
4084 * Make-lang.in: Add support for stageprofile and stagefeedback
4086 2003-06-04 J"orn Rennecke <joern.rennecke@superh.com>
4088 * decl.c (grokdeclarator): Error_mark_node in, error_mark_node out.
4090 2003-06-04 Andreas Jaeger <aj@suse.de>
4092 * g++spec.c (lang_specific_driver): Remove ALT_LIBM usage.
4094 2003-06-03 Jason Merrill <jason@redhat.com>
4096 * cp/cp-tree.h (CP_AGGREGATE_TYPE_P): Accept vectors.
4098 * cp/decl.c (reshape_init): Handle vectors.
4100 * testsuite/g++.dg/init/array10.C: New.
4102 2003-06-03 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4105 * pt.c (check_explicit_specialization): Check for 'static'
4108 2003-05-31 Diego Novillo <dnovillo@redhat.com>
4110 * class.c (dump_array): Call CONSTRUCTOR_ELTS to access
4111 the operand of a CONSTRUCTOR node.
4113 2003-05-31 Gabriel Dos Reis <gdr@integrable-solutions.net>
4115 * decl.c (cp_binding_level::this_entity): Rename from this_class.
4116 (cxx_scope_descriptor): New function.
4117 (cxx_scope_debug): Likewise.
4118 (push_binding_level): Use it.
4119 (pop_binding_level): Likewise.
4120 (suspend_binding_level): Likewise.
4121 (resume_binding_level): Likewise.
4122 (pushlevel_class): Adjust use of this_class.
4123 (pushtag): Likewise.
4124 (lookup_name_real): Likewise.
4125 (global_scope_name): New variable.
4126 (initialize_predefined_identifiers): Initialize it.
4127 (push_namespace): Use it.
4128 (make_cxx_scope): New function.
4129 (pushlevel): Use it.
4130 (pushlevel_class): Likewise.
4131 (push_binding_level): Simplify. Loose the last two arguments.
4132 (make_binding_level): Remove.
4133 (initial_push__namespace_scope): New function.
4134 (push_namespace): Use it. Simplify.
4135 (cxx_init_decl_processing): Likewise.
4136 (declare_namespace_level): Remove.
4138 2003-05-31 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4141 * pt.c (instantiate_decl): Don't use full template arguments if
4142 we are dealing with specializations.
4144 2003-05-29 Gabriel Dos Reis <gdr@integrable-solutions.net>
4146 * decl.c (ENABLE_SCOPE_CHECKING): Rename from DEBUG_BINDING_LEVELS.
4147 (binding_depth): Unconditionally define.
4148 (is_class_level): Likewise.
4149 (indent): Likewise. Take an indenting parameter.
4150 (push_binding_level): Remove conditional definittion.
4151 (pop_binding_level): Likewise.
4152 (suspend_binding_level): Likewise.
4153 (resume_binding_level): Likewise.
4154 (pushlevel): Likewise.
4155 (pushlevel_class): Likewise.
4156 (poplevel_class): Likewise.
4157 (pop_everything): Likewise.
4159 2003-05-27 Gabriel Dos Reis <gdr@integrable-solutions.net>
4161 * name-lookup.h (global_scope_p): New macro.
4162 * decl.c (pop_binding_level): Use it. Don't refer directly to
4163 global_binding_level.
4164 (suspend_binding_level): Likewise.
4165 (global_bindings_p): Likewise.
4166 (print_other_binding_stack): Likewise.
4167 (print_binding_stack): Likewise.
4168 (maybe_push_to_top_level): Likewise.
4169 (pushdecl_namespace_level): Likewise.
4170 (cxx_init_decl_processing): Likewise.
4171 (start_decl): Likewise.
4172 (cp_finish_decl): Likewise.
4173 (start_function): Likewise.
4174 (global_binding_level): Remove.
4176 2003-05-25 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4178 * parser.c (cp_parser_explicit_instantiation): Restore old
4179 access before template instantiation.
4181 2003-05-23 Geoffrey Keating <geoffk@apple.com>
4183 * lang-specs.h: Use -o to specify preprocessor's output file.
4184 Make -no-integrated-cpp work when building PCH files.
4186 2003-05-23 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4189 * pt.c (instantiate_class_template): Use DECL_ARTIFICIAL to
4190 check for implicitly created typedef to an enum.
4192 2003-05-21 Jason Merrill <jason@redhat.com>
4194 * init.c (build_vec_delete): Copy the address into a temporary
4195 variable before calling build_vec_delete_1.
4196 * decl2.c (delete_sanity): Don't call stabilize_reference.
4198 2003-05-21 Nathan Sidwell <nathan@codesourcery.com>
4200 * pt.c (register_specialization): Update the decl's location,
4202 (check_explicit_specialization): Likewise.
4204 2003-05-20 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4206 * error.c (dump_expr): Use HOST_WIDE_INT_PRINT_DOUBLE_HEX.
4208 2003-05-21 Danny Smith <dannysmith@users.sourceforge.net>
4211 * decl.c (duplicate_decls): Re-invoke make_decl_rtl
4212 if the old decl had instantiated DECL_RTL.
4213 (Base on Richard Henderson 2003-05-13 patch to c-decl.c).
4215 2003-05-19 Matt Austern <austern@apple.com>
4217 * lang-options.h: Document -Wno-invalid-offsetof
4218 * typeck.c (build_class_member_access_expr): Don't complain about
4219 (Foo *)p->x for non-POD Foo if warn_invalid_offset is zero.
4221 2003-05-18 Andrew Pinski <pinskia@physics.uc.edu>
4223 * name-lookup.c (free_binding_entry): fix where the GTY markers are.
4224 (binding_entry_make): Make entry->chain NULL after getting an entry.
4225 fix the spelling of chain in a comment.
4226 (binding_table_free): speed up by having temporary variable.
4227 (binding_table_new): set table->chain to be NULL after allocating
4229 (cxx_binding_make): use gcc_alloc instead of ggc_alloc_cleared and set
4230 binding->previous to NULL after getting an binding for speed.
4232 2003-05-18 Gabriel Dos Reis <gdr@integrable-solutions.net>
4234 * cp-tree.h (struct lang_type_class): Replace data member tags
4235 with hash-table nested_udts.
4236 (CLASSTYPE_NESTED_UTDS): Rename from CLASSTYPE_TAGS.
4237 * class.c (unreverse_member_declarations): Don't touch
4239 (pushclass): Use cxx_remember_type_decls.
4240 * decl.c (struct cp_binding_level): Replace data member tags with
4241 hash-table type_decls.
4242 (pop_binding_level): Handle level->type_decls.
4243 (kept_level_p): Adjust.
4244 (poplevel): Remove unused local variable.
4245 (bt_print_entry): New function.
4246 (print_binding_level): Use it.
4247 (push_namespace): Build current_binding_level->type_decls.
4248 (maybe_process_template_type_declaration): Adjust.
4249 (pushtag): Likewise.
4250 (clear_anon_tags): Use binding_table_remove_anonymous_types.
4252 (cxx_remember_type_decls): Rename from storetags. Adjust.
4253 (lookup_tag): Use binding_table_find_anon_type. Tidy.
4254 (lookup_tag_reverse): Use binding_table_reverse_maybe_remap.
4255 (cxx_init_decl_processing): Build global_binding_level->type_decls.
4256 (store_parm_decls): Remove pointless code.
4257 * name-lookup.c (free_binding_entry): New variable.
4258 (ENTRY_INDEX): New macro.
4259 (struct binding_table_s): New datatype.
4260 (binding_entry_make): New function.
4261 (binding_entry_free): Likewise.
4262 (binding_table_construct): Likewise.
4263 (binding_table_free): Likewise.
4264 (binding_table_new): Likewise.
4265 (binding_table_expand): Likewise.
4266 (binding_table_insert): Likewise.
4267 (binding_table_find): Likewise.
4268 (binding_table_find_anon_type): Likewise.
4269 (binding_table_reverse_maybe_remap): Likewise.
4270 (binding_table_remove_anonymous_types): Likewise.
4271 (binding_table_foreach): Likewise.
4272 * name-lookup.h (binding_table): New type.
4273 (binding_entry): Likewise.
4274 (bt_foreach_proc): Likewise.
4275 (struct binding_entry_s): New datatype.
4276 (SCOPE_DEFAULT_HT_SIZE): New macro.
4277 (CLASS_SCOPE_HT_SIZE): Likewise.
4278 (NAMESPACE_ORDINARY_HT_SIZE): Likewise.
4279 (NAMESPACE_STD_HT_SIZE): Likewise.
4280 (GLOBAL_SCOPE_HT_SIZE): Likewise.
4281 (binding_table_new): Declare.
4282 (binding_table_free): Likewise.
4283 (binding_table_insert): Likewise.
4284 (binding_table_find_anon_type): Likewise.
4285 (binding_table_reverse_maybe_remap): Likewise.
4286 (binding_table_remove_anonymous_types): Likewise.
4287 (binding_table_foreach): Likewise.
4288 (binding_table_find): Likewise.
4289 (cxx_remember_type_decls): Likewise.
4290 * pt.c (bt_instantiate_type_proc): New function.
4291 (do_type_instantiation): Use it.
4292 * search.c (lookup_field_r): Use binding_table_find.
4294 2003-05-18 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4296 * semantics.c (perform_deferred_access_checks): Don't discard
4299 2003-05-17 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4301 * error.c (cp_error_at, cp_warning_at, cp_pedwarn_at): Eliminate
4302 libiberty VA_ macros, always use stdarg.
4303 * rtti.c (create_pseudo_type_info): Likewise.
4304 * tree.c (build_min_nt, build_min): Likewise.
4306 2003-05-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4308 * ptree.c (cxx_print_type, cxx_print_xnode): Use string
4309 concatentation on HOST_WIDE_INT_PRINT_* format specifier to
4310 collapse multiple function calls into one.
4311 * tree.c (debug_binfo): Likewise.
4313 2003-05-15 Jason Merrill <jason@redhat.com>
4316 * call.c (conditional_conversion): Don't consider implicit
4317 conversions if T2 is a base of T1.
4318 * cp-tree.h (DERIVED_FROM_P, UNIQUELY_DERIVED_FROM_P): Make boolean.
4319 (ACCESSIBLY_UNIQUELY_DERIVED_P, PUBLICLY_UNIQUELY_DERIVED_P): Likewise.
4321 * parser.c (cp_parser_primary_expression): Convert a static data
4322 member from reference.
4324 2003-05-15 Mark Mitchell <mark@codesourcery.com>
4326 * call.c (build_op_delete_call): Avoid creating unnecessary types.
4327 * class.c (instantiate_type): Remove tests for tf_no_attributes.
4328 * cp-tree.h (tsubst_flags_t): Remove tf_no_attributes.
4329 (COMPARE_NO_ATTRIBUTES): Remove.
4330 * typeck.c (comptypes): Do not check COMPARE_NO_ATTRIBUTES.
4333 * semantics.c (finish_typeof): Refine type-dependency check.
4335 2003-05-13 Jason Merrill <jason@redhat.com>
4337 * typeck.c (build_modify_expr): Don't always stabilize the lhs and
4338 rhs. Do stabilize the lhs of a MODIFY_EXPR used on the lhs.
4340 2003-05-11 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4342 * method.c (synthesize_method): Call push/pop_deferring_access_checks.
4344 2003-05-11 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4346 PR c++/10230, c++/10481
4347 * semantics.c (finish_non_static_data_member): Handle when the
4348 non-static member is not from a base of the current class type.
4350 2003-05-11 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4353 * pt.c (tsubst_copy): Handle TEMPLATE_DECL that is a member class
4354 template and has dependent context.
4356 2003-05-10 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4358 * pt.c (instantiate_decl): Call push/pop_deferring_access_checks.
4360 2003-05-10 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4363 * cp-tree.h (saved_scope): Remove check_access field.
4364 (tsubst_flags_t): Remove tf_parsing.
4365 * decl.c (maybe_push_to_top_level): Don't initialize
4366 scope_chain->check_access.
4367 (make_typename_type, make_unbound_class_template): Don't use
4369 (register_dtor_fn): Use push/pop_deferring_access_checks
4370 instead of scope_chain->check_access.
4371 * method.c (use_thunk): Likewise.
4372 * parser.c (cp_parser_explicit_instantiation
4373 (cp_parser_constructor_declarator_p): Don't call
4374 push/pop_deferring_access_checks here.
4375 (cp_parser_template_argument, cp_parser_class_name): Don't use
4377 (yyparse): Check flag_access_control.
4378 * pt.c (instantiate_class_template): Call
4379 push/pop_deferring_access_checks.
4380 * semantics.c (push_deferring_access_checks): Propagate
4382 (perform_or_defer_access_check): Make sure basetype_path is
4383 a type before comparison.
4384 * call.c (build_op_delete_call, build_over_call): Use
4385 perform_or_defer_access_check.
4386 * class.c (alter_access): Likewise.
4387 * init.c (build_offset_ref): Likewise.
4388 * lex.c (do_identifier): Likewise.
4389 * method.c (hack_identifier): Likewise.
4390 * search.c (lookup_member): Likewise.
4391 * semantics.c (finish_non_static_data_member): Likewise.
4392 (simplify_aggr_init_exprs_r): Use push/pop_deferring_access_checks
4393 instead of flag_access_control.
4395 2003-05-10 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4398 * parser.c (cp_parser_class_name): Remove check_access parameter.
4399 All caller adjusted. Update declaration.
4400 (cp_parser_lookup_name): Likewise.
4401 * semantics.c (push_deferring_access_checks): Change parameter type
4402 to enum deferring_kind. All caller adjusted.
4403 (resume_deferring_access_checks): Adjust to use new enum.
4404 (stop_deferring_access_checks): Likewise.
4405 (perform_or_defer_access_check): Likewise.
4406 * cp-tree.h (deferring_kind): New enum.
4407 (deferred_access): Adjust field type.
4408 (push_deferring_access_checks): Update declaration.
4410 2003-05-09 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4412 PR c++/10555, c++/10576
4413 * pt.c (lookup_template_class): Handle class template with
4414 multiple levels of parameters when one of the levels contain
4417 2003-05-08 Jason Merrill <jason@redhat.com>
4419 * init.c (build_new_1): Don't reuse a TARGET_EXPR in an
4420 expression. Undo some of the recent reorg.
4422 2003-05-07 Richard Henderson <rth@redhat.com>
4425 * cfns.gperf: Comment out POSIX thread cancellation points,
4426 plus abort and raise.
4427 * cfns.h: Regenerate.
4429 2003-05-07 Jason Merrill <jason@redhat.com>
4431 * call.c (build_conditional_expr): Don't assume that the folded
4432 expression has result_type.
4434 2003-05-06 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4436 * typeck.c (build_unary_op): Deal with const qualifier in
4437 invalid pointer-to-member earlier.
4439 2003-05-05 Jason Merrill <jason@redhat.com>
4442 * call.c (conditional_conversion): Build an RVALUE_CONV if
4443 we're just changing the cv-quals.
4444 (build_conditional_expr): Don't call convert to change
4447 2003-05-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4450 * typeck.c (build_unary_op): Don't output const qualifier when
4451 output invalid pointer-to-member diagnostics.
4453 2003-05-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4455 * decl.c: Fix typos.
4457 2003-05-05 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4460 * decl.c (start_function): Use same_type_p to check return type
4463 2003-05-03 Zack Weinberg <zack@codesourcery.com>
4466 * cp/typeck.c (build_x_compound_expr): No need to check
4467 extra_warnings as well as warn_unused_value.
4469 2003-05-03 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4471 PR c++/9364, c++/10553, c++/10586
4472 * decl.c (make_typename_type): Don't crash on illegal code.
4474 2003-05-03 Nathan Sidwell <nathan@codesourcery.com>
4476 * class.c (finish_struct): Use location_t and input_location
4478 * decl.c (make_label_decl): Likewise.
4479 (use_label): Likewise.
4480 * decl2.c (warn_if_unknown_interface): Likewise.
4481 (start_static_initialization_or_destruction): Likewise.
4482 (generate_ctor_or_dtor_function): Likewise.
4483 (finish_file): Likewise.
4484 * error.c (print_instantiation_full_context): Likewise.
4485 * init.c (create_temporary_var): Likewise.
4486 * method.c (synthesize_method): Likewise.
4487 * parser.c (cp_token): Likewise.
4488 (cp_lexer_set_source_position_from_token): Likewise.
4489 (cp_lexer_get_preprocessor_token): Likewise.
4490 (cp_parser_statement): Likewise.
4491 * pt.c (tsubst_friend_function): Likewise.
4492 (instantiate_class_template): Likewise.
4493 (tsubst_decl): Likewise.
4495 (instantiate_decl): Likewise.
4496 * semantics.c (begin_class_definition): Likewise.
4497 (expand_body): Likewise.
4499 2003-05-01 Nathan Sidwell <nathan@codesourcery.com>
4501 * class.c (finish_struct): Rename lineno to input_line.
4502 * decl.c (push_binding_level, pop_binding_level,
4503 suspend_binding_level, resume_binding_level, make_label_decl,
4504 use_label, start_function): Likewise.
4505 * decl2.c (warn_if_unknown_interface,
4506 start_static_initialization_or_destruction,
4507 generate_ctor_or_dtor_function, finish_file): Likewise.
4508 * error.c (cp_line_of, print_instantiation_full_context,
4509 print_instantiation_context): Likewise.
4510 * except.c (check_handlers_1, check_handlers): Likewise.
4511 * init.c (create_temporary_var): Likewise.
4512 * method.c (use_thunk, synthesize_method): Likewise.
4513 * parser.c (cp_lexer_set_source_position_from_token,
4514 cp_lexer_get_preprocessor_token): Likewise.
4515 * pt.c (push_tinst_level, pop_tinst_level,
4516 tsubst_friend_function, instantiate_class_template, tsubst_decl,
4517 tsubst, tsubst_expr, instantiate_decl): Likewise.
4518 * semantics.c (genrtl_try_block, finish_label_stmt,
4519 begin_class_definition, expand_body,
4520 genrtl_finish_function): Likewise.
4521 * tree.c (build_min_nt, build_min): Likewise.
4523 2003-05-01 Mark Mitchell <mark@codesourcery.com>
4525 * decl2.c (comdat_linkage): Don't externalize explicit
4528 2003-05-01 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4531 * decl2.c (do_class_using_decl): Check if operand 0 of SCOPE_REF
4534 2003-05-01 Steven Bosscher <steven@gcc.gnu.org>
4536 * cp-tree.h (struct lang_id2): Remove. Move fields from here...
4537 (struct lang_identifier): ... to here.
4538 (LANG_ID_FIELD): Remove.
4539 (SET_LANG_ID): Remove.
4540 (IDENTIFIER_LABEL_VALUE): Adjust for new lang_identifier.
4541 (SET_IDENTIFIER_LABEL_VALUE): Likewise.
4542 (IDENTIFIER_IMPLICIT_DECL): Likewise.
4543 (SET_IDENTIFIERL_IMPLICIT_DECL): Likewise.
4544 (IDENTIFIER_ERROR_LOCUS): Likewise.
4545 (SET_IDENTIFIER_ERROR_LOCUS): Likewise.
4547 2003-05-01 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4550 * pt.c (convert_template_argument): Correct diagnostic.
4552 2003-04-30 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4554 PR c++/9432, c++/9528
4555 * decl2.c (validate_nonmember_using_decl): Handle SCOPE_REF.
4557 2003-04-30 Garbiel Dos Reis <gcc@integrable-solutions.net>
4559 * decl.c (check_previous_goto_1): Adjust prototype.
4560 (check_previous_goto): Adjust use.
4561 (check_switch_goto): Likewise.
4562 (use_label): Adjust.
4563 (check_previous_goto_1): Don't use pedwarn_with_file_and_line.
4564 (struct named_label_use_list): Use location_t datatype.
4566 2003-04-29 Mark Mitchell <mark@codesourcery.com>
4569 * pt.c (mark_decl_instantiated): Defer all explicit instantiations
4570 that have not yet been written out.
4572 2003-04-29 Mark Mitchell <mark@codesourcery.com>
4575 * class.c (layout_class_type): Mark overlong bitfields as having
4576 the maximum size permitted by their type, after layout.
4579 * error.c (dump_expr): Correctly handling of NEW_EXPR.4
4581 2003-04-29 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4583 * call.c (build_operator_new_call): Fix typo.
4584 * lang-options.h: Likewise.
4586 2003-04-29 Mark Mitchell <mark@codesourcery.com>
4589 * cp-tree.h (lookup_field_1): Declare it.
4590 * search.c (lookup_field_1): Make it public.
4591 * decl.c (reshape_init): Handle designated initializers.
4593 * decl.c (maybe_commonize_var): Further tweak support for systems
4594 without weak symbols.
4596 2003-04-27 Mark Mitchell <mark@codesourcery.com>
4598 * decl.c (maybe_commonize_var): Fix thinko in last patch.
4600 2003-04-27 Mark Mitchell <mark@codesourcery.com>
4603 * method.c (use_thunk): Decrement immediate_size_expand.
4606 * cp-tree.h (DECL_VAR_MARKED_P): New macro.
4607 (DECL_MAYBE_TEMPLATE): Remove.
4608 * class.c (fixed_type_or_null): Avoid infinite recursion.
4610 * decl.c (maybe_commonize_var): Make the code match the comments.
4611 * pt.c (instantiate_decl): Move call to import_export_decl.
4613 2003-04-26 Mark Mitchell <mark@codesourcery.com>
4615 * decl2.c (finish_file): Fix merge botch.
4617 2003-04-25 Mark Mitchell <mark@codesourcery.com>
4619 * decl2.c (finish_file): Don't call import_export_decl for
4620 functions that are not defined.
4621 (handle_class_head): Robustify.
4622 * pt.c (instantiate_decl): Do not call cp_finish_decl for
4623 variables that are not defined.
4625 2003-04-24 Sylvain Pion <Sylvain.Pion@mpi-sb.mpg.de>
4627 * call.c (print_z_candidates): Fix off by one error.
4629 2003-04-24 Nathan Sidwell <nathan@codesourcery.com>
4632 * call.c (joust): Don't warn about conversion ops that are exact
4633 or cv-conversions. Rearrange to avoid multiple type comparisons.
4635 2003-04-23 Mark Mitchell <mark@codesourcery.com>
4638 * call.c (build_cxx_call): Robustify.
4640 2003-04-23 Neil Booth <neil@daikokuya.co.uk>
4642 * Make-lang.in (lex.o): Remove mbchar.h.
4643 * lex.c (MULTIBYTE_CHARS): Lose.
4644 * parser.c (cp_lexer_get_preprocessor_token): CPP_OTHER handled
4647 2003-04-23 Mark Mitchell <mark@codesourcery.com>
4650 * cp-tree.h (duplicate_tag_error): Remove.
4651 * class.c (duplicate_tag_error): Remove.
4652 * semantics.c (begin_class_definition): Return immediately for a
4653 duplicate class definition.
4656 * decl.c (grokdeclarator): Correct logic for "mutable" errors.
4658 2003-04-22 Mark Mitchell <mark@codesourcery.com>
4661 * search.c (lookup_fnfields_1): Handle empty slots in the method
4665 * decl.c (check_elaborated_type_specifier): New function, split
4667 (xref_tag): ... here. Use the new function in more places.
4669 * rtti.c (throw_bad_typeid): Use build_cxx_call.
4671 2003-04-21 Mark Mitchell <mark@codesourcery.com>
4673 * call.c (build_over_call): Use build_cxx_call.
4674 (build_cxx_call): New method, split out of build_over_call.
4675 * cp-tree.h (language_function): Add can_throw.
4676 (build_cxx_call): Declare it.
4677 * decl.c (finish_function): If a function does not contain any
4678 calls to functions that can throw an exception, indicate that
4680 * decl2.c (mark_used): Do not defer the instantiation of
4681 functions, if the current function does not throw.
4682 * optimize.c (maybe_clone_body): Copy TREE_NOTHROW to the clones.
4683 * pt.c (instantiate_decl): Make sure import_export_decl is called
4684 before emitting things.
4685 * rtti.c (throw_bad_cast): Use build_cxx_call.
4686 (build_dynamic_cast_1): Likewise.
4687 * typeck.c (build_function_call): Likewise.
4689 2003-04-21 Nathan Sidwell <nathan@codesourcery.com>
4692 * typeck.c (build_unary_op): Fold all COMPONENT_REF addr
4693 expressions. Reverts my 2002-08-08 patch.
4695 * typeck.c (comp_ptr_ttypes_real): Swap final && operands for
4698 2003-04-20 Nathan Sidwell <nathan@codesourcery.com>
4700 * cp/decl2.c (start_static_storage_duration_function): Take count
4701 arg, don't check if it wraps round.
4702 (generate_ctor_or_dtor_function): Add locus arg, use it.
4703 (generate_ctor_and_dtor_functions_for_priority): Data arg is a
4705 (finish_file): Set line numbers to past EOF for synthesized
4708 2003-04-20 Nathan Sidwell <nathan@codesourcery.com>
4711 * search.c (lookup_field_1): Final scan goes backwards for
4712 types, forwards for non-types.
4714 2003-04-17 Roger Sayle <roger@eyesopen.com>
4717 * decl.c (duplicate_decls): Preserve "const", "noreturn" and
4718 "nothrow" function attributes.
4720 2003-04-17 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
4723 * pt.c (type_dependent_expression_p): Handle array new.
4725 2003-04-15 Mark Mitchell <mark@codesourcery.com>
4728 * parser.c (cp_parser_primary_expression): Reorganize logic for
4729 dealing with name lookup failures.
4731 2003-04-15 Jason Merrill <jason@redhat.com>
4733 * decl2.c (mark_used): Don't instantiate anything if
4736 2003-04-14 Ziemowit Laski <zlaski@apple.com>
4738 * tree.c (build_cplus_array_type_1): Do not call
4739 uses_template_parms() on a NULL index_type.
4741 2003-04-13 Roger Sayle <roger@eyesopen.com>
4743 * decl.c (duplicate_decls): Preserve pure and malloc attributes.
4745 2003-04-12 Mark Mitchell <mark@codesourcery.com>
4748 * init.c (build_new_1): Reorganize.
4750 2003-04-12 Zack Weinberg <zack@codesourcery.com>
4752 * class.c (initialize_array)
4753 * decl.c (reshape_init)
4754 * decl2.c (build_expr_from_tree)
4755 * init.c (build_zero_init)
4756 * pt.c (tsubst_copy, tsubst_copy_and_build)
4757 * rtti.c (tinfo_base_init, generic_initializer, ptr_initializer)
4758 (ptm_initializer, class_initializer, get_pseudo_ti_init)
4759 * semantics.c (finish_compound_literal)
4760 * typeck.c (build_ptrmemfunc1)
4761 * typeck2.c (store_init_value, process_init_constructor)
4762 (build_functional_cast): Use build_constructor.
4764 2003-04-12 Zack Weinberg <zack@codesourcery.com>
4766 * call.c (print_z_candidates): Use gcc_gettext_width, not
4767 strlen, to determine how much padding to use.
4769 2003-04-10 Zack Weinberg <zack@codesourcery.com>
4771 * decl.c: Update all calls to shadow_warning.
4773 2003-04-10 Mark Mitchell <mark@codesourcery.com>
4775 * class.c (layout_class_type): Correct handling for overlong
4776 bit-fields whose width is the same as an integer type.
4778 2003-04-06 Zack Weinberg <zack@codesourcery.com>
4780 * cp-tree.def: Make fourth element for all 'c' and 'x' nodes zero.
4781 * cp-lang.c (cp_tree_size): New function.
4782 (LANG_HOOKS_TREE_SIZE): Override.
4784 * cp-tree.h (SOURCE_LOCUS, SRCLOC_FILE, SRCLOC_LINE, struct
4785 tree_srcloc, TS_CP_COMMON, TS_CP_SRCLOC): Kill.
4786 (union lang_tree_node): Remove common and srcloc members.
4787 (build_srcloc_here): Don't prototype.
4788 * decl.c (cp_tree_node_structure): Kill SRCLOC case.
4789 * pt.c (pending_templates): Correct comment.
4790 * tree.c (build_srcloc, build_srcloc_here): Kill.
4792 2003-04-06 Zack Weinberg <zack@codesourcery.com>
4794 * call.c: Include intl.h.
4795 (print_z_candidate): Always use inform; get rid of errfn
4796 argument. Reorganize so that all the strings get picked up
4797 by xgettext. Note obligation of caller to pass first argument
4799 (print_z_candidates): Update to match. Indent second and
4800 successive candidates by strlen() of translated message.
4801 (joust): Restructure ambiguous-conversion pedwarn so that
4802 translators see a complete sentence. Update calls to
4805 * Make-lang.in (cp/call.o): Update dependencies.
4807 2003-04-05 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4809 * decl.c (set_current_binding_level): Delete, revert last change.
4810 (current_binding_level): Modify to allow it as as lvalue.
4812 2003-04-04 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4814 * name-lookup.c (find_binding): Pass appropriate pointer type to
4815 POP_TIMEVAR_AND_RETURN.
4817 2003-04-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4819 * Make-lang.in (cp-warn): Add $(STRICT_WARN).
4820 * cp-tree.h: Don't insist on having GNUC.
4822 2003-04-03 Jason Merrill <jason@redhat.com>
4824 * cvt.c (ocp_convert): Only abort if we try to convert an object
4825 of TREE_ADDRESSABLE type.
4827 * class.c (build_vtable): Set DECL_ALIGN here.
4828 (get_vtable_decl): Not here.
4829 (layout_vtable_decl): Or here.
4830 (create_vtable_ptr): Or here.
4831 (layout_class_type): Or here.
4832 (check_bitfield_decl): Don't mess with field alignment.
4834 2003-04-03 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
4836 * operators.def (DEF_SIMPLE_OPERATOR, DEF_ASSN_OPERATOR,
4837 DEF_ASSN_OPERATOR): Delete spurious semi-colon.
4838 * rtti.c (dfs_class_hint_mark): Likewise.
4840 * decl.c (push_local_name, push_class_level_binding,
4841 maybe_inject_for_scope_var): Don't use POP_TIMEVAR_AND_RETURN in
4842 functions returning void.
4843 * decl2.c (add_using_namespace): Likewise.
4845 * decl.c (print_binding_level, print_other_binding_stack,
4846 print_binding_stack): Cast argument of %p specifier to void*.
4847 * ptree.c (cxx_print_decl): Likewise.
4849 * cp-tree.h (VAR_OR_FUNCTION_DECL_CHECK,
4850 VAR_FUNCTION_OR_PARM_DECL_CHECK,
4851 VAR_TEMPL_TYPE_OR_FUNCTION_DECL_CHECK, RECORD_OR_UNION_TYPE_CHECK,
4852 BOUND_TEMPLATE_TEMPLATE_PARM_TYPE_CHECK, LANG_TYPE_CLASS_CHECK,
4853 LANG_TYPE_PTRMEM_CHECK, LANG_DECL_U2_CHECK): Add __extension__.
4855 * decl.c (set_current_binding_level): New macro. Use throughout
4856 when setting the current binding level.
4858 * cp-tree.h (cp_lvalue_kind, base_access): Delete trailing comma
4860 * method.c (mangling_flags): Likewise.
4862 * cp-tree.h (lang_type_header): Add __extension__ and use
4863 CHAR_BITFIELD for members.
4865 2003-04-02 Geoffrey Keating <geoffk@apple.com>
4868 * mangle.c: Include gt-cp-mangle.h.
4869 (subst_identifiers): Mark with GTY.
4870 * config-lang.in (gtfiles): Add cp/mangle.c.
4871 * Make-lang.in: (gt-cp-mangle.h): New rule.
4872 (cp/mangle.o): Depends on gt-cp-mangle.h.
4874 2003-04-01 Andrew Pinski <pinskia@physics.uc.edu>
4876 * config-lang.in (gtfiles): Add \$(srcdir)/cp/name-lookup.c
4877 after \$(srcdir)/cp/name-lookup.h.
4878 * name-lookup.c: (cxx_binding_make): Use ggc_alloc_clearedinstead
4879 of ggc_alloc. Include gt-cp-name-lookup.h at the end of the file.
4880 * Make-lang.in: (gt-cp-name-lookup.h): Is generated by gengtype.
4881 (cp/name-lookup.o): Depends on gt-cp-name-lookup.h.
4883 2003-03-31 Jason Merrill <jason@redhat.com>
4886 * class.c (check_field_decl): Don't set DECL_ALIGN.
4888 2003-03-30 Mark Mitchell <mark@codesourcery.com>
4891 * decl.c (grokdeclarator): Tidy, slightly.
4892 * search.c (lookup_field_1): Add want_type parameter.
4893 (lookup_field_r): Adjust call to lookup_field_1.
4895 2003-03-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
4897 * Make-lang.in (cp/name-lookup.o): Add more dependencies.
4899 2003-03-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
4901 * cp-tree.h (binding_for_name: Move to name-lookup.h Adjust
4903 (cxx_scope_find_binding_for_name): Likewise.
4904 * decl.c (find_binding: Move to name-lookup.c.
4905 (binding_for_name): Likewise.
4906 (cxx_scope_find_binding_for_name): Likewise.
4907 (BINDING_LEVEL): Remove.
4908 (push_binding): Tidy.
4909 (push_class_binding): Likewise.
4910 (pop_binding): Likewise.
4911 (poplevel): Likewise.
4912 (poplevel_class): Likewise.
4913 (set_identifier_type_value_with_scope): Likewise.
4914 (push_overloaded_decl): Likewise.
4915 (lookup_tag): Likewise.
4916 (unqualified_namespace_lookup): Likewise.
4917 (lookup_name_current_level): Likewise.
4918 (maybe_inject_for_scope_var): Likewise.
4919 (namespace_binding): Move to name-lookup.c.
4920 (set_namespace_binding): Likewise.
4921 * decl2.c (lookup_using_namespace): Tidy.
4922 (qualified_lookup_using_namespace): Likewise.
4923 (do_toplevel_using_decl): Likewise.
4924 * name-lookup.c: Include "timevar.h"
4925 * name-lookup.h (cxx_scope): Declare.
4926 (struct cxx_binding): Lose member "has_level". Adjust "scope"
4928 (BINDING_SCOPE): Adjust definition.
4929 (BINDING_HAS_LEVEL_P): Remove.
4931 2003-03-30 Gabriel Dos Reis <gdr@integrable-solutions.net>
4933 * name-lookup.c: New file.
4934 * name-lookup.h: Likewise..
4935 * decl.c (push_binding): Adjust use cxx_binding_make.
4936 (free_bindings): Move to name-lookup.c
4937 (pop_binding): Use cxx_binding_free.
4938 (binding_for_name): Tidy.
4939 * cp-tree.h: Include "name-lookup.h"
4940 (cxx_binding_make): Move to name-lookup.h
4941 (cxx_binding_clear): Likewise.
4942 (struct cxx_binding): Likewise.
4943 (LOCAL_BINDING_P): Likewise.
4944 (INHERITED_VALUE_BINDING_P): Likewise.
4945 (BINDING_SCOPE): Likewise.
4946 (BINDING_HAS_LEVEL_P): Likewise.
4947 (BINDING_VALUE): Likewise.
4948 (BINDING_TYPE): Likewise.
4949 * config-lang.in (gtfiles): Add cp/name-lookup.h
4950 * Make-lang.in (cp/name-lookup.o): New rule.
4951 (CXX_OBJS): Add cp/name-lookup.o
4952 (CXX_TREE_H): Add cp/name-lookup.h
4954 2003-03-28 Jason Merrill <jason@redhat.com>
4957 * cvt.c (force_rvalue): New fn.
4958 * call.c (build_conditional_expr): Use it.
4959 * cp-tree.h: Declare it.
4961 2003-03-28 Mike Stump <mrs@apple.com>
4963 * error.c (dump_expr): Add 0x to printed hex numbers to make
4964 output match source code better.
4966 2003-03-28 Mark Mitchell <mark@codesourcery.com>
4969 * decl.c (grokfndecl): Return NULL_TREE for bogus out-of-class
4972 * decl2.c (generate_ctor_or_dtor_function): Tolerate a
4973 non-existant ssdf_decls array.
4974 (finish_file): Call generator_ctor_or_dtor_function when there are
4975 static constructors or destructors and no other static
4978 2003-03-28 Nathan Sidwell <nathan@codesourcery.com>
4981 * decl2.c (finish_file): Don't warn about explicitly instantiated
4984 2003-03-27 Nathan Sidwell <nathan@codesourcery.com>
4987 * pt.c (lookup_template_class): Only check instantiated args if
4988 they do not contain template parameters.
4990 2003-03-27 Nathan Sidwell <nathan@codesourcery.com>
4993 * parser.c (cp_parser_function_definition): Set
4994 DECL_INITIALIZED_IN_CLASS for members.
4995 * pt.c (instantiate_decl): Only reduce the template args for
4996 friends that are not defined in class.
4998 2003-03-25 Jason Merrill <jason@redhat.com>
5000 * call.c (print_z_candidate): Change name of first arg to msgid.
5001 (joust): Add comment for translators.
5003 2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
5005 PR c++/9898, PR c++/383, DR 322
5006 * pt.c (maybe_adjust_types_for_deduction) <DEDUCE_CONV>: Look
5007 through reference types on both PARM and ARG.
5009 2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
5012 * error.c (dump_expr) <BASELINK>: Use dump_expr.
5013 * pt.c (maybe_fold_nontype_args): New function.
5014 (tsubst_copy) <SCOPE_REF>: Subst any template_id args.
5015 <TEMPLATE_ID_EXPR>: Break out folding code, call it.
5016 (tsubst_copy_and_build) <TEMPLATE_ID_EXPR>: Call
5017 maybe_fold_nontype_args.
5019 2003-03-24 Nathan Sidwell <nathan@codesourcery.com>
5022 * decl2.c (arg_assoc_type) <ERROR_MARK>: Don't die.
5024 2003-03-23 Mark Mitchell <mark@codesourcery.com>
5027 * typeck.c (cxx_mark_addressable): Adjust call to
5028 gen_mem_addressof or put_var_into_stack.
5030 2003-03-22 Nathan Sidwell <nathan@codesourcery.com>
5032 PR c++/9978, c++/9708
5033 * cp-tree.h (instantiate_template): Add tsubst_flags parameter.
5034 * call.c (add_template_candidate_real): Adjust
5035 instantiate_template call.
5036 * class.c (resolve_address_of_overloaded_function): Likewise.
5037 * decl.c (build_enumerator): Set TREE_CONSTANT.
5038 * pt.c (check_instantiated_args): New.
5039 (push_inline_template_parms_recursive): Set TREE_CONSTANT,
5041 (build_template_parm_index): Copy TREE_CONSTANT, TREE_READONLY.
5042 (reduce_template_parm_level): Likewise.
5043 (process_template_parm): Likewise.
5044 (check_explicit_specialization): Adjust instantiate_template call.
5045 (convert_template_argument): Don't check non-type argument here.
5046 (lookup_template_class): Check them here.
5047 (tsubst_friend_function): Adjust instantiate_template call.
5048 (instantiate_template): Add tsubst_flags parameter, use it. Check
5051 2003-03-21 Zack Weinberg <zack@codesourcery.com>
5053 * decl.c: Update calls to shadow_warning.
5055 2003-03-21 Nathan Sidwell <nathan@codesourcery.com>
5058 * error.c (dump_decl) [CONST_DECL]: Print '<enumerator>'.
5059 (dump_expr) [CONSTRUCTOR]: Print default ctor as a function call.
5061 2003-03-20 Mark Mitchell <mark@codesourcery.com>
5063 * cp/decl2.c (arg_assoc_class): Correct check for namespace-scope
5065 * cp/pt.c (instantiate_class_template): Fix formatting.
5067 2003-03-14 Matt Austern <austern@apple.com>
5069 * cp-tree.h (unemitted_tinfo_decls): Declaration of a new varray.
5070 (unemitted_tinfo_decl_p): Remove.
5071 (emit_tinfo_decl): Change declaration to remove unused parameter.
5072 * decl2.c (finish_file): Change tinfo emission to loop through
5073 unemitted_tinfo_decls array instead of looping through all decls.
5074 * rtti.c (unemitted_tinfo_decl_p): Declare as static, remove
5075 unused second parameter.
5076 (init_rtti_processing): initialize unemitted_tinfo_decls varray.
5077 (get_tinfo_decls): push new tinfo decl on unemitted_tinfo_decls.
5078 (emit_tinfo_decl): remove unused second parameter, add assertion
5079 that decl hasn't already been emitted.
5081 2003-03-19 Nathanael Nerode <neroden@gcc.gnu.org>
5083 * dump.c (cp_dump_tree), cp-tree.h (cp_dump_tree): Change return
5084 type from 'int' to 'bool'. Replace 0 and 1 with true and false in
5087 2003-03-19 Jason Merrill <jason@redhat.com>
5089 PR c++/8316, c++/9315, c++/10136
5090 * call.c (print_z_candidate): Split out from...
5091 (print_z_candidiates): ...here.
5094 2003-03-17 Roger Sayle <roger@eyesopen.com>
5097 * decl.c (duplicate_decls): Use the new type when prototyping
5098 anticipated decls, even when the types match. This defines the
5099 exception list for the built-in function.
5101 2003-03-17 Jason Merrill <jason@redhat.com>
5104 * typeck.c (build_class_member_access_expr): Compare
5107 2003-03-17 Mark Mitchell <mark@codesourcery.com>
5110 * parser.c (cp_parser_declarator_id): Clear parser->scope.
5112 2003-03-16 Jason Merrill <jason@redhat.com>
5115 * decl.c (finish_function): Only allow the NRVO to use variables
5116 declared at function scope.
5118 2003-03-17 Andreas Jaeger <aj@suse.de>
5120 * Make-lang.in (cp/TAGS): Remove.
5122 2003-03-16 Nathan Sidwell <nathan@codesourcery.com>
5125 * cp-tree.h (struct language_function): Add in_base_initializer.
5126 (in_base_initializer): define it.
5127 (expand_member_init): Remove INIT param.
5128 * init.c (expand_member_init): Remove INIT param, return the member.
5129 (emit_mem_initializers): Set in_base_initializer.
5130 * class.c (build_base_path): Check in_base_initializer.
5131 * parser.c (cp_parser_mem_initializer): Set in_base_initializer.
5132 * pt.c (tsubst_initializer_list): Likewise.
5134 2003-03-16 Gabriel Dos Reis <gdr@integrable-solutions.net>
5136 * decl.c (binding_for_name): Fix initialization thinko.
5138 2003-03-15 Gabriel Dos Reis <gdr@integrable-solutions.net>
5140 Compile-time improvement: 2/n.
5141 * cp-tree.h (struct cxx_binding): New datatype;
5142 (struct lang_identifier): Use it.
5143 (LOCAL_BINDING_P): Adjust definition.
5144 (INHERITED_VALUE_BINDING_P): Likewise.
5145 (BINDING_SCOPE): Likewise.
5146 (BINDING_HAS_LEVEL_P): Likewise.
5147 (BINDING_VALUE): Likewise.
5148 (BINDING_TYPE): Likewise.
5149 (IDENTIFIER_VALUE): Likewise.
5150 (struct tree_binding): Remove.
5151 (TS_CP_BINDING): Likewise.
5152 ((union lang_tree_node): Remove field "binding".
5153 (cxx_binding_clear): New macro.
5154 (binding_for_name): Adjust return type.
5155 (qualified_lookup_using_namespace): Adjust prototype.
5156 (lookup_using_namespace): Adjust prototype.
5157 (cxx_scope_find_binding_for_name): Declare.
5158 * cp-tree.def: Remove CPLUS_BINDING definition.
5159 * decl.c (push_binding): Adjust local variable type.
5160 (add_binding): Likewise.
5161 (push_class_binding): Likewise.
5162 (pop_binding): Likewise.
5163 (poplevel): Likewise.
5164 (poplevel_class): Likewise.
5165 (free_bindings): Adjust type.
5166 (find_binding): Adjust return type, add a third parameter. Remove
5167 non-useful assertion now that we use static typing.
5168 (cxx_scope_find_binding_for_name): New function.
5169 (binding_for_name): Use it. Adjust local variable type. Simplify.
5170 (namespace_binding): Simplify.
5171 (set_namespace_binding): Likewise.
5172 (set_identifier_type_value_with_scope): Adjust local variable type.
5173 (lookup_tag): Don't type-abuse of local variable 'old'.
5174 (lookup_namespace_name): Likewise. Allocate binding on stack.
5175 (select_decl): Adjust prototype.
5176 (unqualified_namespace_lookup): Allocate binding on stack.
5177 Don't type-abuse of local variable 'val'.
5178 (lookup_name_real): Likewise.
5179 (maybe_inject_for_scope_var): Adjust local variable type.
5180 (cp_tree_node_structure): Remove CPLUS_BINDING case label.
5181 (namespace_binding): Adjust logic, simplify.
5182 (BINDING_LEVEL): Adjust definition.
5183 (push_class_level_binding): Adjust local variable type.
5184 (struct cxx_saved_binding): Adjust field 'binding' type.
5185 * decl2.c (ambiguous_decl): Adjust prototype.
5186 (lookup_using_namespace): Adjust local variable type.
5187 (qualified_lookup_using_namespace): Catch type error and correct
5188 ensueing logic error.
5189 (do_nonmember_using_decl): Adjust local variable type. Allocate
5190 temporary cxx_binding on stack.
5191 (do_toplevel_using_decl): Adjust local variable type.
5192 * ptree.c (cxx_print_cxx_binding): New function.
5193 (cxx_print_identifier): Use it.
5194 (cxx_print_xnode): Delete CPLUS_BINDING case label.
5196 2003-03-15 Roger Sayle <roger@eyesopen.com>
5198 * tree.c (count_functions): Fix whitespace.
5200 2003-03-15 Neil Booth <neil@daikokuya.co.uk>
5202 * Make-lang.in: Update.
5204 2003-03-15 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5207 * pt.c (maybe_process_partial_specialization): Handle
5208 member class template when enclosing class template is
5209 explicit specialized.
5210 (most_general_template): Stop looking when DECL is already
5213 2003-03-13 Jason Merrill <jason@redhat.com>
5216 * search.c (lookup_conversions): Call complete_type here.
5217 * call.c (implicit_conversion): Not here.
5219 2003-03-13 Mark Mitchell <mark@codesourcery.com>
5221 * decl2.c (do_nonmember_using_decl): Correct handling of
5222 simultaneous type/non-type bindings.
5224 * call.c (initialize_reference): Remove bogus assertion.
5225 * decl.c (build_ptrmemfunc_type): Revert change of 2003-03-09.
5227 2003-03-12 Andrew Lewycky <andrew@mxc.ca>
5230 * expr.c (cxx_expand_expr): Return const0_rtx for throw
5233 2003-03-11 Mark Mitchell <mark@codesourcery.com>
5236 * decl2.c (do_nonmember_using_decl): Do not call duplicate decls
5237 to merge old and new declarations.
5239 2003-03-12 Alexandre Oliva <aoliva@redhat.com>
5242 * Make-lang.in (c++.generated-manpages): Build cp/g++.1.
5243 (cp/g++.1): Build it from scratch in the build tree.
5244 (c++.install-man): Depend on it. Install it from the build tree.
5245 (c++.mostlyclean): Clean it.
5247 2003-03-11 Mark Mitchell <mark@codesourcery.com>
5250 * decl2.c (do_nonmember_using_decl): Do not call duplicate decls
5251 to merge old and new declarations.
5254 * decl2.c (do_nonmember_using_decl): Ignore anticipated builtins.
5256 2003-03-11 Jason Merrill <jason@redhat.com>
5259 * search.c (lookup_member): Fix handling of functions in a class
5262 2003-03-11 Mark Mitchell <mark@codesourcery.com>
5265 * call.c (convert_class_to_reference): Adjust usage of
5267 (any_viable): Remove.
5268 (splice_viable): Combine with any_viable.
5269 (print_z_candidates): Avoid printing duplicates.
5270 (build_user_type_conversion_1): Adjust usage of splice_viable.
5271 (build_new_function_call): Likewise.
5272 (build_operator_new_call): Likewise.
5273 (build_object_call): Likewise.
5274 (build_conditional_expr): Likewise.
5275 (build_new_op): Likewise.
5276 (build_new_method_call): Likewise.
5277 (joust): Remove spurious comment.
5278 * cp-tree.h (DECL_FRIENDLIST): Correct documentation.
5279 * decl2.c (arg_assoc_class): Simplify.
5280 * friend.c (add_friend): Likewise.
5282 2003-03-11 Jason Merrill <jason@redhat.com>
5285 * decl2.c (check_classfn): A member template only matches a
5288 2003-03-11 Neil Booth <neil@daikokuya.co.uk>
5290 * Make-lang.in (CXX_C_OBJS): Update.
5291 * lang-specs.h: Don't define __GNUG__ here.
5293 2003-03-10 Mark Mitchell <mark@codesourcery.com>
5295 * call.c (perform_overload_resolution): New function.
5296 (build_new_function_call): Use it.
5297 (build_operator_new_call): Likewise.
5298 (add_candidates): Add explicit_targs and template_only parameters.
5299 (build_new_op): Adjust accordingly.
5300 * cp-tree.h (build_operator_new_call): New function.
5301 (build_function_call_real): Remove.
5302 (build_function_call_maybe): Likewise.
5303 * init.c (build_new_1): Use build_operator_new_call.
5304 * typeck.c (build_function_call_real): Rename to ...
5305 (build_function_call): ... this.
5307 2003-03-10 Devang Patel <dpatel@apple.com>
5310 * g++spec.c (lang_specific_driver): Use DEFAULT_WORD_SWTCH_TAKES_ARG.
5312 2003-03-10 Jason Merrill <jason@redhat.com>
5315 * decl.c (push_using_directive): Push before recursing.
5317 PR c++/9868, c++/9524
5318 * call.c (resolve_scoped_fn_name): Handle the case of a function
5321 * decl2.c (build_offset_ref_call_from_tree): Only mess with 'this'
5322 argument in the pointer-to-member case.
5324 2003-03-09 Mark Mitchell <mark@codesourcery.com>
5327 * cp-lang.c (cxx_get_alias_set): Use alias set zero for
5328 pointers to member functions.
5331 * decl.c (build_ptrmemfunc_type): Do not allow default arguments
5332 in pointer-to-member-function types.
5334 2003-03-10 Gabriel Dos Reis <gdr@integrable-solutions.net>
5336 * expr.c (cplus_expand_constant): Use C90 prototype style.
5337 (cxx_expand_expr): Likewise.
5339 2003-03-09 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5342 * decl.c (duplicate_decls): Only copy DECL_THUNKS for virtual
5345 2003-03-08 Geoffrey Keating <geoffk@apple.com>
5347 * lang-specs.h (c++-header): Change .pch to .gch.
5349 2003-03-08 Neil Booth <neil@daikokuya.co.uk>
5351 * cp-tree.h (cxx_init): Update prototype.
5352 * lex.c (cxx_init): Similarly.
5354 2003-03-08 Mark Mitchell <mark@codesourcery.com>
5357 * cp-tree.h (begin_mem_initializers): Remove.
5358 * parser.c (cp_parser_mem_initializer_list): Inline it here.
5359 Do not call finish_mem_initializers if not in a constructor.
5360 (cp_parser_class_head): Fix typo in error message.
5361 * semantics.c (begin_mem_initializers): Remove.
5362 * testsuite/g++.dg/parser/constructor1.C: New test.
5365 * call.c (add_function_candidate): Skip builtin fuctions that have
5366 not yet been declared.
5369 * init.c (build_new_1): Correct logic for determining whether or
5370 not to use an array cookie.
5373 * parser.c (cp_parser_postfix_expression): Call
5374 finish_non_static_data_member, even when processing_template_decl.
5377 * cp-tree.h (is_ancestor): New function.
5378 (handle_class_head): Change prototype.
5379 * decl2.c (is_namespace_ancestor): Rename to ...
5380 (namespace_anecestor): ... this.
5381 (set_decl_namespace): Adjust accordingly.
5382 (handle_class_head): Remove unnecessary parameters.
5383 * parser.c (cp_parser_class_head): Check that
5384 nested-name-specifiers are used appropriately.
5386 2003-03-07 Mark Mitchell <mark@codesourcery.com>
5388 * call.c (reference_binding): Remove REF_IS_VAR parameter.
5389 (implicit_conversion): Adjust call to reference_binding.
5390 (make_temporary_var_for_ref_to_type): Add TYPE parameter.
5391 (initialize_reference): Adjust handling for references bound to
5393 * cp-tree.h (make_temporary_var_for_ref_to_temp): Change
5395 (real_non_cast_lvalue_p): New method.
5396 * cvt.c (build_up_reference): Adjust use of
5397 make_temporary_var_for_ref_to_temp.
5398 * tree.c (real_non_cast_lvalue_p): New method.
5400 2003-03-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
5402 * except.c (init_exception_processing): Use C90 prototype style.
5403 (cp_protect_cleanup_actions): Likewise.
5404 (prepare_eh_type): Likewise.
5405 (build_eh_type_type): Likewise.
5406 (build_exc_ptr): Likewise.
5407 (do_begin_catch): Likewise.
5408 (dtor_nothrow): Likewise.
5409 (do_end_catch): Likewise.
5410 (push_eh_cleanup): Likewise.
5411 (decl_is_java_type): Likewise.
5412 (choose_personality_routine): Likewise.
5413 (initialize_handler_parm): Likewise.
5414 (expand_start_catch_block): Likewise.
5415 (expand_end_catch_block): Likewise.
5416 (begin_eh_spec_block): Likewise.
5417 (finish_eh_spec_block): Likewise.
5418 (do_allocate_exception): Likewise.
5419 (do_free_exception): Likewise.
5420 (wrap_cleanups_r): Likewise.
5421 (stabilize_throw_expr): Likewise.
5422 (build_throw): Likewise.
5423 (complete_ptr_ref_or_void_ptr_p): Likewise.
5424 (is_admissible_throw_operand): Likewise.
5425 (nothrow_libfn_p): Likewise.
5426 (can_convert_eh): Likewise.
5427 (check_handlers_1): Likewise.
5428 (check_handlers): Likewise.
5430 2003-03-06 Mark Mitchell <mark@codesourcery.com>
5432 * call.c (merge_conversion_sequences): New function.
5433 (build_conv): Set ICS_USER_FLAG for USER_CONVs.
5434 (convert_class_to_reference): Correct handling of second
5435 standard conversion sequence in a user-defined conversion
5437 (build_user_type_conversion_1): Use merge_conversion_sequences.
5438 * cp-tree.def: Add comments for CONV nodes.
5439 * rtti.c (get_tinfo_decl): Use build_address/build_nop.
5441 2003-03-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
5443 * error.c (init_error): Use C90 prototype style.
5444 (dump_scope): Likewise.
5445 (dump_qualifiers): Likewise.
5446 (dump_template_argument): Likewise.
5447 (dump_template_argument_list): Likewise.
5448 (dump_template_parameter): Likewise.
5449 (dump_template_bindings): Likewise.
5450 (dump_type): Likewise.
5451 (dump_typename): Likewise.
5452 (class_key_or_enum): Likewise.
5453 (dump_aggr_type): Likewise.
5454 (dump_type_prefix): Likewise.
5455 (dump_type_suffix): Likewise.
5456 (dump_global_iord): Likewise.
5457 (dump_simple_decl): Likewise.
5458 (dump_decl): Likewise.
5459 (dump_template_decl): Likewise.
5460 (dump_function_decl): Likewise.
5461 (dump_parameters): Likewise.
5462 (dump_exception_spec): Likewise.
5463 (dump_function_name): Likewise.
5464 (dump_template_parms): Likewise.
5465 (dump_char): Likewise.
5466 (dump_expr_list): Likewise.
5467 (dump_expr): Likewise.
5468 (dump_binary_op): Likewise.
5469 (dump_unary_op): Likewise.
5470 (type_as_string): Likewise.
5471 (expr_as_string): Likewise.
5472 (decl_as_string): Likewise.
5473 (context_as_string): Likewise.
5474 (lang_decl_name): Likewise.
5475 (cp_file_of): Likewise.
5476 (cp_line_of): Likewise.
5477 (decl_to_string): Likewise.
5478 (expr_to_string): Likewise.
5479 (fndecl_to_string): Likewise.
5480 (code_to_string): Likewise.
5481 (language_to_string): Likewise.
5482 (parm_to_string): Likewise.
5483 (op_to_string): Likewise.
5484 (type_to_string): Likewise.
5485 (assop_to_string): Likewise.
5486 (args_to_string): Likewise.
5487 (cv_to_string): Likewise.
5488 (cxx_print_error_function): Likewise.
5489 (cp_diagnostic_starter): Likewise.
5490 (cp_diagnostic_finalizer): Likewise.
5491 (cp_print_error_function): Likewise.
5492 (function_category): Likewise.
5493 (print_instantiation_full_context): Likewise.
5494 (print_instantiation_partial_context): Likewise.
5495 (maybe_print_instantiation_context): Likewise.
5496 (print_instantiation_context): Likewise.
5497 (cp_printer): Likewise.
5498 (print_integer): Likewise.
5499 (print_non_consecutive_character): Likewise.
5500 (locate_error): Likewise.
5502 2003-03-06 Mark Mitchell <mark@codesourcery.com>
5505 * call.c (reference_binding): Add ref_is_var parameter.
5506 (implicit_conversion): Adjust call to reference_binding.
5507 (initialize_reference): Likewise.
5510 * decl.c (pushdecl): Don't check for shadowing of DECL_ARTIFICIAL
5514 * class.c (get_basefndecls): Use lookup_fnfields_1.
5516 2003-03-06 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5519 * parser.c (cp_parser_type_parameter): Remove redundant `expect'
5521 (cp_parser_single_declaration): Likewise.
5523 2003-03-05 Jason Merrill <jason@redhat.com>
5526 * call.c (build_conditional_expr): Use convert rather than an
5529 2003-03-02 Matt Austern <austern@apple.com>
5531 * decl.c (cp_binding_level): Add static_decls varray member.
5532 (add_decl_to_level): Add static/inline namespace scope
5533 declarations to static_decls array.
5534 (wrapup_global_for_namespace): Pass static_decls only, instead of
5535 all decls, to wrapup_global_declarations/check_global_declarations.
5536 (push_namespace): Initialize static_decls for ordinary namespaces.
5537 (cxx_init_decl_processing): Initialize static_decls for global
5540 2003-03-05 Mark Mitchell <mark@codesourcery.com>
5542 * class.c (end_of_class): Correct thinko.
5544 2003-03-04 Nathanael Nerode <neroden@gcc.gnu.org>
5546 * config-lang.in: Replace ${libstdcxx_version} by its value.
5548 2003-03-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
5550 * cp-tree.h (cxx_saved_binding): Declare.
5551 (struct saved_scope): Adjust type of field 'old_binding'.
5552 * decl.c (cxx_saved_binding_make): New macro.
5553 (struct cxx_saved_binding): Define.
5554 (store_bindings): Adjust prototype. Use cxx_saved_binding to save
5556 (maybe_push_to_top_level): Adjust local variable type.
5557 (pop_from_top_level): Likewise.
5559 2003-03-04 Tom Tromey <tromey@redhat.com>
5561 * Make-lang.in (c++.tags): New target.
5563 2003-03-04 Neil Booth <neil@daikokuya.co.uk>
5565 * Make-lang.in: Update.
5567 2003-03-03 Jason Merrill <jason@redhat.com>
5569 * decl.c (finish_enum): Do set the type in a template. Simplify.
5570 * pt.c (tsubst_enum, tsubst_copy): Revert last patch.
5572 2003-03-03 Mark Mitchell <mark@codesourcery.com>
5575 * call.c (convert_class_to_reference): Correct conversion
5577 (reference_binding): Add ref_bound_directly_to_rvalue_p parameter.
5578 (implicit_conversion): Adjust call to reference_binding.
5579 (add_candidate): Change type of candidates parameter.
5580 (add_function_candidate): Likewise.
5581 (add_conv_candidate): Likewise.
5582 (build_builtin_candidate): Likewise.
5583 (add_builtin_candidate): Likewise.
5584 (add_builtin_candidates): Likewise.
5585 (add_template_candidate_real): Likewise.
5586 (add_template_candidate): Likewise.
5587 (add_template_conv_candidate): Likewise.
5588 (build_user_type_conversion_1): Adjust accordingly.
5589 (build_object_call): Likewise.
5590 (build_conditional_expr): Likewise.
5591 (add_candidates): Likewise.
5592 (build_new_op): Likewise.
5593 (convert_like_real): Use USER_CONV_CAND. Use build_nop.
5594 (build_new_method_call): Adjust calls to add_function_candidate.
5595 (make_temporary_var_for_ref_to_temp): New function.
5596 (initialize_reference): Add decl parameter.
5597 * class.c (build_rtti_vtbl_entries): Use build_address and
5599 * cp-tree.h (initialize_reference): Change prototype.
5600 (make_temporary_var_for_ref_to_temp): New function.
5601 (build_type_conversion): Change prototype.
5602 (build_address): New function.
5603 (build_nop): Likewise.
5604 * cvt.c (cp_convert_to_pointer): Adjust call to
5605 build_type_conversion. Avoid indicating redundant NOP_EXPRs.
5607 (convert_to_pointer_force): Use build_nop.
5608 (build_up_reference): Use make_temporary_var_for_ref_to_temp.
5609 (convert_to_reference): Adjust call to build_type_conversion.
5610 (ocp_convert): Likewise.
5611 (build_type_conversion): Remove for_sure parameter.
5612 * decl.c (grok_reference_init): Use initialize_reference.
5613 * typeck.c (build_address): New function.
5614 (build_nop): Likewise.
5615 (build_unary_op): Use them.
5616 (build_ptrmemfunc): Tidy slightly.
5617 (convert_for_initialization): Adjust call to
5618 initialize_reference.
5619 * typeck2.c (store_init_value): Remove #if 0'd code.
5621 2003-03-03 Jason Merrill <jason@redhat.com>
5623 * decl.c (start_function): Clear DECL_NUM_STMTS.
5625 * class.c (get_vtable_decl): Use vtbl_type_node.
5626 (build_primary_vtable): Check for it.
5628 2003-03-02 Aldy Hernandez <aldyh@redhat.com>
5630 * decl.c (check_initializer): Check for vector_opaque_p.
5632 2003-03-02 Ashif Harji <asharji@uwaterloo.ca>
5634 * lang-specs.h (default_compilers): Add -no-integrated-cpp flag to
5635 invoke an external cpp during compilation.
5637 2003-03-01 Gabriel Dos Reis <gdr@integrable-solutions.net>
5639 * decl.c (duplicate_decls): Convert use of warning_with_decl() to
5641 (start_decl): Likewise.
5642 (start_function): Likewise.
5644 2003-03-01 Neil Booth <neil@daikokuya.co.uk>
5646 * Make-lang.in (CXX_C_OBJS): Update.
5648 2003-02-28 Mark Mitchell <mark@codesourcery.com>
5651 * pt.c (instantiate_decl): Clear DECL_RTL for a VAR_DECL when
5654 2003-02-28 Aldy Hernandez <aldyh@redhat.com>
5656 * parser.c (cp_parser_init_declarator): Revert opaque
5657 vector_opaque_p change.
5658 Do not include target.h.
5660 2003-02-28 Mark Mitchell <mark@codesourcery.com>
5663 * cp-tree.h (build_zero_init): Add parameter.
5664 * decl.c (cp_finish_decl): Adjust call.
5665 * init.c (build_zero_init): Add nelts parameter. Adjust recursive
5667 (build_default_init): Add nelts parameter. Adjust calls to
5669 (build_new_1): Adjust call to build_default_init.
5670 * typeck2.c (process_init_constructor): Adjust call to build_zero_init.
5672 2003-02-26 Devang Patel <dpatel@apple.com>
5674 * decl.c (finish_enum): Merge two 'for' loops. Copy value node if
5675 required. Postpone enum setting for template decls.
5676 (build_enumerator): Delay copying value node until finish_enum
5677 (). Remove #if 0'ed code.
5678 * pt.c (tsubst_enum): Set TREE_TYPE and copy value node.
5679 (tsubst_copy): Add check for enum type.
5681 2003-02-25 Mark Mitchell <mark@codesourcery.com>
5684 * decl2.c (prune_vars_needing_no_initialization): Do not throw
5685 away initializations for DECL_EXTERNAL VAR_DECLs.
5686 (finish_file): Adjust accordingly.
5687 * pt.c (instantiate_decl): Do not defer VAR_DECLs.
5689 2003-02-24 Gabriel Dos Reis <gdr@integrable-solutions.net>
5691 * decl.c (add_binding): Time TV_NAME_LOOKUP.
5692 (push_class_binding): Likewise.
5693 (set_namespace_binding): Likewise.
5695 2003-02-24 Mark Mitchell <mark@codesourcery.com>
5698 * cp-tree.h (CLASSTYPE_PRIMARY_TEMPLATE): Do not skip from
5699 specializations back to the main template.
5700 * parser.c (cp_parser_diagnose_invalid_type_name):Adjust use.
5701 * pt.c (resolve_typename_type): Likewise.
5703 2003-02-24 Jeffrey D. Oldham <oldham@codesourcery.com>
5706 * pt.c (tsubst_copy_and_build): For a templated function inside a
5707 scope, process template arguments.
5709 2003-02-24 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5712 * typeck2.c (abstract_virtuals_error): Don't check when
5713 TYPE is still template parameter dependent.
5715 2003-02-23 Mark Mitchell <mark@codesourcery.com>
5718 * cp-tree.h (CLASSTYPE_PRIMARY_TEMPLATE): New macro.
5719 * parser.c (cp_parser_diagnose_invalid_type_name): Use it.
5720 * pt.c (instantiate_class_template): Don't try to instantiate
5722 (resolve_typename_type): Use CLASSTYPE_PRIMARY_TEMPLATE.
5724 2003-02-21 Mark Mitchell <mark@codesourcery.com>
5727 * decl.c (grokdeclarator): Do not allow parameters with variably
5730 2003-02-21 Nathan Sidwell <nathan@codesourcery.com>
5732 * search.c (grow_bfs_bases): Remove. Fold into ...
5733 (bfs_walk): ... here, fix fencepost error. Fix merge lossage
5736 2003-02-20 Mark Mitchell <mark@codesourcery.com>
5739 * mangle.c (mangle_conv_op_name_for_type): Issue an error message
5740 when the G++ 3.2 ABI prevents correct compilation.
5742 2003-02-20 Nathan Sidwell <nathan@codesourcery.com>
5744 Change base class access representation. Share virtual base
5746 * cp/call.c (build_special_member_call): Remove binfo_for_vbase
5748 * cp/class.c (build_base_path): Likewise.
5749 (build_primary_vtable): Adjust BINFO_NEW_VTABLE_MARKED use.
5750 (build_secondary_vtable): Remove FOR_TYPE arg. Adjust.
5751 (make_new_vtable): Adjust.
5752 (force_canonical_binfo_r): Delete.
5753 (force_canonical_binfo): Delete.
5754 (mark_primary_virtual_base): Delete.
5755 (dfs_unshared_virtual_bases): Delete.
5756 (mark_primary_bases): Adjust.
5757 (maybe_warn_about_overly_private_class): Adjust.
5758 (dfs_base_derived_from): Delete.
5759 (base_derived_from): Follow the inheritance chain.
5760 (struct find_final_overrider_data): Add vpath member.
5761 (dfs_find_final_overrider): Adjust.
5762 (dfs_find_final_overrider_q, dfs_find_final_overrider_post): New.
5763 (find_final_overrider): Adjust.
5764 (update_vtable_entry_for_fn): Adjust.
5765 (modify_all_vtables): Adjust.
5766 (walk_subobject_offsets): Adjust.
5767 (layout_nonempty_base_or_field): Adjust.
5768 (layout_empty_base): Remove last parameter. Adjust.
5769 (build_base_field): Adjust.
5770 (build_base_fields): Adjust.
5771 (propagate_binfo_offsets): Remove last parameter. Adjust.
5772 (dfs_set_offset_for_unshared_vbases): Delete.
5773 (layout_virtual_bases): Adjust.
5774 (finish_struct_1): Adjust.
5775 (init_class_processing): Don't init access nodes.
5776 (dfs_get_primary_binfo): Delete.
5777 (get_primary_binfo): Adjust.
5778 (dump_class_hierarchy_r): Remove most derived arg, add IGO
5780 (dump_class_hierarchy): Adjust.
5781 (finish_vtbls): Adjust.
5782 (get_original_base): Delete.
5783 (build_vtt_inits): Adjust.
5784 (dfs_build_secondary_vptr_vtt_inits): Adjust.
5785 (dfs_ctor_vtable_bases_queue_p): Adjust.
5786 (build_ctor_vtbl_group): Adjust.
5787 (dfs_accumulate_vtbl_inits): Adjust.
5788 (build_vtbl_initializer): Adjust.
5789 (build_vbase_offset_vtbl_entries): Adjust.
5790 (add_vcall_offset_vtbl_entries_1): Adjust.
5791 * cp/cp-tree.h (CPTI_ACCESS_*): Remove.
5792 (access_*_node): Remove.
5793 (CANONICAL_BINFO): Delete.
5794 (BINFO_UNSHARED_MARKED): Remove.
5795 (BINFO_MARKED): Set LANG_FLAG_0 directly.
5796 (SET_BINFO_MARKED, CLEAR_BINFO_MARKED): Delete.
5797 (BINFO_VTABLE_PATH_MARKED): Set LANG_FLAG_3 directly.
5798 (SET_BINFO_VTABLE_PATH_MARKED, CLEAR_BINFO_VTABLE_PATH_MARKED):
5800 (BINFO_NEW_VTABLE_MARKED): Set LANG_FLAG_4 directly.
5801 (SET_BINFO_NEW_VTABLE_MARKED): Adjust.
5802 (SET_BINFO_PUSHDECLS_MARKED, CLEAR_BINFO_PUSHDECLS_MARKED):
5804 (BINFO_DEPENDENT_BASE_P): New.
5805 (dfs_walk, dfs_walk_real): Queue function takes derived binfo and
5807 (markedp, unmarkedp): Adjust.
5808 (dfs_unmarked_real_bases_queue_p, dfs_marked_real_bases_queue_p,
5809 dfs_skip_vbases, marked_vtable_pathp, unmarked_vtable_pathp,
5810 find_vbase_instance, binfo_for_vbase): Delete.
5811 (copied_binfo, original_binfo): Declare.
5812 (finish_base_specifier): Add virtual_p arg.
5813 (unshare_base_binfos): Delete.
5814 (copy_base_binfos): Declare.
5815 (reverse_path): Delete.
5816 * cp/decl.c (xref_basetypes): Access and virtuality passed
5817 differently. Don't copy direct base binfos here. Call
5819 * cp/init.c (dfs_initialize_vtbl_ptrs): Adjust.
5820 (initialize_vtbl_ptrs): Adjust.
5821 (expand_member_init): Adjust.
5822 * cp/parser.c (cp_parser_base_specifier): Adjust.
5823 * cp/pt.c (instantiate_class_template): Adjust.
5824 (get_template_base_recursive): Adjust.
5825 * cp/rtti.c (get_pseudo_ti_init): Adjust.
5826 (get_pseudo_ti_desc): Adjust.
5827 * cp/tree.c (unshare_base_binfos): Rename to ...
5828 (copy_base_binfos): ... here, reimplement.
5829 (make_binfo): Set BINFO_DEPENDENT_BASE_P.
5830 (reverse_path): Remove.
5831 * cp/typeck.c (get_delta_difference): Adjust error messages.
5832 * cp/semantics.c (finish_base_specifier): Add virtual arg, adjust.
5833 * cp/search.c (lookup_base_r): Adjust.
5834 (dynamic_cast_base_recurse): Adjust.
5835 (canonical_binfo): Remove.
5836 (dfs_canonical_queue): Remove.
5837 (dfs_assert_unmarked_p): Remove.
5838 (assert_canonical_unmarked): Remove.
5839 (shared_marked_p, shared_unmarked_p): Remove.
5840 (BINFO_ACCESS, SET_BINFO_ACCESS): Use TREE_PUBLIC & TREE_PRIVATE.
5841 (dfs_access_in_type): Adjust.
5842 (access_in_type): Adjust.
5843 (dfs_accessible_queue_p): Adjust.
5844 (dfs_accessible_p): Adjust.
5845 (is_subobject_of_p_1, is_subobject_of_p): Remove.
5846 (struct lookup_field_info): Remove from_dep_base_p field.
5847 (lookup_field_queue_p): Adjust, test BINFO_DEPENDENT_BASE_P.
5848 (lookup_field_r): Remove dependent base code.
5849 (lookup_member): Likewise.
5850 (dfs_walk, dfs_walk_real): Add access arg to queue fn.
5851 (dfs_unmarked_real_bases_queue_p): Remove.
5852 (dfs_marked_real_bases_queue_p): Remove.
5853 (dfs_skip_vbases): Remove.
5854 (dfs_get_pure_virtuals): Adjust.
5855 (markedp, unmarkedp): Adjust.
5856 (marked_vtable_pathp, unmarked_vtable_pathp): Remove.
5857 (marked_pushdecls_p, unmarked_pushdecls_p): Adjust.
5858 (dfs_unmark): Adjust.
5859 (dfs_get_vbase_types):Remove.
5860 (dfs_build_inheritance_graph_order): Remove.
5861 (get_vbase_types): Remove
5862 (dfs_find_vbase_instance): Remove.
5863 (find_vbase_instance): Remove.
5864 (dfs_debug_unmarkedp): Adjust.
5865 (dependent_base_p): Remove.
5866 (dfs_push_type_decls): Adjust.
5867 (dfs_push_decls): Adjust.
5868 (dfs_no_overlap_yet): Adjust.
5869 (copied_binfo): New function.
5870 (original_binfo): New function.
5871 (binfo_for_vbase): Remove.
5873 2003-02-18 Zack Weinberg <zack@codesourcery.com>
5875 * cp/search.c (grow_bfs_bases): New subroutine of bfs_walk.
5876 (bfs_walk): Rewritten using circular queue of BINFO_BASETYPES
5879 2003-02-18 Mark Mitchell <mark@codesourcery.com>
5882 * class.c (layout_class_type): In the 3.2 ABI, take into account
5883 trailing bit fields when computing CLASSTYPE_SIZE_UNIT.
5885 2003-02-18 Matt Austern <austern@apple.com>
5887 * cp/cp-lang.c: Change lang hooks so that final_write_globals does
5889 * cp/decl.c (wrapup_globals_for_namespace): Remove special
5890 handling of global namespace.
5892 2003-02-18 Geoffrey Keating <geoffk@apple.com>
5894 * cp-tree.h (rid_to_yy): Delete.
5895 (C_RID_YYCODE): Delete.
5896 (finish_file): Delete redundant declaration.
5898 2003-02-18 Jason Merrill <jason@redhat.com>
5901 * decl.c (reshape_init): Don't mess with initializer labels.
5904 * parser.c (cp_parser_postfix_expression): Set idk properly for
5905 object->scope::member.
5907 2003-02-18 Ben Elliston <bje@redhat.com>
5910 * decl.c (duplicate_decls): Fix typo in comment.
5912 2003-02-17 Michael Elizabeth Chastain <mec@shout.net>
5915 * class.c (build_base_field): Mark fields for base classes with
5918 2003-02-17 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5921 * pt.c (tsubst_copy_and_build) [CONSTRUCTOR]: Substitute
5922 CONSTRUCTOR_ELTS only once.
5924 2003-02-16 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
5927 * error.c (dump_type_prefix): Handle TYPEOF_TYPE.
5928 (dump_type_suffix): Likewise.
5930 2003-02-14 Nathan Sidwell <nathan@codesourcery.com>
5932 * search.c: ANSIfy function declarations and definitions.
5933 * cp-tree.h (lookup_field, lookup_member): Last parameter is a bool.
5934 * call.c (build_method_call, resolve_scoped_fn_name,
5935 build_java_interface_fn_ref): Adjust lookup_field, lookup_member
5937 * class.c (handle_using_decl): Likewise.
5938 * decl.c (make_typename_type, make_unmound_class_template,
5939 start_decl, compute_array_index_type): Likewise.
5940 * decl2.c (build_expr_from_tree, build_call_from_tree): Likewise.
5941 * init.c (expand_member_init, build_member_call): Likewise.
5942 * pt.c (tsubst_copy, tsubst_copy_and_build, do_decl_instantiation,
5943 resolve_typename_type): Likewise.
5944 * typeck.c (lookup_destructor, finish_class_member_access_exprm
5945 build_prememfunc_access_expr): Likewise.
5947 2003-02-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
5949 * decl2.c: Include "timevar.h".
5950 (namespace_ancestor): Time name lookup.
5951 (add_using_namespace): Likewise.
5952 (lookup_using_namespace): Likewise.
5953 (qualified_lookup_using_namespace): Likewise.
5954 (decl_namespace): Likewise.
5955 (lookup_arg_dependent): Likewise.
5956 * lex.c (do_identifier): Likewise.
5957 (do_scoped_id): Likewise.
5958 * pt.c (lookup_template_class): Likewise.
5960 2003-02-14 Andrew Pinski <pinskia@physics.uc.edu>
5962 * decl.c: (define_label): Fix warning for return 0 instead of NULL.
5964 2003-02-13 Gabriel Dos Reis <gdr@integrable-solutions.net>
5966 * decl.c: Include "timevar.h".
5967 (poplevel): Time name lookup.
5968 (find_binding): Likewise.
5969 (push_namespace): Likewise.
5970 (pop_nested_namespace): Likewise.
5971 (store_bindings): Likewise.
5972 (maybe_push_to_top_level): Likewise.
5973 (pop_from_top_level): Likewise.
5974 (push_local_name): Likewise.
5975 (pushtag): Likewise.
5976 (pushdecl): Likewise.
5977 (pushdecl_with_scope): Likewise.
5978 (pushdecl_namespace_level): Likewise.
5979 (pushdecl_top_level): Likewise.
5980 (pushdecl_class_level): Likewise.
5981 (push_class_level_binding): Likewise.
5982 (push_using_decl): Likewise.
5983 (push_using_directive): Likewise.
5984 (push_overloaded_decl): Likewise.
5985 (lookup_label): Likewise.
5986 (define_label): Likewise.
5987 (lookup_tag): Likewise.
5988 (lookup_tag_reverse): Likewise.
5989 (lookup_namespace_name): Likewise.
5990 (select_decl): Likewise.
5991 (unqualified_namespace_lookup): Likewise.
5992 (lookup_name_real): Likewise.
5993 (lookup_name_current_level): Likewise.
5994 (lookup_type_current_level): Likewise.
5995 (maybe_inject_for_scope_var): Likewise.
5996 (xref_tag): Likewise.
5998 * Make-lang.in (cp/decl.o): Add dependency on timevar.h
6000 2003-02-12 Phil Edwards <pme@gcc.gnu.org>
6002 * decl.c (build_enumerator): Remove unneeded test.
6004 2003-02-09 Dan Nicolaescu <dann@ics.uci.edu>
6006 * cp-tree.h (struct lang_type_header): Make all fields unsigned
6009 2003-02-03 Mark Mitchell <mark@codesourcery.com>
6012 * call.c (z_candidate): Add args.
6013 (convert_class_to_reference): Set it.
6014 (implicit_conversion): Tidy.
6015 (add_candidate): Add args parameter.
6016 (add_function_candidate): Adjust call to add_candidate.
6017 (add_conv_candidate): Likewise.
6018 (build_builtin_candidate): Likewise.
6019 (build_user_type_conversion_1): Eliminate wasteful tree_cons
6021 (build_new_function_call): Likewise.
6022 (build_object_call): Likewise.
6023 (add_candidates): New function.
6024 (build_new_op): Use it.
6025 (covert_like_real): Adjust call to build_over_call.
6026 (build_over_call): Remove args parameter.
6027 * operators.def: Add <?= and >?=.
6029 2003-02-01 Richard Sandiford <rsandifo@redhat.com>
6031 * typeck.c (build_indirect_ref): Don't check flag_volatile.
6033 2003-01-31 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6036 * pt.c (resolve_overloaded_unification): Handle FUNCTION_DECL.
6038 2003-01-31 Nathan Sidwell <nathan@codesourcery.com>
6040 * cp-tree.h (BINFO_SUBVTT_INDEX, BINFO_VPTR_INDEX,
6041 BINFO_PRIMARY_BASE_OF): Use BINFO_ELTS.
6042 (BINFO_LANG_ELTS): New #define.
6043 * tree.c (make_binfo): Use BINFO_LANG_ELTS.
6045 2003-01-30 Geoffrey Keating <geoffk@apple.com>
6047 * cp/Make-lang.in: Remove -Wno-error from cp/decl.o.
6049 2003-01-30 Mark Mitchell <mark@codesourcery.com>
6051 * class.c (check_field_decls): Only check C_TYPE_FIELDS_READONLY
6053 * cp-tree.h (C_TYPE_FIELDS_READONLY): Use a lang-specific bit
6054 rather than TYPE_LANG_FLAG_0.
6055 (TYPE_BUILT_IN): Remove.
6056 (TYPE_DEPENDENT_P): New macro.
6057 (TYPE_DEPENDENT_P_VALID): Likewise.
6058 (lang_type_class): Add fields_readonly.
6059 * decl.c (record_builtin_type): Don't set TYPE_BUILT_IN.
6060 * pt.c (dependent_type_p_r): New function, split out from ...
6061 (dependent_type_p): ... here. Memoize results.
6062 * search.c (dependent_base_p): Use dependent_type_p, not
6063 uses_template_parms.
6064 * typeck.c (build_modify_expr): Only check C_TYPE_FIELDS_READONLY
6067 2003-01-29 Mark Mitchell <mark@codesourcery.com>
6069 * call.c (build_field_call): Use build_new_op, not build_opfncall.
6070 (prep_operand): New function.
6071 (build_new_op): Use it. Remove dead code.
6072 * class.c (pushclass): Change "modify" parameter type from int to
6074 (currently_open_class): Use same_type_p, not pointer equality.
6075 (push_nested_class): Adjust calls to pushclass, remove modify
6077 * cp-tree.h (INTEGRAL_OR_ENUMERATION_TYPE_P): New macro.
6078 (pushclass): Change prototype.
6079 (push_nested_class): Likewise.
6080 (grokoptypename): Remove.
6081 (build_opfncall): Remove.
6082 (value_dependent_expression_p): Declare.
6083 (resolve_typename_type): Likewise.
6084 (resolve_typename_type_in_current_instantiation): Likewise.
6085 (enter_scope_of): Remove.
6087 (tsubst_expr): Likewise.
6088 (tsubst_copy): Likewise.
6089 (tsubst_copy_and_build): Likewise.
6090 * decl.c (warn_about_implicit_typename_lookup): Remove.
6091 (finish_case_label): Return error_mark_node for erroneous labels.
6092 (start_decl): Adjust calls to push_nested_class.
6093 (grokfndecl): Call push_scope/pop_scope around call to
6095 (grokdeclarator): Do not call tsubst.
6096 (start_function): Adjust calls to push_nested_class.
6097 * decl2.c (grok_array_decl): Use build_new_op, not build_opfncall.
6098 (check_classfn): Use push_scope/pop_scope around type comparisions.
6099 (grokoptypename): Remove.
6100 (push_sscope): Adjust call to push_nested_class.
6101 * error.c (dump_type): Show cv-qualification of typename types.
6102 * init.c (build_member_call): Use build_new_op, not
6104 * method.c (build_opfncall): Remove.
6105 * parser.c (cp_parser): Add allow_non_constant_expression_p and
6106 non_constant_expression_p.
6107 (cp_parser_constant_expression): Adjust prototype.
6108 (cp_parser_resolve_typename_type): Remove.
6109 (cp_parser_non_constant_expression): New function.
6110 (cp_parser_non_constant_id_expression): Likewise.
6111 (cp_parser_new): Set allow_non_constant_expression_p and
6112 non_constant_expression_p.
6113 (cp_parser_primary_expression): Reject `this' and `va_arg' in
6114 constant-expressions. Note that dependent names aren't really
6116 (cp_parser_postfix_expression): Reject conversions to non-integral
6117 types in constant-expressions. Neither are increments or
6119 (cp_parser_unary_expression): Reject increments and decrements in
6120 constant-expressions.
6121 (cp_parser_direct_new_declarator): Adjust call to
6122 cp_parser_constant_expression.
6123 (cp_parser_cast_expression): Reject conversions to non-integral
6124 types in constant-expressions.
6125 (cp_parser_assignment_expression): Rejects assignments in
6126 constant-expressions.
6127 (cp_parser_expression): Reject commas in constant-expressions.
6128 (cp_parser_labeled_statement): Adjust call to
6129 cp_parser_constant_expression.
6130 (cp_parser_direct_declarator): Simplify array bounds, even in
6131 templates, when they are non-dependent. Use
6132 resolve_typename_type, not cp_parser_resolve_typename_type.
6133 (cp_parser_class_head): Use resolve_typename_type, not
6134 cp_parser_resolve_typename_type.
6135 (cp_parser_member_declaration): Adjust call to
6136 cp_parser_constant_expression.
6137 (cp_parser_constant_initializer): Likewise.
6138 (cp_parser_constructor_declarator): Use resolve_typename_type, not
6139 cp_parser_resolve_typename_type.
6140 (cp_parser_late_parsing_default_args): Adjust call to
6142 * pt.c (tsubst): Give it internal linkage.
6143 (tsubst_expr): Likewise.
6144 (tsubst_copy): Likewise.
6145 (tsubst_copy_and_build): Likewise.
6146 (push_access_scope_real): Likewise.
6147 (tsubst_friend_class): Likewise.
6148 (instantiate_class_template): Adjust call to pushclass.
6149 (value_dependent_expression_p): Give it external linkage.
6151 (resolve_typename_type): New function.
6152 * semantics.c (finish_call_expr): Use build_new_op, not
6154 (begin_constructor_declarator): Remove.
6155 (begin_class_definition): Adjust call to pushclass.
6156 (enter_scope_of): Remove.
6157 * typeck.c (comptypes): Resolve typename types as appropriate.
6158 (build_x_indirect_ref): Use build_new_op, not build_opfncall.
6159 (build_x_compound_expr): Likewise.
6160 (build_modify_expr): Likewise.
6161 (build_x_modify_expr): Likewise.
6162 * typeck2.c (build_x_arrow): Likewise.
6164 2003-01-29 Fariborz Jahanian <fjahanian@apple.com>
6166 * pt.c (last_pending_template) Declare GTY().
6168 2003-01-29 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6171 * parser.c (cp_parser_elaborated_type_specifier): Convert
6172 TEMPLATE_DECL to TYPE_DECL only when processing template friends.
6173 (cp_parser_maybe_treat_template_as_class): Remove redundant tests.
6175 2003-01-28 Nathan Sidwell <nathan@codesourcery.com>
6178 * pt.c (unify): Don't unify '*T' with 'U C::*'.
6181 * parser.c (cp_parser_decl_specifier_seq): Cannot have constructor
6182 inside a declarator.
6184 2003-01-27 Nathan Sidwell <nathan@codesourcery.com>
6186 * class.c (update_vtable_entry_for_fn): Add index parameter.
6187 Generate vcall thunk for covariant overriding from a virtual
6189 (dfs_modify_vtables): Adjust.
6191 2003-01-25 Nathan Sidwell <nathan@codesourcery.com>
6194 * parser.c (cp_parser_class_or_namespace_name): Reject duplicate
6196 (cp_parser_base_specifier): Look for and consume a
6197 TEMPLATE keyword. Replace switch with array index.
6200 * semantics.c (finish_non_static_data_member): Remember the
6201 field's type even in a template.
6204 * pt.c (tsubst_copy_and_build, CALL_EXPR): BASELINK exprs are
6208 * parser.c (cp_parser_cast_expression): Be more tentative.
6210 2003-01-25 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6212 * cp-tree.h (flagged_type_tree_s): Remove.
6213 (check_for_new_type): Likewise.
6214 * typeck2.c (check_for_new_type): Likewise.
6216 2003-01-23 Nathanael Nerode <neroden@gcc.gnu.org>
6218 * dump.c: ANSIfy function declarations and definitions.
6220 * cp-tree.h, decl.h: Get rid of PARAMS. Again.
6222 2003-01-22 Mark Mitchell <mark@codesourcery.com>
6225 * init.c (build_new): Set the type of the new-expression, even
6226 when processing_templte_decl.
6229 * parser.c (cp_parser_primary_expression): Improve error message
6230 for templates used in an expression context.
6233 * parser.c (cp_parser_decl_specifier_seq): Commit to tentative
6234 parse when encountering "typedef".
6236 2003-01-22 Nathanael Nerode <neroden@gcc.gnu.org>
6238 * class.c, parser.c: ANSIfy function definitions and declarations.
6240 2003-01-22 Mark Mitchell <mark@codesourcery.com>
6243 * error.c (dump_decl): For an OVERLOAD, just print the name of the
6244 function; it doesn't make sense to try to print its type.
6245 * semantics.c (finish_typeof): Issue errors about invalid uses.
6248 * parser.c (cp_parser_consume_semicolon_at_end_of_statement): New
6250 (cp_parser_expression_statement): Use it.
6251 (cp_parser_explicit_instantiation): Likewise.
6252 * pt.c (do_decl_instantiation): Improve error handling logic.
6254 2003-01-22 Mark Mitchell <mark@codesourcery.com>
6257 * parser.c (cp_parser_using_declaration): Issue error messages
6258 about name resolution failures here.
6261 * class.c (currently_open_derived_class): Use dependent_type_p.
6262 * cp-tree.h (dependent_type_p): New function.
6263 (dependent_template_arg_p): Likewise.
6264 (dependent_template_p): Likewise.
6265 (type_dependent_expression_p): Likewise.
6266 * parser.c (cp_parser_dependent_type_p): Remove.
6267 (cp_parser_value_dependent_type_p): Likewise.
6268 (cp_parser_type_dependent_expression_p): Likewise.
6269 (cp_parser_dependent_template_arg_p): Likewise.
6270 (cp_parser_dependent_template_id_p): Likewise.
6271 (cp_parser_dependent_template_p): Likewise.
6272 (cp_parser_diagnose_invalid_type_name): Replace
6273 cp_parser_dependent_type_p with dependent_type_p, etc.
6274 (cp_parser_primary_expresion): Likewise.
6275 (cp_parser_nested_name_specifier_opt): Likewise.
6276 (cp_parser_postfix_expression): Likewise.
6277 (cp_parser_unary_expression): Likewise.
6278 (cp_parser_template_name): Likewise.
6279 (cp_parser_class_name): Likewise.
6280 (cp_parser_lookup_name): Likewise.
6281 * pt.c (dependent_type_p): New function.
6282 (value_dependent_expression_p): Likewise.
6283 (type_dependent_expression_p): Likewise.
6284 (dependent_template_arg_p): Likewise.
6285 (dependent_template_id_p): Likewise.
6286 (dependent_template_p): Likewise.
6290 * parser.c (cp_parser_simple_declaration): Return quickly when
6291 encountering errors.
6293 2003-01-21 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
6295 Make-lang.in (cp/decl.o-warn): Add -Wno-error.
6297 2003-01-17 Jason Merrill <jason@redhat.com>
6299 PR c++/9167, c++/9358
6300 * decl.c (require_complete_types_for_parms): Also update DECL_ARG_TYPE.
6302 2003-01-17 Jason Merrill <jason@redhat.com>
6305 * call.c (build_conditional_expr): Always do lvalue-rvalue
6308 2003-01-17 Mark Mitchell <mark@codesourcery.com>
6311 * cp-tree.def (BASELINK): Make it class 'x', not class 'e'.
6312 * cp-tree.h (BASELINK_BINFO): Adjust.
6313 (BASELINK_FUNCTIONS): Likewise.
6314 (BASELINK_ACCESS_BINFO): Likewise.
6315 (tree_baselink): New structure.
6316 (cp_tree_node_structure_enum): Add TS_CP_BASELINK.
6317 (lang_tree_node): Add baselink.
6318 * decl.c (cp_tree_node_structure): Add BASELINK case.
6319 * search.c (build_baselink): Adjust.
6320 * tree.c (cp_walk_subtrees): Add BASELINK case. Remove BASELINK_P
6321 test from TREE_LIST case.
6324 * parser.c (cp_parser_constructor_declarator_p): Do not assume
6325 that a constructor cannot be declared outside of its own class.
6327 * parser.c (cp_parser_resolve_typename_type): If the scope cannot
6328 be resolved, neither can the qualified name.
6330 * rtti.c (get_pseudo_ti_desc): Fix thinko.
6332 2003-01-16 Jason Merrill <jason@redhat.com>
6335 * init.c (build_vec_init): Re-add maxindex parm.
6336 (perform_member_init, build_aggr_init): Pass it.
6337 (build_new_1): Pass it. Use an incomplete array type for full_type.
6338 * typeck.c (build_modify_expr): Pass it.
6339 * cp-tree.h: Adjust.
6341 2003-01-16 Jeffrey D. Oldham <oldham@codesourcery.com>
6343 * cp-tree.h (tsubst_copy_and_build): New declaration.
6344 * pt.c (tsubst_copy): Remove 'build_expr_from_tree' from comment.
6345 (tsubst_expr): Use 'tsubst_copy_and_build'. Update initial comment.
6346 (tsubst_copy_and_build): New function.
6348 2003-01-16 Mark Mitchell <mark@codesourcery.com>
6350 * cp-tree.h (lang_type_class): Remove is_partial_instantiation.
6351 (PARTIAL_INSTANTIATION_P): Remove.
6352 (IMPLICIT_TYPENAME_P): Likewise.
6353 (IMPLICIT_TYPENAME_TYPE_DECL_P): Likewise.
6354 (build_typename_type): Remove declaration.
6355 (parmlist_is_exprlist): Likewise.
6356 * decl.c (build_typename_type): Make it static, remove third
6358 (push_class_binding): Don't do implicit typename stuff.
6359 (make_typename_type): Likewise.
6360 (lookup_name_real): Likewise.
6361 (grokdeclarator): Don't try to convert declarations into
6362 initializations. Don't do implicit typename stuff.
6363 (parmlist_is_exprlist): Remove.
6364 (xref_basetypes): Simplify.
6365 * decl2.c (grokfield): Don't try to convert declarations into
6367 (build_anon_union_vars): Do this while processing templates, too.
6368 (finish_anon_union): Likewise.
6369 * error.c (dump_type): Remove implicit typename handling.
6370 * parser.c (cp_parser_diagnose_invalid_type_name): New method.
6371 (cp_parser_primary_expression): Correct handling of names not
6372 found by unqualified name lookup in templates.
6373 (cp_parser_nested_name_specifier_opt): Avoid checking dependency
6374 of types when possible.
6375 (cp_parser_simple_declaration): Complain intelligently about some
6376 invalid declarations.
6377 (cp_parser_member_declaration): Likewise.
6378 (cp_parser_constructor_declarator_p): Don't check when we're in a
6380 * pt.c (instantiate_class_template): Remove
6381 PARTIAL_INSTANTIATION_P gunk.
6382 * search.c (lookup_field_r): Don't build implicit typenames.
6383 (marked_pushdecls_p): Don't enter dependent base types.
6384 (unmarked_pushdecls_p): Likewise.
6385 * semantics.c (begin_class_definition): Remove implicit typename
6388 2003-01-16 Nathan Sidwell <nathan@codesourcery.com>
6391 * parser.c (cp_parser_direct_declarator): If accepting either
6392 abstract or named, the name must be an unqualified-id.
6394 2003-01-16 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
6396 * class.c (layout_virtual_bases): Avoid signed/unsigned warning.
6398 2003-01-14 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
6400 * decl2.c (check_classfn): Fix uninitialized warning.
6401 (build_anon_union_vars): Likewise.
6402 * pt.c (tsubst_copy): Likewise.
6404 2003-01-14 Jeffrey D. Oldham <oldham@codesourcery.com>
6406 Further conform g++'s __vmi_class_type_info to the C++ ABI
6408 * rtti.c (dfs_class_hint_mark): Do not set hints not specified by
6410 (class_hint_flags): Likewise.
6412 2003-01-14 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6414 * config-lang.in: Add semantics.c to gtfiles.
6415 * cp-tree.h (flagged_type_tree_s): Remove lookups field.
6416 (saved_scope): Likewise.
6417 (type_lookups): Remove.
6418 (deferred_access): New structure.
6419 (type_access_control): Remove.
6420 (save_type_access_control): Likewise.
6421 (reset_type_access_control): Likewise.
6422 (decl_type_access_control): Likewise.
6423 (push_deferring_access_checks): Declare.
6424 (resume_deferring_access_checks): Likewise.
6425 (stop_deferring_access_checks): Likewise.
6426 (pop_deferring_access_checks): Likewise.
6427 (get_deferred_access_checks): Likewise.
6428 (pop_to_parent_deferring_access_checks): Likewise.
6429 (perform_deferred_access_checks): Likewise.
6430 (perform_or_defer_access_check): Likewise.
6431 * decl.c (make_typename_type): Use perform_or_defer_access_check.
6432 (make_unbound_class_template): Likewise.
6433 (grokdeclarator): Don't call decl_type_access_control.
6434 * parser.c (cp_parser_context): Remove deferred_access_checks
6435 and deferring_access_checks_p fields.
6436 (cp_parser_context_new): Adjust.
6437 (cp_parser): Remove access_checks_lists.
6438 (cp_parser_defer_access_check): Remove.
6439 (cp_parser_start_deferring_access_checks): Remove.
6440 (cp_parser_stop_deferring_access_checks): Remove.
6441 (cp_parser_perform_deferred_access_checks): Remove.
6442 (cp_parser_nested_name_specifier_opt): Use new deferred access
6444 (cp_parser_simple_declaration): Likewise.
6445 (cp_parser_template_id): Likewise.
6446 (cp_parser_function_definition): Likewise.
6447 (cp_parser_class_specifier): Likewise.
6448 (cp_parser_lookup_name): Likewise.
6449 (cp_parser_single_declaration): Likewise.
6450 (cp_parser_pre_parsed_nested_name_specifier): Likewise.
6451 (cp_parser_parse_tentatively): Likewise.
6452 (cp_parser_parse_definitely): Likewise.
6453 (yyparse): Likewise.
6454 (cp_parser_init_declarator): Remove access_checks parameter.
6455 Use new deferred access functions.
6456 (cp_parser_function_definition_from_specifiers_and_declarator):
6458 (cp_parser_class_head): Remove deferring_access_checks_p and
6459 saved_access_checks parameters. Use new deferred access functions.
6460 (cp_parser_member_specification_opt): Don't call
6461 reset_type_access_control.
6462 * search.c (type_access_control): Remove.
6463 * semantics.c: Include "gt-cp-semantics.h".
6464 (deferred_type_access_control): Remove.
6465 (deferred_access_stack): New variable.
6466 (deferred_access_free_list): Likewise.
6467 (push_deferring_access_checks): New function.
6468 (resume_deferring_access_checks): Likewise.
6469 (stop_deferring_access_checks): Likewise.
6470 (pop_deferring_access_checks): Likewise.
6471 (get_deferred_access_checks): Likewise.
6472 (pop_to_parent_deferring_access_checks): Likewise.
6473 (perform_deferred_access_checks): New function, adapted from
6474 cp_parser_perform_deferred_access_checks.
6475 (perform_or_defer_access_check): New function, adapted from
6476 cp_parser_defer_access_check.
6477 (current_type_lookups): Remove.
6478 (deferred_type_access_control): Likewise.
6479 (decl_type_access_control): Likewise.
6480 (save_type_access_control): Likewise.
6481 (reset_type_access_control): Likewise.
6482 (begin_function_definition): Adjust.
6483 (begin_class_definiton): Likewise.
6485 2003-01-13 Jason Merrill <jason@redhat.com>
6488 * class.c (build_base_path): Take the address before calling save_expr.
6490 * call.c (build_user_type_conversion_1): Do set ICS_BAD_FLAG if
6491 all the ambiguous conversions are bad.
6493 * class.c (maybe_warn_about_overly_private_class): Don't stop
6494 searching when we find a nonprivate method.
6496 * typeck.c (build_class_member_access_expr): Use unary_complex_lvalue.
6498 2003-01-12 Mark Mitchell <mark@codesourcery.com>
6500 * cp-tree.h (get_arglist_len_in_bytes): Remove.
6503 * parser.c (cp_parser_elaborated_type_specifier): Handle erroneous
6504 typeame types more robustly.
6506 2003-01-11 Phil Edwards <pme@gcc.gnu.org>
6508 * parser.c: Fix comment typos.
6510 2003-01-10 Mark Mitchell <mark@codesourcery.com>
6513 * parser.c (cp_parser_scope_through_which_access_occurs): Handle
6514 an object_type which is not a class type.
6516 2003-01-10 Geoffrey Keating <geoffk@apple.com>
6518 * parser.c (cp_parser_late_parsing_for_member): Don't cast to void.
6519 (cp_parser_late_parsing_default_args): Likewise.
6521 2003-01-10 Nathanael Nerode <neroden@gcc.gnu.org>
6523 * cfns.gperf: ANSIfy function declarations.
6524 * cfns.h: Regenerate.
6525 * cp-tree.h: ANSIfy function declarations.
6527 2003-01-10 Mark Mitchell <mark@codesourcery.com>
6529 * cp-tree.h (reparse_absdcl_as_expr): Remove.
6530 (reparse_absdcl_as_casts): Likewise.
6531 (reparse_decl_as_expr): Likewise.
6532 (finish_decl_parsing): Likewise.
6533 * decl2.c (reparse_absdcl_as_expr): Remove.
6534 (reparse_absdcl_as_casts): Likewise.
6535 (repase_decl_as_expr): Likewise.
6536 (finish_decl_parsing): Likewise.
6541 * parser.c (cp_parser_pre_parsed_nested_name_specifier): New
6543 (cp_parser_nested_name_specifier_opt): Correct the
6544 check_dependency_p false.
6545 (cp_parser_postfix_expression): Fix formatting.
6546 (cp_parser_decl_specifier_seq): Avoid looking for constructor
6547 declarators when possible.
6548 (cp_parser_template_id): Avoid performing name-lookup when
6550 (cp_parser_class_head): Do not count specializations when counting
6551 levels of templates.
6552 (cp_parser_constructor_declarator_p): Return immediately if
6553 there's no chance that the tokens form a constructor declarator.
6554 * rtti.c (throw_bad_typeid): Add comment. Do not return an
6555 expression with reference type.
6556 (get_tinfo_decl_dynamic): Do not return an expression with
6558 (build_typeid): Add comment. Do not return an expression with
6560 * typeck.c (build_class_member_access_expr): Improve handling of
6561 conditionals and comma-expressions as objects.
6563 2003-01-09 Nathanael Nerode <neroden@gcc.gnu.org>
6565 * cfns.gperf: ANSIfy function declarations.
6566 * cfns.h: Regenerate.
6567 * cp-tree.h: ANSIfy function declarations.
6568 * parser.c: ANSIfy function declarations & definitions.
6570 * decl.c (bad_specifiers): Fix parameter order error I introduced.
6572 2003-01-09 Geoffrey Keating <geoffk@apple.com>
6574 Merge from pch-branch:
6576 2003-01-09 Geoffrey Keating <geoffk@apple.com>
6578 Merge to tag pch-merge-20030102:
6580 * semantics.c (finish_translation_unit): Don't call finish_file.
6581 * parser.c: Don't include ggc.h.
6582 (cp_lexer_new_main): Rename from cp_lexer_new, only create main lexer,
6583 read first token here. Don't allow PCH files after the first
6585 (cp_lexer_new_from_tokens): Duplicate functionality from cp_lexer_new.
6586 (cp_lexer_get_preprocessor_token): Allow LEXER to be NULL.
6587 (cp_parser_new): Call cp_lexer_new_main before allocating GCed memory.
6588 (cp_parser_late_parsing_for_member): Don't duplicate call to
6589 cp_lexer_set_source_position_from_token.
6590 (cp_parser_late_parsing_default_args): Likewise.
6591 (yyparse): Call finish_file after clearing the_parser.
6593 2002-12-11 Geoffrey Keating <geoffk@apple.com>
6595 * Make-lang.in: Remove $(GGC_H) from all dependencies.
6596 (CXX_TREE_H): Add $(GGC_H).
6597 * class.c: Don't include ggc.h.
6598 (field_decl_cmp): Make parameters be 'const void *' to match qsort.
6599 (method_name_cmp): Likewise.
6600 (resort_data): New variable.
6601 (resort_field_decl_cmp): New.
6602 (resort_method_name_cmp): New.
6603 (resort_sorted_fields): New.
6604 (resort_type_method_vec): New.
6605 (finish_struct_methods): Delete cast.
6606 (finish_struct_1): Delete cast.
6607 * cp-tree.h: Include ggc.h.
6608 (struct lang_type_class): Add reorder attribute to field `methods'.
6609 (union lang_decl_u3): Add reorder attribute to field `sorted_fields'.
6610 (resort_sorted_fields): New prototype.
6611 (resort_type_method_vec): New prototype.
6612 * call.c: Don't include ggc.h.
6614 * decl2.c: Likewise.
6617 * method.c: Likewise.
6618 * optimize.c: Likewise.
6619 * parse.y: Likewise.
6622 * search.c: Likewise.
6623 * semantics.c: Likewise.
6627 * lang-specs.h: Remove comment.
6629 2002-12-03 Geoffrey Keating <geoffk@apple.com>
6631 * cp-tree.h (struct operator_name_info_t): Mark for GTY machinery.
6632 (operator_name_info): Mark to be saved for PCH, specify size.
6633 (assignment_operator_name_info): Likewise.
6635 2002-11-19 Geoffrey Keating <geoffk@apple.com>
6637 * decl.c (anon_cnt): Mark to be saved for PCH.
6639 2002-10-25 Geoffrey Keating <geoffk@apple.com>
6641 * lex.c (init_reswords): Delete now-untrue comment.
6642 Allocate ridpointers using GGC.
6644 2002-10-04 Geoffrey Keating <geoffk@apple.com>
6646 * cp-tree.h (union lang_decl_u2): Add tags to all fields.
6648 * g++spec.c (lang_specific_driver): Don't include standard
6649 libraries in `added'.
6651 2002-08-27 Geoffrey Keating <geoffk@redhat.com>
6653 * decl2.c (finish_file): Call c_common_write_pch.
6654 * Make-lang.in (CXX_C_OBJS): Add c-pch.o.
6656 2002-08-17 Geoffrey Keating <geoffk@redhat.com>
6658 * g++spec.c (lang_specific_driver): Treat .h files as C++ header
6659 files when using g++.
6660 * lang-specs.h: Handle compiling C++ header files.
6662 2003-01-09 Jakub Jelinek <jakub@redhat.com>
6664 * decl.c (start_decl): Only check DECL_THREAD_LOCAL for VAR_DECLs.
6666 2003-01-09 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6668 * pt.c (push_access_scope_real): Call push_to_top_level for
6669 function in namespace scope.
6670 (pop_access_scope): Call pop_from_top_level for function in
6673 2003-01-09 Jakub Jelinek <jakub@redhat.com>
6675 * decl.c (start_decl): Don't set DECL_COMMON for __thread variables.
6677 2003-01-09 Christian Cornelssen <ccorn@cs.tu-berlin.de>
6679 * Make-lang.in (c++.install-common, c++.install-man,
6680 c++.uninstall): Prepend $(DESTDIR) to destination paths in
6681 all (un)installation commands.
6682 (c++.install-common): Rewrite $(LN) commands to support
6683 DESTDIR with "ln" as well as with "ln -s".
6685 2003-01-08 Jason Merrill <jason@redhat.com>
6687 * parser.c (cp_parser_primary_expression): See through explicitly
6688 scoped ALIAS_DECLs, too.
6690 2003-01-08 Nathanael Nerode <neroden@gcc.gnu.org>
6692 * decl.c: Remove some #if 0 code.
6694 * decl.c: ANSIfy function declarations.
6696 2003-01-07 Mark Mitchell <mark@codesourcery.com>
6698 * parser.c (cp_parser_asm_definition): Correct handling of omitted
6701 2003-01-08 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
6704 * decl.c (make_typename_type): Check access only when tf_error.
6705 (make_unbound_class_template): Likewise.
6706 * pt.c (saved_access_scope): New variable.
6707 (push_access_scope_real): New function.
6708 (push_access_scope): Likewise.
6709 (pop_access_scope): Likewise.
6710 (tsubst_default_argument): Use them.
6711 (instantiate_template): Likewise.
6712 (regenerate_decl_from_template): Likewise.
6713 (instantiate_decl): Likewise.
6714 (get_mostly_instantiated_function_type): Likewise.
6716 2003-01-07 Nathanael Nerode <neroden@gcc.gnu.org>
6718 * tree.c: Delete bogus #if 0 code.
6720 2003-01-07 Andreas Schwab <schwab@suse.de>
6722 * class.c (layout_class_type): Don't use
6723 PCC_BITFIELD_TYPE_MATTERS if not defined.
6725 2003-01-06 Mark Mitchell <mark@codesourcery.com>
6728 * decl2.c (build_cleanup): Mark the object as used.
6730 * pt.c (retrieve_local_specialization): Revert 2003-01-05 change.
6731 (hash_local_specialization): New function.
6732 (register_local_specialization): Revert 2003-01-05 change.
6733 (instantiate_decl): Use hash_local_specialization when creating
6734 the local_specializations table.
6736 * decl2.c (mark_used): Do not synthesize thunks.
6738 * class.c (layout_class_type): Correct handling of unnamed
6739 bitfields wider than their types.
6742 * parser.c (cp_parser): Remove default_arg_types. Update
6743 documentation for unparsed_functions_queues.
6744 (cp_parser_late_parsing_default_args): Take a FUNCTION_DECL as the
6746 (cp_parser_new): Don't set parser->default_arg_types.
6747 (cp_parser_function_definition): Adjust usage of
6748 unparsed_funtions_queues.
6749 (cp_parser_class_specifier): Don't mess with
6750 parser->default_arg_types. Handle default argument processing in
6751 a separate phase from function body processing.
6752 (cp_parser_template_declaration_after_export): Adjust usage of
6753 unparsed_functions_queues.
6754 (cp_parser_late_parsing_for_member): Do not handle default
6757 2003-01-06 Nathan Sidwell <nathan@codesourcery.com>
6760 * parser.c (cp_parser_declarator_kind): New enum.
6761 (cp_parser_declarator): Adjust.
6762 (cp_parser_direct_declarator): Adjust. Allow for either named or
6763 abstract declarator. Prefer abstract, if possible. Allow
6764 parenthesized function name.
6765 (cp_parser_condition): Adjust cp_parser_declarator call.
6766 (cp_parser_explicit_instantiation): Likewise.
6767 (cp_parser_init_declarator): Likewise.
6768 (cp_parser_type_id): Likewise.
6769 (cp_parser_function_definition): Likewise.
6770 (cp_parser_member_declaration): Likewise.
6771 (cp_parser_parameter_declaration): Use cp_parser_declarator to do
6772 the tentative parsing.
6773 (cp_parser_exception_declaration): Likewise.
6775 2003-01-05 Mark Mitchell <mark@codesourcery.com>
6777 * parser.c (cp_parser_template_parameter): Adjust call to
6778 cp_parser_parameter_declaration.
6779 (cp_parser_parameter_declaration_list): Likewise.
6780 (cp_parser_parameter_declaration): Replace
6781 greater_than_is_operator_p with template_parm_p parameter. Do not
6782 cache tokens for template default arguments.
6784 * pt.c (retrieve_local_specialization): Use htab_find, not
6785 htab_find_with_hash.
6786 (register_local_specialization): Use htab_find_slot, not
6787 htab_find_slot_with_hash.
6788 (instantiate_decl): Pass a hash function to htab_create.
6790 2003-01-04 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
6792 * parser.c (cp_parser_binary_expression,
6793 cp_parser_multiplicative_expression,
6794 cp_parser_additive_expression, cp_parser_shift_expression,
6795 cp_parser_relational_expression, cp_parser_equality_expression,
6796 cp_parser_and_expression, cp_parser_exclusive_or_expression,
6797 cp_parser_inclusive_or_expression,
6798 cp_parser_logical_and_expression, cp_parser_logical_or_expression,
6799 cp_parser_binary_expression): Const-ify.
6801 2003-01-04 Mark Mitchell <mark@codesourcery.com>
6803 * method.c (use_thunk): Disable access control while building the
6806 2003-01-03 Nathanael Nerode <neroden@gcc.gnu.org>
6808 * cvt.c, decl.c, decl2.c: This is the C++ front end, not the C
6811 2003-01-03 Matt Austern <austern@apple.com>
6813 * cp-tree.h (struct lang_type_class): add field for key method
6814 (cp_global_trees): rename dynamic_classes to keyed_classes
6815 (key_method): add definition
6816 * class.c (finish_struct_1): compute class's key method, and add
6817 the class to keyed_classes list if there is no key method.
6818 * decl.c (finish_function): add class to keyed_classes list if we
6819 see a definition of the class's key method.
6820 * pt.c (instantiate_class_template): add template specialization
6821 of a dynamic class to keyed_classes list.
6822 * decl2.c (key_method): remove
6823 (finish_file): iterate only through keyed_classes list when
6824 deciding whether to emit vtables, remove class from its list after
6827 2003-01-02 Jason Merrill <jason@redhat.com>
6829 * call.c (build_conditional_expr): Stabilize lvalues properly.
6830 * cvt.c (ocp_convert): Don't build NOP_EXPRs of class type.
6831 * tree.c (lvalue_p_1): Don't allow sloppy NOP_EXPRs as lvalues.
6832 Don't allow CALL_EXPR or VA_ARG_EXPR, either.
6834 * call.c (convert_like_real): Call decl_constant_value for an
6835 IDENTITY_CONV even if there are no more conversions.
6837 * cvt.c (build_up_reference): Don't push unnamed temps.
6839 * decl2.c (do_namespace_alias): Namespace aliases are DECL_EXTERNAL.
6841 * dump.c (cp_dump_tree): Don't try to dump class-specific fields
6842 for a backend struct.
6844 * except.c (wrap_cleanups_r, build_throw): Make
6845 MUST_NOT_THROW_EXPRs void.
6846 * init.c (expand_default_init): Update to handle MUST_NOT_THROW_EXPR.
6848 * init.c (build_vec_delete_1): Pre-evaluate the base address.
6850 * init.c (get_temp_regvar): Simplify logic.
6852 * tree.c (cp_copy_res_decl_for_inlining): Only do debug tweaks if
6853 our replacement is a decl.
6855 * decl.c (cp_make_fname_decl): Push the decls inside the
6858 2003-01-03 Nathan Sidwell <nathan@codesourcery.com>
6861 * tree.c (cp_tree_equal, TEMPLATE_PARM_INDEX): The types must be
6864 2003-01-03 Graham Stott <graham.stott@btinternet.com>
6866 * parser.c (struct cp_parser): Add access_checks_lists field
6867 (cp_parser_simple_declaration): Use.
6868 (cp_parser_init_declarator): Likewise.
6870 2003-01-02 Mark Mitchell <mark@codesourcery.com>
6872 * parser.c (cp_parser_declaration): Accept the __extension__
6873 keyword before the declaration.
6876 * parser.c (cp_parser_parameter_declaration): Allow attributes to
6877 appear after the declarator.
6879 * call.c (build_new_method_call): Fix typo in message format
6882 2003-01-02 Mark Mitchell <mark@codesourcery.com>
6884 * parser.c (cp_lexer_next_token_is): Declare it inline.
6885 (cp_lexer_set_source_position_from_token): Likewise.
6886 (cp_lexer_debugging_p): Likewise.
6887 (cp_parser_parsing_tentatively): Likewise.
6888 (cp_parser_nested_name_specifier_opt): Reduce the number of calls
6889 to the cp_lexer_peek_token.
6891 * parser.c (cp_parser_sizeof_operand): Do not evaluate the
6894 2003-01-02 Steven Bosscher <s.bosscher@student.tudelft.nl>
6896 * cp/except.c, cp/expr.c, cp/friend.c, cp/g++spec.c,
6897 cp/lang-options.h, cp/lang-specs.h, cp/lex.h, cp/ptree.c,
6898 cp/repo.c: Fix copyright years.
6900 2003-01-01 Neil Booth <neil@daikokuya.co.uk>
6902 * lex.c: Remove superfluous include of cpplib.h.
6903 (CONSTRAINT): Define without conditions.
6904 (init_cp_pragma): Use c_register_pragma.