OSDN Git Service

6fa120414b347ad6616ab546a981a4883e93aa47
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2008-02-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2
3         * parser.c (cp_parser_nonclass_name): New.
4         (cp_parser_pseudo_destructor_name): Use it instead of
5         cp_parser_type_name.
6         (cp_parser_type_name): Move code to cp_parser_nonclass_name.
7
8 2008-02-29  Tom Tromey  <tromey@redhat.com>
9
10         * parser.c (struct cp_token) <input_file_stack_index>: Remove.
11         (cp_lexer_get_preprocessor_token): Update.
12         (cp_lexer_set_source_position_from_token): Don't call
13         restore_input_file_stack.
14         * lex.c (cxx_init): Don't use push_srcloc or pop_srcloc.
15
16 2008-02-28  Richard Guenther  <rguenther@suse.de>
17
18         Revert:
19         2008-02-26  Richard Guenther  <rguenther@suse.de>
20
21         * decl.c (duplicate_decls): Remove decl from global mapping
22         before ggc_freeing it.
23
24 2008-02-27  Jakub Jelinek  <jakub@redhat.com>
25
26         PR c++/35368
27         * rtti.c: Include c-pragma.h.
28         (push_abi_namespace, pop_abi_namespace): New functions.
29         (build_dynamic_cast_1, tinfo_base_init, get_pseudo_ti_index,
30         create_tinfo_types, emit_support_tinfos): Use them.
31         * Make-lang.in (cp/rtti.o): Depend on $(C_PRAGMA_H).
32
33 2008-02-26  Jason Merrill  <jason@redhat.com>
34
35         PR c++/35315
36         * decl.c (grokdeclarator): Allow a typedef of an unnamed struct
37         to name the struct for linkage purposes even if it has attributes.
38         (start_decl): In that case, set ATTR_FLAG_TYPE_IN_PLACE.
39
40 2008-02-26  Tom Tromey  <tromey@redhat.com>
41
42         * parser.c (eof_token): Remove old location code.
43         (check_empty_body): Remove test of USE_MAPPED_LOCATION.
44         * decl2.c (generate_ctor_or_dtor_function): Remove old location
45         code.
46         (cp_write_global_declarations): Likewise.
47         * lex.c (cxx_init): Remove old location code.
48         (handle_pragma_implementation): Remove test of
49         USE_MAPPED_LOCATION.
50         * pt.c (tsubst): Remove old location code.
51         * error.c (cp_print_error_function): Remove test of
52         USE_MAPPED_LOCATION.
53         * decl.c (pop_label): Remove old location code.
54         (finish_function): Likewise.
55
56 2008-02-26  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
57
58         PR 26264
59         * call.c (magic_varargs_p):  Remove BUILT_IN_STDARG_START.
60         
61 2008-02-26  Richard Guenther  <rguenther@suse.de>
62
63         * decl.c (duplicate_decls): Remove decl from global mapping
64         before ggc_freeing it.
65
66 2008-02-26  Paolo Carlini  <pcarlini@suse.de>
67
68         PR c++/35323
69         * name-lookup.c (arg_assoc_type): Handle FIXED_POINT_TYPE.
70
71 2008-02-26  Manuel Lopez-Ibanez <manu@gcc.gnu.org>
72         
73         * typeck.c (build_class_member_access_expr): Add appropriate
74         OPT_W* parameter to warning.
75         (build_reinterpret_cast_1): Likewise.
76         * name-lookup.c (push_overloaded_decl): Likewise.
77         
78 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
79
80         PR c++/35333
81         * error.c (dump_expr): Handle CONJ_EXPR.
82
83 2008-02-25  Paolo Carlini  <pcarlini@suse.de>
84
85         PR c++/35338
86         * error.c (dump_type): Handle FIXED_POINT_TYPE.
87         (dump_expr): Handle FIXED_CST.
88
89 2008-02-24  Jason Merrill  <jason@redhat.com>
90
91         * parser.c (cp_parser_declaration): Handle "inline namespace".
92         (cp_parser_namespace_definition): Likewise.
93
94         PR c++/33486
95         * name-lookup.c (arg_assoc_namespace): Look down into inline 
96         namespaces, too.
97
98 2008-02-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
99
100         * typeck.c (check_for_casting_away_constness): Use 1 single
101         argument, the type of cast, to decide what diagnostics generate.
102         (build_static_cast_1): Remove unused code. Update call to
103         check_for_casting_away_constness.
104         (build_reinterpret_cast_1): Update call to
105         check_for_casting_away_constness.
106         (build_const_cast_1): Likewise.
107         
108 2008-02-24  Paolo Carlini  <pcarlini@suse.de>
109
110         * error.c (dump_expr): Don't deal directly with NEW_EXPR (and
111         VEC_NEW_EXPR), forward to pp_expression.
112         * cxx-pretty-print.c (pp_cxx_new_expression): Fix FIXME.
113
114 2008-02-24  Danny Smith  <dannysmith@users.sourceforge.net>
115
116         PR c++/34749
117         * friend.c (do_friend): Call cplus_decl_attributes earlier.
118
119 2008-02-22  Andrew Pinski  <andrew_pinski@playstation.sony.com>
120
121         PR C++/34715
122         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS for
123         template decls' function decl.
124
125 2008-02-22  Paolo Carlini  <pcarlini@suse.de>
126
127         PR c++/35282
128         Revert:
129         2008-02-14  Paolo Carlini  <pcarlini@suse.de>
130
131         PR c++/28743
132         * pt.c (determine_specialization): In case of function templates,
133         when the type of DECL does not match FN there is no match.
134
135 2008-02-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
136
137         PR c/19999
138         * typeck.c (build_binary_op): Warn about floating point
139         comparisons if FLOAT_TYPE_P, not only for REAL_TYPE.
140
141 2008-02-19  Jason Merrill  <jason@redhat.com>
142
143         PR c++/34950
144         * pt.c (resolve_overloaded_unification): Set processing_template_decl
145         while we look for possible bindings.
146
147 2008-02-19  Jakub Jelinek  <jakub@redhat.com>
148
149         PR c++/35028
150         * cp-gimplify.c (cxx_omp_clause_apply_fn): Handle vararg copy ctors.
151
152         PR c++/34964
153         PR c++/35244
154         * semantics.c (finish_omp_threadprivate): Do nothing for error_operand_p
155         vars.  Afterwards ensure v is VAR_DECL.
156
157         PR c++/35078
158         * parser.c (cp_parser_omp_for_loop): If DECL has REFERENCE_TYPE, don't
159         call cp_finish_decl.
160         * semantics.c (finish_omp_for): Fail if DECL doesn't have integral type
161         early.
162
163 2008-02-15  Douglas Gregor  <doug.gregor@gmail.com>
164
165         PR c++/35023
166         PR c++/35024
167         PR c++/35026
168         * pt.c (finish_member_template_decl): If the type in a TYPE_DECL
169         is error_mark_node, return an error early.
170         (find_parameter_packs_r): Pass the pointer set along to recursive
171         calls of cp_walk_subtrees; don't try to manage the pointer set
172         ourselves.
173         (uses_parameter_packs): Pass the pointer set to cp_walk_tree.
174         (make_pack_expansion): Ditto.
175         (check_for_bare_parameter_packs): Ditto. Also, don't bother taking
176         a second pass through the tree with find_parameter_packs_r; that
177         second pass no longer does anything.
178         (push_template_decl_real): If we have an erroneous declaration,
179         set its type to error_mark_node before returning an error.
180
181 2008-02-14  Douglas Gregor  <doug.gregor@gmail.com>
182
183         PR c++/34050
184         * pt.c (tsubst_initializer_list): Deal with the use of
185         VOID_TYPE_NODE to indicate value-initialization of the bases.
186
187 2008-02-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
188             Jason Merrill  <jason@redhat.com>
189
190         PR c++/5645
191         PR c++/11159
192         * class.c (type_has_user_nondefault_constructor): New fn.
193         * cp-tree.h: Declare it.
194         * init.c (emit_mem_initializers): Use it for -W warning about
195         missing base initializer.
196
197 2008-02-14  Paolo Carlini  <pcarlini@suse.de>
198
199         PR c++/28743
200         * pt.c (determine_specialization): In case of function templates,
201         when the type of DECL does not match FN there is no match.
202
203 2008-02-13  Jakub Jelinek  <jakub@redhat.com>
204             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
205
206         PR c++/35138
207         * parser.c (cp_parser_pseudo_destructor_name): If next tokens
208         are not identifier :: ~, return before calling cp_parser_type_name.
209
210 2008-02-13  Jason Merrill  <jason@redhat.com>
211
212         PR c++/34962, c++/34937, c++/34939
213         * decl2.c (is_late_template_attribute): Always defer attributes 
214         vector_size and weak.
215
216         PR c++/34774
217         * pt.c (value_dependent_expression_p): Look into DECL_INITIAL
218         of enumerators, too.
219
220 2008-02-12  Jason Merrill  <jason@redhat.com>
221
222         PR c++/34824
223         * call.c (convert_like_real): Pass LOOKUP_NO_CONVERSION to build_temp
224         if we're doing conversions to call a user-defined conversion function.
225
226 2008-02-12  Steven Bosscher  <steven@gcc.gnu.org>
227
228         PR c++/29048
229         * semantics.c (finish_qualified_id_expr): Avoid duplicate access
230         check here, too.
231
232 2008-02-12  Jakub Jelinek  <jakub@redhat.com>
233
234         PR c++/34862
235         * init.c (build_new_1): Don't create placement_expr before
236         constructing alloc_call.  Verify that the pointer is passed by
237         value to operator new.
238
239 2008-02-11  Jason Merrill  <jason@redhat.com>
240
241         PR c++/35097
242         * pt.c (tsubst): Don't look up a template typedef in an explicit
243         specialization.
244
245 2008-02-11  Douglas Gregor  <doug.gregor@gmail.com>
246
247        PR c++/35113
248        * tree.c (cp_build_qualified_type_real): When building a
249        cv-qualified array type, build it as a unique type with
250        build_cplus_array_type_1 and then adopt the unqualified type's
251        main variant.
252         
253 2008-02-11  Paolo Carlini  <pcarlini@suse.de>
254
255         PR c++/35077
256         * decl.c (groktypename): Check grokdeclarator return.
257
258 2008-02-10  Jason Merrill  <jason@redhat.com>
259
260         PR c++/34094
261         * decl2.c (cp_write_global_declarations): Don't write out static 
262         data members with DECL_IN_AGGR_P set.
263
264 2008-02-08  Jason Merrill  <jason@redhat.com>
265
266         PR c++/35116
267         * tree.c (build_target_expr_with_type): Handle void initializer.
268         (bot_manip): Remap slot before recursing.
269
270 2008-02-06  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
271
272         PR other/35107
273         * Make-lang.in (cc1plus-dummy, cc1plus): Add $(GMPLIBS).
274
275 2008-02-06  Alexandre Oliva  <aoliva@redhat.com>
276
277         PR c++/35056
278         * tree.c: Include tree-flow.h.
279         (build_target_expr): Check type compatibility.
280         * Make-lang.in (cp/tree.o): Depend on $(TREE_FLOW_H).
281         * call.c (convert_like_real): Convert bitfield to expected type.
282
283 2008-02-06  Douglas Gregor  <doug.gregor@gmail.com>
284
285         PR c++/35049
286         PR c++/35096
287         * typeck.c (structural_comptypes): Call cp_comptypes.
288         (comptypes): New; called from the C/C++ common bits to perform
289         strict checks.
290         (cp_comptypes): Renamed from comptypes, which is already used,
291         with a different signature, by the C++ front end.
292         (build_reinterpret_cast_1): Call cp_comptypes.
293         (ptr_reasonably_similar): Ditto.
294         * decl.c (decls_match): Ditto.
295         * cvt.c (convert_to_reference): Ditto.
296         * cp-tree.h (same_type_p): Ditto.
297         (same_or_base_type_p): Ditto.
298         (comptypes): Rename to cp_comptypes.
299         * pt.c (canonical_type_parameter): Call cp_comptypes.
300
301 2008-02-05  Jakub Jelinek  <jakub@redhat.com>
302
303         PR c++/33553
304         * pt.c (tsubst) <case INTEGER_TYPE>: Don't issue error if max is
305         value dependent expression.
306
307 2008-02-05  Douglas Gregor  <doug.gregor@gmail.com>
308
309         PR c++/35074
310         * decl2.c (save_template_attributes): When we're modifying the
311         TYPE_MAIN_VARIANT to add new attributes, be sure to also modify
312         all of the other variants to add those same attributes. Otherwise,
313         the main variant will be inconsistent with those other variants.
314         
315 2008-02-04  Richard Guenther  <rguenther@suse.de>
316
317         PR java/35035
318         * decl.c (record_builtin_java_type): Make jboolean a
319         integer type again where its mode doesn't match that of bool.
320
321 2008-02-02  Jason Merrill  <jason@redhat.com>
322             Mark Mitchell  <mark@codesourcery.com>
323
324         PR c++/33916
325         * init.c (build_value_init_1): New function.
326         (build_value_init): New function.
327         * typeck2.c (build_functional_cast): Call it.
328         * cp-gimplify.c (cp_gimplify_init_expr): Handle its output.
329
330         * cp-tree.h (TYPE_HAS_USER_CONSTRUCTOR): Rename from 
331         TYPE_HAS_CONSTRUCTOR.
332         * class.c (finish_struct_bits, maybe_warn_about_overly_private_class,
333         add_implicitly_declared_members): Adjust.
334         (check_field_decls): Adjust. Remove warnings about reference/const
335         in class without constructor.
336         (check_bases_and_members): Adjust.  Give those warnings here instead.
337         * decl.c (fixup_anonymous_aggr): Adjust.
338         (check_initializer): Adjust, clarify logic slightly.
339         (grok_special_member_properties): Adjust, only set if user-provided.
340         * rtti.c (create_tinfo_types): Don't set.
341         * cvt.c (ocp_convert): Remove exception for vtable_entry_type et al.
342         Use same_type_ignoring_top_level_qualifiers_p.
343         * pt.c (check_explicit_specialization): Adjust.
344         (instantiate_class_template): Adjust.
345
346 2008-01-31  Douglas Gregor  <doug.gregor@gmail.com>
347            Jakub Jelinek  <jakub@redhat.com>
348
349        PR c++/34935
350        PR c++/34936
351        * typeck.c (structural_comptypes): Handle comparisons of
352        VOID_TYPE, BOOLEAN_TYPE, INTEGER_TYPE, FIXED_POINT_TYPE, and
353        REAL_TYPE nodes.
354        * mangle.c (write_builtin_type): Map down to the canonical type,
355        which will be one of the predefined type nodes.
356
357 2008-01-29  Michael Meissner  <michael.meissner@amd.com>
358
359         PR 35004
360         * cp-tree.h (struct full_lang_decl): Make tree_code bitfield 16
361         bits to allow for expansion of the number of middle end tree
362         codes.
363
364 2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>
365
366         PR c++/34055
367         PR c++/34103
368         PR c++/34219
369         PR c++/34606
370         PR c++/34753
371         PR c++/34754
372         PR c++/34755
373         PR c++/34919
374         PR c++/34961
375         * typeck.c (check_return_expr): Tweak call to
376         check_for_bare_parameter_packs.
377         * class.c (add_method): Be careful with error_mark_nodes.
378         * cp-tree.h (check_for_bare_parameter_packs): Remove "*" from
379         signature.
380         * pt.c (struct find_parameter_pack_data): Remove
381         SET_PACKS_TO_ERROR.
382         (find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR.
383         (uses_parameter_packs): Don't set SET_PACKS_TO_ERROR.
384         (make_pack_expansion): Ditto.
385         (check_for_bare_parameter_packs): Parameter is now a tree, not a
386         tree*.
387         (process_template_parm): Tweak call to
388         check_for_bare_parameter_packs.  
389         (push_template_decl_real): Tweak calls to
390         check_for_bare_parameter_packs. If bare parameter packs are found
391         in the list of exceptions, clear out that list after giving an
392         error.
393         * semantics.c (finish_cond): Tweak call to
394         check_for_bare_parameter_packs.
395         (finish_expr_stmt): Ditto.
396         (finish_for_expr): Ditto.
397         (finish_switch_cond): Ditto.
398         (finish_mem_initializers): Ditto.
399         (finish_member_declaration): Ditto.
400         (finish_static_assert): Check for bare parameter packs in the
401         condition.
402         * decl2.c (cplus_decl_attributes): Check for bare parameter packs in the
403         attributes of a declaration.
404         * parser.c (cp_parser_using_declaration): Tweak call to
405         check_for_bare_parameter_packs.
406         (cp_parser_base_clause): Ditto.
407
408 2008-01-28  Jason Merrill  <jason@redhat.com>
409
410         PR c++/35007
411         * class.c (build_base_path): Fix !want_pointer case.
412
413 2008-01-27  Jason Merrill  <jason@redhat.com>
414
415         PR c++/27177
416         * class.c (build_base_path): Fix previous change.
417
418 2008-01-26  Jakub Jelinek  <jakub@redhat.com>
419
420         PR c++/34965
421         * error.c (dump_expr): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR
422         and TRUTH_XOR_EXPR.
423
424 2008-01-26  Richard Guenther  <rguenther@suse.de>
425
426         PR c++/34235
427         * typeck.c (build_binary_op): Remove code to shorten compares.
428
429 2008-01-25  Richard Guenther  <rguenther@suse.de>
430
431         PR c++/33887
432         * decl.c (record_builtin_java_type): Make __java_boolean
433         a variant of bool.
434         * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
435         after TYPE_MAIN_VARIANT check.
436
437 2008-01-25  Jason Merrill  <jason@redhat.com>
438
439         PR c++/27177
440         * class.c (build_base_path): Don't mess with virtual access if
441         skip_evaluation.
442         * call.c (standard_conversion): Don't check whether source type
443         is complete.
444
445         * decl2.c (is_late_template_attribute): Don't defer attribute
446         visibility just because the type is dependent.
447
448 2008-01-25  Jason Merrill  <jason@redhat.com>
449             Mark Mitchell  <mark@codesourcery.com>
450
451         PR c++/31780
452         * call.c (standard_conversion): Allow conversion from integer/real
453         to complex.
454         (compare_ics): Such a conversion is worse than a normal arithmetic
455         conversion.
456         
457 2008-01-25  Richard Guenther  <rguenther@suse.de>
458
459         PR c++/33887
460         * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define
461         to true.
462
463 2008-01-24  Paolo Carlini  <pcarlini@suse.de>
464
465         PR c++/34603
466         * pt.c (push_template_decl_real): Return error_mark_node in case
467         of template definition of non-template.
468
469 2008-01-24  Jason Merrill  <jason@redhat.com>
470
471         PR c++/34913
472         * decl2.c (is_late_template_attribute): Defer any attribute with 
473         dependent args.  Also defer type attributes if the type is dependent.
474
475 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
476             Alexandre Oliva  <aoliva@redhat.com>
477
478         PR c++/33984
479         * call.c (reference_binding): For bitfields use the declared bitfield
480         type.
481         (add_builtin_candidates): Likewise.
482         * class.c (layout_class_type): For bitfields copy over the
483         original type quals.
484
485 2008-01-22  Jason Merrill  <jason@redhat.com>
486
487         PR c++/28560
488         * decl.c (groktypename): Also ignore attributes on dependent 
489         possibly-class types.
490
491         PR c++/34912
492         * friend.c (do_friend): Check for prior declaration of a friend 
493         function of a local class.
494         * name-lookup.c (lookup_name_innermost_nonclass_level): 
495         No longer static.
496         * name-lookup.h: Declare it.
497
498 2008-01-22  Tom Tromey  <tromey@redhat.com>
499
500         PR c++/34829:
501         * init.c (build_new_1): Only disallow Java aggregates.
502
503 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
504
505         PR c++/34607
506         * semantics.c (finish_omp_for): Don't call c_finish_omp_for
507         if decl or init is error_mark_node.
508
509         PR c++/34918
510         * error.c (dump_expr): Handle VECTOR_CST.
511
512 2008-01-21  Jason Merrill  <jason@redhat.com>
513
514         PR c++/33959
515         * pt.c (tsubst_aggr_type): Make sure our context is complete.
516
517         PR c++/34573
518         * pt.c (retrieve_local_specialization): Robustify.
519         (tsubst_pack_expansion, tsubst_decl): Remove redundant checks.
520
521         PR c++/34846
522         * pt.c (tsubst): Only call retrieve_local_specialization if the
523         original typedef was in a function template.
524
525         PR c++/34196
526         * decl.c (wrap_cleanups_r): Set TRY_CATCH_IS_CLEANUP.
527
528 2008-01-21  Richard Guenther  <rguenther@suse.de>
529
530         PR c++/34850
531         * error.c (cp_print_error_function): Deal with recursive
532         BLOCK trees.
533
534 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
535
536         PR c++/34891
537         * error.c (dump_expr): Deal with VIEW_CONVERT_EXPR.
538
539 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
540
541         PR c++/34776
542         PR c++/34486
543         * name-lookup.c (do_class_using_decl): Do not call constructor_name_p
544         on non-IS_AGGR_TYPE scope.
545         (constructor_name_p): Assert IS_AGGR_TYPE.
546
547 2008-01-18  Ian Lance Taylor  <iant@google.com>
548
549         PR c++/33407
550         * decl.c (duplicate_decls): Copy DECL_IS_OPERATOR_NEW flag.
551         (grok_op_properties): For NEW_EXPR and VEC_NEW_EXPR set
552         DECL_IS_OPERATOR_NEW flag.
553
554 2008-01-16  Richard Guenther  <rguenther@suse.de>
555
556         PR c++/33819
557         * typeck.c (is_bitfield_expr_with_lowered_type): Recurse
558         for conversions to type variants.
559
560 2008-01-15  Andreas Tobler  <a.tobler@schweiz.org>
561
562         * parser.c (cp_parser_template_parameter): Fix C90 issue with mixing
563         declaration and code.  Update copyright year.
564
565 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
566
567         PR c++/34399
568         * friend.c (do_friend): Don't query TYPE_BEING_DEFINED unless we
569         know we have a class type.
570
571 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
572
573         PR c++/34751
574         * pt.c (coerce_template_parameter_pack): When substituting into
575         the type of a non-type template parameter pack. use the
576         deduced/substituted arguments.
577         * parser.c (declarator_can_be_parameter_pack): A pointer-to-member
578         can be a parameter pack with the ellipsis following it.  When we
579         have an erroneous declaration, allow it to be a parameter pack.
580         (cp_parser_template_parameter): Complain about default
581         arguments on non-type template parameter packs, and parse them
582         using the new cp_parser_default_argument.
583         (cp_parser_parameter_declaration): Complain about parameter packs
584         with default arguments. Move parsing of default arguments into a
585         new function, cp_parser_default_argument.
586         (cp_parser_default_argument): New; extracted from
587         cp_parser_parameter_declaration.
588
589 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
590
591         PR c++/34051
592         PR c++/34055
593         PR c++/34102
594         PR c++/34103
595         * typeck.c (check_return_expr): If there are bare parameter packs
596         in the return value, set it to error_mark_node.
597         * tree.c (cp_walk_subtrees): Walk USING_DECL nodes.
598         * pt.c (find_parameter_packs_r): Look at the type of
599         IDENTIFIER_NODEs (e.g., for user-defined conversions).
600         (check_for_bare_parameter_packs): Flip the result: now returns
601         TRUE when there were bare parameter packs, FALSE otherwise.
602         (push_template_decl_real): Deal with flipped result of
603         check_for_bare_parameter_packs.
604         * semantics.c (finish_cond): If there are bare parameter packs in
605         the conditional, set it to error_mark_node.
606         (finish_expr_stmt): If there are bare parameter packs in the
607         expression, set it to error_mark_node.
608         (finish_for_expr): Ditto.
609         (finish_switch_cond): If there are bare parameter packs in
610         the conditional, set it to error_mark_node.
611         (finish_mem_initializers): If there are bare parameter packs in
612         the member initializer, set it to error_mark_node.
613         (finish_member_declaration): Check the attributes of the
614         declaration for bare parameter packs, and remove the attributes if
615         any have bare parameter packs.
616         * parser.c (cp_parser_using_declaration): Check the using
617         declaration for bare parameter packs.
618         (cp_parser_base_clause): If there are bare parameter packs in a
619         base specifier, don't add it to the chain.
620
621 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
622
623        PR c++/34314
624        * error.c (dump_simple_decl): Display ellipsis for template
625        non-type parameter packs.
626        (dump_decl): Display ellipsis for template type parameter packs.
627        (dump_template_decl): Display ellipsis for template template
628        parameter packs.
629        * pt.c (redeclare_class_template): When redeclaring a class
630        template, check for collisions between template parameters and
631        template parameter packs.
632
633 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
634
635        PR c++/33964
636        * pt.c (process_partial_specialization): Don't mark template
637        parameters that occur in non-deduced contexts.
638        (struct pair_fn_data): Add include_nondeduced_p.
639        (for_each_template_parm_r): Only visit non-deduced contexts if
640        include_nondeduced_p is set.
641        (for_each_template_parm): Added parameter include_nondeduced_p,
642        which states whether template parameters found in non-deduced
643        contexts should be visited.
644        (uses_template_parms): Visit all template parameters, even those
645        in non-deduced contexts.
646
647 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
648
649        PR c++/34052
650        * pt.c (check_default_tmpl_args): Check for parameter packs that
651        aren't at the end of a primary template.
652        (push_template_decl_real): Remove check for parameter packs that
653        aren't at the end of a primary template; that now happens in
654        check_default_tmpl_args.
655        * semantics.c (finish_template_template_parm): Use
656        check_default_tmpl_args to check for errors in the template
657        parameter list.
658         
659 2008-01-12  Doug Kwan  <dougkwan@google.com>
660
661         * decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
662         instead of OPT_Wreturn_type in warning due to ignored return type
663         qualifiers.
664         * pt.c: (tsubst_function_type): Use OPT_Wignored_qualifiers
665         instead of OPT_Wreturn_type in warning due to ignored return type
666         qualifiers.
667
668 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
669
670         PR c++/33890
671         * semantics.c (finish_omp_for): Don't call
672         fold_build_cleanup_point_expr if processing_template_decl.
673
674 2008-01-04  Paolo Carlini  <pcarlini@suse.de>
675             Jakub Jelinek  <jakub@redhat.com>
676
677         PR c++/34611
678         * error.c (dump_template_argument): Deal with TREE_LIST.
679
680 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
681
682        * parser.c (cp_parser_check_decl_spec): Don't warn about "long
683        long" in C++0x mode; change the warning to note that "long long"
684        is only unsupported in C++98 mode.
685
686 2007-12-20  Jason Merrill  <jason@redhat.com>
687
688         PR c++/34111
689         * call.c (standard_conversion): Derived-to-base is considered a
690         standard conversion.
691
692 2007-12-19  Jakub Jelinek  <jakub@redhat.com>
693
694         PR c++/34513
695         * parser.c (cp_parser_omp_parallel): For non-combined parallel
696         call cp_parser_statement rather than
697         cp_parser_already_scoped_statement.
698
699 2007-12-18  Jason Merrill  <jason@redhat.com>
700
701         PR c++/34206
702         * pt.c (tsubst_aggr_type): Do nothing if the type already doesn't 
703         use template parms.
704         (dependent_type_p_r): Handle the domain of an array.
705
706 2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
707             Jakub Jelinek  <jakub@redhat.com>
708         
709         PR c++/32565
710         PR c++/33943
711         PR c++/33965
712         * pt.c (template_template_parm_bindings_ok_p): New; verifies
713         bindings of template template parameters after all template
714         arguments have been deduced.
715         (coerce_template_parms): Don't complain when COMPLAIN doesn't
716         include tf_error.
717         (fn_type_unification): Use template_template_parm_bindings_ok_p. 
718         (unify): Deal with variadic, bound template template parameters. 
719         (get_class_bindings): Use template_template_parm_bindings_ok_p. 
720
721 2007-12-18  Jakub Jelinek  <jakub@redhat.com>
722
723         PR c++/34488
724         * decl.c (grokdeclarator): Reject friend sfk_constructor
725         FUNCTION_TYPE.
726
727 2007-12-17  Jakub Jelinek  <jakub@redhat.com>
728
729         PR c/34506
730         * parser.c (cp_parser_omp_all_clauses): Accept optional comma
731         in between clauses.
732
733 2007-12-15  Alexandre Oliva  <aoliva@redhat.com>
734
735         PR debug/7081
736         * cp-lang.c (cp_classify_record): New.
737         (LANG_HOOKS_CLASSIFY_RECORD): Override.
738
739 2007-12-11  Jakub Jelinek  <jakub@redhat.com>
740
741         PR c++/34238
742         * decl2.c (cp_write_global_declarations): Revert 2007-11-22 change.
743
744         PR c++/34364
745         * rtti.c (build_dynamic_cast): Call convert_from_reference even for
746         dynamic_cast in a template.
747
748 2007-12-10  Simon Martin  <simartin@users.sourceforge.net>
749
750         PR c++/34059
751         * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
752         MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.
753
754 2007-12-10  Jakub Jelinek  <jakub@redhat.com>
755
756         PR c++/34395
757         * error.c (dump_type_prefix, dump_type_suffix): Handle
758         TYPE_PACK_EXPANSION.
759
760         PR c++/34394
761         * error.c (dump_expr): Handle ABS_EXPR.
762
763 2007-12-09  Jakub Jelinek  <jakub@redhat.com>
764
765         PR c++/34178
766         PR c++/34340
767         * repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P
768         in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
769         Return 2 also if DECL_EXPLICIT_INSTANTIATION.
770         * decl2.c (import_export_decl): Don't make VAR_DECLs import_p when
771         flag_use_repository and repo_emit_p returned 2.
772
773 2007-12-06  Jakub Jelinek  <jakub@redhat.com>
774
775         PR c++/34336
776         * tree.c (stabilize_call, stabilize_init): Do nothing if
777         processing_template_decl.
778
779 2007-12-05  Jakub Jelinek  <jakub@redhat.com>
780
781         PR c++/34271
782         * semantics.c (finish_decltype_type): For SCOPE_REF issue an
783         error instead of assertion failure.
784         * parser.c (cp_parser_decltype): If closing paren is not found,
785         return error_mark_node.
786
787 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
788
789        PR c++/34101
790        * name-lookup.c (arg_assoc_template_arg): Recurse on argument
791        packs.
792        (arg_assoc_type): We don't need to handle TYPE_ARGUMENT_PACK here,
793        since arg_assoc_template_arg will deal with them (better).
794
795 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
796
797        PR c++/33509
798        * pt.c (tsubst_exception_specification): Handle substitutions into
799        member templates, where tsubst_pack_expansion returns a
800        TYPE_PACK_EXPANSION.
801
802 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
803
804        PR c++/33091
805        * pt.c (unify_pack_expansion): If we didn't deduce any actual
806        bindings for the template parameter pack, don't try to keep the
807        empty deduced arguments.
808        (unify): If a parameter is a template-id whose template argument
809        list contains a pack expansion that is not at the end, then we
810        cannot unify against that template-id.
811
812 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
813
814         PR c++/34061
815         * pt.c (current_template_args): Use error_operand_p.
816
817 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
818
819         PR c++/34273
820         * error.c (dump_decl): Handle TREE_BINFO.
821
822 2007-12-01  Ollie Wild  <aaw@google.com>
823
824         PR c++/8171
825         * typeck.c (build_binary_op): Add conversion of pointers to function
826         members appearing as operands to the equality operators.
827
828 2007-11-30  Jakub Jelinek  <jakub@redhat.com>
829
830         PR c++/34275
831         * error.c (dump_expr): Handle OBJ_TYPE_REF.
832
833 2007-11-29  Jakub Jelinek  <jakub@redhat.com>
834
835         PR c++/34270
836         * tree.c (lvalue_p_1) <case COND_EXPR>: Handle x ?: y
837         in templates.
838         * typeck.c (is_bitfield_expr_with_lowered_type) <case COND_EXPR>:
839         Likewise.
840
841         PR c++/34267
842         PR c++/34268
843         * parser.c (cp_parser_decltype): Don't call finish_id_expression
844         on ~type.
845         * semantics.c (finish_decltype_type): Issue error on types, TYPE_DECLs
846         and ~type early.
847
848 2007-11-27  Jakub Jelinek  <jakub@redhat.com>
849
850         PR tree-optimization/34181
851         * method.c (use_thunk): Don't inline the call in the thunk.
852
853         PR c++/34213
854         * tree.c (decl_linkage): Static data members and static member
855         functions in anonymous ns classes are lk_external.
856
857 2007-11-26  Andreas Krebbel  <krebbel1@de.ibm.com>
858
859         PR c++/34081
860         * decl.c (start_preparsed_function): Pass 
861         processing_template_decl for the new allocate_struct_function
862         parameter.
863
864 2007-11-25  Richard Guenther  <rguenther@suse.de>
865
866         * decl.c (poplevel): Use BLOCK_CHAIN.
867
868 2007-11-24  Ollie Wild  <aaw@google.com>
869
870         * typeck.c (delta_from_ptrmemfunc): New function.
871         (get_member_function_from_ptrfunc): Call delta_from_ptrmemfunc.
872         (build_binary_op): Call delta_from_ptrmemfunc.
873
874 2007-11-23  Jakub Jelinek  <jakub@redhat.com>
875
876         PR c++/30293
877         PR c++/30294
878         * decl.c (cp_finish_decl): Disallow variable or field
879         definitions if extern "Java" aggregates.
880         (grokparms): Disallow parameters with extern "Java"
881         aggregates.
882         (check_function_type): Disallow function return values
883         with extern "Java" aggregates.
884         * init.c (build_new_1): Disallow placement new with
885         extern "Java" aggregates.
886
887 2007-11-23  Mark Mitchell  <mark@codesourcery.com>
888             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
889         
890         PR c++/5310
891         * call.c (convert_like_real): Build a zero constant when __null is
892         converted to an integer type.
893         
894 2007-11-22  Jakub Jelinek  <jakub@redhat.com>
895
896         PR c++/34094
897         * decl2.c (cp_write_global_declarations): Issue error about static
898         data members in anonymous namespace which are declared and used,
899         but not defined.
900
901 2007-11-20  Jakub Jelinek  <jakub@redhat.com>
902
903         PR c++/34089
904         * parser.c (cp_parser_class_head): Reject function template ids.
905
906         PR c++/28879
907         * tree.c (build_cplus_array_type_1): Don't pass any VLA types
908         when processing_template_decl to build_array_type.
909
910         PR c++/33962
911         * pt.c (more_specialized_fn): Don't segfault if one or
912         both argument list end with ellipsis.
913
914 2007-11-18  Jakub Jelinek  <jakub@redhat.com>
915
916         PR c++/30988
917         * semantics.c (finish_call_expr): Set
918         current_function_returns_abnormally if fn is noreturn FUNCTION_DECL
919         or OVERLOAD with all noreturn functions.
920
921 2007-11-16  Jakub Jelinek  <jakub@redhat.com>
922
923         PR c++/34100
924         * pt.c (apply_late_template_attributes): Do nothing if decl's type is
925         error_mark_node.
926
927 2007-11-13  Jakub Jelinek  <jakub@redhat.com>
928
929         PR c++/34054
930         PR c++/34056
931         PR c++/34057
932         PR c++/34058
933         PR c++/34060
934         * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
935         set to error_mark_node the outermost POINTER_TYPE to the pack if
936         it is seen in a POINTER_TYPE.
937         (push_template_decl_real): If check_for_bare_parameter_packs
938         fails for function return type, set the return type to
939         integer_type_node.  If check_for_bare_parameter_packs failed
940         for non-function, return error_mark_node.
941
942         PR c++/29225
943         * call.c (build_new_op): Call resolve_args before calling
944         build_over_call.
945
946 2007-11-11  Tom Tromey  <tromey@redhat.com>
947
948         PR c++/17577:
949         * lex.c (handle_pragma_implementation): Use cpp_included_before.
950
951 2007-11-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
952
953         PR c++/8570
954         * pt.c (redeclare_class_template): Update error message. Use a
955         note to show the previous declaration.
956         (tsubst_friend_class): Use the location of the friend template as
957         the input location before calling redeclare_class_template.
958
959 2007-11-11  Jakub Jelinek  <jakub@redhat.com>
960
961         PR c++/34068
962         * semantics.c (finish_pseudo_destructor_expr): Handle
963         object == error_mark_node.
964
965 2007-11-10  Jakub Jelinek  <jakub@redhat.com>
966
967         PR c++/32241
968         * pt.c (tsubst_copy_and_build) <case COMPONENT_REF>: If object_type
969         is not scalar type, let finish_class_member_access_expr handle
970         diagnostics.  Pass BIT_NOT_EXPR argument to
971         finish_pseudo_destructor_expr.  Handle SCOPE_REF properly.
972
973 2007-11-09  Douglas Gregor  <doug.gregor@gmail.com>
974
975         PR c++/33510
976         * decl.c (cp_complete_array_type): If any of the initializer
977         elements are pack expansions, don't compute the array size yet.
978
979 2007-11-08  Andrew Pinski  <pinskia@gmail.com>
980
981         PR c++/30297:
982         * tree.c (decl_linkage): Fields have no linkage.
983
984 2007-11-08  Daniel Jacobowitz  <dan@codesourcery.com>
985
986         * class.c (build_ctor_vtbl_group): Lay out the new type and decl.
987
988 2007-11-07  Douglas Gregor  <doug.gregor@gmail.com>
989
990         PR c++/33045
991         PR c++/33837
992         PR c++/33838
993         * semantics.c (finish_decltype_type): See through INDIRECT_REFs.
994         Be careful with ERROR_MARK_NODEs.
995         * parser.c (cp_parser_check_access_in_redeclaration): Handle NULL
996         argument.
997
998 2007-11-07  Jakub Jelinek  <jakub@redhat.com>
999
1000         PR c++/33501
1001         * call.c (build_over_call): Don't check TREE_ADDRESSABLE
1002         on incomplete type.
1003
1004 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
1005
1006         PR c++/33977
1007         PR c++/33886
1008         * tree.c (c_build_qualified_type): Define bridge to
1009         cp_build_qualified_type.
1010
1011 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
1012
1013         PR c++/31439
1014         PR c++/32114
1015         PR c++/32115
1016         PR c++/32125
1017         PR c++/32126
1018         PR c++/32127
1019         PR c++/32128
1020         PR c++/32253
1021         PR c++/32566
1022         * typeck.c (check_return_expr): Pass address of retval to
1023         check_for_bare_parameter_packs.
1024         * class.c (build_base_field): Tolerate bases that have no layout
1025         due to errors.
1026         (end_of_base): Ditto.
1027         * tree.c (canonical_type_variant): Be careful with
1028         ERROR_MARK_NODE.
1029         * cp-tree.h (check_for_bare_parameter_packs): Now accepts a
1030         tree*.
1031         * pt.c (find_parameter_pack_data): Add set_packs_to_error field,
1032         which states whether parameter packs should be replaced with
1033         ERROR_MARK_NODE.
1034         (find_parameter_packs_r): Pass addresses to cp_walk_tree wherever
1035         possible. If set_packs_to_error is set true, replace the parameter
1036         pack with ERROR_MARK_NODE. Manage our own pointer sets.
1037         (uses_parameter_packs): Don't set parameter packs to
1038         ERROR_MARK_NODE.
1039         (check_for_bare_parameter_packs): Now takes a pointer to a tree,
1040         which may be modified (if it is a parameter pack). Instructs
1041         find_parameter_packs_r to replace parameter packs with
1042         ERROR_MARK_NODE (so that they won't cause errors later on).
1043         (process_template_parm): Pass pointer to
1044         check_for_bare_parameter_packs.
1045         (process_partial_specialization): Replace pack expansions before
1046         the end of the template argument list with ERROR_MARK_NODE.
1047         (push_template_decl_real): Pass pointer to
1048         check_for_bare_parameter_packs. Replace parameter packs not at the
1049         end of the template parameter list with ERROR_MARK_NODE.
1050         (convert_template_argument): Be more careful about using DECL_NAME
1051         on only declarations.
1052         (unify): Can't unify against ERROR_MARK_NODE.
1053         * semantics.c (finish_cond): Pass pointer to
1054         check_for_bare_parameter_packs.
1055         (finish_expr_stmt): Ditto.
1056         (finish_for_expr): Ditto.
1057         (finish_switch_cond): Pass pointer to
1058         check_for_bare_parameter_packs, and call it before we put the
1059         condition into the statement.
1060         (finish_mem_initializers): Pass pointer to
1061         check_for_bare_parameter_packs.
1062         (finish_member_declaration): Ditto.
1063         * parser.c (cp_parser_base_clause): Ditto.
1064         
1065 2007-11-06  Jakub Jelinek  <jakub@redhat.com>
1066
1067         PR target/33168
1068         * decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already
1069         with the final TREE_READONLY flag in place.  processing_template_decl
1070         is known to be 0 in this part of function.
1071
1072         PR c++/33894
1073         * cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not
1074         OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC.
1075         * pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P.
1076         * semantics.c (finish_omp_atomic): Revert most of the
1077         2007-02-05 changes, just keep the new representation of
1078         OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC.
1079
1080 2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>
1081
1082         PR c++/33871
1083         * decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked
1084         local.
1085
1086 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
1087
1088         PR c++/33996
1089         PR c++/33235
1090         PR c++/33930
1091         * typeck.c (merge_types): Don't lose rvalue references when
1092         merging types.
1093         * call.c (build_over_call): Don't elide move constructors just
1094         because the copy constructor is trivial (!).
1095         (compare_ics): If comparing cv-qualifiers fails, we can still order
1096         based on binding lvalues vs. rvalues.
1097
1098 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
1099
1100         PR c++/33939
1101         * pt.c (unify_pack_expansion): bring handling of function call
1102         arguments into line with type_unification_real. 
1103
1104 2007-11-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1105
1106         * typeck.c (build_binary_op): Use pedwarn instead of error for
1107         consistency.
1108
1109 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
1110
1111         PR c++/33836
1112         * parser.c (cp_parser_unary_expression): For &&label call
1113         cp_parser_non_integral_constant_expression and return error_mark_node
1114         if it returned true.
1115
1116         PR c++/33969
1117         * decl.c (grokdeclarator): Don't call build_memfn_type if type
1118         is neither FUNCTION_TYPE nor METHOD_TYPE.
1119
1120 2007-11-02  Jakub Jelinek  <jakub@redhat.com>
1121
1122         PR c++/33516
1123         * parser.c (cp_parser_nested_name_specifier_opt): Use
1124         TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete
1125         typedef of currently open class.
1126
1127 2007-11-02  Paolo Carlini  <pcarlini@suse.de>
1128
1129         PR c++/33495
1130         * error.c (dump_expr): Deal specially with statements.
1131
1132 2007-11-01  Jason Merrill  <jason@redhat.com>
1133
1134         PR c++/30897
1135         * pt.c (push_template_decl_real): Set DECL_CONTEXT on template
1136         template parms.
1137         (lookup_template_class): Use it to get the outer template args
1138         for instantiating one.
1139
1140         PR c++/29236
1141         * pt.c (reduce_template_parm_level): tsubst the parameters
1142         of a template template parm.
1143
1144 2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>
1145
1146         PR c++/33955
1147         * pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE.
1148
1149 2007-11-01  Jakub Jelinek  <jakub@redhat.com>
1150
1151         PR c++/32384
1152         * parser.c (cp_parser_postfix_dot_deref_expression): If
1153         POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
1154         first and if that succeeds and type is SCALAR_TYPE_P, create
1155         PSEUDO_DTOR_EXPR.
1156
1157         PR c++/32260
1158         * rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment.
1159         (typeid_ok_p): Use the same alias set for abi::__type_info_pseudo
1160         as for std::type_info.
1161
1162 2007-10-31  Paolo Carlini  <pcarlini@suse.de>
1163
1164         PR c++/33494
1165         * cxx-pretty-print.c (pp_cxx_typeid_expression,
1166         pp_cxx_delete_expression): Change to static linkage.
1167         * cxx-pretty-print.h: Adjust declarations.
1168         * error.c (dump_expr, case EXPR_PACK_EXPANSION, TYPEID_EXPR,
1169         MEMBER_REF, DOTSTAR_EXPR, DELETE_EXPR, VEC_DELETE_EXPR,
1170         MODOP_EXPR): Forward to pp_expression.
1171
1172         * cxx-pretty-print.c (pp_cxx_expression, case NON_DEPENDENT_EXPR):
1173         Fix typo.
1174
1175 2007-10-31 Christian Bruel  <christian.bruel@st.com>
1176            Mark Mitchell  <mark@codesourcery.com>
1177
1178         PR c++/19531
1179         * typeck.c (check_return_expr): Don't set named_return_value_okay_p
1180         if retval is volatile. 
1181         
1182 2007-10-30  Jakub Jelinek  <jakub@redhat.com>
1183
1184         PR c++/33616
1185         * decl2.c (build_offset_ref_call_from_tree): Call
1186         build_non_dependent_expr on object prior to building ADDR_EXPR from it
1187         if FN is DOTSTAR_EXPR.
1188
1189 2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>
1190
1191         PR c++/31993
1192         PR c++/32252
1193         * pt.c (find_parameter_packs_r): Fix typo in comment.
1194         (convert_template_argument): Look at the pattern of a pack
1195         expansion to determine what kind of entity we're converting.
1196         (coerce_template_parameter_pack): When we have coerced a non-type
1197         template parameter pack, substitute into the type of that pack.
1198         (tsubst_pack_expansion): When our substitution of a parameter pack
1199         is a "trivial" substitution of itself, just substitute into the
1200         pack expansion rather than actually expanding.
1201
1202 2007-10-29  Jakub Jelinek  <jakub@redhat.com>
1203
1204         PR c++/33841
1205         * class.c (check_bitfield_decl): Don't set field's type to error_mark_node
1206         for non-integral type bitfields.  Return true if bitfield is correct, false
1207         error has been diagnosed.
1208         (check_field_decls): If check_bitfield_decl returned false, call also
1209         check_field_decl.
1210
1211 2007-10-28  Paolo Carlini  <pcarlini@suse.de>
1212             Mark Mitchell  <mark@codesourcery.com>
1213
1214         PR c++/30659
1215         * pt.c (do_decl_instantiation): If the VAR_DECL is not a
1216         class member error out and return.
1217
1218 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
1219
1220         * error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope
1221         to current_function_decl rather than 0.
1222
1223         PR c++/33844
1224         * cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print
1225         ->* rather than .*.
1226         * error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR.
1227
1228 2007-10-27  Jason Merrill  <jason@redhat.com>
1229
1230         PR c++/5247
1231         * call.c (convert_default_arg): Detect recursion.
1232
1233 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
1234
1235         PR c++/33842
1236         * cxx-pretty-print.h (pp_cxx_offsetof_expression): New prototype.
1237         * cxx-pretty-print.c (pp_cxx_primary_expression): Handle
1238         OFFSETOF_EXPR.
1239         (pp_cxx_offsetof_expression_1, pp_cxx_offsetof_expression): New
1240         functions.
1241         * error.c (dump_expr): Handle OFFSETOF_EXPR.
1242
1243 2007-10-26  Jason Merrill  <jason@redhat.com>
1244
1245         PR c++/24791
1246         * pt.c (get_template_info): New fn.
1247         (template_class_depth): Use it.
1248         (push_template_decl_real): Check that the template args of the 
1249         definition match the args of the previous declaration.
1250
1251 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
1252
1253         PR c++/31988
1254         * decl2.c (coerce_new_type): Do not allow a default argument for
1255         the first parameter.
1256
1257 2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>
1258
1259         PR c++/33839
1260         * parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we
1261         don't see the leading '('. Only lookup names if we get an
1262         IDENTIFIER_NODE.
1263
1264 2007-10-26  Jakub Jelinek  <jakub@redhat.com>
1265
1266         PR c++/33744
1267         * parser.c (cp_parser_parenthesized_expression_list): Set
1268         greater_than_is_operator_p to true in between the parens.
1269
1270 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
1271
1272         PR c++/31747
1273         * decl.c (grokdeclarator): In case of conflicting specifiers
1274         just return error_mark_node.
1275
1276 2007-10-26  Ollie Wild  <aaw@google.com>
1277
1278         * expr.c (cxx_expand_expr): Removed.
1279         * cp-tree.h (exx_expand_expr): Removed.
1280         * cp-objcp-common.h (LANK_HOOKS_EXPAND_EXPR): Replace cxx_expand_expr
1281         with c_expand_expr.
1282
1283 2007-10-25  Paolo Carlini  <pcarlini@suse.de>
1284
1285         PR c++/33843
1286         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BIT_NOT_EXPR.
1287
1288 2007-10-23  Jason Merrill  <jason@redhat.com>
1289
1290         PR c++/25950 (DR 391)
1291         * call.c (struct conversion): Remove check_copy_constructor_p.
1292         (reference_binding): Always bind a reference directly to a 
1293         compatible class rvalue.  Pass down LOOKUP_NO_TEMP_BIND during 
1294         temporary creation.
1295         (check_constructor_callable): Remove.
1296         (convert_like_real): Don't call it.
1297         (initialize_reference): Don't call check_constructor_callable.
1298         (standard_conversion): Check LOOKUP_NO_CONVERSION instead of
1299         LOOKUP_CONSTRUCTOR_CALLABLE.  Don't require a temporary for base
1300         conversions if LOOKUP_NO_TEMP_BIND.
1301         (implicit_conversion): Pass through LOOKUP_NO_TEMP_BIND.
1302         (build_user_type_conversion_1): Pass through LOOKUP_NO_TEMP_BIND for
1303         second conversion.
1304         * cp-tree.h (LOOKUP_CONSTRUCTOR_CALLABLE): Remove.
1305
1306 2007-10-22  Jakub Jelinek  <jakub@redhat.com>
1307
1308         PR c++/33372
1309         * semantics.c (finish_omp_clauses): Check !type_dependent_expression_p
1310         before checking if its type is integral.
1311
1312 2007-10-22  Jason Merrill  <jason@redhat.com>
1313
1314         PR c++/33620
1315         * class.c (finish_struct_bits): Copy TYPE_ATTRIBUTES.
1316         * pt.c (apply_late_template_attributes): Splice out dependent
1317         attributes from DECL_ATTRIBUTES.
1318
1319         * decl.c (cxx_maybe_build_cleanup): Use build_address.
1320
1321 2007-10-17  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
1322
1323         * typeck.c (build_binary_op) : Use appropriate warning option
1324         instead of unnamed warning.
1325
1326 2007-10-16  Paolo Carlini  <pcarlini@suse.de>
1327
1328         PR c++/31446
1329         * pt.c (current_template_args): Do not change TREE_LIST elements
1330         with a TREE_VALUE of error_mark_node.
1331
1332 2007-10-16  Mark Mitchell  <mark@codesourcery.com>
1333
1334         * typeck.c (cp_apply_type_quals_to_decl): Expand documentation.
1335         * decl.c (start_decl): Tidy.
1336         (start_decl_1): Call cp_apply_type_quals_to_decl after completing
1337         the type.
1338         (grokdeclarator): Clarify comment.
1339
1340 2007-10-14  Andrew Pinski  <pinskia@gmail.com>
1341
1342         PR c++/30303
1343         * decl.c (grokfndecl): Return NULL after the "definition of
1344         implicitly-declared" error happened.
1345
1346 2007-10-12  Simon Martin  <simartin@users.sourceforge.net>
1347
1348         PR c++/26698
1349         * call.c (build_user_type_conversion_1): Do not consider conversion
1350         functions to convert a (possibly cv-qualified) object to the (possibly
1351         cv-qualified) same object type (or a reference to it), to a (possibly
1352         cv-qualified) base class of that type (or a reference to it).
1353
1354 2007-10-12  Paolo Carlini  <pcarlini@suse.de>
1355
1356         * pt.c (tsubst): Use template_parm_level_and_index.
1357
1358 2007-10-12  Jakub Jelinek  <jakub@redhat.com>
1359
1360         PR c++/32121
1361         * parser.c (cp_parser_compound_statement): Handle label-declarations
1362         at the beginning of the compound statement.
1363         (cp_parser_block_declaration): Issue diagnostics about __label__
1364         not at the beginning of a block.
1365
1366 2007-10-11  Paolo Carlini  <pcarlini@suse.de>
1367
1368         PR c++/33461
1369         * pt.c (coerce_template_parameter_pack): Do not pass error_mark_node
1370         to convert_template_argument.
1371         (coerce_template_parms): Return error_mark_node after fixed-length
1372         error.
1373         (tsubst_decl): Check for error_mark_node the return value of the
1374         first tsubst in 'case VAR_DECL'.
1375
1376 2007-10-08  Ollie Wild  <aaw@google.com>
1377
1378         * typeck2.c (digest_init): Call cplus_expand_constant after
1379         convert_for_initialization.
1380         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1381         * expr.c (cplus_expand_constant): Updated function description.
1382
1383 2007-10-04  Jason Merrill  <jason@redhat.com>
1384
1385         PR c++/20416
1386         * call.c (initialize_reference): Handle local static reference
1387         temps properly.
1388
1389 2007-10-03  Jason Merrill  <jason@redhat.com>
1390
1391         PR c++/32470
1392         * name-lookup.c (push_namespace_with_attrs): Fold back into...
1393         (push_namespace): Here.
1394         (handle_namespace_attrs): New fn for the attr code.
1395         (leave_scope): Don't pop_visibility.
1396         * name-lookup.h (struct cp_binding_level): Remove has_visibility.
1397         * parser.c (cp_parser_namespace_definition): Call
1398         handle_namespace_attrs and pop_visibility as appropriate. 
1399
1400         PR c++/11756
1401         * mangle.c (write_type) [TYPEOF_TYPE]: Just sorry.
1402
1403 2007-10-03  Alexandre Oliva  <aoliva@redhat.com>
1404
1405         * decl.c (duplicate_decls): Preserve linkage flags for mere
1406         redeclarations of gnu_inline definitions.
1407
1408 2007-10-03  Jason Merrill  <jason@redhat.com>
1409
1410         PR c++/15764
1411         * decl.c (wrap_cleanups_r): New fn.
1412         (wrap_temporary_cleanups): New fn.
1413         (initialize_local_var): Call it.
1414
1415 2007-09-29  Jason Merrill  <jason@redhat.com>
1416
1417         PR c++/33094
1418         * decl.c (make_rtl_for_nonlocal_decl): It's ok for a member 
1419         constant to not have DECL_EXTERNAL if it's file-local.
1420
1421 2007-09-28  Ollie Wild  <aaw@google.com>
1422
1423         Revert
1424         2007-09-27  Ollie Wild  <aaw@google.com>
1425
1426         * typeck2.c (digest_init): Call cplus_expand_constant after
1427         convert_for_initialization.
1428         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1429         * expr.c (cplus_expand_constant): Updated function description.
1430
1431 2007-09-28  Jason Merrill  <jason@redhat.com>
1432
1433         PR c++/10179
1434         * class.c (layout_empty_base): Take rli parameter, update
1435         rli->record_align if empty base has user-specified alignment.
1436         (build_base_field): Pass rli to it.
1437
1438 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
1439
1440         PR c++/33213
1441         * error.c (dump_decl): Deal with TYPE_PACK_EXPANSION.
1442
1443 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
1444
1445         PR c++/33118
1446         * error.c (dump_expr): Deal with ARGUMENT_PACK_SELECT.
1447         (dump_type): Use dump_template_argument for TYPE_ARGUMENT_PACK.
1448         (dump_parameters): Just call dump_type for argument packs too.
1449
1450 2007-09-28  Jakub Jelinek  <jakub@redhat.com>
1451
1452         PR c++/31434
1453         * tree.c (cp_build_qualified_type_real): Handle TYPE_PACK_EXPANSION
1454         qualification by creating qualified PACK_EXPANSION_PATTERN and
1455         then calling make_pack_expansion on it.
1456
1457 2007-09-27  Ollie Wild  <aaw@google.com>
1458
1459         * typeck2.c (digest_init): Call cplus_expand_constant after
1460         convert_for_initialization.
1461         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1462         * expr.c (cplus_expand_constant): Updated function description.
1463
1464 2007-09-27  Jason Merrill  <jason@redhat.com>
1465
1466         PR c++/33571
1467         * decl2.c (is_late_template_attribute): Don't crash on unknown
1468         attribute.
1469
1470 2007-09-27  Paolo Carlini  <pcarlini@suse.de>
1471
1472         PR c++/33493
1473         * error.c (dump_expr): Deal with DELETE_EXPR and VEC_DELETE_EXPR.
1474         * cxx-pretty-print.c (pp_cxx_delete_expression): Add missing
1475         spaces in the formatting.
1476         * cxx-pretty-print.h (pp_cxx_delete_expression): Declare.
1477
1478 2007-09-27  Jakub Jelinek  <jakub@redhat.com>
1479
1480         * error.c (cxx_print_error_function): Add third argument, pass
1481         it over to lhd_print_error_function.
1482         (cp_print_error_function): If diagnostic->abstract_origin, print
1483         virtual backtrace.
1484         * cp-tree.h (struct diagnostic_info): New forward decl.
1485         (cxx_print_error_function): Add third argument.
1486
1487 2007-09-25  Simon Martin  <simartin@users.sourceforge.net>
1488
1489         PR c++/33207
1490         * name-lookup.c (pushtag): Do not create an implicit typedef before
1491         the associated type declaration is known to be valid.
1492
1493 2007-09-25  Jakub Jelinek  <jakub@redhat.com>
1494
1495         * tree.c (cxx_printable_name): Compare FUNCTION_DECL uids
1496         rather than pointers.
1497
1498 2007-09-24  Danny Smith  <dannysmith@user.sourceforge.net>
1499
1500         PR c++/14688
1501         * search.c (check_final_overrider): Fail if
1502         targetm.comp_type_attributes returns 0.
1503
1504 2007-09-24  Jason Merrill  <jason@redhat.com>
1505
1506         PR c++/33239
1507         * pt.c (resolve_typename_type): Don't look things up in the original
1508         template if it would mean losing template arguments.    
1509
1510 2007-09-24  Jakub Jelinek  <jakub@redhat.com>
1511
1512         PR c++/33506
1513         * cp-tree.h (cxx_type_hash_eq): New prototype.
1514         * cp-objcp-common.h (LANG_HOOKS_TYPE_HASH_EQ): Redefine.
1515         * tree.c (cxx_type_hash_eq): New function.
1516
1517 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
1518
1519         PR c++/33185    
1520         * tree.c (cp_build_qualified_type_real): Build a canonical
1521         ARRAY_TYPE if the original ARRAY_TYPE was not a canonical type.
1522         
1523 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
1524
1525         PR c++/33112
1526         PR c++/33185    
1527         * tree.c (cplus_array_compare): Compare pointers, not types.
1528         (build_cplus_array_type_1): Store new array type into the hash
1529         table before building the canonical type; build the canonical type
1530         correctly.
1531         (cp_build_qualified_type_real): Put all of the array types with
1532         cv-qualified element types into the C++ array hash table, built as 
1533         variants of the unqualified versions.
1534         
1535 2007-09-23  Jason Merrill  <jason@redhat.com>
1536
1537         PR c++/16370
1538         * decl.c (grokdeclarator): Look through implicit TYPE_DECLs
1539         for deprecation warnings.
1540
1541 2007-09-22  Jason Merrill  <jason@redhat.com>
1542
1543         PR c++/15269
1544         * call.c (build_over_call): Warn about deprecated virtuals.
1545
1546         PR c++/19407
1547         * cp-tree.h (ATTR_IS_DEPENDENT): New macro.
1548         (MAYBE_TAGGED_TYPE_P): Remove.
1549         * pt.c (apply_late_template_attributes): Check ATTR_IS_DEPENDENT
1550         instead of calling is_late_template_attribute again.
1551         (tsubst_decl) [TYPE_DECL]: Just check if the name is the tag.
1552         (tsubst): A typedef is a TYPE_NAME != TYPE_MAIN_DECL.
1553         Don't crash on typedefs from non-template classes.
1554         * decl2.c (grokfield): Don't sorry about attrs on template parms.
1555         (is_late_template_attribute): All attributes applied to template
1556         parms or typename types are dependent.  Static.
1557         (splice_template_attributes): Pass decl through.
1558         (save_template_attributes): Likewise.
1559
1560 2007-09-20  Jakub Jelinek  <jakub@redhat.com>
1561
1562         PR c++/33496
1563         * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Handle error_mark_node
1564         returned from tsubst_pack_expansion.
1565         (tsubst_copy_and_build) <case SIZEOF_EXPR>: Likewise.
1566         (tsubst_copy_and_build) <case CONSTRUCTOR>: Likewise.
1567
1568 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
1569
1570         PR c++/33460
1571         * semantics.c (finish_id_expression): Use consistently
1572         context_for_name_lookup.
1573         * decl.c (fixup_anonymous_aggr): Fix error message for
1574         anonymous struct (vs union).
1575
1576 2007-09-19  Jason Merrill  <jason@redhat.com>
1577
1578         PR c++/7586
1579         * pt.c (tsubst): Handle typedefs by looking for the specialization.
1580         (retrieve_specialization): Only tagged types use 
1581         DECL_TEMPLATE_INSTANTIATIONS.
1582         (instantiate_class_template): Push nested classes too.
1583         (tsubst_decl) [TYPE_DECL]: Only check for canonical decl for
1584         tagged types.
1585         * cp-tree.h (MAYBE_TAGGED_TYPE_P): New macro.
1586         * init.c (is_aggr_type): Remove redundant tests.
1587         * class.c (push_nested_class): Use CLASS_TYPE_P.
1588
1589 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
1590
1591         PR c++/33459
1592         * init.c (build_zero_init): If, recursively, build_zero_init
1593         returns a NULL_TREE, do not append it to the VEC of constructors.
1594
1595 2007-09-18  Jason Merrill  <jason@redhat.com>
1596
1597         PR c++/17743
1598         * pt.c (apply_late_template_attributes): Set processing_template_decl.
1599         (tsubst_decl) [TYPE_DECL]: Preserve naming typedef, pass
1600         ATTR_FLAG_TYPE_IN_PLACE.
1601         (tsubst): Do unqualified lookup to find typedefs from current class.
1602         [ARRAY_TYPE]: Propagate alignment info.
1603         * decl2.c (is_late_template_attribute): Only defer handling of
1604         attribute aligned if the expression is dependent.
1605         (save_template_attributes): If we're deferring any attributes,
1606         make this a naming typedef.
1607
1608 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1609
1610         PR c++/33462 (again)
1611         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Print
1612         va_arg instead of __builtin_va_arg.
1613
1614 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1615
1616         PR c++/33462
1617         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Add.
1618         (pp_cxx_primary_expression): Use it.
1619         * cxx-pretty-print.h (pp_cxx_va_arg_expression): Declare.
1620         * error.c (dump_expr): Use it.
1621
1622 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1623
1624         PR c++/33463
1625         * cxx-pretty-print.c (pp_cxx_postfix_expression): Split
1626         out case TYPEID_EXPR to...
1627         (pp_cxx_typeid_expression): ... here; use pp_cxx_left_paren
1628         and pp_cxx_right_paren.
1629         * cxx-pretty-print.h (pp_cxx_typeid_expression): Declare.
1630         * error.c (dump_expr): Use it.
1631
1632 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1633
1634         PR c++/33464
1635         * cxx-pretty-print.c (pp_cxx_trait_expression): Add.
1636         (pp_cxx_primary_expression): Use it.
1637         * cxx-pretty-print.h (pp_cxx_trait_expression): Declare.
1638         * error.c (dump_expr): Use it.
1639
1640 2007-09-16  Paolo Carlini  <pcarlini@suse.de>
1641
1642         PR c++/33124
1643         * init.c (build_new): Remove warning for zero-element
1644         allocations.
1645
1646 2007-09-16  Nathan Sidwell  <nathan@codesourcery.com>
1647
1648         PR c++/32756
1649         * call.c (maybe_handle_implicit_object): Set this_p, clear
1650         rvaluedness_matches_p.
1651         (compare_ics): Do not compare rvaluedness matching when one of the
1652         operands is an implicit object.
1653
1654 2007-09-14  Jason Merrill  <jason@redhat.com>
1655
1656         PR c++/17743, c++/19163
1657         * decl2.c (is_late_template_attribute): New fn.
1658         (splice_template_attributes, save_template_attributes): New fns.
1659         (cplus_decl_attributes): Call save_template_attributes.
1660         * pt.c (apply_late_template_attributes): New fn.
1661         (instantiate_class_template, tsubst_decl): Use it.
1662         * cp-tree.h: Declare is_late_template_attribute.
1663
1664 2007-09-13  Tom Tromey  <tromey@redhat.com>
1665
1666         * parser.c (cp_lexer_new_main): Don't use
1667         c_lex_return_raw_strings.
1668         (cp_lexer_get_preprocessor_token): Update.  Add special case when
1669         lexer is NULL.
1670
1671 2007-09-11  Jan Hubicka <jh@suse.cz>
1672
1673         * method.c (use_thunk): Use tree_rest_of_compilation
1674         * cp-objecp-common.h (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.
1675         (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Define.
1676         * cp-tree.h (expand_body): Kill.
1677         (emit_associated_thunks): Declare.
1678         * semantics.c (emit_associated_thunks): Export.
1679         (expand_body): Kill.
1680
1681 2007-09-09  David Daney  <ddaney@avtrex.com>
1682
1683         PR c++/33324
1684         * init.c (build_new_1):  Use POINTER_PLUS_EXPR instead of MINUS_EXPR
1685         to calculate cookie_ptr.
1686
1687 2007-09-08  Jason Merrill  <jason@redhat.com>
1688
1689         PR c++/33342
1690         * pt.c (most_specialized_class): Set processing_template_decl
1691         while tsubsting partial spec args.
1692
1693 2007-09-06  Jason Merrill  <jason@redhat.com>
1694
1695         * decl2.c (get_guard): Copy visibility from the guarded variable.
1696
1697 2007-09-06  Jan Hubicka  <jh@suse.cz>
1698
1699         * semantics.c (expand_body): Do not mark arguments of clones used.
1700
1701 2007-09-06  Paolo Carlini  <pcarlini@suse.de>
1702
1703         PR c++/32674
1704         * decl.c (cp_finish_decl): When processing_template_decl,
1705         deal correctly with init as TREE_LIST.
1706
1707 2007-09-06  Tom Tromey  <tromey@redhat.com>
1708
1709         * decl.c (finish_function): Put return's location on line zero of
1710         file.
1711
1712 2007-09-05  Jason Merrill  <jason@redhat.com>
1713
1714         PR c++/15745
1715         * except.c (prepare_eh_type): Use type_decays_to.
1716
1717         PR c++/15097
1718         * init.c (build_delete): Use build_headof to get the address of the
1719         complete object if we aren't using the deleting destructor.
1720         * rtti.c (build_headof): No longer static.
1721         * cp-tree.h: Declare it.
1722
1723 2007-09-06  Jakub Jelinek  <jakub@redhat.com>
1724
1725         * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX
1726         decl if a prototype for XX is provided with throw().
1727
1728         PR c++/33289
1729         * decl.c (builtin_function_1): Set DECL_ANTICIPATED also
1730         on __*_chk non-__builtin_* decls.
1731
1732 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
1733
1734         PR c++/30302
1735         * semantics.c (finish_id_expression): Use context_for_name_lookup
1736         insted of DECL_CONTEXT, to see through anonymous structs and unions.
1737         * class.c (finish_struct_anon): Deal correctly with anonymous
1738         structs (vs unions, as GNU extension) in error messages.
1739
1740 2007-09-05  Jan Hubicka  <jh@suse.cz>
1741
1742         * cp/sematics.c (expand_body): Remove unnecesary import_export_decl
1743         call, DECL_EXTERNAL checks and current_function_decl saving.
1744
1745 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
1746
1747         PR c++/29731 (again)
1748         * parser.c (cp_parser_primary_expression): Return error_mark_node
1749         when a statement-expression is found in a template-argument list.
1750
1751 2007-09-04  Jason Merrill  <jason@redhat.com>
1752
1753         * except.c (initialize_handler_parm): Use
1754         fold_build_cleanup_point_expr.
1755
1756         PR c++/31419
1757         * call.c (reference_binding): Don't look for user-defined conversions
1758         to the same type.
1759
1760         PR c++/31411
1761         * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside
1762         the MUST_NOT_THROW_EXPR.
1763
1764 2007-09-04  Richard Sandiford  <richard@codesourcery.com>
1765
1766         * decl.c (cp_finish_decl): Call determine_visibility before
1767         make_rtl_for_nonlocal_decl.
1768
1769 2007-09-04  Jason Merrill  <jason@redhat.com>
1770
1771         PR c++/14032
1772         * pt.c (most_specialized_class): Substitute outer template
1773         arguments into the arguments of a member template partial
1774         specialization.
1775         (strip_innermost_template_args): New fn.
1776
1777 2007-09-03  Daniel Jacobowitz  <dan@codesourcery.com>
1778
1779         * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB.
1780
1781 2007-09-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1782
1783         * call.c (name_as_c_string): Supply a TYPE for CONST_CAST.
1784         * decl.c (cp_make_fname_decl): Likewise,
1785         * parser.c (cp_parser_string_literal): Likewise,
1786         * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE.
1787         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
1788         Likewise,
1789
1790 2007-09-02  Paolo Carlini  <pcarlini@suse.de>
1791
1792         PR c++/33208
1793         * typeck.c (build_unary_op): Fix error message for
1794         Boolean expression as operand to operator--.
1795
1796 2007-09-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1797
1798         * tree.c (pod_type_p, zero_init_p): Use strip_array_types.
1799         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
1800         Likewise.
1801
1802 2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
1803
1804         PR c++/32597
1805         * init.c (build_default_init): Make extern.
1806         * cp-tree.h (build_default_init): Declare here.
1807         * pt.c (tsubst_expr): When the instantiation of the initializer of
1808         a variable results in an empty list, default-initialize the
1809         variable.
1810         (tsubst_copy_and_build): When the instantiation of the initializer
1811         in a new expression results in an empty initializer list,
1812         default-initialize it.
1813
1814 2007-08-31  Douglas Gregor  <doug.gregor@gmail.com>
1815
1816         * mangle.c (write_type): Change mangling of rvalue reference from
1817         `RR' to `O'. 
1818
1819 2007-08-31  Jakub Jelinek  <jakub@redhat.com>
1820
1821         * decl.c (duplicate_decls): Remove duplicated line.
1822
1823 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1824
1825         PR c++/33210
1826         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with
1827         BOUND_TEMPLATE_TEMPLATE_PARM.
1828
1829 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1830
1831         PR c++/32113
1832         * search.c (lookup_member): Check the name argument for
1833         error_mark_node.
1834
1835 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1836
1837         PR c++/33212
1838         * parser.c (cp_parser_trait_expr): Check rerurn value of
1839         cp_parser_type_id.
1840
1841 2007-08-30  Ollie Wild  <aaw@google.com>
1842
1843         * cvt.c (cp_convert_to_pointer): Remove force parameter. Call
1844         convert_ptrmem for pointer to member conversions.
1845         (convert_to_pointer_force): Update cp_convert_to_pointer call.
1846         (ocp_convert): Update cp_convert_to_pointer call.
1847         * typeck.c (convert_ptrmem): Add conditional for null pointers to
1848         members.
1849         (build_static_cast_1): Check can_convert for conversions in either
1850         direction.
1851         (get_delta_difference_1): New function.
1852         (get_delta_difference): Refactor to call get_delta_difference_1.
1853
1854 2007-08-30  Jakub Jelinek  <jakub@redhat.com>
1855
1856         * decl.c (start_preparsed_function): Set
1857         DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions.
1858
1859 2007-08-28  Paolo Carlini  <pcarlini@suse.de>
1860
1861         PR c++/33209
1862         * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and
1863         BOUND_TEMPLATE_TEMPLATE_PARM.
1864
1865 2007-08-28  Jakub Jelinek  <jakub@redhat.com>
1866
1867         PR c++/32596
1868         PR c++/32400
1869         * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN
1870         and DECL_NOT_REALLY_EXTERN if tmpl_func is not public.
1871
1872 2007-08-27  Jason Merrill  <jason@redhat.com>
1873
1874         PR c++/29000
1875         * pt.c (build_non_dependent_expr, type_dependent_expression_p): 
1876         Look inside STMT_EXPR.
1877         * semantics.c (stmt_expr_value_expr): New fn.
1878         * cp-tree.h: Declare it.
1879
1880         PR c++/28558
1881         * decl.c (groktypename): Ignore attributes applied to class type.
1882
1883 2007-08-28  Richard Guenther  <rguenther@suse.de>
1884
1885         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS.
1886
1887 2007-08-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1888         
1889         * error.c (dump_expr): Handle COMPLEX_CST.
1890         * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise.
1891         (pp_cxx_expression): Likewise.
1892
1893 2007-08-27  Alexandre Oliva  <aoliva@redhat.com>
1894
1895         * decl.c (GNU_INLINE_P): New.
1896         (duplicate_decls): Handle gnu_inline.  Merge attributes and
1897         some flags in overriding definitions.
1898         (redeclaration_error_message): Handle gnu_inline.
1899         (start_preparsed_function): Likewise.
1900
1901 2007-08-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1902
1903         * call.c (sufficient_parms_p): Constify.
1904         * class.c (same_signature_p): Likewise.
1905         * cp-gimplify.c (is_invisiref_parm,
1906         cxx_omp_privatize_by_reference): Likewise.
1907         * cp-objcp-common.c (has_c_linkage): Likewise.
1908         * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK,
1909         sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p,
1910         grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for,
1911         num_artificial_parms_for, comp_template_parms,
1912         template_parameter_pack_p, any_dependent_template_arguments_p,
1913         any_type_dependent_arguments_p, any_value_dependent_elements_p,
1914         repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p,
1915         zero_init_p, member_p, cp_lvalue_kind,
1916         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
1917         varargs_function_p, is_dummy_object, special_function_kind,
1918         string_conv_p, type_unknown_p, comp_except_specs, compparms,
1919         comp_cv_qualification, is_bitfield_expr_with_lowered_type,
1920         unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly,
1921         cp_has_mutable_p, at_least_as_qualified_p,
1922         invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise.
1923         * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise.
1924         * except.c (nothrow_libfn_p): Likewise.
1925         * method.c (skip_artificial_parms_for, num_artificial_parms_for):
1926         Likewise.
1927         * pt.c (comp_template_parms, template_parameter_pack_p,
1928         any_type_dependent_arguments_p, any_value_dependent_elements_p,
1929         any_dependent_template_arguments_p): Likewise.
1930         * repo.c (repo_export_class_p): Likewise.
1931         * semantics.c (anon_aggr_type_p): Likewise.
1932         * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p,
1933         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
1934         varargs_function_p, member_p, is_dummy_object, pod_type_p,
1935         zero_init_p, special_function_p): Likewise.
1936         * typeck.c (comp_array_types, type_unknown_p, comp_except_specs,
1937         comp_array_types, at_least_as_qualified_p, comp_cv_qualification,
1938         compparms, invalid_nonstatic_memfn_p,
1939         is_bitfield_expr_with_lowered_type, unlowered_expr_type,
1940         string_conv_p, ptr_reasonably_similar, cp_type_readonly,
1941         cp_has_mutable_p, lvalue_or_else): Likewise.
1942
1943 2007-08-25  Paolo Bonzini  <bonzini@gnu.org>
1944
1945         * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case.
1946         * cp-objcp-common.c (cp_tree_size): Ditto.
1947         * tree.c (cp_walk_subtrees): Ditto
1948         * cp-tree.def (TINST_LEVEL): Go away.
1949         * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level,
1950         move together with other non-tree structs.
1951         (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL.
1952         (union lang_tree_node): Eliminate tinst_level field.
1953         (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate.
1954         (current_instantiation, outermost_tinst_level): Return
1955         a "struct tinst_level *".
1956
1957         * error.c (print_instantiation_partial_context): Change second
1958         parameter to a "struct tinst_level *".  Replace accessor macros
1959         with field access.
1960         (print_instantiation_full_context): Likewise.
1961         * lex.c (in_main_input_context): Likewise.
1962
1963         * pt.c (struct pending_templates): New.
1964         (pending_templates, last_pending_template): Use it as a type.
1965         (current_tinst_level): Change typo to "struct tinst_level *"
1966         (reopen_tinst_level): Accept "struct tinst_level *", return decl.
1967         (add_pending_template): Construct a "struct pending_template".
1968         Replace TINST_LEVEL accessor macros with field access.
1969         (push_tinst_level): Likewise, using GGC_NEW instead of make_node.
1970         (pop_tinst_level): Likewise.
1971         (instantiate_pending_templates): Likewise.  Factor common code used
1972         when an instantiation has been done.
1973         (outermost_tinst_level): Replace tree_last with loop.
1974         (current_instantiation): Return a "struct tinst_level *".
1975
1976 2007-08-24  Ollie Wild  <aaw@google.com>
1977
1978         * name-lookup.c (add_decl_to_level): Remove addition to vtables chain.
1979         * name-lookup.h (cp_binding_level): Remove vtables member.
1980
1981 2007-08-24  Richard Guenther  <rguenther@suse.de>
1982
1983         * tree.c (cp_cannot_inline_tree_fn): Remove.
1984         * cp-tree.h (cp_cannot_inline_tree_fn): Likewise.
1985         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN):
1986         Remove define.
1987
1988 2007-08-24  Jakub Jelinek  <jakub@redhat.com>
1989
1990         PR c++/32567
1991         * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
1992         error_mark_node right away if build_expr_type_conversion
1993         returned it.
1994
1995         PR c++/32898
1996         * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
1997         is error_mark_node rather than NULL_TREE.
1998         * pt.c (check_explicit_specialization): Likewise.
1999
2000         PR c++/31941
2001         * error.c (resolve_virtual_fun_from_obj_type_ref): Handle
2002         TARGET_VTABLE_USES_DESCRIPTORS targets properly.
2003
2004 2007-08-22  Jason Merrill  <jason@redhat.com>
2005
2006         PR c++/29365
2007         * pt.c (outermost_tinst_level): New function.
2008         * lex.c (in_main_input_context): New function.
2009         * cp-tree.h: Declare it.
2010         * decl2.c (constrain_class_visibility): Use it to avoid warning
2011         about uses of the anonymous namespace in the main input file.
2012
2013 2007-08-21  Jakub Jelinek  <jakub@redhat.com>
2014
2015         * init.c (build_new_1): Use get_target_expr instead of save_expr.
2016
2017 2007-08-20  Pawel Sikora  <pluto@pld-linux.org>
2018
2019         PR c++/7302
2020         * class.c (finish_struct_1): Warn when a class has virtual
2021         functions and accessible non-virtual destructor.
2022
2023 2007-08-20  Richard Guenther  <rguenther@suse.de>
2024
2025         PR c++/22369
2026         PR c++/22451
2027         * call.c (build_new_method_call): Convert initializer to
2028         the basetype.
2029         * init.c (build_aggr_init): Do not fiddle with types.
2030         (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR.
2031         * except.c (build_throw): Do not drop qualifiers for the
2032         pointer type.
2033         * typeck.c (get_member_function_from_ptrfunc): Do not
2034         fiddle with types, instead convert.
2035         (build_ptrmemfunc1): Convert to the target type for
2036         initialization.
2037         (gfc_trans_allocate): Convert result to target type.
2038         * cp-objcp-common.c (cxx_get_alias_set): Pointers to
2039         pointer-to-member structures shall have alias set zero as well.
2040
2041 2007-08-20  Richard Guenther  <rguenther@suse.de>
2042
2043         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P):
2044         Remove.
2045         * cp-tree.h (cp_auto_var_in_fn_p): Remove.
2046         (nonstatic_local_decl_p): Likewise.
2047         * tree.c (cp_auto_var_in_fn_p): Remove.
2048         * decl.c (nonstatic_local_decl_p): Remove.
2049
2050 2007-08-20  Richard Guenther  <rguenther@suse.de>
2051
2052         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES):
2053         Remove define.
2054         * tree.h (cp_walk_tree): New define to walk_tree_1 with
2055         cp_walk_subtrees lh parameter.
2056         (cp_walk_tree_without_duplicates): New define to
2057         walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter.
2058         * tree.c (count_trees): Call
2059         cp_walk_tree_without_duplicates.
2060         (verify_stmt_tree): Call cp_walk_tree.
2061         (break_out_target_exprs): Likewise.
2062         (WALK_SUBTREE): Likewise.
2063         * cp-gimplify.c (cp_genericize): Likewise.
2064         * cp-pt.c (find_parameter_packs_r): Likewise.
2065         (uses_parameter_packs): Likewise.
2066         (make_pack_expansion): Likewise.
2067         (check_for_bare_parameter_packs): Likewise.
2068         (for_each_template_parm): Likewise.
2069         * decl.c (check_default_argument): Call
2070         cp_walk_tree_without_duplicates.
2071         * except.c (build_throw): Likewise.
2072         * decl2.c (type_visibility): Likewise.
2073         * semantics.c (expand_or_defer_fn): Likewise.
2074         (finalize_nrv): Call cp_walk_tree.
2075
2076 2007-08-20  Jakub Jelinek  <jakub@redhat.com>
2077
2078         PR c++/33025
2079         * init.c (build_new_1): Rename placement_var variable to placement_expr.
2080         Initialize it with save_expr rather than get_temp_regvar.
2081
2082 2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2083
2084         PR c++/28989
2085         * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
2086         lvalues.
2087
2088 2007-08-17  Ollie Wild  <aaw@google.com>
2089
2090         PR c++/31749
2091         * name-lookup.c (do_nonmember_using_decl): Shift implicit type
2092         declarations into appropriate slots for comparison.  Fix type
2093         comparison.
2094
2095 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
2096
2097         PR c++/32112
2098         * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
2099         * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
2100
2101 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
2102
2103         PR c++/32870
2104         * parser.c (cp_parser_class_head): Improve error message.
2105
2106 2007-08-16  Seongbae Park  <seongbae.park@gmail.com>
2107
2108         * pt.c (instantiate_decl): Set input_location
2109         for the function end.
2110
2111 2007-08-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2112
2113         * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
2114         Constify.
2115         * cp-tree.h (local_variable_p, nonstatic_local_decl_p,
2116         class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
2117         cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
2118         cxx_warn_unused_global_decl, cp_expr_size): Likewise.
2119         * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
2120         * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
2121         * typeck.c (cp_type_quals): Likewise.
2122         * typeck2.c (cxx_incomplete_type_diagnostic,
2123         cxx_incomplete_type_error): Likewise.
2124
2125 2007-08-16  Paolo Carlini  <pcarlini@suse.de>
2126
2127         PR c++/31132
2128         * pt.c (tsubst_friend_function): When check_classfn
2129         returns error_mark_node likewise return it.
2130
2131 2007-08-15  Jakub Jelinek  <jakub@redhat.com>
2132
2133         PR c++/32992
2134         * typeck.c (check_return_expr): Don't NRV optimize vars in
2135         anonymous unions.
2136         * decl.c (finish_function): Comment fix.
2137
2138 2007-08-15  Paolo Carlini  <pcarlini@suse.de>
2139
2140         PR c++/33035
2141         * pt.c (push_template_decl_real): Depending on TYPE_P
2142         use either TYPE_CONTEXT or DECL_CONTEXT.
2143
2144 2007-08-14  Mark Mitchell  <mark@codesourcery.com>
2145
2146         * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if
2147         constructors and destructors return this.
2148
2149 2007-08-14  Paolo Carlini  <pcarlini@suse.de>
2150
2151         PR c++/27211
2152         * decl2.c (check_classfn): Return error_mark_node in case of error;
2153         in that case, do not call add_method.
2154         * decl.c (start_decl): Deal with check_classfn returning
2155         error_mark_node.
2156         (grokfndecl): Likewise.
2157         * pt.c (tsubst_friend_function): Likewise.
2158
2159 2007-08-14  Andrew Pinski  <pinskia@gmail.com>
2160
2161         PR c++/30428
2162         * typeck.c (build_binary_op): Disallow vector float types with
2163         BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR.
2164
2165 2007-08-11  Ian Lance Taylor  <iant@google.com>
2166
2167         * cp-objcp-common.c (cxx_get_alias_set): Change return type to
2168         alias_set_type.
2169         * cp/cp-tree.h (cxx_get_alias_set): Update declaration.
2170
2171 2007-08-10  Ollie Wild  <aaw@google.com>
2172
2173         * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous
2174         type lookups.
2175         (ambiguous_decl): Construct tree of ambiguous types.  Remove extaneous
2176         function parameter.
2177         (unqualified_namespace_lookup): Fix ambiguous_decl call.
2178         (lookup_using_namespace): Fix ambiguous_decl call.
2179         (qualified_lookup_using_namespace): Fix ambiguous_decl call.
2180
2181 2007-08-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2182
2183         * call.c (name_as_c_string): Use CONST_CAST.
2184         * decl.c (build_decl): Likewise.
2185         * parser.c (cp_parser_string_literal): Likewise.
2186
2187 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
2188
2189         PR c++/17763
2190         * error.c (dump_expr): Consistently use the *_cxx_*
2191         variants of the pretty-print functions.
2192
2193 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
2194
2195         PR c++/22256
2196         * decl.c (check_special_function_return_type): Just error
2197         on return type specified for conversion operator.
2198
2199 2007-08-09  Daniel Berlin  <dberlin@dberlin.org>
2200
2201         * typeck2.c (readonly_error): Handle general expressions.
2202         * error.c (dump_expr): Handle POINTER_PLUS_EXPR
2203
2204 2007-08-06  Dan Hipschman  <dsh@google.com>
2205
2206         * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to
2207         access function name.
2208
2209 2007-08-04  Alfred Minarik  <a.minarik@aon.at>
2210
2211         PR pch/13676
2212         * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header.
2213         * g++spec.c (lang_specific_driver): Check them.
2214
2215 2007-08-06  Paolo Carlini  <pcarlini@suse.de>
2216
2217         PR c++/19532
2218         * pt.c (inline_needs_template_parms): Fix comment; change return type
2219         to bool.
2220
2221 2007-08-05  Volker Reichelt  <v.reichelt@netcologne.de>
2222
2223         Revert:
2224         2007-03-26  Dirk Mueller  <dmueller@suse.de>
2225
2226         * parser.c (cp_parser_member_declaration): Pedwarn
2227         about stray semicolons after member declarations.
2228
2229 2007-08-02  Lee Millward  <lee.millward@gmail.com>
2230
2231         PR c++/30849
2232         PR c++/30850
2233         PR c++/30851
2234         * parser.c (cp_parser_asm_definition): Detect and discard asm
2235         statements with invalid inputs or outputs.
2236         (cp_parser_asm_operand_list): Return error mark node if any
2237         of the operands are invalid. Adjust documentation.
2238         
2239 2007-08-02  Nick Clifton  <nickc@redhat.com>
2240
2241         * typeck.c: Change copyright header to refer to version 3 of the
2242         GNU General Public License and to point readers at the COPYING3
2243         file and the FSF's license web page.
2244         * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c,
2245         config-lang.in, cp-tree.def, call.c, decl.h, ptree.c,
2246         Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c,
2247         cp-objcp-common.h, except.c, error.c, operators.def, cvt.c,
2248         tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c,
2249         cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c,
2250         cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c,
2251         name-lookup.h, parser.c: Likewise.
2252
2253 2007-08-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2254
2255         PR middle-end/32668
2256         * call.c (magic_varargs_p): Honor the "type generic" attribute.
2257
2258 2007-07-30  Paolo Carlini  <pcarlini@suse.de>
2259
2260         PR c++/32108
2261         * semantics.c (finish_label_stmt): Reject the __label__
2262         extension outside function scopes.
2263
2264 2007-07-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2265
2266         * parser.c (eof_token): Un-constify.
2267         (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc,
2268         cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious
2269         casts.
2270
2271 2007-07-28  Kazu Hirata  <kazu@codesourcery.com>
2272
2273         * pt.c, tree.c, typeck2.c: Fix comment typos.
2274
2275 2007-07-28  Simon Martin  <simartin@users.sourceforge.net>
2276             Mark Mitchell  <mark@codesourcery.com>
2277
2278         PR c++/30917
2279         * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be
2280         hidden due to friend declarations in local classes.
2281
2282 2007-07-27  Douglas Gregor  <doug.gregor@gmail.com>
2283
2284         * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
2285         * cp-tree.def (DECLTYPE_TYPE): New.
2286         * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
2287         (dump_type_prefix): Ditto.
2288         (dump_type_suffix): Ditto.
2289         * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
2290         * mangle.c (write_type): Handle DECLTYPE_TYPE.
2291         * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
2292         types.
2293         (DECLTYPE_TYPE_EXPR): New.
2294         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
2295         (finish_declared_type): Declare.
2296         * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
2297         DECLTYPE_TYPE nodes.
2298         (pp_cxx_type_id): Ditto.
2299         * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
2300         (tsubst): Substitute into a DECLTYPE_TYPE node.
2301         (tsubst_copy): Ditto.
2302         (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
2303         nodes.
2304         (dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
2305         * semantics.c (finish_typeof): TYPEOF_TYPE types need to use
2306         structural equality (because we can't hash the expressions).
2307         (finish_declared_type): New.
2308         * lex.c (reswords): Add "decltype" keyword.
2309         * parser.c cp_lexer_next_token_is_decl_specifier_keyword
2310         (cp_parser_postfix_expression): Add member_access_only_p to
2311         restrict postfix expression to member access expressions.
2312         (cp_parser_unary_expression): Update call to
2313         cp_parser_postfix_expression to reflect new parameter.
2314         (cp_parser_declared_type): New.
2315         (cp_parser_simple_type_specifier): Parse decltype types.
2316
2317 2007-07-27  Mark Mitchell  <mark@codesourcery.com>
2318
2319         PR c++/32346
2320         * call.c (convert_for_arg_passing): Only widen bitfields to their
2321         declared types if necessary.
2322
2323 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2324
2325         * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand):
2326         Constify.
2327
2328 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
2329
2330         * decl.c (typename_hash, typename_compare): Constify.
2331         * mangle.c (hash_type, compare_type): Likewise.
2332         * pt.c (eq_local_specializations, hash_local_specialization):
2333         Likewise.
2334         * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq,
2335         list_hash): Likewise.
2336         * typeck2.c (pat_compare): Likewise.
2337
2338 2007-07-24  Nathan Sidwell  <nathan@codesourcery.com>
2339
2340         * method.c (implicitly_declare_fn): Increase alignment if member
2341         function pointer format requires it.
2342
2343 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
2344
2345         PR c++/29001
2346         * typeck.c (check_return_expr): Do not pass a null argument
2347         to null_ptr_cst_p.
2348
2349 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
2350
2351         PR c++/32561
2352         * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P
2353         only on VAR_DECL.
2354
2355 2007-07-22  Nathan Sidwell  <nathan@codesourcery.com>
2356
2357         PR c++/32839
2358         * typeck.c (convert_arguments): Only use default args if we have
2359         a function decl.
2360
2361         PR c++/30818
2362         * typeck.c (structural_comptypes): No need to check
2363         resolve_typename_type return value here.
2364         * cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
2365         * pt.c (resolve_typename_type): Follow typename typedefs.  Return
2366         original type rather than error_mark_node in case of failure.
2367         * parser.c (cp_parser_nested_name_specifier_opt): Adjust
2368         resolve_typename_type result check.
2369         (cp_parser_direct_declarator, cp_parser_head,
2370         cp_parser_constructor_declarator_p): Likewise.
2371
2372 2007-07-12  Kazu Hirata  <kazu@codesourcery.com>
2373
2374         * pt.c (template_parms_variadic_p): Remove.
2375         * cp-tree.h: Remove the prototype for template_parms_variadic_p.
2376
2377 2007-07-12  Jakub Jelinek  <jakub@redhat.com>
2378
2379         PR c++/30854
2380         * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last
2381         argument to dump_aggr_init_expr_args instead of false.
2382
2383 2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
2384
2385         * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the
2386         canonical types; otherwise, fall back to structural type
2387         comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an
2388         internal compiler error if the canonical types are wrong.
2389         
2390 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
2391
2392         PR c++/32560
2393         * parser.c (cp_parser_make_indirect_declarator): When the
2394         the code argument is ERROR_MARK return cp_error_declarator.
2395
2396 2007-07-09  Geoffrey Keating  <geoffk@apple.com>
2397
2398         PR 32617
2399         * decl.c (cxx_init_decl_processing): Don't set
2400         force_align_functions_log.
2401         (grokfndecl): Honour ptrmemfunc_vbit_in_pfn.
2402         * typeck.c (cxx_alignof_expr): When alignof is used on a plain
2403         FUNCTION_DECL, return its alignment.
2404
2405 2007-07-09  Richard Guenther  <rguenther@suse.de>
2406
2407         * decl.c (start_preparsed_function): Do not promote return type.
2408
2409 2007-07-08  Paolo Carlini  <pcarlini@suse.de>
2410
2411         PR c++/30535
2412         * pt.c (unify): Never pass error_mark_node to template_decl_level.
2413
2414 2007-07-07  Mark Mitchell  <mark@codesourcery.com>
2415
2416         PR c++/32232
2417         * pt.c (resolve_overloaded_unification): Robustify.  Return a
2418         bool, not an int.
2419         (type_unification_real): Adjust accordingly.
2420
2421 2007-07-06  Richard Guenther  <rguenther@suse.de>
2422
2423         * init.c (build_new_1): Use the correct pointer type.
2424         * typeck2.c (build_m_component_ref): Likewise.
2425
2426 2007-07-05  Mark Mitchell  <mark@codesourcery.com>
2427
2428         PR c++/32245
2429         * init.c (build_zero_init): Always build an initializer for
2430         non-static storage.
2431         * typeck2.c (build_functional_cast): Use build_zero_init.
2432
2433         PR c++/32251
2434         * init.c (build_new_1): Always pass the allocation function to
2435         build_op_delete_call.
2436         * call.c (build_op_delete_call): Handle operator delete with a
2437         variable-argument list.  Do not issue an error when no matching
2438         deallocation function is available for a new operator.
2439
2440         PR c++/31992
2441         * cp-tree.h (any_value_dependent_elements_p): Declare it.
2442         * decl.c (value_dependent_init_p): New function.
2443         (cp_finish_decl): Use it.
2444         * pt.c (value_dependent_expression_p): Use
2445         any_value_dependent_elements_p.
2446         * parser.c (cp_parser_primary_expression): Add comment about
2447         treating dependent qualified names as integral
2448         constant-expressions.
2449
2450 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
2451
2452         * decl.c (build_ptrmemfunc_type): Always use structural equality
2453         tests when comparing pointer-to-member-function types, because the
2454         handling of TYPE_GET_PTRMEMFUNC_TYPE currently defeats canonical
2455         types.
2456         
2457 2007-07-03  Mark Mitchell  <mark@codesourcery.com>
2458
2459         * init.c (build_new): Tweak comment.
2460
2461 2007-06-29  Dave Brolley  <brolley@redhat.com>
2462
2463         PR c++/31743
2464         * parser.c (cp_parser_new_type_id): Don't reduce a named array
2465         type to its base type and number of elements here.
2466         * init.c (build_new): Call complete_type_or_else to ensure that the
2467         type is complete and to issue a diagnostic if it is not.
2468         (build_new_1): Don't call complete_type_or_else here.
2469
2470 2007-07-03  Richard Guenther  <rguenther@suse.de>
2471
2472         PR c++/32609
2473         * class.c (fixed_type_or_null): Re-lookup the hashtable slot
2474         after recursing.
2475
2476 2007-07-02  Simon Baldwin  <simonb@google.com>
2477
2478         * parser.c (cp_parser_elaborated_type_specifier): Added a warning
2479         for inner-style nested forward declarations that don't declare
2480         anything useful.
2481
2482 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
2483
2484         PR c++/31748
2485         * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
2486         DECL_P in not a variable and appears more than once error messages.
2487
2488 2007-07-01  Ollie Wild  <aaw@google.com>
2489
2490         * name-lookup.c (ambiguous_decl): Fix case when new->value is hidden.
2491         (select_decl): Remove function.
2492         (unqualified_namespace_lookup): Populate binding by calling
2493         ambiguous_decl.  Remove select_decl call.
2494         (lookup_qualified_name): Remove select_decl call.
2495         * decl.c (lookup_and_check_tag): Check for ambiguous references.
2496         * parser.c (cp_parser_elaborated_type_specifier): Skip redundant error
2497         generation when name lookup is ambiguous.
2498
2499 2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>
2500
2501         PR c++/31724
2502         * init.c (build_new_1): Use structural equality on the copy of the
2503         array type.
2504
2505 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
2506
2507         * decl2.c (determine_visibility): Implement
2508         flag_visibility_ms_compat effect on type info.
2509         * decl.c (cxx_init_decl_processing): Implement
2510         global effect of flag_visibility_ms_compat.
2511
2512 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
2513
2514         * decl2.c (start_objects): Mark constructor-running function
2515         as artificial.
2516
2517 2007-06-26  Simon Martin  <simartin@users.sourceforge.net>
2518
2519         PR c++/32111
2520         * decl.c (grokdeclarator): Reset friendp for member functions declared
2521         friend of their own class.
2522
2523 2007-06-23  Mark Mitchell  <mark@codesourcery.com>
2524
2525         * decl2.c (determine_visibility): Don't look for dllexport here.
2526         (determine_visibility_from_class): Tidy.
2527
2528 2007-06-18  Simon Baldwin <simonb@google.com>
2529
2530         PR c++/31923
2531         * parser.c (cp_parser_single_declaration): Added check for storage
2532         class other than sc_none in parsed declaration, and a flag to indicate
2533         if the call is part of an explicit template specialization parse.
2534         * (cp_parser_explicit_specialization): Specialization check flag added
2535         to call to cp_parser_single_declaration(), set true.
2536         * (cp_parser_template_declaration_after_export): Specialization check
2537         flag added to call to cp_parser_single_declaration(), set false.
2538         * pt.c (check_explicit_specialization): Added code to copy visiblity
2539         and linkage from the templated function to the explicit specialization.
2540
2541 2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2542
2543         * typeck.c (build_binary_op): For templates build the
2544         expression in pieces to avoid the assert in build2_stat.
2545         (get_member_function_from_ptrfunc):
2546         Change over to using POINTER_PLUS_EXPR and convert
2547         the second operand to sizetype.
2548         * typeck2.c (build_m_component_ref):  Likewise.
2549         * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
2550         instead of PLUS_EXPR for pointers.
2551         (build_new_1): Likewise.
2552         (build_vec_delete_1): Likewise.
2553         (build_vec_delete): Likewise.
2554         * class.c (build_base_path): Likewise.
2555         (build_base_path): Likewise.
2556         (convert_to_base_statically): Likewise.
2557         (fixed_type_or_null): Handle POINTER_PLUS_EXPR.
2558         (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
2559         instead of PLUS_EXPR.
2560         (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
2561         instead of PLUS_EXPR for pointers.
2562         * call.c (build_special_member_call): Likewise.
2563         * rtti.c (build_headof): Likewise.
2564         Use sizetype instead of ptrdiff_type_node.
2565         (tinfo_base_init): Create a POINTER_PLUS_EXPR
2566         instead of PLUS_EXPR for pointers.
2567         * except.c (expand_start_catch_block):  Do a
2568         NEGATIVE and then a POINTER_PLUS_EXPR instead
2569         of a MINUS_EXPR.
2570         * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
2571         PLUS_EXPR on pointer types over to use
2572         POINTER_PLUS_EXPR and remove the conversion
2573         to the pointer types.
2574         * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
2575         adding to a pointer type. Use size_int instead of
2576         ssize_int. Convert the index to sizetype before
2577         adding it to the pointer.
2578
2579 2007-06-15  Mark Mitchell  <mark@codesourcery.com>
2580
2581         * cp-tree.h (DECL_VAR_MARKED_P): Remove.
2582         (DECL_ANON_UNION_VAR_P): New macro.
2583         * class.c (fixed_type_or_null): Tidy.  Use a hash table, rather
2584         than DECL_VAR_MARKED_P, to keep track of which variables we have
2585         seen.
2586         * decl.c (redeclaration_error_message): Complain about redeclaring
2587         anonymous union members at namespace scope.
2588         * decl2.c (build_anon_union_vars): Set DECL_ANON_UNION_VAR_P.
2589
2590 2007-06-14  Geoff Keating  <geoffk@apple.com>
2591
2592         * decl2.c (determine_visibility): Ensure that functions with
2593         hidden types as parameters are hidden.
2594
2595         PR 31093
2596         * decl2.c (determine_visibility): Remove duplicate code for
2597         handling type info.
2598
2599 2007-06-12  Ian Lance Taylor  <iant@google.com>
2600
2601         PR libstdc++/29286
2602         * init.c (avoid_placement_new_aliasing): New static function.
2603         (build_new_1): Call it.
2604
2605 2007-06-11  Rafael Avila de Espindola  <espindola@google.com>
2606
2607         * cp-objcp-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
2608         (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
2609
2610 2007-06-08  Jakub Jelinek  <jakub@redhat.com>
2611
2612         PR c++/32177
2613         * semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr
2614         on init, the non-decl cond operand and increment value.
2615
2616 2007-06-07  Simon Martin  <simartin@users.sourceforge.net>
2617
2618         PR c++/30759
2619         * decl.c (check_initializer): Report an error when a brace enclosed
2620         initializer is used for a non-aggregate type in C++98.
2621         (redeclaration_error_message): Rewrote flag_cpp0x in terms of
2622         cxx_dialect.
2623         (grokdeclarator): Likewise.
2624         (move_fn_p): Likewise.
2625         * typeck.c (check_return_expr): Likewise.
2626         * call.c (reference_binding): Likewise.
2627         * error.c (cp_cpp_error): Likewise.
2628         * pt.c (check_default_tmpl_args): Likewise.
2629         (tsubst): Likewise.
2630         * lex.c (init_reswords): Likewise.
2631         * parser.c (p_parser_primary_expression): Likewise.
2632         (TOKEN_PRECEDENCE): Likewise.
2633         (cp_parser_init_declarator): Likewise.
2634         (cp_parser_ptr_operator): Likewise.
2635         (cp_parser_parameter_declaration): Likewise.
2636         (cp_parser_enclosed_template_argument_list): Likewise.
2637         (cp_parser_skip_to_end_of_template_parameter_list): Likewise.
2638         (cp_parser_next_token_ends_template_argument_p): Likewise.
2639
2640 2007-06-04  Simon Baldwin  <simonb@google.com>
2641
2642         * decl.c (grokdeclarator): Readability change.  Moved case labels
2643         into direct switch statement scope.
2644
2645 2007-06-04  Paolo Carlini  <pcarlini@suse.de>
2646
2647         * call.c (convert_like_real): Remove pointless code.
2648
2649 2007-05-31  Mark Mitchell  <mark@codesourcery.com>
2650
2651         * decl.c (get_atexit_fn_ptr_type): New function.
2652         (get_atexit_node): Use it.
2653         (start_cleanup_fn): Likewise.
2654         (register_dtor_fn): Use the object's destructor, instead of a
2655         separate cleanup function, where possible.
2656         * cp-tree.h (CPTI_ATEXIT_FN_PTR_TYPE): New enumerator.
2657         (atexit_fn_ptr_type_node): New macro.
2658         * decl2.c (build_cleanup): Use build_address.
2659
2660 2007-05-31  Daniel Berlin  <dberlin@dberlin.org>
2661
2662         * typeck.c (build_binary_op): Include types in error.
2663
2664 2007-05-31  Jakub Jelinek  <jakub@redhat.com>
2665
2666         PR c++/31806
2667         * decl.c (cp_finish_decl): Also clear was_readonly if a static var
2668         needs runtime initialization.
2669
2670 2007-05-31  Paolo Carlini  <pcarlini@suse.de>
2671
2672         PR c++/32158
2673         * semantics.c (finish_trait_expr): Complete the types.
2674
2675 2007-05-30  Russell Yanofsky <russ@yanofsky.org>
2676             Douglas Gregor <doug.gregor@gmail.com>
2677             Pedro Lamarao <pedro.lamarao@mndfck.org>
2678             Howard Hinnant <howard.hinnant@gmail.com>
2679
2680         PR c++/7412
2681         PR c++/29939
2682         * typeck.c (comptypes): Don't consider rvalue and lvalue
2683         reference types to be equivalent.
2684         (check_return_expr): Move from certain lvalues when returning
2685         them.
2686         * decl.c (grokdeclarator): Implement reference collapsing.
2687         (copy_fn_p): Don't consider constructors taking rvalue references
2688         to be copy constructors.
2689         (move_fn_p): New.
2690         * call.c (conversion): New "rvaluedness_matches_p" member.
2691         (convert_class_to_reference): Require reference type as first
2692         parameter instead of base type.
2693         (reference_binding): Add logic to handle rvalue references.
2694         (implicit_conversion): Update inaccurate comment.
2695         (convert_like_real): Disable creation of temporaries that are
2696         impossible to initialize for types with move constructors.
2697         (build_over_call): Elide move constructors when possible.
2698         (maybe_handle_implicit_object): Set "rvaluedness_matches_p".
2699         (maybe_handle_ref_bind): Return conversion instead of type node.
2700         (compare_ics): Add logic to use "rvaluedness_matches_p" values to
2701         determine preferred conversion sequences.
2702         * cp-tree.h (TYPE_REF_IS_RVALUE): New.
2703         (LOOKUP_PREFER_RVALUE): New.
2704         (DECL_MOVE_CONSTRUCTOR_P): New.
2705         (struct cp_declarator): Add "reference" member for reference
2706         types, with new "rvalue_ref" flag.
2707         (cp_build_reference_type): Declare.
2708         (move_fn_p): Declare.
2709         * error.c (dump_type_prefix): Format rvalue reference types
2710         correctly in error messages.
2711         * except.c (build_throw): Move from certain lvalues when
2712         throwing.
2713         * mangle.c (write_type): Mangle rvalue references differently
2714         than regular references.
2715         * parser.c (make_reference_declarator): Add boolean parameter for
2716         rvalue references.
2717         (cp_parser_make_indirect_declarator): New.
2718         (cp_parser_new_declarator_opt): Call
2719         cp_parser_make_indirect_declarator. 
2720         (cp_parser_conversion_declarator_opt): Ditto.
2721         (cp_parser_declarator): Ditto.
2722         (cp_parser_ptr_operator): Parse "&&" tokens into rvalue reference
2723         declarators.
2724         * pt.c (tsubst): Implement reference collapsing.
2725         (maybe_adjust_types_for_deduction): Implement special template
2726         parameter deduction rule for rvalue references.
2727         (type_unification_real): Update calls to
2728         maybe_adjust_types_for_deduction.
2729         (try_one_overload): Ditto.
2730         (unify_pack_expansion): Ditto.
2731         * tree.c (lvalue_p_1): Handle rvalue reference types.
2732         (cp_build_reference_type): New.
2733
2734 2007-05-30  Jakub Jelinek  <jakub@redhat.com>
2735
2736         PR c++/31809
2737         * decl.c (cp_finish_decl): Clear TREE_READONLY flag on TREE_STATIC
2738         variables that need runtime initialization.
2739
2740 2007-05-28  Andrew Pinski  <Andrew_pinski@playstation.sony.com>
2741
2742         PR c++/31339
2743         * typeck.c (build_unary_op <case PREINCREMENT_EXPR,
2744         case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR,
2745         case POSTDECREMENT_EXPR>): Return the error_mark_node
2746         if either the real or imaginary parts would an
2747         error_mark_node.
2748         
2749 2007-05-25  Simon Martin  <simartin@users.sourceforge.net>
2750             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2751
2752         PR c++/31745
2753         * parser.c (cp_parser_skip_to_closing_brace): Return true if the next
2754         token is a closing brace, false if there are no tokens left.
2755         (cp_parser_namespace_alias_definition): Only consume the next token if
2756         it is a closing brace.
2757
2758         * parser.c (cp_parser_class_specifier): Likewise.
2759
2760 2007-05-25  H.J. Lu  <hongjiu.lu@intel.com>
2761
2762         * semantics.c (finish_member_declaration): Fix a typo in the
2763         last checkin.
2764
2765 2007-05-25  Douglas Gregor <doug.gregor@gmail.com>
2766
2767         PR c++/31431
2768         PR c++/31432
2769         PR c++/31434
2770         PR c++/31435
2771         PR c++/31437
2772         PR c++/31438
2773         PR c++/31442
2774         PR c++/31443
2775         PR c++/31444
2776         PR c++/31445
2777         * error.c (dump_type): Dump TYPE_ARGUMENT_PACK nodes.
2778         * cp-tree.h (check_for_bare_parameter_packs): Returns bool.
2779         * pt.c (check_for_bare_parameter_packs): Return bool indicated
2780         whether everything was okay. Fix indentation.
2781         (push_template_decl_real): Check for bare parameter packs in
2782         function parameters; where errors occur, mark the parameter types
2783         with ERROR_MARK_NODEs to avert ICEs.
2784         (coerce_template_parameter_pack): New.
2785         (coerce_template_parms): Moved parameter pack coercion into
2786         coerce_template_parameter_pack, and permit it anywhere in the
2787         template parameter list (not just at the end). Parameter and
2788         argument indices can vary (somewhat) separately now, so add
2789         PARM_IDX and ARG_IDX.
2790         (fn_type_unification): Don't set an argument pack as incomplete if
2791         no argument pack was deduced.
2792         (type_unification_real): If a type parameter is a parameter pack
2793         and has not otherwise been deduced, it will be deduced to an empty
2794         parameter pack.
2795         (more_specialized_fn): Use the actual lengths of the argument
2796         lists when comparing against expansions.
2797         * semantics.c (finish_member_declaration): If a field's type has
2798         bare parameter packs, error and set its type to ERROR_MARK_NODE.
2799
2800 2007-05-24  Danny Smith  <dannysmith@users.sourceforge.net>
2801
2802         PR target/27067
2803         * mangle.c (mangle_decl): Call targetm.mangle_decl_assembler_name.
2804
2805 2007-05-22  Ollie Wild  <aaw@google.com>
2806
2807         * name-lookup.c (ambiguous_decl): Adds check for hidden types.
2808         (unqualified_namespace_lookup): Adds check for hidden types.
2809
2810 2007-05-22  Ollie Wild  <aaw@google.com>
2811
2812         * decl.c (duplicate_decls): Verify namespace names are unique.
2813
2814 2007-05-21  Mark Mitchell  <mark@codesourcery.com>
2815
2816         * decl.c (cxx_maybe_build_cleanup): Handle
2817         __attribute__((cleanup)).
2818
2819 2007-05-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2820
2821         * cvt.c (cp_convert_and_check): Don't check warnings if the
2822         conversion failed.
2823
2824 2007-05-18  Geoffrey Keating  <geoffk@apple.com>
2825
2826         * mangle.c (write_real_cst): Use 'unsigned long' for %lx.
2827
2828 2007-05-14  Paolo Carlini  <pcarlini@suse.de>
2829
2830         PR c++/29928
2831         * rtti.c (get_tinfo_decl_dynamic, get_typeid): Try to complete the
2832         type only if is a class type (5.2.8/4).
2833
2834 2007-05-14  Rafael Avila de Espindola  <espindola@google.com>
2835
2836         * cp-objcp-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2837         * decl.c (grokdeclarator): Use unsigned_type_for instead of
2838         c_common_unsigned_type.
2839
2840 2007-05-11  Silvius Rus  <rus@google.com>
2841
2842         * cp/typeck.c (build_indirect_ref): Add call to
2843         strict_aliasing_warning.
2844         (build_reinterpret_cast_1): Condition call to
2845         strict_aliasing_warning. 
2846
2847 2007-05-11  Jan Hubicka  <jh@suse.cz>
2848
2849         * semantics.c (expand_or_defer_fn): Do not call c_record_cdtor_fn.
2850         * decl2.c (start_objects): ctors and dtors are no longer public.
2851         (cp_write_global_declarations): Do not call c_build_cdtor_fns.
2852         
2853 2007-05-07  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2854
2855         * typeck.c (build_unary_op): Remove code that used to
2856         handle non lvalue increments/decrements.
2857
2858 2007-05-07  Mike Stump  <mrs@apple.com>
2859
2860         * parser.c (check_empty_body): Add.
2861         (cp_parser_iteration_statement): Add call to check_empty_body.
2862
2863 2007-05-05  Geoffrey Keating  <geoffk@apple.com>
2864
2865         PR 31775
2866         * mangle.c (write_mangled_name): Mangle static variable names.
2867         (write_unqualified_name): Use local-source-name for
2868         namespace-scope static variables.
2869
2870 2007-05-04  Dirk Mueller  <dmueller@suse.de>
2871
2872         * cp-tree.h (DECL_MAIN_P): only if -ffreestanding is
2873         not in effect.
2874
2875 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
2876
2877         PR c++/31663
2878         * decl2.c (constrain_class_visibility): 
2879         Use strip_pointer_or_array_types instead of strip_array_types.
2880
2881 2007-04-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2882
2883         PR C++/30221
2884         * decl.c (reshape_init_r): Don't reshape the first element if it
2885         is a pointer to member function.
2886
2887 2007-04-27  Simon Baldwin  <simonb@google.com>
2888
2889         * decl.c (grokparms): Changed message format from %qD to %qE.
2890
2891 2007-04-27  Douglas Gregor  <doug.gregor@gmail.com>
2892
2893         * error.c (maybe_warn_variadic_templates): Variadic templates are
2894        now in C++0x, so only warn about them in C++98 mode.
2895         
2896 2007-04-26  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2897
2898         PR C++/30016
2899         * typeck.c (build_reinterpret_cast_1): Only allow conversion to
2900         integeral types from vectors types.
2901
2902 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
2903
2904         PR c++/31598
2905         * semantics.c (finish_omp_clauses): Don't create CP_OMP_CLAUSE_INFO
2906         for type dependent OMP_CLAUSE_DECLs.
2907
2908 2007-04-24  Mark Mitchell  <mark@codesourcery.com>
2909
2910         PR c++/31338
2911         * cp-tree.h (ARITHMETIC_TYPE): Include COMPLEX_TYPE.
2912         * typeck.c (type_after_usual_arithmetic_conversions): Adjust, as
2913         COMPLEX_TYPE is now an ARITHMETIC_TYPE.
2914         * init.c (build_zero_init): Adjust, as
2915         COMPLEX_TYPE is now a SCALAR_TYPE.
2916         * typeck2.c (digest_init): Allow brace-enclosed initializers for
2917         COMPLEX_TYPE, even though that is now a SCALAR_TYPE.
2918
2919 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
2920
2921         * semantics.c (classtype_has_nothrow_copy_or_assign_p): Adjust
2922         per N2255; rename as classtype_has_nothrow_assign_or_copy_p.
2923         (trait_expr_value): Adjust.
2924
2925 2007-04-23  Simon Baldwin  <simonb@google.com>
2926
2927         * decl.c (grokparms): Added new error for duplicate function
2928         parameters names in function prototypes, to match gcc behavior.
2929
2930 2007-04-23  Jan Hubicka  <jh@suse.cz>
2931
2932         * cp/decl2.c (finish_objects): Do not call target constructor/destructor
2933         bits dirrectly.
2934
2935 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2936
2937         * cp-tree.h (lang_tree_node): Use GENERIC_NEXT
2938         instead of checking GIMPLE_STMT_P in chain_next.
2939
2940 2007-04-17  Mark Mitchell  <mark@codesourcery.com>
2941
2942         PR c++/31513
2943         * call.c (convert_for_arg_passing): Convert bitfields to their
2944         declared types.
2945
2946 2007-04-17  Simon Martin  <simartin@users.sourceforge.net>
2947
2948         PR c++/31517
2949         * pt.c (value_dependent_expression_p): Handle MODOP_EXPRs.
2950
2951 2007-04-16  Seongbae Park <seongbae.park@gmail.com>
2952
2953         PR c++/29365
2954         * cp/decl2.c (constrain_class_visibility):
2955         Do not warn about the use of anonymous namespace in the main input file.
2956
2957 2007-04-15  Mark Mitchell  <mark@codesourcery.com>
2958
2959         * cp-tree.h (current_template_parms): Fix typo in comment.
2960
2961 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
2962
2963         * cp-tree.h, error.c: Fix comment typos.
2964
2965 2007-04-13  Jason Merrill  <jason@redhat.com>
2966
2967         PR c++/31074
2968         * call.c (reference_binding): Add c_cast_p parm.  If true,
2969         add quals to TO as needed to make it reference-compatible.
2970
2971 2007-04-11  Jan Hubicka  <jh@suse.cz>
2972
2973         * cp/class.c (convert_to_base_statically): Fold produced tree; verify
2974         that we are not processing template_decl.
2975
2976 2007-04-09  Mark Mitchell  <mark@codesourcery.com>
2977
2978         PR c++/31449
2979         * class.c (build_base_path): Ensure that the converted pointer has
2980         the same cv-qualification as the input.
2981
2982 2007-04-09  Paolo Carlini  <pcarlini@suse.de>
2983
2984         * tree.c (cp_tree_equal): Deal with TRAIT_EXPR.
2985
2986 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
2987
2988         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS):
2989         Do not set it.
2990         (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do not set it.
2991         * tree.c (cp_add_pending_fn_decls): Remove.
2992         * cp-tree.h (cp_add_pending_fn_decls): Remove prototype.
2993
2994 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
2995
2996         Revert change removing staticp.
2997
2998 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2999
3000         * cp-objcp-common.c (cxx_staticp): Remove.
3001         * cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
3002         * cp-tree.h (cxx_staticp):      
3003
3004 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
3005
3006         * class.c (check_for_override): Don't remove dllmport attribute
3007         of virtual methods.
3008
3009 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
3010
3011         PR c++/30847
3012         * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
3013         type issue error and return early.
3014
3015 2007-03-30  Jason Merrill  <jason@redhat.com>
3016
3017         PR c++/31187
3018         * typeck.c (cp_type_readonly): New fn.
3019         * cp-tree.h: Declare it.
3020         * decl.c (start_decl): Set implicit DECL_THIS_STATIC here.
3021         (cp_finish_decl): Not here.
3022
3023 2007-03-31  Richard Guenther  <rguenther@suse.de>
3024
3025         * optimize.c (maybe_clone_body): Replace splay-tree usage by
3026         pointer-map.
3027
3028 2007-03-31  Douglas Gregor  <doug.gregor@gmail.com>
3029
3030         PR c++/31138
3031         PR c++/31140
3032         PR c++/31141
3033         * parser.c (declarator_can_be_parameter_pack): New.
3034         (cp_parser_template_parameter): Only parse the `...' if the
3035         declarator can be a parameter pack.
3036         (cp_parser_parameter_declaration): Ditto. Also, handle when TYPE
3037         is NULL.
3038         * pt.c (find_parameter_packs_r): Look into the bounds on integer
3039         types (they could be used as array bounds). 
3040         (check_for_bare_parameter_packs): Deal with TEMPLATE_PARM_INDEX.
3041         (tsubst_pack_expansion): Handle failure to expand parameter
3042         packs.
3043         
3044 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
3045
3046         PR c++/26099
3047         * cp-tree.h (enum cp_trait_kind, struct tree_trait_expr,
3048         TRAIT_EXPR_TYPE1, TRAIT_EXPR_TYPE2, TRAIT_EXPR_KIND): Add.
3049         (enum cp_tree_node_structure_enum, union lang_tree_node): Update.
3050         (CLASS_TYPE_NON_UNION_P): Add.
3051         (struct lang_type_class): Add has_complex_dflt.
3052         (TYPE_HAS_COMPLEX_DFLT, TYPE_HAS_TRIVIAL_DFLT): Add.
3053         (locate_copy, locate_ctor, locate_dtor, finish_trait_expr): Declare.
3054         * cp-tree.def: Add TRAIT_EXPR.
3055         * cp-objcp-common.c (cp_tree_size): Add TRAIT_EXPR case.
3056         * lex.c (struct resword): Add __has_nothrow_assign,
3057         __has_nothrow_constructor, __has_nothrow_copy, __has_trivial_assign,
3058         __has_trivial_constructor, __has_trivial_copy,
3059         __has_trivial_destructor, __has_virtual_destructor, __is_abstract,
3060         __is_base_of, __is_class, __is_convertible_to, __is_empty, __is_enum,
3061         __is_pod, __is_polymorphic, __is_union.
3062         * parser.c (cp_parser_primary_expression): Deal with the new RIDs.
3063         (cp_parser_trait_expr): New.
3064         * semantics.c (finish_trait_expr, trait_expr_value
3065         classtype_has_nothrow_copy_or_assign_p): New.
3066         * method.c (locate_copy, locate_ctor, locate_dtor): Do not define
3067         as static.
3068         * decl.c (cp_tree_node_structure): Add TRAIT_EXPR.
3069         * class.c (check_bases, check_field_decl, check_bases_and_members):
3070         Deal with TYPE_HAS_COMPLEX_DFLT (t) too.
3071         * pt.c (uses_template_parms, tsubst_copy_and_build,
3072         value_dependent_expression_p, type_dependent_expression_p): Deal with
3073         TRAIT_EXPR.
3074         * tree.c (cp_walk_subtrees): Deal with TRAIT_EXPR.
3075
3076 2007-03-29  Richard Guenther  <rguenther@suse.de>
3077
3078         * tree.c (cp_walk_subtrees): Do not set input_location.
3079
3080 2007-03-28  Simon Martin  <simartin@users.sourceforge.net>
3081
3082         PR c++/29077
3083         * decl.c (grokfndecl): Properly setup decl if it is a constructor or a
3084         destructor.
3085
3086 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
3087
3088         * parser.c (struct cp_parser): Update comment for
3089         greater_than_is_operator_p.
3090         (cp_parser_primary_expression): In C++0x mode, a cast operator can
3091         be terminated with a `>>' token when !GREATER_THAN_IS_OPERATOR_P.
3092         (TOKEN_PRECEDENCE): In C++0x mode, `>>' is treated like `>' when
3093         !GREATER_THAN_IS_OPERATOR_P.
3094         (cp_parser_binary_expression): When -Wc++0x-compat, warn about
3095         `>>' operators that will become two `>' tokens in C++0x.
3096         (cp_parser_parameter_declaration): Treat `>>' like `>' in C++0x
3097         mode, allowing it to terminate default arguments.
3098         (cp_parser_enclosed_template_argument_list): In C++0x mode, treat
3099         `>>' like two consecutive `>' tokens.
3100         (cp_parser_skip_to_end_of_template_parameter_list): Ditto.
3101         (cp_parser_next_token_ends_template_argument_p): In C++0x, `>>'
3102         ends a template argument.
3103
3104 2007-03-28  Douglas Gregor  <doug.gregor@gmail.com>
3105
3106         * decl.c (redeclaration_error_message): Complain when redeclaring
3107         a friend function with default template arguments (C++0x mode only).
3108         * cp-tree.h (check_default_tmpl_args): Declare.
3109         * pt.c (check_default_tmpl_args): In C++0x mode, permit default
3110         template arguments in function templates. Add support for checking
3111         the default template arguments of friend templates.
3112         (push_template_decl_real): Fix call to check_default_tmpl_args.
3113         (type_unification_real): If a template parameter has not been
3114         deduced but provides a default template argument, substitute into
3115         that default template argument.
3116         * parser.c (cp_parser_init_declarator): When declaring (but not
3117         defining!) a function template in C++0x mode, check for default
3118         template arguments.
3119
3120 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
3121
3122         PR c++/29993
3123         * decl.c (grokdeclarator): Deal with cv-qualified function type
3124         typedefs in the same way for member and non-member functions.
3125
3126 2007-03-26  Dirk Mueller  <dmueller@suse.de>
3127
3128         * parser.c (cp_parser_member_declaration): Pedwarn
3129         about stray semicolons after member declarations.
3130
3131 2007-03-26  Paolo Carlini  <pcarlini@suse.de>
3132
3133         PR c++/30500
3134         * pt.c (instantiate_decl): Set in_system_header.
3135
3136 2007-03-22  Mark Mitchell  <mark@codesourcery.com>
3137
3138         * cp-tree.h (current_tempalte_parms): Improve documentation.
3139         * pt.c (current_template_args): Likewise.
3140
3141         PR c++/30863
3142         * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): Do
3143         not consume tokens when failing.
3144
3145 2007-03-22  Jim Wilson  <wilson@specifix.com>
3146             Mark Mitchell  <mark@codesourcery.com>
3147
3148         PR c++/31273
3149         * call.c (standard_conversion): Use type_decays_to.  Keep FCODE
3150         consistent with FROM.
3151
3152 2007-03-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3153
3154         * error.c (dump_expr): Handle dependent names that designate types.
3155         * cxx-pretty-print.c (pp_cxx_unqualified_id): Handle TYPENAME_TYPE.
3156
3157 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
3158
3159         * cp-tree.def, parser.c, pt.c: Fix comment typos.
3160
3161 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3162
3163         * cvt.c (cp_convert_and_check) : Define.
3164         * cp-tree.h (cp_convert_and_check): Declare.
3165         * call.c (convert_conversion_warnings): Rename to
3166         conversion_null_warnings.  The warning for floating-point to
3167         integer is handled by convert_and_check in convert_like_real.
3168         (convert_like_real): convert_conversion_warnings was renamed as
3169         conversion_null_warnings.
3170         * typeck.c (build_binary_op): Use cp_convert_and_check to warn for
3171         overflow and changes of value during conversion.
3172
3173 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3174
3175         PR c++/30891
3176         * parser.c (cp_parser_statement): If 'namespace' is found, this
3177         only can be a namespace alias definition, so parse it now.
3178         (cp_parser_namespace_alias_definition): if we find an open brace
3179         instead of '=', then this is actually a misplaced namespace
3180         definition.
3181         
3182 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3183
3184         PR c++/24924
3185         * decl.c (cxx_init_decl_processing): Move command-line options
3186         processing to c-opts.c.
3187         
3188 2007-03-15  Douglas Gregor  <doug.gregor@gmail.com>
3189
3190         * ptree.c (cxx_print_type): Use formatting markup for integers
3191         when printing template parameter index/level/orig level.
3192         (cxx_print_xnode): Ditto.
3193         * cp-tree.h (TEMPLATE_PARM_PARAMETER_PACK): Use TREE_LANG_FLAG_0.
3194         (struct template_parm_index_s): Remove the PARAMETER_PACK member.
3195         Make INDEX, LEVEL, and ORIG_LEVEL integers instead of
3196         HOST_WIDE_INTs.
3197         (struct saved_scope): Make X_PROCESSING_TEMPLATE_DECL an int,
3198         rather than a HOST_WIDE_INT.
3199         Turn X_PROCESSING_EXPLICIT_INSTANTIATION, SKIP_EVALUATION, and
3200         NEED_POP_FUNCTION_CONTEXT into bool bitfields; reorder fields for
3201         better bit-packing.
3202         (struct language_function): Make RETURNS_VALUE, RETURNS_NULL,
3203         RETURNS_ABNORMALLY, IN_FUNCTION_TRY_HANDLER, and
3204         IN_BASE_INITIALIZER bool bitfields.
3205         (struct cp_declarator): Make KIND a 4-bit field. Make
3206         PARAMETER_PACK_P a bool bitfield just after KIND.
3207         * pt.c (uses_parameter_packs): Destroy the pointer set.
3208         (make_pack_expansion): Ditto.
3209         (check_for_bare_parameter_packs): Ditto.
3210         * name-lookup.c (push_to_top_level): Make need_pop a bool value.
3211         
3212 2007-03-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3213
3214         PR c++/31165
3215         * call.c  (convert_default_arg): Instead of copying the node,
3216         unshare it.
3217
3218 2007-03-15  Dirk Mueller  <dmueller@suse.de>
3219
3220         PR c++/30860
3221         * call.c (convert_conversion_warnings): New..
3222         (convert_like_real): .. factored out from here.
3223         (convert_conversion_warnings): Add warning about
3224         false being converted to NULL in argument passing.
3225
3226 2007-03-14  Dirk Mueller  <dmueller@suse.de>
3227
3228         * cp/semantics.c (c_finish_if_stmt): Call empty_if_body_warning.
3229         (finish_do_body): Warn about empty body in do/while statement.
3230
3231 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3232
3233         * class.c (warn_hidden): Add OPT_Woverloaded_virtual to warning.
3234         
3235 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3236
3237         PR c/21438
3238         * typeck.c (build_binary_op): Call warn_for_div_zero instead of
3239         warning.
3240         
3241 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
3242
3243         * cp/repo.c (init_repo): Initialize random_seed saved options.
3244         (finish_repo): Adjust.
3245
3246 2007-03-13  Mark Mitchell  <mark@codesourcery.com>
3247
3248         PR bootstrap/30899
3249         * Make-lang.in (doc/g++.1): Use $< to specify the location from
3250         which to copy.
3251
3252 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
3253
3254         * decl.c (compute_array_index_type): New warning flag warn_vla.
3255
3256 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
3257
3258         PR c++/30108
3259         * call.c (convert_default_arg): Copy non-constant arguments.
3260
3261 2007-03-11  Mark Mitchell  <mark@codesourcery.com>
3262
3263         PR c++/31038
3264         * parser.c (cp_parser_postfix_expression): Disallow compound
3265         literals in constant expressions.
3266
3267         PR c++/30328
3268         * semantics.c (finish_typeof): Use unlowered_expr_type.
3269         
3270 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
3271
3272         PR c++/30274
3273         * cp-tree.h (unlowered_expr_type): New function.
3274         * typeck.c (is_bitfield_expr_with_lowered_type): Handle
3275         COMPOUND_EXPR, MODIFY_EXPR, and SAVE_EXPR.
3276         (unlowered_expr_type): New function.
3277         (build_unary_op): Disallow predecrements of bool bitfields.
3278         * call.c (build_conditional_expr): Use unlowered_expr_type.
3279         * pt.c (type_unification_real): Likewise.
3280
3281 2007-03-09  Douglas Gregor  <doug.gregor@gmail.com>
3282
3283         PR c++/20599
3284         * typeck.c (check_return_expr): Check for bare parameter packs.
3285         (comptypes): Compare template parameter packs and
3286         type pack expansions.
3287         * decl.c (grokdeclarator): Deal with the declaration of function
3288         parameter packs.
3289         (grokparms): Verify that the (optional) function parameter pack is
3290         at the end of the parameter list.
3291         (xref_basetypes): Handle pack expansions in the base class.
3292         (cp_tree_node_structure): Handle ARGUMENT_PACK_SELECT.
3293         * cp-tree.def (TYPE_ARGUMENT_PACK): New.
3294         (NONTYPE_ARGUMENT_PACK): New.
3295         (TYPE_PACK_EXPANSION): New.
3296         (EXPR_PACK_EXPANSION): New.
3297         (ARGUMENT_PACK_SELECT): New.
3298         * cp-objcp-common.c (cp_tree_size): Compute size of
3299         (NON)TYPE_ARGUMENT_PACK, (TYPE|EXPR)_PACK_EXPANSION, and
3300         ARGUMENT_PACK_SELECT.
3301         * error.c (dump_template_argument): Print template argument packs.
3302         (dump_template_argument_list): Ditto.
3303         (dump_template_parameter): Dump `...' for template type parameter
3304         packs.
3305         (dump_type): Dump TYPE_PACK_EXPANSION nodes.
3306         (dump_parameters): Print function parameter packs.
3307         (dump_template_parms): Print template argument packs.
3308         (dump_expr): Dump EXPR_PACK_EXPANSION nodes.
3309         (maybe_warn_variadic_templates): New.
3310         * operators.def: Add ellipsis operator for EXPR_PACK_EXPANSION.
3311         * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
3312         NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
3313         CAST_EXPR. 
3314         * mangle.c (write_type): Mangle TYPE_PACK_EXPANSION.
3315         (write_template_arg): Write argument packs as separate arguments.
3316         * cp-tree.h (struct template_parm_index_s): Add flag that
3317         indicates that the template parameter is actually a parameter
3318         pack.
3319         (struct tree_argument_pack_select): New.
3320         (enum cp_tree_node_structure_enum): Add TS_CP_ARGUMENT_PACK_SELECT.
3321         (union lang_tree_node): Add argument_pack_select.
3322         (FUNCTION_PARAMETER_PACK_P): New.
3323         (PACK_EXPANSION_P): New.
3324         (PACK_EXPANSION_PATTERN): New.
3325         (SET_PACK_EXPANSION_PATTERN): New.
3326         (PACK_EXPANSION_PARAMETER_PACKS): New.
3327         (ARGUMENT_PACK_P): New.
3328         (ARGUMENT_PACK_ARGS): New.
3329         (SET_ARGUMENT_PACK_ARGS): New.
3330         (ARGUMENT_PACK_INCOMPLETE_P): New.
3331         (ARGUMENT_PACK_EXPLICIT_ARGS): New.
3332         (TEMPLATE_PARM_PARAMETER_PACK): New.
3333         (TEMPLATE_TYPE_PARAMETER_PACK): New.
3334         (ARGUMENT_PACK_SELECT_FROM_PACK): New.
3335         (ARGUMENT_PACK_SELECT_INDEX): New.
3336         (ARGUMENT_PACK_SELECT_ARG): New.
3337         (struct cp_declarator): Add parameter_pack_p flag.
3338         (maybe_warn_variadic_templates): Declare.
3339         (process_template_parm): Add bool parameter IS_PARAMETER_PACK, to
3340         indicate a template parameter pack. 
3341         (uses_parameter_packs): Declare.
3342         (template_parameter_pack_p): Declare.
3343         (template_parms_variadic_p): Declare.
3344         (make_pack_expansion): Declare.
3345         (check_for_bare_parameter_packs): Declare.
3346         * cxx-pretty-print.c (pp_cxx_unary_expression): Print
3347         sizeof... expressions. 
3348         (pp_cxx_expression): Print pack expansions and non-type argument
3349         packs.
3350         (pp_cxx_exception_specification): Print pack expansions. 
3351         (pp_cxx_direct_declarator): Print ellipsis for parameter packs.
3352         (pp_cxx_ctor_initializer): Print pack expansions.
3353         (pp_cxx_type_id): Print pack expansions.
3354         (pp_cxx_template_argument_list): Print argument packs.
3355         (pp_cxx_template_parameter): Print ellipsis for template parameter
3356         packs.
3357         * pt.c (comp_template_parms): Compare template parameter packs.
3358         (template_parameter_pack_p): New.
3359         (template_parms_variadic_p): New.
3360         (template_args_variadic_p): New.
3361         (make_ith_pack_parameter_name): New.
3362         (struct find_parameter_pack_data): New.
3363         (find_parameter_packs_r): New.
3364         (uses_parameter_packs): New.
3365         (make_pack_expansion): New.
3366         (check_for_bare_parameter_packs): New.
3367         (expand_template_argument_pack): New.
3368         (reduce_template_parm_level): Propagate parameter pack flag.
3369         (process_template_parm): Add is_parameter_pack parameter to state
3370         when the parameter is actually a parameter pack. Create template
3371         parameter packs when is_parameter_pack is true.
3372         (current_template_args): The argument for a template parameter
3373         pack is an argument pack containing a single pack expansion.
3374         (process_partial_specialization): When checking that non-type
3375         argument expressions do not involve template parameters, loop over
3376         the arguments in argument packs separately.
3377         (push_template_decl_real): Check that the type of the declaration
3378         does not have any bare parameter packs. Check that primary
3379         templates have no more than one parameter pack, and that it comes
3380         at the end of the template parameter list.
3381         (convert_template_argument): Handle coercions for pack expansion
3382         expressions by coercing the pattern then rebuilding the expansion.
3383         (coerce_template_parms): When coercing the arguments for a
3384         variadic template, pack "extra" arguments into an argument pack.
3385         (coerce_template_template_parms): Cannot coerce between parameter
3386         packs and non-pack parameters.
3387         (template_args_equal): Compare PACK_EXPANSION_P expressions.
3388         (comp_template_args): Expand all template arguments packs before
3389         comparing template argument lists.
3390         (mangle_class_name_for_template): Make argument packs as separate
3391         template arguments.
3392         (for_each_template_parm_r): No need to handle BASELINK. 
3393         (instantiate_class_template): Handle pack expansions in the base
3394         class list.
3395         (tsubst_pack_expansion): New.
3396         (tsubst_template_args): Handle substitutions of argument packs and
3397         pack expansion into template argument lists.
3398         (tsubst_decl): Expand function parameter packs into separate
3399         function parameters.
3400         (tsubst_arg_types): Expand a type pack expansion into separate
3401         argument types.
3402         (tsubst_exception_specification): Handle pack expansions in
3403         exception specifiers.
3404         (tsubst): See through ARGUMENT_PACK_SELECT arguments when 
3405         replacing a template parameter with its argument. If we encounter
3406         a substitution for an argument pack, just return the parameter
3407         itself. 
3408         (tsubst_copy): sizeof(X...) returns the number of elements in
3409         parameter pack X.  See through ARGUMENT_PACK_SELECT when the
3410         PARM_DECL is a parameter pack.
3411         (tsubst_expr): Expression pack expansions and argument packs
3412         cannot show up here; they will all be handled through function
3413         calls, sizeof, and template argument lists.
3414         (tsubst_copy_and_build): sizeof(X...) returns the number of
3415         elements in parameter pack X.  Handle pack expansions in TREE_LIST
3416         and CONSTRUCTOR nodes.
3417         (fn_type_unification): Handle "incomplete" explicit template
3418         argument lists that specify some of the arguments for a template
3419         parameter pack.
3420         (type_unification_real): Unify arguments against pack expansions.
3421         (template_parm_level_and_index): New, helper function.
3422         (unify_pack_expansion): New.
3423         (unify): Unify argument packs on an argument-by-argument basis,
3424         handling variadic argument packs as well.
3425         (more_specialized_fn): Handle unification of function parameter
3426         packs. All things being equal, prefer non-variadic function
3427         templates to variadic function templates.
3428         (more_specialized_class): Prefer the variadic class template
3429         partial specialization that binds fewer arguments to a parameter
3430         pack.
3431         (regenerate_decl_from_template): Expand function parameter packs
3432         into separate parameters.
3433         (instantiate_decl): Ditto.
3434         (tsubst_initializer_list): Handle pack expansions for base-class
3435         initializers.
3436         (dependent_type_p_r): Determine dependent types in argument packs
3437         and pack expansions.
3438         (value_dependent_expression_p): Determine value-dependence of
3439         non-type argument packs.
3440         (dependent_template_arg_p): Handle argument packs.
3441         * semantics.c (finish_cond): Check for bare parameter packs.
3442         (finish_expr_stmt): Ditto.
3443         (finish_for_expr): Ditto.
3444         (finish_switch_cond): Ditto.
3445         (finish_mem_initializers): Ditto.
3446         * name-lookup.c (arg_assoc_type): Handle pack expansions and
3447         argument packs.
3448         * decl2.c (cp_build_parm_decl): Mark function parameter packs.
3449         * parser.c (make_declarator): Declarator is not an expansion.
3450         (make_pointer_declarator): Transfer parameter pack flag to outer
3451         declarator.
3452         (make_reference_declarator): Ditto.
3453         (make_ptrmem_declarator): Ditto.
3454         (make_call_declarator): Ditto.
3455         (make_array_declarator): Ditto.
3456         (cp_parser_postfix_expression): Allow pack expansion expressions
3457         in the argument list for a call expression.
3458         (cp_parser_parenthesized_expression_list): Add new parameter
3459         ALLOW_EXPANSION_P. When true, parse the ellipsis to mean "expand
3460         into separate arguments."
3461         (cp_parser_new_placement): Allow pack expansion expressions.
3462         (cp_parser_new_initializer): Ditto.
3463         (cp_parser_mem_initializer_list): Allow ellipsis to create a
3464         base-class initializer expansion.
3465         (cp_parser_mem_initializer): Ditto.
3466         (cp_parser_template_parameter_list): Keep track of whether the
3467         template parameter is a template parameter pack.
3468         (cp_parser_template_parameter): Parse the ellipsis to indicate a
3469         template parameter pack.
3470         (cp_parser_type_parameter): Ditto.
3471         (cp_parser_template_argument_list): Parse the ellipsis to indicate
3472         a pack expansion.
3473         (cp_parser_direct_declarator): Parse the ellipsis to indicate that
3474         this declarator is a parameter pack.
3475         (cp_parser_parameter_declaration): The ellipsis does not end the
3476         parameter declaration, because it might be a parameter pack. Parse
3477         the ellipsis to indicate a parameter pack.
3478         (cp_parser_initializer): Allow pack expansions.
3479         (cp_parser_initializer_list): Allow ellipsis to create an
3480         initializer expansion.
3481         (cp_parser_base_clause): Allow ellipsis to create a base specifier
3482         expansion.
3483         (cp_parser_type_id_list): Allow ellipsis to create an exception
3484         specifier expansion.
3485         (cp_parser_attribute_list): Don't allow pack expansions.
3486         (cp_parser_functional_cast): Allow pack expansions.
3487         (cp_parser_sizeof_operand): Allow ellipsis following "sizeof" to
3488         compute the length of a parameter pack.
3489         (cp_parser_next_token_ends_template_argument_p): An ellipsis can
3490         end a template argument.
3491         * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
3492         NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
3493         CAST_EXPR. 
3494
3495 2007-03-09  Dirk Mueller  <dmueller@suse.de>
3496
3497         * cp/call.c (build_new_op): Call warn_logical_operator.
3498
3499 2007-03-08  Volker Reichelt  <reichelt@netcologne.de>
3500
3501         PR c++/30852
3502         * semantics.c (finish_offsetof): Handle COMPOUND_EXPR.
3503
3504         PR c++/30534
3505         * pt.c (any_template_arguments_need_structural_equality_p):
3506         Robustify.
3507
3508 2007-03-08  Alexandre Oliva  <aoliva@redhat.com>
3509
3510         * decl.c (grokdeclarator): Disable warnings for anonymous
3511         bitfields.
3512
3513 2007-03-05  Volker Reichelt  <reichelt@netcologne.de>
3514
3515         * typeck2.c (readonly_error): Always emit a hard error.
3516         Remove last argument.
3517         * cp-tree.h (readonly_error): Adjust prototype.
3518         * semantics.c (finish_asm_stmt): Adjust call to readonly_error.
3519         * typeck.c (build_unary_op): Likewise.
3520         (build_modify_expr): Likewise.
3521
3522 2007-03-04  Simon Martin  <simartin@users.sourceforge.net>
3523
3524         PR c++/30895
3525         * tree.c (cp_tree_equal): Properly handle COMPLEX_CST trees.
3526
3527 2007-03-03  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3528
3529         PR c++/15787
3530         * parser.c (struct cp_parser): New IN_IF_STMT.
3531         (cp_parser_statement_seq_opt): Handle an unexpected 'else',
3532         returning if parsing the body of an 'if' statement or issuing an
3533         error and continuing.
3534         (cp_parser_selection_statement): Set IN_IF_STMT bit when parsing
3535         body of 'if'.
3536         (cp_parser_jump_statement): Mask new IN_IF_STMT bit.
3537         
3538 2007-03-02  Simon Martin  <simartin@users.sourceforge.net>
3539
3540         PR c++/28253
3541         * class.c (update_vtable_entry_for_fn): Properly handle invalid overriders
3542         for thunks.
3543
3544 2007-03-02  Geoffrey Keating  <geoffk@apple.com>
3545
3546         * g++spec.c (lang_specific_driver): Add -lstdc++ when compiling
3547         Objective-C++.  Don't exit early if -shared-libgcc needs to be
3548         added.
3549
3550 2007-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3551
3552         * typeck.c (common_base_type): Delete unused function.
3553         
3554 2007-03-01  Brooks Moses  <brooks.moses@codesourcery.com>
3555
3556         * Make-lang.in: Add dummy lang.install-pdf target.
3557
3558 2007-03-01  Simon Baldwin <simonb@google.com>
3559
3560         PR c++/23689
3561         * decl.c (check_tag_decl): Added new warning for typedef ignored
3562         when it precedes an otherwise valid non-typedef declaration.
3563
3564 2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>
3565
3566         * typeck.c (build_function_call): Store converted arguments
3567         in a stack-allocated array instead of building a list.
3568         (convert_arguments): Store arguments in the array passed in as an
3569         argument, and return the actual number of arguments.
3570         * call.c (build_call): Delete, and replace with...
3571         (build_call_n, build_call_a): New.
3572         (build_op_delete_call): Rewrite to avoid constructing argument lists.
3573         (build_over_call): Store converted arguments in a stack-allocated
3574         array instead of building a list.
3575         (build_cxx_call): Pass arguments in an array instead of as a list.
3576         (build_java_interface_fn_ref): Rewrite to avoid constructing
3577         argument lists.
3578         * tree.h: Update declarations to reflect above changes.
3579         * method.c (use_thunk): Use a stack-allocated array to hold
3580         the arguments instead of a list.
3581         * rtti.c (throw_bad_cast): Update call to cxx_call.
3582         (throw_bad_typeid): Likewise.
3583         (build_dynamic_cast_1): Likewise.
3584         * init.c (build_builtin_delete_call): Use build_call_n.
3585         * decl.c (expand_static_init): Likewise.
3586         * except.c (cp_protect_cleanup_actions): Likewise.
3587         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
3588         (gimplify_must_not_throw_expr): Likewise.
3589         (cxx_omp_apply_fn): Use build_call_a.
3590
3591 2007-02-26  Mark Mitchell  <mark@codesourcery.com>
3592
3593         * semantics.c (expand_or_defer_fn): Call c_record_cdtor_fn.
3594         * decl2.c (cp_write_gloabl_declarations): Call c_build_cdtor_fns.
3595
3596 2007-02-25  Mark Mitchell  <mark@codesourcery.com>
3597
3598         * cp-tree.h (static_ctors): Remove.
3599         * cp-tree.h (static_dtors): Likewise.
3600         * cp-objcp-common.c (decl_shadowed_for_var_lookup): Adjust for
3601         refactoring of tree_map hierarchy.
3602         (decl_shadowed_for_var_insert): Likewise.
3603         * semantics.c (expand_body): Use c_expand_body.
3604         (expand_or_defer_fn): Don't update static_ctors or static_dtors.
3605         * decl2.c (static_ctors): Remove.
3606         (static_dtors): Likewise.
3607         (generate_ctor_or_dtor_function): Pass NULL_TREE to
3608         objc_generate_static_init_call.  Do not call static_[cd]tors.
3609         (generate_ctor_and_dtor_functions_for_priority): Do not check for
3610         static_[cd]tors.
3611         (cp_write_global_declarations): Likewise.
3612
3613 2007-02-23  Richard Guenther  <rguenther@suse.de>
3614
3615         * class.c (note_name_declared_in_class): Make declaration
3616         changes meaning a pedwarn.
3617
3618 2007-02-22  Michael Matz  <matz@suse.de>
3619
3620         PR c++/29433
3621         * cp-tree.h (TFF_UNQUALIFIED_NAME): New formatting flag.
3622         * error.c (dump_aggr_type, dump_simple_decl, dump_decl,
3623         dump_function_decl): Guard emitting outer scopes by new flag.
3624         * cp-lang.c (cxx_dwarf_name): New function.
3625         (LANG_HOOKS_DWARF_NAME): Define to cxx_dwarf_name.
3626         * pt.c (classtype_mangled_name, mangle_class_name_for_template):
3627         Remove functions.
3628         (push_template_decl_real, lookup_template_class): Remove calls
3629         to above functions.
3630
3631 2007-02-19  Mark Mitchell  <mark@codesourcery.com>
3632
3633         * call.c (build_new_method_call): Ensure that explicit calls of
3634         destructors have type "void".
3635
3636 2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3637
3638         * typeck.c (build_binary_op): Replace -Wstring-literal-comparison
3639         and -Walways-true with -Waddress.
3640         * cvt.c (convert_to_void): Replace unconditional warning with
3641         -Waddress.
3642
3643 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
3644
3645         * decl.c, tree.c: Fix comment typos.
3646
3647 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3648
3649         PR C++/30158
3650         * semantics.c (finish_stmt_expr_expr): Set TREE_TYPE of the 
3651         statement expression if we had an error mark node.
3652
3653 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3654             Brooks Moses  <brooks.moses@codesourcery.com>
3655             Lee Millward  <lee.millward@codesourcery.com>
3656
3657         * cp-tree.def (AGGR_INIT_EXPR): Adjust documentation.
3658         Change class to tcc_vl_exp.
3659
3660         * call.c (build_call): Use build_call_list instead 
3661         of build3. 
3662         (build_over_call): Likewise.
3663         (build_new_method_call): Use build_min_non_dep_call_list 
3664         instead of build_min_non_dep.
3665
3666         * error.c (dump_call_expr_args): New function.
3667         (dump_aggr_init_expr_args): New function.
3668         (dump_expr) <AGGR_INIT_EXPR, CALL_EXPR, INDIRECT_REF>: Use them. 
3669         Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros.
3670
3671         * cvt.c (convert_to_void): Use build_call_array instead
3672         of build3; use new AGGR_INIT_EXPR accessor macros.
3673
3674         * mangle.c (write_expression): Use TREE_OPERAND_LENGTH
3675         instead of TREE_CODE_LENGTH.
3676
3677         * dump.c (cp_dump_tree) <AGGR_INIT_EXPR>: Update to use new
3678         AGGR_INIT_EXPR accessor macros.
3679
3680         * cp-gimplify.c (cp_gimplify_init_expr): Use 
3681         AGGR_INIT_EXPR_SLOT to set the slot operand.
3682
3683         * cp-tree.h (AGGR_INIT_EXPR_FN): New macro.
3684         (AGGR_INIT_EXPR_SLOT): New macro.
3685         (AGGR_INIT_EXPR_ARG): New macro.
3686         (aggr_init_expr_nargs): New macro.
3687         (AGGR_INIT_EXPR_ARGP): New macro.
3688         (aggr_init_expr_arg_iterator): New.
3689         (init_aggr_init_expr_arg_iterator): New.
3690         (next_aggr_init_expr_arg): New.
3691         (first_aggr_init_expr_arg): New.
3692         (more_aggr_init_expr_args_p): New.
3693         (FOR_EACH_AGGR_INIT_EXPR_ARG): New.
3694         (stabilize_aggr_init): New declaration.
3695         (build_min_non_dep_call_list): Likewise.
3696
3697         * tree.c (process_aggr_init_operands): New function.
3698         (build_aggr_init_array) New function.
3699         (build_cplus_new): Update to use new CALL_EXPR and
3700         AGGR_INIT_EXPR accessor macros. Replace use of build3 with
3701         build_aggr_init_array.
3702         (build_min_non_dep_call_list) New function.
3703         (build_min_nt): Assert input code parameter is not a variable
3704         length expression class.
3705         (build_min, build_min_non_dep): Likewise.
3706         (cp_tree_equal) <CALL_EXPR>: Iterate through the arguments
3707         to check for equality instead of recursing. Handle tcc_vl_exp
3708         tree code classes.
3709         (stabilize_call): Update to only handle CALL_EXPRs, not 
3710         AGGR_INIT_EXPRs; use new CALL_EXPR accessor macros.
3711         (stabilize_aggr_init): New function.
3712         (stabilize_init): Use it.
3713
3714         * cxx-pretty-print.c (pp_cxx_postfix_expression)
3715         <AGGR_INIT_EXPR, CALL_EXPR>: Update to use new CALL_EXPR and
3716         AGGR_INIT_EXPR accessor macros and argument iterators.
3717         
3718         * pt.c (tsubst_copy) <CALL_EXPR>: Replace build_nt with
3719         build_vl_exp. Iterate through the operands, recursively 
3720         processing each one.
3721         (tsubst_copy_and_build) <CALL_EXPR>: Update to use new
3722         CALL_EXPR accessor macros.
3723         (value_dependent_expression_p) <default>: Handle tcc_vl_exp
3724         tree code classes. Use TREE_OPERAND_LENGTH instead of 
3725         TREE_CODE_LENGTH.
3726
3727         * semantics.c (finish_call_expr): Use build_nt_call_list
3728         instead of build_nt.
3729         (simplify_aggr_init_expr): Update to use new AGGR_INIT_EXPR 
3730         accessor macros. Use build_call_array to construct the 
3731         CALL_EXPR node instead of build3
3732         
3733         * decl2.c (build_offset_ref_call_from_tree): Use 
3734         build_nt_call_list and build_min_non_dep_call_list instead
3735         of build_min_nt and build_min_non_dep.
3736
3737         * parser.c (cp_parser_postfix_expression) <CPP_OPEN_PAREN>:
3738         Use build_nt_call_list instead of build_min_nt.
3739
3740 2007-02-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3741
3742         PR c++/28943
3743         * call.c (build_conditional_expr): Improve error message.
3744         
3745 2007-02-13  Dirk Mueller  <dmueller@suse.de>
3746
3747         * friend.c (do_friend): Annotate warning about friend
3748         declarations in templates with OPT_Wnon_template_friend.
3749         Convert informal message from warning() to inform().
3750
3751 2007-02-12  Simon Martin  <simartin@users.sourceforge.net>
3752             Mark Mitchell  <mark@codesourcery.com>
3753
3754         PR c++/14622
3755         * pt.c (do_decl_instantiation): Detect type mismatches in explicit
3756         instantiations for variables.
3757
3758 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3759
3760         PR middle-end/7651
3761         * cp-gimplify.c (gimplify_expr_stmt): Don't check extra_warnings.
3762         Check warn_unused_value just once.
3763
3764 2007-02-11  Mark Mitchell  <mark@codesourcery.com>
3765
3766         PR c++/26988
3767         * pt.c (determine_specialization): Use skip_artificial_parms_for.
3768         (fn_type_unificiation): Likewise.
3769         (get_bindings): Likewise.
3770
3771 o2007-02-06  Mark Mitchell  <mark@codesourcery.com>
3772
3773         PR target/29487
3774         * decl.c (finish_function): Use DECL_REPLACEABLE.
3775         * tree.c (cp_cannot_inline_tree_fn): Likewise.
3776
3777 2007-02-10  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3778
3779         * parser.c (cp_parser_primary_expression): Reformat overly long lines.
3780
3781 2007-02-10  Richard Henderson  <rth@redhat.com>, Jakub Jelinek  <jakub@redhat.com>
3782
3783         * decl.c (grokvardecl): Don't error if !have_tls.
3784         (grokdeclarator): Likewise.
3785         * parser.c (cp_parser_omp_threadprivate): Likewise.
3786
3787 2007-02-07  Jakub Jelinek  <jakub@redhat.com>
3788
3789         PR c++/30703
3790         * cp-gimplify.c (cp_genericize_r): Don't dereference invisiref
3791         parameters and result decls in omp clauses.
3792         (cxx_omp_privatize_by_reference): Pass also invisiref PARM_DECLs
3793         by reference.
3794
3795 2007-02-05  Dirk Mueller  <dmueller@suse.de>
3796
3797         PR bootstrap/30510
3798         * parser.c (cp_parser_class_specifier): Always initialize bases.
3799
3800 2007-02-05  Paolo Bonzini  <bonzini@gnu.org>
3801
3802         * cp-tree.h (OMP_ATOMIC_CODE): Delete.
3803         (OMP_ATOMIC_DEPENDENT_P): Rewrite.
3804         * pt.c (tsubst_expr): Adjust for new format of dependent OMP_ATOMIC
3805         expressions.
3806         * semantics.c (finish_omp_atomic): Store a whole expression node
3807         in operand 1, and integer_zero_node in operand 0, for dependent
3808         OMP_ATOMIC.  Rewrite to make flow easier to understand.
3809
3810 2007-02-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3811
3812         * decl.c (grokdeclarator): Use OPT_Wreturn_type instead of 0.
3813
3814 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3815
3816         * class.c, cp-tree.h, decl.c, decl2.c, g++spec.c, init.c,
3817         parser.c, pt.c, tree.c, typeck.c: Follow spelling conventions.
3818
3819 2007-02-03  Douglas Gregor  <doug.gregor@gmail.com>
3820
3821        * parser.c (cp_lexer_get_preprocessor_token): Attach the C++0x
3822        keyword warning to -Wc++0x-compat.
3823         
3824 2007-02-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3825
3826         * decl.c (grokdeclarator): Update documentation.
3827
3828 2007-02-02  Jakub Jelinek  <jakub@redhat.com>
3829
3830         PR c++/30536
3831         * decl.c (grokdeclarator): If __thread is used together with
3832         a storage class other than extern and static, clear thread_p
3833         after issuing diagnostics and fall through to checking the
3834         storage class.
3835
3836 2007-01-30  Roger Sayle  <roger@eyesopen.com>
3837
3838         * error.c (dump_type_suffix): Avoid use of cp_build_binary_op when
3839         calculating the size of an array (to avoid recursive errors).
3840
3841 2007-01-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3842
3843         PR c++/24745
3844         * typeck.c (build_binary_op): Fix logic for warning. Move warning
3845         to -Wpointer-arith.
3846         * call.c (convert_like_real): Don't warn when converting to
3847         boolean type.
3848         
3849 2007-01-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3850
3851         * decl.c (pop_label): Replace warning with call to
3852         warn_for_unused_label.
3853
3854 2007-01-28  Andrew Pinski  <pinskia@gmail.com>
3855
3856         PR C++/28988
3857         * semantics.c (finish_pseudo_destructor_expr): Check the
3858         destrutor name by calling check_dtor_name.
3859
3860 2007-01-24  Douglas Gregor  <dgregor@osl.iu.edu>
3861
3862         * lex.c (D_CPP0X): Rename.
3863         (D_CXX0X): To this.
3864         (reswords): D_CPP0X -> D_CXX0X.
3865         (init_reswords): Ditto.
3866         * parser.c (cp_lexer_get_preprocessor_token): Warn about the use
3867         of C++0x keywords as identifiers.
3868
3869 2007-01-23  Simon Martin  <simartin@users.sourceforge.net>
3870
3871         PR c++/27492
3872         * decl.c (duplicate_decls): Don't reset DECL_INVALID_OVERRIDER_P for
3873         function decls.
3874
3875 2007-01-23  Ian Lance Taylor  <iant@google.com>
3876
3877         * typeck.c (convert_for_assignment): Only warn about a = b = c
3878         when converting to bool.
3879
3880 2007-01-23  Roger Sayle  <roger@eyesopen.com>
3881
3882         * call.c (null_ptr_cst_p): Replace use of TREE_CONSTANT_OVERFLOW with
3883         TREE_OVERFLOW.
3884         * typeck.c (ignore_overflows): Remove the remaining uses of
3885         TREE_CONSTANT_OVERFLOW.
3886
3887 2007-01-20  Jan Hubicka  <jh@suse.cz>
3888
3889         * decl2.c (start_objects, start_static_storage_duration_function):
3890         Do not make the functions uninlinable.
3891
3892 2007-01-17  Ian Lance Taylor  <iant@google.com>
3893
3894         * class.c (add_method): Call VEC_reserve_exact rather than passing
3895         a negative size to VEC_reserve.
3896
3897 2007-01-11  Simon Martin  <simartin@users.sourceforge.net>
3898
3899         PR c++/29573
3900         * tree.c (cp_tree_equal): Properly handle MODOP_EXPR trees.
3901
3902 2007-01-10  Mark Mitchell  <mark@codesourcery.com>
3903
3904         PR c++/28999
3905         * decl.c (make_typename_type): If the qualified name is not a
3906         type, issue an error.
3907         * parser.c (cp_parser_elaborated_type_specifier): Fix comment
3908         formatting.
3909
3910 2007-01-08  Geoffrey Keating  <geoffk@apple.com>
3911
3912         * rtti.c: Include target.h.
3913         (emit_support_tinfos): If ! targetm.cxx.library_rtti_comdat (),
3914         don't emit typeinfo for fundamental types as weak.
3915         * Make-lang.in (cp/rtti.o): Update and correct dependencies.
3916
3917 2007-01-08  Richard Guenther  <rguenther@suse.de>
3918
3919         * cvt.c (cp_convert_to_pointer): Use build_int_cst_type.
3920
3921 2007-01-08  Mark Shinwell  <shinwell@codesourcery.com>
3922
3923         * call.c (standard_conversion): Pass flag to
3924         vector_types_convertible_p to disallow emission of note.
3925         * typeck.c (convert_for_assignment): Pass flag to
3926         vector_types_convertible_p to allow emission of note.
3927         (ptr_reasonably_similar): Pass flag to vector_types_convertible_p
3928         to disallow emission of note.
3929
3930 2007-01-07  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3931
3932         PR c++/28986
3933         * typeck.c (build_binary_op): Call overflow_warning if
3934         TREE_OVERFLOW_P is true for the result and not for any of the
3935         operands.
3936         
3937 2007-01-06  Lee Millward  <lee.millward@codesourcery.com>
3938
3939        PR c++/19439
3940        * class.c (add_method): Don't wait until template
3941        instantiation time to complain about duplicate methods.
3942         
3943 2007-01-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3944
3945         PR c/19978
3946         * semantics.c (finish_unary_op_expr): Warn only if result
3947         overflowed and operands did not.
3948
3949 2007-01-05  Ian Lance Taylor  <iant@google.com>
3950
3951         * typeck.c (build_binary_op): Warn about comparing a non-weak
3952         address to NULL.
3953
3954 2007-01-05  Douglas Gregor  <doug.gregor@gmail.com>
3955
3956         * pt.c (tsubst): Propagate the need for structural equality checks
3957         when reducing the level of template parameters.
3958
3959 2007-01-03  Kazu Hirata  <kazu@codesourcery.com>
3960
3961         * pt.c: Fix a comment typo.
3962
3963 2007-01-02  Ian Lance Taylor  <iant@google.com>
3964
3965         * semantics.c (maybe_convert_cond): Optionally warn when using an
3966         assignment as a condition.
3967         * typeck.c (convert_for_assignment): Optionally warn about
3968         assigning the result of an assignment to a bool.
3969
3970 2007-01-02  Douglas Gregor  <doug.gregor@gmail.com>
3971
3972         * pt.c (canonical_template_parms): Correct typo in comment.
3973         
3974 2007-01-02  Douglas Gregor  <doug.gregor@gmail.com>
3975
3976         * typeck.c (structural_comptypes): Renamed from "comptypes".
3977         (comptypes): Use canonical type information to perform fast type
3978         comparison. When VERIFY_CANONICAL_TYPES, verify that the
3979         canonical type comparison returns the same results as we would see
3980         from the current, structural check. Support COMPARE_STRUCTURAL
3981         when we need structural checks.
3982         * decl.c (typename_compare): Fix comment.
3983         (build_typename_type): TYPENAME_TYPE nodes require structural
3984         equality checks, because they resolve different based on the
3985         current class type.
3986         (make_unbound_class_template): UNBOUND_CLASS_TEMPLATE nodes
3987         require structural equality checks (for now).
3988         (build_ptrmemfunc_type): Build the canonical pointer to member
3989         function type.
3990         (compute_array_index_type): Whenever we build a new index type
3991         to represent the size of an array in a template, we need to mark
3992         this index type as requiring structural equality. This goes for
3993         arrays with value-dependent sizes with the current ABI, or all
3994         arrays with ABI-1.
3995         * tree.c (cplus_array_hash): New.
3996         (struct cplus_array_info): New.
3997         (cplus_array_compare): New.
3998         (cplus_array_htab): New.
3999         (build_cplus_array_type_1): Use a hash table to cache the array
4000         types we build. Build the canonical array type for each array
4001         type.
4002         (cp_build_qualified_type_real): When building a cv-qualified array
4003         type, use the hash table of array types and build canonical array
4004         types as necessary.
4005         (bind_template_template_parm): BOUND_TEMPLATE_TEMPLATE_PARM nodes
4006         use structural equality (for now).
4007         * cp-tree.h (COMPARE_STRUCTURAL): New.
4008         * pt.c (canonical_template_parms): New.
4009         (canonical_type_parameter): New.
4010         (process_template_parm): Find the canonical type parameter.
4011         (lookup_template_class): When we have named the primary template
4012         type, set the canonical type for our template class to the primary
4013         template type. If any of the template arguments need structural
4014         equality checks, the template class needs structural equality
4015         checks.
4016         (tsubst): When reducing the level of a template template
4017         parameter, we require structural equality tests for the resulting
4018         parameter because its template parameters have not had their types
4019         canonicalized. When reducing a template type parameter, find the
4020         canonical reduced type parameter.
4021         (any_template_arguments_need_structural_equality_p): New.
4022