OSDN Git Service

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