OSDN Git Service

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