OSDN Git Service

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