OSDN Git Service

PR c++/44157
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2010-05-17  Jason Merrill  <jason@redhat.com>
2
3         PR c++/44157
4         * call.c (build_over_call): Limit init-list deduction warning to
5         cases where the argument is actually an init-list.
6
7         PR c++/44158
8         * call.c (build_over_call): Don't do bitwise copy for move ctor.
9
10 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
11             Jason Merrill  <jason@redhat.com>
12
13         PR c++/44108
14         * decl.c (compute_array_index_type): Call mark_rvalue_use.
15
16 2010-05-15  Jason Merrill  <jason@redhat.com>
17
18         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
19         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
20         TYPE_NOEXCEPT_P.
21         (finish_eh_spec_block): Adjust.
22
23 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
24
25         PR c++/44148
26         * pt.c (tsubst): Unshare template argument.
27
28 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
29
30         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
31         * Make-lang.in: Fix dependencies accordingly.
32
33 2010-05-14  Jason Merrill  <jason@redhat.com>
34
35         C++ DR 475
36         * except.c (build_throw): Simplify, adjust for DR 475.
37
38         PR c++/44127
39         * except.c (dtor_nothrow): Return nonzero for type with
40         trivial destructor.
41
42         PR c++/44127
43         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
44         gimple_build_eh_must_not_throw.
45
46 2010-05-14  Martin Jambor  <mjambor@suse.cz>
47
48         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
49         and define.
50
51 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
52
53         * call.c (build_new_method_call): Change warning text.
54         * typeck2.c (build_functional_cast): Change error text.
55
56 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
57
58         PR c++/30566
59         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
60         shadowing the outer parameter or variables by the declaration of
61         nested function in nested structure or class. Warn the shadowing by
62         the declaration of nested lambda expression.
63
64 2010-05-13  Jason Merrill  <jason@redhat.com>
65
66         * typeck.c (cp_build_array_ref): Factor out from...
67         (build_array_ref): ...here.  Drop complain parm.
68         (build_new_op): Adjust.
69         * class.c (build_vtbl_ref_1): Adjust.
70         * decl2.c (grok_array_decl): Adjust.
71         * cp-tree.h: Adjust prototypes.
72
73 2010-05-13  Jan Hubicka  <jh@suse.cz>
74
75         * decl.c (cp_finish_decl): Do not worry about used attribute.
76
77 2010-05-12  Jason Merrill  <jason@redhat.com>
78
79         * typeck.c (build_array_ref): Take complain parm.
80         * cp-tree.h: Add it to prototype.
81         * call.c (build_new_op): Pass it.
82         * class.c (build_vtbl_ref): Pass it.
83         * decl2.c (grok_array_decl): Pass it.
84
85         PR bootstrap/44048
86         PR target/44099
87         * cp-tree.def (NULLPTR_TYPE): Remove.
88         * cp-tree.h (NULLPTR_TYPE_P): New.
89         (SCALAR_TYPE_P): Use it.
90         (nullptr_type_node): New.
91         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
92         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
93         nullptr_type_node.
94         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
95         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
96         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
97         * mangle.c (write_type): Likewise.
98         * name-lookup.c (arg_assoc_type): Likewise.
99         * typeck.c (build_reinterpret_cast_1): Likewise.
100         * rtti.c (typeinfo_in_lib_p): Likewise.
101         (emit_support_tinfos): Remove local nullptr_type_node.
102
103         * cp-tree.h (UNKNOWN_TYPE): Remove.
104         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
105         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
106         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
107         * class.c (instantiate_type): Check unknown_type_node rather than
108         UNKNOWN_TYPE.
109         * name-lookup.c (maybe_push_decl): Likewise.
110         * rtti.c (get_tinfo_decl_dynamic): Likewise.
111         (get_typeid): Likewise.
112         * semantics.c (finish_offsetof): Likewise.
113
114         PR c++/20669
115         * call.c (add_template_candidate_real): If deduction fails, still
116         add the template as a non-viable candidate.
117         (equal_functions): Handle template candidates.
118         (print_z_candidate): Likewise.
119         (print_z_candidates): Likewise.
120         (build_new_function_call): Likewise.
121
122         * cp-tree.h (LOOKUP_LIST_ONLY): New.
123         * call.c (add_candidates): Enforce it.
124         (build_new_method_call): Try non-list ctor if no viable list ctor.
125         (build_user_type_conversion_1): Likewise.
126
127         * call.c (add_candidates): Distinguish between type(x) and
128         x.operator type().
129         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
130         (build_new_method_call): Give better error for conversion op.
131
132         * call.c (add_candidates): Add first_arg and return_type parms.
133         Add special constructor/conversion op handling.
134         (convert_class_to_reference): Use it.
135         (build_user_type_conversion_1): Likewise.
136         (build_op_call): Likewise.
137         (build_new_method_call): Likewise.
138         (build_new_op): Adjust.
139         (perform_overload_resolution): Adjust.
140
141 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
142
143         PR c++/34272
144         PR c++/43630
145         PR c++/34491
146         * pt.c (process_partial_specialization): Return error_mark_node
147         in case of unused template parameters in partial specialization.
148
149 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
150
151         PR c++/44062
152         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
153         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
154         look at its second operand.
155
156 2010-05-10  Jason Merrill  <jason@redhat.com>
157
158         PR c++/44017
159         * semantics.c (baselink_for_fns): Revert earlier change.
160
161         PR c++/44045
162         * typeck.c (cp_build_modify_expr): Complain about assignment to
163         array from init list.
164
165 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
166
167         PR c++/43719
168         * decl.c (check_initializer): strip array type before checking for
169         uninitialized const or ref members.
170
171 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
172
173         PR c++/43951
174         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
175         error count. Emit errors only if compain is true.
176         (build_new_1): Do not return error_mark_node if
177         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
178         errors. Delay the check for user-provided constructor.
179         (perform_member_init): Adjust.
180         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
181         prototype.
182
183 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
184             Jason Merrill  <jason@redhat.com>
185
186         Add support for C++0x nullptr.
187         * cp-tree.def: Add NULLPTR_TYPE.
188         * cp-tree.h: Add nullptr_node.
189         (cp_tree_index): Add CPTI_NULLPTR.
190         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
191         * call.c (null_ptr_cst_p): Handle nullptr.
192         (standard_conversion): Likewise.
193         (convert_arg_to_ellipsis): Likewise.
194         * mangle.c (write_type): Likewise.
195         * name-lookup.c (arg_assoc_type): Likewise.
196         * parser.c (cp_parser_primary_expression): Likewise.
197         * typeck.c (cp_build_binary_op): Likewise.
198         (build_reinterpret_cast_1): Likewise.
199         * error.c (dump_type): Likewise.
200         (dump_type_prefix, dump_type_suffix): Likewise.
201         * decl.c (cxx_init_decl_processing): Likewise.
202         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
203         * cvt.c (ocp_convert): Likewise.
204         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
205         nullptr_t tinfo in libsupc++.
206
207 2010-05-06  Jason Merrill  <jason@redhat.com>
208
209         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
210
211 2010-04-22  Jakub Jelinek <jakub@redhat.com>
212             Dodji Seketeli <dodji@redhat.com>
213
214         PR c/18624
215         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
216         Declare ...
217         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
218         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
219         (decay_conversion, perform_integral_promotions): Call rvalue_use.
220         (cp_build_unary_op): Call lvalue_use.
221         * decl.c (unused_but_set_errorcount): New variable.
222         (poplevel): Issue -Wunused-but-set-variable diagnostics.
223         (duplicate_decls): Merge DECL_READ_P flags.
224         (start_cleanup_fn): Set DECL_READ_P flag.
225         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
226         * tree.c (rvalue): Call rvalue_use.
227         * pt.c (convert_nontype_argument): Likewise.
228         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
229         finish_decltype_type): Likewise.
230         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
231         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
232         or rvalue_use depending on the expr.
233         * init.c (build_new, build_delete): Likewise.
234         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
235
236 2010-05-05  Jason Merrill  <jason@redhat.com>
237
238         PR c++/43787
239         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
240         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
241
242 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
243
244         PR c++/43028
245         * pt.c (unify): Check each elt for error_mark_node.
246
247 2010-05-04  Jason Merrill  <jason@redhat.com>
248
249         PR c++/38064
250         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
251
252 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
253
254         PR c++/43705
255         * call.c (build_new_method_call): Return error_mark_node if fns is
256         NULL_TREE.
257
258 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
259
260         PR c++/43953
261         * pt.c (most_specialized_class): Pretend we are processing
262         a template decl during the call to coerce_template_parms.
263
264 2010-05-03  Jason Merrill  <jason@redhat.com>
265
266         PR c++/42810
267         PR c++/43680
268         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
269         from the selected underlying type unless -fstrict-enums.  Set
270         ENUM_UNDERLYING_TYPE to have the restricted range.
271         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
272         * class.c (check_bitfield_decl): Likewise.
273
274 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
275
276         PR c++/43951
277         * init.c (build_new_1): Revert the accidental checkin in
278         revision 158918.
279
280 2010-04-30  Jason Merrill  <jason@redhat.com>
281
282         PR c++/43868
283         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
284         (pp_cxx_type_specifier_seq): ...here.
285
286 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
287
288         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
289         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
290
291 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
292
293         PR c++/43779
294         * typeck.c (warn_args_num): New function.
295         (convert_arguments): Use warn_args_num to print the diagnostic
296         messages. 
297
298 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
299
300         PR c++/43890
301         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
302         user-provided constructor while recursing.
303
304 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
305
306         PR c++/9335
307         * error.c (print_instantiation_partial_context_line): Handle
308         recursive instantiation.
309         (print_instantiation_partial_context): Likewise.
310
311 2010-04-27  Jason Merrill  <jason@redhat.com>
312
313         * init.c (perform_member_init): Check CLASS_TYPE_P.
314
315 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
316
317         PR c++/29043
318         * init.c (perform_member_init): check for uninitialized const or
319         reference members, including array types.
320
321 2010-04-24  Jason Merrill  <jason@redhat.com>
322
323         * tree.c (get_fns): Split out from get_first_fn.
324         * cp-tree.h: Declare it.
325         * search.c (shared_member_p): Use it.
326         * semantics.c (finish_qualified_id_expr): Simplify.
327         (finish_id_expression): Simplify.
328
329         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
330         whenever object is NULL_TREE.  Don't do 'this' capture here.
331         (finish_qualified_id_expr): Pass NULL_TREE.
332         (finish_id_expression): Likewise.
333         (lambda_expr_this_capture): Likewise.
334
335         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
336         rather than checking current_class_ref directly.
337         (finish_call_expr): Likewise.
338
339         PR c++/43856
340         * name-lookup.c (qualify_lookup): Disqualify lambda op().
341         * class.c (current_nonlambda_class_type): New fn.
342         * semantics.c (nonlambda_method_basetype): New.
343         * cp-tree.h: Declare them.
344         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
345
346         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
347
348         PR c++/43875
349         * semantics.c (lambda_return_type): Complain about
350         braced-init-list.
351
352         PR c++/43790
353         * tree.c (cv_unqualified): Handle error_mark_node.
354
355         PR c++/41468
356         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
357         if we don't want errors.
358
359         PR c++/41468
360         * class.c (convert_to_base): Add complain parameter.  Pass
361         ba_quiet to lookup_base if we don't want errors.
362         (build_vfield_ref): Pass complain to convert_to_base.
363         * call.c (convert_like_real): Likewise.
364         (initialize_reference): Likewise.
365         (perform_direct_initialization_if_possible): Pass complain to
366         convert_like_real.
367         * cp-tree.h: Adjust.
368
369 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
370             Jason Merrill  <jason@redhat.com>
371
372         PR c++/42844
373         * decl.c (check_for_uninitialized_const_var): Handle classes that need
374         constructing, too.
375         (check_initializer): Call it for classes that need constructing, too.
376         * class.c (in_class_defaulted_default_constructor): New.
377         * cp-tree.h: Declare it.
378
379 2010-04-20  Jason Merrill  <jason@redhat.com>
380
381         PR c++/9335
382         * init.c (constant_value_1): Treat error_mark_node as a constant
383         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
384         * cvt.c (ocp_convert): Handle getting error_mark_node from
385         integral_constant_value.
386         * decl.c (compute_array_index_type): Likewise.
387
388 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
389
390         PR c++/43800
391         PR c++/43704
392         * typeck.c (incompatible_dependent_types_p): If one of the
393         compared types if not a typedef then honour their main variant
394         equivalence.
395
396 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
397
398         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
399
400 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
401
402         PR c++/43704
403         * typeck.c (structural_comptypes): Test dependent typedefs
404         incompatibility before testing for their main variant based
405         equivalence.
406
407 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
408
409         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
410         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
411
412 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
413
414         * decl.c (cxx_init_decl_processing): Remove second argument in call to
415         build_common_tree_nodes.
416
417 2010-04-14  Jason Merrill  <jason@redhat.com>
418
419         PR c++/36625
420         * parser.c (cp_parser_parenthesized_expression_list): Change
421         is_attribute_list parm to int to indicate whether or not to
422         handle initial identifier specially.
423         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
424
425 2010-04-13  Jason Merrill  <jason@redhat.com>
426
427         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
428         CLASS_TYPE_P.
429         * parser.c (cp_parser_lambda_expression): Complain about lambda in
430         unevaluated context.
431         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
432
433 2010-04-12  Jason Merrill  <jason@redhat.com>
434
435         PR c++/43641
436         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
437         return value directly.
438
439         * call.c (type_decays_to): Call cv_unqualified for non-class type.
440
441 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
442
443         PR c++/25811
444         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
445         * init.c (build_new_1): Check for uninitialized const members and
446         uninitialized reference members, when using new without
447         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
448         (diagnose_uninitialized_cst_or_ref_member): Define, call
449         diagnose_uninitialized_cst_or_ref_member_1.
450         (diagnose_uninitialized_cst_or_ref_member_1): New function.
451
452 2010-04-12  Richard Guenther  <rguenther@suse.de>
453
454         PR c++/43611
455         * semantics.c (expand_or_defer_fn_1): Do not keep extern
456         template inline functions.
457
458 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
459
460         PR c++/28584
461         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
462         pointer type.
463
464 2010-04-07  Jason Merrill  <jason@redhat.com>
465
466         PR c++/43016
467         * decl.c (start_preparsed_function): Do defer nested functions.
468
469         PR c++/11094, DR 408
470         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
471         * decl2.c (finish_static_data_member_decl): Set it.
472         * decl.c (duplicate_decls): Propagate it.
473         * pt.c (tsubst_decl): Don't substitute the domain of an array
474         VAR_DECL if it's set.
475         (regenerate_decl_from_template): Substitute it here.
476         (type_dependent_expression_p): Return true if it's set.
477         * semantics.c (finish_decltype_type): Instantiate such a variable.
478         * typeck.c (cxx_sizeof_expr): Likewise.
479         (strip_array_domain): New.
480
481         PR c++/43145
482         * name-lookup.c (current_decl_namespace): Non-static.
483         (pop_nested_namespace): Sanity check.
484         * cp-tree.h: Declare current_decl_namespace.
485         * decl.c (grokvardecl): Use it instead of current_namespace.
486         (grokfndecl): Likewise.
487
488         PR c++/38392
489         * pt.c (tsubst_friend_function): Instatiate a friend that has already
490         been used.
491
492         * pt.c (print_template_statistics): New.
493         * cp-tree.h: Declare it.
494         * tree.c (cxx_print_statistics): Call it.
495
496         PR c++/41970
497         * decl.c (grokvardecl): Tweak warning message.
498         (grokfndecl): Likewise.
499
500 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
501
502         PR c++/42697
503         *pt.c (tsubst_decl): Get the arguments of a specialization from
504         the specialization template, not from the most general template.
505
506 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
507
508         PR c++/40239
509         * typeck2.c (process_init_constructor_record):
510         value-initialize members that are are not explicitely
511         initialized.
512
513 2010-04-07  Jie Zhang  <jie@codesourcery.com>
514
515         PR c++/42556
516         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
517         when all of its elements are non-constant and have been split out.
518
519 2010-04-06  Taras Glek  <taras@mozilla.com>
520             Jason Merrill  <jason@redhat.com>
521
522         * parser.c (cp_parser_class_specifier): Set class location to that
523         of IDENTIFIER_NODE instead of '{' when possible.
524         * semantics.c (begin_class_definition): Do not overide locations
525         with less precise ones.
526
527 2010-04-06  Jason Merrill  <jason@redhat.com>
528
529         PR c++/43648
530         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
531
532         PR c++/43621
533         * pt.c (maybe_update_decl_type): Check the return value from
534         push_scope.
535
536 2010-04-01  Jason Merrill  <jason@redhat.com>
537
538         * decl.c (next_initializable_field): No longer static.
539         * cp-tree.h: Declare it.
540         * call.c (build_aggr_conv): Fail if there are more initializers
541         than initializable fields.
542
543         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
544         instead of void_zero_node.
545
546 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
547
548         PR c++/43558
549         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
550         * pt.c (end_template_parm_list): Store sibling template parms of
551         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
552         (push_template_decl_real): Don't store the containing template decl
553         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
554         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
555         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
556         Simplify the logic.
557
558 2010-03-30  Jason Merrill  <jason@redhat.com>
559
560         PR c++/43076
561         * pt.c (push_template_decl_real): Deal better with running out of
562         scopes before running out of template parms.
563
564         PR c++/41185
565         PR c++/41786
566         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
567         function parameter context.  Don't print an error if parsing
568         tentatively.
569
570         PR c++/43559
571         * pt.c (more_specialized_fn): Don't control cv-qualifier check
572         with same_type_p.
573
574 2010-03-26  Jason Merrill  <jason@redhat.com>
575
576         PR c++/43509
577         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
578         c++0x mode, but not other type-names.
579
580 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
581
582         PR c++/43327
583         * pt.c (add_to_template_args): Support NULL ARGS;
584         (most_specialized_class): call coerce_template_parms on
585         template arguments passed to get_class_bindings. Use
586         add_to_template_args.
587         (unify): Handle VAR_DECLs.
588
589 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
590
591         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
592         into int.
593         * pt.c (get_template_parms_at_level): Adjust.
594
595 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
596
597         PR c++/43206
598         * cp-tree.h (get_template_parms_at_level): Declare ...
599         * pt.c (get_template_parms_at_level): ... new function.
600         * typeck.c (get_template_parms_of_dependent_type): If a template
601         type parm's DECL_CONTEXT isn't yet set, get its siblings from
602         current_template_parms. Use get_template_parms_at_level. Remove
603         useless test.
604         (incompatible_dependent_types_p): If we get empty parms from just one
605         of the template type parms we are comparing then the template parms are
606         incompatible.
607
608 2010-03-24  Jason Merrill  <jason@redhat.com>
609
610         PR c++/43502
611         * parser.c (make_declarator): Initialize id_loc.
612         (cp_parser_lambda_declarator_opt): And set it.
613
614 2010-03-23  Jason Merrill  <jason@redhat.com>
615
616         Make lambda conversion op and op() non-static.
617         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
618         Also add the thunk function returned by the conversion op.
619         Mark the conversion deleted if the op() is variadic.
620         * decl2.c (mark_used): Give helpful message about deleted conversion.
621         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
622         * semantics.c (finish_this_expr): Adjust.
623         * mangle.c (write_closure_type_name): Adjust.
624         * decl.c (grok_op_properties): Don't allow it.
625         * call.c (build_user_type_conversion_1): No static conversion ops.
626         (build_op_call): Or op().
627
628         * decl2.c (change_return_type): Fix 'this' quals.
629
630 2010-03-22  Jason Merrill  <jason@redhat.com>
631
632         PR c++/43333
633         * tree.c (pod_type_p): Use old meaning in C++98 mode.
634
635         PR c++/43281
636         * pt.c (contains_auto_r): New fn.
637         (do_auto_deduction): Use it.
638         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
639
640 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
641
642         PR c++/43081:
643         * decl2.c (grokfield): Handle invalid initializers for member
644         functions.
645
646 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
647
648         PR c++/43375
649         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
650         is NULL.
651         * decl2.c (vague_linkage_p): Likewise.
652
653 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
654
655         PR c++/43418
656         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
657         false, in the cp_parser_expression_statement call.
658
659 2010-03-05  Jason Merrill  <jason@redhat.com>
660
661         * mangle.c (mangle_decl): Give name collision error even without
662         ASM_OUTPUT_DEF.
663
664 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
665
666         * pt.c (process_partial_specialization): Use error_n instead of
667         error.
668
669 2010-03-03  Jason Merrill  <jason@redhat.com>
670
671         PR c++/12909
672         * mangle.c (mangle_decl): Handle VAR_DECL, too.
673
674 2010-03-03  Jason Merrill  <jason@redhat.com>
675
676         PR c++/12909
677         * mangle.c: Include cgraph.h.
678         (mangle_decl): If the mangled name will change in a later
679         ABI version, make the later mangled name an alias.
680         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
681         * Make-lang.in (mangle.o): Depend on cgraph.h.
682         * method.c (make_alias_for): Handle VAR_DECL, too.
683         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
684         * tree.c (no_linkage_check): Adjust.
685         * decl.c (maybe_commonize_var): Adjust.
686         * cp-tree.h: Adjust.
687
688 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
689
690         * pt.c (redeclare_class_template): Use error_n and inform_n.
691
692 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
693
694         PR c++/42748
695         * cp-tree.h (push_tinst_level): Declare.
696         (pop_tinst_level): Likewise.
697         * pt.c (push_tinst_level): Give it external linkage.
698         (pop_tinst_level): Likewise.
699         * mangle.c (mangle_decl_string): Set the source location to that
700         of the decl while mangling.
701
702 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
703
704         PR c++/42054
705         * pt.c (redeclare_class_template): Return false if there are erroneous
706         template parameters.
707
708 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
709
710         * pt.c (push_tinst_level): Replace -ftemplate-depth- with 
711         -ftemplate-depth=.
712
713 2010-02-24  Jason Merrill  <jason@redhat.com>
714
715         PR c++/12909
716         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
717
718         * class.c (layout_class_type): Don't give -Wabi warning for a bug
719         in a previous ABI version.
720
721 2010-02-23  Jason Merrill  <jason@redhat.com>
722
723         PR c++/43143
724         * typeck2.c (digest_init_r): Accept value init of array.
725
726 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
727
728         PR c++/43126
729         * typeck.c (convert_arguments): Update error message.
730
731 2010-02-22  Mike Stump  <mikestump@comcast.net>
732
733         PR c++/43125
734         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
735
736 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
737
738         PR c++/23510
739         * error.c (print_instantiation_partial_context_line): New.
740         (print_instantiation_partial_context): Print at most 12 contexts,
741         skip the rest with a message.
742
743 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
744
745         PR c++/42824
746         * pt.c (lookup_template_class): Better support of specialization
747         of member of class template implicit instantiation.
748
749 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
750
751         PR c++/35669
752         * call.c (conversion_null_warnings): Replace -Wconversion with
753         -Wconversion-null.
754         * cvt.c (build_expr_type_conversion): Likewise.
755
756 2010-02-18  Jason Merrill  <jason@redhat.com>
757
758         PR c++/42837
759         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
760
761         PR c++/43108
762         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
763         C build_binary_op.
764         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
765         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
766
767         PR c++/43070
768         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
769
770         PR c++/26261
771         PR c++/43101
772         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
773         (maybe_update_decl_type): New fn.
774         * parser.c (cp_parser_init_declarator): Use it.
775
776         PR c++/43109
777         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
778
779 2010-02-17  Jason Merrill  <jason@redhat.com>
780
781         PR c++/43075
782         * call.c (build_over_call): Don't create zero-sized assignments.
783         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
784         * cp-objcp-common.c (cp_expr_size): Remove.
785         * cp-tree.h: Remove prototype.
786
787         PR c++/43069
788         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
789         decl we looked up doesn't match.
790
791         PR c++/43093
792         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
793         have an INIT_EXPR anymore.
794
795         PR c++/43079
796         * pt.c (convert_nontype_argument): Change assert to test.
797
798 2010-02-16  Jason Merrill  <jason@redhat.com>
799
800         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
801
802         PR c++/43031
803         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
804         VIEW_CONVERT_EXPR for conversions between structural equality types
805         that the back end can't tell are the same.
806
807         PR c++/43036
808         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
809         cv-quals from element here.
810         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
811
812 2010-02-14  Jason Merrill  <jason@redhat.com>
813
814         PR c++/41997
815         * semantics.c (finish_compound_literal): Use
816         cp_apply_type_quals_to_decl when creating a static variable.
817
818 2010-02-12  Jason Merrill  <jason@redhat.com>
819
820         PR c++/43024
821         * name-lookup.h (current_binding_level): Check for null
822         cp_function_chain.
823
824 2010-02-12  Jason Merrill  <jason@redhat.com>
825
826         PR c++/43054
827         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
828
829 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
830
831         PR c++/43033
832         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
833         instead of x.
834
835 2010-02-10  Jason Merrill  <jason@redhat.com>
836
837         PR c++/41896
838         * semantics.c (outer_lambda_capture_p): Revert.
839         (add_capture): Only finish_member_declaration if
840         we're in the lambda class.
841         (register_capture_members): New.
842         * cp-tree.h: Declare it.
843         * parser.c (cp_parser_lambda_expression): Call it.
844
845 2010-02-10  Jason Merrill  <jason@redhat.com>
846
847         PR c++/41896
848         * semantics.c (outer_lambda_capture_p): Use current_function_decl
849         instead of current_class_type.
850
851 2010-02-10  Jason Merrill  <jason@redhat.com>
852
853         PR c++/42983, core issue 906
854         * method.c (defaultable_fn_check): Check virtualness.
855
856 2010-02-10  Jason Merrill  <jason@redhat.com>
857
858         PR c++/43016
859         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
860
861 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
862
863         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
864         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
865         translation.
866         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
867         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
868         (cp_parser_parameter_declaration)
869         (cp_parser_exception_specification_opt)
870         (cp_parser_exception_declaration): Likewise.
871         * pt.c (check_default_tmpl_args): Likewise.
872         * search.c (lookup_field_r): Likewise.
873
874 2010-02-09  Jason Merrill  <jason@redhat.com>
875
876         PR c++/42399
877         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
878
879 2010-02-09  Jason Merrill  <jason@redhat.com>
880
881         PR c++/42370
882         * decl2.c (change_return_type): New fn.
883         * semantics.c (apply_lambda_return_type): Use it.
884         * cp-tree.h: Declare it.
885
886 2010-02-05  Richard Guenther  <rguenther@suse.de>
887
888         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
889         * cp-lang.c: Include gt-cp-cp-lang.h.
890         * config-lang.in (gtfiles): Add cp/cp-lang.c.
891
892 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
893
894         PR c++/42915
895         * typeck.c (get_template_parms_of_dependent_type): Try getting
896         the template parameters fromt the type itself first.
897
898 2010-02-03  Jason Merrill  <jason@redhat.com>
899
900         PR c++/4926
901         PR c++/38600
902         * mangle.c (write_unqualified_id): Split out from write_expression.
903         (write_unqualified_name): Call it.
904         (write_member_name): Likewise.
905         (write_expression): Support TEMPLATE_ID_EXPR.
906         Disambiguate operator names.
907
908         PR c++/12909
909         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
910         -fabi-version=4.
911
912 2010-02-02  Jason Merrill  <jason@redhat.com>
913
914         PR c++/41090
915         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
916         * optimize.c (clone_body): Remap their initializers when making base
917         variants.
918         (maybe_clone_body): Complain if multiple clones aren't safe.
919
920 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
921
922         PR c++/42758
923         PR c++/42634
924         PR c++/42336
925         PR c++/42797
926         PR c++/42880
927         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
928         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
929         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
930         * pt.c (coerce_template_parms, type_unification_real,
931         expand_template_argument_pack, coerce_template_parameter_pack):
932         Set the non default template args count.
933         (current_template_args): Always set non defaulted
934         template args count when compiled with --enable-checking
935         (tsubst_template_args, type_unification_real): Propagate the non
936         defaulted template args count.
937         * error.c (get_non_default_template_args_count): Renamed
938         count_non_default_template_args into this. Don't calculate the
939         non default template argument count anymore. Use the new
940         accessor macros above to get it.
941         (dump_template_argument_list, dump_type, dump_decl,
942         dump_template_parms): Adjust.
943         * parser.c (cp_parser_template_argument_list): Always set defaulted
944         template args count when compiled with --enable-checking.
945
946 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
947
948         * decl.c (redeclaration_error_message): Wrap the return messages into
949         G_() for easy translation.
950
951 2010-01-28  Jason Merrill  <jason@redhat.com>
952
953         PR c++/42880
954         * semantics.c (begin_class_definition): Don't use type_as_string.
955
956 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
957
958         PR c++/42713
959         PR c++/42820
960         * typeck.c (get_template_parms_of_dependent_type): Factorized
961         this out of incompatible_template_type_parms_p
962         (incompatible_dependent_types_p): Renamed
963         incompatible_template_type_parms_p into this. Make it detect
964         two incompatible dependent typedefs too.
965         (structural_comptypes): Use incompatible_dependent_types_p.
966         * pt.c (get_template_info):
967         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
968
969 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
970             Jason Merrill  <jason@redhat.com>
971
972         * mangle.c (write_type): Mangle transparent record as member type.
973         * semantics.c (begin_class_definition): Recognize decimal classes
974         and set TYPE_TRANSPARENT_AGGR.
975
976 2010-01-20  Jason Merrill  <jason@redhat.com>
977
978         PR c++/42338
979         * mangle.c (write_expression): Handle tree codes that have extra
980         arguments in the middle-end.
981
982 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
983
984         PR c++/42038
985         * except.c (expand_start_catch_block): Deal correctly with
986         do_begin_catch returning error_mark_node.
987
988 2010-01-20  Jason Merrill  <jason@redhat.com>
989
990         PR c++/41788
991         * class.c (layout_class_type): Set packed_maybe_necessary for packed
992         non-PODs.
993
994         PR c++/41920
995         * semantics.c (build_lambda_object): Call mark_used on captured
996         variables.
997
998         PR c++/40750
999         * decl.c (grokdeclarator): Clear type_quals for a member function
1000         declared using a typedef.  Don't complain about adding cv-quals
1001         to a function typedef in C++0x mode.
1002
1003 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
1004
1005         * decl.c (create_array_type_for_decl): Remove set but not used
1006         variable error_msg.  Remove break stmts after return stmts.
1007
1008 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
1009
1010         * error.c (dump_template_parms, count_non_default_template_args):
1011         Revert fix of PR c++/42634.
1012
1013 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1014
1015         PR c++/42634
1016         * error.c (dump_template_parms): Use innermost template
1017         arguments before calling count_non_default_template_args.
1018         (count_non_default_template_args): We are being called with
1019         template innermost arguments now. There is no need to ensure
1020         that again.
1021
1022 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
1023
1024         PR c++/42766
1025         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
1026
1027 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1028
1029         PR c++/42697
1030         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
1031
1032 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
1033
1034         PR c++/42697
1035         *pt.c (tsubst_decl): Get the arguments of a specialization from
1036         the specialization template, not from the most general template.
1037
1038 2010-01-16  Jason Merrill  <jason@redhat.com>
1039
1040         PR c++/42761
1041         * semantics.c (finish_decltype_type): Within a template, treat
1042         unresolved CALL_EXPR as dependent.
1043
1044 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
1045
1046         * error.c (dump_template_parms,count_non_default_template_args):
1047         Revert changes of PR c++/42634.
1048
1049 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
1050
1051         PR middle-end/42674
1052         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
1053         functions with noreturn attribute.
1054
1055 2010-01-14  Jason Merrill  <jason@redhat.com>
1056
1057         PR c++/42701
1058         * call.c (build_new_method_call): Don't free the vec here.
1059
1060         PR c++/42655
1061         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
1062
1063 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
1064
1065         PR c++/42634
1066         * error.c (dump_template_parms): Use innermost template
1067         arguments before calling count_non_default_template_args.
1068         (count_non_default_template_args): We are being called with
1069         template innermost arguments now. There is no need to ensure
1070         that again.
1071
1072 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
1073
1074         c++/40155
1075         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
1076         arguments that were previously deduced.
1077
1078 2010-01-05  Jason Merrill  <jason@redhat.com>
1079
1080         * pt.c (unify_pack_expansion): Handle deduction from init-list.
1081         * call.c (build_over_call): Don't complain about it.
1082
1083 2010-01-04  Jason Merrill  <jason@redhat.com>
1084
1085         PR c++/42555
1086         * pt.c (tsubst_decl): Don't apply type attributes in place.
1087
1088         PR c++/42567
1089         * semantics.c (describable_type): Remove decltype comment and
1090         semantics.
1091
1092
1093 \f
1094 Copyright (C) 2010 Free Software Foundation, Inc.
1095
1096 Copying and distribution of this file, with or without modification,
1097 are permitted in any medium without royalty provided the copyright
1098 notice and this notice are preserved.