OSDN Git Service

PR c++/28250
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2006-07-17  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2
3         PR c++/28250
4         * name-lookup.c (pushdecl_maybe_friend): Return early on
5         error_mark_node.
6         * except.c (expand_start_catch_block): Use error_mark_node instead
7         of NULL_TREE for invalid decls.
8         * parser.c (cp_parser_exception_declaration): Return error_mark_node
9         on invalid catch parameter. Simplify.
10
11 2006-07-16  Jakub Jelinek  <jakub@redhat.com>
12
13         PR c++/28370
14         * decl2.c (note_vague_linkage_var): Removed.
15         (finish_static_data_member_decl): Add decl to pending_statics vector
16         directly.  Do it even for non-public decls.
17
18 2006-07-15  Lee Millward  <lee.millward@gmail.com>
19
20         PR c++/28292
21         * decl2.c (acceptable_java_type): Robustify. Use
22         proper Boolean return type instead of return 1.
23         (check_java_method): Don't issue error about
24         type not being an acceptable Java parameter if 
25         it's error_mark_node.
26         
27         PR c++/28269
28         * parser.c (cp_parser_elaborated_type_specifier):
29         Return early if an invalid type was detected.
30         
31 2006-07-15  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
32
33         PR c++/28249
34         * parser.c (cp_parser_check_decl_spec): New function.
35         (cp_parser_decl_specifier_seq): Factor out check for repeated
36         decl-specifiers into cp_parser_check_decl_spec. Use it.
37         (cp_parser_type_specifier_seq): Use it.
38
39         PR c++/28294
40         * semantics.c (finish_offsetof): Use TREE_OPERAND for COMPONENT_REFs
41         only.
42
43         PR c++/28387
44         * decl2.c (cplus_decl_attributes): Check for invalid decls.
45
46 2006-07-14  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
47
48         PR c++/28343
49         * decl.c (cp_finish_decl): Check asmspec_tree for error_mark_node.
50         * decl2.c (grokfield): Likewise.
51
52 2006-07-12  Geoffrey Keating  <geoffk@apple.com>
53
54         * decl2.c (determine_visibility): Don't change visibility of
55         function locals because of -fvisibility-inlines-hidden.
56
57 2006-07-12  Jason Merrill  <jason@redhat.com>
58
59         PR c++/28217
60         * semantics.c (note_decl_for_pch): Don't premangle templates.
61
62 2006-07-12  Martin Michlmayr  <tbm@cyrius.com>
63
64         * typeck.c (string_conv_p): Remove spurious quotation mark in
65         warning.
66
67 2006-07-07  Lee Millward  <lee.millward@gmail.com>
68             Andrew Pinski  <pinskia@gmail.com>
69
70         PR c++/27820
71         * decl.c (define_label): Return error_mark_node on error.
72         * semantics.c (finish_label_stmt): Don't call
73         add_stmt for invalid labels.
74         
75 2006-07-06  Jason Merrill  <jason@redhat.com>
76
77         PR c++/28279
78         * decl2.c (finish_static_data_member_decl): Don't assert
79         TREE_PUBLIC.
80
81 2006-07-05  Jason Merrill  <jason@redhat.com>
82
83         PR c++/13983
84         PR c++/17519
85         * class.c (check_field_decls): Check TYPE_PACKED after
86         stripping array types.
87         (finish_struct_bits): Don't copy TYPE_SIZE here.
88
89         PR c++/18681
90         * friend.c (is_friend): Fix DR 45 implementation.
91
92 2006-07-05  Richard Guenther  <rguenther@suse.de>
93         Andrew Pinski  <pinskia@gcc.gnu.org>
94
95         PR c++/27084
96         * cp-objcp-common.c (cxx_types_compatible_p): Ignore
97         top level qualifiers for pointer type comparisons.
98
99 2006-07-01  Jason Merrill  <jason@redhat.com>
100
101         PR c++/28215
102         * method.c (make_thunk): Unset DECL_USE_TEMPLATE and 
103         DECL_TEMPLATE_INFO.
104
105 2006-06-30  Jason Merrill  <jason@redhat.com>
106
107         PR c++/26577
108         * call.c (build_new_method_call): Force evaluation of the 
109         instance pointer, not the object.
110
111 2006-06-30  Kazu Hirata  <kazu@codesourcery.com>
112
113         * decl2.c: Fix a comment typo.
114
115 2006-06-30  Jason Merrill  <jason@redhat.com>
116
117         PR c++/18698
118         * decl2.c (grokfield): Only try to treat the decl as an access 
119         declaration if the scope is a class.
120
121 2006-06-29  Jason Merrill  <jason@redhat.com>
122
123         PR c++/26905
124         PR c++/26612
125         PR c++/27000
126         PR c++/26984
127         PR c++/19134
128         * decl2.c (determine_visibility): Overhaul.
129         (determine_visibility_from_class): Likewise.
130         (min_vis_r, type_visibility, constrain_visibility): New fns.
131         (constrain_visibility_for_template): Likewise.
132         (constrain_class_visibility): Likewise.
133         * decl.c (cp_finish_decl): Call determine_visibility for function
134         decls, too.
135         * name-lookup.c (pushtag): Call determine_visibility.
136         * decl.c (duplicate_decls): Don't copy visibility from template to
137         specialization.
138         * pt.c (check_explicit_specialization): Likewise.
139         (lookup_template_class, tsubst_decl): Call determine_visibility.
140         * class.c (finish_struct_1): Call constrain_class_visibility.
141
142         PR c++/26905
143         PR c++/21675
144         PR c++/17470
145         * parser.c (cp_parser_explicit_instantiation): Pass the attributes
146         to grokdeclarator.
147         (cp_parser_type_specifier): Allow 'enum __attribute ((...)) E'.
148         (cp_parser_enum_specifier): Likewise.
149         (cp_parser_elaborated_type_specifier): Apply attributes if this
150         declares only the class.
151         (cp_parser_class_specifier): Apply leading attributes immediately.
152         * semantics.c (begin_class_definition): Add attributes parameter,
153         apply them to the type.
154
155         PR c++/21581
156         PR c++/25915
157         * tree.c (decl_anon_ns_mem_p): New function.
158         * cp-tree.h: Declare it.
159         * decl2.c (determine_visibility): Make anonymous namespace
160         members static.
161         (min_vis_r, constrain_visibility): Likewise.
162         * rtti.c (create_pseudo_type_info): Set TREE_PUBLIC on
163         pseudo-types.
164         * decl.c (cxx_init_decl_processing): Set TREE_PUBLIC on
165         global_namespace.
166         * name-lookup.c (push_namespace_with_attribs): Don't set TREE_PUBLIC
167         on anonymous namespaces.
168
169 2006-06-28  Jason Merrill  <jason@redhat.com>
170
171         PR c++/27424
172         * pt.c (convert_template_argument): Pass all template arguments 
173         on to coerce_template_template_parms.
174
175 2006-06-25  Lee Millward  <lee.millward@gmail.com>
176             Mark Mitchell <mark@codesuorcery.com>
177
178         PR c++/28054
179         * decl2.c (grokbitfied): Remove check for grokdeclarator
180         returning NULL_TREE, instead check for error_mark_node
181         to indicate failure.
182         * decl.c (grokdeclarator): Adjust block comment.
183         
184 2006-06-25  Lee Millward  <lee.millward@gmail.com>
185
186         PR c++/28051
187         * mangle.c (mangle_conv_op_name_for_type): Check for
188         invalid types.
189         * name-lookup.c (push_class_level_binding): Robustify.
190         (do_class_using_decl): Return early if name is error_mark_node.
191         
192 2006-06-23  Steve Ellcey  <sje@cup.hp.com>
193
194         PR c++/28114
195         * name-lookup.c (pushtag): Return if we have error_mark_node.
196
197 2006-06-23  Steve Ellcey  <sje@cup.hp.com>
198
199         PR c++/27019
200         * typeck2.c (process_init_constructor_array): Set ce->value on errors.
201
202 2006-06-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
203
204         PR c++/28112
205         * parser.c (cp_parser_attribute_list): Skip attributes with invalid
206         arguments.  Fix comment.
207
208         PR c++/11468
209         * init.c (build_new_1): Handle error_mark_nodes returned by
210         build_java_class_ref.
211         (build_java_class_ref): Do not abort compilation, but return
212         error_mark_node.  Improve error message.  Fix indentation.
213
214 2006-06-23  Danny Smith   <dannysmith@users.sourceforge.net>
215
216         PR target/27789
217         * decl.c (start_decl): Check that dllimports are not initialized.
218
219 2006-06-22  Lee Millward  <lee.millward@gmail.com>
220
221         PR c++/27805
222         * typeck2.c (build_m_component_ref): Use error_operand_p.
223
224         PR c++/27821
225         * decl.c (grokdeclarator): Return error_mark_node on
226         invalid uses of the scope resolution operator.
227         
228 2006-06-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
229
230         PR c++/28111
231         * pt.c (determine_specialization): Check for invalid decls.
232
233         PR c++/28110
234         * pt.c (unify) <case TEMPLATE_PARM_INDEX>: Check for invalid
235         parameters.
236
237         PR c++/28109
238         * rtti.c (get_tinfo_decl_dynamic): Robustify.
239
240 2006-06-20  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
241
242         PR c++/28052
243         * init.c (push_base_cleanups): Skip members with invalid types.
244         * typeck.c (build_class_member_access_expr): Robustify.
245
246 2006-06-19  Mark Mitchell  <mark@codesourcery.com>
247
248         * pt.c (instantiate_template): Fix typo in comment.
249
250 2006-06-19  Richard Guenther  <rguenther@suse.de>
251
252         * parser.c (CP_LEXER_BUFFER_SIZE): Adjust to assure near
253         power-of-two token vector size.
254
255 2006-06-16  Mark Mitchell  <mark@codesourcery.com>
256
257         PR c++/28016
258         * decl.c (cp_finsh_decl): Do not emit uninstantiated static data
259         members.
260
261         PR c++/27979
262         * call.c (standard_conversion): Strip cv-qualifiers from bitfield
263         types.
264
265         PR c++/27884
266         * decl.c (have_extern_spec): Remove.
267         (start_decl): Do not check have_extern_spec.
268         (start_function): Likewise.
269         * cp-tree.h (have_extern_spec): Remove.
270         * parser.c (cp_parser_linkage_specification): Don't set
271         have_extern_spec.
272         (cp_parser_init_declarator): Likewise.
273         (cp_parser_parameter_declaration): Do not treat parameters as
274         within the scope of an unbraced linkage specification.
275
276 2006-06-15  Mark Mitchell  <mark@codesourcery.com>
277
278         PR c++/27689
279         * cp-tree.h (CLASSTYPE_SPECIALIZATION_OF_PRIMARY_TEMPLATE_P): New
280         macro.
281         * pt.c (unify): Use it.
282
283         PR c++/27666
284         * call.c (build_conditional_expr): Robustify.
285
286         PR c++/27640
287         * pt.c (instantiate_template): Set processing_template_decl to
288         zero while performing substitutions.
289
290 2006-06-14  Mark Mitchell  <mark@codesourcery.com>
291
292         PR c++/27665
293         * parser.c (cp_parser_unqualified_id): Use constructor_name_p to
294         identify destructors.
295         (cp_parser_nested_name_specifier_opt): Remove invalid
296         optimization.
297         (cp_parser_template_id): Refine heuristic for determining whether
298         we are entering a scope.
299
300         PR c++/27648
301         * parser.c (cp_parser_declarator): Robustify.
302
303         PR c++/26559
304         * pt.c (tsubst_expr): Use finish_omp_atomic.
305         (value_dependent_expression_p): All CALL_EXPRs are dependent.
306         * semantics.c (finish_omp_atomic): Rework to use standard
307         paradigms for handling non-dependent expressions.
308
309 2006-06-14  Gabriel Dos Reis  <gdr@integrable-solutions.net>
310
311         * typeck.c (build_modify_expr): Tidy diagnostic message.
312
313 2006-06-14  Mark Mitchell  <mark@codesourcery.com>
314
315         PR c++/28018
316         * typeck.c (build_modify_expr): Disallow array assignment.
317
318 2006-06-14  Gabriel Dos Reis  <gdr@integrable-solutions.net>
319
320         * cp-tree.def: Fix typo.
321
322 2006-06-13  Mark Mitchell  <mark@codesourcery.com>
323
324         PR c++/27227
325         * decl.c (decls_match): Allow an extern "C" variable declarations
326         from different namespaces to match.
327         (duplicate_decls): Disallow redeclaring a variable with a
328         different linkage specification.
329
330 2006-06-13  Jakub Jelinek  <jakub@redhat.com>
331
332         PR middle-end/27793
333         * cp-tree.h (cxx_int_tree_map): New struct.
334         (struct language_function): Add extern_decl_map field.
335         * name-lookup.c (pushdecl_maybe_friend): Add x -> t mapping
336         to cp_function_chain->extern_decl_map hash table instead of
337         copying over DECL_UID.
338         * cp-gimplify.c (cxx_int_tree_map_eq, cxx_int_tree_map_hash): New
339         functions.
340         (cp_genericize_r): Remap DECL_EXTERN local decls using
341         cp_function_chain->extern_decl_map hash table.
342         * decl.c (finish_function): Clear extern_decl_map.
343
344 2006-06-12  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
345
346         PR c++/27601
347         * semantics.c (finish_offsetof): Handle pseudo-destructors.
348
349         PR c++/27933
350         * name-lookup.c (lookup_qualified_name): Always return error_mark_node
351         if lookup fails.
352
353         PR c++/27951
354         * decl2.c (finish_anon_union): Return early if build_anon_union_vars
355         fails.
356
357 2006-06-12  Roger Sayle  <roger@eyesopen.com>
358
359         PR c++/21210
360         * typeck2.c (build_functional_cast): Use cp_convert to construct
361         non-aggregate initializers instead of the user-level build_c_cast.
362
363 2006-06-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
364
365         PR c++/27601
366         * cp-tree.h (finish_offsetof): Add prototype.
367         * semantics.c (finish_offsetof): New function.
368         * parser.c (cp_parser_builtin_offsetof): Call it instead of
369         fold_offsetof.
370         * pt.c (tsubst_copy_and_build): Likewise.
371
372 2006-06-06  Mark Mitchell  <mark@codesourcery.com>
373
374         PR c++/27177
375         * call.c (standard_conversion): Require that the derived type be
376         complete when performing a derived-to-base conversion.
377
378 2006-06-04  Mark Mitchell  <mark@codesourcery.com>
379
380         PR c++/27819
381         * decl.c (cp_finish_decl): Process initializers for static data
382         members with non-dependent initializers, even in templates.
383
384         PR c++/27722
385         * decl.c (maybe_deduce_size_from_array_init): If the declaration
386         is erroneous, give it an erroneous type.
387         (layout_var_decl): If the type is erroneous, give up.
388         (check_initializer): Likewise.
389
390         PR c++/27807
391         * cp-tree.h (TYPE_OBJ_P): New macro.
392         (TYPE_PTROB_P): Use it.
393         (TYPE_REF_OBJ_P): Likewise.
394         * semantics.c (finish_compound_literal): Do not permit compound
395         literals of non-object types.
396
397         PR c++/27806
398         * typeck.c (original_type): Robustify.
399
400 2006-06-05  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
401
402         PR c++/27804
403         * init.c (constant_value_1): Return decl instead of error_mark_node
404         for invalid initializers.
405
406 2006-06-01  Andrew Pinski  <pinskia@physics.uc.edu>
407
408         PR c++/27592
409         * rtti.c (build_dynamic_cast_1): Call c_common_truthvalue_conversion
410         on operand of the COND_EXPR for the null pointer check.
411
412 2006-06-01  Andrew Pinski  <pinskia@physics.uc.edu>
413
414         PR c++/26740
415         * typeck.c (build_unary_op): Mark the function as being used.
416
417 2006-06-01  Alexandre Oliva  <aoliva@redhat.com>
418
419         PR c++/26660
420         * parser.c (cp_parser_initial_pragma): Read one more token for
421         caller after reading PCH file in.
422
423 2006-05-31  Mark Mitchell  <mark@codesourcery.com>
424
425         PR c++/27801
426         * call.c (perform_implicit_conversion): Do not actually perform
427         conversions in templates.
428
429         PR c++/26496
430         * call.c (resolve_args): Check for invalid uses of bound
431         non-static member functions.
432         * init.c (build_offset_ref): Return error_mark_node for errors.
433
434         PR c++/27385
435         * decl.c (reshape_init): Robustify.
436         (reshape_init_array_1): Likewise.
437
438 2006-05-30  Mark Mitchell  <mark@codesourcery.com>
439
440         PR c++/27808
441         * parser.c (cp_parser_decl_specifier_seq): Issue errors about
442         "friend" specifiers that do not appear in class scopes.
443
444         PR c++/27803
445         * class.c (check_bitfield_decl): Ensure that all bitfields have
446         integral type.
447
448 2006-05-29  Kazu Hirata  <kazu@codesourcery.com>
449
450         * pt.c (convert_nontype_argument): Fix a typo in an error
451         message.
452
453 2006-05-28  Kazu Hirata  <kazu@codesourcery.com>
454
455         * decl.c, decl2.c, parser.c: Fix comment typos.  Follow
456         spelling conventions.
457
458 2006-05-24  Mark Mitchell  <mark@codesourcery.com>
459
460         PR c++/20103
461         * decl.c (cp_make_fname_decl): Don't set DECL_INITIAL to
462         error_mark_node to indicate an initialization is OK.
463         (start_decl): Likewise.  Adjust call to start_decl_1.
464         (start_decl_1): Add initialized parameter.  Simplify.
465         * except.c (initialize_handler_parm): Adjust call to
466         setart_decl_1.
467         (expand_start_catch_block): Let cp_finish_decl initialize catch
468         parameters.
469         * cp-tree.h (start_decl_1): Adjust prototype.
470         * pt.c (tsubst_expr): Don't set DECL_INITIAL to error_mark_node.
471         (instantiate_decl): Let cp_finish_decl handle initialization.
472         * semantics.c (finish_compound_literal): Create a temporary
473         variable for the literal.
474         * typeck.c (build_unary_op): Remove COMPOUND_LITERAL_P special
475         cases.
476         * decl2.c (finish_static_data_member_decl): Don't set
477         DECL_INITIAL.
478         (grokfield): Do not try to initialize functions.
479
480 2006-05-23  Mark Mitchell  <mark@codesourcery.com>
481
482         PR c++/20173
483         * pt.c (determine_specialization): Disallow partial
484         specializations of templates.
485
486 2006-05-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
487
488         PR c++/27716
489         * typeck.c (build_modify_expr): Test arguments for error_operand_p.
490
491         * decl.c (grokdeclarator): Return error_mark_node instead of NULL_TREE.
492
493 2006-05-21  Mark Mitchell  <mark@codesourcery.com>
494
495         PR c++/27210
496         * cp-tree.h (cp_save_expr): New function.
497         * init.c (build_new): Correct logic for zero-element array
498         warning.  Use cp_save_expr.
499         * tree.c (cp_save_expr): New function.
500
501 2006-05-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
502
503         PR c++/27398
504         * decl.c (grokdeclarator): Return error_mark_node instead of NULL_TREE
505         or void_type_node.
506
507 2006-05-19  Mike Stump  <mrs@apple.com>
508
509         * typeck.c (default_conversion): Remove static.
510
511 2006-05-19  Mark Mitchell  <mark@codesourcery.com>
512
513         PR c++/26433
514         * cp-tree.h (begin_function_try_block): Change prototype.
515         (finish_function_handler_sequence): Likewise.
516         * parser.c (cp_parser_function_try_block): Adjust calls.
517         * pt.c (tsubst_expr): Adjust calls.
518         * semantics.c (begin_function_try_block): Create an artificial
519         outer scope.
520         (finish_function_handler_sequence): Close it.
521
522 2006-05-18  Mark Mitchell  <mark@codesourcery.com>
523
524         PR c++/27471
525         PR c++/27506
526         * typeck.c (decay_conversion): Convert bitfields to their declared
527         types here.  Improve documentation.  Avoid use of cp_convert.
528         (default_conversion): Make it static.  Perform integral promotions
529         before lvalue-to-rvalue, function-to-pointer, and array-to-pointer
530         conversions.
531         * init.c (build_init): Remove.
532         (expand_default_init): Do not call rvalue.
533         * call.c (null_ptr_cst_p): Robustify.
534         (build_conditional_expr): Tidy.
535         * except.c (build_throw): Do not perform lvalue-to-rvalue
536         conversion on operand before initializing temporary.
537         * tree.c (convert.h): Include it.
538         (convert_bitfield_to_declared_type): Use convert_to_integer, not
539         cp_convert.
540         (rvalue): Don't convert bitfields to their declared type here.
541         * cp-tree.h (build_init): Remove.
542         (default_conversion): Likewise.
543         * typeck2.c (build_m_component_ref): Do not perform
544         lvalue-to-rvalue, function-to-pointer, or array-to-pointer
545         conversions here.  Correct error message.
546
547 2006-05-17  Mark Mitchell  <mark@codesourcery.com>
548
549         PR c++/26122
550         * decl2.c (check_member_template): Remove checks for virtual
551         functions.
552         * parser.c (cp_parser_function_specifier_opt): Complain about
553         virtual templates.
554         (cp_parser_pure_specifier): Likewise.
555
556         PR c++/26068
557         * parser.c (cp_parser_set_storage_class): Check for
558         invalid uses of storage classes on unbraced linkage
559         specifications.
560         (cp_parser_decl_specifier_seq): Pass keywords, not storage classes,
561         to cp_parser_set_storage_class.
562
563 2006-05-17  Jakub Jelinek  <jakub@redhat.com>
564
565         PR c++/27491
566         * semantics.c (finish_compound_literal): Only set TREE_HAS_CONSTRUCTOR
567         on CONSTRUCTORs.
568
569         PR middle-end/27415
570         * parser.c (cp_parser_omp_parallel): Set OMP_PARALLEL_COMBINED
571         on combined parallel workshare constructs.
572         * pt.c (tsubst_expr): Copy OMP_PARALLEL_COMBINED flag.
573
574 2006-05-16  H.J. Lu  <hongjiu.lu@intel.com>
575
576         PR driver/26885
577         * Make-lang.in (GXX_OBJS): Replace gcc.o with $(GCC_OBJS).
578
579 2006-05-15  Mark Mitchell  <mark@codesourcery.com>
580
581         PR c++/27339
582         * cp-tree.h (perform_access_checks): New function.
583         * semantics.c (perform_access_checks): New function.
584         (perform_deferred_access_checks): Use it.
585         * parser.c (cp_parser_simple_declaration): Adjust call to
586         cp_parser_init_declarator.
587         (cp_parser_type_parameter): Do not defer checks in default
588         arguments.
589         (cp_parser_explicit_specialization): Adjust call to
590         cp_parser_single_declaration.
591         (cp_parser_init_declarator): Perform template-parameter access
592         checks.
593         (cp_parser_parameter_declaration): Do not defer checks for
594         template parameter default arguments.
595         (cp_parser_template_declaration_after_export): Gather access
596         checks for template parameters, and pass them to
597         cp_parser_single_declaration.
598         (cp_parser_template_parameter_access_checks): New function.
599         (cp_parser_single_declaration): Add checks parameter.
600
601         PR c++/27505
602         * call.c (convert_like_real): Convert bitfields to their declared
603         types when forming an rvalue.
604         * tree.c (convert_bitfield_to_declared_type): New function.
605         (rvalue): Use it.
606         * cp-tree.h (convert_bitfield_to_declare_type): Declare it.
607
608 2006-05-15  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
609
610         PR c++/27582
611         * pt.c (any_dependent_template_arguments_p): Return early on invalid
612         argument list.
613
614         PR c++/27581
615         * search.c (adjust_result_of_qualified_name_lookup): Skip on
616         invalid context_class.
617
618         PR c++/27315
619         * pt.c (do_decl_instantiation): Return early on invalid decl.
620
621         PR c++/27559
622         * pt.c (push_template_decl_real): Return error_mark_node instead
623         of broken decl.
624
625         PR c++/27496
626         * pt.c (tsubst_friend_class): Return early on invalid friend
627         declarations.
628
629 2006-05-14  H.J. Lu  <hongjiu.lu@intel.com>
630
631         * Make-lang.in (cp/decl.o): Add dependency on $(TARGET_H).
632         (cp/decl2.o): Likewise.
633         (cp/typeck.o): Likewise.
634         (cp/cvt.o): Likewise.
635         (cp/parser.o): Likewise.
636         (cp/call.o): Replace target.h with $(TARGET_H).
637
638 2006-05-14  Alexandre Oliva  <aoliva@redhat.com>
639
640         * pt.c (build_non_dependent_expr): Leave ADDR_EXPR of
641         COMPONENT_REF alone.
642
643 2006-05-11  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
644
645         PR c++/27547
646         * decl.c (copy_fn_p): Return early on non-member functions.
647
648 2006-05-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
649
650         PR c++/27447
651         * decl2.c (build_memfn_type): Skip invalid functions and class types.
652
653 2006-05-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
654
655         PR c++/27427
656         * pt.c (convert_nontype_argument): Return early on invalid arguments.
657
658         * pt.c (process_template_parm): Remove superfluous temporary.
659
660         PR c++/27430
661         * pt.c (process_template_parm): Handle erroneous non-type parameters.
662
663         PR c++/27423
664         * typeck.c (convert_for_initialization): Skip erroneous types.
665
666         PR c++/27422
667         * typeck.c (convert_arguments): Return early on args with
668         invalid types.
669
670 2006-05-03  Aldy Hernandez  <aldyh@redhat.com>
671
672         PR/21391
673         * typeck.c (build_static_cast_1): Save casted types in used types
674         hash table.
675         (build_reinterpret_cast_1): Same.
676         * rtti.c (build_dynamic_cast_1): Same.
677
678 2006-05-04  Jakub Jelinek  <jakub@redhat.com>
679
680         PR c++/27359
681         * parser.c (cp_parser_omp_for_loop): Only call
682         cp_parser_abort_tentative_parse if cp_parser_parse_definitely was not
683         called.
684
685 2006-05-02  Mark Mitchell  <mark@codesourcery.com>
686
687         PR c++/27102
688         * decl.c (grokdeclarator): Robustify checks for defining members
689         of incomplete types.
690
691         PR c++/27309
692         * class.c (add_method): Call grok_special_member_properties.
693         * decl.c (grokdeclarator): Don't call it here.
694         (copy_fn_p): A TEMPLATE_DECL is never a copy constructor or
695         assignment operator.  Set TYPE_HAS_CONSTURCTOR if DECL is a
696         constructor.
697         (start_method): Don't call grok_special_member_properties.
698         * method.c (implicitly_declare_fn): Likewise.
699         * pt.c (instantiate_class_template): Likewise.
700         * decl2.c (grokfield): Likewise.
701
702 2006-05-02  Jakub Jelinek  <jakub@redhat.com>
703
704         PR middle-end/27337
705         * cp-gimplify.c (cxx_omp_privatize_by_reference): New function.
706         * cp-tree.h (cxx_omp_privatize_by_reference): New prototype.
707         * cp-objcp-common.h (LANG_HOOKS_OMP_PRIVATIZE_BY_REFERENCE): Define.
708
709 2006-04-30  Mark Mitchell  <mark@codesourcery.com>
710
711         PR c++/27094
712         * pt.c (tsubst_default_argument): Increment function_depth around
713         call to tsubst_expr.
714         * parser.c (cp_parser_parameter_declaration): Likewise.
715         * decl2.c (mark_used): Tidy.
716
717 2006-04-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
718
719         PR c++/27278
720         * decl.c (grok_op_properties): Skip operators with invalid args
721         when checking for class-type or enum-type args.
722
723 2006-04-29  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
724
725         PR c++/27279
726         * decl.c (copy_fn_p): Skip functions with invalid first arg.
727
728 2006-04-27  Mark Mitchell  <mark@codesourcery.com>
729
730         PR c++/27292
731         * tree.c (rvalue): Convert bitfields to their declared types.
732
733         PR c++/27102
734         * typeck2.c (cxx_incomplete_type_diagnostic): Handle
735         TYPENAME_TYPE.
736
737 2006-04-24  Mark Mitchell  <mark@codesourcery.com>
738
739         PR c++/27292
740         * typeck.c (decay_conversion): Don't adjust bitfield types.
741         (perform_integral_promotions): Treat bitfield enums as enums, not
742         as short integer types.
743         * tree.c (rvalue): Convert bitfields to their correct types.
744
745 2006-04-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
746
747         PR c++/19963
748         * class.c (layout_class_type): Skip fields with invalid types.
749
750 2006-04-23  Mark Mitchell  <mark@codesourcery.com>
751
752         PR c++/26912
753         * cp-tree.h (build_this_parm): Declare.
754         (grok_method_quals): Remove.
755         (build_memfn_type): Declare.
756         (build_artificial_parm): Declare.
757         (do_friend): Remove quals parameter.
758         * decl.c (build_this_parm): New function.
759         (grokfndecl): Use it.  Do not pass quals to grokclassfn.
760         (grokdeclarator): Rename quals to memfn_quals.  Avoid allocating
761         unnecessary TYPE_DECLs.  Correct qualification of member function
762         types.  Tidy.
763         * method.c (implicitly_declare_fn): Use build_this_parm.
764         * friend.c (do_friend): Remove quals parameter.
765         * decl2.c (grok_method_quals): Remove.
766         (build_memfn_type): New function.
767         (build_artificial_parm): Give it external linkage.
768         (grokclassfn): Remove quals parameter.  Do not build "this"
769         PARM_DECL here.
770
771         PR c++/26534
772         * cp-tree.h (is_bitfield_expr_with_lowered_type): New function.
773         * typeck.c (is_bitfield_expr_with_lowered_type): New function.
774         (decay_conversion): Convert bitfield expressions to the correct
775         type.
776         (build_modify_expr): Remove spurious conversions.
777         * class.c (layout_class_type): Modify the type of bitfields to
778         indicate a limited range.
779         * call.c (standard_conversion): Adjust the type of bitfield
780         expressions used in an rvalue context.
781         (build_conditional_expr): Likewise.
782
783 2006-04-22  Kazu Hirata  <kazu@codesourcery.com>
784
785         * decl.c: Fix comment typos.
786
787 2006-04-21  Eric Christopher  <echristo@apple.com>
788
789         * decl.c: Fix typo in function name.
790
791 2006-04-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
792
793         PR c++/26558
794         * parser.c (cp_parser_class_name): Check for invalid typenames.
795         Rearrange code.
796
797         PR c++/26739
798         * pt.c (tsubst_friend_function): Return early if
799         pushdecl_namespace_level fails.
800
801         PR c++/26036
802         * typeck.c (convert_arguments): Return error_mark_node instead of
803         error_mark_list.
804         * cp-tree.h (error_mark_list): Remove declaration.
805         * decl.c (error_mark_list): Remove definition.
806         (cxx_init_decl_processing): Do not initialize error_mark_list.
807
808         PR c++/10385
809         * rtti.c (build_dynamic_cast_1): Check for invalid conversions
810         before calling convert_to_reference.
811         * cvt.c (convert_to_reference): Assert that reftype is a
812         REFERENCE_TYPE.
813
814 2006-04-19  Mark Mitchell  <mark@codesourcery.com>
815
816         PR c++/27102
817         * class.c (currently_open_class): Tidy.
818         * decl.c (grokdeclarator): If we encounter an erroneous
819         declarator, assume that we have already issued an error message
820         and return.  Return error_mark_node instead of NULL_TREE in more
821         places.  Issue errors about function definitions that do not have
822         a function declarator.  Check for complete types for all function
823         definitions.
824         * cp-tree.h (cp_error_declarator): Remove.
825         (currently_open_class): Change return type.
826         * parser.c (cp_parser_id_expression): Add optional_p parameter.
827         (cp_parser_parse_diagnose_invalid_type_name): Adjust calls.
828         (cp_parser_id_expression): Likewise.
829         (cp_parser_unqualified_id): If the name is optional, return
830         NULL_TREE.
831         (cp_parser_postfix_dot_deref_expression): Adjust calls.
832         (cp_parser_type_parameter): Likewise.
833         (cp_parser_unqualified_id): Likewise.
834         (cp_parser_direct_declarator): Likewise.
835         (cp_parser_declarator_id): Add optional_p parameter.
836         (cp_parser_function_definition_from_specifiers_and_declarator):
837         Assume that start_function indicates failure only if it has issued
838         an error.
839         (cp_parser_omp_var_list_no_open): Adjust calls.
840
841 2006-04-17  Janis Johnson  <janis187@us.ibm.com>
842
843         PR c++/26114, c++/26115
844         * typeck.c (cxx_mark_addressable): Restore check for extra_warnings.
845         * class.c (check_field_decls): Ditto.
846
847 2006-04-17  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
848
849         * init.c (build_offset_ref): Remove superfluous temporary.
850
851 2006-04-16  Mark Mitchell  <mark@codesourcery.com>
852
853         PR c++/26365
854         * typeck.c (finish_class_member_access_expr): Robustify
855
856 2006-04-15  Kazu Hirata  <kazu@codesourcery.com>
857
858         * Make-lang.in (cp/pt.o): Depend on vecprim.h.
859         * pt.c: Include vecprim.h.
860         (inline_parm_levels): Change the type to VEC(int,heap) *.
861         (inline_parm_levels_used): Remove.
862         (maybe_begin_member_template_processing,
863         maybe_end_member_template_processing): Use VEC instead of
864         VARRAY.
865
866         * cp/call.c: Fix comment typos.
867
868 2006-04-12  Mark Mitchell  <mark@codesourcery.com>
869
870         * parser.c (cp_parser_init_declarator): Initialize local variables
871         aggressively.
872
873 2006-04-12  Roger Sayle  <roger@eyesopen.com>
874
875         * parser.c (cp_parser_init_declarator): Initialise
876         is_parenthesized_init to false to avoid compiler warning.
877
878 2006-04-11  Mark Mitchell  <mark@codesourcery.com>
879
880         * cp-tree.h (build_operator_new_call): Adjust prototype.
881         (build_new_method_call): Likewise.
882         (build_op_delete_call): Likewise.
883         * init.c (build_raw_new_expr): New function.
884         (build_new_1): Pass information as parameters, rather than
885         bundling it into a NEW_EXPR.
886         (build_new): Adjust accordingly.
887         (build_vec_delete_1): Adjust for changes to build_op_delete_call.
888         (build_delete): Likewise.
889         * decl.c (finish_destructor_body): Likewise.
890         * call.c (build_operator_new_call): Return the allocation function
891         used.
892         (build_op_delete_call): Take allocation function as parameter.
893         (build_special_member_call): Adjust call to build_new_method_call.
894         (build_new_method_call): Return function called.
895         * pt.c (tsubst_copy_and_build): Adjust call to
896         build_new_method_call.
897         * semantics.c (finish_call_expr): Likewise.
898         * parser.c (cp_parser_postfix_expression): Likewise.
899         * typeck2.c (cxx_incomplete_type_diagnostic): Refer to
900         "incomplete", not "undefined", types.
901
902         PR c++/26295
903         * decl.c (grokdeclarator): Remove namespace-handling code for
904         pointers-to-members.
905         * parser.c (cp_parser_ptr_operator): Check for qualified names
906         using namespaces.
907
908         PR c++/26122
909         * parser.c (cp_parser_init_declarator): Adjust logic for deciding
910         whether or not to look for a pure-specifier.
911         (cp_parser_member_declaration): Likewise.
912
913 2006-04-08  Kazu Hirata  <kazu@codesourcery.com>
914
915         * decl2.c, pt.c, semantics.c: Fix comment typos.
916
917 2006-04-06  Roger Sayle  <roger@eyesopen.com>
918
919         * call.c (null_ptr_cst_p): Add explicit TREE_CONSTANT_OVERFLOW check.
920
921 2006-04-05  Jason Merrill  <jason@redhat.com>
922
923         * name-lookup.c (push_namespace_with_attribs): Temporarily disable
924         default hidden visibility for anonymous namespace.
925
926 2006-03-29  Roger Sayle  <roger@eyesopen.com>
927
928         PR c++/22494
929         * init.c (build_vec_delete_1): Convert BASE pointer's type to
930         the base pointer type to avoid a type mismatch in the EQ_EXPR.
931
932 2006-03-24  Carlos O'Donell  <carlos@codesourcery.com>
933
934         * search.c (maybe_suppress_debug_info): If
935         flag_emit_class_debug_always then don't suppress.
936
937 2006-03-22  Jason Merrill  <jason@redhat.com>
938
939         * name-lookup.c (push_namespace_with_attribs): Only apply hidden
940         visibility to anonymous namespaces if HAVE_GAS_HIDDEN.
941
942 2006-03-21  Jakub Jelinek  <jakub@redhat.com>
943
944         PR c++/26691
945         * cp-gimplify.c (cxx_omp_clause_apply_fn): Handle default arguments.
946
947 2006-03-21  Jason Merrill  <jason@redhat.com>
948
949         PR c++/21581
950         * parser.c (cp_parser_declaration): Support attributes on
951         anonymous namespaces.
952         * name-lookup.c (push_namespace_with_attribs): Anonymous
953         namespaces default to hidden visibility.
954
955 2006-03-20  Jason Merrill  <jason@redhat.com>
956
957         PR c++/21764, c++/19238
958         * decl.c (cp_finish_decl): Call determine_visibility later.
959         (start_preparsed_function): Likewise.
960         * cp-tree.h (CP_TYPE_CONTEXT, TYPE_NAMESPACE_SCOPE_P): New macros.
961         (TYPE_CLASS_SCOPE_P, TYPE_FUNCTION_SCOPE_P): New macros.
962         * name-lookup.h (struct cp_binding_level): Add has_visibility
963         bitfield.
964         * name-lookup.c: Include c-pragma.h.
965         (push_namespace_with_attribs): Split out from push_namespace.
966         Push visibility if appropriate.  Set TREE_PUBLIC on namespaces.
967         (leave_scope): Pop visibility if appropriate.
968         * decl2.c (determine_visibility_from_class): Split out from...
969         (determine_visibility): ...here.  Handle function scope and
970         nested classes.
971         (import_export_decl): Move visibility handling to
972         determine_visibility_from_class.
973         * parser.c (cp_parser_declaration, cp_parser_namespace_name): Allow
974         attributes on namespace declarations.
975
976 2006-03-15  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
977
978         PR c++/6634
979         * decl.c (grokdeclarator): Do not accept long long double.
980         Reorganize checks for invalid (combinations of) type modifiers.
981         Quote modifiers in messages.
982
983 2006-03-09  Jason Merrill  <jason@redhat.com>
984
985         PR c++/16387, c++/16389
986         * typeck.c (cxx_alignof_expr, cxx_sizeof_expr): New functions.
987         (cxx_sizeof_or_alignof_expr): Split out from here.
988
989 2006-03-09  Diego Novillo  <dnovillo@redhat.com>
990
991         Merge from gomp-20050608-branch
992
993         2006-02-02  Diego Novillo  <dnovillo@redhat.com>
994
995                 * decl.c (pop_labels_1): Use appropriate pointer casting.
996                 (poplevel_named_label_1): Likewise.
997                 (named_label_entry_hash): Likewise.
998                 (named_label_entry_eq): Likewise.
999                 (check_goto): Likewise.
1000                 (define_label): Likewise.
1001
1002         2006-01-26  Diego Novillo  <dnovillo@redhat.com>
1003
1004                 * cp-tree.h (CP_OMP_CLAUSE_INFO): Use TREE_TYPE instead
1005                 of TREE_BLOCK.
1006                 * pt.c: Use OMP_CLAUSE_CODE and OMP_CLAUSE_OPERAND
1007                 instead of TREE_CODE/TREE_OPERAND.
1008                 * semantics.c: Likewise.
1009                 * parser.c: Likewise.
1010
1011         2005-11-10  Diego Novillo  <dnovillo@redhat.com>
1012
1013                 * parser.c (cp_parser_omp_threadprivate): Emit diagnostic if
1014                 target does not support TLS.
1015
1016         2005-11-09  Jakub Jelinek  <jakub@redhat.com>
1017
1018                 * decl.c (redeclaration_error_message): Don't error about
1019                 DECL_THREAD_LOCAL_P mismatches if CP_DECL_THREADPRIVATE_P
1020                 (olddecl).
1021
1022         2005-11-08  Jakub Jelinek  <jakub@redhat.com>
1023
1024                 PR c++/24735
1025                 * semantics.c (finish_omp_barrier, finish_omp_flush): New
1026                   functions.
1027                 * parser.c (cp_parser_omp_barrier): Call finish_omp_barrier.
1028                 (cp_parser_omp_flush): Call finish_omp_flush.
1029                 * cp-tree.h (finish_omp_barrier, finish_omp_flush): New
1030                   prototypes.
1031
1032                 PR c++/24734
1033                 * pt.c (tsubst_expr): Handle OMP_MASTER and OMP_ORDERED.
1034
1035         2005-11-03  Jakub Jelinek  <jakub@redhat.com>
1036
1037                 * semantics.c (finish_omp_threadprivate): Error on class-scope
1038                 variables.
1039
1040         2005-11-02  Jakub Jelinek  <jakub@redhat.com>
1041
1042                 * parser.c (cp_parser_omp_all_clauses): If some clause
1043                 type is not allowed, don't remove just one of the
1044                 clauses, but all clauses added in that loop round.
1045
1046                 * semantics.c (finish_omp_clauses): Fix function
1047                 comment. Don't handle non-const or mutable specially,
1048                 as const and not mutable is predetermined shared and
1049                 that leads to double error. Don't ICE if copyin var is
1050                 PARM_DECL.
1051
1052                 PR c++/24613
1053                 * parser.c (cp_parser_pragma): Diagnose
1054                 PRAGMA_OMP_SECTION outside of PRAGMA_OMP_SECTIONS
1055                 construct.
1056
1057                 * semantics.c (finish_omp_threadprivate): Error if V
1058                   is automatic variable or has incomplete type.
1059
1060         2005-11-01  Diego Novillo  <dnovillo@redhat.com>
1061
1062                 * parser.c (cp_parser_omp_all_clauses): Use
1063                 OMP_CLAUSE_CHAIN instead of TREE_CHAIN.
1064
1065         2005-11-01  Diego Novillo  <dnovillo@redhat.com>
1066
1067                 * parser.c (cp_parser_omp_all_clauses): When emitting an
1068                 error message, remove the invalid clause from the list.
1069
1070         2005-10-31  Diego Novillo  <dnovillo@redhat.com>
1071
1072                 * parser.c (cp_parser_omp_parallel): Do not allow 'nowait' in
1073                 combined parallel+workshare directives.
1074
1075         2005-10-31  Richard Henderson  <rth@redhat.com>
1076
1077                 * cp-objcp-common.h (LANG_HOOKS_OMP_CLAUSE_DTOR):
1078                 Use cxx_omp_clause_dtor.
1079                 * cp-tree.h (CP_OMP_CLAUSE_INFO): New.
1080                 (cxx_omp_clause_dtor): New.
1081                 * cp-gimplify.c (cxx_omp_clause_apply_fn): New.
1082                 (cxx_omp_clause_default_ctor): Use it.
1083                 (cxx_omp_clause_copy_ctor, cxx_omp_clause_assign_op):
1084                 Likewise.
1085                 (cxx_omp_clause_dtor): New.
1086                 * semantics.c (finish_omp_clauses): Rewrite cdtor
1087                 checking to fill in CP_OMP_CLAUSE_INFO.  Don't
1088                 specialcase LASTPRIVATE for removal.
1089                 (cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor,
1090                 cxx_omp_clause_assign_op): Move to cp-gimplify.c.
1091
1092         2005-10-28  Jakub Jelinek  <jakub@redhat.com>
1093
1094                 * semantics.c (finish_omp_threadprivate): If
1095                   DECL_RTL_SET_P, call make_decl_rtl again so that
1096                   encode_section_info can update SYMBOL_REF's flags.
1097
1098         2005-10-26  Jakub Jelinek  <jakub@redhat.com>
1099
1100                 * semantics.c (finish_omp_for): Don't segfault if COND
1101                 or INCR is NULL.  If not calling c_finish_omp_for
1102                 right away and one of COND and INCR is NULL, issue
1103                 error and don't expand anything.
1104
1105                 PR c++/24512
1106                 * cp-tree.h (finish_omp_for): Add PRE_BODY argument.
1107                 * semantics.c (finish_omp_for): Likewise.  Set
1108                 OMP_FOR_PRE_BODY to PRE_BODY if deferring, add it
1109                 into the current statement list if not processing
1110                 template decl or pass it to c_finish_omp_for.
1111
1112                 * parser.c (cp_parser_omp_for_loop): Expand optional DECL_EXPRs
1113                 into PRE_BODY statement list.  Pass it to finish_omp_for.
1114                 * pt.c (tsubst_expr) <case OMP_FOR>: tsubst_expr also
1115                 OMP_FOR_PRE_BODY into PRE_BODY stmt list, pass it to
1116                 finish_omp_for.  Put all the statements into sk_omp
1117                 scope.
1118
1119         2005-10-25  Jakub Jelinek  <jakub@redhat.com>
1120
1121                 PR c++/24516
1122                 * parser.c (struct cp_parser): Rename in_iteration_statement
1123                 field to in_statement.
1124                 (IN_SWITCH_STMT, IN_ITERATION_STMT): Define.
1125                 (IN_OMP_BLOCK, IN_OMP_FOR): Change values.
1126                 (cp_parser_new, cp_parser_begin_omp_structured_block,
1127                 cp_parser_end_omp_structured_block,
1128                 cp_parser_omp_for_loop): Adjust for
1129                 in_iteration_statement renaming.
1130                 (cp_parser_selection_statement): Save
1131                 parser->in_iteration, or it temporarily with
1132                 IN_SWITCH_STMT for the
1133                 cp_parser_implicitly_scoped_statement call.
1134                 (cp_parser_iteration_statement): Adjust for
1135                 in_iteration_statement renaming.  Use
1136                 IN_ITERATION_STMT rather than true.
1137                 (cp_parser_jump_statement): Adjust for
1138                 in_iteration_statement renaming and new values.  Don't
1139                 error on break in a switch statement within OMP_FOR or
1140                 OpenMP structured block.
1141
1142                 PR c++/24513
1143                 * parser.c (cp_parser_cache_group): Don't stop if next
1144                 token is CPP_PRAGMA_EOL and end is CPP_PRAGMA_EOL as
1145                 well.  If current token is CPP_PRAGMA, consume
1146                 everything until CPP_PRAGMA_EOL inclusive.
1147
1148         2005-10-24  Jakub Jelinek  <jakub@redhat.com>
1149
1150                 PR c++/24502
1151                 * semantics.c (finish_omp_for): Handle MODOP_EXPR in
1152                 addition to MODIFY_EXPR.
1153
1154         2005-10-23  Richard Henderson  <rth@redhat.com>
1155
1156                 * cp-gimplify.c (struct cp_gimplify_ctx): Remove.
1157                 (bc_label): New.
1158                 (begin_bc_block, finish_bc_block): Use it.
1159                 (push_context, pop_context): Remove.
1160                 (cp_genericize): Don't use them.  Assert bc_label is null.
1161                 * semantics.c (finish_omp_clauses): Create a fake data
1162                 element of TYPE for probing ctors.
1163
1164         2005-10-23  Richard Henderson  <rth@redhat.com>
1165
1166                 * cp-objcp-common.h (LANG_HOOKS_OMP_CLAUSE_DEFAULT_CTOR): New.
1167                 (LANG_HOOKS_OMP_CLAUSE_COPY_CTOR): New.
1168                 (LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP): New.
1169                 (LANG_HOOKS_OMP_CLAUSE_DTOR): New.
1170                 * semantics.c (finish_omp_clauses): Look through
1171                 arrays when looking up special member calls.  Also
1172                 remove FIRSTPRIVATE when LASTPRIVATE fails.
1173                 (cxx_omp_clause_default_ctor, cxx_omp_clause_copy_ctor): New.
1174                 (cxx_omp_clause_assign_op): New.
1175                 * cp-tree.h: Declare them.
1176
1177         2005-10-21  Richard Henderson  <rth@redhat.com>
1178
1179                 * decl.c (check_previous_goto_1): Return false if error.
1180                 (check_switch_goto): Likewise.
1181                 (finish_case_label): Don't emit the case label on error.
1182                 * parser.c (struct cp_parser): Revert
1183                 in_switch_statement_p changes.
1184                 (cp_parser_labeled_statement,
1185                 cp_parser_selection_statement): Likewise.
1186                 (cp_parser_begin_omp_structured_block): Don't save...
1187                 (cp_parser_end_omp_structured_block): or restore
1188                 in_switch_statement_p.
1189
1190         2005-10-21  Richard Henderson  <rth@redhat.com>
1191
1192                 * semantics.c (finish_omp_threadprivate): Set
1193                 decl_flags.u2sel when necessary.
1194
1195         2005-10-21  Richard Henderson  <rth@redhat.com>
1196
1197                 * decl.c (poplevel_named_label_1): Restore creation of the
1198                 bad_decls list.
1199                 (decl_jump_unsafe): Check for error_mark_node types.
1200                 (check_goto): Don't check cdtor_label.  Don't use identify_goto.
1201                 * semantics.c (finish_return_stmt): Do check_omp_return before
1202                 converting to cdtor_label goto.
1203
1204         2005-10-21  Richard Henderson  <rth@redhat.com>
1205
1206                 PR c++/24451
1207                 * decl.c (check_omp_return): Return false on error.
1208                 * cp-tree.h (check_omp_return): Update decl.
1209                 * semantics.c (finish_return_stmt): Avoid adding
1210                 return on error.
1211
1212         2005-10-21  Richard Henderson  <rth@redhat.com>
1213
1214                 * cp-tree.h (struct language_function): Remove
1215                 x_named_label_uses.
1216                 Change x_named_labels to a hashtable.
1217                 (check_omp_return): Declare.
1218                 * decl.c (struct named_label_use_entry): Rename from
1219                 named_label_use_list.  Remove label_decl.
1220                 (struct named_label_entry): Rename from
1221                 named_label_list.  Remove old_value and next.  Change
1222                 in_try_scope and in_catch_scope to bool. Add
1223                 in_omp_scope.
1224                 (pop_labels_1): New.
1225                 (pop_labels): Use it.
1226                 (pop_local_label, poplevel_named_label_1): New.
1227                 (poplevel): Use them.
1228                 (named_label_entry_hash, named_label_entry_eq): New.
1229                 (make_label_decl): Create named_labels.  Move label
1230                 creation bits from lookup_label.
1231                 (declare_local_label): Tidy.
1232                 (identify_goto): Split out from ...
1233                 (check_previous_goto_1): Add exited_omp argument.
1234                 Handle omp scopes.
1235
1236                 (use_label): Merge into...
1237                 (check_goto): ... here.  Handle omp scopes.
1238                 (check_omp_return): New.
1239                 (check_previous_gotos): Merge into...
1240                 (define_label): ... here.
1241                 (save_function_data): Remove x_named_label_uses reference.
1242                 (finish_function): Likewise.
1243                 * name-lookup.h (sk_omp): New.
1244                 * name-lookup.c (begin_scope): Handle it.
1245                 * parser.c (cp_parser_omp_for): Don't create extra
1246                 compound stmt.
1247
1248                 (cp_parser_omp_sections): Likewise.
1249                 * semantics.c (finish_return_stmt): Call check_omp_return.
1250                 (begin_omp_structured_block): Use sk_omp.
1251                 (finish_omp_structured_block): Use do_poplevel.  Don't build a
1252                 MUST_NOT_THROW expression here.
1253                 (begin_omp_parallel, finish_omp_parallel): Don't create extra
1254                 compound statements.
1255
1256         2005-10-21  Diego Novillo  <dnovillo@redhat.com>
1257
1258                 PR 24455
1259                 * cp/cp-tree.h (struct lang_decl_flags): Add field
1260                 threadprivate_p.
1261                 (CP_DECL_IS_THREADPRIVATE): Define.
1262                 * cp/semantics.c (finish_omp_threadprivate): Set.  Do
1263                 not error out if CP_DECL_IS_THREADPRIVATE is set
1264                 already.
1265                 * cp/decl.c (duplicate_decls): Merge
1266                 CP_DECL_THREADPRIVATE_P.
1267
1268         2005-10-20  Richard Henderson  <rth@redhat.com>
1269
1270                 * cp-gimplify.c (cp_gimplify_omp_for): New.
1271                 (cp_gimplify_expr): Call it.
1272                 * cp-tree.h (OMP_FOR_GIMPLIFYING_P): New.
1273                 * parser.c (struct cp_parser): Rename
1274                 in_iteration_statement_p to in_iteration_statement and
1275                 change to unsigned char.  Similarly with
1276                 in_switch_statement.  Update all users.
1277                 (IN_OMP_BLOCK, IN_OMP_FOR): New.
1278                 (cp_parser_labeled_statement): Diagnose case labels
1279                 binding closer to an openmp block nested than the
1280                 switch.
1281                 (cp_parser_jump_statement): Diagnose break and
1282                 continue labels binding closer to an openmp block than
1283                 an iteration or switch.
1284                 (cp_parser_omp_for_loop): Mark in_iteration_statement
1285                 for an omp for.
1286                 (cp_parser_begin_omp_structured_block): New.
1287                 (cp_parser_end_omp_structured_block): New.
1288                 (cp_parser_omp_structured_block): Use them.
1289                 (cp_parser_omp_for, cp_parser_omp_sections_scope): Likewise.
1290                 (cp_parser_omp_parallel): Likewise.
1291
1292         2005-10-20  Richard Henderson  <rth@redhat.com>
1293
1294                 * semantics.c (begin_omp_structured_block): New.
1295                 (finish_omp_structured_block): New.
1296                 (begin_omp_parallel, finish_omp_parallel): Use them.
1297                 * parser.c (cp_parser_omp_structured_block): Likewise.
1298                 (cp_parser_omp_for): Likewise.
1299                 (cp_parser_omp_sections_scope): Likewise.
1300                 * cp-tree.h: Declare them.
1301
1302         2005-10-20  Richard Henderson  <rth@redhat.com>
1303
1304                 * parser.c (cp_parser_omp_master): Return the statement.
1305                 (cp_parser_omp_ordered): Likewise.
1306                 (cp_parser_omp_construct): Set the locus for them.
1307
1308         2005-10-19  Richard Henderson  <rth@redhat.com>
1309
1310                 * semantics.c (finish_omp_atomic): Revert to
1311                 uses_template_parms.
1312
1313         2005-10-19  Richard Henderson  <rth@redhat.com>
1314
1315                 * semantics.c (finish_omp_clauses): Avoid
1316                 DECL_THREAD_LOCAL_P on a PARM_DECL.  Remove some
1317                 stub asserts guaranteed to fail.
1318
1319         2005-10-19  Richard Henderson  <rth@redhat.com>
1320
1321                 * cp-tree.h (OMP_ATOMIC_DEPENDENT_P, OMP_ATOMIC_CODE): New.
1322                 (finish_omp_clauses, finish_omp_for, finish_omp_atomic): New.
1323                 * parser.c (cp_parser_omp_clause_copyin): Remove.
1324                 (cp_parser_omp_all_clauses): Use cp_parser_omp_var_list instead.                Call finish_omp_clauses.
1325                 (cp_parser_omp_clause_if): Don't do error checking here.
1326                 (cp_parser_omp_clause_num_threads): Likewise.
1327                 (cp_parser_omp_clause_schedule): Likewise.
1328                 (cp_parser_omp_atomic): Use finish_omp_atomic.
1329                 (cp_parser_omp_for_loop): Don't discard DECL_EXPR.
1330                 Don't decompose assignment statment here.  Use
1331                 finish_omp_for.
1332
1333                 * pt.c (tsubst_omp_clauses): New.
1334                 (tsubst_expr): Handle OMP_PARALLEL, OMP_FOR, OMP_SECTIONS,
1335                 OMP_SINGLE, OMP_SECTION, OMP_CRITICAL, OMP_ATOMIC.
1336                 * semantics.c (finish_omp_clauses): New.
1337                 (begin_omp_parallel, finish_omp_parallel): Know Less about the
1338                 internals of the stmt_list stack.
1339                 (finish_omp_for, finish_omp_atomic): New.
1340
1341         2005-10-18  Jakub Jelinek  <jakub@redhat.com>
1342
1343                 * semantics.c (cxx_omp_predetermined_sharing): New function.
1344                 * cp-tree.h (cxx_omp_predetermined_sharing): New prototype.
1345                 * cp-objcp-common.h
1346                 (LANG_HOOKS_OMP_PREDETERMINED_SHARING): Redefine.
1347
1348         2005-10-18  Richard Henderson  <rth@redhat.com>
1349
1350                 * parser.c (cp_parser_omp_single): Use make_node and accessors
1351                 instead of build.
1352
1353         2005-10-17  Richard Henderson  <rth@redhat.com>
1354
1355                 * parser.c (cp_parser_omp_for_loop): Handle declarations.
1356
1357         2005-10-12  Richard Henderson  <rth@redhat.com>
1358
1359                 * Make-lang.in (CXX_C_OBJS): Add c-omp.o.
1360                 * cp-tree.h (begin_omp_parallel, finish_omp_parallel): Declare.
1361                 (finish_omp_threadprivate): Declare.
1362                 * parser.c (struct cp_lexer): Add in_pragma.
1363                 (cp_lexer_consume_token): Don't consume a PRAGMA_EOL
1364                 when in_pragma.
1365                 (cp_parser_skip_to_closing_parenthesis): Stop at PRAGMA_EOL.
1366                 (cp_parser_skip_to_end_of_statement): Likewise.
1367                 (cp_parser_skip_to_end_of_block_or_statement): Likewise.
1368                 (cp_parser_skip_to_closing_brace): Likewise.
1369                 (cp_parser_skip_to_pragma_eol): Reset in_pragma.
1370                 (cp_parser_require_pragma_eol): New.
1371                 (cp_parser_statement): Add in_compound argument;
1372                 update all callers.
1373                 Restart if a non-statement pragma seen outside a
1374                 compound.
1375                 (cp_parser_statement_seq_opt): Stop at PRAGMA_EOL.
1376                 (cp_parser_declaration_seq_opt): Likewise.
1377                 (cp_parser_member_specification_opt): Likewise.
1378                 (cp_parser_function_definition_after_decl): Likewise.
1379                 (cp_parser_skip_until_found): Likewise.
1380                 (cp_parser_cache_group): Likewise.
1381                 (enum pragma_omp_clause, cp_parser_omp_clause_name,
1382                 check_no_duplicate_clause,
1383                 cp_parser_omp_var_list_no_open,
1384                 cp_parser_omp_var_list, cp_parser_omp_clause_copyin,
1385                 cp_parser_omp_clause_default, cp_parser_omp_clause_if,
1386                 cp_parser_omp_clause_nowait,
1387                 cp_parser_omp_clause_num_threads,
1388                 cp_parser_omp_clause_ordered,
1389                 cp_parser_omp_clause_reduction,
1390                 cp_parser_omp_clause_schedule,
1391                 cp_parser_omp_all_clauses,
1392                 cp_parser_omp_structured_block, cp_parser_omp_atomic,
1393                 cp_parser_omp_barrier, cp_parser_omp_critical,
1394                 cp_parser_omp_flush, cp_parser_omp_for_loop,
1395                 cp_parser_omp_for, cp_parser_omp_master,
1396                 cp_parser_omp_ordered, cp_parser_omp_sections_scope,
1397                 cp_parser_omp_sections, cp_parser_omp_parallel,
1398                 cp_parser_omp_single, cp_parser_omp_threadprivate,
1399                 cp_parser_omp_construct): New.
1400                 (cp_parser_pragma): Handle OpenMP pragmas.
1401                 * semantics.c (finish_omp_threadprivate): New.
1402                 (begin_omp_parallel, finish_omp_parallel): New.
1403
1404         2005-10-11  Richard Henderson  <rth@redhat.com>
1405
1406                 * parser.c (struct cp_token): Add pragma_kind.
1407                 (eof_token): Initialize it.
1408                 (cp_lexer_handle_pragma): Remove.
1409                 (cp_parser_initial_pragma): New.
1410                 (cp_lexer_new_main): Use it.
1411                 (cp_lexer_get_preprocessor_token): Initialize pragma_kind.
1412                 (cp_lexer_print_token): Don't handle CPP_PRAGMA.
1413                 (cp_parser_skip_to_pragma_eol): New.
1414                 (cp_parser_error): Use it.
1415                 (pragma_lex): New.
1416
1417         2005-10-09  Richard Henderson  <rth@redhat.com>
1418
1419                 * lex.c (parse_strconst_pragma): Update for c_lex name change.
1420                 (handle_pragma_java_exceptions): Likewise.
1421                 * parser.c (cp_lexer_new_main): Likewise.
1422
1423         2005-10-06  Richard Henderson  <rth@redhat.com>
1424
1425                 * parser.c (cp_lexer_new_main): Comment out defer_pragmas.
1426                 (cp_lexer_handle_pragma): Comment out
1427                 cpp_handle_deferred_pragma.
1428
1429         2005-10-01  Richard Henderson  <rth@redhat.com>
1430
1431                 * name-lookup.c (lookup_name): Remove prefer_type argument.
1432                 (lookup_name_prefer_type): New function.
1433                 * name-lookup.h (lookup_name_prefer_type): Declare it.
1434                 * decl.c (lookup_and_check_tag): Use it.
1435                 * pt.c (tsubst_friend_class): Likewise. Update for
1436                 lookup_name change.
1437                 (lookup_template_class, tsubst_copy_and_build): Likewise.
1438
1439 2006-03-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1440
1441         PR c++/15759
1442         * tree.c (bot_manip): Don't call mark_used.
1443
1444 2006-03-02  Mike Stump  <mrs@apple.com>
1445
1446         * decl2.c (import_export_decl): Remove redundant call to
1447         targetm.cxx.key_method_may_be_inline ().
1448
1449 2006-03-02  Richard Sandiford  <richard@codesourcery.com>
1450
1451         * decl.c (start_decl): Use have_global_bss_p when deciding
1452         whether to make the decl common.
1453
1454 2006-03-01  Mike Stump  <mrs@apple.com>
1455
1456         PR darwin/25908
1457         * decl2.c (import_export_decl): Fix ABI breakage on darwin.
1458
1459 2006-02-24  Geoffrey Keating  <geoffk@apple.com>
1460
1461         * except.c (expand_start_catch_block): Handle
1462         flag_use_cxa_get_exception_ptr.
1463
1464 2006-02-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1465
1466         PR c++/26291
1467         * decl.c (grok_op_properties): Check for ellipsis in arguments of
1468         operators.
1469
1470 2006-02-20  Rafael Ávila de Espíndola  <rafael.espindola@gmail.com>
1471
1472         * Make-lang.in (C++): Remove.
1473         (.PHONY): Remove C++.
1474
1475 2006-02-18  Mark Mitchell  <mark@codesourcery.com>
1476
1477         PR c++/26266
1478         * cp-tree.h (cp_finish_decl): Adjust declaration.
1479         (grokbitfield): Likewise.
1480         (finish_static_data_member_decl): Likewise.
1481         * init.c (constant_value_1): Ensure processing_template_decl when
1482         folding non-dependent initializers for static data members of
1483         dependent types.  Return error_mark_node for erroneous
1484         initailizers.
1485         * class.c (get_vtable_decl): Use finish_decl, not cp_finish_decl.
1486         * decl.c (cp_make_fname_decl): Adjust call to cp_finish_decl.
1487         (cp_finish_decl): Add init_const_expr_p parameter.  Set
1488         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P here.
1489         (finish_decl): Adjust call to cp_finish_decl.
1490         (compute_array_index_type): Robustify.
1491         (start_method): Use finish_decl, not cp_finish_decl.
1492         * rtti.c (emit_tinfo_decl): Likewise.
1493         * except.c (initialize_handler_parm): Adjust call to
1494         cp_finish_decl.
1495         (expand_start_catch_block): Likewise.
1496         * cvt.c (build_up_reference): Adjust call to cp_finish_decl.
1497         * pt.c (instantiate_class_template): Adjust call to
1498         finish_static_data_member_decl.
1499         (tsubst_expr): Use finish_decl, not cp_finish_decl.
1500         (instantiate_decl): Adjust call to cp_finish_decl.
1501         * name-lookup.c (pushdecl_top_level_1): Use finish_decl, not
1502         cp_finish_decl.
1503         * decl2.c (finish_static_data_member_decl): Add init_const_expr_p
1504         parameter.
1505         (grokfield): Likewise.
1506         * parser.c (cp_parser_condition): Check for constant initializers.
1507         (cp_parser_init_declarator): Adjust calls to grokfield and
1508         cp_finish_decl.  Don't set
1509         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P here.
1510         (cp_parser_member_declaration): Likewise.
1511         (cp_parser_objc_class_ivars): Likewise.
1512
1513 2006-02-14  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1514
1515         * call.c (standard_conversion): Return NULL instead of 0.
1516         (build_user_type_conversion_1): Likewise.
1517         (tourney): Likewise.
1518         * decl.c (redeclaration_error_message): Likewise.
1519         * error.c (language_to_string): Likewise.
1520
1521 2006-02-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1522
1523         * cp-tree.h (warn_hidden): Remove prototype.
1524         * class.c (warn_hidden): Make static.
1525
1526         * cp-tree.h (build_type_conversion): Remove prototype.
1527         * cvt.c (build_type_conversion): Add prototype, make static.
1528
1529         * cp-tree.h (push_tinst_level): Remove prototype.
1530         (pop_tinst_level): Likewise.
1531         * pt.c (push_tinst_level): Add prototype, make static.
1532         (pop_tinst_level): Likewise.
1533
1534 2006-02-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1535
1536         * decl.c (grokdeclarator): Return NULL_TREE instead of 0.
1537         * typeck.c (unary_complex_lvalue): Likewise.
1538
1539 2006-02-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1540
1541         * lex.c (parse_strconst_pragma): Return error_mark_node instead of
1542         "(tree)-1" to indicate failure.  Simplify.
1543         (handle_pragma_interface): Test for error_mark_node instead of
1544         "(tree)-1".
1545         (handle_pragma_implementation): Likewise.
1546
1547 2006-02-13  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1548
1549         PR c++/26151
1550         * parser.c (cp_parser_decl_specifier_seq): Check for duplicate
1551         decl-specifiers.  Remove extra check for duplicate 'friend'.
1552         * decl.c (grokdeclarator): Remove check for duplicate
1553         decl-specifiers.  Set longlong together with long_p.
1554
1555 2006-02-12  Jason Merrill  <jason@redhat.com>
1556
1557         PR c++/24996
1558         * except.c (build_throw): Add a CLEANUP_POINT_EXPR inside the
1559         TRY_CATCH_EXPR or MUST_NOT_THROW_EXPR.
1560
1561 2006-02-10  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1562
1563         * class.c (debug_class): Remove extern.
1564         (debug_thunks): Likewise.
1565
1566 2006-02-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1567
1568         * typeck.c (string_conv_p): Don't test for flag_const_strings.
1569
1570 2006-02-08  Jason Merrill  <jason@redhat.com>
1571
1572         PR c++/25979
1573         * cp-gimplify.c (cp_gimplify_expr): Don't call
1574         cp_gimplify_init_expr for MODIFY_EXPRs.
1575         * typeck2.c (split_nonconstant_init_1): Use INIT_EXPR.
1576
1577 2006-02-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1578
1579         PR c++/26071
1580         * decl.c (grokdeclarator): Set dname also for destructor.
1581
1582         PR c++/26070
1583         * decl.c (grokdeclarator): Clear storage_class together with staticp.
1584
1585 2006-02-07  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1586
1587         * cp-tree.h (tf_warning_or_error): Renamed from tf_warn_or_error.
1588         (cp_build_qualified_type): Propogate renaming.
1589         * call.c (convert_like_real): Likewise.
1590         * cvt.c (cp_convert_to_pointer, convert_to_reference): Likewise.
1591         * decl.c (make_typename_type, grokdeclarator): Likewise.
1592         * pt.c (tsubst_friend_function, instantiate_class_template,
1593         tsubst_default_argument, instantiate_decl,
1594         tsubst_initializer_list, tsubst_enum): Likewise.
1595         * semantics.c (finish_template_type): Likewise.
1596         * typeck.c (build_ptrmemfunc, convert_for_assignment): Likewise.
1597
1598 2006-02-07  Dirk Mueller  <dmueller@suse.com>
1599
1600         * typeck.c (build_binary_op): Annotate div-by-zero
1601         warnings to make -Wno-div-by-zero have an effect.
1602
1603 2006-02-07  Mark Mitchell  <mark@codesourcery.com>
1604
1605         PR c++/9737
1606         * pt.c (coerce_template_template_parms): Do not templates with
1607         excess default arguments to match template template parameters
1608         with fewer parameters.
1609         (coerce_template_parms): Add use_default_args parameter; use
1610         default arguments only when true.
1611         (lookup_template_class): Adjust call to coerce_template_parms.
1612         (fn_type_unification): Likewise.
1613         (unify): Likewise.
1614         (get_bindings): Likewise.
1615         (dependent_type_p): Add assertions.
1616
1617 2006-02-06  Roger Sayle  <roger@eyesopen.com>
1618
1619         * decl.c (grokdeclarator): Don't bother checking for CHAR_TYPE.
1620         * rtti.c (typeinfo_in_lib_p): Likewise.
1621         * cp-tree.h (INTEGRAL_CODE_P, CP_INTEGRAL_TYPE_P): Likewise.
1622         * name-lookup.c (arg_assoc_type): Likewise.
1623
1624 2006-02-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1625
1626         * cp-tree.h (tf_warn_or_error): New substituion flag.
1627         (cp_build_qualified_type): Use it.
1628         * call.c (convert_like_real): Likewise.
1629         * cvt.c (cp_convert_to_pointer): Likewise.
1630         (convert_to_reference): Likewise.
1631         * decl.c (make_typename_type): Likewise.
1632         (grokdeclarator): Likewise.
1633         * pt.c (tsubst_friend_function): Likewise.
1634         (tsubst_friend_class): Likewise.
1635         (instantiate_class_template): Likewise.
1636         (tsubst_default_argument): Likewise.
1637         (instantiate_decl): Likewise.
1638         (tsubst_initializer_list): Likewise.
1639         (tsubst_enum): Likewise.
1640         * semantics.c (finish_template_type): Likewise.
1641         * typeck.c (build_ptrmemfunc): Likewise.
1642         (convert_for_assignment): Likewise.
1643
1644 2006-02-03  Lee Millward  <lee.millward@gmail.com>
1645
1646        * typeck.c (string_conv_p): Pass appropiate
1647        OPT_Wxxxx values when calling warning().
1648        (build_array_ref, cxx_mark_addressable): Likewise.
1649        (check_return_expr): Likewise.
1650
1651        * init.c (perform_member_init): Likewise.
1652        (sort_mem_initializers, emit_mem_initializers): Likewise.
1653
1654        * class.c (check_field_decls): Likewise.
1655        (warn_about_ambiguous_bases): Likewise.
1656
1657        * decl.c (pop_label, poplevel): Likewise.
1658        (duplicate_decls, grok_op_properties): Likewise.
1659        (start_preparsed_function, finish_function): Likewise.
1660
1661        * name-lookup.c (pushdecl_maybe_friend): Likewise.
1662        (pushdecl_maybe_friend): Likewise.
1663
1664        * parser.c (cp_parser_warn_min_max): Likewise.
1665        (cp_parser_cast_expression): Likewise.
1666
1667        * method.c (lazily_declare_fn): Likewise.
1668        * cvt.c (convert_to_void): Likewise.
1669        * mangle.c (finish_mangling): Likewise.
1670        * cp-gimplify.c (gimplify_expr_stmt): Likewise.
1671
1672 2006-02-03  Mark Mitchell  <mark@codesourcery.com>
1673
1674         * name-lookup.c (do_class_using_decl): Use IDENTIFIER_TYPENAME_P,
1675         not IDENTIFIER_OPNAME_P.
1676
1677 2006-01-31  Mark Mitchell  <mark@codesourcery.com>
1678
1679         PR c++/25342
1680         * cp-tree.h (DECL_TEMPLATE_SPECIALIZATIONS): Revise
1681         documentation.
1682         * pt.c (determine_specialization): Use INNERMOST_TEMPLATE_PARMS,
1683         not TREE_VALUE.
1684         (instantiate_class_template): Simplify.
1685         (verify_class_unification): Remove.
1686         (unify): Document parameters.  Use INNERMOST_TEMPLATE_ARGS to
1687         permit multiple levels of template arguments.
1688         (more_specialized_class): Simplify.
1689         (get_class_bindings): Pass full arguments to unify.  Fold
1690         verify_class_unification into this function.  Return full
1691         arguments.
1692         (most_specialized_class): Adjust for changes to
1693         get_class_bindings.  Issue errors here for ambiguity.  Return the
1694         fully deduced arguments for the most specialized class, in
1695         addition to the partial specialization.
1696
1697 2006-01-31  Ben Elliston  <bje@au.ibm.com>
1698
1699         * mangle.c: Comment fix.
1700
1701 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1702
1703         * Make-lang.in (cp-warn): Include CXX_COMPAT_WARN.
1704         * repo.c (extract_string, afgets): Use cast when converting from
1705         void *.
1706
1707 2006-01-29  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1708
1709         * call.c (alloc_conversion): Use cast when converting from void *.
1710         (alloc_conversions): Likewise.
1711         (add_candidate): Likewise.
1712         (print_z_candidates): Likewise.
1713         (add_warning): Likewise.
1714         * pt.c (retrieve_local_specialization): Likewise.
1715         (process_partial_specialization): Likewise.
1716         (mangle_class_name_for_template): Likewise.
1717         (tsubst_template_args): Likewise.
1718         * typeck2.c (pat_calc_hash): Likewise.
1719         (pat_compare): Likewise.
1720         (abstract_virtuals_error): Likewise.
1721         * class.c (method_name_cmp): Likewise.
1722         (resort_method_name_cmp): Likewise.
1723         (get_vfield_name): Likewise.
1724         * decl2.c (generate_ctor_and_dtor_functions_for_priority): Likewise.
1725         * lex.c (init_reswords): Likewise.
1726         * rtti.c (create_pseudo_type_info): Likewise.
1727         * search.c (dfs_lookup_base): Likewise.
1728         (dfs_dcast_hint_pre): Likewise.
1729         (dfs_dcast_hint_post): Likewise.
1730         * tree.c (hash_tree_cons): Likewise.
1731         * repo.c (extract_string): Likewise.
1732         (afgets): Likewise.
1733         * cp-objcp-common.c (decl_shadowed_for_var_lookup): Likewise.
1734         * g++spec.c (lang_specific_driver): Likewise.
1735
1736 2006-01-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1737
1738         * call.c (joust): Pass option code to warning.  Use inform for
1739         explanation.
1740         * class.c (check_bases): Likewise.
1741         (maybe_warn_about_overly_private_class): Likewise.
1742         (check_field_decls): Likewise.
1743         (layout_empty_base): Likewise.
1744         (layout_virtual_bases): Likewise.
1745         (layout_class_type): Likewise.
1746
1747 2006-01-28  Mark Mitchell  <mark@codesourcery.com>
1748
1749         PR c++/25999
1750         * decl.c (start_preparsed_function): Call maybe_apply_pragma_weak
1751         here, not ...
1752         (start_function): ... here.
1753
1754 2006-01-28  Mark Mitchell  <mark@codesourcery.com>
1755
1756         PR c++/25855
1757         * class.c (resolve_address_of_overloaded_function): Adjust use of
1758         return value from most_specialized_instantiation.
1759         * pt.c (determine_specialization): Avoid multiple calls to
1760         get_bindings.
1761         (most_specialized_instantiation): When a tie occurs, set the
1762         current presumed champion to the next template.  Return the
1763         TREE_LIST node containing the template, rather than the template
1764         itself.
1765         (most_specialized): Remove.
1766         * name-lookup.c (push_overloaded_decl): When duplicate_decls
1767         indicates a failed redeclaration, report that to callers.
1768
1769 2006-01-26  Jason Merrill  <jason@redhat.com>
1770
1771         PR c++/16021
1772         * name-lookup.c (parse_using_directive): Require strong using to
1773         name a nested namespace.
1774
1775 2006-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1776
1777         Revert:
1778         * cp-tree.h (do_poplevel): Remove prototype.
1779         * semantics.c (do_poplevel): Add prototype.  Make static.
1780
1781         Revert:
1782         * cp-tree.h (default_conversion): Remove prototype.
1783         * typeck.c (default_conversion): Make static.
1784
1785 2006-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1786
1787         * cp-tree.h (get_primary_binfo): Remove prototype.
1788         (push_using_decl): Likewise.
1789         (current_template_args): Likewise.
1790         (more_specialized_class): Likewise.
1791         (mark_class_instantiated): Likewise.
1792         (default_conversion): Likewise.
1793         (pfn_from_ptrmemfunc): Likewise.
1794         * class.c (get_primary_binfo): Add prototype, make static, simplify.
1795         * name-lookup.c (push_using_decl): Make static.
1796         * pt.c (current_template_args): Likewise.
1797         (more_specialized_class): Likewise.
1798         (mark_class_instantiated): Likewise.
1799         * typeck.c (default_conversion): Make static.
1800         (pfn_from_ptrmemfunc): Add prototype, make static.
1801
1802 2006-01-24  Dirk Mueller  <dmueller@suse.de>
1803
1804         * typeck.c (build_binary_op): Use OPT_Wfloat_equal in warning().
1805
1806 2006-01-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1807
1808         PR c++/25552
1809         * parser.c (cp_parser_unqualified_id): Check that destructor name
1810         and scope match.
1811         * call.c (check_dtor_name): Do not expect a BIT_NOT_EXPR.
1812         Adjust comment.  Return early if possible.
1813         Use same_type_p to compare types.
1814         * typeck.c (lookup_destructor): Adjust call to check_dtor_name.
1815
1816 2006-01-24  Mark Mitchell  <mark@codesourcery.com>
1817
1818         * semantics.c: Remove outdated comment.
1819
1820 2006-01-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1821
1822         * cp-tree.h (do_poplevel): Remove prototype.
1823         * semantics.c (do_poplevel): Add prototype.  Make static.
1824
1825         * cp-tree.h (original_type): Remove prototype.
1826         * typeck.c (original_type): Make static.
1827
1828         * cp-tree.h (declare_global_var): Remove prototype.
1829         * decl.c (declare_global_var): Make static.
1830
1831         * cp-tree.h (implicitly_declare_fn): Remove prototype.
1832         * method.c (implicitly_declare_fn): Make static.
1833
1834         * cp-tree.h (fold_decl_constant_value): Remove prototype.
1835         * pt.c (fold_decl_constant_value): Make static.
1836
1837         * cp-tree.h (build_x_delete): Remove prototype.
1838         * init.c (build_vec_delete_1): Call build_op_delete_call directly
1839         and not via build_x_delete.
1840         (build_x_delete): Remove.
1841
1842         * cp-tree.h (get_vtt_name): Remove prototype.
1843         * class.c (get_vtt_name): Remove.
1844         (build_vtt): Call mangle_vtt_for_type instead of get_vtt_name.
1845
1846 2006-01-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1847
1848         * rtti.c (build_dynamic_cast): Fix comment.
1849
1850 2006-01-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1851
1852         PR c++/10891
1853         * rtti.c (build_dynamic_cast): Reject dynamic_cast use if
1854         -fno-rtti.
1855
1856 2006-01-21  Mark Mitchell  <mark@codesourcery.com>
1857
1858         PR c++/25895
1859         * class.c (build_base_path): Generate a NOP_EXPR instead of a
1860         COMPONENT_REF if the base and derived classes are at the same
1861         address.
1862
1863         PR c++/25856
1864         * decl.c (begin_destructor_body): Robustify.
1865
1866         PR c++/25858
1867         * parser.c (cp_parser_direct_declarator): Robustify.
1868
1869 2006-01-20  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1870
1871         * parser.c (cp_lexer_next_token_is_keyword): Simplify.
1872
1873         * parser.c (clear_decl_specs): Remove prototype.
1874
1875         * parser.c (cp_parser_expression_fn): Remove.
1876
1877         * call.c (add_builtin_candidates): Remove superfluous return.
1878         * name-lookup.c (do_toplevel_using_decl): Likewise.
1879         * parser.c (cp_parser_type_specifier_seq): Likewise.
1880         (cp_parser_save_default_args): Likewise.
1881
1882 2006-01-20  Dirk Mueller  <dmueller@suse.com>
1883
1884         PR c++/5520
1885         * semantics.c (finish_if_stmt): Call empty_body_warning.
1886         * parser.c (cp_parser_implicitly_scoped_statement):
1887         Mark empty statement with an empty stmt.
1888
1889 2006-01-19  Mark Mitchell  <mark@codesourcery.com>
1890
1891         PR c++/22136
1892         * name-lookup.c (do_class_using_decl): Don't try to look up base
1893         classes in templates with dependent base types.
1894
1895 2006-01-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1896
1897         PR c++/25854
1898         * pt.c (maybe_process_partial_specialization): Return early on
1899         error_mark_node.
1900
1901 2006-01-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
1902
1903         PR c++/16829
1904         * decl.c (start_preparsed_function): Check default arguments
1905         unconditionally.
1906         * name-lookup.c (pushdecl_maybe_friend): Check default arguments
1907         of all functions and function templates.
1908         * parser.c (cp_parser_late_parsing_default_args): Check default
1909         arguments.
1910         * decl2.c (check_default_args): Set missing default arguments to
1911         error_mark_node.
1912
1913 2006-01-18  Mark Mitchell  <mark@codesourcery.com>
1914
1915         PR c++/25836
1916         * cp-tree.h (push_class_stack): New function.
1917         (pop_class_stack): Likewise.
1918         * class.c (class_stack_node): Add hidden field.
1919         (pushclass): Clear it.
1920         (push_class_stack): New function.
1921         (pop_class_stack): Likewise.
1922         (currently_open_class): Ignore hidden classes.
1923         (currently_open_derived_class): Likewise.
1924         * name-lookup.c (push_to_top_level): Call push_class_stack.
1925         (pop_from_top_level): Call pop_class_stack.
1926
1927 2006-01-18  Kazu Hirata  <kazu@codesourcery.com>
1928
1929         * tree.c (find_tree_t, find_tree): Remove.
1930         * cp-tree.h: Remove the prototype for find_tree.
1931
1932 2006-01-18  Jakub Jelinek  <jakub@redhat.com>
1933
1934         * search.c (lookup_conversions_r): Fix a pasto.
1935
1936 2006-01-17  Eric Christopher  <echristo@apple.com>
1937
1938         * call.c (convert_like_real): When issuing conversion
1939         warnings, depend on OPT_Wconversion.
1940         * cvt.c (build_expr_type_conversion): Ditto.
1941
1942 2006-01-17  Kazu Hirata  <kazu@codesourcery.com>
1943
1944         * name-lookup.c (lookup_namespace_name): Remove.
1945         * name-lookup.h: Remove the prototype for
1946         lookup_namespace_name.
1947
1948 2006-01-17  Jakub Jelinek  <jakub@redhat.com>
1949
1950         PR c/25682
1951         * decl.c (compute_array_index_type): After issuing not an integral
1952         constant-expression error, set size to 1 to avoid ICEs later on.
1953
1954 2006-01-16  Ian Lance Taylor  <ian@airs.com>
1955
1956         * parser.c: Include "cgraph.h".
1957         (cp_parser_asm_definition): Call cgraph_add_asm_node rather than
1958         assemble_asm.
1959
1960 2006-01-16  Rafael �ila de Esp�dola  <rafael.espindola@gmail.com>
1961
1962         * g++spec.c (lang_specific_spec_functions): Remove.
1963
1964 2006-01-15  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1965
1966         * decl.c (check_initializer): Fix thinko.
1967
1968 2006-01-14  Mark Mitchell  <mark@codesourcery.com>
1969
1970         PR c++/25663
1971         * parser.c (cp_parser_direct_declarator): Use cp_parser_error
1972         instead of error.
1973
1974 2006-01-13  Jason Merrill  <jason@redhat.com>
1975
1976         * pt.c (check_explicit_specialization): Use CP_DECL_CONTEXT even more.
1977
1978         * name-lookup.c (set_decl_namespace): Use CP_DECL_CONTEXT.
1979         * pt.c (check_explicit_specialization): Likewise.
1980
1981 2006-01-12  Jason Merrill  <jason@redhat.com>
1982
1983         PR libstdc++/24660
1984         * pt.c (check_explicit_specialization): Handle namespace
1985         association.
1986         * name-lookup.c (set_decl_namespace): Likewise.
1987
1988 2006-01-12  Nathan Sidwell  <nathan@codesourcery.com>
1989
1990         PR c++/24824
1991         * class.c (handle_using_decl): Pass correct scope to
1992         cp_emit_debug_info_for_using.
1993
1994 2006-01-11  Nathan Sidwell  <nathan@codesourcery.com>
1995
1996         PR c++/25386
1997         * tree.c (lvalue_p_1): Any part of a COMPONENT_REF affects
1998         packedness.
1999
2000 2006-01-06  Gabriel Dos Reis  <gdr@integrablesolutions.net>
2001
2002         * parser.c (cp_parser_primary_expression): Document the grammar
2003         for the built-in offsetof, a GNU extension.
2004
2005 2006-01-04  Zdenek Dvorak <dvorakz@suse.cz>
2006
2007         PR c++/25632
2008         * init.c (constant_value_1): Unshare use of DECL_INITIAL.  Fix a typo
2009         in condition.
2010
2011 2006-01-04  Chris Lattner  <sabre@gnu.org>
2012
2013         * typeck2.c: update copyright to 2006
2014         (split_nonconstant_init_1):  Set TREE_CONSTANT to true.
2015
2016 2006-01-04  Mark Mitchell  <mark@codesourcery.com>
2017
2018         PR c++/24782
2019         * parser.c (cp_parser_nested_name_specifier_opt): Preserve access
2020         checks, even when parsing tentatively.
2021
2022 2006-01-04  Richard Henderson  <rth@redhat.com>
2023
2024         Merge from gomp branch.
2025         * lex.c (handle_pragma_java_exceptions): Fix whitespace.
2026         * parser.c (struct cp_token): Add pragma_kind.
2027         (eof_token): Update to match.
2028         (struct cp_lexer): Add in_pragma; rearrange next for better packing.
2029         (cp_parser_initial_pragma): New.
2030         (cp_lexer_new_main): Use it.  Don't bother clearing
2031         c_lex_return_raw_strings.
2032         (cp_lexer_get_preprocessor_token): Always initialize keyword
2033         and pragma_kind fields.  Handle CPP_PRAGMA.
2034         (cp_lexer_consume_token): Don't allow CPP_PRAGMA_EOL when
2035         in_pragma is set.
2036         (cp_lexer_handle_pragma): Remove.  Update callers to cp_parser_pragma.
2037         (cp_lexer_print_token) <CPP_PRAGMA>: Don't print as a string.
2038         (cp_parser_skip_to_pragma_eol): New.
2039         (cp_parser_error): Use it.
2040         (cp_parser_skip_to_closing_parenthesis): Stop at CPP_PRAGMA_EOL;
2041         rearrange with switch statement.
2042         (cp_parser_skip_to_end_of_statement): Likewise.
2043         (cp_parser_skip_to_end_of_block_or_statement): Likewise.
2044         (cp_parser_skip_to_closing_brace): Likewise.
2045         (cp_parser_skip_until_found): Likewise.
2046         (cp_parser_statement): Add in_compound argument; update callers.
2047         Use it to decide how to handle pragma parsing.
2048         (cp_parser_labeled_statement): Add in_compound argument; pass
2049         it on to cp_parser_statement.
2050         (cp_parser_statement_seq_opt): Stop at CPP_PRAGMA_EOL.
2051         (cp_parser_declaration_seq_opt): Likewise.
2052         (cp_parser_parameter_declaration): Likewise.
2053         (cp_parser_member_specification_opt): Likewise.
2054         (cp_parser_function_definition_after_decl): Likewise.
2055         (cp_parser_cache_group): Handle CPP_PRAGMA/CPP_PRAGMA_EOL pairs.
2056         (cp_parser_pragma): New.
2057         (pragma_lex): New.
2058
2059 2006-01-04  Dirk Mueller <dmueller@suse.com>
2060
2061         * decl.c (finish_constructor_body): create simple
2062         compound stmt instead of a if(1) { } construct.
2063
2064 2006-01-03  Mark Mitchell  <mark@codesourcery.com>
2065
2066         PR c++/25492
2067         * name-lookup.c (push_class_level_binding): When a derived class
2068         provides a type binding, eliminate any type binding from a base
2069         class.
2070
2071         PR c++/25625
2072         * repo.c (repo_emit_p): Always instantiate static data members
2073         initialized by constant expressions, so that there values are
2074         available.
2075
2076 2006-01-02  Mark Mitchell  <mark@codesourcery.com>
2077
2078         PR c++/25635
2079         * class.c (add_method): Set TYPE_HAS_CONVERSION for classes with a
2080         conversion operator.
2081         * decl.c (grokdeclarator): Do not set TYPE_HAS_CONVERSION here.
2082
2083         PR c++/25638
2084         * class.c (add_method): Never associate more than one destructor
2085         with a single class.
2086
2087         PR c++/25637
2088         * cp-tree.h (do_friend): Adjust prototype.
2089         * decl.c (grokfndecl): Make funcdef_flag a bool, not an int.
2090         (grokdeclarator): Likewise.  Refine check for invalid
2091         declarations/definitions of member functions outside of their own
2092         class.
2093         * friend.c (do_friend): Make funcdef_flag a bool, not an int.
2094
2095         PR c++/25633
2096         * parser.c (cp_parser_mem_initializer_list): Check result of
2097         cp_parser_mem_initializer against error_mark_node, not NULL_TREE.
2098         (cp_parser_mem_initializer): Return error_mark_node for failure.
2099
2100         PR c++/25634
2101         * parser.c (cp_parser_template_parameter_list): Call
2102         begin_template_parm_list and end_template_parm_list here.
2103         (cp_parser_type_parameter): Not here.
2104         (cp_parser_template_declaration_after_export): Or here.
2105         (cp_parser_elaborated_type_specifier): Call
2106         cp_parser_check_template_parameters.
2107
2108         * tree.c (build_target_expr_with_type): Use force_target_expr.
2109
2110         * decl2.c (mark_used): Fix typo in comment.
2111
2112 2006-01-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2113
2114         * parser.c (cp_parser_using_declaration): Skip name-lookup on
2115         invalid scope.
2116
2117 2005-12-30  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2118
2119         * cxx-pretty-print.c (pp_cxx_constant): New.  Print
2120         string-literal in parens if input program says so.
2121         (pp_cxx_primary_expression): Hand off constant printing to
2122         pp_cxx_constant.
2123         (pp_cxx_pretty_printer_init): Set pp->c_base.constant.
2124         (pp_cxx_expression): Use pp_cxx_constant for literals.
2125         * error.c (dump_expr): Use pp_constant for literals.
2126
2127 2005-12-29  Nathan Sidwell  <nathan@codesourcery.com>
2128
2129         * method.c (make_thunk): Don't set comdat_linkage here.
2130         (use_thunk): Make thunk one only here, if thunk target is
2131         DECL_ONE_ONLY.
2132
2133 2005-12-26  Mark Mitchell  <mark@codesourcery.com>
2134
2135         PR c++/25439
2136         * decl.c (grokdeclarator): Remove dead code.
2137         * ptree.c (cxx_print_xnode): Handle BASELINK.
2138         * parser.c (make_id_declarator): Add sfk parameter.
2139         (cp_parser_direct_declarator): Do not pass TYPE_DECLs to
2140         make_id_declarator.
2141         (cp_parser_declarator_id): Simplify BASELINKs here.
2142         (cp_parser_member_declaration): Adjust calls to
2143         make_id_declarator.
2144
2145 2005-12-26  Mark Mitchell  <mark@codesourcery.com>
2146
2147         PR c++/23171, c++/23172, c++/25417.
2148         * typeck.c (build_unary_op): Create temporary variables for
2149         compound literals whose addresses are taken.
2150         * init.c (expand_aggr_init_1): Use COMPOUND_LITERAL_P.
2151         * decl.c (reshape_init_vector): Likewise.
2152         (reshape_init): Give it external linkage.
2153         (check_initializer): Use COMPOUND_LITERAL_P.
2154         (initialize_artificial_var): Allow the initializer to be a
2155         CONSTRUCTOR.
2156         * call.c (make_temporary_var_for_ref_to_temp): Use
2157         create_temporary_var.
2158         * cp-tree.h (COMPOUND_LITERAL_P): New macro.
2159         (rehape_init): Declare.
2160         * typeck2.c (digest_init): Use COMPOUND_LITERAL_P.
2161         * semantics.c (finish_compound_literal): Use reshape_init.
2162
2163 2005-12-23  Mark Mitchell  <mark@codesourcery.com>
2164
2165         PR c++/24671
2166         * pt.c (instantiate_template): Handle SFINAE.
2167
2168 2005-12-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2169
2170         * decl.c (grokdeclarator): Improve diagnostic for friend
2171         declarations of class members.
2172
2173 2005-12-22  Mark Mitchell  <mark@codesourcery.com>
2174
2175         PR c++/25369
2176         * tree.c (really_overloaded_fn): Tweak comment.
2177         * pt.c (tsubst_call_declarator_parms): Remove.
2178         (tsubst_copy): Call mark_used on the member referenced by an
2179         OFFSET_REF.
2180         * semantics.c (finish_qualified_id_expr): Simplify.
2181         * decl2.c (mark_used): Accept BASELINKs.
2182
2183         PR c++/25364
2184         * typeck.c (build_unary_op): Pass DECLs not names to
2185         build_offset_refs.
2186         * init.c (build_offset_ref): Do not do name lookup.  Do not call
2187         mark_used.
2188         * call.c (build_call): Simplify and tidy.
2189         * semantics.c (finish_qualified_id_expr): Call mark_used.
2190
2191 2005-12-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2192
2193         PR c++/23333
2194         * parser.c (cp_parser_pure_specifier): Check for PURE_ZERO to
2195         identify a single '0'.
2196
2197 2005-12-20  Mark Mitchell  <mark@codesourcery.com>
2198
2199         PR c++/21228
2200         * decl.c (use_eh_spec_block): New function.
2201         (store_parm_decls): Use it.
2202         (finish_function): Likewise.
2203
2204 2005-12-19  Mark Mitchell  <mark@codesourcery.com>
2205
2206         PR c++/24278
2207         * init.c (expand_member_init): Print messages about baseclasses
2208         using %T rather than %D.
2209
2210         PR c++/24915
2211         * class.c (add_method): Do not treat templates as identical unless
2212         their return types are the same.
2213
2214 2005-12-12  Mark Mitchell  <mark@codesourcery.com>
2215
2216         PR c++/25300
2217         * tree.c (build_qualified_name): Return error_mark_node for
2218         erroneous input.
2219
2220 2005-12-10  Mark Mitchell  <mark@codesourcery.com>
2221
2222         PR c++/25337
2223         * pt.c (tsubst_copy_and_build): Permit dependent types for the
2224         object in a class member access expression.
2225
2226 2005-12-10  Terry Laurenzo  <tlaurenzo@gmail.com>
2227
2228         PR java/9861
2229         * mangle.c (write_bare_function_type): Mangle return type for
2230         methods of Java classes
2231
2232 2005-12-08  Th�dore Papadopoulo <Theodore.Papadopoulo@sophia.inria.fr>
2233
2234         * call.c (build_conditional_expr): Print types in error messages.
2235
2236 2005-12-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2237
2238         * expr.c (cxx_expand_expr): Call gcc_unreachable instead of abort.
2239
2240 2005-12-07  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2241
2242         * cp-gimplify.c (gimplify_cp_loop): Use fold_build3.
2243
2244 2005-12-07  Rafael �ila de Esp�dola  <rafael.espindola@gmail.com>
2245
2246         * Make-lang.in (c++.all.build, c++.install-normal): Remove.
2247
2248 2005-12-07  Rafael �ila de Esp�dola  <rafael.espindola@gmail.com>
2249
2250         * Make-lang.in: Remove all dependencies on s-gtype.
2251
2252 2005-12-06  Aldy Hernandez  <aldyh@redhat.com>
2253
2254        PR C++/24138
2255         * decl.c (reshape_init_array_1): Handle max_index of -1.
2256
2257 2005-12-06  Roger Sayle  <roger@eyesopen.com>
2258
2259         * typeck.c (build_binary_op): Issue warning if either operand of a
2260         comparison operator is a string literal, except for testing equality
2261         or inequality against NULL.
2262
2263 2005-12-06  Roger Sayle  <roger@eyesopen.com>
2264
2265         PR c++/25263
2266         * decl.c (compute_array_index_type): Check that itype is an
2267         INTEGER_CST node before testing/clearing TREE_OVERFLOW.
2268
2269 2005-12-05  Daniel Berlin  <dberlin@dberlin.org>
2270
2271         * ptree.c (cxx_print_decl): Update to check for decl_common
2272         structure.
2273
2274 2005-12-02  Mark Mitchell  <mark@codesourcery.com>
2275
2276         PR c++/24173
2277         * decl.c (duplicate_decls): Don't rely on DECL_TEMPLATE_INFO after
2278         clobbering newdecl.
2279
2280 2005-12-02  Richard Guenther  <rguenther@suse.de>
2281
2282         * semantics.c (simplify_aggr_init_expr): Use buildN instead
2283         of build.
2284
2285 2005-12-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2286
2287         * parser.c (cp_lexer_new_main): Usr GGC_RESIZEVEC instead of
2288         ggc_realloc.
2289         (cp_parser_template_argument_list): Use XRESIZEVEC instead of
2290         xrealloc.
2291         * class.c (pushclass): Likewise.
2292
2293 2005-12-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2294
2295         * decl2.c (get_priority_info): Use XNEW, not xmalloc.
2296         * decl.c (push_switch): Likewise.
2297         * lex.c (handle_pragma_implementation): Likewise.
2298         * cp-objcp-common.c (decl_shadowed_for_var_insert): Use GGC_NEW,
2299         not ggc_alloc.
2300         (cxx_initialize_diagnostics): Use XNEW, not xmalloc.
2301         * class.c (init_class_processing): Use XNEWVEC, not xmalloc.
2302         * g++spec.c (lang_specific_driver): Likewise.
2303         * mangle.c (save_partially_mangled_name): Likewise.
2304         * parser.c (cp_lexer_new_main): Use GGC_NEWVEC, not ggc_alloc.
2305         (cp_parser_template_argument_list): Use XNEWVEC, nto xmalloc.
2306         (cp_parser_sizeof_operand): Likewise.
2307         * repo.c (open_repo_file, open_repo_file): Likewise.
2308
2309 2005-12-01  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2310
2311         * parser.c (cp_parser_make_typename_type): Call make_typename_type
2312         with tf_none instead of magic value 0.
2313         (cp_parser_explicit_instantiation): Call do_type_instantiation
2314         with tf_error instead of magic value 1.
2315         (cp_parser_elaborated_type_specifier): Call make_typename_type
2316         with tf_error instead of magic value 1.
2317         (cp_parser_class_name): Likewise.
2318         (cp_parser_lookup_name): Likewise.
2319
2320 2005-12-01  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2321
2322         * parser.c (cp_parser_declaration): Set token2.type to CPP_EOF,
2323         not RID_MAX.
2324
2325 2005-11-30  Jason Merrill  <jason@redhat.com>
2326
2327         PR c++/21123
2328         * cp-gimplify.c (cp_genericize_r): Don't dereference invisible reference
2329         parms in a thunk.
2330
2331 2005-11-30  Ben Elliston  <bje@au.ibm.com>
2332
2333         * typeck.c (build_x_unary_op): Correct spelling in error message.
2334
2335 2005-11-28  Nathan Sidwell  <nathan@codesourcery.com>
2336
2337         PR c++/21166
2338         * class.c (check_field_decls): Only set DECL_PACKED on a field
2339         when its natural alignment is > BITS_PER_UNIT.
2340
2341 2005-11-27  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2342
2343         PR c++/24979
2344         * cp-tree.h (DECL_MAIN_P): Remove duplicate definition.
2345
2346 2005-11-26  Richard Henderson  <rth@redhat.com>
2347
2348         * lex.c: Update for pragma_lex rename.
2349         * parser.c: Likewise.
2350
2351 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2352
2353         PR c++/9278
2354         * decl.c (grokparms): Do not allow typedef-names in a '(void)'
2355         parmlist.
2356
2357 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2358
2359         * typeck2.c (process_init_constructor_union): Remove check for
2360         unnamed union members.
2361
2362 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2363
2364         * name-lookup.c (lookup_name_real): Merge two if's.
2365
2366 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2367
2368         * pt.c (instantiate_class_template): Clean-up.
2369
2370 2005-11-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2371
2372         * pt.c (template_class_depth_real): Remove. Move functionality to ...
2373         (template_class_depth): ... here, replacing count_specializations
2374         with 0.  Adjust comment.
2375
2376 2005-11-24  Richard Guenther  <rguenther@suse.de>
2377         Dirk Mueller <dmueller@suse.de>
2378
2379         PR c++/14024
2380         * typeck.c (build_reinterpret_cast_1): Use
2381         strict_aliasing_warning.
2382
2383 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2384
2385         PR c++/24235
2386         * pt.c (check_instantiated_args): Reword diagnostic message about
2387         template argument involving local types.
2388
2389 2005-11-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2390
2391         PR c++/21667
2392         * typeck.c (build_array_ref): Avoid code duplicate.  Use common
2393         C/C++ diagnostic function warn_array_subscript_with_type_char.
2394
2395 2005-11-21  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2396
2397         PR c++/22238
2398         * error.c (resolve_virtual_fun_from_obj_type_ref): New.
2399         (dump_expr): Use it in <case CALL_EXPR>.
2400
2401 2005-11-21  Richard Henderson  <rth@redhat.com>
2402
2403         * cp-objcp-common.h, name-lookup.c, name-lookup.h: Revert 11-18 patch.
2404
2405         * name-lookup.c (lookup_name): Remove prefer_type argument.
2406         (lookup_name_prefer_type): New.
2407         * decl.c (lookup_and_check_tag): Use them.
2408         * pt.c (tsubst_friend_class): Likewise.
2409         (lookup_template_class): Likewise.
2410         (tsubst_copy_and_build): Likewise.
2411         * name-lookup.h (lookup_name_prefer_type): New.
2412         (lookup_name): Remove declaration.
2413
2414 2005-11-18  Mark Mitchell  <mark@codesourcery.com>
2415
2416         PR c++/8355
2417         * decl.c (grokfndecl): Set up DECL_TEMPLATE_INFO before calling
2418         set_decl_namespace.
2419         * name-lookup.c (set_decl_namespace):
2420
2421 2005-11-18  Mike Stump  <mrs@apple.com>
2422
2423         * cp-objcp-common.h (LANG_HOOKS_LOOKUP_NAME): Add.
2424         * name-lookup.c (lookup_name_two): Remove.
2425         (lookup_name_one): Add.
2426         * name-lookup.h (lookup_name_two): Remove.
2427         (lookup_name_one): Add.
2428
2429 2005-11-15  Jason Merrill  <jason@redhat.com>
2430
2431         PR c++/24580
2432         * method.c (locate_copy): Also use skip_artificial_parms here.
2433         (synthesize_exception_spec): Use CLASS_TYPE_P rather than checking
2434         for RECORD_TYPE.
2435         (locate_ctor): Abort if we fail to find a default constructor.
2436
2437 2005-11-15  Mike Stump  <mrs@apple.com>
2438
2439         * name-lookup.c (lookup_name_two): Add.
2440         * name-lookup.h: Likewise.
2441
2442 2005-11-15  Mark Mitchell  <mark@codesourcery.com>
2443
2444         PR c++/24667
2445         * typeck.c (check_for_casting_away_constness): Use the diag_fn.
2446         (build_const_cast_1): Call it, for C-style casts.
2447
2448 2005-11-14  Mark Mitchell  <mark@codesourcery.com>
2449
2450         PR c++/24687
2451         * pt.c (check_explicit_specialization): Don't check for C linkage.
2452         (push_template_decl_real): Likewise.
2453         * parser.c (cp_parser_explicit_specialization): Check here.
2454         (cp_parser_template_declaration_after_export): And here.
2455
2456         * parser.c (cp_lexer_get_preprocessor_token): Initialize keyword
2457         field.
2458
2459 2005-11-14  Jason Merrill  <jason@redhat.com>
2460
2461         PR c++/24580
2462         * method.c (locate_ctor): Skip all artificial parms, not just
2463         'this'.
2464
2465 2005-11-14  Mark Mitchell  <mark@codesourcery.com>
2466
2467         * parser.c (eof_token): Add initializer for ambiguous_p.
2468
2469 2005-11-13  Mark Mitchell  <mark@codesourcery.com>
2470
2471         PR c++/24817
2472         * decl.c (check_redeclaration_exception_specification): New
2473         function.
2474         (duplicate_decls): Use it.
2475         * error.c (fndecl_to_string): Print the template parameter list.
2476
2477         PR c++/20293
2478         * cxx-pretty-print.c (pp_cxx_statement): Print qualifying scopes
2479         for namespaces.
2480         (pp_cxx_original_namespace_definition): Likewise.
2481         * name-lookup.c (ambiguous_decl): Don't issue error messages;
2482         instead return lists of ambiguous candidates.
2483         (select_decl): Handle ambiguous namespace lookups.
2484         * parser.c (cp_token): Add ambiguous_p.
2485         (cp_lexer_get_preprocessor_token): Set it.
2486         (cp_parser_diagnose_invalid_type_name): Avoid duplicate messages
2487         when a qualified name uses an invalid scope.
2488         (cp_parser_primary_expression): Print ambiguous candidates.
2489         (cp_parser_type_parameter): Adjust comment to reflect new
2490         parameter name for cp_parser_lookup_name.
2491         (cp_parser_template_argument): Likewise.
2492         (cp_parser_elaborated_type_specifier): Likewise.
2493         (cp_parser_namespace_name): Likewise.
2494         (cp_parser_class_name): Print ambiguous candidates.
2495         (cp_parser_lookup_name): Rename ambiguous_p parameter to
2496         ambiguous_decls.  Use it to return a list of ambiguous candiates
2497         when a lookup is ambiguous.
2498         (cp_parser_lookup_name_simple): Adjust comment to reflect new
2499         parameter name for cp_parser_lookup_name.
2500
2501 2005-11-12  Jakub Jelinek  <jakub@redhat.com>
2502
2503         PR c++/24780
2504         * typeck.c (complete_type): Set TYPE_NEEDS_CONSTRUCTING
2505         and TYPE_HAS_NONTRIVIAL_DESTRUCTOR flags for all variants
2506         of array type.
2507
2508         PR c++/24761
2509         * pt.c (tsubst_copy_asm_operands): New function.
2510         (tsubst_expr) <case ASM_EXPR>: Use it.
2511
2512 2005-11-08  Jakub Jelinek  <jakub@redhat.com>
2513
2514         PR c++/19450
2515         * decl.c (redeclaration_error_message): Issue diagnostics about
2516         olddecl and newdecl disagreement on __thread property.
2517         (grokdeclarator): Set DECL_TLS_MODEL on class static variables.
2518
2519 2005-11-08  Jason Merrill  <jason@redhat.com>
2520
2521         PR c++/21123
2522         * method.c (use_thunk): Use build_cplus_new instead of
2523         force_target_expr.
2524
2525 2005-11-06  Jason Merrill  <jason@redhat.com>
2526             James A. Morrison <phython@gcc.gnu.org>
2527
2528         PR c++/17256
2529         * decl2.c (cp_finish_file): Fix conditions for undefined warning.
2530         Set TREE_NO_WARNING instead of TREE_PUBLIC.
2531         * pt.c (instantiate_pending_templates): Set DECL_INITIAL to avoid
2532         a warning on a function we didn't instantiate because of excessive
2533         recursion.
2534
2535 2005-11-06  Mark Mitchell  <mark@codesourcery.com>
2536
2537         * class.c (record_subobject_offsets): Don't record offsets past
2538         biggest empty class for non-empty base classes.
2539         (layout_class_type): Use TYPE_SIZE_UNIT, not TYPE_SIZE, when
2540         keeping track of the size of emptyclasses.
2541
2542         PR c++/21308
2543         * class.c (sizeof_biggest_empty_class): New variable.
2544         (record_subobject_offsets): Don't record offsets past biggest
2545         empty class for data members.  Replace vbases_p parameter with
2546         is_data_member parameter.
2547         (build_base_field): Adjust call.
2548         (layout_class_type): Likewise.  Maintain
2549         sizeof_biggest_empty_class.
2550
2551 2005-11-05  Kazu Hirata  <kazu@codesourcery.com>
2552
2553         * decl2.c, init.c, typeck.c: Fix comment typos.
2554
2555 2005-11-04  Richard Guenther  <rguenther@suse.de>
2556
2557         PR c++/22487
2558         * init.c (build_vec_init): Build comparison of matching
2559         types.
2560
2561 2005-11-03  Josh Conner  <jconner@apple.com>
2562
2563         PR c++/19989
2564         pt.c (tsubst): Accept zero-length array if tf_error is set
2565         in complain flags.  Change error message for negative-
2566         length array.
2567
2568 2005-11-04  Joseph S. Myers  <joseph@codesourcery.com>
2569
2570         * cp-tree.h (cp_cpp_error), error.c (cp_cpp_error): Take va_list*
2571         parameter.
2572
2573 2005-11-03  Joseph S. Myers  <joseph@codesourcery.com>
2574
2575         PR c++/17964
2576         * error.c (cp_cpp_error): New function.
2577         * cp-tree.h (cp_cpp_error): Declare.
2578         * parser.c (cp_lexer_new_main): Set CPP option client_diagnostic
2579         and error callback after lexing.
2580
2581 2005-11-03  Mark Mitchell  <mark@codesourcery.com>
2582
2583         PR c++/21627
2584         * pt.c (register_specialization): Update inline flags on clones.y
2585
2586 2005-11-03  Andrew Pinski  <pinskia@physics.uc.edu>
2587
2588         PR c++/24582
2589         * decl.c (declare_local_label): Return 0 for variables
2590         with error_mark_node as their types.
2591
2592 2005-11-02  Mark Mitchell  <mark@codesourcery.com>
2593
2594         PR c++/22434
2595         * call.c (build_conditional_expr): Do bad conversions, if there's
2596         no other choice.
2597
2598         PR c++/24560
2599         * parser.c (cp_parser_postfix_dot_deref_expression): Improve error
2600         message for use of overloaded functions on LHS of "." operator.
2601
2602         PR c++/19253
2603         * parser.c (cp_parser_postfix_expression): Use
2604         cp_parser_elaborated_type_specifier to handle typename-types in
2605         functional casts.
2606         (cp_parser_enclosed_argument_list): Skip ahead to the end of the
2607         template argument list if the closing ">" is not found.
2608
2609         PR c++/24569
2610         * pt.c (instantiate_decl): Use cp_finish_decl, not
2611         finish_static_data_member_decl.
2612
2613 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
2614
2615         * decl.c (grokfndecl): Remove the setting
2616         of the return type of the function type
2617         of main after erroring about must returning
2618         int.
2619
2620 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
2621
2622         PR C++/23229
2623         * decl.c (grokfndecl): Create a new function type
2624         after erroring out about main not returning int.
2625
2626 2005-10-28  Josh Conner  <jconner@apple.com>
2627
2628         PR c++/22153
2629         * parser.c (cp_parser_member_declaration): Detect and handle
2630         a template specialization.
2631
2632 2005-10-28  Andrew Pinski  <pinskia@physics.uc.edu>
2633
2634         PR C++/23426
2635         * decl.c (start_decl): Check that the decl is an
2636         error_mark_node before getting the type.
2637         Remove the check for the decl's type being an
2638         error_mark_node.
2639
2640 2005-10-21  Mark Mitchell  <mark@codesourcery.com>
2641
2642         PR c++/24260
2643         * parser.c (cp_parser_init_declarator): Pass attributes to
2644         grokfield.
2645
2646 2005-10-20  Mark Mitchell  <mark@codesourcery.com>
2647
2648         PR c++/22618
2649         * search.c (accessible_p): Check access in the outermost set of
2650         template parameters.
2651
2652 2005-10-20  Richard Guenther  <rguenther@suse.de>
2653
2654         * decl.c (grokdeclarator): Fix ambiguous pedwarn message.
2655
2656 2005-10-18  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2657
2658         PR c++/22293
2659         * decl.c (grokdeclarator): Reject unqualified destructors in
2660         friend declarations.
2661
2662 2005-10-18  Mark Mitchell  <mark@codesourcery.com>
2663
2664         PR c++/23293
2665         * pt.c (convert_template_argument): Use canonical type variants in
2666         template specializations.
2667
2668 2005-10-18  Nathan Sidwell  <nathan@codesourcery.com>
2669
2670         PR c++/21383
2671         * name-lookup.c (arg_assoc): Template args can be null in a
2672         template-id-expr.
2673
2674         PR c++/22604
2675         * class.c (update_vtable_entry_for_fn): Don't process invalid
2676         covariant overriders.
2677
2678         PR c++/23118
2679         * cp-tree.h (add_method): Add return value.
2680         * class.c (add_method): Return success indicator.
2681         * semantics.c (finish_member_declaration): Don't add an invalid
2682         method to the method list.
2683
2684 2005-10-17  Mark Mitchell  <mark@codesourcery.com>
2685
2686         PR c++/21908
2687         * call.c (build_new_method_call): Do not show VTT parameters to
2688         the user.
2689
2690 2005-10-17  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2691
2692         PR c++/23440
2693         * parser.c (cp_parser_statement): If the parser reached CPP_EOF,
2694         only complain about missing statement.
2695
2696 2005-10-17  Nathan Sidwell  <nathan@codesourcery.com>
2697
2698         PR c++/24386
2699         * cp-tree.h (BASELINK_QUALIFIED_P): New.
2700         * pt.c (tsubst_copy_and_build): <CALL_EXPR case>: Use it.
2701         * typeck.c (finish_class_member_access_expr): Set it.
2702
2703         PR c++/21353
2704         * decl.c (check_default_argument): Don't check
2705         processing_template_decl or uses_template_parms here.
2706         (grokparms): Only call check_default_argument when not processing
2707         a template decl.
2708         * parser.c (cp_parser_late_parsing_default_arg): Call
2709         check_default_argument when not processing a template decl.
2710
2711 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
2712
2713         PR c++/24389
2714         * decl2.c (mark_used): Use uses_template_parms instead of
2715         dependent_type_p.
2716         * init.c (constant_value_1): Handle uninstantiated templates
2717         specially.
2718         * pt.c (instantiate_decl): Add sanity check.
2719
2720 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
2721
2722         PR c++/22173
2723         * typeck.c (check_template_keyword): Fix thinko.
2724
2725 2005-10-16  Andrew Pinski  <pinskia@physics.uc.edu>
2726
2727         PR c++/23959
2728         * decl.c (pop_switch): Only call c_do_switch_warnings
2729         when not processing templates.
2730
2731 2005-10-16  Mark Mitchell  <mark@codesourcery.com>
2732
2733         PR c++/22173
2734         * cp-tree.h (QUALIFIED_NAME_IS_TEMPLATE): New macro.
2735         (check_template_keyword): New function.
2736         (finish_id_expression): Change prototoype.
2737         (finish_qualified_id_expr): Change prototype.
2738         (build_qualified_name): New function.
2739         (finish_class_member_access_expr): Change prototype.
2740         * init.c (build_offset_ref): Use build_qualified_name.
2741         * mangle.c (write_expression): Likewise.
2742         * parser.c (cp_parser_primary_expression): Remove qualifying_class
2743         parameter.  Add address_p and template_arg_p.  Use
2744         build_qualified_name.
2745         (cp_parser_id_expression): Default *template_p to
2746         template_keyword_p.  Check for invalid uses of the template
2747         keyword.
2748         (cp_parser_postfix_expression): Eliminate special handling for
2749         qualified names.  Adjust call to cp_parser_primary_expression.
2750         (cp_parser_postfix_dot_deref_expression): Adjust call to
2751         cp_parser_id_expression and finish_class_member_access_expr.
2752         (cp_parser_template_argument_list): Add comment.
2753         (cp_parser_template_argument): Adjust use of
2754         cp_parser_primary_expression.  Remove call to
2755         finish_qualified_id_expr.
2756         (cp_parser_lookup_name): Use build_qualified_name.
2757         * pt.c (tsubst): Use build_qualified_name.
2758         (tsubst_qualified_id): Likewise.  Adjust call to
2759         finish_qualified_id_expr.
2760         (tsubst_copy): Use build_qualified_name.
2761         (tsubst_copy_and_build): Adjusts call to finish_id_expression and
2762         finish_class_member_access_expr.
2763         * semantics.c (finish_non_static_data_member): Use
2764         build_qualified_name.
2765         (finish_qualified_id_expr): Add template_p and template_arg_p
2766         parameters.
2767         (finish_id_expression): Remove qualifiying_class parameter.  Add
2768         template_p, done, address_p, and template_arg_p.  Use
2769         build_qualified_name.  Adjust calls to
2770         finish_class_member_acess_expr.
2771         * tree.c (build_qualified_name): New function.
2772         * typeck.c (check_template_keyword): New function.
2773         (finish_class_member_access_expr): Add template_p argument.  Check
2774         for invalid uses of the template keyword.
2775
2776 2005-10-15  Mark Mitchell  <mark@codesourcery.com>
2777
2778         PR c++/21347
2779         * class.c (maybe_warn_about_overly_private_class): Lazy
2780         constructors are public.
2781
2782 2005-10-14  Mark Mitchell  <mark@codesourcery.com>
2783
2784         PR c++/19565
2785         * call.c (convert_like_real): Rely on convert_and_check to issue
2786         warnings about overflow and conversion to unsigned.
2787         * decl.c (finish_enum): Use the location of the enumerators, not
2788         the closing brace of the enumeration, when reporting warnings
2789         about conversions.
2790         (build_enumerator): Use error_mark_node for erroneous values.
2791         * typeck2.c (digest_init): Remove reference to "signature pointer"
2792         from comment.
2793
2794 2005-10-14  Nathan Sidwell  <nathan@codesourcery.com>
2795
2796         PR c++/17796
2797         * optimize.c (update_cloned_parm): Add FIRST parameter. Use it.
2798         (maybe_clone_body): Track the first clone.
2799
2800 2005-10-13  Nathan Sidwell  <nathan@codesourcery.com>
2801
2802         PR c++/23984
2803         * class.c (build_base_path): The vtable is always the first thing
2804         in the vtt.
2805
2806 2005-10-13  Mark Mitchell  <mark@codesourcery.com>
2807
2808         PR c++/20721
2809         * cp-tree.h (DECL_NONTRIVIALLY_INITIALIZED_P): New macro.
2810         * decl.c (duplicate_decls): Merge it into new declarations.
2811         (decl_jump_unsafe): Use it, rather than DECL_INITIAL.
2812         (cp_finish_decl): Set it, when appropriate.
2813
2814         PR c++/22180
2815         * call.c (build_new_method_call): Correct pretty-printing of
2816         destructor names.
2817         * pt.c (tsubst_qualified_id): Recognize invalid uses of "~T" as an
2818         identifier.
2819
2820         PR c++/23694
2821         * decl.c (start_method): Return error_mark_node for errors.
2822
2823         PR c++/23307
2824         * pt.c (push_template_decl_real): Complain about attempts to
2825         declare template variables.
2826
2827         PR c++/22352
2828         * pt.c (tsubst_template_parms): Set processing_template_decl while
2829         processing the parameters.
2830         (tsubst_decl): Set processing_template_decl when substituting into
2831         a TEMPLATE_DECL.
2832
2833         PR c++/22405
2834         * pt.c (most_specialized_instantiation): Robustify.
2835
2836         PR c++/22464
2837         * semantics.c (finish_id_expression): Issue errors about uses of
2838         local variables in containing functions even in templates.
2839
2840 2005-10-12  Danny Smith  <dannysmith@users.sourceforge.net>
2841
2842         PR target/21801
2843         PR target/23589
2844         * class.c (finish_struct_1): Call
2845         targetm.cxx.adjust_class_at_definition.
2846
2847
2848 2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>
2849
2850         PR c++/21592
2851         * pt.c (build_non_dependent_expr): Don't wrap a COMPONENT_REF
2852         with already looked up member functions.  Assert we're not
2853         returning a NON_DEPENDENT_EXPR with unknown type.
2854         * typeck.c (finish_class_member_access_expr):  We can get
2855         non-template-id-expr baselinks.  If the lookup finds a baselink,
2856         remember it even inside templates.
2857
2858         PR c++/23797
2859         * parser.c (cp_parser_functional_cast): Cope when TYPE is not a
2860         TYPE_DECL.  Use dependent_type_p to check type.
2861         * pt.c (uses_template_parms_p): Use dependent_type_p for a
2862         TYPE_DECL.
2863         (type_dependent_expression_p): Assert we've not been given a
2864         TYPE_DECL.
2865
2866         PR c++/21117
2867         * decl.c (check_function_type): Correctly overwrite incomplete
2868         return type with void type.
2869         * typeck.c (check_return_expr): If the function's return type is
2870         void, don't try and convert a return expr.
2871
2872 2005-10-12  David Edelsohn  <edelsohn@gnu.org>
2873
2874         PR c++/23730
2875         * call.c (build_object_call): If BINFO is NULL, bypass
2876         lookup_fnfields and set fns to NULL_TREE.
2877
2878 2005-10-12  Paolo Bonzini  <bonzini@gnu.org>
2879
2880         PR c++/24052
2881         * error.c (dump_expr): Pass LABEL_DECL to dump_decl.  Print
2882         an ADDR_EXPR of a LABEL_DECL as &&.
2883
2884 2005-10-12  Nathan Sidwell  <nathan@codesourcery.com>
2885
2886         PR c++/19964
2887         * class.c (walk_subobject_offsets): Don't walk error_mark_node.
2888
2889 2005-10-11  Ian Lance Taylor  <ian@airs.com>
2890
2891         PR c++/8057
2892         * cvt.c (convert_to_void): Don't warn about unused values when
2893         processing a template declaration.
2894
2895 2005-10-11  Mark Mitchell  <mark@codesourcery.com>
2896
2897         PR c++/21089
2898         * call.c (convert_like_real): Use decl_constant_value, not
2899         integral_constant_value.
2900         * init.c (constant_value_1): New function.
2901         (integral_constant_value): Use it.
2902         (decl_constant_value): Likewise.
2903         * typeck.c (decay_conversion): Use decl_constant_value, not
2904         integral_constant_value.
2905
2906         PR c++/21369
2907         * parser.c (cp_parser_elaborated_type_specifier): Don't treat
2908         class types as templates if the type is not appearing as part of a
2909         type definition or declaration.
2910
2911 2005-10-10  Mark Mitchell  <mark@codesourcery.com>
2912
2913         PR c++/24277
2914         * pt.c (instantiate_decl): Call finish_static_data_member_decl for
2915         static data members.
2916
2917 2005-10-10  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
2918             Mark Mitchell  <mark@codesourcery.com>
2919
2920         PR c++/23437
2921         * parser.c (cp_parser_template_argument_list): Do not treat
2922         contents of argument list as part of a constant expression.
2923
2924 2005-10-10  Mark Mitchell  <mark@codesourcery.com>
2925
2926         PR c++/24139
2927         * decl.c (grokdeclarator): Do not require template parameter lists
2928         for explicitly specialized class.
2929         * error.c (dump_aggr_type): Do not dump template arguments for
2930         non-primary specializations.
2931         (dump_function_name): Likewise.
2932
2933         PR c++/24275
2934         * pt.c (instantiate_decl): Instantiate the initializer of
2935         a static data member in the namespace containing the class
2936         containing the static data member.
2937
2938 2005-10-08  James A. Morrison  <phython@gcc.gnu.org>
2939
2940         PR c++/22172
2941         * parser.c (cp_parser_postfix_expression) <RID_TYPENAME>: Treat nontype
2942         scopes as nondependent.
2943
2944 2005-10-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
2945
2946         * call.c (resolve_args): Remove redundant test.
2947
2948 2005-10-05  Paolo Bonzini  <bonzini@gnu.org>
2949
2950         PR tree-optimization/21419
2951         PR tree-optimization/24146
2952         PR tree-optimization/24151
2953
2954         * semantics.c (finish_asm_stmt): Call readonly_error if outputs are
2955         read-only.  Set ASM_VOLATILE_P for asms without outputs.
2956
2957 2005-10-05  Nathan Sidwell  <nathan@codesourcery.com>
2958
2959         PR c++/23513
2960         * call.c (joust): Adjust length count to more_specialized_fn.
2961         * pt.c (more_specialized_fn): Cope with non-static member vs
2962         non-member.
2963
2964 2005-10-04  Andrew Pinski  <pinskia@physics.uc.edu>
2965
2966         PR middle-end/23125
2967         * decl.c (make_rtl_for_nonlocal_decl): Use set_user_assembler_name
2968         instead of change_decl_assembler_name.
2969
2970 2005-10-03  Alexandre Oliva  <aoliva@redhat.com>
2971
2972         * error.c (dump_type) <UNKNOWN_TYPE>: Print reworded message.
2973
2974 2005-10-03  Mark Mitchell  <mark@codesourcery.com>
2975
2976         PR c++/17775
2977         * repo.c: Include flags.h.
2978         (finish_repo): Add -frandom-seed to the arguments.
2979
2980 2005-10-02  Mark Mitchell  <mark@codesourcery.com>
2981
2982         PR c++/22621
2983         * parser.c (cp_parser_template_argument): Don't turn "T::f" into
2984         "(*this).T::f".
2985         * pt.c (convert_nontype_argument): Remove ??? comment.
2986
2987         PR c++/23840
2988         * tree.c (lvalue_p_1): A VA_ARG_EXPR with class type is an lvalue,
2989         when class rvalues are lvalues.
2990
2991 2005-09-28  Mark Mitchell  <mark@codesourcery.com>
2992
2993         PR c++/16782
2994         * decl.c (grokdeclarator): Always pedwarn about overqualified
2995         member names.
2996
2997 2005-09-27  Mark Mitchell  <mark@codesourcery.com>
2998
2999         PR c++/22147
3000         * name-lookup.c (maybe_process_template_type_declaration): Don't
3001         treat forward declarations of classes as templates just because
3002         we're processing_template_decl.
3003         * pt.c (tsubst_decl): Clear DECL_TEMPLATE_INFO for friend
3004         functions.
3005
3006 2005-09-26  Jason Merrill  <jason@redhat.com>
3007
3008         PR c++/13764
3009         * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): New macro.
3010         * name-lookup.c (pushdecl_maybe_friend): Check it.
3011         * decl.c (begin_function_body): Do nothing if it's false.
3012         (finish_function_body): Ditto.
3013         (outer_curly_brace_block): New fn.
3014         (finish_function): Use it.
3015
3016 2005-09-26  Richard Guenther  <rguenther@suse.de>
3017
3018         PR middle-end/15855
3019         * decl2.c (do_static_destruction): Remove.
3020         (finish_static_initialization_or_destruction): Likewise.
3021         (DECL_EFFECTIVE_INIT_PRIORITY): New macro.
3022         (NEEDS_GUARD_P): Likewise.
3023         (do_static_initialization): Rename to
3024         do_static_initialization_or_destruction.  Process all
3025         initializers/destructors and handle common conditionalizing.
3026         (start_static_initialization_or_destruction): Rename to
3027         one_static_initialization_or_destruction.  Handle only
3028         decl-specific conditionalizing.
3029         (cp_finish_file): Call do_static_initialization_or_destruction.
3030
3031 2005-09-22  Jakub Jelinek  <jakub@redhat.com>
3032
3033         PR c++/21983
3034         * class.c (find_final_overrider): Move diagnostic about no unique final
3035         overrider to...
3036         (update_vtable_entry_for_fn): ... here.
3037
3038 2005-09-21  Mark Mitchell  <mark@codesourcery.com>
3039
3040         PR c++/23993
3041         * init.c (integral_constant_value): Use DECL_INTEGRAL_CONSTANT_VAR_P.
3042
3043 2005-09-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3044
3045         PR c++/23965
3046         * call.c (resolve_args): Return error_mark_node on arguments
3047         whose TREE_TYPE is error_mark_node.
3048
3049 2005-09-20  Jakub Jelinek  <jakub@redhat.com>
3050
3051         PR c++/23947
3052         * rtti.c (get_pseudo_ti_init): Recompute ti pointer after
3053         get_tinfo_ptr calls.
3054
3055 2005-09-16  Mark Mitchell  <mark@codesourcery.com>
3056
3057         PR c++/23914
3058         * parser.c (cp_parser_enclosed_template_argument_list): Make sure
3059         skip_evaluation is false when processing template arguments.
3060
3061         PR c++/21514
3062         * pt.c (check_instantiated_args): Treat uses of anonymous types as
3063         causing type-deduction failure.
3064
3065 2005-09-15  Jason Merrill  <jason@redhat.com>
3066
3067         PR c++/23357
3068         * cp-tree.def (SIZEOF_EXPR, ALIGNOF_EXPR): Change code class to
3069         tcc_expression.
3070
3071 2005-09-15  Mark Mitchell  <mark@codesourcery.com>
3072
3073         PR c++/23896
3074         * pt.c (tsubst_aggr_type): Make sure skip_evaluation is false when
3075         processing template arguments.
3076
3077         * pt.c (check_explicit_instantiation_namespace): Fix typo.
3078
3079         PR c++/13140
3080         * decl.c (check_class_member_definition_namespace): New function.
3081         (grokfndecl): Use it.
3082         (grokvardecl): Likewise.
3083         (grokdecl): Improve documentation.
3084         * pt.c (check_explicit_instantiation_namespace): New function.
3085         (register_specialization): Call check_specialization_namespace
3086         when replacing an implicitly instantiated function.
3087         (check_explicit_specialization): Ensure that DECL_CONTEXT is set
3088         correctly for namespace-scope specializations.
3089         (do_decl_instantiation): Use
3090         check_explicit_instantiation_namespace.
3091         (do_type_instantiation): Likewise.
3092
3093 2005-09-15  Nathan Sidwell  <nathan@codesourcery.com>
3094
3095         PR c++/23725
3096         * error.c (dump_decl): <USING_DECL case> Use USING_DECL_SCOPE.
3097
3098 2005-09-13  Bastian Blank <waldi@debian.org>
3099
3100         PR c++/16171
3101         * mangle.c (find_substitution): Do not use special substitutions
3102         for identifiers not in std::.
3103
3104 2005-09-13  Mark Mitchell  <mark@codesourcery.com>
3105
3106         PR c++/23839
3107         * typeck.c (cxx_mark_addressable): Only check DECL_HARD_REGISTER
3108         for VAR_DECLs.
3109
3110 2005-09-13  Mark Mitchell  <mark@codesourcery.com>
3111
3112         PR c++/23842
3113         * pt.c (tsubst_default_argument): Do treat default argument
3114         expressions as occurring in the context of the function called.
3115
3116 2005-09-12  Mark Mitchell  <mark@codesourcery.com>
3117
3118         PR c++/23841
3119         * parser.c (cp_parser_primary_expression): Recognize the closing
3120         ">" of a template-argument-list after a floating-point literal as
3121         the end of a cast expression.
3122
3123 2005-09-12  Mark Mitchell  <mark@codesourcery.com>
3124
3125         PR c++/23789
3126         * cvt.c (perform_qualification_conversions): Don't create
3127         unnecessary NOP_EXPRs.
3128         * pt.c (tsubst_template_arg): Use fold_non_dependent_expr.
3129
3130 2005-09-12  Ian Lance Taylor  <ian@airs.com>
3131
3132         PR g++/7874
3133         * cp-tree.h (struct lang_decl_flags): Add hidden_friend_p
3134         bitfield.  Make dummy bitfield one bit smaller.
3135         (DECL_HIDDEN_FRIEND_P): Define.
3136         (pushdecl_maybe_friend): Declare.
3137         (pushdecl_top_level_maybe_friend): Declare.
3138         * decl.c (duplicate_decls): Add newdecl_is_friend parameter.
3139         Change prototype and all callers.  Add assertion that a
3140         DECL_ARTIFICIAL FUNCTION_DECL is not DECL_HIDDEN_FRIEND_P.  Set
3141         DECL_ANTICIPATED and DECL_HIDDEN_FRIEND_P in duplicated decl if
3142         appropriate.
3143         * name-lookup.c (supplement_binding): Don't ignore a
3144         DECL_HIDDEN_FRIEND_P.
3145         (pushdecl_maybe_friend): Break out contents of pushdecl.  Add
3146         is_friend parameter.  Set DECL_ANTICIPATED and
3147         DECL_HIDDEN_FRIEND_P for a friend function.
3148         (pushdecl): Just call pushdecl_maybe_friend.
3149         (pushdecl_with_scope): Add is_friend parameter.  Change prototype
3150         and all callers.
3151         (pushdecl_namespace_level): Likewise.
3152         (push_overloaded_decl): Likewise.  Check DECL_HIDDEN_FRIEND_P as
3153         well as DECL_ANTICIPATED when checking for a builtin.
3154         (do_nonmember_using_decl): Check DECL_HIDDEN_FRIEND_P as well as
3155         DECL_ANTICIPATED when checking for a builtin.
3156         (do_nonmember_using_decl): Likewise.
3157         (pushdecl_top_level_1): Add is_friend parameter.  Change all
3158         callers.
3159         (pushdecl_top_level_maybe_friend): New function.
3160         (remove_hidden_names): New function.
3161         (struct arg_lookup): Add args field.
3162         (friend_of_associated_class_p): New static function.
3163         (arg_assoc_namespace): Ignore hidden functions which are not
3164         friends of an associated class of some argument.
3165         (lookup_arg_dependent): Remove hidden functions from list passed
3166         in.  Initialize k.args.
3167         * name-lookup.h (remove_hidden_names): Declare.
3168         * friend.c (do_friend): Call pushdecl_maybe_friend instead of
3169         pushdecl.
3170         * call.c (add_function_candidate): Change DECL_ANTICIPATED test to
3171         an assertion, with a check for DECL_HIDDEN_FRIEND_P.
3172         (build_new_function_call): Add koenig_p parameter.  Change
3173         prototype and callers.
3174         * pt.c (register_specialization): Add is_friend parameter.  Change
3175         all callers.
3176         (push_template_decl_real): Change is_friend parameter to bool.
3177         Change prototype and all callers.
3178         (tsubst_friend_class): Call pushdecl_top_level_maybe_friend
3179         instead of pushdecl_top_level.
3180
3181 2005-09-11  Richard Henderson  <rth@redhat.com>
3182
3183         * decl2.c (build_anon_union_vars): Copy attributes from the base addr.
3184         * pt.c (tsubst_decl): Substitute in DECL_VALUE_EXPR.
3185
3186 2005-09-09  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3187
3188         * parser.c (cp_parser_translation_unit): Simplify.  The while-block
3189         was actually executed at most once.
3190
3191 2005-09-09  Richard Henderson  <rth@redhat.com>
3192
3193         PR debug/20998
3194         * cp-tree.def (ALIAS_DECL): Remove.
3195         * cp-lang.c (cp_init_ts): Remove support for it.
3196         * error.c (dump_decl): Likewise.
3197         * name-lookup.c (pushdecl): Likewise.
3198         * semantics.c (finish_id_expression): Likewise.
3199         * decl2.c (build_anon_union_vars): Use a VAR_DECL with
3200         DECL_VALUE_EXPR instead.
3201
3202 2005-09-09  Mark Mitchell  <mark@codesourcery.com>
3203
3204         PR c++/22252
3205         * decl.c (start_preparsed_function): Do not pay attention to
3206         #pragma interface for implicitly-defined methods.
3207         * decl2.c (cp_finish_file): Do not complain about uses of inline
3208         functions that have bodies, even if we decided not to emit the
3209         body in this translation unit.
3210         * semantics.c (note_decl_for_pch): Do not mess with linkage.
3211         (expand_or_defer_fn): Make inline, non-template functions COMDAT
3212         at this point.
3213
3214 2005-09-08  Richard Henderson  <rth@redhat.com>
3215
3216         PR debug/23190
3217         * decl.c (wrapup_globals_for_namespace): Call
3218         emit_debug_global_declarations.
3219         * decl2.c (cp_finish_file): Likewise.
3220
3221 2005-09-08  Mark Mitchell  <mark@codesourcery.com>
3222
3223         PR c++/23691
3224         * decl2.c (mark_used): Instantiate static data members initialized
3225         by constants, even in a template.
3226
3227 2005-09-08  Andrew Pinski  <pinskia@physics.uc.edu>
3228
3229         PR obj-c++/16816
3230         * parser.c (cp_parser_objc_selector_expression): Treat CPP_SCOPE as
3231         two CPP_COLON.
3232
3233 2005-09-07  Richard Guenther  <rguenther@suse.de>
3234
3235         * cp-gimplify.c (cp_gimplify_expr): Create empty CONSTRUCTOR
3236         for EMPTY_CLASS_EXPR.
3237
3238 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
3239
3240         PR c/23075
3241         * typeck.c (check_return_expr): Add no_warning argument.  Set
3242         *no_warning to true if "return-statement with no value, in function
3243         returning" warning has been issued.
3244         * cp-tree.h (check_return_expr): Adjust prototype.
3245         * semantics.c (finish_return_stmt): Set TREE_NO_WARNING if
3246         check_return_expr set *no_warning to true.
3247
3248 2005-09-06  Mark Mitchell  <mark@codesourcery.com>
3249
3250         * cp-tree.h (rvalue): New function.
3251         * call.c (build_conditional_expr): Use it.
3252         * init.c (build_new_1): Likewise.
3253         * rtti.c (build_dynamic_cast_1): Likewise.
3254         * tree.c (rvalue): New function.
3255         * typeck.c (build_unary_op): Use it.
3256         (build_static_cast_1): Likewise.
3257
3258         PR c++/9782
3259         * init.c (build_new_1): Make sure the entire array type is
3260         complete, not just its element types.
3261
3262 2005-09-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3263
3264         * decl.c (check_elaborated_type_specifier): Remove redundant check.
3265
3266 2005-09-06  Jakub Jelinek  <jakub@redhat.com>
3267
3268         PR c++/23056
3269         * typeck.c (ignore_overflows): New helper function.
3270         (build_static_cast_1): Use it.
3271
3272 2005-09-06  Kazu Hirata  <kazu@codesourcery.com>
3273
3274         * cp-tree.h, decl.c, decl2.c, semantics.c: Fix comment typos.
3275         Follow spelling conventions.
3276
3277 2005-09-05  Mark Mitchell  <mark@codesourcery.com>
3278
3279         PR c++/23667
3280         * pt.c (tsubst_decl): Clear DECL_TEMPLATE_INSTANTIATED when
3281         copying a VAR_DECL.
3282
3283 2005-09-05  Mark Mitchell  <mark@codesourcery.com>
3284
3285         PR c++/21440
3286         * semantics.c (finish_stmt_expr_expr): Add an explicit
3287         initialization to the last statement in the statement-expression.
3288         * (finish_stmt_expr): Adjust accordingly.
3289
3290 2005-09-03  Mark Mitchell  <mark@codesourcery.com>
3291
3292         PR c++/23699
3293         * decl2.c (mark_used): Always instantiate static data members
3294         initialized by constant expressions.
3295         * pt.c (instantiate_decl): Instantiate the initializers for static
3296         data members initialized by constant expressions.
3297
3298         PR c++/21687
3299         * semantics.c (expand_or_defer_fn): Do not call ggc_collect when
3300         finishing processing for a template function in a local class.
3301         Revert:
3302         2005-09-02  Mark Mitchell  <mark@codesourcery.com>
3303         * parser.c (cp_parser_class_specifier): Push/pop GC contexts
3304         around functions in local classes.
3305
3306 2005-09-02  Mark Mitchell  <mark@codesourcery.com>
3307
3308         PR c++/21687
3309         * parser.c (cp_parser_class_specifier): Push/pop GC contexts
3310         around functions in local classes.
3311
3312 2005-08-31  Andrew Pinski  <pinskia@physics.uc.edu>
3313
3314         PR obj-c++/23640
3315         * decl2.c (cp_finish_file): If this is obj-c++ and we need a static
3316         init, call generate_ctor_or_dtor_function.
3317
3318 2005-08-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3319
3320         PR c++/13377
3321         * parser.c (cp_parser_lookup_name): Pass LOOKUP_COMPLAIN to
3322         lookup_name_real on final parse.
3323
3324 2005-08-31  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3325
3326         PR c++/23639
3327         * semantics.c (qualified_name_lookup_error): Do not complain again
3328         on invalid scope.
3329
3330 2005-08-30  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3331
3332         PR c++/23586
3333         * parser.c (cp_parser_namespace_name): Move diagnostic for
3334         invalid namespace-name to here from ...
3335         * name-lookup.c (do_namespace_alias): ... here and ...
3336         (do_using_directive): ... here.  Remove dead code.
3337
3338 2005-08-28  Mark Mitchell  <mark@codesourcery.com>
3339
3340         PR c++/23099
3341         * cp-tree.h (saved_scope): Add skip_evaluation.
3342         * decl.c (start_decl): Use DECL_INITIALIZED_IN_CLASS_P, not
3343         DECL_INITIAL, to determine whether or not a static data member was
3344         initialized in the class-specifier.
3345         (cp_finish_decl): Add comment.
3346         * init.c (integral_constant_value): Subtitute into the
3347         initializers for static data members in templates.
3348         * name-lookup.c (push_to_top_level): Save skip_evaluation.
3349         (pop_from_top_level): Restore it.
3350         * pt.c (instantiate_class_template): Do not substitute into the
3351         intializers of static data members when instantiating a class.
3352         (regenerate_decl_from_template): Simplify.
3353         (instantiate_decl): Tidy.  Substitute into the initializer for a
3354         static data member even when the definition of the data member is
3355         not available.
3356
3357 2005-08-26  Mark Mitchell  <mark@codesourcery.com>
3358
3359         PR c++/19004
3360         * pt.c (uses_template_parms): Handle IDENTIFIER_NODE.
3361         (type_dependent_expression_p): Allow BASELINKs whose associated
3362         functions are simply a FUNCTION_DECL.
3363
3364         PR c++/23491
3365         * cp-tree.h (build_vec_init): Adjust prototype.
3366         * init.c (perform_member_init): Adjust call to build_vec_init.
3367         (build_aggr_init): Likewise.
3368         (build_new_1): Do not call build_default_init for array types.
3369         (build_vec_init): Add explicit_default_init_p parameter.  Perform
3370         default initialization of vector elements when set.
3371         * typeck.c (build_modify_expr): Adjust call to build_vec_init.
3372
3373 2005-08-25  Nathan Sidwell  <nathan@codesourcery.com>
3374
3375         PR c++/20817
3376         * typeck.c (build_x_unary_op): Make sure OFFSET_REF is not for a
3377         ->*.
3378
3379 2005-08-24  Nathan Sidwell  <nathan@codesourcery.com>
3380
3381         PR c++/22454
3382         * parser.c (cp_lexer_peek_nth_token): Relax assert.
3383
3384 2005-08-23  Nathan Sidwell  <nathan@codesourcery.com>
3385
3386         PR c++/23044
3387         * pt.c (tsubst_qualified_id): A SCOPE_REF can still remain.
3388
3389 2005-08-22  James E Wilson  <wilson@specifix.com>
3390
3391         PR tree-optimization/23426
3392         * decl.c (grokdeclarator): Use TYPE_SIZE_UNIT not TYPE_SIZE for
3393         array size check.
3394
3395 2005-08-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3396
3397         PR c++/22233
3398         * pt.c (push_template_decl_real): Return error_mark_node if the
3399         number of template parameters does not match previous definition.
3400
3401 2005-08-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3402
3403         PR c++/23089
3404         * decl.c (require_complete_types_for_parms): Mark incomplete types
3405         as invalid.
3406
3407 2005-08-19  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3408
3409         * parser.c (cp_parser_nth_token_starts_template_argument_list_p):
3410         Fix typo in leading comment.
3411
3412 2005-08-15  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3413
3414         * name-lookup.c, ptree.c: Delete HOST_PTR_PRINTF.
3415
3416 2005-08-15 Fariborz Jahanian <fjahanian@apple.com>
3417
3418         * cp-tree.h (can_convert_arg, fn_type_unification): New argument.
3419         * call.c (add_template_candidate_real): Pass down 'flags' to
3420         fn_type_unification.
3421         (can_convert_arg): New 'flags' argument. Pass it to call to
3422         implicit_conversion instead of LOOKUP_NORMAL.
3423         (can_convert): Add LOOKUP_NORMAL to call to can_convert_arg.
3424         * class.c (resolve_address_of_overloaded_function): Ditto.
3425         (resolve_address_of_overloaded_function): Ditto.
3426         * decl.c (reshape_init, check_default_argument): Ditto.
3427         * typeck.c (build_ptrmemfunc): Ditto.
3428         * pt.c (type_unification_real): Add 'flags' argument.
3429         (fn_type_unification): Pass 'flags' to type_unification_real.
3430         (type_unification_real): Pass new 'flags' argument to call to
3431         can_convert_arg.
3432
3433 2005-08-12  Giovanni Bajo  <giovannibajo@libero.it>
3434             Nathan Sidwell  <nathan@codesourcery.com>
3435
3436         PR c++/21799
3437         PR c++/8271
3438         * pt.c (unify) <METHOD_TYPE>: Check this-pointer cv-qualifiers
3439         explicitly.
3440
3441 2005-08-12  Nathan Sidwell  <nathan@codesourcery.com>
3442
3443         PR c++/21799
3444         Revert my 2005-07-08 patch
3445         * pt.c (type_unification_real): Remove is_method_argument and
3446         assoicated checks.
3447         (fn_type_unification, unify): Adjust type_unification_real calls.
3448
3449 2005-08-11  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3450
3451         PR c++/23266
3452         * decl2.c (grokfield): Check that method is not static before
3453         marking it as pure.
3454
3455 2005-08-11  Nathan Sidwell  <nathan@codesourcery.com>
3456
3457         PR c++/23219
3458         * name-lookup.c (pushtag): Process the template type before
3459         altering the identifier lookup fields.  Remove unreachable code
3460         creating an empty stub decl.
3461
3462 2005-08-10  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3463
3464         PR c++/20646
3465         * decl.c (grokdeclarator): Reset storage_class after error.
3466
3467 2005-08-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3468
3469         PR c++/22508
3470         * init.c (build_new_1): Check for empty candidate list.
3471
3472 2005-08-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3473
3474         PR c++/23191
3475         * pt.c (tsubst) <case METHOD_TYPE>: Check for error_mark_node
3476         before calling build_exception_variant.
3477
3478 2005-08-06  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3479
3480         PR c++/19498
3481         * pt.c (tsubst_decl) <case TEMPLATE_DECL>: Return ERROR_MARK_NODE
3482         if substitution of template args did not succeed.
3483
3484 2005-08-06  Michael Matz  <matz@suse.de>
3485
3486         * method.c (use_thunk): Call init_insn_lengths.
3487
3488 2005-08-05  James A. Morrison  <phython@gcc.gnu.org>
3489
3490         PR c++/22514
3491         * name-lookup.c (cp_emit_debug_info_for_using): Do nothing if
3492         sorrycount or errorcount are nonzero.
3493
3494 2005-08-05  Mark Mitchell  <mark@codesourcery.com>
3495
3496         * name-lookup.c (pushtag): Remove accidental commit from:
3497         2004-12-21  Mark Mitchell  <mark@codesourcery.com>
3498         PR c++/19063
3499         * decl.c (grokdeclarator): Return error_mark_node, not
3500         void_type_node, to indicate errors.
3501         * parser.c (cp_parser_template_parameter_list): Robustify.
3502         (cp_parser_template_parameter): Likewise.
3503
3504 2005-08-01  Kazu Hirata  <kazu@codesourcery.com>
3505
3506         * class.c, decl.c, name-lookup.c, pt.c, typeck.c, typeck2.c:
3507         Fix comment typos.
3508
3509 2005-07-29  Kazu Hirata  <kazu@codesourcery.com>
3510
3511         * method.c: Fix a comment typo.
3512
3513 2005-07-28  Mark Mitchell  <mark@codesourcery.com>
3514
3515         PR c++/22545
3516         * call.c (add_builtin_candidate): Adjust for changes in
3517         representation of pointer-to-member types.
3518
3519 2005-07-28  Mike Stump  <mrs@apple.com>
3520
3521         * pt.c (check_explicit_specialization): Add visibility logic.
3522         (lookup_template_class): Likewise.
3523         (instantiate_class_template): Likewise.
3524
3525 2005-07-27  Devang Patel  <dpatel@apple.com>
3526
3527         * name-lookup.c (pushtag): Do no set DECL_IGNORED_P bit.
3528
3529 2005-07-25  Ian Lance Taylor  <ian@airs.com>
3530
3531         * ptree.c (cxx_print_identifier): Print a leading space if the
3532         indent level is 0.
3533
3534 2005-07-24  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3535
3536         * call.c (convert_for_arg_passing): Check function pointers when
3537         -Wmissing-format-attribute is activated.
3538         * typeck.c (convert_for_assignment): Likewise.
3539
3540 2005-07-22  Manfred Hollstein  <mh@suse.com>
3541
3542         * parser.c (cp_parser_declaration): Fix unitialised warnings.
3543
3544 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
3545
3546         * class.c (build_base_path): Fix typo.
3547
3548 2005-07-21  Andrew Pinski  <pinskia@physics.uc.edu>
3549
3550         PR C++/22358
3551         * class.c (build_base_path): Convert BINFO_OFFSET to the correct type.
3552
3553 2005-07-21  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3554
3555         * call.c: Fix comment typo(s).
3556         * cxx-pretty-print.h: Likewise.
3557         * name-lookup.c: Likewise.
3558         * parser.c: Likewise.
3559
3560 2005-07-20  Douglas Gregor <doug.gregor@gmail.com>
3561
3562         PR c++/2922
3563         * semantics.c (perform_koenig_lookup): For dependent calls, just
3564         return the set of functions we've found so far. Later, it will be
3565         augmented by those found through argument-dependent lookup.
3566         * name-lookup.c (lookup_arg_dependent): Implement DR 164 by removing
3567         the optimization that skips namespaces where the functions were
3568         originally found.
3569
3570 2005-07-20  Giovanni Bajo  <giovannibajo@libero.it>
3571
3572         Make CONSTRUCTOR use VEC to store initializers.
3573         * call.c (convert_default_arg): Update call to digest_init.
3574         * class.c (dump_class_hierarchy, dump_array): Update to cope with
3575         VEC in CONSTRUCTOR_ELTS.
3576         * cp-tree.h (EMPTY_CONSTRUCTOR_P): Likewise.
3577         (finish_compound_literal, digest_init): Update declaration.
3578         * decl.c (struct reshape_iter): New data type.
3579         (reshape_init_array): Rename to...
3580         (reshape_init_array_1): Update to cope with VEC in CONSTRUCTOR_ELTS.
3581         (reshape_init): Rewrite from scratch. Split parts into...
3582         (reshape_init_array, reshape_init_vector, reshape_init_class,
3583         reshape_init_r): New functions.
3584         (check_initializer): Update call to reshape_init. Remove obsolete
3585         code.
3586         (initialize_artificial_var, cp_complete_array_type): Update to cope
3587         with VEC in CONSTRUCTOR_ELTS.
3588         * decl2.c (grokfield): Update calls to digest_init.
3589         (mark_vtable_entries): Update to cope with VEC in CONSTRUCTOR_ELTS.
3590         * error.c (dump_expr_init_vec): New function.
3591         (dump_expr): Use dump_expr_init_vec.
3592         * init.c (build_zero_init, build_vec_init): Update to cope with VEC
3593         in CONSTRUCTOR_ELTS.
3594         (expand_default_init): Update call to digest_init.
3595         * parser.c  (cp_parser_postfix_expression): Use a VEC for the
3596         initializers.
3597         (cp_parser_initializer_list): Build a VEC of initializers.
3598         * pt.c (tsubst_copy, tsubst_copy_and_build): Update to cope with VEC
3599         in CONSTRUCTOR_ELTS.
3600         * rtti.c (tinfo_base_init, generic_initializer, ptr_initializer,
3601         ptm_initializer, class_initializer, get_pseudo_ti_init): Use
3602         build_constructor_from_list instead of build_constructor.
3603         * semantics.c (finish_compound_literal): Update call to digest_init.
3604         * tree.c (stabilize_init): Update to cope with VEC in
3605         CONSTRUCTOR_ELTS.
3606         * typeck.c (build_ptrmemfunc1): Likewise.
3607         * typeck2.c: (cxx_incomplete_type_error, split_nonconstant_init_1):
3608         Likewise.
3609         (store_init_value): Use build_constructor_from_list and update call
3610         to digest_init.
3611         (digest_init): Rewrite.
3612         (process_init_constructor): Rewrite from scratch. Split into...
3613         (process_init_constructor_array, picflag_from_initializer,
3614         process_init_constructor_record, process_init_constructor_union):
3615         New functions.
3616         (PICFLAG_ERRONEOUS, PICFLAG_NOT_ALL_CONSTANT, PICFLAG_NOT_ALL_SIMPLE):
3617         New macros.
3618         (build_functional_cast): Use build_constructor_from_list instead of
3619         build_constructor.
3620
3621 2005-07-18  Mark Mitchell  <mark@codesourcery.com>
3622
3623         PR c++/22263
3624         * cp-tree.h (instantiate_decl): Change prototype.
3625         * decl2.c (mark_used): Adjust accordingly.
3626         * pt.c (do_decl_instantiation): Likewise.
3627         (instantiate_class_member): Likewise.
3628         (instantiate_decl): Rename undefined_ok as expl_inst_class_mem_p.
3629         Clear DECL_INTERFACE_KNOWN for an explicitly instantiated template
3630         that has no definition available.
3631         (instantiate_pending_templates): Adjust call to instantiate_decl.
3632
3633 2005-07-17  Mark Mitchell  <mark@codesourcery.com>
3634
3635         PR c++/22139
3636         * cp-tree.h (DECL_TEMPLATE_INFO): Improve documentation.
3637         * decl.c (duplicate_decls): Re-register template specializations
3638         for functions that have DECL_TEMLPLATE_INFO, even if they do not
3639         have DECL_TEMPLATE_INSTANTIATION set.
3640
3641 2005-07-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3642
3643         * call.c (diagnostic_fn_t): New.
3644         (build_temp, convert_like_real): Use diagnostic_fn_t.
3645
3646 2005-07-15  Mark Mitchell  <mark@codesourcery.com>
3647
3648         PR c++/22204
3649         * repo.c (repo_emit_p): Robustify.
3650
3651 2005-07-14  Daniel Berlin  <dberlin@dberlin.org>
3652
3653         Fix PR c++/22452
3654         * tree.c (decl_linkage): Don't check DECL_COMDAT on CONST_DECL.
3655
3656 2005-07-15  Mark Mitchell  <mark@codesourcery.com>
3657
3658         PR c++/22132
3659         * call.c (implicit_conversion): Add c_cast_p parameter.
3660         (standard_conversion): Likewise.  Allow conversions between
3661         differently-qualified pointer types when performing a C-style
3662         cast.
3663         (add_function_candidate): Adjust callee.
3664         (build_builtin_candidate): Likewise.
3665         (build_user_type_conversion_1): Likewise.
3666         (conditional_conversion): Likewise.
3667         (can_convert_arg): Likewise.
3668         (can_convert_arg_bad): Likewise.
3669         (perform_implicit_conversion): Likewise.
3670         * cp-tree.h (comp_ptr_ttypes_const): Declare.
3671         * typeck.c (comp_ptr_ttypes_const): Give it external linkage.
3672         Return bool.
3673
3674 2005-07-12  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3675             Nathan Sidwell  <nathan@codesourcery.com>
3676
3677         PR c++/20172
3678         * pt.c (tsubst_template_parms): Check for invalid non-type
3679         parameters.
3680
3681 2005-07-09  Andrew Pinski  <pinskia@physics.uc.edu>
3682
3683         * cp-lang.c (shadowed_var_for_decl, decl_shadowed_for_var_lookup,
3684         decl_shadowed_for_var_insert): Move over to cp-objcp-common.c.
3685         (cp_init_ts): Call init_shadowed_var_for_decl.
3686         Remove include of gt-cp-cp-lang.h.
3687         * cp-objcp-common.c (shadowed_var_for_decl,
3688         decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Moved from
3689         cp-lang.c.
3690         (init_shadowed_var_for_decl): New function to initialize
3691         shadowed_var_for_decl.
3692         Include gt-cp-cp-objcp-common.h.
3693         * Make-lang.in (gt-cp-lang.h): Remove.
3694         (gt-cp-cp-objcp-common.h): Add.
3695         (cp/cp-lang.o): Remove dependancy on gt-cp-lang.h.
3696         (cp/cp-objcp-common.o): Add dependancy on gt-cp-cp-objcp-common.h.
3697         * config-lang.in (gtfiles): Remove cp-lang.c and Add cp-objcp-common.c.
3698         * cp-tree (init_shadowed_var_for_decl): Add prototype.
3699
3700 2005-07-08  Daniel Berlin  <dberlin@dberlin.org>
3701
3702         * Make-lang.in: Add gt-cp-lang.h.
3703         (cp-lang.o): Ditto.
3704         * class.c (create_vtable_ptr): Stop setting DECL_ASSEMBLER_NAME on
3705         the field.
3706         * config-lang.in: Add cp-lang.c to gtfiles.
3707         * cp-lang.c: Include hashtab.h.
3708         (cp_init_ts): New function.
3709         (LANG_HOOK_INIT_TS): Use macro.
3710         (decl_shadowed_for_var_lookup): New function.
3711         (decl_shadowed_for_var_insert): Ditto.
3712         * cp-tree.h (THUNK_FUNCTION_CHECK): Use decl_common.
3713         (NON_THUNK_FUNCTION_CHECK): Ditto.
3714         (DECL_NAMESPACE_ASSOCIATIONS): Use decl_non_common.
3715         (DECL_INIT_PRIORITY): Ditto.
3716         (DECL_HAS_SHADOWED_FOR_VAR_P): Ditto.
3717         (DECL_SHADOWED_FOR_VAR): Use hashtable.
3718         (SET_DECL_SHADOWED_FOR_VAR): Ditto.
3719         * decl.c (duplicate_decls): Update for new/updated structures.
3720         (poplevel): Use SET_DECL_SHADOWED_FOR_VAR.
3721         * decl2.c (start_static_initialization_or_destruction): Deal with
3722         priority.
3723         * pt.c (tsubst_decl): Check TS_DECL_WRTL before doing
3724         SET_DECL_RTL.
3725         * tree.c (handle_init_priority_attribute): Handle priority.
3726
3727 2005-07-08  Nathan Sidwell  <nathan@codesourcery.com>
3728
3729         PR c++/21799
3730         * pt.c (type_unification_real): Add is_method argument.  Use it
3731         for this pointer unification.
3732         (fn_type_unification): Adjust type_unification_real call.
3733         (unify): Likewise.
3734
3735 2005-07-07  Nathan Sidwell  <nathan@codesourcery.com>
3736
3737         * pt.c (type_unification_real): Remove allow_incomplete argument.
3738         Remove unreachable code.
3739         (fn_type_unification): Adjust call to type_unification_real.
3740         (unify): Likewise.
3741
3742 2005-07-05  Paolo Bonzini  <bonzini@gnu.org>
3743
3744         * Makefile.in (class.o, decl2.o): Adjust dependencies.
3745         * class.c: Include tree-dump.h.
3746         * decl2.c: Include tree-dump.h.
3747
3748 2005-07-02  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3749
3750         * dump.c: Use dump_string_field.
3751
3752 2005-07-03  Joseph S. Myers  <joseph@codesourcery.com>
3753
3754         * cp-tree.h (GCC_DIAG_STYLE): #undef before defining.  Change
3755         minimum GCC version for format checking to 4.1.
3756
3757 2005-07-02  Kazu Hirata  <kazu@codesourcery.com>
3758
3759         * Make-lang.in (cc1plus-checksum.c): Use
3760         build/genchecksum$(build_exeext), not build/genchecksum$(exeext).
3761
3762 2005-07-02  Joseph S. Myers  <joseph@codesourcery.com>
3763
3764         * name-lookup.c, parser.c: Use %q, %< and %> to quote in
3765         diagnostics.
3766
3767 2005-07-02  Zack Weinberg  <zack@codesourcery.com>
3768             Joseph S. Myers  <joseph@codesourcery.com>
3769
3770         * error.c (location_of): Add comment.
3771         (locate_error, cp_error_at, cp_warning_at, cp_pedwarn_at): Remove.
3772         * cp-tree.h (cp_error_at, cp_warning_at, cp_pedwarn_at): Remove.
3773         * call.c, class.c, decl.c, decl2.c, friend.c, init.c,
3774         name-lookup.c, parser.c, pt.c, search.c, semantics.c, typeck.c,
3775         typeck2.c: Use '+' flag instead of %J, cp_error_at, cp_warning_at
3776         or cp_pedwarn_at.  Mark up some diagnostic strings with N_.
3777
3778 2005-06-30  Daniel Berlin  <dberlin@dberlin.org>
3779
3780         * decl.c (require_complete_types_for_parms): Call relayout_decl
3781         instead of layout_decl.
3782
3783 2005-06-30  Zack Weinberg  <zack@codesourcery.com>
3784             Jakub Jelinek  <jakub@redhat.com>
3785
3786         * cp-lang.c: No need to include cxx-pretty-print.h.
3787         * error.c (cp_printer): Update signature.  No need to process
3788         flags.
3789         (print_instantiation_partial_context): Output last newline
3790         with pp_base_newline.
3791         * Make-lang.in: Update dependencies.
3792
3793 2005-06-30  Steven Bosscher  <stevenb@suse.de>
3794
3795         * decl.c (start_decl): Replace DECL_THREAD_LOCAL with
3796         DECL_THREAD_LOCAL_P.
3797         (cp_finish_decl): Likewise.
3798         (grokvardecl): Set the default DECL_TLS_MODEL here.
3799
3800 2005-06-28  Joseph S. Myers  <joseph@codesourcery.com>
3801
3802         * cvt.c (ocp_convert): Use invalid_conversion hook.
3803         * typeck.c (build_binary_op): Use invalid_binary_op hook.
3804         (build_unary_op): Use invalid_unary_op hook.
3805
3806 2005-06-28  Paul Brook  <paul@codesourcery.com>
3807
3808         * Make-lang.in (cp/except.o): Depend on $(TARGET_H)
3809         * except.c: Include target.h.
3810         (init_exception_processing): Initialize unwind_resume_libfunc.
3811         * doc/tm.texi: Document TARGET_ASM_TTYPE
3812
3813 2005-06-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3814
3815         * call.c (build_over_call): Pass in named argument list to
3816         `check_function_arguments'.
3817         * typeck.c (build_function_call): Likewise.
3818
3819 2005-06-26  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3820
3821         * cp-tree.h (lang_check_failed): Add noreturn attribute.
3822
3823 2005-06-25  Kelley Cook  <kcook@gcc.gnu.org>
3824
3825         * all files: Update FSF address in copyright headers.
3826
3827 2005-06-23  Jason Merrill  <jason@redhat.com>
3828
3829         PR c++/19317
3830         * semantics.c (simplify_aggr_init_expr): Use
3831         CALL_EXPR_RETURN_SLOT_OPT, not CALL_EXPR_HAS_RETURN_SLOT_ADDR.
3832
3833 2005-06-23  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3834
3835         * pt.c (register_specialization): Remove superfluous assertion.
3836
3837 2005-06-18  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
3838
3839         * call.c (convert_like_real): Add format attribute.
3840         * typeck.c (check_for_casting_away_constness,
3841         build_static_cast_1): Likewise.
3842         * typeck2.c (readonly_error, cxx_incomplete_type_diagnostic):
3843         Likewise.
3844
3845 2005-06-17  Geoffrey Keating  <geoffk@apple.com>
3846
3847         PR c++/17413
3848         * pt.c (type_unification_real): Apply template type deduction even
3849         to procedure parameters that are not dependent on a template
3850         parameter.
3851
3852 2005-06-16  Nathan Sidwell  <nathan@codesourcery.com>
3853
3854         * rtti.c (get_tinfo_decl): Avoid caching tinfo_descs when it might
3855         change.
3856         (create_pseudo_type_info): First parameter is an int.
3857
3858 2005-06-15  Nathan Sidwell  <nathan@codesourcery.com>
3859
3860         PR c++/20678
3861         * error.c (dump_expr) <COMPONENT_REF case>: Check DECL_NAME is not
3862         null.
3863
3864         * Make-lang.in: Reformat some long lines.
3865         (gt-cp-rtti.h): New target.
3866         (cp/rtti.o): Add dependency.
3867         * config-lang.in (gtfiles): Add cp/rtti.c.
3868         * cp-tree.h (CPTI_TI_DESC_TYPE, CPTI_BLTN_DESC_TYPE,
3869         CPTI_PTR_DESC_TYPE, CPTI_ARY_DESC_TYPE, CPTI_FUNC_DESC_TYPE,
3870         CPTI_ENUM_DESC_TYPE, CPTI_CLASS_DESC_TYPE,
3871         CPTI_SI_CLASS_DESC_TYPE, CPTI_VMI_CLASS_DESC_TYPE,
3872         CPTI_PTM_DESC_TYPE, CPTI_BASE_DESC_TYPE): Remove.
3873         (ti_desc_type_node, bltn_desc_type_node, ptr_desc_type_node,
3874         ary_desc_type_node, func_desc_type_node, enum_desc_type_node,
3875         class_desc_type_node, si_class_desc_type_node,
3876         vmi_class_desc_type_node, ptm_desc_type_node,
3877         base_desc_type_node): Remove.
3878         * decl.c: Adjust documentation of global trees.
3879         * rtti.c (TINFO_PSEUDO_TYPE, TINFO_VTABLE_DECL,
3880         TINFO_REAL_NAME): Remove.
3881         (struct tinfo_s): New.
3882         (enum tinfo_kind): New.
3883         (tinfo_descs): New.
3884         (get_tinfo_decl): Adjust use of tinfo descriptor.
3885         (tinfo_base_init, generic_initializer, ptr_initializer,
3886         ptm_initializer, class_initializer): Likewise.
3887         (get_pseudo_ti_init): Take descriptor index. Adjust.
3888         (create_pseudo_type_info): Likewise.
3889         (get_pseudo_ti_desc): Return descriptor index. Adjust.
3890         (create_tinfo_types): Adjust use of create_pseudo_type_info.
3891         (emit_tinfo_decl): Adjust use of tinfo descriptor.
3892
3893 2005-06-14  Roger Sayle  <roger@eyesopen.com>
3894
3895         * decl.c (grokdeclarator): Only check TREE_OVERFLOW on INTEGER_CST.
3896
3897 2005-06-13  Geoffrey Keating  <geoffk@apple.com>
3898
3899         * Make-lang.in (c++.install-man): Doesn't really depend on installdirs.
3900         (rule for installing g++.1 manpage): Does depend on installdirs.
3901
3902 2005-06-13  Nathan Sidwell  <nathan@codesourcery.com>
3903
3904         PR c++/20789
3905         * decl.c (cp_finish_decl): Clear runtime runtime initialization if
3906         in-class decl's initializer is bad.
3907
3908         PR c++/21929
3909         * parser.c (struct cp_parser): Document that scope could be
3910         error_mark.
3911         (cp_parser_diagnose_invalid_type_name): Cope with error_mark for
3912         scope.
3913         (cp_parser_nested_name_specifier): Return NULL_TREE on error.
3914         (cp_parser_postfix_expression): Deal with null or error_mark
3915         scope.
3916         (cp_parser_elaborated_type_specifier): Adjust
3917         cp_parser_nested_name_specifier call.
3918
3919         * parser (cp_parser_skip_to_end_of_block_or_statement): Cleanup.
3920
3921 2005-06-12  Roger Sayle  <roger@eyesopen.com>
3922
3923         PR c++/21930
3924         * error.c (dump_expr): UNARY_PLUS_EXPR need not handle void types.
3925         Treat CONVERT_EXPR identically to NOP_EXPR.
3926
3927 2005-06-10  Aldy Hernandez  <aldyh@redhat.com>
3928
3929         PR c++/10611
3930         * cvt.c (build_expr_type_conversion): Same.
3931         * typeck.c (build_binary_op): Handle vectors.
3932         (common_type): Same.
3933         (type_after_usual_arithmetic_conversions): Same.
3934
3935 2005-06-08  Nathan Sidwell  <nathan@codesourcery.com>
3936
3937         PR c++/19497
3938         * cp-tree.def (USING_DECL): Update documentation.
3939         * cp-tree.h (DECL_DEPENDENT_P): New.
3940         (USING_DECL_DECLS, USING_DECL_SCOPE): New.
3941         * class.c (handle_using_decl): Move most of the processing to ...
3942         * name-lookup.c (do_class_using_decl): ... here.  Make stricter.
3943         (push_using_decl): Use USING_DECL_SCOPE.
3944         (cp_emit_debug_info_for_using): Make extern.
3945         * cxx-pretty-print.c (pp_cxx_statement) <USING_DECL case>: Adjust.
3946         * name-lookup.h (cp_emit_debug_info_for_using): Declare.
3947         * pt.c (tsubst_decl) <USING_DECL case>: Use do_class_using_decl
3948         when tsubsting.
3949         (tsubst_expr): Use USING_DECL_SCOPE.
3950         * search.c (lookup_field_1): Use DECL_DEPENDENT_P.
3951         * semantics.c (finish_member_declaration): Likewise.
3952
3953 2005-06-08  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
3954
3955         PR c++/19894
3956         * pt.c (tsubst): Reject pointer-to-member of type void.
3957
3958         PR c++/20563
3959         * parser.c (cp_parser_label_declaration): Deal with invalid/missing
3960         identifiers.
3961
3962 2005-06-07  Nathan Sidwell  <nathan@codesourcery.com>
3963
3964         * cp-tree.def (DEFAULT_ARG): Adjust documentation.
3965         * cp-tree.h (DEFARG_INSTANTIATIONS): New.
3966         (struct tree_default_arg): Add instantiations member.
3967         * parser.c (cp_parser_late_parsing_default_args): Adjust to use a
3968         VEC.
3969         * pt.c (tsubst_arg_types): Likewise.
3970
3971         * parser.c (cp_parser_late_parsing_default_args): Fix overeager
3972         assert in previous patch.
3973
3974 2005-06-06  Jakub Jelinek  <jakub@redhat.com>
3975
3976         * error.c (locate_error): Use gmsgid instead of msgid for argument
3977         name.
3978         (cp_error_at, cp_warning_at, cp_pedwarn_at): Likewise.
3979
3980 2005-06-06  Nathan Sidwell  <nathan@codesourcery.com>
3981
3982         PR 21903
3983         * cp-tree.def (DEFAULT_ARG): Document TREE_CHAIN use.
3984         * parser.c (cp_parser_late_parsing_default_args): Propagate parsed
3985         argument to any early instantiations.
3986         * pt.c (tsubst_arg_types): Chain early instantiation of default arg.
3987
3988         PR c++/20637
3989         * cp-tree.h (add_method): Add using_decl parameter.
3990         * class.c (add_method): Add using_decl parameter.  Adjust error
3991         messages.
3992         (handle_using_decl): Pass the using decl to add_method.
3993         (clone_function_decl): Adjust add_member calls.
3994         * decl2.c (check_classfn): Likewise.
3995         * method.c (lazily_declare_fn): Likewise.
3996         * semantics.c (finish_member_declaration): Likewise.
3997
3998         * method.c (synthesize_method): Use inform, not warning.
3999
4000 2005-06-06  Hans-Peter Nilsson  <hp@axis.se>
4001
4002         * config-lang.in (target_libs): Remove target-gperf.
4003
4004 2005-06-05  Mark Mitchell  <mark@codesourcery.com>
4005
4006         PR c++/21619
4007         * cp-tree.h (DECL_IS_BUILTIN_CONSTANT_P): New macro.
4008         * parser.c (cp_parser_postfix_expression): Allow non-constant
4009         expressions as arguments to __builtin_constant_p.
4010         * tree.c (builtin_valid_in_constant_expr_p): Use
4011         DECL_IS_BUILTIN_CONSTANT_P.
4012
4013 2005-06-03  Mark Mitchell  <mark@codesourcery.com>
4014
4015         PR c++/21853
4016         * typeck.c (casts_away_constness_r): Do not drop cv-qualifiers on
4017         the pointed-to type for a pointer-to-member.
4018
4019         PR c++/21336
4020         * cp-tree.h (grok_op_properties): Remove friendp parameter.
4021         * decl.c (grokfndecl): Adjust call.
4022         (grok_op_properties): Determine the class of which the function is
4023         a member by looking at its DECL_CONTEXT, not current_class_type.
4024         * pt.c (tsubst_decl): Adjust call to grok_op_properties.
4025
4026 2005-06-02  Nathan Sidwell  <nathan@codesourcery.com>
4027
4028         * method.c (synthesize_method): Add addtional arg to warning call.
4029
4030         PR c++/21280
4031         * Make-lang.in (method.o): Add diagnostic.h
4032         * decl.c (start_preparsed_function): Use decl's location for file
4033         info.
4034         * decl2.c (cp_finish_file): Set input_location before synthesizing
4035         a function.
4036         (mark_used): When deferring a synthesized function, save current
4037         location.  Do not set function's location when actually
4038         synthesizing it.
4039         * method.c: #include diagnostic.h.
4040         (synthesize_method): Set the functions source location.  Show
4041         needed location if errors are emitted.
4042
4043         * decl.c (start_decl): Simplify specialization handling. Remove
4044         unneeded CLASSTYPE_TEMPLATE_INSTANTIATION check.
4045         * mangle.c (discriminator_for_local_entity): Use VEC_index.
4046
4047         PR c++/20350
4048         * decl.c (duplicate_decls): Copy all of DECL_USE_TEMPLATE.
4049
4050         PR c++/21151
4051         * name-lookup.c (pushtag): Push local class even in a template.
4052
4053 2005-05-31  Nathan Sidwell  <nathan@codesourcery.com>
4054
4055         PR c++/21165
4056         * init.c (integral_constant_value): Check the type of the
4057         initializer, not the decl.
4058
4059 2005-05-30  Mark Mitchell  <mark@codesourcery.com>
4060
4061         PR c++/21784
4062         * name-lookup.c (do_nonmember_using_decl): Ignore builtin
4063         functions, even when the used name is not a function.
4064
4065 2005-05-30  Kazu Hirata  <kazu@cs.umass.edu>
4066
4067         * operators.def, optimize.c: Update copyright.
4068
4069 2005-05-28  Mark Mitchell  <mark@codesourcery.com>
4070
4071         PR c++/21210
4072         * call.c (standard_conversion): Permit conversions to complex
4073         types if conversion to the corresponding scalar type would be
4074         permitted.
4075
4076         PR c++/21340
4077         * method.c (implicitly_declare_fn): Clear processing_template_decl
4078         when generating implicit declaration.
4079
4080 2005-05-27  Mark Mitchell  <mark@codesourcery.com>
4081
4082         PR c++/21614
4083         * typeck.c (get_member_function_from_ptrfunc): Do not attempt
4084         conversions to base classes of incomplete types.
4085
4086 2005-05-27  Ian Lance Taylor  <ian@airs.com>
4087
4088         * semantics.c (add_stmt): Add C++ frontend specific version.
4089         * cp-tree.h (STMT_IS_FULL_EXPR_P): Define.
4090         (stmts_are_full_exprs_p): Declare.
4091
4092 2005-05-27  Roger Sayle  <roger@eyesopen.com>
4093             Giovanni Bajo  <giovannibajo@gcc.gnu.org>
4094
4095         * cp-tree.def (UNARY_PLUS_EXPR): New C++ unary tree code.
4096         * parser.c (cp_parser_unary_expression): Use UNARY_PLUS_EXPR instead
4097         of CONVERT_EXPR.
4098         (cp_parser_unary_expression): Likewise.
4099         * typeck.c (build_unary_op): Likewise.
4100         * call.c (add_builtin_candidate, build_new_op): Likewise.
4101         * error.c (dump_expr): Likewise.
4102         * pt.c (tsubst_copy, tsubst_copy_and_build): Likewise.
4103         * decl.c (ambi_op_p, grok_op_properties): Likewise.
4104         * dump.c (dump_op): Likewise.
4105         * lex.c (init_operators): Likewise.
4106         * operators.def ("+"): Likewise.
4107         * cp-gimplify.c (cp_gimplify_expr): Handle UNARY_PLUS_EXPR like a
4108         conversion, if the result and argument types differ.
4109         * tree.c (fold_if_not_in_template): Fold UNARY_PLUS_EXPR much
4110         like a NOP_EXPR when !processing_template_decl.
4111
4112         * cxx-pretty-print.c (pp_cxx_cast_expression): Prototype.
4113         (pp_cxx_unary_expression): Handle new UNARY_PLUS_EXPR tree code.
4114
4115 2005-05-27  Nathan Sidwell  <nathan@codesourcery.com>
4116
4117         PR c++/21455
4118         * typeck.c (get_delta_difference): Cope with incomplete but equal
4119         classes.  Reorder if.
4120
4121         PR c++/21681
4122         * parser.c (cp_parser_late_parsing_for_member): Disable access
4123         checking for template functions.
4124
4125 2005-05-26  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4126
4127         PR c++/21768
4128         * pt.c (redeclare_class_template): Change error message according
4129         to coding conventions.
4130
4131 2005-05-26  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4132
4133         * call.c (build_op_delete_call): Fix quoting in error message.
4134
4135 2005-05-25  Richard Henderson  <rth@redhat.com>
4136
4137         PR libgcj/21692
4138         * cp-tree.h (make_alias_for): Declare.
4139         * decl2.c (build_java_method_aliases): New.
4140         (cp_finish_file): Call it.
4141         * method.c (make_alias_for): Split out from ...
4142         (make_alias_for_thunk): ... here.
4143
4144 2005-05-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4145
4146         PR c++/21686
4147         * semantics.c (finish_id_expression): Fix quoting in error message.
4148
4149 2005-05-25  DJ Delorie  <dj@redhat.com>
4150
4151         * decl.c (duplicate_decls): Move warning control from if() to
4152         warning(OPT_*).
4153         * name-lookup.c (parse_using_directive): Likewise.
4154         * parser.c (cp_parser_elaborated_type_specifier): Likewise.
4155         (cp_parser_init_declarator): Likewise.
4156         * tree.c (handle_com_interface_attribute): Likewise.
4157
4158 2005-05-24  Ziemowit Laski  <zlaski@apple.com>
4159
4160         * class.c (layout_class_type): Do not issue C++ ABI warnings
4161         for ObjC structs.
4162         * decl.c (objc_mark_locals_volatile): Streamline by calling
4163         objc_volatilize_decl().
4164         * parser.c (cp_parser_objc_message_expression): Allow simple
4165         type specifiers (instead of merely type names) as message
4166         receivers.
4167         * pt.c (template_args_equal): Do not call objc_comptypes().
4168         * typeck.c (composite_pointer_type): If both pointers are
4169         ObjC-esque, arbitrarily choose the first; do not call
4170         objc_comptypes().
4171         (comptypes): Do not call objc_comptypes().
4172         (convert_for_assignment): Call objc_compare_types().
4173         (comp_ptr_ttypes_real): Call objc_type_quals_match() before
4174         concluding that types do not match.
4175
4176 2005-05-24  Andrew Pinski  <pinskia@physics.uc.edu>
4177
4178         PR C++/21645
4179         * optimize.c (update_cloned_parm): Copy the TYPE also from the
4180         original one.
4181
4182 2005-05-19  Jakub Jelinek  <jakub@redhat.com>
4183
4184         PR c++/21495
4185         * decl.c (grokdeclarator): Fix "storage class specified for"
4186         error reporting.
4187
4188 2005-05-19  Kazu Hirata  <kazu@cs.umass.edu>
4189
4190         * parser.c: Fix comment typos.
4191
4192 2005-05-18  Geoffrey Keating  <geoffk@apple.com>
4193
4194         * Make-lang.in (cc1plus-dummy): New.
4195         (cc1plus-checksum.c): New.
4196         (cc1plus-checksum.o): New.
4197         (cc1plus): Add cc1plus-checksum.o.
4198
4199 2005-05-17  H.J. Lu  <hongjiu.lu@intel.com>
4200
4201         PR C++/19664
4202         * decl2.c (determine_visibility): Don't set visibility to
4203         hidden if it has been set explicitly by user.
4204
4205 2005-05-17  Ziemowit Laski  <zlaski@apple.com>
4206             Mike Stump  <mrs@apple.com>
4207
4208         Yet more Objective-C++...
4209
4210         * cp-objcp-common.h (cxx_get_alias_set): Move from
4211         here...
4212         (cxx_warn_unused_global_decl): Likewise.
4213         (cp_expr_size): Likewise.
4214         (cp_tree_size): Likewise.
4215         (cp_var_mod_type_p): Likewise.
4216         (cxx_initialize_diagnostics): Likewise.
4217         (cxx_types_compatible_p): Likewise.
4218         * cp-tree.h: to here.
4219         (do_poplevel): Add.
4220         * lex.c (D_OBJC): Add.
4221         (init_reswords): Add.
4222         * Make-lang.in (cp/pt.o): Add cp/cp-objcp-common.h.
4223         * parser.c: Add c-common.h include.
4224         * pt.c: Add c-common.h and cp-objcp-common.h includes.
4225         (template_args_equal): Use objc_comptypes as well.
4226         (tsubst_copy_and_build): Use objcp_tsubst_copy_and_build as well.
4227         * semantics.c (do_poplevel): Remove static.
4228
4229         * decl.c (objc_mark_locals_volatile): Don't change decls that are
4230         already ok.
4231         * decl2.c (generate_ctor_or_dtor_function): Add code to initialize
4232         Objective C++ early enough.
4233         * lex.c (struct resword reswords): Add Objective-C++ support.
4234         * parser.c (cp_lexer_get_preprocessor_token): Add Objective-C++.
4235         (cp_parser_objc_message_receiver): Add.
4236         (cp_parser_objc_message_args): Likewise.
4237         (cp_parser_objc_message_expression): Likewise.
4238         (cp_parser_objc_encode_expression): Likewise.
4239         (cp_parser_objc_defs_expression): Likewise.
4240         (cp_parser_objc_protocol_expression): Likewise.
4241         (cp_parser_objc_selector_expression): Likewise.
4242         (cp_parser_objc_expression): Likewise.
4243         (cp_parser_objc_visibility_spec): Likewise.
4244         (cp_parser_objc_method_type): Likewise.
4245         (cp_parser_objc_protocol_qualifiers): Likewise.
4246         (cp_parser_objc_typename): Likewise.
4247         (cp_parser_objc_selector_p): Likewise.
4248         (cp_parser_objc_selector): Likewise.
4249         (cp_parser_objc_method_keyword_params): Likewise.
4250         (cp_parser_objc_method_tail_params_opt): Likewise.
4251         (cp_parser_objc_interstitial_code): Likewise.
4252         (cp_parser_objc_method_signature): Likewise.
4253         (cp_parser_objc_method_prototype_list): Likewise.
4254         (cp_parser_objc_method_definition_list): Likewise.
4255         (cp_parser_objc_class_ivars): Likewise.
4256         (cp_parser_objc_identifier_list): Likewise.
4257         (cp_parser_objc_alias_declaration): Likewise.
4258         (cp_parser_objc_class_declaration): Likewise.
4259         (cp_parser_objc_protocol_declaration): Likewise.
4260         (cp_parser_objc_protocol_refs_opt): Likewise.
4261         (cp_parser_objc_superclass_or_category): Likewise.
4262         (cp_parser_objc_class_interface): Likewise.
4263         (cp_parser_objc_class_implementation): Likewise.
4264         (cp_parser_objc_end_implementation): Likewise.
4265         (cp_parser_objc_declaration): Likewise.
4266         (cp_parser_objc_try_catch_finally_statement): Likewise.
4267         (cp_parser_objc_synchronized_statement): Likewise.
4268         (cp_parser_objc_throw_statement): Likewise.
4269         (cp_parser_objc_statement): Likewise.
4270         (cp_parser_primary_expression): Add Objective-C++.
4271         (cp_parser_statement): Likewise.
4272         (cp_parser_declaration): Likewise.
4273         (cp_parser_simple_type_specifier): Likewise.
4274         (cp_parser_type_name): Likewise.
4275         (cp_parser_parameter_declaration_list): Likewise.
4276         (cp_parser_member_declaration) Likewise.
4277         * tree.c: Include debug.h.
4278         * typeck.c (composite_pointer_type): Add Objective-C++ support.
4279         (finish_class_member_access_expr): Likewise.
4280         (build_function_call): Allow objc to rewrite FUNCTION_DECLs.
4281         (build_modify_expr): Allow objc to generate write barriers.
4282
4283         * Make-lang.in (cp/tree.o): Add debug.h.
4284         * tree.c (lvalue_p_1, case CONST_DECL): Add.
4285
4286 2005-05-18  Jan Hubicka  <jh@suse.cz>
4287
4288         * method.c: Include tree-pass.h
4289         (use_thunk): Lower body before expanding.
4290
4291 2005-05-17  Jakub Jelinek  <jakub@redhat.com>
4292
4293         PR c++/21454
4294         * decl.c (maybe_deduce_size_from_array_init): Call
4295         cp_apply_type_quals_to_decl after completing array type.
4296
4297 2005-05-16  Richard Henderson  <rth@redhat.com>
4298
4299         * decl.c (build_library_fn_1): Move setting TREE_NOTHROW ...
4300         (build_library_fn): ... here.
4301
4302 2005-05-12  Ian Lance Taylor  <ian@airs.com>
4303
4304         * cp-tree.h (cp_stmt_codes): Don't define.
4305         (statement_code_p): Declare.
4306         (STATEMENT_CODE_P): Define.
4307         * lex.c (statement_code_p): Define.
4308         (cxx_init): Use actual codes in stmt_codes initializer, not
4309         cp_stmt_codes macro.  Initialize statement_code_p directly, rather
4310         than using INIT_STATEMENT_CODES.
4311
4312 2005-05-09  Mark Mitchell  <mark@codesourcery.com>
4313
4314         * typeck.c (build_unary_op): Do not resort to address arithmetic
4315         when taking the address of a COMPONENT_REF.
4316
4317 2005-05-08  Kazu Hirata  <kazu@cs.umass.edu>
4318
4319         * class.c (vtbl_init_data_s): Change the type of fns to
4320         VEC(tree,gc)*.
4321         (build_vtbl_initializer, add_vcall_offset, add_vcall_offset):
4322         Use VEC instead of VARRAY.
4323
4324 2005-05-07  Richard Sandiford  <rsandifo@redhat.com>
4325
4326         * mangle.c: Remove a reference to the MIPS -mint64 option.
4327
4328 2005-05-07  Kazu Hirata  <kazu@cs.umass.edu>
4329
4330         * decl.c (wrapup_globals_for_namespace): Use VEC instead of
4331         VARRAY.
4332         * name-lookup.c (add_decl_to_level, begin_scope): Likewise.
4333         * name-lookup.h (cp_binding_level): Change the type of
4334         static_decls to VEC(tree,gc)*.
4335
4336         * mangle.c (globals): Change the type of substitutions to
4337         VEC(tree,gc)*.
4338         (dump_substitution_candidates, add_substitution,
4339         find_substitution, finish_mangling, init_mangle): Use VEC
4340         instead of VARRAY.
4341
4342 2005-05-06  Kazu Hirata  <kazu@cs.umass.edu>
4343
4344         * decl2.c (spew_debug): Remove.
4345
4346         * decl2.c (ssdf_decls, start_static_storage_duration_function,
4347         generate_ctor_or_dtor_function): Use VEC instead of VARRAY.
4348
4349         * decl2.c (pending_statics, note_vague_linkage_var,
4350         cp_finish_file): Use VEC instead of VARRAY.
4351         (pending_statics_used): Remove.
4352
4353 2005-05-05  Kazu Hirata  <kazu@cs.umass.edu>
4354
4355         * decl2.c (deferred_fns, note_vague_linkage_fn,
4356         cp_finish_file): Use VEC instead of VARRAY.
4357
4358 2005-05-05  Mark Mitchell  <mark@codesourcery.com>
4359
4360         PR c++/21352
4361         * pt.c (build_non_dependent_expr): Use is_overloaded_fn.
4362
4363 2005-05-05  Kazu Hirata  <kazu@cs.umass.edu>
4364
4365         * pt.c: Fix a comment typo.
4366
4367 2005-05-04  Kazu Hirata  <kazu@cs.umass.edu>
4368
4369         * cp-tree.h (language_function): Change the type of
4370         x_local_names to VEC.
4371         * decl.c (push_local_name): Adjust uses of local_names.
4372
4373 2005-05-03  Kazu Hirata  <kazu@cs.umass.edu>
4374
4375         * friend.c, lex.c, mangle.c, repo.c: Update copyright.
4376
4377 2005-05-02  Kazu Hirata  <kazu@cs.umass.edu>
4378
4379         * class.c (local_classes, init_class_processing): Use VEC
4380         instead of VARRAY.
4381         * cp-tree.h (local_classes): Likewise.
4382         * mangle.c (discriminator_for_local_entity): Likewise.
4383         * name-lookup.c (pushtag): Likewise.
4384
4385         * class.c (current_lang_depth, push_lang_context,
4386         pop_lang_context): Use VEC instead of VARRAY.
4387         * cp-tree.h (saved_scope): Use VEC for lang_base instead of
4388         VARRAY.
4389         * name-lookup.c (push_to_top_level): Use VEC instead of
4390         VARRAY.
4391
4392 2005-05-02  Paolo Bonzini  <bonzini@gnu.org>
4393
4394         * semantics.c (finish_call_expr): Call resolve_overloaded_builtin
4395         for BUILT_IN_MD built-ins.
4396
4397 2005-05-02  Michael Matz  <matz@suse.de>
4398
4399         PR c++/19542
4400         * cp-tree.h (cp_tree_index): Remove CPTI_NULL, to be defined in C
4401         common frontend.
4402         (null_node): Remove.
4403         * lex.c (cxx_init): Move null_node initialisation to C common frontend.
4404
4405 2005-04-25  Ian Lance Taylor  <ian@airs.com>
4406
4407         * cp-tree.def: Add EXPR_STMT.
4408         * cp-tree.h (cp_stmt_codes): Add EXPR_STMT.
4409         (EXPR_STMT_EXPR): Define.
4410         * cp-gimplify.c: Include "flags.h".
4411         (gimplify_expr_stmt): New static function.
4412         (cp_gimplify_expr): Handle EXPR_STMT.
4413         * cxx-pretty-print.c (pp_cxx_statement): Use pp_cxx_expression
4414         rather than pp_expression.
4415         (pp_cxx_statement): Handle EXPR_STMT.
4416         * dump.c (cp_dump_tree): Handle EXPR_STMT.
4417         * lex.c (cxx_init): Don't use c_common_stmt_codes in stmt_codes
4418         initializer.
4419
4420 2005-04-25  Andrew Pinski  <pinskia@physics.uc.edu>
4421
4422         PR C++/21188
4423         * rtti.c (ifnonnull): Cast the zero comparison operand
4424         to the correct type.
4425
4426 2005-04-24  Jakub Jelinek  <jakub@redhat.com>
4427
4428         PR middle-end/20991
4429         * class.c: Include cgraph.h.
4430         (cp_fold_obj_type_ref): Set node->local.vtable_method.
4431         * Make-lang.in (cgraph.o): Depend on $(CGRAPH_H).
4432
4433 2005-04-12  Markus F.X.J. Oberhumer  <markus@oberhumer.com>
4434
4435         * mangle.c (write_builtin_type): Handle integer types which are
4436         not one of the shared integer type nodes and emit a "vendor
4437         extended builtin type" with an encoding in the form of "u5int96".
4438
4439 2005-04-24  Ian Lance Taylor  <ian@airs.com>
4440
4441         * cp-tree.def (USING_STMT): Change class to tcc_statement.
4442         (TRY_BLOCK, EH_SPEC_BLOCK, HANDLER, CLEANUP_STMT): Likewise.
4443         (IF_STMT, FOR_STMT, WHILE_STMT, DO_STMT): Likewise.
4444         (BREAK_STMT, CONTINUE_STMT, SWITCH_STMT): Likewise.
4445
4446 2005-04-23  DJ Delorie  <dj@redhat.com>
4447
4448         * call.c, class.c, cvt.c, decl.c, decl2.c, except.c, friend.c,
4449         init.c, lex.c, mangle.c, method.c, name-lookup.c, parser.c,
4450         repo.c, rtti.c, tree.c, typeck.c, typeck2.c: Adjust warning()
4451         callers.
4452
4453 2005-04-22  Per Bothner  <per@bothner.com>
4454
4455         * decl.c (make_rtl_for_nonlocal_decl): Don't try get_fileinfo if
4456         input_filename is NULL, as it is for (say) __PRETTY_FUNCTION__.
4457
4458 2005-04-22  Alexandre Oliva  <aoliva@redhat.com>
4459
4460         PR c++/21087
4461         * name-lookup.c (push_overloaded_decl): Do not overload with
4462         non-duplicate anticipated built-in.
4463
4464 2005-04-21  Kazu Hirata  <kazu@cs.umass.edu>
4465
4466         * cp-tree.h (THROW_NAME, AUTO_VTABLE_NAME, AUTO_TEMP_FORMAT,
4467         VTABLE_BASE, VTABLE_NAME_PREFIX, STATIC_NAME_FORMAT): Remove.
4468
4469 2005-04-21  Nathan Sidwell  <nathan@codesourcery.com>
4470
4471         * cp-tree.h: Adjust for new VEC API.
4472         Define VEC(tree_pair_s,gc).
4473         (struct save_scope): Adjust.
4474         (struct lang_type_class): Adjust.
4475         (unemitted_tinfo_decls): Adjust.
4476         * class.c (add_method, resort_type_method_vec,
4477         finish_struct_methods, struct find_final_overrider_data,
4478         dfs_find_final_overrider_pre, find_final_overrider,
4479         get_vcall_index, warn_hidden, walk_subobject_offsets,
4480         check_methods, fixup_inline_methods, end_of_class,
4481         warn_about_ambiguous_bases, finish_struct, build_vtbl_initializer,
4482         add_vcall_offset): Adjust.
4483         * decl.c (xref_basetypes, finish_method): Adjust.
4484         * decl2.c (check_classfn): Adjust.
4485         * init.c (sort_mem_initializers, push_base_cleanups): Adjust.
4486         * method.c (do_build_copy_constructor): Adjust.
4487         * name-lookup.c (new_class_binding, store_binding,
4488         store_bindings, store_class_bindings): Adjust.
4489         * name-lookup.h: Define VEC(cxx_saved_binding,gc),
4490         VEC(cp_class_binding,gc).
4491         (struct cp_binding_level): Adjust.
4492         * parser.c: Define VEC(cp_token_position,heap).
4493         (struct cp_lexer): Adjust.
4494         (cp_lexer_new_main, cp_lexer_new_from_tokens, cp_lexer_destroy,
4495         cp_lexer_save_tokens): Adjust.
4496         * pt.c (retrieve_specialization,
4497         check_explicit_specialization): Adjust.
4498         * rtti.c (unemitted_tinfo_decls): Adjust.
4499         (init_rtti_processing, get_tinfo_decl, get_pseudo_ti_init,
4500         get_pseudo_ti_desc): Adjust.
4501         * search.c (dfs_access_in_type, lookup_conversion_operator,
4502         lookup_fnfields_1, dfs_walk_once, dfs_walk_once_accessible,
4503         dfs_get_pure_virtuals, lookup_conversions_r, binfo_for_vbase): Adjust.
4504         * semantics.c: Define VEC(deferred_access,gc).
4505         (push_deferring_access_checks): Adjust.
4506         * typeck2.c (abstract_virtuals_error): Adjust.
4507
4508 2005-04-20  Ian Lance Taylor  <ian@airs.com>
4509
4510         * cp-tree.def: Add STMT_EXPR.
4511         * cp-tree.h (STMT_EXPR_NO_SCOPE): Define.
4512         (STMT_EXPR_STMT): Define.
4513         * cxx-pretty-print.c (pp_cxx_primary_expression): Handle
4514         STMT_EXPR.
4515         (pp_cxx_expression): Likewise.
4516         (pp_cxx_statement): Call pp_cxx_statement, not pp_statement.
4517         * dump.c (cp_dump_tree): Handle STMT_EXPR.
4518
4519 2005-04-18  Kazu Hirata  <kazu@cs.umass.edu>
4520
4521         * decl.c (expand_static_init): Call build2 and build3 instead
4522         of build.
4523
4524         * cp-tree.h (VPTR_NAME, VPTR_NAME_P): Remove.
4525
4526 2005-04-17  Ian Lance Taylor  <ian@airs.com>
4527
4528         * cp-tree.def: Add SIZEOF_EXPR, ARROW_EXPR and ALIGNOF_EXPR.
4529         * cxx-pretty-print.c (pp_cxx_postfix_expression): Handle
4530         ARROW_EXPR.
4531         (pp_cxx_unary_expression): Handle SIZEOF_EXPR and ALIGNOF_EXPR.
4532         (pp_cxx_expression): Handle ARROW_EXPR, SIZEOF_EXPR, and
4533         ALIGNOF_EXPR.
4534         * typeck.c (cxx_sizeof_or_alignof_type): Update call to
4535         c_sizeof_or_alignof_type for change in parameter type.
4536
4537 2005-04-16  Mark Mitchell  <mark@codesourcery.com>
4538
4539         PR c++/21025
4540         * typeck.c (cxx_sizeof_or_alignof_type): Check whether the type to
4541         which sizeof/alignof is dependent, rather than just whether we are
4542         processing_template_decl.
4543
4544 2005-04-17  Kazu Hirata  <kazu@cs.umass.edu>
4545
4546         * cp-tree.h (LOOKUP_GLOBAL): Remove.
4547         (LOOKUP_ONLYCONVERTING, DIRECT_BIND, LOOKUP_NO_CONVERSION,
4548         LOOKUP_DESTRUCTOR, LOOKUP_NO_TEMP_BIND, LOOKUP_PREFER_TYPES,
4549         LOOKUP_PREFER_NAMESPACES, LOOKUP_CONSTRUCTOR_CALLABLE): Adjust
4550         their values.
4551
4552 2005-04-15  Richard Henderson  <rth@redhat.com>
4553
4554         PR middle-end/14311
4555         * semantics.c (finish_call_expr): Call resolve_overloaded_builtin.
4556
4557 2005-04-15  Kazu Hirata  <kazu@cs.umass.edu>
4558
4559         * cp-tree.h (lang_type_class): Remove redefined.  Move
4560         java_interface into where redefined was.  Increment the width
4561         of dummy.
4562         (TYPE_REDEFINED): Remove.
4563
4564 2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
4565
4566         * cp-tree.h (SET_TMPL_ARG, ENUM_TI_TEMPLATE, ENUM_TI_ARGS,
4567         CLASSTYPE_TEMPLATE_LEVEL): Remove.
4568
4569 2005-04-11  Mark Mitchell  <mark@codesourcery.com>
4570
4571         * decl2.c (determine_visibility): Don't use export_class_data.
4572         (import_export_decl): Honor TARGET_CXX_CLASS_DATA_ALWAYS_WEAK and
4573         TARGET_CXX_DETERMINE_CLASS_DATA_VISIBILITY.
4574
4575 2005-04-09  Kazu Hirata  <kazu@cs.umass.edu>
4576
4577         * cp-tree.h (cxx_alignof): Remove.
4578
4579         * cp-tree.h (DECL_ARRAY_DELETE_OPERATOR_P): Remove.
4580
4581         * cp-tree.h (EXCEPTION_CLEANUP_NAME, B_SET, B_CLR, B_TST,
4582         CONV_STATIC_CAST): Remove.
4583
4584         * pt.c (UNIFY_ALLOW_MAX_CORRECTION): Remove.
4585
4586         * cp-tree.h (VF_BINFO_VALUE, VF_BASETYPE_VALUE): Remove.
4587
4588         * cp-tree.h (cp_deprecated): Remove.
4589
4590 2005-04-08  Ian Lance Taylor  <ian@airs.com>
4591
4592         * cp-tree.def: Define FOR_STMT, WHILE_STMT, DO_STMT, BREAK_STMT,
4593         CONTINUE_STMT, SWITCH_STMT.
4594         * cp-tree.h (cp_stmt_codes): Add FOR_STMT, WHILE_STMT, DO_STMT,
4595         BREAK_STMT, CONTINUE_STMT, SWITCH_STMT.
4596         (WHILE_COND, WHILE_BODY): Define.
4597         (DO_COND, DO_BODY): Define.
4598         (FOR_INIT_STMT, FOR_COND, FOR_EXPR, FOR_BODY): Define.
4599         (SWITCH_STMT_COND, SWITCH_STMT_BODY, SWITCH_STMT_TYPE): Define.
4600         * cp-gimplify.c (enum bc_t): Define.
4601         (struct cp_gimplify_ctx, ctxp): Define.
4602         (push_context, pop_context): New static functions.
4603         (begin_bc_block, finish_bc_block): New static functions.
4604         (build_bc_goto): New static function.
4605         (gimplify_cp_loop, gimplify_for_stmt): New static functions.
4606         (gimplify_while_stmt, gimplify_do_stmt): Likewise.
4607         (gimplify_switch_stmt): Likewise.
4608         (cp_gimplify_expr): Handle FOR_STMT, WHILE_STMT, DO_STMT,
4609         SWITCH_STMT, CONTINUE_STMT, BREAK_STMT.
4610         (cp_genericize): Call push_context and pop_context.
4611         * semantics.c (finish_break_stmt): Just call build_stmt
4612         (BREAK_STMT) rather than build_break_stmt.
4613         (finish_continue_stmt): Corresponding change.
4614         * decl.c (pop_switch): Update call to c_do_switch_warnings for new
4615         parameters.
4616         * cxx-pretty-print.c (pp_cxx_statement): Handle SWITCH_STMT,
4617         WHILE_STMT, DO_STMT, FOR_STMT, BREAK_STMT, CONTINUE_STMT.
4618         * dump.c (cp_dump_tree): Likewise.
4619
4620 2005-04-08  Mark Mitchell  <mark@codesourcery.com>
4621
4622         PR c++/20905
4623         * parser.c (cp_parser_type_specifier_seq): Add is_condition
4624         parameter.
4625         (cp_parser_new_type_id): Pass it.
4626         (cp_parser_condition): Likewise.
4627         (cp_parser_conversion_type_id): Likewise.
4628         (cp_parser_type_id): Likewise.
4629         (cp_parser_type_specifier_seq): In a condition, do not allow
4630         invalid type-specifier combinations.
4631         (cp_parser_exception_declaration): Adjust call to
4632         cp_parser_type_specifier_seq.
4633
4634         * cp-tree.def (TINST_LEVEL): Document TINST_IN_SYSTEM_HEADER_P.
4635         * cp-tree.h (struct tinst_level): Add in_system_header_p.
4636         (TINST_IN_SYSTEM_HEADER_P): New macro.
4637         (make_tinst_level): Remove.
4638         * pt.c (lookup_template_class): Preserve DECL_IN_SYSTEM_HEADER on
4639         the instantiated class.
4640         (push_tinst_level): Do not use make_tinst_level.  Set
4641         TINST_IN_SYSTEM_HEADER_P.
4642         (pop_tinst_level): Likewise.
4643         (instantiate_class_template): Set in_system_header.
4644         (instantiate_pending_templates): Likewise.
4645         * tree.c (make_tinst_level): Remove.
4646
4647 2005-04-06  Joseph S. Myers  <joseph@codesourcery.com>
4648
4649         * decl.c (start_decl): Apply pending #pragma weak regardless of
4650         scope.
4651
4652 2005-04-06  Mark Mitchell  <mark@codesourcery.com>
4653
4654         PR c++/20212
4655         * pt.c (regenerate_decl_from_template): Copy attributes for
4656         parameters from the pattern to the instantiation.
4657
4658 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
4659
4660         PR c++/20734
4661         * cp-tree.def (OFFSET_REF): Correct comments.
4662         * init.c (build_offset_ref): Remove misleading comment.
4663         * typeck.c (build_unary_op): Handle pointer-to-member creation
4664         here, rather than ...
4665         (unary_complex_lvalue): ... here.
4666
4667 2005-04-06  Jason Merrill  <jason@redhat.com>
4668
4669         PR c++/19312
4670         * tree.c (stabilize_init): Don't bother trying to stabilize
4671         something with no side-effects.
4672
4673 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
4674
4675         PR c++/20763
4676         * decl.c (grokdeclarator): Correct attribute handling.
4677
4678 2005-04-05  Mark Mitchell  <mark@codesourcery.com>
4679
4680         PR c++/19159
4681         * decl2.c (import_export_decl): Use non-COMDAT external linkage
4682         for virtual tables, typeinfo, etc. that will be emitted in only
4683         one translation unit on systems without weak symbols.
4684
4685 2005-04-04  Mark Mitchell  <mark@codesourcery.com>
4686
4687         PR c++/20679
4688         * parser.c (cp_parser_template_name): Fix thinko.
4689
4690 2005-04-04  Nathan Sidwell  <nathan@codesourcery.com>
4691
4692         PR c++/20746
4693         * method.c (use_thunk): Protect covariant pointer return
4694         adjustments from NULL pointers.
4695
4696 2005-04-04  Jan Hubicka  <jh@suse.cz>
4697
4698         * decl2.c (finish_objects): Revert my previous patch.
4699         (cp_finish_file): Likewise.
4700
4701 2005-04-03  Kazu Hirata  <kazu@cs.umass.edu>
4702
4703         * pt.c: Fix comment typos.
4704
4705 2005-04-03  Nathan Sidwell  <nathan@codesourcery.com>
4706
4707         PR c++/20723
4708         * pt.c (more_specialized_fn): Member functions are unordered wrt
4709         non-members.  Conversion operators are unordered wrt other
4710         functions.
4711
4712 2005-04-01  Nathan Sidwell  <nathan@codesourcery.com>
4713
4714         * call.c (add_template_candidates_real): Remove length parameter
4715         from fn_type_unification call.
4716         * class.c (resolve_address_of_overloaded_function): Likewise
4717         * cp-tree.h (fn_type_unification): Remove length parameter.
4718         * pt.c (get_bindings_overload): Remove.
4719         (get_bindings_real): Rename to ...
4720         (get_bindings): ... here.  Remove length and strict
4721         parameters. Change return type flag to boolean.  Remove original
4722         forwarding function.
4723         (determine_specialization): Adjust get_bindings call.
4724         (fn_type_unification): Remove length parameter.  Adjust.
4725         (type_unification_real): Remove length parameter.  Adjust.
4726         (resolve_overloaded_unification): Adjust get_bindings call.
4727         (try_one_overload): Simplify confusing cascaded if control flow.
4728         (unify): Remove length paramter from type_unification_real call.
4729         (most_specialized_instantiation): Adjust get_bindings calls.
4730         (most_specialized): Likewise.
4731
4732 2005-03-31  Nathan Sidwell  <nathan@codesourcery.com>
4733
4734         PR c++/19203, implement DR 214
4735         * call.c (joust): Use more_specialized_fn.
4736         * cp-tree.h (DEDUCE_ORDER): Remove.
4737         (more_specialized): Replace with ...
4738         (more_specialized_fn): ... this.
4739         * pt.c (maybe_adjust_types_for_deduction): Remove DEDUCE_ORDER
4740         case.
4741         (type_unification_real): Remove DEDUCE_ORDER case.
4742         (more_specialized): Replace with ...
4743         (more_specialized_fn): ... this.  Implement DR 214.
4744         (most_specialized_instantiation): Use get_bindings_real directly.
4745
4746 2005-03-31  Gabriel Dos Reis  <gdr@integrable-solutions.net>
4747
4748         PR c++/18644
4749         * call.c (build_new_op): Remove check for -Wsynth.
4750
4751 2005-03-31  Jan Hubicka  <jh@suse.cz>
4752
4753         * decl2.c (finish_objects): Mark ctor as needed.
4754         (cp_finish_file): Output variables only in nonunit-at-a-time.
4755
4756 2005-03-29  Richard Henderson  <rth@redhat.com>
4757
4758         PR c/20519
4759         * decl.c (cp_complete_array_type): Rename from complete_array_type.
4760         Use the new complete_array_type in c-common.c.  Update all callers.
4761         * cp-tree.h (cp_complete_array_type): Update to match.
4762
4763 2005-03-24  Geoffrey Keating  <geoffk@apple.com>
4764
4765         * typeck.c (build_static_cast_1): Allow scalar_cast between
4766         any integral, floating, or enumeration type.
4767
4768 2005-03-24  Steven Bosscher  <stevenb@suse.de>
4769
4770         * typeck.c (comptypes): First determine if the types are compatible
4771         from a target-independent point of view.  Check target attributes
4772         last.
4773
4774         * class.c (build_base_path):
4775         (build_vbase_offset_vtbl_entries):
4776         (add_vcall_offset): Replace fold (buildN (...)) with fold_buildN.
4777         * error.c (dump_expr): Likewise.
4778         * init.c (build_zero_init, expand_cleanup_for_base,
4779         build_vec_delete_1): Likewise.
4780         * mangle.c (write_integer_cst): Likewise.
4781         * method.c (thunk_adjust): Likewise.
4782         * pt.c (convert_nontype_argument, tsubst, unify): Likewise.
4783         * tree.c (cxx_print_statistics, array_type_nelts_total): Likewise.
4784         * typeck.c (build_ptrmemfunc_access_expr,
4785         (get_member_function_from_ptrfunc): Likewise.
4786
4787 2005-03-23  Joseph S. Myers  <joseph@codesourcery.com>
4788
4789         * cp-objcp-common.h (LANG_HOOKS_TRUTHVALUE_CONVERSION): Remove.
4790
4791 2005-03-23  Joseph S. Myers  <joseph@codesourcery.com>
4792
4793         * cp-tree.h (perform_integral_promotions): Remove.
4794         (default_conversion): Add.
4795
4796 2005-03-22  Mark Mitchell  <mark@codesourcery.com>
4797
4798         * parser.c (cp_parser_warn_min_max): New function.
4799         (cp_parser_binary_expression): Use it.
4800         (cp_parser_assignment_operator_opt): Likewise.
4801         (cp_parser_operator): Likewise.
4802
4803 2005-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4804
4805         PR c++/19980
4806         * decl.c (start_preparsed_function): Robustify.
4807
4808 2005-03-22  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
4809
4810         PR c++/20499
4811         * parser.c (cp_parser_class_head): Return NULL_TREE when
4812         encountering a redefinition.
4813
4814 2005-03-22  Nathan Sidwell  <nathan@codesourcery.com>
4815
4816         PR c++/20465
4817         PR c++/20381
4818         * typeck.c (build_ptrmemfunc): Allow OFFSET_REF when processing a
4819         template.
4820
4821 2005-03-21  Paolo Carlini  <pcarlini@suse.de>
4822
4823         PR c++/20461
4824         PR c++/20536
4825         * init.c (emit_mem_initializers): Don't crash on undefined
4826         types.
4827
4828 2005-03-21  Paolo Carlini  <pcarlini@suse.de>
4829
4830         PR c++/20147
4831         * semantics.c (finish_stmt_expr_expr): Return immediately
4832         if error_operand_p (expr).
4833
4834 2005-03-21  Joseph S. Myers  <joseph@codesourcery.com>
4835
4836         * cp-tree.h (lvalue_or_else, lvalue_p): New.
4837         * typeck.c (lvalue_or_else): New.  Call lvalue_error.
4838
4839 2005-03-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
4840
4841         PR c++/20240
4842         * decl.c (decls_match): Compare context of VAR_DECL.
4843
4844 2005-03-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
4845
4846         PR c++/20333
4847         * parser.c (cp_parser_postfix_expression) <case RID_TYPENAME>:
4848         Check the return value of cp_parser_nested_name_specifier.
4849
4850 2005-03-18  Dale Johannesen <dalej@apple.com>
4851
4852         * cp/tree.c (cp_tree_equal):  Handle SSA_NAME.
4853
4854 2005-03-18  Paolo Carlini  <pcarlini@suse.de>
4855
4856         PR c++/20463
4857         * parser.c (cp_parser_diagnose_invalid_type_name):
4858         Check TYPE_BINFO (current_class_type) before attempting
4859         to emit inform messages.
4860
4861 2005-03-17  Paolo Carlini  <pcarlini@suse.de>
4862
4863         PR c++/19966
4864         * cp-tree.h (grok_op_properties): Change return type to void.
4865         * decl.c (grok_op_properties): Return early - don't check the
4866         arity - in case of a static member or an operator that cannot
4867         be non-member; tidy a bit.
4868
4869 2005-03-17  Nathan Sidwell  <nathan@codesourcery.com>
4870
4871         PR c++/20186
4872         * pt.c (contains_dependent_cast_p): Remove.
4873         (fold_non_dependent_expr): Don't use it.
4874         (value_dependent_expression_p): Use a switch statement.
4875         reference_exprs can be dependent.
4876
4877 2005-03-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
4878
4879         PR c++/4403
4880         PR c++/9783, DR433
4881         * name-lookup.c (pushtag): Skip template parameter scope when
4882         scope is ts_global.  Don't push tag into template parameter
4883         scope.
4884         * pt.c (instantiate_class_template): Reorder friend class
4885         template substitution to handle non-dependent friend class
4886         that hasn't been previously declared.
4887
4888 2005-03-14  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
4889
4890         Friend class name lookup 5/n
4891         PR c++/1016
4892         * cp-tree.h (pushtag): Adjust declaration.
4893         * decl.c (lookup_and_check_tag): Call lookup_type_scope if
4894         lookup_name fails.
4895         (xref_tag): Adjust call to pushtag.  Make hidden class visible.
4896         (start_enum): Adjust call to pushtag.
4897         * name-lookup.c (ambiguous_decl): Ignore hidden names.
4898         (qualify_lookup): Change return type to bool.
4899         (hidden_name_p): New function.
4900         (lookup_namespace_name, unqualified_namespace_lookup,
4901         lookup_name_real): Use it.
4902         (lookup_type_scope): Update comments.
4903         (maybe_process_template_type_declaration): Change parameter name
4904         from globalize to is_friend.
4905         (pushtag): Change globalize parameter of type int to tag_scope.
4906         Hide name if introduced by friend declaration.
4907         * name-lookup.h (hidden_name_p): Add declaration.
4908         * parser.c (cp_parser_lookup_name): Don't deal with hidden name
4909         here.
4910         * pt.c (push_template_decl_real): Make hidden class template
4911         visible.
4912         (lookup_template_class, instantiate_class_template): Adjust call
4913         to pushtag.
4914         * semantics.c (begin_class_definition): Likewise.
4915         * rtti.c (init_rtti_processing, build_dynamic_cast_1,
4916         tinfo_base_init, emit_support_tinfos): Use ts_current instead of
4917         ts_global.
4918
4919 2005-03-13  Mark Mitchell  <mark@codesourcery.com>
4920
4921         PR c++/20157
4922         * pt.c (determine_specialization): Reject non-specializations.
4923
4924 2005-03-11  Per Bothner  <per@bothner.com>
4925
4926         * cp-tree.h (struct cp_declarator): New id_loc field.
4927         * cp/parser.c (cp_lexer_get_preprocessor_token): Set cp_token's
4928         location using c_lex_with_flags, instead of input_location.
4929         (cp_parser_direct_declarator): Set declarator's id_loc from
4930         cp_token's id_loc.
4931
4932 2005-03-10  Jakub Jelinek  <jakub@redhat.com>
4933
4934         PR c++/18384, c++/18327
4935         * decl.c (reshape_init_array): Use UHWI type for max_index_cst
4936         and index.  Convert max_index to size_type_node if it isn't
4937         host_integerp (, 1).
4938
4939 2005-03-09  Mark Mitchell  <mark@codesourcery.com>
4940
4941         PR c++/20208
4942         * pt.c (tsubst_decl): Apply array-to-pointer and
4943         function-to-pointer conversions to function arguments.
4944         (regenerate_decl_from_template): Likewise.
4945
4946 2005-03-09  Paolo Carlini  <pcarlini@suse.de>
4947
4948         PR c++/16859
4949         * decl.c (complete_array_type): In pedantic mode, return
4950         3 for an empty initializer list as the initializer for an
4951         array of unknown bound (8.5.1/4).
4952         (maybe_deduce_size_from_array_init): Fix final test to use
4953         the above.
4954
4955 2005-03-08  Nathan Sidwell  <nathan@codesourcery.com>
4956
4957         PR c++/20186
4958         * pt.c (contains_dependent_cast_p): New.
4959         (fold_non_dependent_expr): Call it.
4960
4961 2005-03-08  Mark Mitchell  <mark@codesourcery.com>
4962
4963         PR c++/20142
4964         * cp-tree.h (target_type): Remove.
4965         * decl.c (layout_var_decl): Remove #if 0'd code.
4966         (cp_finish_decl): Remove dead code.
4967         * init.c (build_vec_init): When determining whether or not the
4968         element type has an asignment operator, look through all array
4969         dimensions.
4970         * typeck.c (target_type): Remove.
4971
4972 2005-03-07  Mark Mitchell  <mark@codesourcery.com>
4973
4974         * class.c (finish_struct_1): Do not warn about non-virtual
4975         destructors in Java classes.
4976
4977 2005-03-05  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
4978
4979         PR c++/19311
4980         * init.c (build_offset_ref): Don't build non-dependent SCOPE_REF.
4981         * pt.c (build_non_dependent_expr): Don't build NON_DEPENDENT_EXPR
4982         for OFFSET_TYPE.
4983         * typeck.c (build_x_unary_op): Don't build non-dependent SCOPE_REF.
4984         Also set PTRMEM_OK_P for NON_DEPENDENT_EXPR.
4985         (build_unary_op): Handle building ADDR_EXPR of OFFSET_REF inside
4986         template.
4987
4988 2005-03-02  Alexandre Oliva  <aoliva@redhat.com>
4989
4990         * name-lookup.c (push_overloaded_decl): Don't error if the new
4991         decl matches the old one.
4992         * decl.c (redeclaration_error_message): Likewise.
4993
4994 2005-03-01  Per Bothner  <per@bothner.com>
4995
4996         * decl.c (finish_function): Use SET_EXPR_LOCATION instead of
4997         unavailable annotate_with_file_line, if USE_MAPPED_LOCATION.
4998
4999 2005-03-01  Nathan Sidwell  <nathan@codesourcery.com>
5000
5001         PR c++/20232
5002         * class.c (update_vtable_entry_for_fn): Don't crash on invalid
5003         covariancy.
5004
5005         * cp-tree.g (THUNK_TARGET): Expand comment.
5006         * method.c (use_thunk): Make sure we also use the target, if that
5007         is a thunk.
5008
5009 2005-02-27  Jakub Jelinek  <jakub@redhat.com>
5010
5011         PR c++/20206
5012         * decl.c (cxx_comdat_group): Put thunks for
5013         TARGET_USE_LOCAL_THUNK_ALIAS_P (function) functions into the same
5014         comdat group as the thunk target.
5015
5016 2005-02-24  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5017
5018         * call.c, class.c, cp-tree.h, decl2.c, error.c, init.c, mangle.c,
5019         parser.c: Fix comment typo(s).
5020
5021 2005-02-24  Jakub Jelinek  <jakub@redhat.com>
5022
5023         PR c++/20175
5024         * decl.c (reshape_init): Don't warn about missing braces if STRING_CST
5025         initializes a char/wchar_t array.
5026
5027 2005-02-23  Mark Mitchell  <mark@codesourcery.com>
5028
5029         PR c++/19878
5030         * decl.c (grokvardecl): Set DECL_INTERFACE_KNOWN for declarations
5031         with internal linkage.
5032
5033 2005-02-23  Alexandre Oliva  <aoliva@redhat.com>
5034
5035         * decl.c (grokvardecl): Don't exempt anonymous types from having
5036         linkage for variables that have linkage other than "C".
5037
5038 2005-02-23  Kazu Hirata  <kazu@cs.umass.edu>
5039
5040         * cp-objcp-common.h, error.c: Update copyright.
5041
5042 2005-02-22  Mark Mitchell  <mark@codesourcery.com>
5043
5044         PR c++/20073
5045         * decl.c (start_decl_1): Don't clear TREE_READONLY.
5046         (cp_finish_decl): Likewise.
5047         (complete_vars): Call cp_apply_type_quals_to_decl.
5048         * typeck.c (cp_apply_type_quals): Avoid setting TREE_READONLY in
5049         cases where that's not valid.
5050
5051         PR c++/19991
5052         * init.c (integral_constant_value): Iterate if the value of a decl
5053         is itself a constant.
5054
5055         PR c++/20152
5056         * parser.c (cp_parser_class_head): Check for redefintions here.
5057         * semantics.c (begin_class_definition): Not here.
5058
5059         PR c++/20153
5060         * decl2.c (build_anon_union_vars): Add type parameter.
5061         (finish_anon_union): Pass it.
5062
5063         PR c++/20148
5064         * error.c (dump_expr): Do not print the body of a BIND_EXPR.
5065         Handle STATEMENT_LIST.
5066
5067         PR c++/19883
5068         * parser.c (cp_parser_direct_declarator): Always complain about
5069         non-constant array bounds when in a function scope.
5070         * semantics.c (finish_id_expression): Do not mark dependent names
5071         as non-constant.
5072
5073 2005-02-21  Douglas Gregor  <dgregor@cs.indiana.edu>
5074
5075         PR c++/19076
5076         PR c++/6628
5077         * cp-tree.h (cp_apply_type_quals_to_decl): Declared.
5078         * decl.c (grokdeclarator): Pedwarn about qualifying a function
5079         type.
5080         Add qualifiers when declaring a typedef of a function type.
5081         Member function pointers pick up the qualifiers of the typedef
5082         used to declare them.
5083         Don't complain about creating cv-qualified function types.
5084         Complain about qualified function typedefs that are used to
5085         declare non-static member functions or free functions.
5086         Use cp_apply_type_quals_to_decl.
5087         (start_preparsed_function): Use cp_apply_type_quals_to_decl.
5088         (grokclassfn): Use cp_apply_type_quals_to_decl.
5089         * error.c (dump_type_suffix): Print qualifiers for function
5090         types.
5091         * pt.c (tsubst_decl): Use cp_apply_type_quals_to_decl.
5092         (tsubst): When substituting a function type into a member
5093         pointer type, pass along the qualifiers.
5094         (unify): Unify member pointers to member function pointers.
5095         * tree.c (cp_build_qualified_type_real): Function types may be
5096         qualified. This includes restrict qualifiers.
5097         * typeck.c (cp_apply_type_quals_to_decl): New function to replace
5098         use of c_apply_type_quals_to_decl. Drops qualifiers that are being
5099         added to function types.
5100
5101 2005-02-20  Zack Weinberg  <zack@codesourcery.com>
5102
5103         PR 18785
5104         * cp-objcp-common.h (LANG_HOOKS_TO_TARGET_CHARSET): Set to
5105         c_common_to_target_charset.  Delete bogus comment.
5106
5107 2005-02-18  Richard Henderson  <rth@redhat.com>
5108
5109         PR libstdc++/10606
5110         * except.c (do_get_exception_ptr): New.
5111         (expand_start_catch_block): Use it.
5112
5113 2005-02-19  Jakub Jelinek  <jakub@redhat.com>
5114
5115         * decl.c (start_decl_1): Only check TYPE_NEEDS_CONSTRUCTING
5116         if type is not error_mark_node.
5117
5118 2005-01-20  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
5119
5120         PR c++/19508
5121         * decl2.c (grokfield): Do not apply attributes to template parameters
5122         as they are ignored by tsubst anyway.
5123
5124 2005-02-18  Jakub Jelinek  <jakub@redhat.com>
5125
5126         PR c++/19813
5127         * decl.c (start_decl_1): Clear TREE_READONLY flag if
5128         its type has TYPE_NEEDS_CONSTRUCTING.
5129         (complete_vars): Likewise.
5130
5131 2005-02-17  Alexandre Oliva  <aoliva@redhat.com>
5132
5133         PR c++/20028
5134         * class.c (finish_struct): Initialize TYPE_SIZE_UNIT of a
5135         template along with TYPE_SIZE.
5136
5137         PR c++/20022
5138         * semantics.c (perform_deferred_access_checks): Use
5139         get_deferred_access_checks to get the top of the stack.
5140
5141 2005-02-15  Alexandre Oliva  <aoliva@redhat.com>
5142
5143         PR c++/17788
5144         * class.c (add_implicitly_declared_members, check_field_decl)
5145         (check_field_decls, check_bases): Remove arguments, tests and
5146         assignments of cant_have_default_ctor-related variables.
5147
5148 2005-02-15  Alexandre Oliva  <aoliva@redhat.com>
5149
5150         * decl2.c (mark_used): Set the source location of the used decl to
5151         the current input location here...
5152         * method.c (synthesize_method): ... not here.  Set input_location
5153         from the decl instead.
5154
5155 2005-02-14  Nathan Sidwell  <nathan@codesourcery.com>
5156
5157         PR c++/19608
5158         * parser.c (cp_parser_late_parsing_for_member): Use
5159         current_function_decl as scope to push to and from.
5160
5161         PR c++/19884
5162         * pt.c (check_explicit_specialization): Make sure namespace
5163         binding lookup found an overloaded function.
5164         (lookup_template_function): Just assert FNS is an overloaded
5165         function.
5166
5167         PR c++/19895
5168         * decl.c (grokdeclarator): Check for error mark node in ptrmem
5169         construction.
5170
5171 2005-02-14  Alexandre Oliva  <aoliva@redhat.com>
5172
5173         PR c++/17816
5174         * decl.c (redeclaration_error_message): Report redefinition of
5175         pure virtual function.
5176
5177 2005-02-14  Nathan Sidwell  <nathan@codesourcery.com>
5178
5179         PR c++/19891
5180         * class.c (build_simple_base_path): Build the component_ref
5181         directly.
5182         (update_vtable_entry_for_fn): Walk the covariant's binfo chain
5183         rather than using lookup_base.
5184         * search.c (dfs_walk_once): Add non-recursive assert check.
5185         * typeck.c (build_class_member_access_expr): It is possible for
5186         the member type to be both const and volatile.
5187
5188 2005-02-12  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
5189
5190         PR c++/14479
5191         PR c++/19487
5192         * pt.c (maybe_check_template_type): Remove.
5193         * cp-tree.h (maybe_check_template_type): Remove prototype.
5194         * name-lookup.c (maybe_process_template_type_declaration): Don't
5195         use maybe_check_template_type.
5196
5197 2005-02-11  Richard Henderson  <rth@redhat.com>
5198
5199         PR c++/19632
5200         * pt.c (get_mostly_instantiated_function_type): Save and restore
5201         flag_access_control instead of push/pop_access_scope.
5202
5203 2005-02-10  Mark Mitchell  <mark@codesourcery.com>
5204
5205         PR c++/19755
5206         * decl.c (reshape_init): Issue warnings about missing braces.
5207
5208 2005-02-11  Kazu Hirata  <kazu@cs.umass.edu>
5209
5210         * cp-tree.def, except.c, ptree.c: Update copyright.
5211
5212 2005-02-09  Mark Mitchell  <mark@codesourcery.com>
5213
5214         PR c++/19811
5215         * call.c (build_op_delete_call): Check COMPLETE_TYPE_P before
5216         attempting name lookup.
5217
5218         * parser.c (cp_parser_unqualified_id): Initialize type_decl.
5219
5220         PR c++/19787
5221         * call.c (initialize_reference): Robustify.
5222
5223         PR ++/19732
5224         * decl.c (grokdeclarator): Check for invalid use of destructor
5225         names.
5226
5227         PR c++/19762
5228         * parser.c (cp_parser_unqualified_id): Avoid creating destructor
5229         names with invalid types.
5230
5231         PR c++/19826
5232         * parser.c (cp_parser_direct_declarator): Allow type-dependent
5233         expressions as array bounds.
5234
5235         PR c++/19739
5236         * parser.c (cp_parser_attributes_list): Allow empty lists.
5237
5238 2005-02-08  Mark Mitchell  <mark@codesourcery.com>
5239
5240         PR c++/19733
5241         * class.c (add_method): Don't set TYPE_HAS_DESTRUCTOR.
5242         (check_bases): Give warnings about a base class with a
5243         non-virtual destructor, even if it is implicit.
5244         (finish_struct_bits): Don't copy TYPE_HAS_DESTRUCTOR.
5245         (maybe_warn_about_overly_private_class): Don't use
5246         TYPE_HAS_DESTRUCTOR.
5247         (finish_struct_methods): Don't set TYPE_HAS_DESTRUCTOR.
5248         (check_for_override): Give it external linkage.
5249         (add_implicitly_declared_members): Generate destructors lazily.
5250         (check_field_decls): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR, not
5251         TYPE_HAS_DESTRUCTOR.
5252         (check_bases_and_members): Call check_methods before
5253         check_field_decls.
5254         (check_bases_and_members): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR, not
5255         TYPE_HAS_DESTRUCTOR.
5256         (finish_struct_1): Do not use TYPE_HAS_DESTRUCTOR.
5257         * cp-tree.def (PSEUDO_DTOR_EXPR): Document.
5258         * cp-tree.h (TYPE_HAS_DESTRUCTOR): Remove.
5259         (lang_type_class): Add lazy_destructor.
5260         (CLASSTYPE_LAZY_DESTRUCTOR): New macro.
5261         (CLASSTYPE_DESTRUCTORS): Robustify.
5262         (TYPE_HAS_DESTRUCTOR): Remove.
5263         (check_for_override): Declare.
5264         (build_vbase_delete): Remove.
5265         * cvt.c (convert_to_void): Issue errors about pseudo-destructor
5266         expressions.
5267         * decl.c (cxx_maybe_build_cleanup): Remove dead code.
5268         * except.c (dtor_nothrow): Lazily create destructors if necessary.
5269         (build_throw): Use TYPE_HAS_NONTRIVIAL_DESTRUCTOR.
5270         * init.c (build_delete): Lazily create destructors, if necessary.
5271         (build_vbase_delete): Remove.
5272         * method.c (locate_dtor): Simplify.
5273         (implicitly_declare_fn): Add support for destructors.
5274         * parser.c (cp_parser_lookup_name): Lazily create destructors, if
5275         necessary.
5276         * pt.c (check_explicit_specialization): Don't use
5277         TYPE_HAS_DESTRUCTOR.
5278         (instantiate_class_template): Likewise.
5279         * ptree.c (cxx_print_type): Don't print TYPE_HAS_DESTRUCTOR.
5280         * rtti.c (emit_support_tinfos): Robustify.
5281         * search.c (lookup_fnfields_1): Lazily create destructors.
5282         * typeck.c (build_class_member_access_expr): Remove
5283         PSEUDO_DTOR_EXPR handling.
5284         (lookup_destructor): Likewise.
5285
5286 2005-02-08  Kazu Hirata  <kazu@cs.umass.edu>
5287
5288         * cxx-pretty-print.c, cxx-pretty-print.h, decl.h: Update
5289         copyright.
5290
5291 2005-02-07  Mark Mitchell  <mark@codesourcery.com>
5292
5293         * parser.c (cp_lexer_start_debugging): Avoid arithmetic operations
5294         on boolean variables.
5295         (cp_lexer_stop_debugging): Likewise.
5296
5297 2005-02-03  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
5298
5299         PR c++/17401
5300         * parser.c (cp_parser_pure_specifier): Emit a specific error
5301         message with an invalid pure specifier.
5302         * decl2.c (grok_function_init): Remove.
5303         (grokfield): An initializer for a method is a always a pure
5304         specifier.
5305
5306 2005-02-02  Matt Austern  <austern@apple.com>
5307
5308         PR c++/19628
5309         * cp-tree.h (builtin_valid_in_constant_expr_p): Declare.
5310         * parser.c (cp_parser_postfix_expression): Accept function call in
5311         constant expression if builtin_valid_in_constant_expr_p is true
5312         for that function.
5313         * pt.c (value_dependent_expression_p): Handle CALL_EXPRs properly.
5314         * semantics.c (finish_id_expression): Accept function call in constant
5315         expression if builtin_valid_in_constant_expr_p is true for that
5316         function.
5317         * tree.c (builtin_valid_in_constant_expr_p): New.
5318
5319 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5320
5321         PR c++/17413
5322         * pt.c (check_instantiated_args): Improve error message.
5323         Fix logic when to print its second part.
5324
5325 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5326
5327         * cp-tree.h (complete_type_or_else): Remove macro.
5328         (complete_type_or_diagnostic): Rename to complete_type_or_else
5329         and remove last argument.
5330         * typeck.c (complete_type_or_diagnostic): Rename to
5331         complete_type_or_else and remove last argument.
5332
5333 2005-02-02  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5334
5335         * cp-tree.h (commonparms): Remove prototype.
5336         (convert_arguments): Likewise.
5337         (PFN_FROM_PTRMEMFUNC): Remove.
5338         * typeck.c (commonparms): Make static.
5339         (convert_arguments): Add prototype. Make static.
5340         (PFN_FROM_PTRMEMFUNC): Replace by pfn_from_ptrmemfunc.
5341
5342 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
5343
5344         * parser.c (cp_parser_primary_expression): Don't complain about
5345         floating-point literals in integral constant expressions when
5346         !pedantic.
5347
5348 2005-02-01  Alexandre Oliva  <aoliva@redhat.com>
5349
5350         * parser.c (cp_parser_template_id): Revert comment patch too.
5351
5352         PR c++/18757
5353         PR c++/19366
5354         PR c++/19499
5355         * parser.c (cp_parser_template_id): Revert 2004-12-09's patch.
5356         Issue an error when creating the template id.
5357         * pt.c (fn_type_unification): Return early if the explicit
5358         template arg list is an error_mark_node.
5359
5360 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
5361
5362         * decl.c (build_enumerator): Do not issue duplicate error messages
5363         about invalid enumeration constants.
5364         * parser.c (cp_parser_non_integral_constant_expression): Always
5365         set parser->non_integral_constant_expression_p.
5366         (cp_parser_primary_expression): Add cast_p parameter.  Issue
5367         errors about invalid uses of floating-point literals in
5368         cast-expressions.
5369         (cp_parser_postfix_expression): Add cast_p parameter.
5370         (cp_parser_open_square_expression): Pass it.
5371         (cp_parser_parenthesized_expression_list): Add cast_p parameter.
5372         (cp_parser_unary_expression): Likewise.
5373         (cp_parser_new_placement): Pass it.
5374         (cp_parser_direct_new_declarator): Likewise.
5375         (cp_parser_new_initializer): Likewise.
5376         (cp_parser_cast_expression): Add cast_p parameter.
5377         (cp_parser_binary_expression): Likewise.
5378         (cp_parser_question_colon_clause): Likewise.
5379         (cp_parser_assignment_expression): Likewise.
5380         (cp_parser_expression): Likewise.
5381         (cp_parser_constant_expression): If an integral constant
5382         expression is invalid, return error_mark_node.
5383         (cp_parser_expression_statement): Pass cast_p.
5384         (cp_parser_condition): Likewise.
5385         (cp_parser_iteration_statement): Likewise.
5386         (cp_parser_jump_statement): Likewise.
5387         (cp_parser_mem_initializer): Likewise.
5388         (cp_parser_template_argument): Likewise.
5389         (cp_parser_parameter_declaration): Likewise.
5390         (cp_parser_initializer): Likewise.
5391         (cp_parser_throw_expression): Likewise.
5392         (cp_parser_attribute_list): Likewise.
5393         (cp_parser_simple_cast_expression): Likewise.
5394         (cp_parser_functional_cast): Likewise.
5395         (cp_parser_late_parsing_default_args): Likewise.
5396         (cp_parser_sizeof_operand): Save/restore
5397         non_integral_constant_expression_p.
5398
5399 2005-01-31  Mike Stump  <mrs@apple.com>
5400
5401         * parser.c (cp_lexer_new_main): Get the first token, first, before
5402         doing anything.
5403
5404 2005-01-31  Mark Mitchell  <mark@codesourcery.com>
5405
5406         * decl.c (start_decl): Add missing parentheses.
5407
5408 2005-01-30  Mark Mitchell  <mark@codesourcery.com>
5409
5410         PR c++/19555
5411         * cp-tree.h (DECL_USE_TEMPLATE): Expand documentation.
5412         * decl.c (duplicate_decls): Do not discard
5413         DECL_IMPLICIT_INSTANTIATION when merging declarations.
5414         (start_decl): Do not SET_DECL_TEMPLATE_SPECIALIZATION for
5415         variables that do not have DECL_USE_TEMPLATE.
5416
5417         PR c++/19395
5418         * decl.c (grokdeclarator): Refactor code so that qualified names
5419         are never allowed as the declarator in a typedef.
5420
5421         PR c++/19367
5422         * name-lookup.c (do_nonmember_using_decl): Avoid overloading
5423         builtin declarations.
5424
5425         PR c++/19457
5426         * call.c (convert_like_real): Inline call to
5427         dubious_conversion_warnings here.
5428         * cp-tree.h (dubious_conversion_warnings): Remove.
5429         * semantics.c (finish_unary_op_expr): Copy INTEGER_CSTs before
5430         setting TREE_NEGATED_INT.
5431         * typeck.c (dubious_conversion_warnings): Remove.
5432
5433         PR c++/19349
5434         * name-lookup.c (pushdecl_namespace_level): Avoid accessing free'd
5435         memory.
5436
5437 2005-01-28  Mark Mitchell  <mark@codesourcery.com>
5438
5439         PR c++/19253
5440         * parser.c (cp_parser_diagnose_invalid_type_name): Commit to
5441         tentative parses.
5442
5443         PR c++/19667
5444         * pt.c (redeclare_class_template): Robustify.
5445
5446 2005-01-27  Steven Bosscher  <stevenb@suse.de>
5447
5448         * decl.c (finish_case_label): Use SWITCH_STMT accessor macros
5449         instead of SWITCH_EXPR ones.
5450         * pt.c (tsubst_expr): Likewise.
5451         * semantics.c (begin_switch_stmt, finish_switch_cond,
5452         finish_switch_stmt): Likewise.
5453
5454 2005-01-26  J"orn Rennecke <joern.rennecke@st.com>
5455
5456         PR c++/18370
5457         * parser.c (cp_parser_initializer_clause): Initialize *non_constant_p.
5458
5459 2005-01-25  Andrew Pinski  <pinskia@physics.uc.edu>
5460
5461         * class.c (abort_fndecl_addr): New variable.
5462         (build_vtbl_initializer): If we have a pure virtual function
5463         share the abort function's address.
5464         Include gt-cp-class.h at the end.
5465         * config-lang.in (gtfiles): Add cp/class.c.
5466
5467 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5468
5469         * cxx-pretty-print.c (pp_cxx_statement): Add prototype. Make static.
5470         (pp_cxx_function_definition): Make static.
5471         * cxx-pretty-print.h (pp_cxx_statement): Remove prototype.
5472         (pp_cxx_function_definition): Likewise.
5473
5474 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5475
5476         * name-lookup.c (print_binding_level): Make static.
5477         (constructor_name_full): Make static inline.
5478         (current_decl_namespace): Make static.
5479         * name-lookup.h (constructor_name_full): Remove prototype.
5480         (print_binding_level): Likewise.
5481         (current_decl_namespace): Likewise.
5482
5483 2005-01-25  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5484
5485         * decl.h (debug_bindings_indentation): Remove.
5486
5487 2005-01-23  Kazu Hirata  <kazu@cs.umass.edu>
5488
5489         * typeck.c: Fix a comment typo.
5490
5491 2005-01-21  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
5492
5493         PR c++/19208
5494         * pt.c (fold_decl_constant_value): Always call fold_non_dependent_expr
5495         at least once.
5496         (tsubst): Use fold_decl_constant_value in place of a bare call to
5497         integral_constant_value.
5498
5499 2005-01-20  Kazu Hirata  <kazu@cs.umass.edu>
5500
5501         * typeck.c (more_qualified_p): Remove.
5502         * cp-tree.h: Remove the corresponding prototype.
5503
5504 2005-01-19  Matt Austern  <austern@apple.com>
5505
5506         * typeck.c (comptypes): Handle return code from objc_comptypes
5507         correctly.
5508
5509 2005-01-19  Kazu Hirata  <kazu@cs.umass.edu>
5510
5511         * cp-tree.h, name-lookup.h: Remove unused prototypes.
5512
5513 2005-01-19  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
5514
5515         PR c++/19375
5516         * semantics.c (finish_id_expression): Disable access checking for
5517         already lookuped FIELD_DECL.
5518
5519 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
5520
5521         * decl.c (delete_block): Remove.
5522         * cp-tree.h: Remove the corresponding prototype.
5523
5524         * decl.c (vtable_decl_p, vtype_decl_p, walk_globals_data,
5525         walk_vtables_r, walk_vtables, walk_globals_r, walk_globals):
5526         Remove.
5527         * cp-tree.h: Remove the corresponding prototypes.
5528
5529         * tree.c (count_functions, bound_pmf_p, cp_is_overload_p,
5530         cp_update_decl_after_saving, name_p): Remove.
5531         * cp-tree.h: Remove the corresponding prototypes.
5532
5533 2005-01-18  Andrew Pinski  <pinskia@physics.uc.edu>
5534
5535         PR c/19472
5536         * semantics.c (finish_asm_stmt): Strip nops off
5537         input memory operands.
5538
5539 2005-01-18  Kazu Hirata  <kazu@cs.umass.edu>
5540
5541         * Make-lang.in, call.c, cvt.c, init.c, rtti.c, tree.c,
5542         typeck2.c: Update copyright.
5543
5544 2005-01-16  Kazu Hirata  <kazu@cs.umass.edu>
5545
5546         * class.c (get_enclosing_class): Remove.
5547         * cp-tree.h: Remove the corresponding prototypes.
5548
5549         * cvt.c (convert_lvalue): Remove.
5550         * cp-tree.h: Remove the corresponding prototype.
5551
5552         * pt.c (tinst_for_decl): Remove.
5553         * cp-tree.h: Remove the corresponding prototypes.
5554
5555         * tree.c (hash_chainon): Remove.
5556         * cp-tree.h: Remove the corresponding prototypes.
5557
5558 2005-01-15  Jakub Jelinek  <jakub@redhat.com>
5559
5560         PR c++/19263
5561         * typeck2.c (split_nonconstant_init_1) <case VECTOR_TYPE>: Put a copy
5562         of CONSTRUCTOR's node into MODIFY_EXPR, as the original is modified.
5563
5564 2005-01-12  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
5565
5566         * Make-lang.in (cp-warn): Don't append $(WERROR).
5567
5568 2005-01-10  Kazu Hirata  <kazu@cs.umass.edu>
5569
5570         * cp-tree.h: Fix a comment typo.
5571
5572 2005-01-07  Nathan Sidwell  <nathan@codesourcery.com>
5573
5574         PR c++/19298
5575         * pt.c (tsubst_qualified_id): Call convert_from_reference.
5576
5577 2005-01-06  Mark Mitchell  <mark@codesourcery.com>
5578
5579         PR c++/19244
5580         * class.c (add_implicitly_declared_members): Remove dead code.
5581         * decl.c (grokfndecl): Add sfk parameter.  Use it do set
5582         DECL_CONSTRUCTOR_P.
5583         (grokdeclarator): Adjust calls to grokfndecl.
5584         * method.c (implicitly_declare_fn): Improve documentation.
5585         * parser.c (cp_parser_direct_declarator): Do not consider a
5586         function to be a constructor if the containing class was
5587         originally anonymous.
5588
5589 2005-01-06  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
5590
5591         PR c++/17154
5592         * search.c (lookup_field_1): Handle using declaration in
5593         class template partial specialization.
5594
5595 2005-01-06  Kriang Lerdsuwanakij  <lerdsuwa@users.sourceforge.net>
5596
5597         PR c++/19258
5598         * pt.c (push_access_scope): Handle friend defined in class.
5599         (pop_access_scope): Likewise.
5600
5601 2005-01-06  Nathan Sidwell  <nathan@codesourcery.com>
5602
5603         PR c++/19270
5604         * pt.c (tsubst_copy) <ARRAY_REF case>: Handle separately.
5605         (tsubst_copy_and_build) <ARRAY_REF case>: Remove obsolete
5606         array-new handling code.  Use build_x_binary_op.
5607
5608 2005-01-05  Nathan Sidwell  <nathan@codesourcery.com>
5609
5610         PR c++/19030
5611         * cp-tree.h (start_decl): Take pointer to pushed scope, not bool.
5612         * name-lookup.h (push_scope): Return pushed scope, not flag.
5613         * name-lookup.c (push_scope): Return scope that should be popped,
5614         not a flag.
5615         * decl.c (start_decl): Adjust.
5616         (grokfndecl): Adjust scope push and pop.
5617         * decl2.c (check_classfn): Likewise.
5618         * parser.c (cp_parser_condition, cp_parser_conversion_function_id,
5619         cp_parser_init_declarator, cp_parser_direct_declarator,
5620         cp_parser_class_specifier, cp_parser_class_head,
5621         cp_parser_lookup_name,
5622         cp_parser_constructor_declarator_p): Likewise.
5623         * pt.c (instantiate_class_template,
5624         resolve_typename_type): Likewise.
5625
5626 2005-01-03  Volker Reichelt  <reichelt@igpm.rwth-aachen.de>
5627
5628         PR c++/14136
5629         * parser.c (cp_parser_unqualified_id): Do not issue error message
5630         for typedef-name as destructor declarator when performing an
5631         uncommitted tentative parse.
5632
5633 2005-01-01  Steven Bosscher  <stevenb@suse.de>
5634
5635         PR middle-end/17544
5636         * decl.c (finish_function): Fix comment.  Annotate the compiler
5637         generated return with the current file name and line 0.