OSDN Git Service

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