OSDN Git Service

PR c++/16829
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2006-01-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2
3         PR c++/16829
4         * decl.c (start_preparsed_function): Check default arguments
5         unconditionally.
6         * name-lookup.c (pushdecl_maybe_friend): Check default arguments
7         of all functions and function templates.
8         * parser.c (cp_parser_late_parsing_default_args): Check default
9         arguments.
10         * decl2.c (check_default_args): Set missing default arguments to
11         error_mark_node.
12
13 2006-01-18  Mark Mitchell  <mark@codesourcery.com>
14
15         PR c++/25836
16         * cp-tree.h (push_class_stack): New function.
17         (pop_class_stack): Likewise.
18         * class.c (class_stack_node): Add hidden field.
19         (pushclass): Clear it.
20         (push_class_stack): New function.
21         (pop_class_stack): Likewise.
22         (currently_open_class): Ignore hidden classes.
23         (currently_open_derived_class): Likewise.
24         * name-lookup.c (push_to_top_level): Call push_class_stack.
25         (pop_from_top_level): Call pop_class_stack.
26
27 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
28
29         * tree.c (find_tree_t, find_tree): Remove.
30         * cp-tree.h: Remove the prototype for find_tree.
31
32 2006-01-18  Jakub Jelinek  <jakub@redhat.com>
33
34         * search.c (lookup_conversions_r): Fix a pasto.
35
36 2006-01-17  Eric Christopher  <echristo@apple.com>
37
38         * call.c (convert_like_real): When issuing conversion
39         warnings, depend on OPT_Wconversion.
40         * cvt.c (build_expr_type_conversion): Ditto.
41
42 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
43
44         * name-lookup.c (lookup_namespace_name): Remove.
45         * name-lookup.h: Remove the prototype for
46         lookup_namespace_name.
47
48 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
49
50         PR c/25682
51         * decl.c (compute_array_index_type): After issuing not an integral
52         constant-expression error, set size to 1 to avoid ICEs later on.
53
54 2006-01-16  Ian Lance Taylor  <ian@airs.com>
55
56         * parser.c: Include "cgraph.h".
57         (cp_parser_asm_definition): Call cgraph_add_asm_node rather than
58         assemble_asm.
59
60 2006-01-16  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
61
62         * g++spec.c (lang_specific_spec_functions): Remove.
63
64 2006-01-15  Gabriel Dos Reis  <gdr@integrable-solutions.net>
65
66         * decl.c (check_initializer): Fix thinko.
67
68 2006-01-14  Mark Mitchell  <mark@codesourcery.com>
69
70         PR c++/25663
71         * parser.c (cp_parser_direct_declarator): Use cp_parser_error
72         instead of error.
73
74 2006-01-13  Jason Merrill  <jason@redhat.com>
75
76         * pt.c (check_explicit_specialization): Use CP_DECL_CONTEXT even more.
77
78         * name-lookup.c (set_decl_namespace): Use CP_DECL_CONTEXT.
79         * pt.c (check_explicit_specialization): Likewise.
80
81 2006-01-12  Jason Merrill  <jason@redhat.com>
82
83         PR libstdc++/24660
84         * pt.c (check_explicit_specialization): Handle namespace
85         association.
86         * name-lookup.c (set_decl_namespace): Likewise.
87
88 2006-01-12  Nathan Sidwell  <nathan@codesourcery.com>
89
90         PR c++/24824
91         * class.c (handle_using_decl): Pass correct scope to
92         cp_emit_debug_info_for_using.
93
94 2006-01-11  Nathan Sidwell  <nathan@codesourcery.com>
95
96         PR c++/25386
97         * tree.c (lvalue_p_1): Any part of a COMPONENT_REF affects
98         packedness.
99
100 2006-01-06  Gabriel Dos Reis  <gdr@integrablesolutions.net>
101
102         * parser.c (cp_parser_primary_expression): Document the grammar
103         for the built-in offsetof, a GNU extension.
104
105 2006-01-04  Zdenek Dvorak <dvorakz@suse.cz>
106
107         PR c++/25632
108         * init.c (constant_value_1): Unshare use of DECL_INITIAL.  Fix a typo
109         in condition.
110
111 2006-01-04  Chris Lattner  <sabre@gnu.org>
112
113         * typeck2.c: update copyright to 2006
114         (split_nonconstant_init_1):  Set TREE_CONSTANT to true.
115
116 2006-01-04  Mark Mitchell  <mark@codesourcery.com>
117
118         PR c++/24782
119         * parser.c (cp_parser_nested_name_specifier_opt): Preserve access
120         checks, even when parsing tentatively.
121
122 2006-01-04  Richard Henderson  <rth@redhat.com>
123
124         Merge from gomp branch.
125         * lex.c (handle_pragma_java_exceptions): Fix whitespace.
126         * parser.c (struct cp_token): Add pragma_kind.
127         (eof_token): Update to match.
128         (struct cp_lexer): Add in_pragma; rearrange next for better packing.
129         (cp_parser_initial_pragma): New.
130         (cp_lexer_new_main): Use it.  Don't bother clearing
131         c_lex_return_raw_strings.
132         (cp_lexer_get_preprocessor_token): Always initialize keyword
133         and pragma_kind fields.  Handle CPP_PRAGMA.
134         (cp_lexer_consume_token): Don't allow CPP_PRAGMA_EOL when
135         in_pragma is set.
136         (cp_lexer_handle_pragma): Remove.  Update callers to cp_parser_pragma.
137         (cp_lexer_print_token) <CPP_PRAGMA>: Don't print as a string.
138         (cp_parser_skip_to_pragma_eol): New.
139         (cp_parser_error): Use it.
140         (cp_parser_skip_to_closing_parenthesis): Stop at CPP_PRAGMA_EOL;
141         rearrange with switch statement.
142         (cp_parser_skip_to_end_of_statement): Likewise.
143         (cp_parser_skip_to_end_of_block_or_statement): Likewise.
144         (cp_parser_skip_to_closing_brace): Likewise.
145         (cp_parser_skip_until_found): Likewise.
146         (cp_parser_statement): Add in_compound argument; update callers.
147         Use it to decide how to handle pragma parsing.
148         (cp_parser_labeled_statement): Add in_compound argument; pass
149         it on to cp_parser_statement.
150         (cp_parser_statement_seq_opt): Stop at CPP_PRAGMA_EOL.
151         (cp_parser_declaration_seq_opt): Likewise.
152         (cp_parser_parameter_declaration): Likewise.
153         (cp_parser_member_specification_opt): Likewise.
154         (cp_parser_function_definition_after_decl): Likewise.
155         (cp_parser_cache_group): Handle CPP_PRAGMA/CPP_PRAGMA_EOL pairs.
156         (cp_parser_pragma): New.
157         (pragma_lex): New.
158
159 2006-01-04  Dirk Mueller <dmueller@suse.com>
160
161         * decl.c (finish_constructor_body): create simple
162         compound stmt instead of a if(1) { } construct.
163
164 2006-01-03  Mark Mitchell  <mark@codesourcery.com>
165
166         PR c++/25492
167         * name-lookup.c (push_class_level_binding): When a derived class
168         provides a type binding, eliminate any type binding from a base
169         class.
170
171         PR c++/25625
172         * repo.c (repo_emit_p): Always instantiate static data members
173         initialized by constant expressions, so that there values are
174         available.
175
176 2006-01-02  Mark Mitchell  <mark@codesourcery.com>
177
178         PR c++/25635
179         * class.c (add_method): Set TYPE_HAS_CONVERSION for classes with a
180         conversion operator.
181         * decl.c (grokdeclarator): Do not set TYPE_HAS_CONVERSION here.
182
183         PR c++/25638
184         * class.c (add_method): Never associate more than one destructor
185         with a single class.
186
187         PR c++/25637
188         * cp-tree.h (do_friend): Adjust prototype.
189         * decl.c (grokfndecl): Make funcdef_flag a bool, not an int.
190         (grokdeclarator): Likewise.  Refine check for invalid
191         declarations/definitions of member functions outside of their own
192         class.
193         * friend.c (do_friend): Make funcdef_flag a bool, not an int.
194
195         PR c++/25633
196         * parser.c (cp_parser_mem_initializer_list): Check result of
197         cp_parser_mem_initializer against error_mark_node, not NULL_TREE.
198         (cp_parser_mem_initializer): Return error_mark_node for failure.
199
200         PR c++/25634
201         * parser.c (cp_parser_template_parameter_list): Call
202         begin_template_parm_list and end_template_parm_list here.
203         (cp_parser_type_parameter): Not here.
204         (cp_parser_template_declaration_after_export): Or here.
205         (cp_parser_elaborated_type_specifier): Call
206         cp_parser_check_template_parameters.
207
208         * tree.c (build_target_expr_with_type): Use force_target_expr.
209
210         * decl2.c (mark_used): Fix typo in comment.
211
212 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
213
214         * parser.c (cp_parser_using_declaration): Skip name-lookup on
215         invalid scope.
216
217 2005-12-30  Gabriel Dos Reis  <gdr@integrable-solutions.net>
218
219         * cxx-pretty-print.c (pp_cxx_constant): New.  Print
220         string-literal in parens if input program says so.
221         (pp_cxx_primary_expression): Hand off constant printing to
222         pp_cxx_constant.
223         (pp_cxx_pretty_printer_init): Set pp->c_base.constant.
224         (pp_cxx_expression): Use pp_cxx_constant for literals.
225         * error.c (dump_expr): Use pp_constant for literals.
226
227 2005-12-29  Nathan Sidwell  <nathan@codesourcery.com>
228
229         * method.c (make_thunk): Don't set comdat_linkage here.
230         (use_thunk): Make thunk one only here, if thunk target is
231         DECL_ONE_ONLY.
232
233 2005-12-26  Mark Mitchell  <mark@codesourcery.com>
234
235         PR c++/25439
236         * decl.c (grokdeclarator): Remove dead code.
237         * ptree.c (cxx_print_xnode): Handle BASELINK.
238         * parser.c (make_id_declarator): Add sfk parameter.
239         (cp_parser_direct_declarator): Do not pass TYPE_DECLs to
240         make_id_declarator.
241         (cp_parser_declarator_id): Simplify BASELINKs here.
242         (cp_parser_member_declaration): Adjust calls to
243         make_id_declarator.
244
245 2005-12-26  Mark Mitchell  <mark@codesourcery.com>
246
247         PR c++/23171, c++/23172, c++/25417.
248         * typeck.c (build_unary_op): Create temporary variables for
249         compound literals whose addresses are taken.
250         * init.c (expand_aggr_init_1): Use COMPOUND_LITERAL_P.
251         * decl.c (reshape_init_vector): Likewise.
252         (reshape_init): Give it external linkage.
253         (check_initializer): Use COMPOUND_LITERAL_P.
254         (initialize_artificial_var): Allow the initializer to be a
255         CONSTRUCTOR.
256         * call.c (make_temporary_var_for_ref_to_temp): Use
257         create_temporary_var.
258         * cp-tree.h (COMPOUND_LITERAL_P): New macro.
259         (rehape_init): Declare.
260         * typeck2.c (digest_init): Use COMPOUND_LITERAL_P.
261         * semantics.c (finish_compound_literal): Use reshape_init.
262
263 2005-12-23  Mark Mitchell  <mark@codesourcery.com>
264
265         PR c++/24671
266         * pt.c (instantiate_template): Handle SFINAE.
267
268 2005-12-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
269
270         * decl.c (grokdeclarator): Improve diagnostic for friend
271         declarations of class members.
272
273 2005-12-22  Mark Mitchell  <mark@codesourcery.com>
274
275         PR c++/25369
276         * tree.c (really_overloaded_fn): Tweak comment.
277         * pt.c (tsubst_call_declarator_parms): Remove.
278         (tsubst_copy): Call mark_used on the member referenced by an
279         OFFSET_REF.
280         * semantics.c (finish_qualified_id_expr): Simplify.
281         * decl2.c (mark_used): Accept BASELINKs.
282
283         PR c++/25364
284         * typeck.c (build_unary_op): Pass DECLs not names to
285         build_offset_refs.
286         * init.c (build_offset_ref): Do not do name lookup.  Do not call
287         mark_used.
288         * call.c (build_call): Simplify and tidy.
289         * semantics.c (finish_qualified_id_expr): Call mark_used.
290
291 2005-12-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
292
293         PR c++/23333
294         * parser.c (cp_parser_pure_specifier): Check for PURE_ZERO to
295         identify a single '0'.
296
297 2005-12-20  Mark Mitchell  <mark@codesourcery.com>
298
299         PR c++/21228
300         * decl.c (use_eh_spec_block): New function.
301         (store_parm_decls): Use it.
302         (finish_function): Likewise.
303
304 2005-12-19  Mark Mitchell  <mark@codesourcery.com>
305
306         PR c++/24278
307         * init.c (expand_member_init): Print messages about baseclasses
308         using %T rather than %D.
309
310         PR c++/24915
311         * class.c (add_method): Do not treat templates as identical unless
312         their return types are the same.
313
314 2005-12-12  Mark Mitchell  <mark@codesourcery.com>
315
316         PR c++/25300
317         * tree.c (build_qualified_name): Return error_mark_node for
318         erroneous input.
319
320 2005-12-10  Mark Mitchell  <mark@codesourcery.com>
321
322         PR c++/25337
323         * pt.c (tsubst_copy_and_build): Permit dependent types for the
324         object in a class member access expression.
325
326 2005-12-10  Terry Laurenzo  <tlaurenzo@gmail.com>
327
328         PR java/9861
329         * mangle.c (write_bare_function_type): Mangle return type for
330         methods of Java classes
331
332 2005-12-08  Théodore Papadopoulo <Theodore.Papadopoulo@sophia.inria.fr>
333
334         * call.c (build_conditional_expr): Print types in error messages.
335
336 2005-12-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
337
338         * expr.c (cxx_expand_expr): Call gcc_unreachable instead of abort.
339
340 2005-12-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
341
342         * cp-gimplify.c (gimplify_cp_loop): Use fold_build3.
343
344 2005-12-07  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
345
346         * Make-lang.in (c++.all.build, c++.install-normal): Remove.
347
348 2005-12-07  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
349
350         * Make-lang.in: Remove all dependencies on s-gtype.
351
352 2005-12-06  Aldy Hernandez  <aldyh@redhat.com>
353
354        PR C++/24138
355         * decl.c (reshape_init_array_1): Handle max_index of -1.
356
357 2005-12-06  Roger Sayle  <roger@eyesopen.com>
358
359         * typeck.c (build_binary_op): Issue warning if either operand of a
360         comparison operator is a string literal, except for testing equality
361         or inequality against NULL.
362
363 2005-12-06  Roger Sayle  <roger@eyesopen.com>
364
365         PR c++/25263
366         * decl.c (compute_array_index_type): Check that itype is an
367         INTEGER_CST node before testing/clearing TREE_OVERFLOW.
368
369 2005-12-05  Daniel Berlin  <dberlin@dberlin.org>
370
371         * ptree.c (cxx_print_decl): Update to check for decl_common
372         structure.
373
374 2005-12-02  Mark Mitchell  <mark@codesourcery.com>
375
376         PR c++/24173
377         * decl.c (duplicate_decls): Don't rely on DECL_TEMPLATE_INFO after
378         clobbering newdecl.
379
380 2005-12-02  Richard Guenther  <rguenther@suse.de>
381
382         * semantics.c (simplify_aggr_init_expr): Use buildN instead
383         of build.
384
385 2005-12-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
386
387         * parser.c (cp_lexer_new_main): Usr GGC_RESIZEVEC instead of
388         ggc_realloc.
389         (cp_parser_template_argument_list): Use XRESIZEVEC instead of
390         xrealloc.
391         * class.c (pushclass): Likewise.
392
393 2005-12-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
394
395         * decl2.c (get_priority_info): Use XNEW, not xmalloc.
396         * decl.c (push_switch): Likewise.
397         * lex.c (handle_pragma_implementation): Likewise.
398         * cp-objcp-common.c (decl_shadowed_for_var_insert): Use GGC_NEW,
399         not ggc_alloc.
400         (cxx_initialize_diagnostics): Use XNEW, not xmalloc.
401         * class.c (init_class_processing): Use XNEWVEC, not xmalloc.
402         * g++spec.c (lang_specific_driver): Likewise.
403         * mangle.c (save_partially_mangled_name): Likewise.
404         * parser.c (cp_lexer_new_main): Use GGC_NEWVEC, not ggc_alloc.
405         (cp_parser_template_argument_list): Use XNEWVEC, nto xmalloc.
406         (cp_parser_sizeof_operand): Likewise.
407         * repo.c (open_repo_file, open_repo_file): Likewise.
408
409 2005-12-01  Gabriel Dos Reis  <gdr@integrable-solutions.net>
410
411         * parser.c (cp_parser_make_typename_type): Call make_typename_type
412         with tf_none instead of magic value 0.
413         (cp_parser_explicit_instantiation): Call do_type_instantiation
414         with tf_error instead of magic value 1.
415         (cp_parser_elaborated_type_specifier): Call make_typename_type
416         with tf_error instead of magic value 1.
417         (cp_parser_class_name): Likewise.
418         (cp_parser_lookup_name): Likewise.
419
420 2005-12-01  Gabriel Dos Reis  <gdr@integrable-solutions.net>
421
422         * parser.c (cp_parser_declaration): Set token2.type to CPP_EOF,
423         not RID_MAX.
424
425 2005-11-30  Jason Merrill  <jason@redhat.com>
426
427         PR c++/21123
428         * cp-gimplify.c (cp_genericize_r): Don't dereference invisible reference
429         parms in a thunk.
430
431 2005-11-30  Ben Elliston  <bje@au.ibm.com>
432
433         * typeck.c (build_x_unary_op): Correct spelling in error message.
434
435 2005-11-28  Nathan Sidwell  <nathan@codesourcery.com>
436
437         PR c++/21166
438         * class.c (check_field_decls): Only set DECL_PACKED on a field
439         when its natural alignment is > BITS_PER_UNIT.
440
441 2005-11-27  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
442
443         PR c++/24979
444         * cp-tree.h (DECL_MAIN_P): Remove duplicate definition.
445
446 2005-11-26  Richard Henderson  <rth@redhat.com>
447
448         * lex.c: Update for pragma_lex rename.
449         * parser.c: Likewise.
450
451 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
452
453         PR c++/9278
454         * decl.c (grokparms): Do not allow typedef-names in a '(void)'
455         parmlist.
456
457 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
458
459         * typeck2.c (process_init_constructor_union): Remove check for
460         unnamed union members.
461
462 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
463
464         * name-lookup.c (lookup_name_real): Merge two if's.
465
466 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
467
468         * pt.c (instantiate_class_template): Clean-up.
469
470 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
471
472         * pt.c (template_class_depth_real): Remove. Move functionality to ...
473         (template_class_depth): ... here, replacing count_specializations
474         with 0.  Adjust comment.
475
476 2005-11-24  Richard Guenther  <rguenther@suse.de>
477         Dirk Mueller <dmueller@suse.de>
478
479         PR c++/14024
480         * typeck.c (build_reinterpret_cast_1): Use
481         strict_aliasing_warning.
482
483 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
484
485         PR c++/24235
486         * pt.c (check_instantiated_args): Reword diagnostic message about
487         template argument involving local types.
488
489 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
490
491         PR c++/21667
492         * typeck.c (build_array_ref): Avoid code duplicate.  Use common
493         C/C++ diagnostic function warn_array_subscript_with_type_char.
494
495 2005-11-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
496
497         PR c++/22238
498         * error.c (resolve_virtual_fun_from_obj_type_ref): New.
499         (dump_expr): Use it in <case CALL_EXPR>.
500
501 2005-11-21  Richard Henderson  <rth@redhat.com>
502
503         * cp-objcp-common.h, name-lookup.c, name-lookup.h: Revert 11-18 patch.
504
505         * name-lookup.c (lookup_name): Remove prefer_type argument.
506         (lookup_name_prefer_type): New.
507         * decl.c (lookup_and_check_tag): Use them.
508         * pt.c (tsubst_friend_class): Likewise.
509         (lookup_template_class): Likewise.
510         (tsubst_copy_and_build): Likewise.
511         * name-lookup.h (lookup_name_prefer_type): New.
512         (lookup_name): Remove declaration.
513
514 2005-11-18  Mark Mitchell  <mark@codesourcery.com>
515
516         PR c++/8355
517         * decl.c (grokfndecl): Set up DECL_TEMPLATE_INFO before calling
518         set_decl_namespace.
519         * name-lookup.c (set_decl_namespace):
520
521 2005-11-18  Mike Stump  <mrs@apple.com>
522
523         * cp-objcp-common.h (LANG_HOOKS_LOOKUP_NAME): Add.
524         * name-lookup.c (lookup_name_two): Remove.
525         (lookup_name_one): Add.
526         * name-lookup.h (lookup_name_two): Remove.
527         (lookup_name_one): Add.
528
529 2005-11-15  Jason Merrill  <jason@redhat.com>
530
531         PR c++/24580
532         * method.c (locate_copy): Also use skip_artificial_parms here.
533         (synthesize_exception_spec): Use CLASS_TYPE_P rather than checking
534         for RECORD_TYPE.
535         (locate_ctor): Abort if we fail to find a default constructor.
536
537 2005-11-15  Mike Stump  <mrs@apple.com>
538
539         * name-lookup.c (lookup_name_two): Add.
540         * name-lookup.h: Likewise.
541
542 2005-11-15  Mark Mitchell  <mark@codesourcery.com>
543
544         PR c++/24667
545         * typeck.c (check_for_casting_away_constness): Use the diag_fn.
546         (build_const_cast_1): Call it, for C-style casts.
547
548 2005-11-14  Mark Mitchell  <mark@codesourcery.com>
549
550         PR c++/24687
551         * pt.c (check_explicit_specialization): Don't check for C linkage.
552         (push_template_decl_real): Likewise.
553         * parser.c (cp_parser_explicit_specialization): Check here.
554         (cp_parser_template_declaration_after_export): And here.
555
556         * parser.c (cp_lexer_get_preprocessor_token): Initialize keyword
557         field.
558
559 2005-11-14  Jason Merrill  <jason@redhat.com>
560
561         PR c++/24580
562         * method.c (locate_ctor): Skip all artificial parms, not just
563         'this'.
564
565 2005-11-14  Mark Mitchell  <mark@codesourcery.com>
566
567         * parser.c (eof_token): Add initializer for ambiguous_p.
568
569 2005-11-13  Mark Mitchell  <mark@codesourcery.com>
570
571         PR c++/24817
572         * decl.c (check_redeclaration_exception_specification): New
573         function.
574         (duplicate_decls): Use it.
575         * error.c (fndecl_to_string): Print the template parameter list.
576
577         PR c++/20293
578         * cxx-pretty-print.c (pp_cxx_statement): Print qualifying scopes
579         for namespaces.
580         (pp_cxx_original_namespace_definition): Likewise.
581         * name-lookup.c (ambiguous_decl): Don't issue error messages;
582         instead return lists of ambiguous candidates.
583         (select_decl): Handle ambiguous namespace lookups.
584         * parser.c (cp_token): Add ambiguous_p.
585         (cp_lexer_get_preprocessor_token): Set it.
586         (cp_parser_diagnose_invalid_type_name): Avoid duplicate messages
587         when a qualified name uses an invalid scope.
588         (cp_parser_primary_expression): Print ambiguous candidates.
589         (cp_parser_type_parameter): Adjust comment to reflect new
590         parameter name for cp_parser_lookup_name.
591         (cp_parser_template_argument): Likewise.
592         (cp_parser_elaborated_type_specifier): Likewise.
593         (cp_parser_namespace_name): Likewise.
594         (cp_parser_class_name): Print ambiguous candidates.
595         (cp_parser_lookup_name): Rename ambiguous_p parameter to
596         ambiguous_decls.  Use it to return a list of ambiguous candiates
597         when a lookup is ambiguous.
598         (cp_parser_lookup_name_simple): Adjust comment to reflect new
599         parameter name for cp_parser_lookup_name.
600
601 2005-11-12  Jakub Jelinek  <jakub@redhat.com>
602
603         PR c++/24780
604         * typeck.c (complete_type): Set TYPE_NEEDS_CONSTRUCTING
605         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR flags for all variants
606         of array type.
607
608         PR c++/24761
609         * pt.c (tsubst_copy_asm_operands): New function.
610         (tsubst_expr) <case ASM_EXPR>: Use it.
611
612 2005-11-08  Jakub Jelinek  <jakub@redhat.com>
613
614         PR c++/19450
615         * decl.c (redeclaration_error_message): Issue diagnostics about
616         olddecl and newdecl disagreement on __thread property.
617         (grokdeclarator): Set DECL_TLS_MODEL on class static variables.
618
619 2005-11-08  Jason Merrill  <jason@redhat.com>
620
621         PR c++/21123
622         * method.c (use_thunk): Use build_cplus_new instead of
623         force_target_expr.
624
625 2005-11-06  Jason Merrill  <jason@redhat.com>
626             James A. Morrison <phython@gcc.gnu.org>
627
628         PR c++/17256
629         * decl2.c (cp_finish_file): Fix conditions for undefined warning.
630         Set TREE_NO_WARNING instead of TREE_PUBLIC.
631         * pt.c (instantiate_pending_templates): Set DECL_INITIAL to avoid
632         a warning on a function we didn't instantiate because of excessive
633         recursion.
634
635 2005-11-06  Mark Mitchell  <mark@codesourcery.com>
636
637         * class.c (record_subobject_offsets): Don't record offsets past
638         biggest empty class for non-empty base classes.
639         (layout_class_type): Use TYPE_SIZE_UNIT, not TYPE_SIZE, when
640         keeping track of the size of emptyclasses.
641
642         PR c++/21308
643         * class.c (sizeof_biggest_empty_class): New variable.
644         (record_subobject_offsets): Don't record offsets past biggest
645         empty class for data members.  Replace vbases_p parameter with
646         is_data_member parameter.
647         (build_base_field): Adjust call.
648         (layout_class_type): Likewise.  Maintain
649         sizeof_biggest_empty_class.
650
651 2005-11-05  Kazu Hirata  <kazu@codesourcery.com>
652
653         * decl2.c, init.c, typeck.c: Fix comment typos.
654
655 2005-11-04  Richard Guenther  <rguenther@suse.de>
656
657         PR c++/22487
658         * init.c (build_vec_init): Build comparison of matching
659         types.
660
661 2005-11-03  Josh Conner  <jconner@apple.com>
662
663         PR c++/19989
664         pt.c (tsubst): Accept zero-length array if tf_error is set
665         in complain flags.  Change error message for negative-
666         length array.
667
668 2005-11-04  Joseph S. Myers  <joseph@codesourcery.com>
669
670         * cp-tree.h (cp_cpp_error), error.c (cp_cpp_error): Take va_list*
671         parameter.
672
673 2005-11-03  Joseph S. Myers  <joseph@codesourcery.com>
674
675         PR c++/17964
676         * error.c (cp_cpp_error): New function.
677         * cp-tree.h (cp_cpp_error): Declare.
678         * parser.c (cp_lexer_new_main): Set CPP option client_diagnostic
679         and error callback after lexing.
680
681 2005-11-03  Mark Mitchell  <mark@codesourcery.com>
682
683         PR c++/21627
684         * pt.c (register_specialization): Update inline flags on clones.y
685
686 2005-11-03  Andrew Pinski  <pinskia@physics.uc.edu>
687
688         PR c++/24582
689         * decl.c (declare_local_label): Return 0 for variables
690         with error_mark_node as their types.
691
692 2005-11-02  Mark Mitchell  <mark@codesourcery.com>
693
694         PR c++/22434
695         * call.c (build_conditional_expr): Do bad conversions, if there's
696         no other choice.
697
698         PR c++/24560
699         * parser.c (cp_parser_postfix_dot_deref_expression): Improve error
700         message for use of overloaded functions on LHS of "." operator.
701
702         PR c++/19253
703         * parser.c (cp_parser_postfix_expression): Use
704         cp_parser_elaborated_type_specifier to handle typename-types in
705         functional casts.
706         (cp_parser_enclosed_argument_list): Skip ahead to the end of the
707         template argument list if the closing ">" is not found.
708
709         PR c++/24569
710         * pt.c (instantiate_decl): Use cp_finish_decl, not
711         finish_static_data_member_decl.
712
713 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
714
715         * decl.c (grokfndecl): Remove the setting
716         of the return type of the function type
717         of main after erroring about must returning
718         int.
719
720 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
721
722         PR C++/23229
723         * decl.c (grokfndecl): Create a new function type
724         after erroring out about main not returning int.
725
726 2005-10-28  Josh Conner  <jconner@apple.com>
727
728         PR c++/22153
729         * parser.c (cp_parser_member_declaration): Detect and handle
730         a template specialization.
731
732 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
733
734         PR C++/23426
735         * decl.c (start_decl): Check that the decl is an
736         error_mark_node before getting the type.
737         Remove the check for the decl's type being an
738         error_mark_node.
739
740 2005-10-21  Mark Mitchell  <mark@codesourcery.com>
741
742         PR c++/24260
743         * parser.c (cp_parser_init_declarator): Pass attributes to
744         grokfield.
745
746 2005-10-20  Mark Mitchell  <mark@codesourcery.com>
747
748         PR c++/22618
749         * search.c (accessible_p): Check access in the outermost set of
750         template parameters.
751
752 2005-10-20  Richard Guenther  <rguenther@suse.de>
753
754         * decl.c (grokdeclarator): Fix ambiguous pedwarn message.
755
756 2005-10-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
757
758         PR c++/22293
759         * decl.c (grokdeclarator): Reject unqualified destructors in
760         friend declarations.
761
762 2005-10-18  Mark Mitchell  <mark@codesourcery.com>
763
764         PR c++/23293
765         * pt.c (convert_template_argument): Use canonical type variants in
766         template specializations.
767
768 2005-10-18  Nathan Sidwell  <nathan@codesourcery.com>
769
770         PR c++/21383
771         * name-lookup.c (arg_assoc): Template args can be null in a
772         template-id-expr.
773
774         PR c++/22604
775         * class.c (update_vtable_entry_for_fn): Don't process invalid
776         covariant overriders.
777
778         PR c++/23118
779         * cp-tree.h (add_method): Add return value.
780         * class.c (add_method): Return success indicator.
781         * semantics.c (finish_member_declaration): Don't add an invalid
782         method to the method list.
783
784 2005-10-17  Mark Mitchell  <mark@codesourcery.com>
785
786         PR c++/21908
787         * call.c (build_new_method_call): Do not show VTT parameters to
788         the user.
789
790 2005-10-17  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
791
792         PR c++/23440
793         * parser.c (cp_parser_statement): If the parser reached CPP_EOF,
794         only complain about missing statement.
795
796 2005-10-17  Nathan Sidwell  <nathan@codesourcery.com>
797
798         PR c++/24386
799         * cp-tree.h (BASELINK_QUALIFIED_P): New.
800         * pt.c (tsubst_copy_and_build): <CALL_EXPR case>: Use it.
801         * typeck.c (finish_class_member_access_expr): Set it.
802
803         PR c++/21353
804         * decl.c (check_default_argument): Don't check
805         processing_template_decl or uses_template_parms here.
806         (grokparms): Only call check_default_argument when not processing
807         a template decl.
808         * parser.c (cp_parser_late_parsing_default_arg): Call
809         check_default_argument when not processing a template decl.
810
811 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
812
813         PR c++/24389
814         * decl2.c (mark_used): Use uses_template_parms instead of
815         dependent_type_p.
816         * init.c (constant_value_1): Handle uninstantiated templates
817         specially.
818         * pt.c (instantiate_decl): Add sanity check.
819
820 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
821
822         PR c++/22173
823         * typeck.c (check_template_keyword): Fix thinko.
824
825 2005-10-16  Andrew Pinski  <pinskia@physics.uc.edu>
826
827         PR c++/23959
828         * decl.c (pop_switch): Only call c_do_switch_warnings
829         when not processing templates.
830
831 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
832
833         PR c++/22173
834         * cp-tree.h (QUALIFIED_NAME_IS_TEMPLATE): New macro.
835         (check_template_keyword): New function.
836         (finish_id_expression): Change prototoype.
837         (finish_qualified_id_expr): Change prototype.
838         (build_qualified_name): New function.
839         (finish_class_member_access_expr): Change prototype.
840         * init.c (build_offset_ref): Use build_qualified_name.
841         * mangle.c (write_expression): Likewise.
842         * parser.c (cp_parser_primary_expression): Remove qualifying_class
843         parameter.  Add address_p and template_arg_p.  Use
844         build_qualified_name.
845         (cp_parser_id_expression): Default *template_p to
846         template_keyword_p.  Check for invalid uses of the template
847         keyword.
848         (cp_parser_postfix_expression): Eliminate special handling for
849         qualified names.  Adjust call to cp_parser_primary_expression.
850         (cp_parser_postfix_dot_deref_expression): Adjust call to
851         cp_parser_id_expression and finish_class_member_access_expr.
852         (cp_parser_template_argument_list): Add comment.
853         (cp_parser_template_argument): Adjust use of
854         cp_parser_primary_expression.  Remove call to
855         finish_qualified_id_expr.
856         (cp_parser_lookup_name): Use build_qualified_name.
857         * pt.c (tsubst): Use build_qualified_name.
858         (tsubst_qualified_id): Likewise.  Adjust call to
859         finish_qualified_id_expr.
860         (tsubst_copy): Use build_qualified_name.
861         (tsubst_copy_and_build): Adjusts call to finish_id_expression and
862         finish_class_member_access_expr.
863         * semantics.c (finish_non_static_data_member): Use
864         build_qualified_name.
865         (finish_qualified_id_expr): Add template_p and template_arg_p
866         parameters.
867         (finish_id_expression): Remove qualifiying_class parameter.  Add
868         template_p, done, address_p, and template_arg_p.  Use
869         build_qualified_name.  Adjust calls to
870         finish_class_member_acess_expr.
871         * tree.c (build_qualified_name): New function.
872         * typeck.c (check_template_keyword): New function.
873         (finish_class_member_access_expr): Add template_p argument.  Check
874         for invalid uses of the template keyword.
875
876 2005-10-15  Mark Mitchell  <mark@codesourcery.com>
877
878         PR c++/21347
879         * class.c (maybe_warn_about_overly_private_class): Lazy
880         constructors are public.
881
882 2005-10-14  Mark Mitchell  <mark@codesourcery.com>
883
884         PR c++/19565
885         * call.c (convert_like_real): Rely on convert_and_check to issue
886         warnings about overflow and conversion to unsigned.
887         * decl.c (finish_enum): Use the location of the enumerators, not
888         the closing brace of the enumeration, when reporting warnings
889         about conversions.
890         (build_enumerator): Use error_mark_node for erroneous values.
891         * typeck2.c (digest_init): Remove reference to "signature pointer"
892         from comment.
893
894 2005-10-14  Nathan Sidwell  <nathan@codesourcery.com>
895
896         PR c++/17796
897         * optimize.c (update_cloned_parm): Add FIRST parameter. Use it.
898         (maybe_clone_body): Track the first clone.
899
900 2005-10-13  Nathan Sidwell  <nathan@codesourcery.com>
901
902         PR c++/23984
903         * class.c (build_base_path): The vtable is always the first thing
904         in the vtt.
905
906 2005-10-13  Mark Mitchell  <mark@codesourcery.com>
907
908         PR c++/20721
909         * cp-tree.h (DECL_NONTRIVIALLY_INITIALIZED_P): New macro.
910         * decl.c (duplicate_decls): Merge it into new declarations.
911         (decl_jump_unsafe): Use it, rather than DECL_INITIAL.
912         (cp_finish_decl): Set it, when appropriate.
913
914         PR c++/22180
915         * call.c (build_new_method_call): Correct pretty-printing of
916         destructor names.
917         * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
918         identifier.
919
920         PR c++/23694
921         * decl.c (start_method): Return error_mark_node for errors.
922
923         PR c++/23307
924         * pt.c (push_template_decl_real): Complain about attempts to
925         declare template variables.
926
927         PR c++/22352
928         * pt.c (tsubst_template_parms): Set processing_template_decl while
929         processing the parameters.
930         (tsubst_decl): Set processing_template_decl when substituting into
931         a TEMPLATE_DECL.
932
933         PR c++/22405
934         * pt.c (most_specialized_instantiation): Robustify.
935
936         PR c++/22464
937         * semantics.c (finish_id_expression): Issue errors about uses of
938         local variables in containing functions even in templates.
939
940 2005-10-12  Danny Smith  <dannysmith@users.sourceforge.net>
941
942         PR target/21801
943         PR target/23589
944         * class.c (finish_struct_1): Call
945         targetm.cxx.adjust_class_at_definition.
946
947
948 2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>
949
950         PR c++/21592
951         * pt.c (build_non_dependent_expr): Don't wrap a COMPONENT_REF
952         with already looked up member functions.  Assert we're not
953         returning a NON_DEPENDENT_EXPR with unknown type.
954         * typeck.c (finish_class_member_access_expr):  We can get
955         non-template-id-expr baselinks.  If the lookup finds a baselink,
956         remember it even inside templates.
957
958         PR c++/23797
959         * parser.c (cp_parser_functional_cast): Cope when TYPE is not a
960         TYPE_DECL.  Use dependent_type_p to check type.
961         * pt.c (uses_template_parms_p): Use dependent_type_p for a
962         TYPE_DECL.
963         (type_dependent_expression_p): Assert we've not been given a
964         TYPE_DECL.
965
966         PR c++/21117
967         * decl.c (check_function_type): Correctly overwrite incomplete
968         return type with void type.
969         * typeck.c (check_return_expr): If the function's return type is
970         void, don't try and convert a return expr.
971
972 2005-10-12  David Edelsohn  <edelsohn@gnu.org>
973
974         PR c++/23730
975         * call.c (build_object_call): If BINFO is NULL, bypass
976         lookup_fnfields and set fns to NULL_TREE.
977
978 2005-10-12  Paolo Bonzini  <bonzini@gnu.org>
979
980         PR c++/24052
981         * error.c (dump_expr): Pass LABEL_DECL to dump_decl.  Print
982         an ADDR_EXPR of a LABEL_DECL as &&.
983
984 2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>
985
986         PR c++/19964
987         * class.c (walk_subobject_offsets): Don't walk error_mark_node.
988
989 2005-10-11  Ian Lance Taylor  <ian@airs.com>
990
991         PR c++/8057
992         * cvt.c (convert_to_void): Don't warn about unused values when
993         processing a template declaration.
994
995 2005-10-11  Mark Mitchell  <mark@codesourcery.com>
996
997         PR c++/21089
998         * call.c (convert_like_real): Use decl_constant_value, not
999         integral_constant_value.
1000         * init.c (constant_value_1): New function.
1001         (integral_constant_value): Use it.
1002         (decl_constant_value): Likewise.
1003         * typeck.c (decay_conversion): Use decl_constant_value, not
1004         integral_constant_value.
1005
1006         PR c++/21369
1007         * parser.c (cp_parser_elaborated_type_specifier): Don't treat
1008         class types as templates if the type is not appearing as part of a
1009         type definition or declaration.
1010
1011 2005-10-10  Mark Mitchell  <mark@codesourcery.com>
1012
1013         PR c++/24277
1014         * pt.c (instantiate_decl): Call finish_static_data_member_decl for
1015         static data members.
1016
1017 2005-10-10  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
1018             Mark Mitchell  <mark@codesourcery.com>
1019
1020         PR c++/23437
1021         * parser.c (cp_parser_template_argument_list): Do not treat
1022         contents of argument list as part of a constant expression.
1023
1024 2005-10-10  Mark Mitchell  <mark@codesourcery.com>
1025
1026         PR c++/24139
1027         * decl.c (grokdeclarator): Do not require template parameter lists
1028         for explicitly specialized class.
1029         * error.c (dump_aggr_type): Do not dump template arguments for
1030         non-primary specializations.
1031         (dump_function_name): Likewise.
1032
1033         PR c++/24275
1034         * pt.c (instantiate_decl): Instantiate the initializer of
1035         a static data member in the namespace containing the class
1036         containing the static data member.
1037
1038 2005-10-08  James A. Morrison  <phython@gcc.gnu.org>
1039
1040         PR c++/22172
1041         * parser.c (cp_parser_postfix_expression) <RID_TYPENAME>: Treat nontype
1042         scopes as nondependent.
1043
1044 2005-10-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1045
1046         * call.c (resolve_args): Remove redundant test.
1047
1048 2005-10-05  Paolo Bonzini  <bonzini@gnu.org>
1049
1050         PR tree-optimization/21419
1051         PR tree-optimization/24146
1052         PR tree-optimization/24151
1053
1054         * semantics.c (finish_asm_stmt): Call readonly_error if outputs are
1055         read-only.  Set ASM_VOLATILE_P for asms without outputs.
1056
1057 2005-10-05  Nathan Sidwell  <nathan@codesourcery.com>
1058
1059         PR c++/23513
1060         * call.c (joust): Adjust length count to more_specialized_fn.
1061         * pt.c (more_specialized_fn): Cope with non-static member vs
1062         non-member.
1063
1064 2005-10-04  Andrew Pinski  <pinskia@physics.uc.edu>
1065
1066         PR middle-end/23125
1067         * decl.c (make_rtl_for_nonlocal_decl): Use set_user_assembler_name
1068         instead of change_decl_assembler_name.
1069
1070 2005-10-03  Alexandre Oliva  <aoliva@redhat.com>
1071
1072         * error.c (dump_type) <UNKNOWN_TYPE>: Print reworded message.
1073
1074 2005-10-03  Mark Mitchell  <mark@codesourcery.com>
1075
1076         PR c++/17775
1077         * repo.c: Include flags.h.
1078         (finish_repo): Add -frandom-seed to the arguments.
1079
1080 2005-10-02  Mark Mitchell  <mark@codesourcery.com>
1081
1082         PR c++/22621
1083         * parser.c (cp_parser_template_argument): Don't turn "T::f" into
1084         "(*this).T::f".
1085         * pt.c (convert_nontype_argument): Remove ??? comment.
1086
1087         PR c++/23840
1088         * tree.c (lvalue_p_1): A VA_ARG_EXPR with class type is an lvalue,
1089         when class rvalues are lvalues.
1090
1091 2005-09-28  Mark Mitchell  <mark@codesourcery.com>
1092
1093         PR c++/16782
1094         * decl.c (grokdeclarator): Always pedwarn about overqualified
1095         member names.
1096
1097 2005-09-27  Mark Mitchell  <mark@codesourcery.com>
1098
1099         PR c++/22147
1100         * name-lookup.c (maybe_process_template_type_declaration): Don't
1101         treat forward declarations of classes as templates just because
1102         we're processing_template_decl.
1103         * pt.c (tsubst_decl): Clear DECL_TEMPLATE_INFO for friend
1104         functions.
1105
1106 2005-09-26  Jason Merrill  <jason@redhat.com>
1107
1108         PR c++/13764
1109         * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): New macro.
1110         * name-lookup.c (pushdecl_maybe_friend): Check it.
1111         * decl.c (begin_function_body): Do nothing if it's false.
1112         (finish_function_body): Ditto.
1113         (outer_curly_brace_block): New fn.
1114         (finish_function): Use it.
1115
1116 2005-09-26  Richard Guenther  <rguenther@suse.de>
1117
1118         PR middle-end/15855
1119         * decl2.c (do_static_destruction): Remove.
1120         (finish_static_initialization_or_destruction): Likewise.
1121         (DECL_EFFECTIVE_INIT_PRIORITY): New macro.
1122         (NEEDS_GUARD_P): Likewise.
1123         (do_static_initialization): Rename to
1124         do_static_initialization_or_destruction.  Process all
1125         initializers/destructors and handle common conditionalizing.
1126         (start_static_initialization_or_destruction): Rename to
1127         one_static_initialization_or_destruction.  Handle only
1128         decl-specific conditionalizing.
1129         (cp_finish_file): Call do_static_initialization_or_destruction.
1130
1131 2005-09-22  Jakub Jelinek  <jakub@redhat.com>
1132
1133         PR c++/21983
1134         * class.c (find_final_overrider): Move diagnostic about no unique final
1135         overrider to...
1136         (update_vtable_entry_for_fn): ... here.
1137
1138 2005-09-21  Mark Mitchell  <mark@codesourcery.com>
1139
1140         PR c++/23993
1141         * init.c (integral_constant_value): Use DECL_INTEGRAL_CONSTANT_VAR_P.
1142
1143 2005-09-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1144
1145         PR c++/23965
1146         * call.c (resolve_args): Return error_mark_node on arguments
1147         whose TREE_TYPE is error_mark_node.
1148
1149 2005-09-20  Jakub Jelinek  <jakub@redhat.com>
1150
1151         PR c++/23947
1152         * rtti.c (get_pseudo_ti_init): Recompute ti pointer after
1153         get_tinfo_ptr calls.
1154
1155 2005-09-16  Mark Mitchell  <mark@codesourcery.com>
1156
1157         PR c++/23914
1158         * parser.c (cp_parser_enclosed_template_argument_list): Make sure
1159         skip_evaluation is false when processing template arguments.
1160
1161         PR c++/21514
1162         * pt.c (check_instantiated_args): Treat uses of anonymous types as
1163         causing type-deduction failure.
1164
1165 2005-09-15  Jason Merrill  <jason@redhat.com>
1166
1167         PR c++/23357
1168         * cp-tree.def (SIZEOF_EXPR, ALIGNOF_EXPR): Change code class to
1169         tcc_expression.
1170
1171 2005-09-15  Mark Mitchell  <mark@codesourcery.com>
1172
1173         PR c++/23896
1174         * pt.c (tsubst_aggr_type): Make sure skip_evaluation is false when
1175         processing template arguments.
1176
1177         * pt.c (check_explicit_instantiation_namespace): Fix typo.
1178
1179         PR c++/13140
1180         * decl.c (check_class_member_definition_namespace): New function.
1181         (grokfndecl): Use it.
1182         (grokvardecl): Likewise.
1183         (grokdecl): Improve documentation.
1184         * pt.c (check_explicit_instantiation_namespace): New function.
1185         (register_specialization): Call check_specialization_namespace
1186         when replacing an implicitly instantiated function.
1187         (check_explicit_specialization): Ensure that DECL_CONTEXT is set
1188         correctly for namespace-scope specializations.
1189         (do_decl_instantiation): Use
1190         check_explicit_instantiation_namespace.
1191         (do_type_instantiation): Likewise.
1192
1193 2005-09-15  Nathan Sidwell  <nathan@codesourcery.com>
1194
1195         PR c++/23725
1196         * error.c (dump_decl): <USING_DECL case> Use USING_DECL_SCOPE.
1197
1198 2005-09-13  Bastian Blank <waldi@debian.org>
1199
1200         PR c++/16171
1201         * mangle.c (find_substitution): Do not use special substitutions
1202         for identifiers not in std::.
1203
1204 2005-09-13  Mark Mitchell  <mark@codesourcery.com>
1205
1206         PR c++/23839
1207         * typeck.c (cxx_mark_addressable): Only check DECL_HARD_REGISTER
1208         for VAR_DECLs.
1209
1210 2005-09-13  Mark Mitchell  <mark@codesourcery.com>
1211
1212         PR c++/23842
1213         * pt.c (tsubst_default_argument): Do treat default argument
1214         expressions as occurring in the context of the function called.
1215
1216 2005-09-12  Mark Mitchell  <mark@codesourcery.com>
1217
1218         PR c++/23841
1219         * parser.c (cp_parser_primary_expression): Recognize the closing
1220         ">" of a template-argument-list after a floating-point literal as
1221         the end of a cast expression.
1222
1223 2005-09-12  Mark Mitchell  <mark@codesourcery.com>
1224
1225         PR c++/23789
1226         * cvt.c (perform_qualification_conversions): Don't create
1227         unnecessary NOP_EXPRs.
1228         * pt.c (tsubst_template_arg): Use fold_non_dependent_expr.
1229
1230 2005-09-12  Ian Lance Taylor  <ian@airs.com>
1231
1232         PR g++/7874
1233         * cp-tree.h (struct lang_decl_flags): Add hidden_friend_p
1234         bitfield.  Make dummy bitfield one bit smaller.
1235         (DECL_HIDDEN_FRIEND_P): Define.
1236         (pushdecl_maybe_friend): Declare.
1237         (pushdecl_top_level_maybe_friend): Declare.
1238         * decl.c (duplicate_decls): Add newdecl_is_friend parameter.
1239         Change prototype and all callers.  Add assertion that a
1240         DECL_ARTIFICIAL FUNCTION_DECL is not DECL_HIDDEN_FRIEND_P.  Set
1241         DECL_ANTICIPATED and DECL_HIDDEN_FRIEND_P in duplicated decl if
1242         appropriate.
1243         * name-lookup.c (supplement_binding): Don't ignore a
1244         DECL_HIDDEN_FRIEND_P.
1245         (pushdecl_maybe_friend): Break out contents of pushdecl.  Add
1246         is_friend parameter.  Set DECL_ANTICIPATED and
1247         DECL_HIDDEN_FRIEND_P for a friend function.
1248         (pushdecl): Just call pushdecl_maybe_friend.
1249         (pushdecl_with_scope): Add is_friend parameter.  Change prototype
1250         and all callers.
1251         (pushdecl_namespace_level): Likewise.
1252         (push_overloaded_decl): Likewise.  Check DECL_HIDDEN_FRIEND_P as
1253         well as DECL_ANTICIPATED when checking for a builtin.
1254         (do_nonmember_using_decl): Check DECL_HIDDEN_FRIEND_P as well as
1255         DECL_ANTICIPATED when checking for a builtin.
1256         (do_nonmember_using_decl): Likewise.
1257         (pushdecl_top_level_1): Add is_friend parameter.  Change all
1258         callers.
1259         (pushdecl_top_level_maybe_friend): New function.
1260         (remove_hidden_names): New function.
1261         (struct arg_lookup): Add args field.
1262         (friend_of_associated_class_p): New static function.
1263         (arg_assoc_namespace): Ignore hidden functions which are not
1264         friends of an associated class of some argument.
1265         (lookup_arg_dependent): Remove hidden functions from list passed
1266         in.  Initialize k.args.
1267         * name-lookup.h (remove_hidden_names): Declare.
1268         * friend.c (do_friend): Call pushdecl_maybe_friend instead of
1269         pushdecl.
1270         * call.c (add_function_candidate): Change DECL_ANTICIPATED test to
1271         an assertion, with a check for DECL_HIDDEN_FRIEND_P.
1272         (build_new_function_call): Add koenig_p parameter.  Change
1273         prototype and callers.
1274         * pt.c (register_specialization): Add is_friend parameter.  Change
1275         all callers.
1276         (push_template_decl_real): Change is_friend parameter to bool.
1277         Change prototype and all callers.
1278         (tsubst_friend_class): Call pushdecl_top_level_maybe_friend
1279         instead of pushdecl_top_level.
1280
1281 2005-09-11  Richard Henderson  <rth@redhat.com>
1282
1283         * decl2.c (build_anon_union_vars): Copy attributes from the base addr.
1284         * pt.c (tsubst_decl): Substitute in DECL_VALUE_EXPR.
1285
1286 2005-09-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1287
1288         * parser.c (cp_parser_translation_unit): Simplify.  The while-block
1289         was actually executed at most once.
1290
1291 2005-09-09  Richard Henderson  <rth@redhat.com>
1292
1293         PR debug/20998
1294         * cp-tree.def (ALIAS_DECL): Remove.
1295         * cp-lang.c (cp_init_ts): Remove support for it.
1296         * error.c (dump_decl): Likewise.
1297         * name-lookup.c (pushdecl): Likewise.
1298         * semantics.c (finish_id_expression): Likewise.
1299         * decl2.c (build_anon_union_vars): Use a VAR_DECL with
1300         DECL_VALUE_EXPR instead.
1301
1302 2005-09-09  Mark Mitchell  <mark@codesourcery.com>
1303
1304         PR c++/22252
1305         * decl.c (start_preparsed_function): Do not pay attention to
1306         #pragma interface for implicitly-defined methods.
1307         * decl2.c (cp_finish_file): Do not complain about uses of inline
1308         functions that have bodies, even if we decided not to emit the
1309         body in this translation unit.
1310         * semantics.c (note_decl_for_pch): Do not mess with linkage.
1311         (expand_or_defer_fn): Make inline, non-template functions COMDAT
1312         at this point.
1313
1314 2005-09-08  Richard Henderson  <rth@redhat.com>
1315
1316         PR debug/23190
1317         * decl.c (wrapup_globals_for_namespace): Call
1318         emit_debug_global_declarations.
1319         * decl2.c (cp_finish_file): Likewise.
1320
1321 2005-09-08  Mark Mitchell  <mark@codesourcery.com>
1322
1323         PR c++/23691
1324         * decl2.c (mark_used): Instantiate static data members initialized
1325         by constants, even in a template.
1326
1327 2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>
1328
1329         PR obj-c++/16816
1330         * parser.c (cp_parser_objc_selector_expression): Treat CPP_SCOPE as
1331         two CPP_COLON.
1332
1333 2005-09-07  Richard Guenther  <rguenther@suse.de>
1334
1335         * cp-gimplify.c (cp_gimplify_expr): Create empty CONSTRUCTOR
1336         for EMPTY_CLASS_EXPR.
1337
1338 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
1339
1340         PR c/23075
1341         * typeck.c (check_return_expr): Add no_warning argument.  Set
1342         *no_warning to true if "return-statement with no value, in function
1343         returning" warning has been issued.
1344         * cp-tree.h (check_return_expr): Adjust prototype.
1345         * semantics.c (finish_return_stmt): Set TREE_NO_WARNING if
1346         check_return_expr set *no_warning to true.
1347
1348 2005-09-06  Mark Mitchell  <mark@codesourcery.com>
1349
1350         * cp-tree.h (rvalue): New function.
1351         * call.c (build_conditional_expr): Use it.
1352         * init.c (build_new_1): Likewise.
1353         * rtti.c (build_dynamic_cast_1): Likewise.
1354         * tree.c (rvalue): New function.
1355         * typeck.c (build_unary_op): Use it.
1356         (build_static_cast_1): Likewise.
1357
1358         PR c++/9782
1359         * init.c (build_new_1): Make sure the entire array type is
1360         complete, not just its element types.
1361
1362 2005-09-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1363
1364         * decl.c (check_elaborated_type_specifier): Remove redundant check.
1365
1366 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
1367
1368         PR c++/23056
1369         * typeck.c (ignore_overflows): New helper function.
1370         (build_static_cast_1): Use it.
1371
1372 2005-09-06  Kazu Hirata  <kazu@codesourcery.com>
1373
1374         * cp-tree.h, decl.c, decl2.c, semantics.c: Fix comment typos.
1375         Follow spelling conventions.
1376
1377 2005-09-05  Mark Mitchell  <mark@codesourcery.com>
1378
1379         PR c++/23667
1380         * pt.c (tsubst_decl): Clear DECL_TEMPLATE_INSTANTIATED when
1381         copying a VAR_DECL.
1382
1383 2005-09-05  Mark Mitchell  <mark@codesourcery.com>
1384
1385         PR c++/21440
1386         * semantics.c (finish_stmt_expr_expr): Add an explicit
1387         initialization to the last statement in the statement-expression.
1388         * (finish_stmt_expr): Adjust accordingly.
1389
1390 2005-09-03  Mark Mitchell  <mark@codesourcery.com>
1391
1392         PR c++/23699
1393         * decl2.c (mark_used): Always instantiate static data members
1394         initialized by constant expressions.
1395         * pt.c (instantiate_decl): Instantiate the initializers for static
1396         data members initialized by constant expressions.
1397
1398         PR c++/21687
1399         * semantics.c (expand_or_defer_fn): Do not call ggc_collect when
1400         finishing processing for a template function in a local class.
1401         Revert:
1402         2005-09-02  Mark Mitchell  <mark@codesourcery.com>
1403         * parser.c (cp_parser_class_specifier): Push/pop GC contexts
1404         around functions in local classes.
1405
1406 2005-09-02  Mark Mitchell  <mark@codesourcery.com>
1407
1408         PR c++/21687
1409         * parser.c (cp_parser_class_specifier): Push/pop GC contexts
1410         around functions in local classes.
1411
1412 2005-08-31  Andrew Pinski  <pinskia@physics.uc.edu>
1413
1414         PR obj-c++/23640
1415         * decl2.c (cp_finish_file): If this is obj-c++ and we need a static
1416         init, call generate_ctor_or_dtor_function.
1417
1418 2005-08-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1419
1420         PR c++/13377
1421         * parser.c (cp_parser_lookup_name): Pass LOOKUP_COMPLAIN to
1422         lookup_name_real on final parse.
1423
1424 2005-08-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1425
1426         PR c++/23639
1427         * semantics.c (qualified_name_lookup_error): Do not complain again
1428         on invalid scope.
1429
1430 2005-08-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1431
1432         PR c++/23586
1433         * parser.c (cp_parser_namespace_name): Move diagnostic for
1434         invalid namespace-name to here from ...
1435         * name-lookup.c (do_namespace_alias): ... here and ...
1436         (do_using_directive): ... here.  Remove dead code.
1437
1438 2005-08-28  Mark Mitchell  <mark@codesourcery.com>
1439
1440         PR c++/23099
1441         * cp-tree.h (saved_scope): Add skip_evaluation.
1442         * decl.c (start_decl): Use DECL_INITIALIZED_IN_CLASS_P, not
1443         DECL_INITIAL, to determine whether or not a static data member was
1444         initialized in the class-specifier.
1445         (cp_finish_decl): Add comment.
1446         * init.c (integral_constant_value): Subtitute into the
1447         initializers for static data members in templates.
1448         * name-lookup.c (push_to_top_level): Save skip_evaluation.
1449         (pop_from_top_level): Restore it.
1450         * pt.c (instantiate_class_template): Do not substitute into the
1451         intializers of static data members when instantiating a class.
1452         (regenerate_decl_from_template): Simplify.
1453         (instantiate_decl): Tidy.  Substitute into the initializer for a
1454         static data member even when the definition of the data member is
1455         not available.
1456
1457 2005-08-26  Mark Mitchell  <mark@codesourcery.com>
1458
1459         PR c++/19004
1460         * pt.c (uses_template_parms): Handle IDENTIFIER_NODE.
1461         (type_dependent_expression_p): Allow BASELINKs whose associated
1462         functions are simply a FUNCTION_DECL.
1463
1464         PR c++/23491
1465         * cp-tree.h (build_vec_init): Adjust prototype.
1466         * init.c (perform_member_init): Adjust call to build_vec_init.
1467         (build_aggr_init): Likewise.
1468         (build_new_1): Do not call build_default_init for array types.
1469         (build_vec_init): Add explicit_default_init_p parameter.  Perform
1470         default initialization of vector elements when set.
1471         * typeck.c (build_modify_expr): Adjust call to build_vec_init.
1472
1473 2005-08-25  Nathan Sidwell  <nathan@codesourcery.com>
1474
1475         PR c++/20817
1476         * typeck.c (build_x_unary_op): Make sure OFFSET_REF is not for a
1477         ->*.
1478
1479 2005-08-24  Nathan Sidwell  <nathan@codesourcery.com>
1480
1481         PR c++/22454
1482         * parser.c (cp_lexer_peek_nth_token): Relax assert.
1483
1484 2005-08-23  Nathan Sidwell  <nathan@codesourcery.com>
1485
1486         PR c++/23044
1487         * pt.c (tsubst_qualified_id): A SCOPE_REF can still remain.
1488
1489 2005-08-22  James E Wilson  <wilson@specifix.com>
1490
1491         PR tree-optimization/23426
1492         * decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE for
1493         array size check.
1494
1495 2005-08-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1496
1497         PR c++/22233
1498         * pt.c (push_template_decl_real): Return error_mark_node if the
1499         number of template parameters does not match previous definition.
1500
1501 2005-08-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1502
1503         PR c++/23089
1504         * decl.c (require_complete_types_for_parms): Mark incomplete types
1505         as invalid.
1506
1507 2005-08-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1508
1509         * parser.c (cp_parser_nth_token_starts_template_argument_list_p):
1510         Fix typo in leading comment.
1511
1512 2005-08-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1513
1514         * name-lookup.c, ptree.c: Delete HOST_PTR_PRINTF.
1515
1516 2005-08-15 Fariborz Jahanian <fjahanian@apple.com>
1517
1518         * cp-tree.h (can_convert_arg, fn_type_unification): New argument.
1519         * call.c (add_template_candidate_real): Pass down 'flags' to
1520         fn_type_unification.
1521         (can_convert_arg): New 'flags' argument. Pass it to call to
1522         implicit_conversion instead of LOOKUP_NORMAL.
1523         (can_convert): Add LOOKUP_NORMAL to call to can_convert_arg.
1524         * class.c (resolve_address_of_overloaded_function): Ditto.
1525         (resolve_address_of_overloaded_function): Ditto.
1526         * decl.c (reshape_init, check_default_argument): Ditto.
1527         * typeck.c (build_ptrmemfunc): Ditto.
1528         * pt.c (type_unification_real): Add 'flags' argument.
1529         (fn_type_unification): Pass 'flags' to type_unification_real.
1530         (type_unification_real): Pass new 'flags' argument to call to
1531         can_convert_arg.
1532
1533 2005-08-12  Giovanni Bajo  <giovannibajo@libero.it>
1534             Nathan Sidwell  <nathan@codesourcery.com>
1535
1536         PR c++/21799
1537         PR c++/8271
1538         * pt.c (unify) <METHOD_TYPE>: Check this-pointer cv-qualifiers
1539         explicitly.
1540
1541 2005-08-12  Nathan Sidwell  <nathan@codesourcery.com>
1542
1543         PR c++/21799
1544         Revert my 2005-07-08 patch
1545         * pt.c (type_unification_real): Remove is_method_argument and
1546         assoicated checks.
1547         (fn_type_unification, unify): Adjust type_unification_real calls.
1548
1549 2005-08-11  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1550
1551         PR c++/23266
1552         * decl2.c (grokfield): Check that method is not static before
1553         marking it as pure.
1554
1555 2005-08-11  Nathan Sidwell  <nathan@codesourcery.com>
1556
1557         PR c++/23219
1558         * name-lookup.c (pushtag): Process the template type before
1559         altering the identifier lookup fields.  Remove unreachable code
1560         creating an empty stub decl.
1561
1562 2005-08-10  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1563
1564         PR c++/20646
1565         * decl.c (grokdeclarator): Reset storage_class after error.
1566
1567 2005-08-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1568
1569         PR c++/22508
1570         * init.c (build_new_1): Check for empty candidate list.
1571
1572 2005-08-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1573
1574         PR c++/23191
1575         * pt.c (tsubst) <case METHOD_TYPE>: Check for error_mark_node
1576         before calling build_exception_variant.
1577
1578 2005-08-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1579
1580         PR c++/19498
1581         * pt.c (tsubst_decl) <case TEMPLATE_DECL>: Return ERROR_MARK_NODE
1582         if substitution of template args did not succeed.
1583
1584 2005-08-06  Michael Matz  <matz@suse.de>
1585
1586         * method.c (use_thunk): Call init_insn_lengths.
1587
1588 2005-08-05  James A. Morrison  <phython@gcc.gnu.org>
1589
1590         PR c++/22514
1591         * name-lookup.c (cp_emit_debug_info_for_using): Do nothing if
1592         sorrycount or errorcount are nonzero.
1593
1594 2005-08-05  Mark Mitchell  <mark@codesourcery.com>
1595
1596         * name-lookup.c (pushtag): Remove accidental commit from:
1597         2004-12-21  Mark Mitchell  <mark@codesourcery.com>
1598         PR c++/19063
1599         * decl.c (grokdeclarator): Return error_mark_node, not
1600         void_type_node, to indicate errors.
1601         * parser.c (cp_parser_template_parameter_list): Robustify.
1602         (cp_parser_template_parameter): Likewise.
1603
1604 2005-08-01  Kazu Hirata  <kazu@codesourcery.com>
1605
1606         * class.c, decl.c, name-lookup.c, pt.c, typeck.c, typeck2.c:
1607         Fix comment typos.
1608
1609 2005-07-29  Kazu Hirata  <kazu@codesourcery.com>
1610
1611         * method.c: Fix a comment typo.
1612
1613 2005-07-28  Mark Mitchell  <mark@codesourcery.com>
1614
1615         PR c++/22545
1616         * call.c (add_builtin_candidate): Adjust for changes in
1617         representation of pointer-to-member types.
1618
1619 2005-07-28  Mike Stump  <mrs@apple.com>
1620
1621         * pt.c (check_explicit_specialization): Add visibility logic.
1622         (lookup_template_class): Likewise.
1623         (instantiate_class_template): Likewise.
1624
1625 2005-07-27  Devang Patel  <dpatel@apple.com>
1626
1627         * name-lookup.c (pushtag): Do no set DECL_IGNORED_P bit.
1628
1629 2005-07-25  Ian Lance Taylor  <ian@airs.com>
1630
1631         * ptree.c (cxx_print_identifier): Print a leading space if the
1632         indent level is 0.
1633
1634 2005-07-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1635
1636         * call.c (convert_for_arg_passing): Check function pointers when
1637         -Wmissing-format-attribute is activated.
1638         * typeck.c (convert_for_assignment): Likewise.
1639
1640 2005-07-22  Manfred Hollstein  <mh@suse.com>
1641
1642         * parser.c (cp_parser_declaration): Fix unitialised warnings.
1643
1644 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
1645
1646         * class.c (build_base_path): Fix typo.
1647
1648 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
1649
1650         PR C++/22358
1651         * class.c (build_base_path): Convert BINFO_OFFSET to the correct type.
1652
1653 2005-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1654
1655         * call.c: Fix comment typo(s).
1656         * cxx-pretty-print.h: Likewise.
1657         * name-lookup.c: Likewise.
1658         * parser.c: Likewise.
1659
1660 2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
1661
1662         PR c++/2922
1663         * semantics.c (perform_koenig_lookup): For dependent calls, just
1664         return the set of functions we've found so far. Later, it will be
1665         augmented by those found through argument-dependent lookup.
1666         * name-lookup.c (lookup_arg_dependent): Implement DR 164 by removing
1667         the optimization that skips namespaces where the functions were
1668         originally found.
1669
1670 2005-07-20  Giovanni Bajo  <giovannibajo@libero.it>
1671
1672         Make CONSTRUCTOR use VEC to store initializers.
1673         * call.c (convert_default_arg): Update call to digest_init.
1674         * class.c (dump_class_hierarchy, dump_array): Update to cope with
1675         VEC in CONSTRUCTOR_ELTS.
1676         * cp-tree.h (EMPTY_CONSTRUCTOR_P): Likewise.
1677         (finish_compound_literal, digest_init): Update declaration.
1678         * decl.c (struct reshape_iter): New data type.
1679         (reshape_init_array): Rename to...
1680         (reshape_init_array_1): Update to cope with VEC in CONSTRUCTOR_ELTS.
1681         (reshape_init): Rewrite from scratch. Split parts into...
1682         (reshape_init_array, reshape_init_vector, reshape_init_class,
1683         reshape_init_r): New functions.
1684         (check_initializer): Update call to reshape_init. Remove obsolete
1685         code.
1686         (initialize_artificial_var, cp_complete_array_type): Update to cope
1687         with VEC in CONSTRUCTOR_ELTS.
1688         * decl2.c (grokfield): Update calls to digest_init.
1689         (mark_vtable_entries): Update to cope with VEC in CONSTRUCTOR_ELTS.
1690         * error.c (dump_expr_init_vec): New function.
1691         (dump_expr): Use dump_expr_init_vec.
1692         * init.c (build_zero_init, build_vec_init): Update to cope with VEC
1693         in CONSTRUCTOR_ELTS.
1694         (expand_default_init): Update call to digest_init.
1695         * parser.c  (cp_parser_postfix_expression): Use a VEC for the
1696         initializers.
1697         (cp_parser_initializer_list): Build a VEC of initializers.
1698         * pt.c (tsubst_copy, tsubst_copy_and_build): Update to cope with VEC
1699         in CONSTRUCTOR_ELTS.
1700         * rtti.c (tinfo_base_init, generic_initializer, ptr_initializer,
1701         ptm_initializer, class_initializer, get_pseudo_ti_init): Use
1702         build_constructor_from_list instead of build_constructor.
1703         * semantics.c (finish_compound_literal): Update call to digest_init.
1704         * tree.c (stabilize_init): Update to cope with VEC in
1705         CONSTRUCTOR_ELTS.
1706         * typeck.c (build_ptrmemfunc1): Likewise.
1707         * typeck2.c: (cxx_incomplete_type_error, split_nonconstant_init_1):
1708         Likewise.
1709         (store_init_value): Use build_constructor_from_list and update call
1710         to digest_init.
1711         (digest_init): Rewrite.
1712         (process_init_constructor): Rewrite from scratch. Split into...
1713         (process_init_constructor_array, picflag_from_initializer,
1714         process_init_constructor_record, process_init_constructor_union):
1715         New functions.
1716         (PICFLAG_ERRONEOUS, PICFLAG_NOT_ALL_CONSTANT, PICFLAG_NOT_ALL_SIMPLE):
1717         New macros.
1718         (build_functional_cast): Use build_constructor_from_list instead of
1719         build_constructor.
1720
1721 2005-07-18  Mark Mitchell  <mark@codesourcery.com>
1722
1723         PR c++/22263
1724         * cp-tree.h (instantiate_decl): Change prototype.
1725         * decl2.c (mark_used): Adjust accordingly.
1726         * pt.c (do_decl_instantiation): Likewise.
1727         (instantiate_class_member): Likewise.
1728         (instantiate_decl): Rename undefined_ok as expl_inst_class_mem_p.
1729         Clear DECL_INTERFACE_KNOWN for an explicitly instantiated template
1730         that has no definition available.
1731         (instantiate_pending_templates): Adjust call to instantiate_decl.
1732
1733 2005-07-17  Mark Mitchell  <mark@codesourcery.com>
1734
1735         PR c++/22139
1736         * cp-tree.h (DECL_TEMPLATE_INFO): Improve documentation.
1737         * decl.c (duplicate_decls): Re-register template specializations
1738         for functions that have DECL_TEMLPLATE_INFO, even if they do not
1739         have DECL_TEMPLATE_INSTANTIATION set.
1740
1741 2005-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1742
1743         * call.c (diagnostic_fn_t): New.
1744         (build_temp, convert_like_real): Use diagnostic_fn_t.
1745
1746 2005-07-15  Mark Mitchell  <mark@codesourcery.com>
1747
1748         PR c++/22204
1749         * repo.c (repo_emit_p): Robustify.
1750
1751 2005-07-14  Daniel Berlin  <dberlin@dberlin.org>
1752
1753         Fix PR c++/22452
1754         * tree.c (decl_linkage): Don't check DECL_COMDAT on CONST_DECL.
1755
1756 2005-07-15  Mark Mitchell  <mark@codesourcery.com>
1757
1758         PR c++/22132
1759         * call.c (implicit_conversion): Add c_cast_p parameter.
1760         (standard_conversion): Likewise.  Allow conversions between
1761         differently-qualified pointer types when performing a C-style
1762         cast.
1763         (add_function_candidate): Adjust callee.
1764         (build_builtin_candidate): Likewise.
1765         (build_user_type_conversion_1): Likewise.
1766         (conditional_conversion): Likewise.
1767         (can_convert_arg): Likewise.
1768         (can_convert_arg_bad): Likewise.
1769         (perform_implicit_conversion): Likewise.
1770         * cp-tree.h (comp_ptr_ttypes_const): Declare.
1771         * typeck.c (comp_ptr_ttypes_const): Give it external linkage.
1772         Return bool.
1773
1774 2005-07-12  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1775             Nathan Sidwell  <nathan@codesourcery.com>
1776
1777         PR c++/20172
1778         * pt.c (tsubst_template_parms): Check for invalid non-type
1779         parameters.
1780
1781 2005-07-09  Andrew Pinski  <pinskia@physics.uc.edu>
1782
1783         * cp-lang.c (shadowed_var_for_decl, decl_shadowed_for_var_lookup,
1784         decl_shadowed_for_var_insert): Move over to cp-objcp-common.c.
1785         (cp_init_ts): Call init_shadowed_var_for_decl.
1786         Remove include of gt-cp-cp-lang.h.
1787         * cp-objcp-common.c (shadowed_var_for_decl,
1788         decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Moved from
1789         cp-lang.c.
1790         (init_shadowed_var_for_decl): New function to initialize
1791         shadowed_var_for_decl.
1792         Include gt-cp-cp-objcp-common.h.
1793         * Make-lang.in (gt-cp-lang.h): Remove.
1794         (gt-cp-cp-objcp-common.h): Add.
1795         (cp/cp-lang.o): Remove dependancy on gt-cp-lang.h.
1796         (cp/cp-objcp-common.o): Add dependancy on gt-cp-cp-objcp-common.h.
1797         * config-lang.in (gtfiles): Remove cp-lang.c and Add cp-objcp-common.c.
1798         * cp-tree (init_shadowed_var_for_decl): Add prototype.
1799
1800 2005-07-08  Daniel Berlin  <dberlin@dberlin.org>
1801
1802         * Make-lang.in: Add gt-cp-lang.h.
1803         (cp-lang.o): Ditto.
1804         * class.c (create_vtable_ptr): Stop setting DECL_ASSEMBLER_NAME on
1805         the field.
1806         * config-lang.in: Add cp-lang.c to gtfiles.
1807         * cp-lang.c: Include hashtab.h.
1808         (cp_init_ts): New function.
1809         (LANG_HOOK_INIT_TS): Use macro.
1810         (decl_shadowed_for_var_lookup): New function.
1811         (decl_shadowed_for_var_insert): Ditto.
1812         * cp-tree.h (THUNK_FUNCTION_CHECK): Use decl_common.
1813         (NON_THUNK_FUNCTION_CHECK): Ditto.
1814         (DECL_NAMESPACE_ASSOCIATIONS): Use decl_non_common.
1815         (DECL_INIT_PRIORITY): Ditto.
1816         (DECL_HAS_SHADOWED_FOR_VAR_P): Ditto.
1817         (DECL_SHADOWED_FOR_VAR): Use hashtable.
1818         (SET_DECL_SHADOWED_FOR_VAR): Ditto.
1819         * decl.c (duplicate_decls): Update for new/updated structures.
1820         (poplevel): Use SET_DECL_SHADOWED_FOR_VAR.
1821         * decl2.c (start_static_initialization_or_destruction): Deal with
1822         priority.
1823         * pt.c (tsubst_decl): Check TS_DECL_WRTL before doing
1824         SET_DECL_RTL.
1825         * tree.c (handle_init_priority_attribute): Handle priority.
1826
1827 2005-07-08  Nathan Sidwell  <nathan@codesourcery.com>
1828
1829         PR c++/21799
1830         * pt.c (type_unification_real): Add is_method argument.  Use it
1831         for this pointer unification.
1832         (fn_type_unification): Adjust type_unification_real call.
1833         (unify): Likewise.
1834
1835 2005-07-07  Nathan Sidwell  <nathan@codesourcery.com>
1836
1837         * pt.c (type_unification_real): Remove allow_incomplete argument.
1838         Remove unreachable code.
1839         (fn_type_unification): Adjust call to type_unification_real.
1840         (unify): Likewise.
1841
1842 2005-07-05  Paolo Bonzini  <bonzini@gnu.org>
1843
1844         * Makefile.in (class.o, decl2.o): Adjust dependencies.
1845         * class.c: Include tree-dump.h.
1846         * decl2.c: Include tree-dump.h.
1847
1848 2005-07-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1849
1850         * dump.c: Use dump_string_field.
1851
1852 2005-07-03  Joseph S. Myers  <joseph@codesourcery.com>
1853
1854         * cp-tree.h (GCC_DIAG_STYLE): #undef before defining.  Change
1855         minimum GCC version for format checking to 4.1.
1856
1857 2005-07-02  Kazu Hirata  <kazu@codesourcery.com>
1858
1859         * Make-lang.in (cc1plus-checksum.c): Use
1860         build/genchecksum$(build_exeext), not build/genchecksum$(exeext).
1861
1862 2005-07-02  Joseph S. Myers  <joseph@codesourcery.com>
1863
1864         * name-lookup.c, parser.c: Use %q, %< and %> to quote in
1865         diagnostics.
1866
1867 2005-07-02  Zack Weinberg  <zack@codesourcery.com>
1868             Joseph S. Myers  <joseph@codesourcery.com>
1869
1870         * error.c (location_of): Add comment.
1871         (locate_error, cp_error_at, cp_warning_at, cp_pedwarn_at): Remove.
1872         * cp-tree.h (cp_error_at, cp_warning_at, cp_pedwarn_at): Remove.
1873         * call.c, class.c, decl.c, decl2.c, friend.c, init.c,
1874         name-lookup.c, parser.c, pt.c, search.c, semantics.c, typeck.c,
1875         typeck2.c: Use '+' flag instead of %J, cp_error_at, cp_warning_at
1876         or cp_pedwarn_at.  Mark up some diagnostic strings with N_.
1877
1878 2005-06-30  Daniel Berlin  <dberlin@dberlin.org>
1879
1880         * decl.c (require_complete_types_for_parms): Call relayout_decl
1881         instead of layout_decl.
1882
1883 2005-06-30  Zack Weinberg  <zack@codesourcery.com>
1884             Jakub Jelinek  <jakub@redhat.com>
1885
1886         * cp-lang.c: No need to include cxx-pretty-print.h.
1887         * error.c (cp_printer): Update signature.  No need to process
1888         flags.
1889         (print_instantiation_partial_context): Output last newline
1890         with pp_base_newline.
1891         * Make-lang.in: Update dependencies.
1892
1893 2005-06-30  Steven Bosscher  <stevenb@suse.de>
1894
1895         * decl.c (start_decl): Replace DECL_THREAD_LOCAL with
1896         DECL_THREAD_LOCAL_P.
1897         (cp_finish_decl): Likewise.
1898         (grokvardecl): Set the default DECL_TLS_MODEL here.
1899
1900 2005-06-28  Joseph S. Myers  <joseph@codesourcery.com>
1901
1902         * cvt.c (ocp_convert): Use invalid_conversion hook.
1903         * typeck.c (build_binary_op): Use invalid_binary_op hook.
1904         (build_unary_op): Use invalid_unary_op hook.
1905
1906 2005-06-28  Paul Brook  <paul@codesourcery.com>
1907
1908         * Make-lang.in (cp/except.o): Depend on $(TARGET_H)
1909         * except.c: Include target.h.
1910         (init_exception_processing): Initialize unwind_resume_libfunc.
1911         * doc/tm.texi: Document TARGET_ASM_TTYPE
1912
1913 2005-06-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1914
1915         * call.c (build_over_call): Pass in named argument list to
1916         `check_function_arguments'.
1917         * typeck.c (build_function_call): Likewise.
1918
1919 2005-06-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1920
1921         * cp-tree.h (lang_check_failed): Add noreturn attribute.
1922
1923 2005-06-25  Kelley Cook  <kcook@gcc.gnu.org>
1924
1925         * all files: Update FSF address in copyright headers.
1926
1927 2005-06-23  Jason Merrill  <jason@redhat.com>
1928
1929         PR c++/19317
1930         * semantics.c (simplify_aggr_init_expr): Use
1931         CALL_EXPR_RETURN_SLOT_OPT, not CALL_EXPR_HAS_RETURN_SLOT_ADDR.
1932
1933 2005-06-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1934
1935         * pt.c (register_specialization): Remove superfluous assertion.
1936
1937 2005-06-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1938
1939         * call.c (convert_like_real): Add format attribute.
1940         * typeck.c (check_for_casting_away_constness,
1941         build_static_cast_1): Likewise.
1942         * typeck2.c (readonly_error, cxx_incomplete_type_diagnostic):
1943         Likewise.
1944
1945 2005-06-17  Geoffrey Keating  <geoffk@apple.com>
1946
1947         PR c++/17413
1948         * pt.c (type_unification_real): Apply template type deduction even
1949         to procedure parameters that are not dependent on a template
1950         parameter.
1951
1952 2005-06-16  Nathan Sidwell  <nathan@codesourcery.com>
1953
1954         * rtti.c (get_tinfo_decl): Avoid caching tinfo_descs when it might
1955         change.
1956         (create_pseudo_type_info): First parameter is an int.
1957
1958 2005-06-15  Nathan Sidwell  <nathan@codesourcery.com>
1959
1960         PR c++/20678
1961         * error.c (dump_expr) <COMPONENT_REF case>: Check DECL_NAME is not
1962         null.
1963
1964         * Make-lang.in: Reformat some long lines.
1965         (gt-cp-rtti.h): New target.
1966         (cp/rtti.o): Add dependency.
1967         * config-lang.in (gtfiles): Add cp/rtti.c.
1968         * cp-tree.h (CPTI_TI_DESC_TYPE, CPTI_BLTN_DESC_TYPE,
1969         CPTI_PTR_DESC_TYPE, CPTI_ARY_DESC_TYPE, CPTI_FUNC_DESC_TYPE,
1970         CPTI_ENUM_DESC_TYPE, CPTI_CLASS_DESC_TYPE,
1971         CPTI_SI_CLASS_DESC_TYPE, CPTI_VMI_CLASS_DESC_TYPE,
1972         CPTI_PTM_DESC_TYPE, CPTI_BASE_DESC_TYPE): Remove.
1973         (ti_desc_type_node, bltn_desc_type_node, ptr_desc_type_node,
1974         ary_desc_type_node, func_desc_type_node, enum_desc_type_node,
1975         class_desc_type_node, si_class_desc_type_node,
1976         vmi_class_desc_type_node, ptm_desc_type_node,
1977         base_desc_type_node): Remove.
1978         * decl.c: Adjust documentation of global trees.
1979         * rtti.c (TINFO_PSEUDO_TYPE, TINFO_VTABLE_DECL,
1980         TINFO_REAL_NAME): Remove.
1981         (struct tinfo_s): New.
1982         (enum tinfo_kind): New.
1983         (tinfo_descs): New.
1984         (get_tinfo_decl): Adjust use of tinfo descriptor.
1985         (tinfo_base_init, generic_initializer, ptr_initializer,
1986         ptm_initializer, class_initializer): Likewise.
1987         (get_pseudo_ti_init): Take descriptor index. Adjust.
1988         (create_pseudo_type_info): Likewise.
1989         (get_pseudo_ti_desc): Return descriptor index. Adjust.
1990         (create_tinfo_types): Adjust use of create_pseudo_type_info.
1991         (emit_tinfo_decl): Adjust use of tinfo descriptor.
1992
1993 2005-06-14  Roger Sayle  <roger@eyesopen.com>
1994
1995         * decl.c (grokdeclarator): Only check TREE_OVERFLOW on INTEGER_CST.
1996
1997 2005-06-13  Geoffrey Keating  <geoffk@apple.com>
1998
1999         * Make-lang.in (c++.install-man): Doesn't really depend on installdirs.
2000         (rule for installing g++.1 manpage): Does depend on installdirs.
2001
2002 2005-06-13  Nathan Sidwell  <nathan@codesourcery.com>
2003
2004         PR c++/20789
2005         * decl.c (cp_finish_decl): Clear runtime runtime initialization if
2006         in-class decl's initializer is bad.
2007
2008         PR c++/21929
2009         * parser.c (struct cp_parser): Document that scope could be
2010         error_mark.
2011         (cp_parser_diagnose_invalid_type_name): Cope with error_mark for
2012         scope.
2013         (cp_parser_nested_name_specifier): Return NULL_TREE on error.
2014         (cp_parser_postfix_expression): Deal with null or error_mark
2015         scope.
2016         (cp_parser_elaborated_type_specifier): Adjust
2017         cp_parser_nested_name_specifier call.
2018
2019         * parser (cp_parser_skip_to_end_of_block_or_statement): Cleanup.
2020
2021 2005-06-12  Roger Sayle  <roger@eyesopen.com>
2022
2023         PR c++/21930
2024         * error.c (dump_expr): UNARY_PLUS_EXPR need not handle void types.
2025         Treat CONVERT_EXPR identically to NOP_EXPR.
2026
2027 2005-06-10  Aldy Hernandez  <aldyh@redhat.com>
2028
2029         PR c++/10611
2030         * cvt.c (build_expr_type_conversion): Same.
2031         * typeck.c (build_binary_op): Handle vectors.
2032         (common_type): Same.
2033         (type_after_usual_arithmetic_conversions): Same.
2034
2035 2005-06-08  Nathan Sidwell  <nathan@codesourcery.com>
2036
2037         PR c++/19497
2038         * cp-tree.def (USING_DECL): Update documentation.
2039         * cp-tree.h (DECL_DEPENDENT_P): New.
2040         (USING_DECL_DECLS, USING_DECL_SCOPE): New.
2041         * class.c (handle_using_decl): Move most of the processing to ...
2042         * name-lookup.c (do_class_using_decl): ... here.  Make stricter.
2043         (push_using_decl): Use USING_DECL_SCOPE.
2044         (cp_emit_debug_info_for_using): Make extern.
2045         * cxx-pretty-print.c (pp_cxx_statement) <USING_DECL case>: Adjust.
2046         * name-lookup.h (cp_emit_debug_info_for_using): Declare.
2047         * pt.c (tsubst_decl) <USING_DECL case>: Use do_class_using_decl
2048         when tsubsting.
2049         (tsubst_expr): Use USING_DECL_SCOPE.
2050         * search.c (lookup_field_1): Use DECL_DEPENDENT_P.
2051         * semantics.c (finish_member_declaration): Likewise.
2052
2053 2005-06-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2054
2055         PR c++/19894
2056         * pt.c (tsubst): Reject pointer-to-member of type void.
2057
2058         PR c++/20563
2059         * parser.c (cp_parser_label_declaration): Deal with invalid/missing
2060         identifiers.
2061
2062 2005-06-07  Nathan Sidwell  <nathan@codesourcery.com>
2063
2064         * cp-tree.def (DEFAULT_ARG): Adjust documentation.
2065         * cp-tree.h (DEFARG_INSTANTIATIONS): New.
2066         (struct tree_default_arg): Add instantiations member.
2067         * parser.c (cp_parser_late_parsing_default_args): Adjust to use a
2068         VEC.
2069         * pt.c (tsubst_arg_types): Likewise.
2070
2071         * parser.c (cp_parser_late_parsing_default_args): Fix overeager
2072         assert in previous patch.
2073
2074 2005-06-06  Jakub Jelinek  <jakub@redhat.com>
2075
2076         * error.c (locate_error): Use gmsgid instead of msgid for argument
2077         name.
2078         (cp_error_at, cp_warning_at, cp_pedwarn_at): Likewise.
2079
2080 2005-06-06  Nathan Sidwell  <nathan@codesourcery.com>
2081
2082         PR 21903
2083         * cp-tree.def (DEFAULT_ARG): Document TREE_CHAIN use.
2084         * parser.c (cp_parser_late_parsing_default_args): Propagate parsed
2085         argument to any early instantiations.
2086         * pt.c (tsubst_arg_types): Chain early instantiation of default arg.
2087
2088         PR c++/20637
2089         * cp-tree.h (add_method): Add using_decl parameter.
2090         * class.c (add_method): Add using_decl parameter.  Adjust error
2091         messages.
2092         (handle_using_decl): Pass the using decl to add_method.
2093         (clone_function_decl): Adjust add_member calls.
2094         * decl2.c (check_classfn): Likewise.
2095         * method.c (lazily_declare_fn): Likewise.
2096         * semantics.c (finish_member_declaration): Likewise.
2097
2098         * method.c (synthesize_method): Use inform, not warning.
2099
2100 2005-06-06  Hans-Peter Nilsson  <hp@axis.se>
2101
2102         * config-lang.in (target_libs): Remove target-gperf.
2103
2104 2005-06-05  Mark Mitchell  <mark@codesourcery.com>
2105
2106         PR c++/21619
2107         * cp-tree.h (DECL_IS_BUILTIN_CONSTANT_P): New macro.
2108         * parser.c (cp_parser_postfix_expression): Allow non-constant
2109         expressions as arguments to __builtin_constant_p.
2110         * tree.c (builtin_valid_in_constant_expr_p): Use
2111         DECL_IS_BUILTIN_CONSTANT_P.
2112
2113 2005-06-03  Mark Mitchell  <mark@codesourcery.com>
2114
2115         PR c++/21853
2116         * typeck.c (casts_away_constness_r): Do not drop cv-qualifiers on
2117         the pointed-to type for a pointer-to-member.
2118
2119         PR c++/21336
2120         * cp-tree.h (grok_op_properties): Remove friendp parameter.
2121         * decl.c (grokfndecl): Adjust call.
2122         (grok_op_properties): Determine the class of which the function is
2123         a member by looking at its DECL_CONTEXT, not current_class_type.
2124         * pt.c (tsubst_decl): Adjust call to grok_op_properties.
2125
2126 2005-06-02  Nathan Sidwell  <nathan@codesourcery.com>
2127
2128         * method.c (synthesize_method): Add addtional arg to warning call.
2129
2130         PR c++/21280
2131         * Make-lang.in (method.o): Add diagnostic.h
2132         * decl.c (start_preparsed_function): Use decl's location for file
2133         info.
2134         * decl2.c (cp_finish_file): Set input_location before synthesizing
2135         a function.
2136         (mark_used): When deferring a synthesized function, save current
2137         location.  Do not set function's location when actually
2138         synthesizing it.
2139         * method.c: #include diagnostic.h.
2140         (synthesize_method): Set the functions source location.  Show
2141         needed location if errors are emitted.
2142
2143         * decl.c (start_decl): Simplify specialization handling. Remove
2144         unneeded CLASSTYPE_TEMPLATE_INSTANTIATION check.
2145         * mangle.c (discriminator_for_local_entity): Use VEC_index.
2146
2147         PR c++/20350
2148         * decl.c (duplicate_decls): Copy all of DECL_USE_TEMPLATE.
2149
2150         PR c++/21151
2151         * name-lookup.c (pushtag): Push local class even in a template.
2152
2153 2005-05-31  Nathan Sidwell  <nathan@codesourcery.com>
2154
2155         PR c++/21165
2156         * init.c (integral_constant_value): Check the type of the
2157         initializer, not the decl.
2158
2159 2005-05-30  Mark Mitchell  <mark@codesourcery.com>
2160
2161         PR c++/21784
2162         * name-lookup.c (do_nonmember_using_decl): Ignore builtin
2163         functions, even when the used name is not a function.
2164
2165 2005-05-30  Kazu Hirata  <kazu@cs.umass.edu>
2166
2167         * operators.def, optimize.c: Update copyright.
2168
2169 2005-05-28  Mark Mitchell  <mark@codesourcery.com>
2170
2171         PR c++/21210
2172         * call.c (standard_conversion): Permit conversions to complex
2173         types if conversion to the corresponding scalar type would be
2174         permitted.
2175
2176         PR c++/21340
2177         * method.c (implicitly_declare_fn): Clear processing_template_decl
2178         when generating implicit declaration.
2179
2180 2005-05-27  Mark Mitchell  <mark@codesourcery.com>
2181
2182         PR c++/21614
2183         * typeck.c (get_member_function_from_ptrfunc): Do not attempt
2184         conversions to base classes of incomplete types.
2185
2186 2005-05-27  Ian Lance Taylor  <ian@airs.com>
2187
2188         * semantics.c (add_stmt): Add C++ frontend specific version.
2189         * cp-tree.h (STMT_IS_FULL_EXPR_P): Define.
2190         (stmts_are_full_exprs_p): Declare.
2191
2192 2005-05-27  Roger Sayle  <roger@eyesopen.com>
2193             Giovanni Bajo  <giovannibajo@gcc.gnu.org>
2194
2195         * cp-tree.def (UNARY_PLUS_EXPR): New C++ unary tree code.
2196         * parser.c (cp_parser_unary_expression): Use UNARY_PLUS_EXPR instead
2197         of CONVERT_EXPR.
2198         (cp_parser_unary_expression): Likewise.
2199         * typeck.c (build_unary_op): Likewise.
2200         * call.c (add_builtin_candidate, build_new_op): Likewise.
2201         * error.c (dump_expr): Likewise.
2202         * pt.c (tsubst_copy, tsubst_copy_and_build): Likewise.
2203         * decl.c (ambi_op_p, grok_op_properties): Likewise.
2204         * dump.c (dump_op): Likewise.
2205         * lex.c (init_operators): Likewise.
2206         * operators.def ("+"): Likewise.
2207         * cp-gimplify.c (cp_gimplify_expr): Handle UNARY_PLUS_EXPR like a
2208         conversion, if the result and argument types differ.
2209         * tree.c (fold_if_not_in_template): Fold UNARY_PLUS_EXPR much
2210         like a NOP_EXPR when !processing_template_decl.
2211
2212         * cxx-pretty-print.c (pp_cxx_cast_expression): Prototype.
2213         (pp_cxx_unary_expression): Handle new UNARY_PLUS_EXPR tree code.
2214
2215 2005-05-27  Nathan Sidwell  <nathan@codesourcery.com>
2216
2217         PR c++/21455
2218         * typeck.c (get_delta_difference): Cope with incomplete but equal
2219         classes.  Reorder if.
2220
2221         PR c++/21681
2222         * parser.c (cp_parser_late_parsing_for_member): Disable access
2223         checking for template functions.
2224
2225 2005-05-26  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2226
2227         PR c++/21768
2228         * pt.c (redeclare_class_template): Change error message according
2229         to coding conventions.
2230
2231 2005-05-26  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2232
2233         * call.c (build_op_delete_call): Fix quoting in error message.
2234
2235 2005-05-25  Richard Henderson  <rth@redhat.com>
2236
2237         PR libgcj/21692
2238         * cp-tree.h (make_alias_for): Declare.
2239         * decl2.c (build_java_method_aliases): New.
2240         (cp_finish_file): Call it.
2241         * method.c (make_alias_for): Split out from ...
2242         (make_alias_for_thunk): ... here.
2243
2244 2005-05-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2245
2246         PR c++/21686
2247         * semantics.c (finish_id_expression): Fix quoting in error message.
2248
2249 2005-05-25  DJ Delorie  <dj@redhat.com>
2250
2251         * decl.c (duplicate_decls): Move warning control from if() to
2252         warning(OPT_*).
2253         * name-lookup.c (parse_using_directive): Likewise.
2254         * parser.c (cp_parser_elaborated_type_specifier): Likewise.
2255         (cp_parser_init_declarator): Likewise.
2256         * tree.c (handle_com_interface_attribute): Likewise.
2257
2258 2005-05-24  Ziemowit Laski  <zlaski@apple.com>
2259
2260         * class.c (layout_class_type): Do not issue C++ ABI warnings
2261         for ObjC structs.
2262         * decl.c (objc_mark_locals_volatile): Streamline by calling
2263         objc_volatilize_decl().
2264         * parser.c (cp_parser_objc_message_expression): Allow simple
2265         type specifiers (instead of merely type names) as message
2266         receivers.
2267         * pt.c (template_args_equal): Do not call objc_comptypes().
2268         * typeck.c (composite_pointer_type): If both pointers are
2269         ObjC-esque, arbitrarily choose the first; do not call
2270         objc_comptypes().
2271         (comptypes): Do not call objc_comptypes().
2272         (convert_for_assignment): Call objc_compare_types().
2273         (comp_ptr_ttypes_real): Call objc_type_quals_match() before
2274         concluding that types do not match.
2275
2276 2005-05-24  Andrew Pinski  <pinskia@physics.uc.edu>
2277
2278         PR C++/21645
2279         * optimize.c (update_cloned_parm): Copy the TYPE also from the
2280         original one.
2281
2282 2005-05-19  Jakub Jelinek  <jakub@redhat.com>
2283
2284         PR c++/21495
2285         * decl.c (grokdeclarator): Fix "storage class specified for"
2286         error reporting.
2287
2288 2005-05-19  Kazu Hirata  <kazu@cs.umass.edu>
2289
2290         * parser.c: Fix comment typos.
2291
2292 2005-05-18  Geoffrey Keating  <geoffk@apple.com>
2293
2294         * Make-lang.in (cc1plus-dummy): New.
2295         (cc1plus-checksum.c): New.
2296         (cc1plus-checksum.o): New.
2297         (cc1plus): Add cc1plus-checksum.o.
2298
2299 2005-05-17  H.J. Lu  <hongjiu.lu@intel.com>
2300
2301         PR C++/19664
2302         * decl2.c (determine_visibility): Don't set visibility to
2303         hidden if it has been set explicitly by user.
2304
2305 2005-05-17  Ziemowit Laski  <zlaski@apple.com>
2306             Mike Stump  <mrs@apple.com>
2307
2308         Yet more Objective-C++...
2309
2310         * cp-objcp-common.h (cxx_get_alias_set): Move from
2311         here...
2312         (cxx_warn_unused_global_decl): Likewise.
2313         (cp_expr_size): Likewise.
2314         (cp_tree_size): Likewise.
2315         (cp_var_mod_type_p): Likewise.
2316         (cxx_initialize_diagnostics): Likewise.
2317         (cxx_types_compatible_p): Likewise.
2318         * cp-tree.h: to here.
2319         (do_poplevel): Add.
2320         * lex.c (D_OBJC): Add.
2321         (init_reswords): Add.
2322         * Make-lang.in (cp/pt.o): Add cp/cp-objcp-common.h.
2323         * parser.c: Add c-common.h include.
2324         * pt.c: Add c-common.h and cp-objcp-common.h includes.
2325         (template_args_equal): Use objc_comptypes as well.
2326         (tsubst_copy_and_build): Use objcp_tsubst_copy_and_build as well.
2327         * semantics.c (do_poplevel): Remove static.
2328
2329         * decl.c (objc_mark_locals_volatile): Don't change decls that are
2330         already ok.
2331         * decl2.c (generate_ctor_or_dtor_function): Add code to initialize
2332         Objective C++ early enough.
2333         * lex.c (struct resword reswords): Add Objective-C++ support.
2334         * parser.c (cp_lexer_get_preprocessor_token): Add Objective-C++.
2335         (cp_parser_objc_message_receiver): Add.
2336         (cp_parser_objc_message_args): Likewise.
2337         (cp_parser_objc_message_expression): Likewise.
2338         (cp_parser_objc_encode_expression): Likewise.
2339         (cp_parser_objc_defs_expression): Likewise.
2340         (cp_parser_objc_protocol_expression): Likewise.
2341         (cp_parser_objc_selector_expression): Likewise.
2342         (cp_parser_objc_expression): Likewise.
2343         (cp_parser_objc_visibility_spec): Likewise.
2344         (cp_parser_objc_method_type): Likewise.
2345         (cp_parser_objc_protocol_qualifiers): Likewise.
2346         (cp_parser_objc_typename): Likewise.
2347         (cp_parser_objc_selector_p): Likewise.
2348         (cp_parser_objc_selector): Likewise.
2349         (cp_parser_objc_method_keyword_params): Likewise.
2350         (cp_parser_objc_method_tail_params_opt): Likewise.
2351         (cp_parser_objc_interstitial_code): Likewise.
2352         (cp_parser_objc_method_signature): Likewise.
2353         (cp_parser_objc_method_prototype_list): Likewise.
2354         (cp_parser_objc_method_definition_list): Likewise.
2355         (cp_parser_objc_class_ivars): Likewise.
2356         (cp_parser_objc_identifier_list): Likewise.
2357         (cp_parser_objc_alias_declaration): Likewise.
2358         (cp_parser_objc_class_declaration): Likewise.
2359         (cp_parser_objc_protocol_declaration): Likewise.
2360         (cp_parser_objc_protocol_refs_opt): Likewise.
2361         (cp_parser_objc_superclass_or_category): Likewise.
2362         (cp_parser_objc_class_interface): Likewise.
2363         (cp_parser_objc_class_implementation): Likewise.
2364         (cp_parser_objc_end_implementation): Likewise.
2365         (cp_parser_objc_declaration): Likewise.
2366         (cp_parser_objc_try_catch_finally_statement): Likewise.
2367         (cp_parser_objc_synchronized_statement): Likewise.
2368         (cp_parser_objc_throw_statement): Likewise.
2369         (cp_parser_objc_statement): Likewise.
2370         (cp_parser_primary_expression): Add Objective-C++.
2371         (cp_parser_statement): Likewise.
2372         (cp_parser_declaration): Likewise.
2373         (cp_parser_simple_type_specifier): Likewise.
2374         (cp_parser_type_name): Likewise.
2375         (cp_parser_parameter_declaration_list): Likewise.
2376         (cp_parser_member_declaration) Likewise.
2377         * tree.c: Include debug.h.
2378         * typeck.c (composite_pointer_type): Add Objective-C++ support.
2379         (finish_class_member_access_expr): Likewise.
2380         (build_function_call): Allow objc to rewrite FUNCTION_DECLs.
2381         (build_modify_expr): Allow objc to generate write barriers.
2382
2383         * Make-lang.in (cp/tree.o): Add debug.h.
2384         * tree.c (lvalue_p_1, case CONST_DECL): Add.
2385
2386 2005-05-18  Jan Hubicka  <jh@suse.cz>
2387
2388         * method.c: Include tree-pass.h
2389         (use_thunk): Lower body before expanding.
2390
2391 2005-05-17  Jakub Jelinek  <jakub@redhat.com>
2392
2393         PR c++/21454
2394         * decl.c (maybe_deduce_size_from_array_init): Call
2395         cp_apply_type_quals_to_decl after completing array type.
2396
2397 2005-05-16  Richard Henderson  <rth@redhat.com>
2398
2399         * decl.c (build_library_fn_1): Move setting TREE_NOTHROW ...
2400         (build_library_fn): ... here.
2401
2402 2005-05-12  Ian Lance Taylor  <ian@airs.com>
2403
2404         * cp-tree.h (cp_stmt_codes): Don't define.
2405         (statement_code_p): Declare.
2406         (STATEMENT_CODE_P): Define.
2407         * lex.c (statement_code_p): Define.
2408         (cxx_init): Use actual codes in stmt_codes initializer, not
2409         cp_stmt_codes macro.  Initialize statement_code_p directly, rather
2410         than using INIT_STATEMENT_CODES.
2411
2412 2005-05-09  Mark Mitchell  <mark@codesourcery.com>
2413
2414         * typeck.c (build_unary_op): Do not resort to address arithmetic
2415         when taking the address of a COMPONENT_REF.
2416
2417 2005-05-08  Kazu Hirata  <kazu@cs.umass.edu>
2418
2419         * class.c (vtbl_init_data_s): Change the type of fns to
2420         VEC(tree,gc)*.
2421         (build_vtbl_initializer, add_vcall_offset, add_vcall_offset):
2422         Use VEC instead of VARRAY.
2423
2424 2005-05-07  Richard Sandiford  <rsandifo@redhat.com>
2425
2426         * mangle.c: Remove a reference to the MIPS -mint64 option.
2427
2428 2005-05-07  Kazu Hirata  <kazu@cs.umass.edu>
2429
2430         * decl.c (wrapup_globals_for_namespace): Use VEC instead of
2431         VARRAY.
2432         * name-lookup.c (add_decl_to_level, begin_scope): Likewise.
2433         * name-lookup.h (cp_binding_level): Change the type of
2434         static_decls to VEC(tree,gc)*.
2435
2436         * mangle.c (globals): Change the type of substitutions to
2437         VEC(tree,gc)*.
2438         (dump_substitution_candidates, add_substitution,
2439         find_substitution, finish_mangling, init_mangle): Use VEC
2440         instead of VARRAY.
2441
2442 2005-05-06  Kazu Hirata  <kazu@cs.umass.edu>
2443
2444         * decl2.c (spew_debug): Remove.
2445
2446         * decl2.c (ssdf_decls, start_static_storage_duration_function,
2447         generate_ctor_or_dtor_function): Use VEC instead of VARRAY.
2448
2449         * decl2.c (pending_statics, note_vague_linkage_var,
2450         cp_finish_file): Use VEC instead of VARRAY.
2451         (pending_statics_used): Remove.
2452
2453 2005-05-05  Kazu Hirata  <kazu@cs.umass.edu>
2454
2455         * decl2.c (deferred_fns, note_vague_linkage_fn,
2456         cp_finish_file): Use VEC instead of VARRAY.
2457
2458 2005-05-05  Mark Mitchell  <mark@codesourcery.com>
2459
2460         PR c++/21352
2461         * pt.c (build_non_dependent_expr): Use is_overloaded_fn.
2462
2463 2005-05-05  Kazu Hirata  <kazu@cs.umass.edu>
2464
2465         * pt.c: Fix a comment typo.
2466
2467 2005-05-04  Kazu Hirata  <kazu@cs.umass.edu>
2468
2469         * cp-tree.h (language_function): Change the type of
2470         x_local_names to VEC.
2471         * decl.c (push_local_name): Adjust uses of local_names.
2472
2473 2005-05-03  Kazu Hirata  <kazu@cs.umass.edu>
2474
2475         * friend.c, lex.c, mangle.c, repo.c: Update copyright.
2476
2477 2005-05-02  Kazu Hirata  <kazu@cs.umass.edu>
2478
2479         * class.c (local_classes, init_class_processing): Use VEC
2480         instead of VARRAY.
2481         * cp-tree.h (local_classes): Likewise.
2482         * mangle.c (discriminator_for_local_entity): Likewise.
2483         * name-lookup.c (pushtag): Likewise.
2484
2485         * class.c (current_lang_depth, push_lang_context,
2486         pop_lang_context): Use VEC instead of VARRAY.
2487         * cp-tree.h (saved_scope): Use VEC for lang_base instead of
2488         VARRAY.
2489         * name-lookup.c (push_to_top_level): Use VEC instead of
2490         VARRAY.
2491
2492 2005-05-02  Paolo Bonzini  <bonzini@gnu.org>
2493
2494         * semantics.c (finish_call_expr): Call resolve_overloaded_builtin
2495         for BUILT_IN_MD built-ins.
2496
2497 2005-05-02  Michael Matz  <matz@suse.de>
2498
2499         PR c++/19542
2500         * cp-tree.h (cp_tree_index): Remove CPTI_NULL, to be defined in C
2501         common frontend.
2502         (null_node): Remove.
2503         * lex.c (cxx_init): Move null_node initialisation to C common frontend.
2504
2505 2005-04-25  Ian Lance Taylor  <ian@airs.com>
2506
2507         * cp-tree.def: Add EXPR_STMT.
2508         * cp-tree.h (cp_stmt_codes): Add EXPR_STMT.
2509         (EXPR_STMT_EXPR): Define.
2510         * cp-gimplify.c: Include "flags.h".
2511         (gimplify_expr_stmt): New static function.
2512         (cp_gimplify_expr): Handle EXPR_STMT.
2513         * cxx-pretty-print.c (pp_cxx_statement): Use pp_cxx_expression
2514         rather than pp_expression.
2515         (pp_cxx_statement): Handle EXPR_STMT.
2516         * dump.c (cp_dump_tree): Handle EXPR_STMT.
2517         * lex.c (cxx_init): Don't use c_common_stmt_codes in stmt_codes
2518         initializer.
2519
2520 2005-04-25  Andrew Pinski  <pinskia@physics.uc.edu>
2521
2522         PR C++/21188
2523         * rtti.c (ifnonnull): Cast the zero comparison operand
2524         to the correct type.
2525
2526 2005-04-24  Jakub Jelinek  <jakub@redhat.com>
2527
2528         PR middle-end/20991
2529         * class.c: Include cgraph.h.
2530         (cp_fold_obj_type_ref): Set node->local.vtable_method.
2531         * Make-lang.in (cgraph.o): Depend on $(CGRAPH_H).
2532
2533 2005-04-12  Markus F.X.J. Oberhumer  <markus@oberhumer.com>
2534
2535         * mangle.c (write_builtin_type): Handle integer types which are
2536         not one of the shared integer type nodes and emit a "vendor
2537         extended builtin type" with an encoding in the form of "u5int96".
2538
2539 2005-04-24  Ian Lance Taylor  <ian@airs.com>
2540
2541         * cp-tree.def (USING_STMT): Change class to tcc_statement.
2542         (TRY_BLOCK, EH_SPEC_BLOCK, HANDLER, CLEANUP_STMT): Likewise.
2543         (IF_STMT, FOR_STMT, WHILE_STMT, DO_STMT): Likewise.
2544         (BREAK_STMT, CONTINUE_STMT, SWITCH_STMT): Likewise.
2545
2546 2005-04-23  DJ Delorie  <dj@redhat.com>
2547
2548         * call.c, class.c, cvt.c, decl.c, decl2.c, except.c, friend.c,
2549         init.c, lex.c, mangle.c, method.c, name-lookup.c, parser.c,
2550         repo.c, rtti.c, tree.c, typeck.c, typeck2.c: Adjust warning()
2551         callers.
2552
2553 2005-04-22  Per Bothner  <per@bothner.com>
2554
2555         * decl.c (make_rtl_for_nonlocal_decl): Don't try get_fileinfo if
2556         input_filename is NULL, as it is for (say) __PRETTY_FUNCTION__.
2557
2558 2005-04-22  Alexandre Oliva  <aoliva@redhat.com>
2559
2560         PR c++/21087
2561         * name-lookup.c (push_overloaded_decl): Do not overload with
2562         non-duplicate anticipated built-in.
2563
2564 2005-04-21  Kazu Hirata  <kazu@cs.umass.edu>
2565
2566         * cp-tree.h (THROW_NAME, AUTO_VTABLE_NAME, AUTO_TEMP_FORMAT,
2567         VTABLE_BASE, VTABLE_NAME_PREFIX, STATIC_NAME_FORMAT): Remove.
2568
2569 2005-04-21  Nathan Sidwell  <nathan@codesourcery.com>
2570
2571         * cp-tree.h: Adjust for new VEC API.
2572         Define VEC(tree_pair_s,gc).
2573         (struct save_scope): Adjust.
2574         (struct lang_type_class): Adjust.
2575         (unemitted_tinfo_decls): Adjust.
2576         * class.c (add_method, resort_type_method_vec,
2577         finish_struct_methods, struct find_final_overrider_data,
2578         dfs_find_final_overrider_pre, find_final_overrider,
2579         get_vcall_index, warn_hidden, walk_subobject_offsets,
2580         check_methods, fixup_inline_methods, end_of_class,
2581         warn_about_ambiguous_bases, finish_struct, build_vtbl_initializer,
2582         add_vcall_offset): Adjust.
2583         * decl.c (xref_basetypes, finish_method): Adjust.
2584         * decl2.c (check_classfn): Adjust.
2585         * init.c (sort_mem_initializers, push_base_cleanups): Adjust.
2586         * method.c (do_build_copy_constructor): Adjust.
2587         * name-lookup.c (new_class_binding, store_binding,
2588         store_bindings, store_class_bindings): Adjust.
2589         * name-lookup.h: Define VEC(cxx_saved_binding,gc),
2590         VEC(cp_class_binding,gc).
2591         (struct cp_binding_level): Adjust.
2592         * parser.c: Define VEC(cp_token_position,heap).
2593         (struct cp_lexer): Adjust.
2594         (cp_lexer_new_main, cp_lexer_new_from_tokens, cp_lexer_destroy,
2595         cp_lexer_save_tokens): Adjust.
2596         * pt.c (retrieve_specialization,
2597         check_explicit_specialization): Adjust.
2598         * rtti.c (unemitted_tinfo_decls): Adjust.
2599         (init_rtti_processing, get_tinfo_decl, get_pseudo_ti_init,
2600         get_pseudo_ti_desc): Adjust.
2601         * search.c (dfs_access_in_type, lookup_conversion_operator,
2602         lookup_fnfields_1, dfs_walk_once, dfs_walk_once_accessible,
2603         dfs_get_pure_virtuals, lookup_conversions_r, binfo_for_vbase): Adjust.
2604         * semantics.c: Define VEC(deferred_access,gc).
2605         (push_deferring_access_checks): Adjust.
2606         * typeck2.c (abstract_virtuals_error): Adjust.
2607
2608 2005-04-20  Ian Lance Taylor  <ian@airs.com>
2609
2610         * cp-tree.def: Add STMT_EXPR.
2611         * cp-tree.h (STMT_EXPR_NO_SCOPE): Define.
2612         (STMT_EXPR_STMT): Define.
2613         * cxx-pretty-print.c (pp_cxx_primary_expression): Handle
2614         STMT_EXPR.
2615         (pp_cxx_expression): Likewise.
2616         (pp_cxx_statement): Call pp_cxx_statement, not pp_statement.
2617         * dump.c (cp_dump_tree): Handle STMT_EXPR.
2618
2619 2005-04-18  Kazu Hirata  <kazu@cs.umass.edu>
2620
2621         * decl.c (expand_static_init): Call build2 and build3 instead
2622         of build.
2623
2624         * cp-tree.h (VPTR_NAME, VPTR_NAME_P): Remove.
2625
2626 2005-04-17  Ian Lance Taylor  <ian@airs.com>
2627
2628         * cp-tree.def: Add SIZEOF_EXPR, ARROW_EXPR and ALIGNOF_EXPR.
2629         * cxx-pretty-print.c (pp_cxx_postfix_expression): Handle
2630         ARROW_EXPR.
2631         (pp_cxx_unary_expression): Handle SIZEOF_EXPR and ALIGNOF_EXPR.
2632         (pp_cxx_expression): Handle ARROW_EXPR, SIZEOF_EXPR, and
2633         ALIGNOF_EXPR.
2634         * typeck.c (cxx_sizeof_or_alignof_type): Update call to
2635         c_sizeof_or_alignof_type for change in parameter type.
2636
2637 2005-04-16  Mark Mitchell  <mark@codesourcery.com>
2638
2639         PR c++/21025
2640         * typeck.c (cxx_sizeof_or_alignof_type): Check whether the type to
2641         which sizeof/alignof is dependent, rather than just whether we are
2642         processing_template_decl.
2643
2644 2005-04-17  Kazu Hirata  <kazu@cs.umass.edu>
2645
2646         * cp-tree.h (LOOKUP_GLOBAL): Remove.
2647         (LOOKUP_ONLYCONVERTING, DIRECT_BIND, LOOKUP_NO_CONVERSION,
2648         LOOKUP_DESTRUCTOR, LOOKUP_NO_TEMP_BIND, LOOKUP_PREFER_TYPES,
2649         LOOKUP_PREFER_NAMESPACES, LOOKUP_CONSTRUCTOR_CALLABLE): Adjust
2650         their values.
2651
2652 2005-04-15  Richard Henderson  <rth@redhat.com>
2653
2654         PR middle-end/14311
2655         * semantics.c (finish_call_expr): Call resolve_overloaded_builtin.
2656
2657 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
2658
2659         * cp-tree.h (lang_type_class): Remove redefined.  Move
2660         java_interface into where redefined was.  Increment the width
2661         of dummy.
2662         (TYPE_REDEFINED): Remove.
2663
2664 2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
2665
2666         * cp-tree.h (SET_TMPL_ARG, ENUM_TI_TEMPLATE, ENUM_TI_ARGS,
2667         CLASSTYPE_TEMPLATE_LEVEL): Remove.
2668
2669 2005-04-11  Mark Mitchell  <mark@codesourcery.com>
2670
2671         * decl2.c (determine_visibility): Don't use export_class_data.
2672         (import_export_decl): Honor TARGET_CXX_CLASS_DATA_ALWAYS_WEAK and
2673         TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY.
2674
2675 2005-04-09  Kazu Hirata  <kazu@cs.umass.edu>
2676
2677         * cp-tree.h (cxx_alignof): Remove.
2678
2679         * cp-tree.h (DECL_ARRAY_DELETE_OPERATOR_P): Remove.
2680
2681         * cp-tree.h (EXCEPTION_CLEANUP_NAME, B_SET, B_CLR, B_TST,
2682         CONV_STATIC_CAST): Remove.
2683
2684         * pt.c (UNIFY_ALLOW_MAX_CORRECTION): Remove.
2685
2686         * cp-tree.h (VF_BINFO_VALUE, VF_BASETYPE_VALUE): Remove.
2687
2688         * cp-tree.h (cp_deprecated): Remove.
2689
2690 2005-04-08  Ian Lance Taylor  <ian@airs.com>
2691
2692         * cp-tree.def: Define FOR_STMT, WHILE_STMT, DO_STMT, BREAK_STMT,
2693         CONTINUE_STMT, SWITCH_STMT.
2694         * cp-tree.h (cp_stmt_codes): Add FOR_STMT, WHILE_STMT, DO_STMT,
2695         BREAK_STMT, CONTINUE_STMT, SWITCH_STMT.
2696         (WHILE_COND, WHILE_BODY): Define.
2697         (DO_COND, DO_BODY): Define.
2698         (FOR_INIT_STMT, FOR_COND, FOR_EXPR, FOR_BODY): Define.
2699         (SWITCH_STMT_COND, SWITCH_STMT_BODY, SWITCH_STMT_TYPE): Define.
2700         * cp-gimplify.c (enum bc_t): Define.
2701         (struct cp_gimplify_ctx, ctxp): Define.
2702         (push_context, pop_context): New static functions.
2703         (begin_bc_block, finish_bc_block): New static functions.
2704         (build_bc_goto): New static function.
2705         (gimplify_cp_loop, gimplify_for_stmt): New static functions.
2706         (gimplify_while_stmt, gimplify_do_stmt): Likewise.
2707         (gimplify_switch_stmt): Likewise.
2708         (cp_gimplify_expr): Handle FOR_STMT, WHILE_STMT, DO_STMT,
2709         SWITCH_STMT, CONTINUE_STMT, BREAK_STMT.
2710         (cp_genericize): Call push_context and pop_context.
2711         * semantics.c (finish_break_stmt): Just call build_stmt
2712         (BREAK_STMT) rather than build_break_stmt.
2713         (finish_continue_stmt): Corresponding change.
2714         * decl.c (pop_switch): Update call to c_do_switch_warnings for new
2715         parameters.
2716         * cxx-pretty-print.c (pp_cxx_statement): Handle SWITCH_STMT,
2717         WHILE_STMT, DO_STMT, FOR_STMT, BREAK_STMT, CONTINUE_STMT.
2718         * dump.c (cp_dump_tree): Likewise.
2719
2720 2005-04-08  Mark Mitchell  <mark@codesourcery.com>
2721
2722         PR c++/20905
2723         * parser.c (cp_parser_type_specifier_seq): Add is_condition
2724         parameter.
2725         (cp_parser_new_type_id): Pass it.
2726         (cp_parser_condition): Likewise.
2727         (cp_parser_conversion_type_id): Likewise.
2728         (cp_parser_type_id): Likewise.
2729         (cp_parser_type_specifier_seq): In a condition, do not allow
2730         invalid type-specifier combinations.
2731         (cp_parser_exception_declaration): Adjust call to
2732         cp_parser_type_specifier_seq.
2733
2734         * cp-tree.def (TINST_LEVEL): Document TINST_IN_SYSTEM_HEADER_P.
2735         * cp-tree.h (struct tinst_level): Add in_system_header_p.
2736         (TINST_IN_SYSTEM_HEADER_P): New macro.
2737         (make_tinst_level): Remove.
2738         * pt.c (lookup_template_class): Preserve DECL_IN_SYSTEM_HEADER on
2739         the instantiated class.
2740         (push_tinst_level): Do not use make_tinst_level.  Set
2741         TINST_IN_SYSTEM_HEADER_P.
2742         (pop_tinst_level): Likewise.
2743         (instantiate_class_template): Set in_system_header.
2744         (instantiate_pending_templates): Likewise.
2745         * tree.c (make_tinst_level): Remove.
2746
2747 2005-04-06  Joseph S. Myers  <joseph@codesourcery.com>
2748
2749         * decl.c (start_decl): Apply pending #pragma weak regardless of
2750         scope.
2751
2752 2005-04-06  Mark Mitchell  <mark@codesourcery.com>
2753
2754         PR c++/20212
2755         * pt.c (regenerate_decl_from_template): Copy attributes for
2756         parameters from the pattern to the instantiation.
2757
2758 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
2759
2760         PR c++/20734
2761         * cp-tree.def (OFFSET_REF): Correct comments.
2762         * init.c (build_offset_ref): Remove misleading comment.
2763         * typeck.c (build_unary_op): Handle pointer-to-member creation
2764         here, rather than ...
2765         (unary_complex_lvalue): ... here.
2766
2767 2005-04-06  Jason Merrill  <jason@redhat.com>
2768
2769         PR c++/19312
2770         * tree.c (stabilize_init): Don't bother trying to stabilize
2771         something with no side-effects.
2772
2773 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
2774
2775         PR c++/20763
2776         * decl.c (grokdeclarator): Correct attribute handling.
2777
2778 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
2779
2780         PR c++/19159
2781         * decl2.c (import_export_decl): Use non-COMDAT external linkage
2782         for virtual tables, typeinfo, etc. that will be emitted in only
2783         one translation unit on systems without weak symbols.
2784
2785 2005-04-04  Mark Mitchell  <mark@codesourcery.com>
2786
2787         PR c++/20679
2788         * parser.c (cp_parser_template_name): Fix thinko.
2789
2790 2005-04-04  Nathan Sidwell  <nathan@codesourcery.com>
2791
2792         PR c++/20746
2793         * method.c (use_thunk): Protect covariant pointer return
2794         adjustments from NULL pointers.
2795
2796 2005-04-04  Jan Hubicka  <jh@suse.cz>
2797
2798         * decl2.c (finish_objects): Revert my previous patch.
2799         (cp_finish_file): Likewise.
2800
2801 2005-04-03  Kazu Hirata  <kazu@cs.umass.edu>
2802
2803         * pt.c: Fix comment typos.
2804
2805 2005-04-03  Nathan Sidwell  <nathan@codesourcery.com>
2806
2807         PR c++/20723
2808         * pt.c (more_specialized_fn): Member functions are unordered wrt
2809         non-members.  Conversion operators are unordered wrt other
2810         functions.
2811
2812 2005-04-01  Nathan Sidwell  <nathan@codesourcery.com>
2813
2814         * call.c (add_template_candidates_real): Remove length parameter
2815         from fn_type_unification call.
2816         * class.c (resolve_address_of_overloaded_function): Likewise
2817         * cp-tree.h (fn_type_unification): Remove length parameter.
2818         * pt.c (get_bindings_overload): Remove.
2819         (get_bindings_real): Rename to ...
2820         (get_bindings): ... here.  Remove length and strict
2821         parameters. Change return type flag to boolean.  Remove original
2822         forwarding function.
2823         (determine_specialization): Adjust get_bindings call.
2824         (fn_type_unification): Remove length parameter.  Adjust.
2825         (type_unification_real): Remove length parameter.  Adjust.
2826         (resolve_overloaded_unification): Adjust get_bindings call.
2827         (try_one_overload): Simplify confusing cascaded if control flow.
2828         (unify): Remove length paramter from type_unification_real call.
2829         (most_specialized_instantiation): Adjust get_bindings calls.
2830         (most_specialized): Likewise.
2831
2832 2005-03-31  Nathan Sidwell  <nathan@codesourcery.com>
2833
2834         PR c++/19203, implement DR 214
2835         * call.c (joust): Use more_specialized_fn.
2836         * cp-tree.h (DEDUCE_ORDER): Remove.
2837         (more_specialized): Replace with ...
2838         (more_specialized_fn): ... this.
2839         * pt.c (maybe_adjust_types_for_deduction): Remove DEDUCE_ORDER
2840         case.
2841         (type_unification_real): Remove DEDUCE_ORDER case.
2842         (more_specialized): Replace with ...
2843         (more_specialized_fn): ... this.  Implement DR 214.
2844         (most_specialized_instantiation): Use get_bindings_real directly.
2845
2846 2005-03-31  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2847
2848         PR c++/18644
2849         * call.c (build_new_op): Remove check for -Wsynth.
2850
2851 2005-03-31  Jan Hubicka  <jh@suse.cz>
2852
2853         * decl2.c (finish_objects): Mark ctor as needed.
2854         (cp_finish_file): Output variables only in nonunit-at-a-time.
2855
2856 2005-03-29  Richard Henderson  <rth@redhat.com>
2857
2858         PR c/20519
2859         * decl.c (cp_complete_array_type): Rename from complete_array_type.
2860         Use the new complete_array_type in c-common.c.  Update all callers.
2861         * cp-tree.h (cp_complete_array_type): Update to match.
2862
2863 2005-03-24  Geoffrey Keating  <geoffk@apple.com>
2864
2865         * typeck.c (build_static_cast_1): Allow scalar_cast between
2866         any integral, floating, or enumeration type.
2867
2868 2005-03-24  Steven Bosscher  <stevenb@suse.de>
2869
2870         * typeck.c (comptypes): First determine if the types are compatible
2871         from a target-independent point of view.  Check target attributes
2872         last.
2873
2874         * class.c (build_base_path):
2875         (build_vbase_offset_vtbl_entries):
2876         (add_vcall_offset): Replace fold (buildN (...)) with fold_buildN.
2877         * error.c (dump_expr): Likewise.
2878         * init.c (build_zero_init, expand_cleanup_for_base,
2879         build_vec_delete_1): Likewise.
2880         * mangle.c (write_integer_cst): Likewise.
2881         * method.c (thunk_adjust): Likewise.
2882         * pt.c (convert_nontype_argument, tsubst, unify): Likewise.
2883         * tree.c (cxx_print_statistics, array_type_nelts_total): Likewise.
2884         * typeck.c (build_ptrmemfunc_access_expr,
2885         (get_member_function_from_ptrfunc): Likewise.
2886
2887 2005-03-23  Joseph S. Myers  <joseph@codesourcery.com>
2888
2889         * cp-objcp-common.h (LANG_HOOKS_TRUTHVALUE_CONVERSION): Remove.
2890
2891 2005-03-23  Joseph S. Myers  <joseph@codesourcery.com>
2892
2893         * cp-tree.h (perform_integral_promotions): Remove.
2894         (default_conversion): Add.
2895
2896 2005-03-22  Mark Mitchell  <mark@codesourcery.com>
2897
2898         * parser.c (cp_parser_warn_min_max): New function.
2899         (cp_parser_binary_expression): Use it.
2900         (cp_parser_assignment_operator_opt): Likewise.
2901         (cp_parser_operator): Likewise.
2902
2903 2005-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2904
2905         PR c++/19980
2906         * decl.c (start_preparsed_function): Robustify.
2907
2908 2005-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2909
2910         PR c++/20499
2911         * parser.c (cp_parser_class_head): Return NULL_TREE when
2912         encountering a redefinition.
2913
2914 2005-03-22  Nathan Sidwell  <nathan@codesourcery.com>
2915
2916         PR c++/20465
2917         PR c++/20381
2918         * typeck.c (build_ptrmemfunc): Allow OFFSET_REF when processing a
2919         template.
2920
2921 2005-03-21  Paolo Carlini  <pcarlini@suse.de>
2922
2923         PR c++/20461
2924         PR c++/20536
2925         * init.c (emit_mem_initializers): Don't crash on undefined
2926         types.
2927
2928 2005-03-21  Paolo Carlini  <pcarlini@suse.de>
2929
2930         PR c++/20147
2931         * semantics.c (finish_stmt_expr_expr): Return immediately
2932         if error_operand_p (expr).
2933
2934 2005-03-21  Joseph S. Myers  <joseph@codesourcery.com>
2935
2936         * cp-tree.h (lvalue_or_else, lvalue_p): New.
2937         * typeck.c (lvalue_or_else): New.  Call lvalue_error.
2938
2939 2005-03-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2940
2941         PR c++/20240
2942         * decl.c (decls_match): Compare context of VAR_DECL.
2943
2944 2005-03-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2945
2946         PR c++/20333
2947         * parser.c (cp_parser_postfix_expression) <case RID_TYPENAME>:
2948         Check the return value of cp_parser_nested_name_specifier.
2949
2950 2005-03-18  Dale Johannesen <dalej@apple.com>
2951
2952         * cp/tree.c (cp_tree_equal):  Handle SSA_NAME.
2953
2954 2005-03-18  Paolo Carlini  <pcarlini@suse.de>
2955
2956         PR c++/20463
2957         * parser.c (cp_parser_diagnose_invalid_type_name):
2958         Check TYPE_BINFO (current_class_type) before attempting
2959         to emit inform messages.
2960
2961 2005-03-17  Paolo Carlini  <pcarlini@suse.de>
2962
2963         PR c++/19966
2964         * cp-tree.h (grok_op_properties): Change return type to void.
2965         * decl.c (grok_op_properties): Return early - don't check the
2966         arity - in case of a static member or an operator that cannot
2967         be non-member; tidy a bit.
2968
2969 2005-03-17  Nathan Sidwell  <nathan@codesourcery.com>
2970
2971         PR c++/20186
2972         * pt.c (contains_dependent_cast_p): Remove.
2973         (fold_non_dependent_expr): Don't use it.
2974         (value_dependent_expression_p): Use a switch statement.
2975         reference_exprs can be dependent.
2976
2977 2005-03-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2978
2979         PR c++/4403
2980         PR c++/9783, DR433
2981         * name-lookup.c (pushtag): Skip template parameter scope when
2982         scope is ts_global.  Don't push tag into template parameter
2983         scope.
2984         * pt.c (instantiate_class_template): Reorder friend class
2985         template substitution to handle non-dependent friend class
2986         that hasn't been previously declared.
2987
2988 2005-03-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
2989
2990         Friend class name lookup 5/n
2991         PR c++/1016
2992         * cp-tree.h (pushtag): Adjust declaration.
2993         * decl.c (lookup_and_check_tag): Call lookup_type_scope if
2994         lookup_name fails.
2995         (xref_tag): Adjust call to pushtag.  Make hidden class visible.
2996         (start_enum): Adjust call to pushtag.
2997         * name-lookup.c (ambiguous_decl): Ignore hidden names.
2998         (qualify_lookup): Change return type to bool.
2999         (hidden_name_p): New function.
3000         (lookup_namespace_name, unqualified_namespace_lookup,
3001         lookup_name_real): Use it.
3002         (lookup_type_scope): Update comments.
3003         (maybe_process_template_type_declaration): Change parameter name
3004         from globalize to is_friend.
3005         (pushtag): Change globalize parameter of type int to tag_scope.
3006         Hide name if introduced by friend declaration.
3007         * name-lookup.h (hidden_name_p): Add declaration.
3008         * parser.c (cp_parser_lookup_name): Don't deal with hidden name
3009         here.
3010         * pt.c (push_template_decl_real): Make hidden class template
3011         visible.
3012         (lookup_template_class, instantiate_class_template): Adjust call
3013         to pushtag.
3014         * semantics.c (begin_class_definition): Likewise.
3015         * rtti.c (init_rtti_processing, build_dynamic_cast_1,
3016         tinfo_base_init, emit_support_tinfos): Use ts_current instead of
3017         ts_global.
3018
3019 2005-03-13  Mark Mitchell  <mark@codesourcery.com>
3020
3021         PR c++/20157
3022         * pt.c (determine_specialization): Reject non-specializations.
3023
3024 2005-03-11  Per Bothner  <per@bothner.com>
3025
3026         * cp-tree.h (struct cp_declarator): New id_loc field.
3027         * cp/parser.c (cp_lexer_get_preprocessor_token): Set cp_token's
3028         location using c_lex_with_flags, instead of input_location.
3029         (cp_parser_direct_declarator): Set declarator's id_loc from
3030         cp_token's id_loc.
3031
3032 2005-03-10  Jakub Jelinek  <jakub@redhat.com>
3033
3034         PR c++/18384, c++/18327
3035         * decl.c (reshape_init_array): Use UHWI type for max_index_cst
3036         and index.  Convert max_index to size_type_node if it isn't
3037         host_integerp (, 1).
3038
3039 2005-03-09  Mark Mitchell  <mark@codesourcery.com>
3040
3041         PR c++/20208
3042         * pt.c (tsubst_decl): Apply array-to-pointer and
3043         function-to-pointer conversions to function arguments.
3044         (regenerate_decl_from_template): Likewise.
3045
3046 2005-03-09  Paolo Carlini  <pcarlini@suse.de>
3047
3048         PR c++/16859
3049         * decl.c (complete_array_type): In pedantic mode, return
3050         3 for an empty initializer list as the initializer for an
3051         array of unknown bound (8.5.1/4).
3052         (maybe_deduce_size_from_array_init): Fix final test to use
3053         the above.
3054
3055 2005-03-08  Nathan Sidwell  <nathan@codesourcery.com>
3056
3057         PR c++/20186
3058         * pt.c (contains_dependent_cast_p): New.
3059         (fold_non_dependent_expr): Call it.
3060
3061 2005-03-08  Mark Mitchell  <mark@codesourcery.com>
3062
3063         PR c++/20142
3064         * cp-tree.h (target_type): Remove.
3065         * decl.c (layout_var_decl): Remove #if 0'd code.
3066         (cp_finish_decl): Remove dead code.
3067         * init.c (build_vec_init): When determining whether or not the
3068         element type has an asignment operator, look through all array
3069         dimensions.
3070         * typeck.c (target_type): Remove.
3071
3072 2005-03-07  Mark Mitchell  <mark@codesourcery.com>
3073
3074         * class.c (finish_struct_1): Do not warn about non-virtual
3075         destructors in Java classes.
3076
3077 2005-03-05  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3078
3079         PR c++/19311
3080         * init.c (build_offset_ref): Don't build non-dependent SCOPE_REF.
3081         * pt.c (build_non_dependent_expr): Don't build NON_DEPENDENT_EXPR
3082         for OFFSET_TYPE.
3083         * typeck.c (build_x_unary_op): Don't build non-dependent SCOPE_REF.
3084         Also set PTRMEM_OK_P for NON_DEPENDENT_EXPR.
3085         (build_unary_op): Handle building ADDR_EXPR of OFFSET_REF inside
3086         template.
3087
3088 2005-03-02  Alexandre Oliva  <aoliva@redhat.com>
3089
3090         * name-lookup.c (push_overloaded_decl): Don't error if the new
3091         decl matches the old one.
3092         * decl.c (redeclaration_error_message): Likewise.
3093
3094 2005-03-01  Per Bothner  <per@bothner.com>
3095
3096         * decl.c (finish_function): Use SET_EXPR_LOCATION instead of
3097         unavailable annotate_with_file_line, if USE_MAPPED_LOCATION.
3098
3099 2005-03-01  Nathan Sidwell  <nathan@codesourcery.com>
3100
3101         PR c++/20232
3102         * class.c (update_vtable_entry_for_fn): Don't crash on invalid
3103         covariancy.
3104
3105         * cp-tree.g (THUNK_TARGET): Expand comment.
3106         * method.c (use_thunk): Make sure we also use the target, if that
3107         is a thunk.
3108
3109 2005-02-27  Jakub Jelinek  <jakub@redhat.com>
3110
3111         PR c++/20206
3112         * decl.c (cxx_comdat_group): Put thunks for
3113         TARGET_USE_LOCAL_THUNK_ALIAS_P (function) functions into the same
3114         comdat group as the thunk target.
3115
3116 2005-02-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3117
3118         * call.c, class.c, cp-tree.h, decl2.c, error.c, init.c, mangle.c,
3119         parser.c: Fix comment typo(s).
3120
3121 2005-02-24  Jakub Jelinek  <jakub@redhat.com>
3122
3123         PR c++/20175
3124         * decl.c (reshape_init): Don't warn about missing braces if STRING_CST
3125         initializes a char/wchar_t array.
3126
3127 2005-02-23  Mark Mitchell  <mark@codesourcery.com>
3128
3129         PR c++/19878
3130         * decl.c (grokvardecl): Set DECL_INTERFACE_KNOWN for declarations
3131         with internal linkage.
3132
3133 2005-02-23  Alexandre Oliva  <aoliva@redhat.com>
3134
3135         * decl.c (grokvardecl): Don't exempt anonymous types from having
3136         linkage for variables that have linkage other than "C".
3137
3138 2005-02-23  Kazu Hirata  <kazu@cs.umass.edu>
3139
3140         * cp-objcp-common.h, error.c: Update copyright.
3141
3142 2005-02-22  Mark Mitchell  <mark@codesourcery.com>
3143
3144         PR c++/20073
3145         * decl.c (start_decl_1): Don't clear TREE_READONLY.
3146         (cp_finish_decl): Likewise.
3147         (complete_vars): Call cp_apply_type_quals_to_decl.
3148         * typeck.c (cp_apply_type_quals): Avoid setting TREE_READONLY in
3149         cases where that's not valid.
3150
3151         PR c++/19991
3152         * init.c (integral_constant_value): Iterate if the value of a decl
3153         is itself a constant.
3154
3155         PR c++/20152
3156         * parser.c (cp_parser_class_head): Check for redefintions here.
3157         * semantics.c (begin_class_definition): Not here.
3158
3159         PR c++/20153
3160         * decl2.c (build_anon_union_vars): Add type parameter.
3161         (finish_anon_union): Pass it.
3162
3163         PR c++/20148
3164         * error.c (dump_expr): Do not print the body of a BIND_EXPR.
3165         Handle STATEMENT_LIST.
3166
3167         PR c++/19883
3168         * parser.c (cp_parser_direct_declarator): Always complain about
3169         non-constant array bounds when in a function scope.
3170         * semantics.c (finish_id_expression): Do not mark dependent names
3171         as non-constant.
3172
3173 2005-02-21  Douglas Gregor  <dgregor@cs.indiana.edu>
3174
3175         PR c++/19076
3176         PR c++/6628
3177         * cp-tree.h (cp_apply_type_quals_to_decl): Declared.
3178         * decl.c (grokdeclarator): Pedwarn about qualifying a function
3179         type.
3180         Add qualifiers when declaring a typedef of a function type.
3181         Member function pointers pick up the qualifiers of the typedef
3182         used to declare them.
3183         Don't complain about creating cv-qualified function types.
3184         Complain about qualified function typedefs that are used to
3185         declare non-static member functions or free functions.
3186         Use cp_apply_type_quals_to_decl.
3187         (start_preparsed_function): Use cp_apply_type_quals_to_decl.
3188         (grokclassfn): Use cp_apply_type_quals_to_decl.
3189         * error.c (dump_type_suffix): Print qualifiers for function
3190         types.
3191         * pt.c (tsubst_decl): Use cp_apply_type_quals_to_decl.
3192         (tsubst): When substituting a function type into a member
3193         pointer type, pass along the qualifiers.
3194         (unify): Unify member pointers to member function pointers.
3195         * tree.c (cp_build_qualified_type_real): Function types may be
3196         qualified. This includes restrict qualifiers.
3197         * typeck.c (cp_apply_type_quals_to_decl): New function to replace
3198         use of c_apply_type_quals_to_decl. Drops qualifiers that are being
3199         added to function types.
3200
3201 2005-02-20  Zack Weinberg  <zack@codesourcery.com>
3202
3203         PR 18785
3204         * cp-objcp-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
3205         c_common_to_target_charset.  Delete bogus comment.
3206
3207 2005-02-18  Richard Henderson  <rth@redhat.com>
3208
3209         PR libstdc++/10606
3210         * except.c (do_get_exception_ptr): New.
3211         (expand_start_catch_block): Use it.
3212
3213 2005-02-19  Jakub Jelinek  <jakub@redhat.com>
3214
3215         * decl.c (start_decl_1): Only check TYPE_NEEDS_CONSTRUCTING
3216         if type is not error_mark_node.
3217
3218 2005-01-20  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
3219
3220         PR c++/19508
3221         * decl2.c (grokfield): Do not apply attributes to template parameters
3222         as they are ignored by tsubst anyway.
3223
3224 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
3225
3226         PR c++/19813
3227         * decl.c (start_decl_1): Clear TREE_READONLY flag if
3228         its type has TYPE_NEEDS_CONSTRUCTING.
3229         (complete_vars): Likewise.
3230
3231 2005-02-17  Alexandre Oliva  <aoliva@redhat.com>
3232
3233         PR c++/20028
3234         * class.c (finish_struct): Initialize TYPE_SIZE_UNIT of a
3235         template along with TYPE_SIZE.
3236
3237         PR c++/20022
3238         * semantics.c (perform_deferred_access_checks): Use
3239         get_deferred_access_checks to get the top of the stack.
3240
3241 2005-02-15  Alexandre Oliva  <aoliva@redhat.com>
3242
3243         PR c++/17788
3244         * class.c (add_implicitly_declared_members, check_field_decl)
3245         (check_field_decls, check_bases): Remove arguments, tests and
3246         assignments of cant_have_default_ctor-related variables.
3247
3248 2005-02-15  Alexandre Oliva  <aoliva@redhat.com>
3249
3250         * decl2.c (mark_used): Set the source location of the used decl to
3251         the current input location here...
3252         * method.c (synthesize_method): ... not here.  Set input_location
3253         from the decl instead.
3254
3255 2005-02-14  Nathan Sidwell  <nathan@codesourcery.com>
3256
3257         PR c++/19608
3258         * parser.c (cp_parser_late_parsing_for_member): Use
3259         current_function_decl as scope to push to and from.
3260
3261         PR c++/19884
3262         * pt.c (check_explicit_specialization): Make sure namespace
3263         binding lookup found an overloaded function.
3264         (lookup_template_function): Just assert FNS is an overloaded
3265         function.
3266
3267         PR c++/19895
3268         * decl.c (grokdeclarator): Check for error mark node in ptrmem
3269         construction.
3270
3271 2005-02-14  Alexandre Oliva  <aoliva@redhat.com>
3272
3273         PR c++/17816
3274         * decl.c (redeclaration_error_message): Report redefinition of
3275         pure virtual function.
3276
3277 2005-02-14  Nathan Sidwell  <nathan@codesourcery.com>
3278
3279         PR c++/19891
3280         * class.c (build_simple_base_path): Build the component_ref
3281         directly.
3282         (update_vtable_entry_for_fn): Walk the covariant's binfo chain
3283         rather than using lookup_base.
3284         * search.c (dfs_walk_once): Add non-recursive assert check.
3285         * typeck.c (build_class_member_access_expr): It is possible for
3286         the member type to be both const and volatile.
3287
3288 2005-02-12  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3289
3290         PR c++/14479
3291         PR c++/19487
3292         * pt.c (maybe_check_template_type): Remove.
3293         * cp-tree.h (maybe_check_template_type): Remove prototype.
3294         * name-lookup.c (maybe_process_template_type_declaration): Don't
3295         use maybe_check_template_type.
3296
3297 2005-02-11  Richard Henderson  <rth@redhat.com>
3298
3299         PR c++/19632
3300         * pt.c (get_mostly_instantiated_function_type): Save and restore
3301         flag_access_control instead of push/pop_access_scope.
3302
3303 2005-02-10  Mark Mitchell  <mark@codesourcery.com>
3304
3305         PR c++/19755
3306         * decl.c (reshape_init): Issue warnings about missing braces.
3307
3308 2005-02-11  Kazu Hirata  <kazu@cs.umass.edu>
3309
3310         * cp-tree.def, except.c, ptree.c: Update copyright.
3311
3312 2005-02-09  Mark Mitchell  <mark@codesourcery.com>
3313
3314         PR c++/19811
3315         * call.c (build_op_delete_call): Check COMPLETE_TYPE_P before
3316         attempting name lookup.
3317
3318         * parser.c (cp_parser_unqualified_id): Initialize type_decl.
3319
3320         PR c++/19787
3321         * call.c (initialize_reference): Robustify.
3322
3323         PR ++/19732
3324         * decl.c (grokdeclarator): Check for invalid use of destructor
3325         names.
3326
3327         PR c++/19762
3328         * parser.c (cp_parser_unqualified_id): Avoid creating destructor
3329         names with invalid types.
3330
3331         PR c++/19826
3332         * parser.c (cp_parser_direct_declarator): Allow type-dependent
3333         expressions as array bounds.
3334
3335         PR c++/19739
3336         * parser.c (cp_parser_attributes_list): Allow empty lists.
3337
3338 2005-02-08  Mark Mitchell  <mark@codesourcery.com>
3339
3340         PR c++/19733
3341         * class.c (add_method): Don't set TYPE_HAS_DESTRUCTOR.
3342         (check_bases): Give warnings about a base class with a
3343         non-virtual destructor, even if it is implicit.
3344         (finish_struct_bits): Don't copy TYPE_HAS_DESTRUCTOR.
3345         (maybe_warn_about_overly_private_class): Don't use
3346         TYPE_HAS_DESTRUCTOR.
3347         (finish_struct_methods): Don't set TYPE_HAS_DESTRUCTOR.
3348         (check_for_override): Give it external linkage.
3349         (add_implicitly_declared_members): Generate destructors lazily.
3350         (check_field_decls): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR, not
3351         TYPE_HAS_DESTRUCTOR.
3352         (check_bases_and_members): Call check_methods before
3353         check_field_decls.
3354         (check_bases_and_members): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR, not
3355         TYPE_HAS_DESTRUCTOR.
3356         (finish_struct_1): Do not use TYPE_HAS_DESTRUCTOR.
3357         * cp-tree.def (PSEUDO_DTOR_EXPR): Document.
3358         * cp-tree.h (TYPE_HAS_DESTRUCTOR): Remove.
3359         (lang_type_class): Add lazy_destructor.
3360         (CLASSTYPE_LAZY_DESTRUCTOR): New macro.
3361         (CLASSTYPE_DESTRUCTORS): Robustify.
3362         (TYPE_HAS_DESTRUCTOR): Remove.
3363         (check_for_override): Declare.
3364         (build_vbase_delete): Remove.
3365         * cvt.c (convert_to_void): Issue errors about pseudo-destructor
3366         expressions.
3367         * decl.c (cxx_maybe_build_cleanup): Remove dead code.
3368         * except.c (dtor_nothrow): Lazily create destructors if necessary.
3369         (build_throw): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
3370         * init.c (build_delete): Lazily create destructors, if necessary.
3371         (build_vbase_delete): Remove.
3372         * method.c (locate_dtor): Simplify.
3373         (implicitly_declare_fn): Add support for destructors.
3374         * parser.c (cp_parser_lookup_name): Lazily create destructors, if
3375         necessary.
3376         * pt.c (check_explicit_specialization): Don't use
3377         TYPE_HAS_DESTRUCTOR.
3378         (instantiate_class_template): Likewise.
3379         * ptree.c (cxx_print_type): Don't print TYPE_HAS_DESTRUCTOR.
3380         * rtti.c (emit_support_tinfos): Robustify.
3381         * search.c (lookup_fnfields_1): Lazily create destructors.
3382         * typeck.c (build_class_member_access_expr): Remove
3383         PSEUDO_DTOR_EXPR handling.
3384         (lookup_destructor): Likewise.
3385
3386 2005-02-08  Kazu Hirata  <kazu@cs.umass.edu>
3387
3388         * cxx-pretty-print.c, cxx-pretty-print.h, decl.h: Update
3389         copyright.
3390
3391 2005-02-07  Mark Mitchell  <mark@codesourcery.com>
3392
3393         * parser.c (cp_lexer_start_debugging): Avoid arithmetic operations
3394         on boolean variables.
3395         (cp_lexer_stop_debugging): Likewise.
3396
3397 2005-02-03  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
3398
3399         PR c++/17401
3400         * parser.c (cp_parser_pure_specifier): Emit a specific error
3401         message with an invalid pure specifier.
3402         * decl2.c (grok_function_init): Remove.
3403         (grokfield): An initializer for a method is a always a pure
3404         specifier.
3405
3406 2005-02-02  Matt Austern  <austern@apple.com>
3407
3408         PR c++/19628
3409         * cp-tree.h (builtin_valid_in_constant_expr_p): Declare.
3410         * parser.c (cp_parser_postfix_expression): Accept function call in
3411         constant expression if builtin_valid_in_constant_expr_p is true
3412         for that function.
3413         * pt.c (value_dependent_expression_p): Handle CALL_EXPRs properly.
3414         * semantics.c (finish_id_expression): Accept function call in constant
3415         expression if builtin_valid_in_constant_expr_p is true for that
3416         function.
3417         * tree.c (builtin_valid_in_constant_expr_p): New.
3418
3419 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3420
3421         PR c++/17413
3422         * pt.c (check_instantiated_args): Improve error message.
3423         Fix logic when to print its second part.
3424
3425 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3426
3427         * cp-tree.h (complete_type_or_else): Remove macro.
3428         (complete_type_or_diagnostic): Rename to complete_type_or_else
3429         and remove last argument.
3430         * typeck.c (complete_type_or_diagnostic): Rename to
3431         complete_type_or_else and remove last argument.
3432
3433 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3434
3435         * cp-tree.h (commonparms): Remove prototype.
3436         (convert_arguments): Likewise.
3437         (PFN_FROM_PTRMEMFUNC): Remove.
3438         * typeck.c (commonparms): Make static.
3439         (convert_arguments): Add prototype. Make static.
3440         (PFN_FROM_PTRMEMFUNC): Replace by pfn_from_ptrmemfunc.
3441
3442 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
3443
3444         * parser.c (cp_parser_primary_expression): Don't complain about
3445         floating-point literals in integral constant expressions when
3446         !pedantic.
3447
3448 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
3449
3450         * parser.c (cp_parser_template_id): Revert comment patch too.
3451
3452         PR c++/18757
3453         PR c++/19366
3454         PR c++/19499
3455         * parser.c (cp_parser_template_id): Revert 2004-12-09's patch.
3456         Issue an error when creating the template id.
3457         * pt.c (fn_type_unification): Return early if the explicit
3458         template arg list is an error_mark_node.
3459
3460 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
3461
3462         * decl.c (build_enumerator): Do not issue duplicate error messages
3463         about invalid enumeration constants.
3464         * parser.c (cp_parser_non_integral_constant_expression): Always
3465         set parser->non_integral_constant_expression_p.
3466         (cp_parser_primary_expression): Add cast_p parameter.  Issue
3467         errors about invalid uses of floating-point literals in
3468         cast-expressions.
3469         (cp_parser_postfix_expression): Add cast_p parameter.
3470         (cp_parser_open_square_expression): Pass it.
3471         (cp_parser_parenthesized_expression_list): Add cast_p parameter.
3472         (cp_parser_unary_expression): Likewise.
3473         (cp_parser_new_placement): Pass it.
3474         (cp_parser_direct_new_declarator): Likewise.
3475         (cp_parser_new_initializer): Likewise.
3476         (cp_parser_cast_expression): Add cast_p parameter.
3477         (cp_parser_binary_expression): Likewise.
3478         (cp_parser_question_colon_clause): Likewise.
3479         (cp_parser_assignment_expression): Likewise.
3480         (cp_parser_expression): Likewise.
3481         (cp_parser_constant_expression): If an integral constant
3482         expression is invalid, return error_mark_node.
3483         (cp_parser_expression_statement): Pass cast_p.
3484         (cp_parser_condition): Likewise.
3485         (cp_parser_iteration_statement): Likewise.
3486         (cp_parser_jump_statement): Likewise.
3487         (cp_parser_mem_initializer): Likewise.
3488         (cp_parser_template_argument): Likewise.
3489         (cp_parser_parameter_declaration): Likewise.
3490         (cp_parser_initializer): Likewise.
3491         (cp_parser_throw_expression): Likewise.
3492         (cp_parser_attribute_list): Likewise.
3493         (cp_parser_simple_cast_expression): Likewise.
3494         (cp_parser_functional_cast): Likewise.
3495         (cp_parser_late_parsing_default_args): Likewise.
3496         (cp_parser_sizeof_operand): Save/restore
3497         non_integral_constant_expression_p.
3498
3499 2005-01-31  Mike Stump  <mrs@apple.com>
3500
3501         * parser.c (cp_lexer_new_main): Get the first token, first, before
3502         doing anything.
3503
3504 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
3505
3506         * decl.c (start_decl): Add missing parentheses.
3507
3508 2005-01-30  Mark Mitchell  <mark@codesourcery.com>
3509
3510         PR c++/19555
3511         * cp-tree.h (DECL_USE_TEMPLATE): Expand documentation.
3512         * decl.c (duplicate_decls): Do not discard
3513         DECL_IMPLICIT_INSTANTIATION when merging declarations.
3514         (start_decl): Do not SET_DECL_TEMPLATE_SPECIALIZATION for
3515         variables that do not have DECL_USE_TEMPLATE.
3516
3517         PR c++/19395
3518         * decl.c (grokdeclarator): Refactor code so that qualified names
3519         are never allowed as the declarator in a typedef.
3520
3521         PR c++/19367
3522         * name-lookup.c (do_nonmember_using_decl): Avoid overloading
3523         builtin declarations.
3524
3525         PR c++/19457
3526         * call.c (convert_like_real): Inline call to
3527         dubious_conversion_warnings here.
3528         * cp-tree.h (dubious_conversion_warnings): Remove.
3529         * semantics.c (finish_unary_op_expr): Copy INTEGER_CSTs before
3530         setting TREE_NEGATED_INT.
3531         * typeck.c (dubious_conversion_warnings): Remove.
3532
3533         PR c++/19349
3534         * name-lookup.c (pushdecl_namespace_level): Avoid accessing free'd
3535         memory.
3536
3537 2005-01-28  Mark Mitchell  <mark@codesourcery.com>
3538
3539         PR c++/19253
3540         * parser.c (cp_parser_diagnose_invalid_type_name): Commit to
3541         tentative parses.
3542
3543         PR c++/19667
3544         * pt.c (redeclare_class_template): Robustify.
3545
3546 2005-01-27  Steven Bosscher  <stevenb@suse.de>
3547
3548         * decl.c (finish_case_label): Use SWITCH_STMT accessor macros
3549         instead of SWITCH_EXPR ones.
3550         * pt.c (tsubst_expr): Likewise.
3551         * semantics.c (begin_switch_stmt, finish_switch_cond,
3552         finish_switch_stmt): Likewise.
3553
3554 2005-01-26  J"orn Rennecke <joern.rennecke@st.com>
3555
3556         PR c++/18370
3557         * parser.c (cp_parser_initializer_clause): Initialize *non_constant_p.
3558
3559 2005-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
3560
3561         * class.c (abort_fndecl_addr): New variable.
3562         (build_vtbl_initializer): If we have a pure virtual function
3563         share the abort function's address.
3564         Include gt-cp-class.h at the end.
3565         * config-lang.in (gtfiles): Add cp/class.c.
3566
3567 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3568
3569         * cxx-pretty-print.c (pp_cxx_statement): Add prototype. Make static.
3570         (pp_cxx_function_definition): Make static.
3571         * cxx-pretty-print.h (pp_cxx_statement): Remove prototype.
3572         (pp_cxx_function_definition): Likewise.
3573
3574 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3575
3576         * name-lookup.c (print_binding_level): Make static.
3577         (constructor_name_full): Make static inline.
3578         (current_decl_namespace): Make static.
3579         * name-lookup.h (constructor_name_full): Remove prototype.
3580         (print_binding_level): Likewise.
3581         (current_decl_namespace): Likewise.
3582
3583 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3584
3585         * decl.h (debug_bindings_indentation): Remove.
3586
3587 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
3588
3589         * typeck.c: Fix a comment typo.
3590
3591 2005-01-21  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
3592
3593         PR c++/19208
3594         * pt.c (fold_decl_constant_value): Always call fold_non_dependent_expr
3595         at least once.
3596         (tsubst): Use fold_decl_constant_value in place of a bare call to
3597         integral_constant_value.
3598
3599 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
3600
3601         * typeck.c (more_qualified_p): Remove.
3602         * cp-tree.h: Remove the corresponding prototype.
3603
3604 2005-01-19  Matt Austern  <austern@apple.com>
3605
3606         * typeck.c (comptypes): Handle return code from objc_comptypes
3607         correctly.
3608
3609 2005-01-19  Kazu Hirata  <kazu@cs.umass.edu>
3610
3611         * cp-tree.h, name-lookup.h: Remove unused prototypes.
3612
3613 2005-01-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3614
3615         PR c++/19375
3616         * semantics.c (finish_id_expression): Disable access checking for
3617         already lookuped FIELD_DECL.
3618
3619 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
3620
3621         * decl.c (delete_block): Remove.
3622         * cp-tree.h: Remove the corresponding prototype.
3623
3624         * decl.c (vtable_decl_p, vtype_decl_p, walk_globals_data,
3625         walk_vtables_r, walk_vtables, walk_globals_r, walk_globals):
3626         Remove.
3627         * cp-tree.h: Remove the corresponding prototypes.
3628
3629         * tree.c (count_functions, bound_pmf_p, cp_is_overload_p,
3630         cp_update_decl_after_saving, name_p): Remove.
3631         * cp-tree.h: Remove the corresponding prototypes.
3632
3633 2005-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
3634
3635         PR c/19472
3636         * semantics.c (finish_asm_stmt): Strip nops off
3637         input memory operands.
3638
3639 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
3640
3641         * Make-lang.in, call.c, cvt.c, init.c, rtti.c, tree.c,
3642         typeck2.c: Update copyright.
3643
3644 2005-01-16  Kazu Hirata  <kazu@cs.umass.edu>
3645
3646         * class.c (get_enclosing_class): Remove.
3647         * cp-tree.h: Remove the corresponding prototypes.
3648
3649         * cvt.c (convert_lvalue): Remove.
3650         * cp-tree.h: Remove the corresponding prototype.
3651
3652         * pt.c (tinst_for_decl): Remove.
3653         * cp-tree.h: Remove the corresponding prototypes.
3654
3655         * tree.c (hash_chainon): Remove.
3656         * cp-tree.h: Remove the corresponding prototypes.
3657
3658 2005-01-15  Jakub Jelinek  <jakub@redhat.com>
3659
3660         PR c++/19263
3661         * typeck2.c (split_nonconstant_init_1) <case VECTOR_TYPE>: Put a copy
3662         of CONSTRUCTOR's node into MODIFY_EXPR, as the original is modified.
3663
3664 2005-01-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3665
3666         * Make-lang.in (cp-warn): Don't append $(WERROR).
3667
3668 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
3669
3670         * cp-tree.h: Fix a comment typo.
3671
3672 2005-01-07  Nathan Sidwell  <nathan@codesourcery.com>
3673
3674         PR c++/19298
3675         * pt.c (tsubst_qualified_id): Call convert_from_reference.
3676
3677 2005-01-06  Mark Mitchell  <mark@codesourcery.com>
3678
3679         PR c++/19244
3680         * class.c (add_implicitly_declared_members): Remove dead code.
3681         * decl.c (grokfndecl): Add sfk parameter.  Use it do set
3682         DECL_CONSTRUCTOR_P.
3683         (grokdeclarator): Adjust calls to grokfndecl.
3684         * method.c (implicitly_declare_fn): Improve documentation.
3685         * parser.c (cp_parser_direct_declarator): Do not consider a
3686         function to be a constructor if the containing class was
3687         originally anonymous.
3688
3689 2005-01-06  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3690
3691         PR c++/17154
3692         * search.c (lookup_field_1): Handle using declaration in
3693         class template partial specialization.
3694
3695 2005-01-06  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
3696
3697         PR c++/19258
3698         * pt.c (push_access_scope): Handle friend defined in class.
3699         (pop_access_scope): Likewise.
3700
3701 2005-01-06  Nathan Sidwell  <nathan@codesourcery.com>
3702
3703         PR c++/19270
3704         * pt.c (tsubst_copy) <ARRAY_REF case>: Handle separately.
3705         (tsubst_copy_and_build) <ARRAY_REF case>: Remove obsolete
3706         array-new handling code.  Use build_x_binary_op.
3707
3708 2005-01-05  Nathan Sidwell  <nathan@codesourcery.com>
3709
3710         PR c++/19030
3711         * cp-tree.h (start_decl): Take pointer to pushed scope, not bool.
3712         * name-lookup.h (push_scope): Return pushed scope, not flag.
3713         * name-lookup.c (push_scope): Return scope that should be popped,
3714         not a flag.
3715         * decl.c (start_decl): Adjust.
3716         (grokfndecl): Adjust scope push and pop.
3717         * decl2.c (check_classfn): Likewise.
3718         * parser.c (cp_parser_condition, cp_parser_conversion_function_id,
3719         cp_parser_init_declarator, cp_parser_direct_declarator,
3720         cp_parser_class_specifier, cp_parser_class_head,
3721         cp_parser_lookup_name,
3722         cp_parser_constructor_declarator_p): Likewise.
3723         * pt.c (instantiate_class_template,
3724         resolve_typename_type): Likewise.
3725
3726 2005-01-03  Volker Reichelt  <reichelt@igpm.rwth-aaachen.de>
3727
3728         PR c++/14136
3729         * parser.c (cp_parser_unqualified_id): Do not issue error message
3730         for typedef-name as destructor declarator when performing an
3731         uncommitted tentative parse.
3732
3733 2005-01-01  Steven Bosscher  <stevenb@suse.de>
3734
3735         PR middle-end/17544
3736         * decl.c (finish_function): Fix comment.  Annotate the compiler
3737         generated return with the current file name and line 0.