OSDN Git Service

6dd7ab7c26c50e3899916e38f5e7c6893aa95b27
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2010-04-06  Jason Merrill  <jason@redhat.com>
2
3         PR c++/43648
4         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
5
6         PR c++/43621
7         * pt.c (maybe_update_decl_type): Check the return value from
8         push_scope.
9
10 2010-04-01  Jason Merrill  <jason@redhat.com>
11
12         * decl.c (next_initializable_field): No longer static.
13         * cp-tree.h: Declare it.
14         * call.c (build_aggr_conv): Fail if there are more initializers
15         than initializable fields.
16
17         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
18         instead of void_zero_node.
19
20 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
21
22         PR c++/43558
23         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
24         * pt.c (end_template_parm_list): Store sibling template parms of
25         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
26         (push_template_decl_real): Don't store the containing template decl
27         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
28         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
29         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
30         Simplify the logic.
31
32 2010-03-30  Jason Merrill  <jason@redhat.com>
33
34         PR c++/43076
35         * pt.c (push_template_decl_real): Deal better with running out of
36         scopes before running out of template parms.
37
38         PR c++/41185
39         PR c++/41786
40         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
41         function parameter context.  Don't print an error if parsing
42         tentatively.
43
44         PR c++/43559
45         * pt.c (more_specialized_fn): Don't control cv-qualifier check
46         with same_type_p.
47
48 2010-03-26  Jason Merrill  <jason@redhat.com>
49
50         PR c++/43509
51         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
52         c++0x mode, but not other type-names.
53
54 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
55
56         PR c++/43327
57         * pt.c (add_to_template_args): Support NULL ARGS;
58         (most_specialized_class): call coerce_template_parms on
59         template arguments passed to get_class_bindings. Use
60         add_to_template_args.
61         (unify): Handle VAR_DECLs.
62
63 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
64
65         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
66         into int.
67         * pt.c (get_template_parms_at_level): Adjust.
68
69 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
70
71         PR c++/43206
72         * cp-tree.h (get_template_parms_at_level): Declare ...
73         * pt.c (get_template_parms_at_level): ... new function.
74         * typeck.c (get_template_parms_of_dependent_type): If a template
75         type parm's DECL_CONTEXT isn't yet set, get its siblings from
76         current_template_parms. Use get_template_parms_at_level. Remove
77         useless test.
78         (incompatible_dependent_types_p): If we get empty parms from just one
79         of the template type parms we are comparing then the template parms are
80         incompatible.
81
82 2010-03-24  Jason Merrill  <jason@redhat.com>
83
84         PR c++/43502
85         * parser.c (make_declarator): Initialize id_loc.
86         (cp_parser_lambda_declarator_opt): And set it.
87
88 2010-03-23  Jason Merrill  <jason@redhat.com>
89
90         Make lambda conversion op and op() non-static.
91         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
92         Also add the thunk function returned by the conversion op.
93         Mark the conversion deleted if the op() is variadic.
94         * decl2.c (mark_used): Give helpful message about deleted conversion.
95         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
96         * semantics.c (finish_this_expr): Adjust.
97         * mangle.c (write_closure_type_name): Adjust.
98         * decl.c (grok_op_properties): Don't allow it.
99         * call.c (build_user_type_conversion_1): No static conversion ops.
100         (build_op_call): Or op().
101
102         * decl2.c (change_return_type): Fix 'this' quals.
103
104 2010-03-22  Jason Merrill  <jason@redhat.com>
105
106         PR c++/43333
107         * tree.c (pod_type_p): Use old meaning in C++98 mode.
108
109         PR c++/43281
110         * pt.c (contains_auto_r): New fn.
111         (do_auto_deduction): Use it.
112         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
113
114 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
115
116         PR c++/43081:
117         * decl2.c (grokfield): Handle invalid initializers for member
118         functions.
119
120 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
121
122         PR c++/43375
123         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
124         is NULL.
125         * decl2.c (vague_linkage_p): Likewise.
126
127 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
128
129         PR c++/43418
130         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
131         false, in the cp_parser_expression_statement call.
132
133 2010-03-05  Jason Merrill  <jason@redhat.com>
134
135         * mangle.c (mangle_decl): Give name collision error even without
136         ASM_OUTPUT_DEF.
137
138 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
139
140         * pt.c (process_partial_specialization): Use error_n instead of
141         error.
142
143 2010-03-03  Jason Merrill  <jason@redhat.com>
144
145         PR c++/12909
146         * mangle.c (mangle_decl): Handle VAR_DECL, too.
147
148 2010-03-03  Jason Merrill  <jason@redhat.com>
149
150         PR c++/12909
151         * mangle.c (mangle_decl): Handle VAR_DECL, too.
152
153 2010-03-03  Jason Merrill  <jason@redhat.com>
154
155         PR c++/12909
156         * mangle.c: Include cgraph.h.
157         (mangle_decl): If the mangled name will change in a later
158         ABI version, make the later mangled name an alias.
159         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
160         * Make-lang.in (mangle.o): Depend on cgraph.h.
161         * method.c (make_alias_for): Handle VAR_DECL, too.
162         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
163         * tree.c (no_linkage_check): Adjust.
164         * decl.c (maybe_commonize_var): Adjust.
165         * cp-tree.h: Adjust.
166
167 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
168
169         * pt.c (redeclare_class_template): Use error_n and inform_n.
170
171 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
172
173         PR c++/42748
174         * cp-tree.h (push_tinst_level): Declare.
175         (pop_tinst_level): Likewise.
176         * pt.c (push_tinst_level): Give it external linkage.
177         (pop_tinst_level): Likewise.
178         * mangle.c (mangle_decl_string): Set the source location to that
179         of the decl while mangling.
180
181 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
182
183         PR c++/42054
184         * pt.c (redeclare_class_template): Return false if there are erroneous
185         template parameters.
186
187 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
188
189         * pt.c (push_tinst_level): Replace -ftemplate-depth- with 
190         -ftemplate-depth=.
191
192 2010-02-24  Jason Merrill  <jason@redhat.com>
193
194         PR c++/12909
195         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
196
197         * class.c (layout_class_type): Don't give -Wabi warning for a bug
198         in a previous ABI version.
199
200 2010-02-23  Jason Merrill  <jason@redhat.com>
201
202         PR c++/43143
203         * typeck2.c (digest_init_r): Accept value init of array.
204
205 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
206
207         PR c++/43126
208         * typeck.c (convert_arguments): Update error message.
209
210 2010-02-22  Mike Stump  <mikestump@comcast.net>
211
212         PR c++/43125
213         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
214
215 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
216
217         PR c++/23510
218         * error.c (print_instantiation_partial_context_line): New.
219         (print_instantiation_partial_context): Print at most 12 contexts,
220         skip the rest with a message.
221
222 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
223
224         PR c++/42824
225         * pt.c (lookup_template_class): Better support of specialization
226         of member of class template implicit instantiation.
227
228 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
229
230         PR c++/35669
231         * call.c (conversion_null_warnings): Replace -Wconversion with
232         -Wconversion-null.
233         * cvt.c (build_expr_type_conversion): Likewise.
234
235 2010-02-18  Jason Merrill  <jason@redhat.com>
236
237         PR c++/42837
238         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
239
240         PR c++/43108
241         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
242         C build_binary_op.
243         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
244         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
245
246         PR c++/43070
247         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
248
249         PR c++/26261
250         PR c++/43101
251         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
252         (maybe_update_decl_type): New fn.
253         * parser.c (cp_parser_init_declarator): Use it.
254
255         PR c++/43109
256         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
257
258 2010-02-17  Jason Merrill  <jason@redhat.com>
259
260         PR c++/43075
261         * call.c (build_over_call): Don't create zero-sized assignments.
262         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
263         * cp-objcp-common.c (cp_expr_size): Remove.
264         * cp-tree.h: Remove prototype.
265
266         PR c++/43069
267         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
268         decl we looked up doesn't match.
269
270         PR c++/43093
271         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
272         have an INIT_EXPR anymore.
273
274         PR c++/43079
275         * pt.c (convert_nontype_argument): Change assert to test.
276
277 2010-02-16  Jason Merrill  <jason@redhat.com>
278
279         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
280
281         PR c++/43031
282         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
283         VIEW_CONVERT_EXPR for conversions between structural equality types
284         that the back end can't tell are the same.
285
286         PR c++/43036
287         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
288         cv-quals from element here.
289         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
290
291 2010-02-14  Jason Merrill  <jason@redhat.com>
292
293         PR c++/41997
294         * semantics.c (finish_compound_literal): Use
295         cp_apply_type_quals_to_decl when creating a static variable.
296
297 2010-02-12  Jason Merrill  <jason@redhat.com>
298
299         PR c++/43024
300         * name-lookup.h (current_binding_level): Check for null
301         cp_function_chain.
302
303 2010-02-12  Jason Merrill  <jason@redhat.com>
304
305         PR c++/43054
306         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
307
308 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
309
310         PR c++/43033
311         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
312         instead of x.
313
314 2010-02-10  Jason Merrill  <jason@redhat.com>
315
316         PR c++/41896
317         * semantics.c (outer_lambda_capture_p): Revert.
318         (add_capture): Only finish_member_declaration if
319         we're in the lambda class.
320         (register_capture_members): New.
321         * cp-tree.h: Declare it.
322         * parser.c (cp_parser_lambda_expression): Call it.
323
324 2010-02-10  Jason Merrill  <jason@redhat.com>
325
326         PR c++/41896
327         * semantics.c (outer_lambda_capture_p): Use current_function_decl
328         instead of current_class_type.
329
330 2010-02-10  Jason Merrill  <jason@redhat.com>
331
332         PR c++/42983, core issue 906
333         * method.c (defaultable_fn_check): Check virtualness.
334
335 2010-02-10  Jason Merrill  <jason@redhat.com>
336
337         PR c++/43016
338         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
339
340 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
341
342         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
343         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
344         translation.
345         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
346         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
347         (cp_parser_parameter_declaration)
348         (cp_parser_exception_specification_opt)
349         (cp_parser_exception_declaration): Likewise.
350         * pt.c (check_default_tmpl_args): Likewise.
351         * search.c (lookup_field_r): Likewise.
352
353 2010-02-09  Jason Merrill  <jason@redhat.com>
354
355         PR c++/42399
356         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
357
358 2010-02-09  Jason Merrill  <jason@redhat.com>
359
360         PR c++/42370
361         * decl2.c (change_return_type): New fn.
362         * semantics.c (apply_lambda_return_type): Use it.
363         * cp-tree.h: Declare it.
364
365 2010-02-05  Richard Guenther  <rguenther@suse.de>
366
367         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
368         * cp-lang.c: Include gt-cp-cp-lang.h.
369         * config-lang.in (gtfiles): Add cp/cp-lang.c.
370
371 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
372
373         PR c++/42915
374         * typeck.c (get_template_parms_of_dependent_type): Try getting
375         the template parameters fromt the type itself first.
376
377 2010-02-03  Jason Merrill  <jason@redhat.com>
378
379         PR c++/4926
380         PR c++/38600
381         * mangle.c (write_unqualified_id): Split out from write_expression.
382         (write_unqualified_name): Call it.
383         (write_member_name): Likewise.
384         (write_expression): Support TEMPLATE_ID_EXPR.
385         Disambiguate operator names.
386
387         PR c++/12909
388         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
389         -fabi-version=4.
390
391 2010-02-02  Jason Merrill  <jason@redhat.com>
392
393         PR c++/41090
394         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
395         * optimize.c (clone_body): Remap their initializers when making base
396         variants.
397         (maybe_clone_body): Complain if multiple clones aren't safe.
398
399 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
400
401         PR c++/42758
402         PR c++/42634
403         PR c++/42336
404         PR c++/42797
405         PR c++/42880
406         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
407         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
408         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
409         * pt.c (coerce_template_parms, type_unification_real,
410         expand_template_argument_pack, coerce_template_parameter_pack):
411         Set the non default template args count.
412         (current_template_args): Always set non defaulted
413         template args count when compiled with --enable-checking
414         (tsubst_template_args, type_unification_real): Propagate the non
415         defaulted template args count.
416         * error.c (get_non_default_template_args_count): Renamed
417         count_non_default_template_args into this. Don't calculate the
418         non default template argument count anymore. Use the new
419         accessor macros above to get it.
420         (dump_template_argument_list, dump_type, dump_decl,
421         dump_template_parms): Adjust.
422         * parser.c (cp_parser_template_argument_list): Always set defaulted
423         template args count when compiled with --enable-checking.
424
425 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
426
427         * decl.c (redeclaration_error_message): Wrap the return messages into
428         G_() for easy translation.
429
430 2010-01-28  Jason Merrill  <jason@redhat.com>
431
432         PR c++/42880
433         * semantics.c (begin_class_definition): Don't use type_as_string.
434
435 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
436
437         PR c++/42713
438         PR c++/42820
439         * typeck.c (get_template_parms_of_dependent_type): Factorized
440         this out of incompatible_template_type_parms_p
441         (incompatible_dependent_types_p): Renamed
442         incompatible_template_type_parms_p into this. Make it detect
443         two incompatible dependent typedefs too.
444         (structural_comptypes): Use incompatible_dependent_types_p.
445         * pt.c (get_template_info):
446         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
447
448 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
449             Jason Merrill  <jason@redhat.com>
450
451         * mangle.c (write_type): Mangle transparent record as member type.
452         * semantics.c (begin_class_definition): Recognize decimal classes
453         and set TYPE_TRANSPARENT_AGGR.
454
455 2010-01-20  Jason Merrill  <jason@redhat.com>
456
457         PR c++/42338
458         * mangle.c (write_expression): Handle tree codes that have extra
459         arguments in the middle-end.
460
461 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
462
463         PR c++/42038
464         * except.c (expand_start_catch_block): Deal correctly with
465         do_begin_catch returning error_mark_node.
466
467 2010-01-20  Jason Merrill  <jason@redhat.com>
468
469         PR c++/41788
470         * class.c (layout_class_type): Set packed_maybe_necessary for packed
471         non-PODs.
472
473         PR c++/41920
474         * semantics.c (build_lambda_object): Call mark_used on captured
475         variables.
476
477         PR c++/40750
478         * decl.c (grokdeclarator): Clear type_quals for a member function
479         declared using a typedef.  Don't complain about adding cv-quals
480         to a function typedef in C++0x mode.
481
482 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
483
484         * decl.c (create_array_type_for_decl): Remove set but not used
485         variable error_msg.  Remove break stmts after return stmts.
486
487 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
488
489         * error.c (dump_template_parms, count_non_default_template_args):
490         Revert fix of PR c++/42634.
491
492 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
493
494         PR c++/42634
495         * error.c (dump_template_parms): Use innermost template
496         arguments before calling count_non_default_template_args.
497         (count_non_default_template_args): We are being called with
498         template innermost arguments now. There is no need to ensure
499         that again.
500
501 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
502
503         PR c++/42766
504         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
505
506 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
507
508         PR c++/42697
509         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
510
511 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
512
513         PR c++/42697
514         *pt.c (tsubst_decl): Get the arguments of a specialization from
515         the specialization template, not from the most general template.
516
517 2010-01-16  Jason Merrill  <jason@redhat.com>
518
519         PR c++/42761
520         * semantics.c (finish_decltype_type): Within a template, treat
521         unresolved CALL_EXPR as dependent.
522
523 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
524
525         * error.c (dump_template_parms,count_non_default_template_args):
526         Revert changes of PR c++/42634.
527
528 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
529
530         PR middle-end/42674
531         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
532         functions with noreturn attribute.
533
534 2010-01-14  Jason Merrill  <jason@redhat.com>
535
536         PR c++/42701
537         * call.c (build_new_method_call): Don't free the vec here.
538
539         PR c++/42655
540         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
541
542 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
543
544         PR c++/42634
545         * error.c (dump_template_parms): Use innermost template
546         arguments before calling count_non_default_template_args.
547         (count_non_default_template_args): We are being called with
548         template innermost arguments now. There is no need to ensure
549         that again.
550
551 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
552
553         c++/40155
554         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
555         arguments that were previously deduced.
556
557 2010-01-05  Jason Merrill  <jason@redhat.com>
558
559         * pt.c (unify_pack_expansion): Handle deduction from init-list.
560         * call.c (build_over_call): Don't complain about it.
561
562 2010-01-04  Jason Merrill  <jason@redhat.com>
563
564         PR c++/42555
565         * pt.c (tsubst_decl): Don't apply type attributes in place.
566
567         PR c++/42567
568         * semantics.c (describable_type): Remove decltype comment and
569         semantics.
570
571
572 \f
573 Copyright (C) 2010 Free Software Foundation, Inc.
574
575 Copying and distribution of this file, with or without modification,
576 are permitted in any medium without royalty provided the copyright
577 notice and this notice are preserved.