OSDN Git Service

PR c++/53484
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2012-06-01  Jason Merrill  <jason@redhat.com>
2
3         PR c++/53484
4         * pt.c (do_auto_deduction): Don't try to deduce from a
5         type-dependent initializer.
6
7 2012-05-31  Jason Merrill  <jason@redhat.com>
8
9         PR c++/53500
10         PR c++/52905
11         * call.c (joust): Handle comparing list and non-list ctors.
12
13 2012-05-30  Jason Merrill  <jason@redhat.com>
14
15         PR c++/53356
16         * tree.c (stabilize_init): Side effects make the init unstable.
17
18 2012-05-30  Jason Merrill  <jason@redhat.com>
19
20         PR c++/53220
21         * call.c (convert_like_real) [ck_list]: Take array address directly.
22         * typeck.c (decay_conversion): Reject decay of an array compound
23         literal.
24
25 2012-05-29  Paolo Carlini  <paolo.carlini@oracle.com>
26
27         PR c++/53491
28         * tree.c (stabilize_expr): Handle exp of void type.
29
30 2012-05-28  Paolo Carlini  <paolo.carlini@oracle.com>
31
32         PR c++/53503
33         * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
34
35 2012-05-15  Alexandre Oliva  <aoliva@redhat.com>
36
37         PR c++/53209
38         * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
39
40 2012-05-10  Paolo Carlini  <paolo.carlini@oracle.com>
41
42         PR c++/53301
43         * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
44         instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
45
46 2012-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
47
48         PR c++/53186
49         * call.c (build_over_call): Handle final member functions
50         and class types.
51         (build_new_method_call_1): Do not handle here.
52
53 2012-04-17  Paolo Carlini  <paolo.carlini@oracle.com>
54
55         PR c++/53003
56         * parser.c (cp_parser_member_declaration): Check that
57         initializer_token_start is non null before dereferencing it.
58
59 2012-04-16  Jason Merrill  <jason@redhat.com>
60
61         PR c++/38543
62         * pt.c (determine_specialization): Instead of comparing the number
63         of parms, check that tsubst gives the right answer.
64
65         PR c++/50830
66         * pt.c (convert_template_argument): Handle template template
67         argument packs.
68
69         PR c++/50303
70         * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
71         template parameters.
72
73 2012-04-15  Jason Merrill  <jason@redhat.com>
74
75         PR c++/52292
76         PR c++/52380
77         * pt.c (coerce_template_parms): Even if we aren't converting we
78         want to expand argument packs.
79
80 2012-04-15  Fabien Chêne  <fabien@gcc.gnu.org>
81
82         PR c++/52465
83         * parser.c (cp_parser_class_name): Call strip_using_decl and
84         return the target decl.
85         * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
86         to be stripped is NULL_TREE.
87         (qualify_lookup): Call strip_using_decl and perform some checks on
88         the target decl.
89
90 2012-04-13  Jason Merrill  <jason@redhat.com>
91
92         PR c++/52824
93         * pt.c (any_pack_expanson_args_p): New.
94         (coerce_template_parms): Use it.
95
96 2012-04-11  Jason Merrill  <jason@redhat.com>
97
98         PR c++/52906
99         * decl.c (check_tag_decl): Don't complain about attributes if we
100         don't even have a type.
101
102 2012-04-05  Jason Merrill  <jason@redhat.com>
103
104         PR c++/52596
105         * tree.c (lvalue_kind): Treat a deferred access control SCOPE_REF
106         as an lvalue.
107
108 2012-04-03  Jason Merrill  <jason@redhat.com>
109
110         PR c++/52796
111         * pt.c (tsubst_initializer_list): A pack expansion with no elements
112         means value-initialization.
113
114 2012-03-29  Meador Inge  <meadori@codesourcery.com>
115
116         PR c++/52672
117         * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
118         stripped child trees that are not pointer types.
119
120 2012-03-29  Paolo Carlini  <paolo.carlini@oracle.com>
121
122         PR c++/52718
123         * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
124         warn for a zero as null pointer constant default argument.
125
126 2012-03-29  Jason Merrill  <jason@redhat.com>
127
128         PR c++/52685
129         * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
130
131 2012-03-29  Jakub Jelinek  <jakub@redhat.com>
132
133         PR c++/52759
134         * decl.c (start_decl): Don't call maybe_apply_pragma_weak
135         if processing_template_decl.
136
137 2012-03-29  Jason Merrill  <jason@redhat.com>
138
139         PR c++/52743
140         * call.c (compare_ics): Handle ck_aggr like ck_list.
141
142 2012-03-28  Jason Merrill  <jason@redhat.com>
143
144         PR c++/52746
145         * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
146         we didn't get an explicit scope.
147         * pt.c (tsubst_baselink): Likewise.
148
149 2012-03-22  Paolo Carlini  <paolo.carlini@oracle.com>
150
151         PR c++/52487
152         * class.c (check_field_decls): Call literal_type_p only
153         on complete types.
154
155 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
156
157         PR c++/52671
158         * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
159         on CLASS_TYPE_P types.
160
161 2012-03-22  Jason Merrill  <jason@redhat.com>
162
163         PR c++/52582
164         * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
165
166 2012-03-22  Jakub Jelinek  <jakub@redhat.com>
167
168         Backported from mainline
169         2012-03-14  Jakub Jelinek  <jakub@redhat.com>
170
171         PR c++/52521
172         * parser.c (lookup_literal_operator): Return fn only if
173         processed all arguments from args vector and argtypes is
174         void_list_node.
175
176 2012-03-22  Release Manager
177
178         * GCC 4.7.0 released.
179
180 2012-03-20  Jason Merrill  <jason@redhat.com>
181
182         * mangle.c (write_type): Handle 'auto'.
183         * init.c (build_new): Don't do auto deduction where it might
184         affect template mangling.
185
186 2012-03-07  Jason Merrill  <jason@redhat.com>
187
188         PR c++/52521
189         * mangle.c (write_literal_operator_name): The length comes after the
190         operator prefix.
191
192 2012-02-29  Jason Merrill  <jason@redhat.com>
193
194         PR c++/51930
195         * decl.c (check_tag_decl): Move warning for misplaced attributes here.
196         (shadow_tag): From here.
197         * parser.c (cp_parser_explicit_instantiation): Don't warn here.
198
199 2012-02-21  Jakub Jelinek  <jakub@redhat.com>
200
201         PR c++/52312
202         * typeck.c (check_literal_operator_args): Initialize *long_double_p
203         and *long_long_unsigned_p even if processing_template_decl.
204
205 2012-02-16  Jason Merrill  <jason@redhat.com>
206
207         PR c++/52248
208         * decl.c (define_label): Use timevar_cond_start/stop.
209
210 2012-02-16  Fabien Chêne  <fabien@gcc.gnu.org>
211
212         PR c++/52126
213         * decl.c (xref_basetypes): call dependent_scope_p instead of
214         dependent_type_p.
215
216 2012-02-16  Jason Merrill  <jason@redhat.com>
217
218         PR c++/51415
219         * error.c (dump_expr): Handle lambda closures specifically.
220
221 2012-02-14  Jason Merrill  <jason@redhat.com>
222
223         * parser.c (cp_parser_explicit_instantiation): Give a warning
224         for ignored attributes on explicit class instantiation.
225
226 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
227
228         PR c++/52247
229         * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
230         lookup_label on label's name and set TREE_USED.
231
232 2012-02-14  Jason Merrill  <jason@redhat.com>
233
234         PR c++/39055
235         * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
236
237 2012-02-14  Jakub Jelinek  <jakub@redhat.com>
238
239         PR c/52181
240         * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
241         newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
242
243 2012-02-07  Jason Merrill  <jason@redhat.com>
244
245         PR c++/51675
246         * semantics.c (cx_check_missing_mem_inits): Handle unions.
247         Fix constexpr default constructor logic.
248
249         PR c++/52035
250         * pt.c (tsubst): Strip uninstantiated typedef.
251
252 2012-02-06  Jason Merrill  <jason@redhat.com>
253
254         PR c++/52088
255         * cvt.c (build_expr_type_conversion): Check for template conversion.
256
257 2012-01-31  Jason Merrill  <jason@redhat.com>
258
259         PR c++/52043
260         * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
261         * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
262         (tsubst_pack_expansion): Check it.
263
264 2012-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
265
266         PR c++/51327
267         * class.c (explain_non_literal_class): Correctly handle implicitly
268         deleted constructors.
269
270 2012-01-27  Jakub Jelinek  <jakub@redhat.com>
271
272         PR c++/51852
273         * pt.c (tsubst_pack_expansion): Delete and restore
274         local_specialization whenever need_local_specialization, not just
275         when saved_local_specializations is non-NULL.
276
277 2012-01-26  Paolo Carlini  <paolo.carlini@oracle.com>
278
279         PR c++/51370
280         * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
281         as TREE_OPERAND (t, 1).
282
283 2012-01-24  Jason Merrill  <jason@redhat.com>
284
285         PR c++/51917
286         * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
287
288         PR c++/51973
289         * tree.c (called_fns_equal): Check template args.
290         (cp_tree_equal): Call it.
291
292 2012-01-24  Aldy Hernandez  <aldyh@redhat.com>
293             Patrick Marlier  <patrick.marlier@gmail.com>
294
295         PR c++/51928
296         * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
297         thunk for set_one_vmethod_tm_attributes.
298
299 2012-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
300
301         PR c++/51223
302         * call.c (build_over_call): Check for error_mark_node as
303         TREE_VALUE when default arguments are processed.
304
305 2012-01-23  Jason Merrill  <jason@redhat.com>
306
307         PR c++/51930
308         * decl2.c (determine_visibility): Check for visibility attribute
309         on template specialization.
310
311 2012-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
312
313         PR c++/51398
314         * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
315
316 2012-01-23  Jason Merrill  <jason@redhat.com>
317
318         PR c++/51925
319         * class.c (add_method): Set OVL_USED for using-decls.
320         * tree.c (ovl_scope): New.
321         * cp-tree.h: Declare it.
322         * parser.c (cp_parser_template_name): Use it.
323         * semantics.c (baselink_for_fns): Likewise.
324         * name-lookup.c (set_inherited_value_binding_p): Likewise.
325
326 2012-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
327
328         PR c++/51402
329         * pt.c (lookup_template_class_1): Check context returned by
330         tsubst for error_mark_node.
331
332 2012-01-19  Kai Tietz  <ktietz@redhat.com>
333
334         PR c++/51344
335         * decl2.c (save_template_attributes): Use merge_attributes
336         instead of chaining up via TREE_CHAIN.
337
338 2012-01-19  Jason Merrill  <jason@redhat.com>
339
340         PR c++/51889
341         * class.c (finish_struct): Call add_method here for function usings.
342         * semantics.c (finish_member_declaration): Not here.
343
344 2012-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
345
346         PR c++/51225
347         * typeck2.c (store_init_value): Within a template guard
348         cxx_constant_value with require_potential_constant_expression.
349         * pt.c (convert_nontype_argument): Likewise.
350
351 2012-01-16  Jakub Jelinek  <jakub@redhat.com>
352
353         PR c++/51854
354         * mangle.c (write_template_arg_literal): Handle complex.
355
356 2012-01-16  Jason Merrill  <jason@redhat.com>
357
358         PR c++/51827
359         * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
360
361         PR c++/51868
362         * typeck.c (build_static_cast_1): Handle bit-fields properly.
363
364 2012-01-13  Ian Lance Taylor  <iant@google.com>
365
366         PR c++/50012
367         * typeck.c (enum_cast_to_int): New static function.
368         (cp_build_binary_op): When handling warn_sign_compare, don't test
369         for TREE_NO_WARNING.  Do call enum_cast_to_int.
370         * call.c (avoid_sign_compare_warnings): Remove static function.
371         (build_new_op_1): Don't call avoid_sign_compare_warnings.
372
373 2012-01-13  Steven Bosscher  <steven@gcc.gnu.org>
374
375         * decl2.c: Do not include tree-mudflap.h
376         * semantics.c: Likewise.
377
378 2012-01-13  Jason Merrill  <jason@redhat.com>
379
380         PR c++/20681
381         * semantics.c (finish_break_stmt): Avoid adding an unreachable
382         BREAK_STMT.
383
384         PR c++/51813
385         * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
386         when reducing the visibility.
387
388         PR c++/51620
389         * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
390
391 2012-01-12  Jason Merrill  <jason@redhat.com>
392
393         PR c++/51714
394         * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
395         value-dependent.
396
397 2012-01-13  Dodji Seketeli  <dodji@redhat.com>
398
399         PR c++/51633
400         * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
401         Set the pointer to the last block of the constructor to the
402         current statement.
403         (build_constexpr_constructor_member_initializers): Get
404         build_data_member_initialization a chance to deal with more
405         statements before we choke.
406
407 2012-01-12  Jason Merrill  <jason@redhat.com>
408
409         PR c++/48051
410         * mangle.c (write_expression): Mangle BASELINK scope if
411         BASELINK_QUALIFIED_P.
412         * search.c (adjust_result_of_qualified_name_lookup): Set
413         BASELINK_QUALIFIED_P.
414         * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
415         * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
416         adjust_result_of_qualified_name_lookup for non-qualified names.
417
418         PR c++/51403
419         * pt.c (unify): Handle error_mark_node.
420
421 2012-01-11  Jason Merrill  <jason@redhat.com>
422
423         PR c++/51565
424         * call.c (standard_conversion): For ptrmemfuncs, compare the
425         static_fn_types.
426
427         PR c++/51818
428         * mangle.c (find_substitution): A type is only a substitution
429         match if we're looking for a type.
430         (write_nested_name): Use decl_mangling_context.
431
432         * decl.c (decls_match): Assert that the arguments are decls.
433
434         PR c++/51613
435         * pt.c (resolve_overloaded_unification): Compare types with
436         same_type_p, not decls_match.
437
438 2012-01-10  Jason Merrill  <jason@redhat.com>
439
440         PR c++/51614
441         * class.c (build_base_path): Diagnose ambiguous base.
442
443         PR c++/51433
444         * semantics.c (cxx_eval_call_expression): Always retry previously
445         non-constant expressions.
446
447 2012-01-06  Jason Merrill  <jason@redhat.com>
448
449         DR 686
450         PR c++/47450
451         * parser.c (cp_parser_new_expression): Set
452         type_definition_forbidden_message.
453
454         PR c++/6057
455         PR c++/48051
456         PR c++/50855
457         PR c++/51322
458         * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
459         THROW_EXPR, CONSTRUCTOR, OVERLOAD.  Fix PREINCREMENT_EXPR and
460         PREDECREMENT_EXPR.
461         (write_template_arg): Fix mangling of class-scope functions and
462         argument packs.
463         (mangle_decl): Update suggested -fabi-version argument.
464         * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
465         DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
466         * tree.c (dependent_name): No longer static.
467         * cp-tree.h: Declare it.
468         * pt.c (unify): Defer handling of unconverted functions.
469
470         * mangle.c (mangle_decl): Don't generate mangling aliases
471         for maybe-in-charge [cd]tors.
472
473         * error.c (dump_expr): Print type of CONSTRUCTOR.
474
475 2012-01-05  Dodji Seketeli  <dodji@redhat.com>
476
477         PR c++/51541
478         * parser.c (cp_parser_alias_declaration): Get out early upon
479         errors in the identifier or the attributes.
480
481 2012-01-04  Paolo Carlini  <paolo.carlini@oracle.com>
482
483         PR c++/51064
484         * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
485         the tree returned by build_x_binary_op.
486
487 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
488
489         PR c++/51738
490         * parser.c (cp_parser_postfix_open_square_expression): Handle
491         postfix-expression [ braced-init-list ].
492
493 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
494
495         PR c++/29273
496         * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
497         call decay_conversion on v.
498
499 2012-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
500
501         PR c++/15867
502         * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
503         declaration followed by specialization.
504
505 2012-01-03  Jakub Jelinek  <jakub@redhat.com>
506
507         PR c++/51669
508         * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
509         on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
510
511 2012-01-02  Jason Merrill  <jason@redhat.com>
512
513         DR 1359
514         PR c++/51675
515         * method.c (walk_field_subobs): Don't check for uninitialized
516         fields in a union.
517         (synthesized_method_walk): Check here.
518
519         DR 325
520         PR c++/51666
521         * parser.c (cp_parser_cache_defarg): Split out...
522         (cp_parser_parameter_declaration): ...from here.
523         (cp_parser_save_nsdmi): Use it.
524         (cp_parser_cache_group): Remove CPP_COMMA support.
525
526 2012-01-02  Dodji Seketeli  <dodji@redhat.com>
527
528         PR c++/51462
529         * semantics.c (cx_check_missing_mem_inits): Don't assert in case
530         of error.
531
532 2012-01-02  Paolo Carlini  <paolo.carlini@oracle.com>
533
534         PR c++/20140
535         * typeck2.c (digest_init_r): Use copy_init when initializing
536         an array of chars.
537
538 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
539
540         PR c++/16603
541         * decl.c (build_enumerator): Don't call perform_integral_promotions
542         on the value.
543
544 2012-01-01  Paolo Carlini  <paolo.carlini@oracle.com>
545
546         PR c++/51379
547         * typeck.c (build_reinterpret_cast_1): Implement resolution of
548         DR 799.
549
550 2012-01-01  Fabien Chêne  <fabien@gcc.gnu.org>
551
552         * parser.c (cp_parser_using_declaration): Add a warning about
553         deprecated access declarations when no errors were encountered
554         while parsing the access declaration. Save the first token in
555         order to emit the warning at the right place.
556 \f
557 Copyright (C) 2012 Free Software Foundation, Inc.
558
559 Copying and distribution of this file, with or without modification,
560 are permitted in any medium without royalty provided the copyright
561 notice and this notice are preserved.