OSDN Git Service

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