OSDN Git Service

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