OSDN Git Service

Daily bump.
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2013-04-21  Eric Botcazou  <ebotcazou@adacore.com>
2
3         * parser.c (cp_parser_late_return_type_opt): Fix C++ism.
4
5 2013-04-15  Jason Merrill  <jason@redhat.com>
6
7         PR c++/56388
8         * semantics.c (insert_capture_proxy): Just use index 1 in the
9         stmt_list_stack.
10
11 2013-04-11  Release Manager
12
13         * GCC 4.7.3 released.
14
15 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
16
17         PR debug/56819
18         * tree.c (strip_typedefs): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT
19         from args to new_args.
20         (strip_typedefs_expr): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT from t to
21         r instead of doing {S,G}ET_NON_DEFAULT_TEMPLATE_ARGS_COUNT.
22
23 2013-04-01  Jason Merrill  <jason@redhat.com>
24
25         PR c++/56794
26         * parser.c (cp_parser_range_for): Don't try to do auto deduction
27         in a template if the type of the range is incomplete.
28
29 2013-03-29  Jason Merrill  <jason@redhat.com>
30
31         PR c++/56774
32         PR c++/35722
33         * pt.c (unify_pack_expansion): Fix indexing.
34
35 2013-03-23  Jason Merrill  <jason@redhat.com>
36
37         PR c++/54277
38         * semantics.c (lambda_capture_field_type): Don't build a
39         magic decltype for pointer types.
40         (lambda_proxy_type): Likewise.
41         (finish_non_static_data_member): Get the quals from
42         the object.
43
44 2013-03-20  Jason Merrill  <jason@redhat.com>
45
46         PR c++/56646
47         * parser.c (cp_parser_late_return_type_opt): Save and restore
48         current_class_ptr/ref.
49
50 2013-03-14  Jason Merrill  <jason@redhat.com>
51
52         PR c++/56614
53         * decl.c (local_variable_p_walkfn): Check DECL_ARTIFICIAL again.
54
55 2013-03-14  Jakub Jelinek  <jakub@redhat.com>
56
57         PR c++/56403
58         * init.c (build_zero_init_1): Use RECORD_OR_UNION_CODE_P instead
59         of CLASS_TYPE_P.
60
61 2013-03-09  Paolo Carlini  <paolo.carlini@oracle.com>
62
63         PR c++/56534
64         * parser.c (cp_parser_elaborated_type_specifier): Don't call
65         check_elaborated_type_specifier when TREE_CODE (decl) != TYPE_DECL.
66         * decl.c (check_elaborated_type_specifier): Tidy.
67
68 2013-03-06  Jakub Jelinek  <jakub@redhat.com>
69
70         PR c++/56543
71         * tree.c (strip_typedefs): Don't copy args if they are NULL.
72
73 2013-02-22  Jason Merrill  <jason@redhat.com>
74
75         PR c++/40405
76         * pt.c (push_template_decl_real): Set DECL_INTERFACE_KNOWN
77         if we got the wrong number of template parms.
78
79         PR c++/56395
80         * tree.c (strip_typedefs): Strip typedefs from TYPENAME_TYPE template
81         args.
82
83 2013-02-19  Jakub Jelinek  <jakub@redhat.com>
84
85         Backported from mainline
86         2013-02-07  Jakub Jelinek  <jakub@redhat.com>
87
88         PR c++/56241
89         * init.c (build_vec_init): Don't append NULL values into new_vec.
90         (build_zero_init_1): Don't push anything into v if recursive call
91         returned NULL_TREE.
92         (build_value_init_noctor): Don't push anything into v if
93         build_value_init call returned NULL_TREE.
94
95         PR c++/56239
96         * parser.c (cp_parser_token_starts_cast_expression): Renamed to...
97         (cp_parser_tokens_start_cast_expression): ... this.  Change parameter
98         to cp_parser *, call cp_lexer_peek_token first.  For CPP_OPEN_PAREN,
99         return true only if 2nd token isn't CPP_CLOSE_PAREN.
100         (cp_parser_cast_expression): Adjust caller.
101
102         PR c++/56237
103         * decl.c (push_local_name): Look at DECL_DISCRIMINATOR (t)
104         only if DECL_DISCRIMINATOR_SET_P (t) rather than just
105         DECL_LANG_SPECIFIC (t).
106
107 2013-02-15  Jason Merrill  <jason@redhat.com>
108
109         PR c++/54276
110         * semantics.c (finish_id_expression): Also return the identifier
111         for an outer local static.
112
113         PR c++/52026
114         * semantics.c (finish_id_expression): In a template, return
115         the identifier for a constant variable.
116
117         PR c++/55710
118         * semantics.c (maybe_add_lambda_conv_op): Mark static thunk
119         TREE_USED.
120
121         PR c++/56135
122         * pt.c (tsubst_copy_and_build): Don't forget any new
123         captures that arose from use of dependent names.
124
125 2013-02-12  Jason Merrill  <jason@redhat.com>
126
127         PR c++/56291
128         * semantics.c (sort_constexpr_mem_initializers): Handle
129         vptr out of order.
130
131 2013-02-11  Jason Merrill  <jason@redhat.com>
132
133         PR c++/56268
134         * semantics.c (classtype_has_nothrow_assign_or_copy_p): Call
135         maybe_instantiate_noexcept.
136
137 2013-02-09  Jason Merrill  <jason@redhat.com>
138
139         PR c++/56247
140         * pt.c (eq_specializations): Set comparing_specializations.
141         * tree.c (cp_tree_equal): Check it.
142         * cp-tree.h: Declare it.
143
144 2013-02-05  Jason Merrill  <jason@redhat.com>
145
146         PR c++/54122
147         * tree.c (lvalue_kind) [INDIRECT_REF]: Don't check for
148         METHOD_TYPE.
149
150 2013-02-01  Jakub Jelinek  <jakub@redhat.com>
151
152         Backported from mainline
153         2012-12-13  Jakub Jelinek  <jakub@redhat.com>
154
155         PR c++/55652
156         * typeck2.c (merge_exception_specifiers): Don't call operand_equal_p
157         if noex is NULL.
158
159         2012-12-06  Jakub Jelinek  <jakub@redhat.com>
160
161         PR c++/54207
162         * except.c (build_noexcept_spec): Avoid direct comparison
163         with boolean_true_node or boolean_false_node, instead use
164         operand_equal_p and/or INTEGER_CST check.
165         * pt.c (tsubst_exception_specification): Likewise.
166         * typeck2.c (merge_exception_specifiers): Likewise.
167
168         2012-12-01  Jakub Jelinek  <jakub@redhat.com>
169
170         PR c++/55542
171         * pt.c (make_ith_pack_parameter_name): Return NULL if
172         name is NULL.
173         (tsubst_decl): Call make_ith_pack_parameter_name even if
174         DECL_NAME is NULL.
175
176         2012-11-23  Jakub Jelinek  <jakub@redhat.com>
177
178         PR c++/54046
179         * cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
180         * cp-objcp-common.c (cxx_block_may_fallthru): New function.
181         * cp-tree.h (cxx_block_may_fallthru): New prototype.
182
183 2013-01-25  Jason Merrill  <jason@redhat.com>
184
185         PR c++/56104
186         * typeck.c (get_member_function_from_ptrfunc): Don't fold
187         POINTER_PLUS_EXPR.
188
189 2013-01-22  Jason Merrill  <jason@redhat.com>
190
191         * call.c (type_has_extended_temps): Fix C++ism.
192
193         PR c++/53650
194         * call.c (type_has_extended_temps): New.
195         * cp-tree.h: Declare it.
196         * decl.c (check_initializer): Use build_aggr_init for arrays
197         if it is false.
198         * init.c (build_vec_init): Avoid mixed signed/unsigned arithmetic.
199
200         PR c++/56071
201         * pt.c (maybe_instantiate_noexcept): Don't defer access checks.
202
203 2013-01-21  Jason Merrill  <jason@redhat.com>
204
205         PR c++/56059
206         * tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
207         template args count.
208
209 2013-01-09  Jason Merrill  <jason@redhat.com>
210
211         PR c++/55893
212         * decl.c (cp_finish_decl): Clear TREE_READONLY if the variable
213         needs destruction.
214
215 2013-01-08  Joel Brobecker  <brobecker@adacore.com>
216
217         * parser.c (cp_parser_initializer_list): Move declaration
218         of variable non_const to start of lexical block.
219
220 2013-01-04  Jason Merrill  <jason@redhat.com>
221
222         PR c++/55877
223         * decl.c (reset_type_linkage, bt_reset_linkage): New.
224         (grokdeclarator): Use reset_type_linkage.
225         * name-lookup.c (binding_table_foreach): Handle null table.
226         * tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.
227
228 2013-01-03  Jason Merrill  <jason@redhat.com>
229
230         PR c++/55419
231         PR c++/55753
232         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
233         TREE_CONSTANT.
234
235         PR c++/55842
236         * semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.
237
238         PR c++/55856
239         * semantics.c (build_data_member_initialization): Handle DECL_EXPR.
240
241 2013-01-02  Jason Merrill  <jason@redhat.com>
242
243         PR c++/54325
244         * call.c (build_new_method_call_1): Don't use build_value_init for
245         user-provided default constructors.
246
247         PR c++/55032
248         PR c++/55245
249         * tree.c (build_cplus_array_type): Copy layout information
250         to main variant if necessary.
251
252 2012-12-19  Jason Merrill  <jason@redhat.com>
253
254         PR c++/55724
255         * pt.c (type_unification_real): Re-combine post-deduction loops.
256
257 2012-12-11  Jason Merrill  <jason@redhat.com>
258
259         PR c++/54883
260         * decl2.c (min_vis_r): Handle anon visibility for enums.
261
262 2012-12-11  Jakub Jelinek  <jakub@redhat.com>
263
264         PR c++/55643
265         * expr.c (mark_exp_read): Handle FLOAT_EXPR similarly to NOP_EXPR.
266
267 2012-12-07  Jason Merrill  <jason@redhat.com>
268
269         PR c++/55419
270         * tree.c (build_target_expr): Don't set TREE_CONSTANT.
271
272 2012-12-07  Matthias Klose  <doko@ubuntu.com>
273
274         * tree.c (build_aggr_init_expr): Add parameter name, mark as unused.
275
276 2012-12-06  Jason Merrill  <jason@redhat.com>
277
278         PR c++/54325
279         * tree.c (build_aggr_init_expr): Don't check for abstract class.
280         (build_cplus_new): Check here instead.
281
282         PR c++/55058
283         * pt.c (tsubst): Keep the quals when looking through a typedef.
284
285         PR c++/55249
286         * tree.c (build_vec_init_elt): Use the type of the initializer.
287
288         PR c++/54744
289         * pt.c (resolve_typename_type): Check TYPENAME_IS_RESOLVING_P on scope.
290
291         PR c++/54947
292         * parser.c (cp_parser_initializer_list): Don't require an
293         expression in [] to be constant until we know it's a C99
294         designator.
295
296         PR c++/55015
297         PR c++/53821
298         * semantics.c (maybe_add_lambda_conv_op): Revert earlier change.
299         * decl.c (start_preparsed_function): Make local class methods comdat
300         in templates, too.
301
302 2012-11-29  Jason Merrill  <jason@redhat.com>
303
304         PR c++/53137
305         * pt.c (tsubst_expr) [DECL_EXPR]: Set LAMBDA_EXPR_THIS_CAPTURE here.
306         (tsubst_copy_and_build) [LAMBDA_EXPR]: And clear it here.
307         (instantiate_class_template_1): Not here.
308
309         PR c++/53862
310         * pt.c (tsubst_arg_types): Add "end" parameter.
311         (check_undeduced_parms): Use it.
312
313         PR c++/53039
314         * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
315         cp_tree_equal.
316
317         * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
318         (struct template_parm_index_s): Remove num_siblings.
319         * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
320         (fixup_template_type_parm_type): Remove.
321         (build_template_parm_index): Remove num_siblings parm.
322         (process_template_parm): Likewise.
323         * parser.c (cp_parser_template_parameter_list): Adjust.
324         * tree.c (cp_tree_equal): Don't compare num_siblings.
325         * typeck.c (comp_template_parms_position): Likewise.
326
327         PR c++/50852
328         PR c++/53039
329         * tree.c (strip_typedefs_expr): New.
330         * cp-tree.h: Declare it.
331         * pt.c (convert_template_argument, unify): Use it.
332         * parser.c (cp_parser_template_declaration_after_export): Don't call
333         fixup_template_parms.
334
335 2012-11-29  Kai Tietz  <ktietz@redhat.com>
336
337         PR target/53912
338         * class.c (dump_class_hierarchy_r): Cast from pointer via uintptr_t.
339         (dump_vtable): Likewise.
340
341 2012-11-24  Paolo Carlini  <paolo.carlini@oracle.com>
342
343         PR c++/55446
344         * init.c (build_vec_init): Do not early return error_mark_mode
345         when integer_all_onesp (maxindex).
346
347 2012-11-05  Jakub Jelinek  <jakub@redhat.com>
348
349         Backported from mainline
350         2012-10-23  Jakub Jelinek  <jakub@redhat.com>
351
352         PR c++/54988
353         * decl2.c (cplus_decl_attributes): Don't return early
354         if attributes is NULL.
355
356 2012-10-26  Paolo Carlini  <paolo.carlini@oracle.com>
357
358         PR c++/54984
359         * init.c (build_new): Don't turn a null *init into a pointer to
360         empty vector orig_init.
361
362 2012-10-08  Jakub Jelinek  <jakub@redhat.com>
363
364         PR c++/54858
365         * tree.c (cp_tree_equal): Handle FIELD_DECL.
366
367 2012-10-03  Jakub Jelinek  <jakub@redhat.com>
368
369         PR c++/54777
370         * semantics.c (cxx_eval_constant_expression) <case COMPOUND_EXPR>: If
371         not ignoring the second operand, pass the original second operand
372         and not one with stripped nops to cxx_eval_constant_expression.
373
374 2012-09-20  Release Manager
375
376         * GCC 4.7.2 released.
377
378 2012-09-14  Jason Merrill  <jason@redhat.com>
379
380         PR c++/53661
381         * typeck2.c (check_narrowing): Avoid false positives on conversion
382         from enumeral type.
383
384 2012-09-13  Jason Merrill  <jason@redhat.com>
385
386         PR c++/53839
387         * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
388         address, make sure the value is constant.
389
390 2012-09-13  Jason Merrill  <jason@redhat.com>
391
392         PR c++/54511
393         * pt.c (tsubst_decl) [VAR_DECL]: Handle DECL_ANON_UNION_VAR_P.
394
395 2012-09-13  Jason Merrill  <jason@redhat.com>
396
397         PR c++/53836
398         * pt.c (value_dependent_expression_p): A TREE_LIST initializer must
399         be dependent.
400
401 2012-09-10  Jason Merrill  <jason@redhat.com>
402
403         PR c++/54506
404         * decl.c (move_signature_fn_p): Split out from move_fn_p.
405         * method.c (process_subob_fn): Use it.
406         * cp-tree.h: Declare it.
407
408         PR c++/54341
409         PR c++/54253
410         * semantics.c (sort_constexpr_mem_initializers): New.
411         (build_constexpr_constructor_member_initializers): Use it.
412         (cx_check_missing_mem_inits): Skip artificial fields.
413         * init.c (expand_aggr_init_1): Don't zero out a class
414         with no data.
415
416         PR c++/54086
417         * decl.c (grokdeclarator): Allow const and constexpr together.
418
419 2012-08-31  Ollie Wild  <aaw@google.com>
420
421         PR c++/54197
422         * call.c (extend_ref_init_temps_1): Handle COMPOUND_EXPR trees.
423
424 2012-07-20  Jason Merrill  <jason@redhat.com>
425
426         PR c++/54038
427         * tree.c (build_cplus_array_type): Use build_cplus_array_type to build
428         canonical array type rather than mess with its TYPE_*_VARIANT.
429
430 2012-07-19  Jason Merrill  <jason@redhat.com>
431
432         PR c++/54026
433         * typeck.c (cp_apply_type_quals_to_decl): Check COMPLETE_TYPE_P.
434
435 2012-07-18  Jason Merrill  <jason@redhat.com>
436
437         * method.c (process_subob_fn): Make sure no_implicit_p is non-null
438         before trying to store through it.
439
440 2012-07-17  Jason Merrill  <jason@redhat.com>
441
442         PR c++/53995
443         * decl.c (finish_enum_value_list): Only call
444         insert_late_enum_def_into_classtype_sorted_fields in class scope.
445
446 2012-07-17  Jason Merrill  <jason@redhat.com>
447
448         PR c++/53989
449         * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
450         to the list of variants.
451
452 2012-07-17  Jason Merrill  <jason@redhat.com>
453
454         PR c++/53549
455         * parser.c (cp_parser_class_head): Call xref_basetypes here.
456         (cp_parser_class_specifier_1): Not here.
457         * pt.c (tsubst_decl) [USING_DECL]: Check uses_template_parms
458         as well as DECL_DEPENDENT_P.
459
460 2012-07-13  Jason Merrill  <jason@redhat.com>
461
462         PR c++/53953
463         * method.c (synthesized_method_walk): Initialize no_implicit_p sooner.
464
465 2012-07-10  Jason Merrill  <jason@redhat.com>
466
467         DR 1402
468         PR c++/53733
469         * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
470         (struct lang_decl_fn): Add suppress_implicit_decl field.
471         * method.c (implicitly_declare_fn): Check it.
472         (process_subob_fn): Add no_implicit_p parm.
473         (walk_field_subobs, synthesized_method_walk): Likewise.
474         (maybe_explain_implicit_delete): Adjust.
475         (explain_implicit_non_constexpr): Adjust.
476
477         * method.c (synthesized_method_walk): Cleanups don't affect the EH
478         spec either.
479
480 2012-07-02  Jason Merrill  <jason@redhat.com>
481
482         PR c++/53816
483         * class.c (resolves_to_fixed_type_p): Check uses_template_parms
484         (current_function_decl) instead of processing_template_decl.
485
486         PR c++/53821
487         * semantics.c (maybe_add_lambda_conv_op): Don't set
488         DECL_INTERFACE_KNOWN.
489
490 2012-06-27  Fabien Chêne  <fabien@gcc.gnu.org>
491
492         PR c++/51214
493         * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
494         Declare.
495         * class.c (insert_into_classtype_sorted_fields): New.
496         (add_enum_fields_to_record_type): New.
497         (count_fields): Adjust the comment.
498         (add_fields_to_record_type): Likewise.
499         (finish_struct_1): Move the code that inserts the fields for the
500         sorted case, into insert_into_classtype_sorted_fields, and call
501         it.
502         (insert_late_enum_def_into_classtype_sorted_fields): Define.
503         * decl.c (finish_enum_value_list): Call
504         insert_late_enum_def_into_classtype_sorted_fields if a late enum
505         definition is encountered.
506
507 2012-06-25  Jason Merrill  <jason@redhat.com>
508
509         PR c++/53498
510         PR c++/53305
511         * pt.c (tsubst_pack_expansion): Copy before dummy tsubst.
512
513         PR c++/52988
514         * typeck.c (decay_conversion): Don't discard side-effects from
515         expressions of nullptr_t.
516
517         PR c++/53202
518         * semantics.c (build_data_member_initialization): Always keep
519         initializer for empty base.
520         (cxx_eval_bare_aggregate): Discard it here.
521
522 2012-06-25  Jakub Jelinek  <jakub@redhat.com>
523
524         PR c++/53594
525         * class.c (check_bases_and_members): Avoid -Wuninitialized
526         diagnostics for non-static const members or references if they
527         use NSDMI.
528
529 2012-06-19  Jason Merrill  <jason@redhat.com>
530
531         PR c++/53651
532         * name-lookup.c (constructor_name_p): Don't try to look at the
533         name of a DECLTYPE_TYPE.
534
535         Reapply:
536         PR c++/53137
537         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
538         (instantiate_decl): Don't push_to_top_level for local class methods.
539         (instantiate_class_template_1): Or for local classes.
540
541         PR c++/53599
542         * pt.c (lookup_template_class_1): Use ts_global.
543
544 2012-06-14  Richard Guenther  <rguenther@suse.de>
545
546         Backport from mainline
547         2012-06-11  Richard Guenther  <rguenther@suse.de>
548
549         PR c++/53616
550         * mangle.c (write_array_type): Use double-ints for array domain
551         arithmetic.
552
553 2012-06-14  Richard Guenther  <rguenther@suse.de>
554
555         Backport from mainline
556         2012-06-06  Fabien Chêne  <fabien@gcc.gnu.org>
557
558         PR c++/52841
559         * parser.c (cp_parser_alias_declaration): Return earlier
560         if an error occured.
561
562 2012-06-14  Release Manager
563
564         * GCC 4.7.1 released.
565
566 2012-06-12  Jason Merrill  <jason@redhat.com>
567
568         PR c++/53599
569         Revert:
570         PR c++/53137
571         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
572         (instantiate_decl): Don't push_to_top_level for local class methods.
573         (instantiate_class_template_1): Or for local classes.
574
575 2012-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
576
577         PR c++/53524
578         * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
579         to control enumeral mismatch in conditional expression too.
580
581 2012-06-01  Jason Merrill  <jason@redhat.com>
582
583         PR c++/52973
584         * parser.c (cp_parser_class_head): Apply attributes here.
585         * semantics.c (begin_class_definition): Not here.
586         * cp-tree.h: Adjust.
587
588         PR c++/52725
589         * parser.c (cp_parser_binary_expression): Bail early if we're parsing
590         tentatively and the LHS has a parse error.
591
592 2012-06-01  Jason Merrill  <jason@redhat.com>
593
594         PR c++/53137
595         * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
596         (instantiate_decl): Don't push_to_top_level for local class methods.
597         (instantiate_class_template_1): Or for local classes.
598
599         PR c++/53484
600         * pt.c (do_auto_deduction): Don't try to deduce from a
601         type-dependent initializer.
602
603 2012-05-31  Jason Merrill  <jason@redhat.com>
604
605         PR c++/53500
606         PR c++/52905
607         * call.c (joust): Handle comparing list and non-list ctors.
608
609 2012-05-30  Jason Merrill  <jason@redhat.com>
610
611         PR c++/53356
612         * tree.c (stabilize_init): Side effects make the init unstable.
613
614 2012-05-30  Jason Merrill  <jason@redhat.com>
615
616         PR c++/53220
617         * call.c (convert_like_real) [ck_list]: Take array address directly.
618         * typeck.c (decay_conversion): Reject decay of an array compound
619         literal.
620
621 2012-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
622
623         PR c++/53491
624         * tree.c (stabilize_expr): Handle exp of void type.
625
626 2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>
627
628         PR c++/53503
629         * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
630
631 2012-05-15  Alexandre Oliva  <aoliva@redhat.com>
632
633         PR c++/53209
634         * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
635
636 2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>
637
638         PR c++/53301
639         * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
640         instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
641
642 2012-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
643
644         PR c++/53186
645         * call.c (build_over_call): Handle final member functions
646         and class types.
647         (build_new_method_call_1): Do not handle here.
648
649 2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>
650
651         PR c++/53003
652         * parser.c (cp_parser_member_declaration): Check that
653         initializer_token_start is non null before dereferencing it.
654
655 2012-04-16  Jason Merrill  <jason@redhat.com>
656
657         PR c++/38543
658         * pt.c (determine_specialization): Instead of comparing the number
659         of parms, check that tsubst gives the right answer.
660
661         PR c++/50830
662         * pt.c (convert_template_argument): Handle template template
663         argument packs.
664
665         PR c++/50303
666         * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
667         template parameters.
668
669 2012-04-15  Jason Merrill  <jason@redhat.com>
670
671         PR c++/52292
672         PR c++/52380
673         * pt.c (coerce_template_parms): Even if we aren't converting we
674         want to expand argument packs.
675
676 2012-04-15  Fabien Chêne  <fabien@gcc.gnu.org>
677
678         PR c++/52465
679         * parser.c (cp_parser_class_name): Call strip_using_decl and
680         return the target decl.
681         * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
682         to be stripped is NULL_TREE.
683         (qualify_lookup): Call strip_using_decl and perform some checks on
684         the target decl.
685
686 2012-04-13  Jason Merrill  <jason@redhat.com>
687
688         PR c++/52824
689         * pt.c (any_pack_expanson_args_p): New.
690         (coerce_template_parms): Use it.
691
692 2012-04-11  Jason Merrill  <jason@redhat.com>
693
694         PR c++/52906
695         * decl.c (check_tag_decl): Don't complain about attributes if we
696         don't even have a type.
697
698 2012-04-05  Jason Merrill  <jason@redhat.com>
699
700         PR c++/52596
701         * tree.c (lvalue_kind): Treat a deferred access control SCOPE_REF
702         as an lvalue.
703
704 2012-04-03  Jason Merrill  <jason@redhat.com>
705
706         PR c++/52796
707         * pt.c (tsubst_initializer_list): A pack expansion with no elements
708         means value-initialization.
709
710 2012-03-29  Meador Inge  <meadori@codesourcery.com>
711
712         PR c++/52672
713         * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
714         stripped child trees that are not pointer types.
715
716 2012-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
717
718         PR c++/52718
719         * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
720         warn for a zero as null pointer constant default argument.
721
722 2012-03-29  Jason Merrill  <jason@redhat.com>
723
724         PR c++/52685
725         * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
726
727 2012-03-29  Jakub Jelinek  <jakub@redhat.com>
728
729         PR c++/52759
730         * decl.c (start_decl): Don't call maybe_apply_pragma_weak
731         if processing_template_decl.
732
733 2012-03-29  Jason Merrill  <jason@redhat.com>
734
735         PR c++/52743
736         * call.c (compare_ics): Handle ck_aggr like ck_list.
737
738 2012-03-28  Jason Merrill  <jason@redhat.com>
739
740         PR c++/52746
741         * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
742         we didn't get an explicit scope.
743         * pt.c (tsubst_baselink): Likewise.
744
745 2012-03-22  Paolo Carlini  <paolo.carlini@oracle.com>
746
747         PR c++/52487
748         * class.c (check_field_decls): Call literal_type_p only
749         on complete types.
750
751 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
752
753         PR c++/52671
754         * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
755         on CLASS_TYPE_P types.
756
757 2012-03-22  Jason Merrill  <jason@redhat.com>
758
759         PR c++/52582
760         * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
761
762 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
763
764         Backported from mainline
765         2012-03-14  Jakub Jelinek  <jakub@redhat.com>
766
767         PR c++/52521
768         * parser.c (lookup_literal_operator): Return fn only if
769         processed all arguments from args vector and argtypes is
770         void_list_node.
771
772 2012-03-22  Release Manager
773
774         * GCC 4.7.0 released.
775
776 2012-03-20  Jason Merrill  <jason@redhat.com>
777
778         * mangle.c (write_type): Handle 'auto'.
779         * init.c (build_new): Don't do auto deduction where it might
780         affect template mangling.
781
782 2012-03-07  Jason Merrill  <jason@redhat.com>
783
784         PR c++/52521
785         * mangle.c (write_literal_operator_name): The length comes after the
786         operator prefix.
787
788 2012-02-29  Jason Merrill  <jason@redhat.com>
789
790         PR c++/51930
791         * decl.c (check_tag_decl): Move warning for misplaced attributes here.
792         (shadow_tag): From here.
793         * parser.c (cp_parser_explicit_instantiation): Don't warn here.
794
795 2012-02-21  Jakub Jelinek  <jakub@redhat.com>
796
797         PR c++/52312
798         * typeck.c (check_literal_operator_args): Initialize *long_double_p
799         and *long_long_unsigned_p even if processing_template_decl.
800
801 2012-02-16  Jason Merrill  <jason@redhat.com>
802
803         PR c++/52248
804         * decl.c (define_label): Use timevar_cond_start/stop.
805
806 2012-02-16  Fabien Chêne  <fabien@gcc.gnu.org>
807
808         PR c++/52126
809         * decl.c (xref_basetypes): call dependent_scope_p instead of
810         dependent_type_p.
811
812 2012-02-16  Jason Merrill  <jason@redhat.com>
813
814         PR c++/51415
815         * error.c (dump_expr): Handle lambda closures specifically.
816
817 2012-02-14  Jason Merrill  <jason@redhat.com>
818
819         * parser.c (cp_parser_explicit_instantiation): Give a warning
820         for ignored attributes on explicit class instantiation.
821
822 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
823
824         PR c++/52247
825         * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
826         lookup_label on label's name and set TREE_USED.
827
828 2012-02-14  Jason Merrill  <jason@redhat.com>
829
830         PR c++/39055
831         * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
832
833 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
834
835         PR c/52181
836         * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
837         newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
838
839 2012-02-07  Jason Merrill  <jason@redhat.com>
840
841         PR c++/51675
842         * semantics.c (cx_check_missing_mem_inits): Handle unions.
843         Fix constexpr default constructor logic.
844
845         PR c++/52035
846         * pt.c (tsubst): Strip uninstantiated typedef.
847
848 2012-02-06  Jason Merrill  <jason@redhat.com>
849
850         PR c++/52088
851         * cvt.c (build_expr_type_conversion): Check for template conversion.
852
853 2012-01-31  Jason Merrill  <jason@redhat.com>
854
855         PR c++/52043
856         * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
857         * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
858         (tsubst_pack_expansion): Check it.
859
860 2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
861
862         PR c++/51327
863         * class.c (explain_non_literal_class): Correctly handle implicitly
864         deleted constructors.
865
866 2012-01-27  Jakub Jelinek  <jakub@redhat.com>
867
868         PR c++/51852
869         * pt.c (tsubst_pack_expansion): Delete and restore
870         local_specialization whenever need_local_specialization, not just
871         when saved_local_specializations is non-NULL.
872
873 2012-01-26  Paolo Carlini  <paolo.carlini@oracle.com>
874
875         PR c++/51370
876         * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
877         as TREE_OPERAND (t, 1).
878
879 2012-01-24  Jason Merrill  <jason@redhat.com>
880
881         PR c++/51917
882         * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
883
884         PR c++/51973
885         * tree.c (called_fns_equal): Check template args.
886         (cp_tree_equal): Call it.
887
888 2012-01-24  Aldy Hernandez  <aldyh@redhat.com>
889             Patrick Marlier  <patrick.marlier@gmail.com>
890
891         PR c++/51928
892         * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
893         thunk for set_one_vmethod_tm_attributes.
894
895 2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
896
897         PR c++/51223
898         * call.c (build_over_call): Check for error_mark_node as
899         TREE_VALUE when default arguments are processed.
900
901 2012-01-23  Jason Merrill  <jason@redhat.com>
902
903         PR c++/51930
904         * decl2.c (determine_visibility): Check for visibility attribute
905         on template specialization.
906
907 2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
908
909         PR c++/51398
910         * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
911
912 2012-01-23  Jason Merrill  <jason@redhat.com>
913
914         PR c++/51925
915         * class.c (add_method): Set OVL_USED for using-decls.
916         * tree.c (ovl_scope): New.
917         * cp-tree.h: Declare it.
918         * parser.c (cp_parser_template_name): Use it.
919         * semantics.c (baselink_for_fns): Likewise.
920         * name-lookup.c (set_inherited_value_binding_p): Likewise.
921
922 2012-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
923
924         PR c++/51402
925         * pt.c (lookup_template_class_1): Check context returned by
926         tsubst for error_mark_node.
927
928 2012-01-19  Kai Tietz  <ktietz@redhat.com>
929
930         PR c++/51344
931         * decl2.c (save_template_attributes): Use merge_attributes
932         instead of chaining up via TREE_CHAIN.
933
934 2012-01-19  Jason Merrill  <jason@redhat.com>
935
936         PR c++/51889
937         * class.c (finish_struct): Call add_method here for function usings.
938         * semantics.c (finish_member_declaration): Not here.
939
940 2012-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
941
942         PR c++/51225
943         * typeck2.c (store_init_value): Within a template guard
944         cxx_constant_value with require_potential_constant_expression.
945         * pt.c (convert_nontype_argument): Likewise.
946
947 2012-01-16  Jakub Jelinek  <jakub@redhat.com>
948
949         PR c++/51854
950         * mangle.c (write_template_arg_literal): Handle complex.
951
952 2012-01-16  Jason Merrill  <jason@redhat.com>
953
954         PR c++/51827
955         * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
956
957         PR c++/51868
958         * typeck.c (build_static_cast_1): Handle bit-fields properly.
959
960 2012-01-13  Ian Lance Taylor  <iant@google.com>
961
962         PR c++/50012
963         * typeck.c (enum_cast_to_int): New static function.
964         (cp_build_binary_op): When handling warn_sign_compare, don't test
965         for TREE_NO_WARNING.  Do call enum_cast_to_int.
966         * call.c (avoid_sign_compare_warnings): Remove static function.
967         (build_new_op_1): Don't call avoid_sign_compare_warnings.
968
969 2012-01-13  Steven Bosscher  <steven@gcc.gnu.org>
970
971         * decl2.c: Do not include tree-mudflap.h
972         * semantics.c: Likewise.
973
974 2012-01-13  Jason Merrill  <jason@redhat.com>
975
976         PR c++/20681
977         * semantics.c (finish_break_stmt): Avoid adding an unreachable
978         BREAK_STMT.
979
980         PR c++/51813
981         * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
982         when reducing the visibility.
983
984         PR c++/51620
985         * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
986
987 2012-01-12  Jason Merrill  <jason@redhat.com>
988
989         PR c++/51714
990         * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
991         value-dependent.
992
993 2012-01-13  Dodji Seketeli  <dodji@redhat.com>
994
995         PR c++/51633
996         * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
997         Set the pointer to the last block of the constructor to the
998         current statement.
999         (build_constexpr_constructor_member_initializers): Get
1000         build_data_member_initialization a chance to deal with more
1001         statements before we choke.
1002
1003 2012-01-12  Jason Merrill  <jason@redhat.com>
1004
1005         PR c++/48051
1006         * mangle.c (write_expression): Mangle BASELINK scope if
1007         BASELINK_QUALIFIED_P.
1008         * search.c (adjust_result_of_qualified_name_lookup): Set
1009         BASELINK_QUALIFIED_P.
1010         * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
1011         * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
1012         adjust_result_of_qualified_name_lookup for non-qualified names.
1013
1014         PR c++/51403
1015         * pt.c (unify): Handle error_mark_node.
1016
1017 2012-01-11  Jason Merrill  <jason@redhat.com>
1018
1019         PR c++/51565
1020         * call.c (standard_conversion): For ptrmemfuncs, compare the
1021         static_fn_types.
1022
1023         PR c++/51818
1024         * mangle.c (find_substitution): A type is only a substitution
1025         match if we're looking for a type.
1026         (write_nested_name): Use decl_mangling_context.
1027
1028         * decl.c (decls_match): Assert that the arguments are decls.
1029
1030         PR c++/51613
1031         * pt.c (resolve_overloaded_unification): Compare types with
1032         same_type_p, not decls_match.
1033
1034 2012-01-10  Jason Merrill  <jason@redhat.com>
1035
1036         PR c++/51614
1037         * class.c (build_base_path): Diagnose ambiguous base.
1038
1039         PR c++/51433
1040         * semantics.c (cxx_eval_call_expression): Always retry previously
1041         non-constant expressions.
1042
1043 2012-01-06  Jason Merrill  <jason@redhat.com>
1044
1045         DR 686
1046         PR c++/47450
1047         * parser.c (cp_parser_new_expression): Set
1048         type_definition_forbidden_message.
1049
1050         PR c++/6057
1051         PR c++/48051
1052         PR c++/50855
1053         PR c++/51322
1054         * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
1055         THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
1056         PREDECREMENT_EXPR.
1057         (write_template_arg): Fix mangling of class-scope functions and
1058         argument packs.
1059         (mangle_decl): Update suggested -fabi-version argument.
1060         * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
1061         DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
1062         * tree.c (dependent_name): No longer static.
1063         * cp-tree.h: Declare it.
1064         * pt.c (unify): Defer handling of unconverted functions.
1065
1066         * mangle.c (mangle_decl): Don't generate mangling aliases
1067         for maybe-in-charge [cd]tors.
1068
1069         * error.c (dump_expr): Print type of CONSTRUCTOR.
1070
1071 2012-01-05  Dodji Seketeli  <dodji@redhat.com>
1072
1073         PR c++/51541
1074         * parser.c (cp_parser_alias_declaration): Get out early upon
1075         errors in the identifier or the attributes.
1076
1077 2012-01-04  Paolo Carlini  <paolo.carlini@oracle.com>
1078
1079         PR c++/51064
1080         * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
1081         the tree returned by build_x_binary_op.
1082
1083 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1084
1085         PR c++/51738
1086         * parser.c (cp_parser_postfix_open_square_expression): Handle
1087         postfix-expression [ braced-init-list ].
1088
1089 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1090
1091         PR c++/29273
1092         * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
1093         call decay_conversion on v.
1094
1095 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1096
1097         PR c++/15867
1098         * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
1099         declaration followed by specialization.
1100
1101 2012-01-03  Jakub Jelinek  <jakub@redhat.com>
1102
1103         PR c++/51669
1104         * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
1105         on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
1106
1107 2012-01-02  Jason Merrill  <jason@redhat.com>
1108
1109         DR 1359
1110         PR c++/51675
1111         * method.c (walk_field_subobs): Don't check for uninitialized
1112         fields in a union.
1113         (synthesized_method_walk): Check here.
1114
1115         DR 325
1116         PR c++/51666
1117         * parser.c (cp_parser_cache_defarg): Split out...
1118         (cp_parser_parameter_declaration): ...from here.
1119         (cp_parser_save_nsdmi): Use it.
1120         (cp_parser_cache_group): Remove CPP_COMMA support.
1121
1122 2012-01-02  Dodji Seketeli  <dodji@redhat.com>
1123
1124         PR c++/51462
1125         * semantics.c (cx_check_missing_mem_inits): Don't assert in case
1126         of error.
1127
1128 2012-01-02  Paolo Carlini  <paolo.carlini@oracle.com>
1129
1130         PR c++/20140
1131         * typeck2.c (digest_init_r): Use copy_init when initializing
1132         an array of chars.
1133
1134 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1135
1136         PR c++/16603
1137         * decl.c (build_enumerator): Don't call perform_integral_promotions
1138         on the value.
1139
1140 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
1141
1142         PR c++/51379
1143         * typeck.c (build_reinterpret_cast_1): Implement resolution of
1144         DR 799.
1145
1146 2012-01-01  Fabien Chêne  <fabien@gcc.gnu.org>
1147
1148         * parser.c (cp_parser_using_declaration): Add a warning about
1149         deprecated access declarations when no errors were encountered
1150         while parsing the access declaration. Save the first token in
1151         order to emit the warning at the right place.
1152 \f
1153 Copyright (C) 2012 Free Software Foundation, Inc.
1154
1155 Copying and distribution of this file, with or without modification,
1156 are permitted in any medium without royalty provided the copyright
1157 notice and this notice are preserved.