OSDN Git Service

Fix PR c++/42260 and ensure PR c++/45383 is fixed
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
2
3         PR c++/42260
4         * call.c (add_builtin_candidate): At this point the resulting type
5         of an indirection operator should be complete.
6
7 2010-11-29  Dodji Seketeli  <dodji@redhat.com>
8
9         PR c++/45383
10         Reverted patch for PR c++/42260
11         * cp-tree.h (lookup_conversions): Reverted "Add new bool parameter to
12         declarationE."
13         * search.c (lookup_conversion): Reverted "Use new bool parameter in
14         definition".
15         * call.c (add_builtin_candidates): Reverted "Don't lookup template
16         conversion"
17         (convert_class_to_reference, build_user_type_conversion_1,
18          build_op_call): Reverted "Adjust".
19         * cvt.c (build_expr_type_conversion): Reverted "Likewise".
20
21 2010-11-29  Nicola Pero  <nicola.pero@meta-innovation.com>
22
23         * parser.c (cp_parser_objc_try_catch_finally_statement): Parse
24         @catch(...)  and pass NULL_TREE to objc_begin_catch_clause() in
25         that case.  Improved error recovery.  Reorganized code to be
26         almost identical to c_parser_objc_try_catch_finally_statement.
27
28 2010-11-27  Nicola Pero  <nicola.pero@meta-innovation.com>
29
30         PR objc++/46222
31         * decl.c (grokdeclarator): Replaced an assert (for a case that can
32         never happen in C++, but could happen in ObjC++ for invalid code)
33         with a check that prints an error message and returns
34         error_mark_node.
35
36 2010-11-23  Jeffrey Yasskin <jyasskin@google.com>
37
38         PR c++/46527
39         * pt.c (instantiate_decl): Propagate the template's location to
40         its instance.
41
42 2010-11-20  Joseph Myers  <joseph@codesourcery.com>
43
44         * name-lookup.c (handle_namespace_attrs): Don't check
45         HANDLE_PRAGMA_VISIBILITY.
46         * parser.c (cp_parser_namespace_definition): Don't check
47         HANDLE_PRAGMA_VISIBILITY.
48
49 2010-11-20  Nathan Froyd  <froydnj@codesourcery.com>
50
51         PR c++/16189
52         PR c++/36888
53         PR c++/45331
54         * parser.c (cp_lexer_set_token_position): New function.
55         (cp_lexer_previous_token_position): New function.
56         (cp_lexer_previous_token): Call it.
57         (cp_parser_class_specifier): Try to gracefully handle a missing
58         semicolon.
59
60 2010-11-20  Jakub Jelinek  <jakub@redhat.com>
61
62         PR c++/46538
63         * decl.c (cp_make_fname_decl): Return error_mark_node if
64         current_binding_level has already sk_function_parms kind.
65
66         PR c++/46526
67         * semantics.c (cxx_eval_call_expression): Unshare the result.
68
69 2010-11-19  Nicola Pero  <nicola.pero@meta-innovation.com>
70
71         * parser.c (cp_parser_objc_protocol_declaration): Pass attributes
72         to objc_declare_protocols.
73
74 2010-11-18  Nathan Froyd  <froydnj@codesourcery.com>
75
76         PR c/33193
77         * typeck.c (cp_build_unary_op): Call build_real_imag_expr for
78         REALPART_EXPR and IMAGPART_EXPR.
79
80 2010-11-16  Jason Merrill  <jason@redhat.com>
81
82         * call.c (convert_like_real): Don't make a temp for copy-list-init.
83         (build_over_call): Don't handle that here.
84         (build_new_method_call): Use COMPLETE_OR_OPEN_TYPE_P for error.
85
86         PR c++/46497
87         * call.c (build_over_call): Check for =delete even when trivial.
88
89         DR 1004
90         * decl.c (make_unbound_class_template): Handle using
91         injected-type-name as template.
92
93 2010-11-15  Nicola Pero  <nicola.pero@meta-innovation.com>
94
95         * typeck.c (cp_build_unary_op): Use
96         objc_build_incr_expr_for_property_ref to build the pre/post
97         increment/decrement of an Objective-C property ref.
98
99 2010-11-13  Jason Merrill  <jason@redhat.com>
100
101         * decl.c (cp_finish_decl): Use resolve_nondeduced_context for auto.
102         * init.c (build_new): Likewise.
103         * pt.c (tsubst_decl): Likewise.
104         (do_auto_deduction): Likewise.
105         (resolve_nondeduced_context): Use build_offset_ref and
106         cp_build_addr_expr.
107
108 2010-11-12  Joseph Myers  <joseph@codesourcery.com>
109
110         * Make-lang.in (g++spec.o): Use $(OPTS_H).
111
112 2010-11-13  Ville Voutilainen <ville.voutilainen@gmail.com> <ville.voutilainen@symbio.com>
113
114         Core 1135, 1136, 1145, 1149
115         * method.c (defaultable_fn_check): Do not disallow defaulting a
116         non-public or explicit special member function on its first
117         declaration.
118
119 2010-11-12  James Dennett <jdennett@google.com>
120
121         PR/39415
122         * typeck.c (build_static_cast_1): Convert to the target type
123         when doing static_cast<cv Derived*>(Base*).
124
125 2010-11-10  Jason Merrill  <jason@redhat.com>
126
127         PR c++/46420
128         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: New case.
129         [CONSTRUCTOR]: Use the tsubsted type.
130
131         PR c++/46369
132         * semantics.c (cxx_eval_bit_field_ref): New.
133         (cxx_eval_constant_expression): Call it.
134
135 2010-11-10  Joseph Myers  <joseph@codesourcery.com>
136
137         * cvt.c (cp_convert_to_pointer): Use %' in diagnostic.
138         * decl.c (layout_var_decl, maybe_commonize_var, grokdeclarator):
139         Use %' in diagnostics.
140         * decl2.c (check_classfn): Use %' in diagnostic.
141         * init.c (build_java_class_ref): Use %' in diagnostic.
142         (build_delete): Remove trailing '.' from diagnostic.
143         * method.c (do_build_copy_assign, walk_field_subobs): Use %' in
144         diagnostics.
145         * name-lookup.c (pushdecl_maybe_friend): Use %' in diagnostic.
146         * parser.c (cp_parser_exception_specification_opt): Remove
147         trailing '.' from diagnostic.
148         (cp_parser_objc_interstitial_code): Use %qs for quoting in
149         diagnostic.
150         * pt.c (check_valid_ptrmem_cst_expr): Use %< and %> for quoting in
151         diagnostic.
152         * repo.c (reopen_repo_file_for_write): Use %' in diagnostic.
153
154 2010-11-10  Nathan Froyd  <froydnj@codesourcery.com>
155
156         PR c++/46065
157         * decl.c (poplevel_named_label_1): Use TREE_CHAIN if necessary.
158
159 2010-11-09  Jakub Jelinek  <jakub@redhat.com>
160
161         PR c++/45894
162         * tree.c (lvalue_kind): Don't crash if ref has NULL type.
163
164 2010-11-08  Jason Merrill  <jason@redhat.com>
165
166         PR c++/46382
167         * semantics.c (check_constexpr_ctor_body): New fn.
168         * parser.c (cp_parser_ctor_initializer_opt_and_function_body): Call it.
169         * cp-tree.h: Declare it.
170
171         PR c++/46335
172         * tree.c (bot_manip): Check TREE_SIDE_EFFECTS as well.
173
174         Correct conversion/overflow behavior.
175         * cvt.c (ignore_overflows): Move here from typeck.c.
176         (ocp_convert): Use it.
177         (cp_fold_convert): Use it.  Don't call rvalue.
178         * typeck.c (build_static_cast_1): Don't use it.  Do call rvalue.
179         * error.c (location_of): Handle expressions, too.
180         * class.c (check_bitfield_decl): Set input_location around call to
181         cxx_constant_value.
182         * semantics.c (cxx_eval_outermost_constant_expr): Don't
183         print the expression if it already had TREE_OVERFLOW set.
184         (reduced_constant_expression_p): Check TREE_OVERFLOW_P for C++98, too.
185         (verify_constant): Allow overflow with a permerror if we're
186         enforcing.
187         (cxx_eval_outermost_constant_expr): Use verify_constant.
188         (adjust_temp_type): Use cp_fold_convert.
189         * decl.c (build_enumerator): Don't call constant_expression_warning.
190         * decl2.c (grokbitfield): Likewise.
191
192 2010-11-06  Jason Merrill  <jason@redhat.com>
193
194         PR c++/46348
195         * init.c (perform_member_init): Use build_vec_init_expr for
196         value-init of arrays, too.
197         * cp-gimplify.c (cp_gimplify_expr): Use VEC_INIT_EXPR_VALUE_INIT.
198         * cp-tree.h (VEC_INIT_EXPR_IS_CONSTEXPR): New macro.
199         (VEC_INIT_EXPR_VALUE_INIT): New macro.
200         * semantics.c (potential_constant_expression): No longer static.
201         Check VEC_INIT_EXPR_IS_CONSTEXPR.
202         * tree.c (build_vec_init_expr): Handle value-init.  Set
203         VEC_INIT_EXPR_IS_CONSTEXPR and VEC_INIT_EXPR_VALUE_INIT.
204
205 2010-11-06  Nathan Froyd  <froydnj@codesourcery.com>
206
207         PR c++/45332
208         * parser.c (cp_lexer_previous_token): New function.
209         (cp_parser_member_declaration): Use previous token for error
210         messages.  Assume semicolon presence rather than grovelling for
211         the next one.
212
213 2010-11-06  Joern Rennecke  <amylaar@spamcop.net>
214
215         PR middle-end/46314
216         * method.c (make_alias_for_thunk):
217         Use targetm.asm_out.generate_internal_label.
218
219 2010-11-05  Jason Merrill  <jason@redhat.com>
220
221         PR c++/45473
222         * search.c (look_for_overrides): A constructor is never virtual.
223
224 2010-11-05  Jakub Jelinek  <jakub@redhat.com>
225
226         PR c++/46160
227         * cp-gimplify.c (cp_gimplify_expr): Drop volatile MEM_REFs
228         on the RHS to avoid infinite recursion with gimplify_expr.
229
230 2010-11-05  Jason Merrill  <jason@redhat.com>
231
232         PR c++/46304
233         * pt.c (tsubst_copy): Handle COMPLEX_CST.
234
235 2010-11-04  Nicola Pero  <nicola.pero@meta-innovation.com>
236
237         Fixed using the Objective-C 2.0 dot-syntax with class names.    
238         * parser.c (cp_parser_primary_expression): Recognize Objective-C
239         2.0 dot-syntax with class names and process it.
240         (cp_parser_nonclass_name): Recognize Objective-C 2.0 dot-syntax
241         with class names.
242         (cp_parser_class_name): Same change.
243         (cp_parser_simple_type_specifier): Tidied comments.
244         
245 2010-11-04  Jason Merrill  <jason@redhat.com>
246
247         PR c++/46298
248         * semantics.c (build_constexpr_constructor_member_initializers):
249         Handle an enclosing STATEMENT_LIST.
250
251         * semantics.c (speculative_access_check): New.
252         * cp-tree.h: Declare it.
253         * call.c (build_over_call): Use it.
254         * class.c (type_has_constexpr_default_constructor): Use locate_ctor.
255         * method.c (locate_ctor): Use push/pop_deferring_access_checks.
256
257 2010-11-03  Jason Merrill  <jason@redhat.com>
258
259         PR c++/46293
260         * semantics.c (build_data_member_initialization): Handle
261         value-init of aggregate empty base.
262
263         PR c++/46289
264         * call.c (can_convert_array): New fn.
265         (build_aggr_conv): Use it.
266
267         PR c++/46289
268         * semantics.c (build_constexpr_constructor_member_initializers):
269         Avoid ICE on error.
270
271 2010-11-02  Dodji Seketeli  <dodji@redhat.com>
272
273         * cp-tree.h (enum tsubst_flags)<tf_no_class_instantiations>:
274         Remove.
275         * pt.c (tsubst): Remove the use of tf_no_class_instantiations.
276
277 2010-11-03  Jason Merrill  <jason@redhat.com>
278
279         PR c++/46277
280         * init.c (expand_default_init): Avoid ICE if we can't figure out
281         which function is being called.
282
283 2010-11-02  Nathan Froyd  <froydnj@codesourcery.com>
284
285         * class.c (build_base_path, add_vcall_offset): Use build_zero_cst
286         instead of fold_convert.
287         * init.c (build_zero_init): Likewise.
288         * typeck.c (cp_build_binary_op): Likewise.
289
290 2010-11-02  Dodji Seketeli  <dodji@redhat.com>
291
292         PR c++/46170
293         PR c++/46162
294         * pt.c (check_valid_ptrmem_cst_expr): Add a complain parameter to
295          control diagnostic.
296         (convert_nontype_argument, convert_nontype_argument): Pass the
297         complain parameter down to check_valid_ptrmem_cst_expr.
298
299 2010-11-02  Dodji Seketeli  <dodji@redhat.com>
300
301         PR c++/45606
302         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): Remove.
303         (struct template_parm_index_s)<num_siblings>: New field.
304         (TEMPLATE_PARM_NUM_SIBLINGS): New accessor.
305         (process_template_parm): Extend the API to accept the number of
306         template parms in argument.
307         (cp_set_underlying_type): Remove this.
308         * class.c (build_self_reference): Require canonical type equality
309         back on the self reference of class.
310         * decl2.c (grokfield): Require canonical type equality back on
311         typedef class fields.
312         * name-lookup.c (pushdecl_maybe_friend): Require canonical type
313         equality back on typedefs.
314         * parser.c (cp_parser_template_parameter_list): Do not require
315         canonical type equality on dependent types created during template
316         parameters parsing.
317         * pt.c (fixup_template_type_parm_type, fixup_template_parm_index)
318         (fixup_template_parm, fixup_template_parms): New private
319         functions.
320         (current_template_args): Declare this.
321         (process_template_parm): Pass the total number of template parms
322         to canonical_type_parameter.
323         (build_template_parm_index): Add a new argument to carry the total
324         number of template parms.
325         (reduce_template_parm_level, process_template_parm, make_auto):
326         Adjust.
327         (current_template_args): Fix this for template template
328         parameters.
329         (tsubst_template_parm): Split out of ...
330         (tsubst_template_parms): ... this.
331         (reduce_template_parm_level): Don't loose
332         TEMPLATE_PARM_NUM_SIBLINGS when cloning a TEMPLATE_PARM_INDEX.
333         (template_parm_to_arg): Extracted this function from
334         current_template_args. Make it represent invalid template parms
335         with an error_mark_node instead of a LIST_TREE containing an
336         error_mark_node.
337         (current_template_args): Use template_parm_to_arg.
338         (dependent_template_arg_p): Consider an invalid template argument
339         as dependent.
340         (end_template_parm_list): Do not update template sibling parms
341         here anymore. Use fixup_template_parms instead.
342         (process_template_parm): Pass the number of template parms to
343         canonical_type_parameter.
344         (make_auto): Require structural equality on auto
345         TEMPLATE_TYPE_PARM for now.
346         (unify)<BOUND_TEMPLATE_TEMPLATE_PARM>: Coerce template parameters
347         using all the arguments deduced so far.
348         (tsubst)<TEMPLATE_TYPE_PARM>: Pass the number of sibling parms to
349         canonical_type_parameter.
350         * tree.c (cp_set_underlying_type): Remove.
351         * typeck.c (get_template_parms_of_dependent_type)
352         (incompatible_dependent_types_p): Remove.
353         (structural_comptypes): Do not call incompatible_dependent_types_p
354         anymore.
355         (comp_template_parms_position): Re-organized. Take the length of
356         template parms list in account.
357
358 2010-11-01  Jason Merrill  <jason@redhat.com>
359
360         * semantics.c (call_stack, call_stack_tick, cx_error_context): New.
361         (last_cx_error_tick, push_cx_call_context, pop_cx_call_context): New.
362         (cxx_eval_call_expression): Call push/pop_cx_call_context instead
363         of giving follow-on errors.
364         * error.c (maybe_print_constexpr_context): New.
365         (cp_diagnostic_starter): Call it.
366         * cp-tree.h: Declare cx_error_context.
367
368         * semantics.c (cxx_eval_constant_expression): Explain
369         unacceptable use of variable better.
370
371 2010-11-01  Gabriel Dos Reis  <gdr@cse.tamu.edu>
372             Jason Merrill  <jason@redhat.com>
373
374         * call.c (null_ptr_cst_p): Use maybe_constant_value.
375         (set_up_extended_ref_temp): Support constant initialization.
376         (initialize_reference): Adjust.
377         * class.c (check_bitfield_decl): Use cxx_constant_value.
378         * cvt.c (ocp_convert): Don't use integral_constant_value when
379         converting to class type.
380         * decl.c (finish_case_label): Use maybe_constant_value.
381         (build_init_list_var_init): Support constant initialization.
382         (check_initializer): Likewise.  Reorganize.
383         (cp_finish_decl): Likewise.
384         (expand_static_init): Likewise.
385         (compute_array_index_type): Use maybe_constant_value.
386         Add complain parm.
387         (create_array_type_for_decl, grokdeclarator): Pass it.
388         (build_enumerator): Use cxx_constant_value.
389         * decl2.c (grokfield): Use maybe_constant_init.
390         * except.c (check_noexcept_r): Handle constexpr.
391         (build_noexcept_spec): Use maybe_constant_value.
392         * init.c (expand_default_init): Support constant initialization.
393         (build_vec_init): Likewise.
394         (constant_value_1): Adjust.
395         (build_new_1): Adjust.
396         * parser.c (cp_parser_constant_expression): Allow non-integral
397         in C++0x mode.
398         (cp_parser_direct_declarator): Don't fold yet in C++0x mode.
399         (cp_parser_initializer_clause): Toss folded result if non-constant.
400         * pt.c (fold_decl_constant_value): Remove.
401         (convert_nontype_argument): Use maybe_constant_value.  Give clearer
402         error about overflow.
403         (tsubst): Move array bounds handling into compute_array_index_type.
404         (value_dependent_expression_p): Handle constant CALL_EXPR.
405         (tsubst_decl): Don't set
406         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P yet.
407         (tsubst_expr) [DECL_EXPR]: Pass it into cp_finish_decl.
408         (instantiate_decl): Here too.
409         * semantics.c (finish_static_assert): Use maybe_constant_value.
410         (ensure_literal_type_for_constexpr_object): Make sure type is complete.
411         (potential_constant_expression): Use maybe_constant_value.
412         * tree.c (cast_valid_in_integral_constant_expression_p): Any cast
413         is potentially valid in C++0x.
414         * typeck2.c (store_init_value): Handle constant init.
415         (check_narrowing): Use maybe_constant_value.
416         (build_functional_cast): Set TREE_CONSTANT on literal T().
417         * cp-tree.h (DECL_INTEGRAL_CONSTANT_VAR_P): Remove.
418         (LOOKUP_ALREADY_DIGESTED): New.
419         (compute_array_index_type): Adjust prototype.
420
421         * semantics.c (constexpr_call): New datatype.
422         (constexpr_call_table): New global table.
423         (constexpr_call_hash): New.
424         (constexpr_call_equal): Likewise.
425         (maybe_initialize_constexpr_call_table): Likewise.
426         (lookup_parameter_binding): Likewise.
427         (cxx_eval_builtin_function_call): Likewise.
428         (cxx_bind_parameters_in_call): Likewise.
429         (cxx_eval_call_expression): Likewise.
430         (cxx_eval_unary_expression): Likewise.
431         (cxx_eval_binary_expression): Likewise.
432         (cxx_eval_conditional_expression): Likewise.
433         (cxx_eval_array_reference): Likewise.
434         (cxx_eval_component_reference): Likewise.
435         (cxx_eval_logical_expression): Likewise.
436         (cxx_eval_object_construction): Likewise.
437         (cxx_eval_constant_expression): Likewise.
438         (cxx_eval_indirect_ref): Likewise.
439         (cxx_constant_value): Likewise.
440         (cxx_eval_bare_aggregate): Likewise.
441         (adjust_temp_type): New.
442         (reduced_constant_expression_p): New.
443         (verify_constant): New.
444         (cxx_eval_vec_init, cxx_eval_vec_init_1): New.
445         (cxx_eval_outermost_constant_expr): New.
446         (maybe_constant_value, maybe_constant_init): New.
447         (cxx_eval_constant_expression): Use them.
448         * pt.c (iterative_hash_template_arg): No longer static.
449         * cp-tree.h: Declare fns.
450
451         * cp-tree.h (register_constexpr_fundef): Declare.
452         * decl.c (maybe_save_function_definition): New.
453         (finish_function): Use it.
454         * semantics.c (constexpr_fundef): New datatype.
455         (constexpr_fundef_table): New global table.
456         (constexpr_fundef_equal): New.
457         (constexpr_fundef_hash): Likewise.
458         (retrieve_constexpr_fundef): Likewise.
459         (validate_constexpr_fundecl): Store in the table.
460         (build_data_member_initialization): New fn.
461         (build_constexpr_constructor_member_initializers): New.
462         (register_constexpr_fundef): Define.
463         (is_this_parameter): New.
464         (get_function_named_in_call): Likewise.
465         (get_nth_callarg): Likewise.
466         (check_automatic_or_tls): New.
467         (morally_constexpr_builtin_function_p): New.
468         (potential_constant_expression): New.
469
470 2010-11-01  Jason Merrill  <jason@redhat.com>
471
472         * decl2.c (decl_constant_var_p): New fn.
473         (decl_maybe_constant_var_p): New fn.
474         (mark_used): Rework instantiation of things needed for constant
475         expressions.
476         * cp-tree.h: Declare new fns.
477         * pt.c (instantiate_decl): Handle cp_unevaluated_operand.
478         (always_instantiate_p): Use decl_maybe_constant_var_p.
479         (instantiate_decl): Don't defer constexpr functions.
480         * repo.c (repo_emit_p): Use decl_maybe_constant_var_p.
481         * semantics.c (finish_id_expression): Use decl_constant_var_p.
482         Check for valid name in constant expr after mark_used.
483
484 2010-10-31  Jason Merrill  <jason@redhat.com>
485
486         * class.c (is_really_empty_class): Work when type is not complete.
487         (synthesized_default_constructor_is_constexpr): New.
488         (add_implicitly_declared_members): Use it.
489         (type_has_constexpr_default_constructor): Likewise.
490         * cp-tree.h: Declare it.
491         * method.c (synthesized_method_walk): Use it.
492
493         * decl.c (pop_switch): Use EXPR_LOC_OR_HERE.
494         * typeck.c (convert_for_assignment): Likewise.
495
496         * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful
497         message about constexpr without -std=c++0x.
498
499         * decl.c (grokdeclarator): Don't ICE on constexpr non-static data
500         member.
501
502 2010-10-30  Nathan Froyd  <froydnj@codesourcery.com>
503
504         * class.c (layout_vtable_decl): Call build_array_of_n_type.
505         (build_vtt, build_ctor_vtabl_group): Likewise.
506
507 2010-10-30  Nicola Pero  <nicola.pero@meta-innovation.com>
508
509         Implemented Objective-C 2.0 @property, @synthesize and @dynamic.
510         * parser.c (cp_parser_objc_at_property_declaration): Removed
511         parsing of RID_COPIES and RID_IVAR.  Updated call to
512         objc_add_property_declaration.
513         * typecheck.c (finish_class_member_access_expr): Call
514         objc_maybe_build_component_ref instead of objc_build_setter_call.
515         (cp_build_modify_expr): Call objc_maybe_build_modify_expr instead
516         of objc_build_getter_call.
517
518 2010-10-27  Jason Merrill  <jason@redhat.com>
519
520         * cp-tree.h (cp_trait_kind): Add CPTK_IS_LITERAL_TYPE.
521         * cxx-pretty-print.c (pp_cxx_trait_expression): Handle it.
522         * semantics.c (trait_expr_value, finish_trait_expr): Likewise.
523         * parser.c (cp_parser_primary_expression): Handle RID_IS_LITERAL_TYPE.
524         (cp_parser_trait_expr): Likewise.
525
526 2010-10-27  Gabriel Dos Reis  <gdr@cse.tamu.edu>
527             Jason Merrill  <jason@redhat.com>
528
529         * decl.c (finish_case_label): Use decl_constant_value.
530
531         * method.c (synthesized_method_walk): Track constexprness too.
532         (process_subob_fn, walk_field_subobs): Likewise.
533         (implicitly_declare_fn): Set DECL_DECLARED_CONSTEXPR_P.
534         (defaulted_late_check): Handle DECL_DECLARED_CONSTEXPR_P.
535         * class.c (add_implicitly_declared_members): Handle
536         constexpr default ctor.
537
538         * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
539         Make sure a constexpr ctor has an empty body.
540         * class.c (type_has_constexpr_default_constructor): New.
541         * cp-tree.h: Declare it.
542         * init.c (perform_member_init): Complain about uninitialized
543         member in constexpr ctor.
544         (emit_mem_initializers): And uninitialized base.
545         * decl.c (check_tag_decl): Fix typo.
546
547         * semantics.c (valid_type_in_constexpr_fundecl_p): New fn.
548         (is_valid_constexpr_fn): New fn.
549         (validate_constexpr_fundecl): Use it.
550         * decl.c (validate_constexpr_redeclaration): New.
551         (duplicate_decls): Use it.
552         (cp_finish_decl): Call validate_constexpr_fundecl and
553         ensure_literal_type_for_constexpr_object here.
554         (start_decl): Not here.  Don't ICE on constexpr reference.
555         (check_for_uninitialized_const_var): Don't handle constexpr specially.
556         (grokfndecl): Set DECL_DECLARED_CONSTEXPR_P.
557         (check_static_variable_definition): Give friendly message about
558         missing constexpr.
559         (grokdeclarator): Complain about typedef and volatile with constexpr.
560         Reorganize.  Give sorry about non-static data members in C++0x mode.
561         (start_preparsed_function): Check validate_constexpr_fundecl here.
562         (check_function_type): Not here.
563         * decl2.c (finish_static_data_member_decl): Don't complain about
564         in-class init.
565         * parser.c (CP_PARSER_FLAGS_ONLY_TYPE_OR_CONSTEXPR): New.
566         (cp_parser_condition): Pass it to cp_parser_decl_specifier_seq.
567         (cp_parser_decl_specifier_seq): Handle it.
568         (cp_parser_explicit_instantiation): Diagnose inline and constexpr.
569
570         * class.c (check_bases): Propagate non-literality.
571         (check_field_decls): Likewise.
572         (finalize_literal_type_property): New.
573         (check_bases_and_members): Call it.
574         * cp-tree.h (TYPE_HAS_CONSTEXPR_CTOR): New.
575         (lang_type_class): Add has_constexpr_ctor field.
576         (DECL_DECLARED_CONSTEXPR_P): Strip template.
577         * decl.c (grok_special_member_properties): Set
578         TYPE_HAS_CONSTEXPR_CTOR.
579
580 2010-10-27  Jason Merrill  <jason@redhat.com>
581
582         * call.c (build_integral_nontype_arg_conv): New.
583         * cp-tree.h: Declare it.
584         * pt.c (convert_nontype_argument): Use it.
585
586         * error.c (dump_simple_decl): Print constexpr.
587
588         * cvt.c (build_up_reference): Use target_type for the temporary var.
589
590         * except.c (build_throw): Set EXPR_LOCATION.
591
592         * tree.c (build_cplus_new): Handle CONSTRUCTOR.
593
594         * semantics.c (finish_compound_stmt): Avoid creating an
595         unnecessary BIND_EXPR.
596
597         * call.c (convert_like_real): Don't check narrowing if the element
598         is also an initializer-list.
599
600 2010-10-27  Nicola Pero  <nicola.pero@meta-innovation.com>
601
602         * parser.c (cp_parser_objc_at_property_declaration): Recognize
603         RID_ASSIGN, RID_COPY, RID_RETAIN, RID_READWRITE and RID_NONATOMIC.
604         Do not use objc_set_property_attr, but use local variables
605         instead.  Detect repeated usage of setter, getter and ivar
606         attributes.  Improved error processing when a setter name does not
607         end in ':'.  Do not check for CPP_CLOSE_PAREN after we determined
608         that the token is a keyword.  Updated call to
609         objc_add_property_declaration.
610
611 2010-10-27  Nicola Pero  <nicola.pero@meta-innovation.com>
612
613         * parser.c (cp_parser_objc_property_decl): Renamed to
614         cp_parser_objc_struct_declaration.  Return the parsed trees
615         instead of calling objc_add_property_variable directly.  Detect
616         missing or invalid declspecs.  Implemented attributes.  Do not eat
617         the ';' at the end.  Exit loop whenever a non-comma is parsed, not
618         just EOF.
619         (cp_parser_objc_at_property): Renamed to
620         cp_parser_objc_at_property_declaration.  Updated calls to
621         objc_add_property_variable, now objc_add_property_declaration, and
622         to cp_parser_objc_property_decl, now
623         cp_parser_objc_struct_declaration.  Rewritten all code to be more
624         robust in dealing with syntax errors, and almost identical to the
625         one in c_parser_objc_at_property_declaration.
626         (cp_parser_objc_property_attrlist): Removed.
627         (cp_parser_objc_method_prototype_list): Updated call to
628         cp_parser_objc_at_property.
629         (cp_parser_objc_method_definition_list): Same change.
630         (cp_parser_objc_class_ivars): Detect a number of invalid
631         declarations of instance variables and produce errors when they
632         are found.
633         
634 2010-10-26  Jason Merrill  <jason@redhat.com>
635
636         * tree.c (build_vec_init_expr): Split out from...
637         (build_array_copy): ...here.
638         * init.c (perform_member_init): Use it.
639         * cp-tree.h: Declare it.
640         * cp-gimplify.c (cp_gimplify_init_expr): Don't gimplify the slot for
641         VEC_INIT_EXPR and AGGR_INIT_EXPR here.  Drop pre/post parameters.
642         (cp_gimplify_expr): Handle array default-initialization via
643         VEC_INIT_EXPR.
644
645         * tree.c (stabilize_expr): Handle xvalues properly.
646
647         * call.c (build_over_call): Use argarray[0] for 'this' argument.
648
649         * decl.c (finish_function): Don't look at function_depth.
650
651 2010-10-25  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
652
653         Implement opaque-enum-specifiers for C++0x.
654         * cp-tree.h (SET_OPAQUE_ENUM_P): New.
655         (OPAQUE_ENUM_P): New.
656         (ENUM_FIXED_UNDERLYING_TYPE_P): New.
657         (start_enum): Update prototype.
658         (finish_enum_value_list): New prototype.
659         * parser.c (cp_parser_elaborated_type_specifier): Issue a pedwarn if
660         "enum class" is used in an elaborated-type-specifier.
661         (cp_parser_enum_specifier): Rewrite to parse opaque-enum-specifiers.
662         * decl.c (copy_type_enum): New.
663         (finish_enum_value_list): New, with code from finish_enum.
664         (finish_enum): A lot of code removed. Added a gcc_assert.
665         (start_enum): Add parameters enumtype and is_new.
666         Rewrite to work with opaque-enum-specifiers.
667         * pt.c (maybe_process_partial_specialization): Allow for template
668         specialization of enumerations, with a pedwarn.
669         (lookup_template_class): Update call to start_enum. Call to
670         SET_OPAQUE_ENUM_P.
671         (tsubst_enum): Call to begin_scope, finish_scope and
672         finish_enum_value_list.
673
674 2010-10-24  Nicola Pero  <nicola.pero@meta-innovation.com>
675
676         Removed Objective-C++ specific replacement of cxx_printable_name.
677         * cp-objcp-common.h: Added LANG_HOOKS_DECL_PRINTABLE_NAME, set
678         to cxx_printable_name for both C++ and Objective-C++.
679         * cp-lang.h: Removed LANG_HOOKS_DECL_PRINTABLE_NAME.
680
681         * error.c (dump_decl): For Objective-C++, call
682         objc_maybe_printable_name here ...
683         * tree.c (cxx_printable_name_internal): ... instead of here.
684         
685 2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
686
687         * tree.c (cxx_printable_name_internal): In Objective-C++, call
688         objc_maybe_printable_name.
689
690 2010-10-22  Jason Merrill  <jason@redhat.com>
691
692         PR c++/46129
693         * pt.c (instantiate_class_template): Don't instantiate default
694         arguments.
695
696         PR c++/46103
697         * init.c (build_vec_init): Handle memberwise move.
698
699 2010-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
700
701         PR c++/46117
702         * call.c (add_function_candidate): Don't use TREE_VALUE on null
703         parmnode.
704
705 2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>
706
707         * parser.c (cp_parser_objc_method_type): Mark inline.  Return a
708         bool instead of calling objc_set_method_type.
709         (cp_parser_objc_method_signature): Updated calls to
710         cp_parser_objc_method_type and to objc_build_method_signature.
711         (cp_parser_objc_method_prototype_list): Updated calls to
712         objc_add_method_declaration.  Use token->type to determine if it
713         is a class method or not.
714         (cp_parser_objc_method_definition_list): Same change.
715
716 2010-10-20  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
717
718         PR c++/46056
719         * parser.c (cp_convert_range_for): Call cp_finish_decl
720         instead of finish_expr_stmt.
721
722 2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>
723
724         * cp-lang.c (finish_file): Removed.
725         * decl2.c (cp_write_global_declarations): Call
726         objc_write_global_declarations when compiling Objective-C++.
727
728 2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
729
730         PR c++/46046
731         * pt.c (add_to_template_args): Check extra_args for error_mark_node.
732         (coerce_template_parms): Likewise for args.
733
734 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
735
736         Implemented parsing @synthesize and @dynamic for Objective-C++.
737         * parser.c (cp_parser_objc_method_definition_list): Recognize
738         RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
739         (cp_parser_objc_at_dynamic_declaration): New.
740         (cp_parser_objc_at_synthesize_declaration): New.
741
742 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
743
744         * parser.c (cp_parser_objc_identifier_list): Check the return
745         value of cp_parser_identifier and react if it is error_mark_node.
746
747 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
748
749         Merge from apple/trunk branch on FSF servers.
750
751         2005-03-01 Fariborz Jahanian <fjahanian@apple.com>
752
753         Radar 4451818
754         * call.c (standard_conversion, implicit_conversion): Ignore
755         'volatile' attribute of artificially volatized type in objc when
756         evaluating various conversion weights.
757
758         2005-11-08  Fariborz Jahanian <fjahanian@apple.com>
759
760         Radar 4330422
761         * typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the
762         artiificially 'volatized' type before doing pointer comparison.
763
764 2010-10-18  Jakub Jelinek  <jakub@redhat.com>
765
766         PR c/46015
767         * semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed
768         goto destination.
769
770 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
771
772         Merge from apple/trunk branch on FSF servers.
773
774         2006-04-19 Fariborz Jahanian <fjahanian@apple.com>
775
776         Radar 4516785
777         * parser.c (cp_parser_simple_type_specifier): Don't lookup for
778         objc object types if type is scope qualified.
779
780 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
781
782         Merge from apple/trunk branch on FSF servers.
783
784         2006-03-27 Fariborz Jahanian <fjahanian@apple.com>
785
786         Radar 4133425
787         * lex.c (unqualified_name_lookup_error): Issue diagnostic
788         for private 'ivar' access.
789
790 2010-10-17  Iain Sandoe  <iains@gcc.gnu.org>
791
792         * parser.c (cp_parser_objc_visibility_spec): Update to use visibility
793         enum, and handle @package.
794
795 2010-10-15  Jason Merrill  <jason@redhat.com>
796
797         PR c++/45983
798         * tree.c (cp_build_qualified_type_real): Don't reuse a variant
799         with a different typedef variant of the element type.
800
801 2010-10-14  Iain Sandoe  <iains@gcc.gnu.org>
802
803         merge from FSF apple 'trunk' branch.
804         2006 Fariborz Jahanian <fjahanian@apple.com>
805
806         Radars 4436866, 4505126, 4506903, 4517826
807         * typeck.c (finish_class_member_access_expr): Handle CLASS.property
808         syntax.
809         (cp_build_modify_expr): Likewise.
810         * parser.c (cp_parser_objc_method_prototype_list): Handle @property.
811         (cp_parser_objc_method_definition_list): Likewise.
812         (cp_parser_objc_property_decl): New.
813         (cp_parser_objc_property_attrlist): New.
814         (cp_parser_objc_at_property): New.
815
816 2010-10-14  Richard Guenther  <rguenther@suse.de>
817
818         PR lto/44561
819         * cp-tree.h (NULLPTR_TYPE_P): Adjust.
820         * decl.c (cxx_init_decl_processing): Build a NULLPTR_TYPE node,
821         use build_int_cst.
822         * error.c (dump_type): Handle NULLPTR_TYPE.
823         (dump_type_prefix): Likewise.
824         (dump_type_suffix): Likewise.
825         * mangle.c (write_type): Likewise.
826         * name-lookup.c (arg_assoc_type): Likewise.
827         * rtti.c (typeinfo_in_lib_p): Likewise.
828         * pt.c (tsubst): Likewise.
829
830 2010-10-13  Jason Merrill  <jason@redhat.com>
831
832         PR c++/45984
833         * class.c (fixup_attribute_variants): New fn.
834         * cp-tree.h: Declare it.
835         * pt.c (instantiate_class_template): Call it.
836         * semantics.c (begin_class_definition): Call it.
837
838 2010-10-13  Richard Henderson  <rth@redhat.com>
839
840         * cp-lang.c (cp_eh_personality): Update call to
841         build_personality_function.
842         * except.c (choose_personality_routine): Update function comment.
843
844 2010-10-13  Richard Guenther  <rguenther@suse.de>
845
846         * tree.c (cp_free_lang_data): Free DECL_NAMESPACE_USERS and
847         clear DECL_CHAIN of NAMESPACE_DECLs.
848
849 2010-10-11  Martin Jambor  <mjambor@suse.cz>
850
851         PR c++/45562
852         * cp-tree.h (current_class_ref): Check that cp_function_chain is
853         non-NULL.
854         * call.c (build_cxx_call): Likewise.
855
856 2010-10-10  Jason Merrill  <jason@redhat.com>
857
858         * pt.c (tsubst_default_argument): Handle DEFAULT_ARG.
859         (tsubst_default_arguments): Only do this once for cloned fns.
860         (tsubst): Use typedef_variant_p.  Handle LANG_TYPE.  Don't
861         handle expressions.
862         (tsubst_expr): Avoid calling tsubst_expr for non-expressions.
863         (tsubst_copy_and_build): Likewise.
864         (tsubst_initializer_list): Likewise.
865         (tsubst_copy): Change default to gcc_unreachable.  Handle
866         OVERLOAD and PTRMEM_CST.
867
868 2010-10-10  Jason Merrill  <jason@redhat.com>
869
870         PR lto/45959
871         PR lto/45960
872         * pt.c (tsubst_copy) [INTEGER_CST]: Instantiate the type.
873
874 2010-10-07  Andi Kleen  <ak@linux.intel.com>
875
876         * Make-lang.in (c++_OBJS): Remove dummy-checksum.o.
877         (cc1plus-dummy): Remove.
878         (cc1plus-checksum): Change to run checksum over object files
879         and options only.
880
881 2010-10-08  Joseph Myers  <joseph@codesourcery.com>
882
883         * cp-objcp-common.h (LANG_HOOKS_INIT_OPTIONS_STRUCT): Define.
884
885 2010-10-07  Nicola Pero  <nicola.pero@meta-innovation.com>
886
887         * cp-tree.def: Changed type of AT_ENCODE_EXPR from tcc_unary to
888         tcc_expression.
889         * cxx-pretty-print.c (pp_cxx_unary_expression): Added case for
890         AT_ENCODE_EXPR.
891         * error.c (dump_expr): Added case for AT_ENCODE_EXPR.
892         * pt.c (tsubst_copy): Added case for AT_ENCODE_EXPR.
893         (value_dependent_expression_p): Added case for AT_ENCODE_EXPR.
894         (type_dependent_expression_p): Added case for AT_ENCODE_EXPR.
895         * parser.c (cp_parser_objc_encode_expression): Updated comment.
896
897 2010-10-07  Nicola Pero  <nicola.pero@meta-innovation.com>
898
899         Merge from apple/trunk branch on FSF servers.
900
901         2006-04-26  Fariborz Jahanian <fjahanian@apple.com>
902
903         Radar 4508851
904         * parser.c (cp_parser_objc_interstitial_code): Recognize
905         and parse RID_NAMESPACE keyword.
906
907 2010-10-07  Iain Sandoe  <iains@gcc.gnu.org>
908
909         * parser.c (cp_parser_objc_method_tail_params_opt): Peek new token after
910         finding ellipsis, before checking for attributes.
911
912 2010-10-06  Nicola Pero  <nicola.pero@meta-innovation.com>
913
914         Merge from apple/trunk branch on FSF servers.
915         * cp-tree.def: Added AT_ENCODE_EXPR here instead of to the no
916         longer existing gcc/c-common.def.
917
918         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
919
920         Radar 4278774
921         * pt.c (tsubst_copy_and_build): Instantiate @endcode(T).
922         * parser.c (cp_parser_objc_encode_expression): Build a templatized
923         parse tree for @encode(T).
924
925         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
926
927         Radar 4278774
928         * c-common.def: Add new expression code AT_ENCODE_EXPR.
929
930 2010-10-06  Eric Botcazou  <ebotcazou@adacore.com>
931
932         PR c++/45908
933         * typeck.c (cp_build_addr_expr_1): Add check for incomplete types in
934         code folding offsetof-like computations.
935
936 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
937
938         PR objc++/31125
939         * parser.c (cp_parser_objc_class_interface): If no identifier
940         follows an @interface token, stop parsing the interface after
941         printing an error.
942         (cp_parser_objc_class_implementation): If no identifier follows an
943         @implementation token, stop parsing the implementation after
944         printing an error.
945
946 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
947
948         PR objc++/23707
949         * parser.c (cp_parser_objc_method_keyword_params): If the required
950         colon is not found while parsing parameters, stop parsing them.
951
952 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
953
954         PR objc++/31126
955         * parser.c (cp_parser_objc_class_ivars): Do not eat the EOF or
956         @end after detecting it.  Print an error if @end is found without
957         a '}'.
958         (cp_parser_objc_method_prototype_list): Do not eat the EOF after
959         detecting it.  Fixed reading the next token when continuing
960         because of an error in a method signature.  Print an error if EOF
961         is found without an '@end'.
962         (cp_parser_objc_method_definition_list): Same change.
963
964 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
965
966         Merge from apple/trunk branch on FSF servers:
967
968         2005-10-17  Fariborz Jahanian <fjahanian@apple.com>
969
970         Radar 4290840
971         * parser.c (cp_parser_objc_method_keyword_params): Check for valid
972         method parameters and issue error.
973         (cp_parser_objc_method_definition_list): Check for invalid tokens
974         which cannot start a function definition.
975
976         2005-10-14  Fariborz Jahanian <fjahanian@apple.com>
977
978         Radar 4294425
979         * parser.c (cp_parser_objc_message_args): Check for missing message
980         arguments and syntax error.
981
982         2005-10-13  Fariborz Jahanian <fjahanian@apple.com>
983
984         Radar 4261146
985         * parser.c (cp_parser_objc_class_ivars): Check for @end/eof while
986         looking for '}'.
987
988         2005-08-15  Ziemowit Laski  <zlaski@apple.com>
989
990         Radar 4093475
991         * parser.c (cp_parser_objc_interstitial_code): Catch stray
992         '{' and '}' tokens and issue appropriate errors.
993
994         2005-08-02  Ziemowit Laski  <zlaski@apple.com>
995
996         Radar 4185810
997         (cp_parser_statement_seq_opt): In addition to '}' and
998         end-of-file, a statement sequence may also be terminated
999         by a stray '@end'.
1000
1001 2010-10-05  Joseph Myers  <joseph@codesourcery.com>
1002
1003         * cp-tree.h (cxx_print_error_function,
1004         cxx_initialize_diagnostics): Declare using diagnostic_context
1005         typedef.
1006
1007 2010-10-04  Andi Kleen <ak@linux.intel.com>
1008
1009         * Make-lang.in (g++, cc1plus): Add + to build rule.
1010
1011 2010-10-04  Jason Merrill  <jason@redhat.com>
1012
1013         * tree.c (decl_storage_duration): New.
1014         * cp-tree.h: Declare it.
1015         (duration_kind): Return values.
1016
1017 2010-10-03  Jason Merrill  <jason@redhat.com>
1018
1019         * typeck.c (require_complete_type_sfinae): Add complain parm to...
1020         (require_complete_type): ...this function.
1021         (cp_build_array_ref, convert_arguments): Use it.
1022         (convert_for_initialization, cp_build_modify_expr): Likewise.
1023         * cp-tree.h: Declare it.
1024         * call.c (build_over_call): Use it.
1025
1026 2010-09-30  Iain Sandoe  <iains@gcc.gnu.org>
1027
1028         merge from FSF 'apple/trunk' branch.
1029         2006-01-30  Fariborz Jahanian <fjahanian@apple.com>
1030
1031         Radar 4386773
1032         * cp/parser.c (cp_parser_objc_interstitial_code): For
1033         @optional/@required set the optional/required flag.
1034
1035 2010-09-30  Nicola Pero  <nicola.pero@meta-innovation.com>
1036
1037         * parser.c (cp_lexer_get_preprocessor_token): Tidied up comments
1038         and indentation when finding an Objective-C++ CPP_AT_NAME token.
1039
1040 2010-09-29  Richard Guenther  <rguenther@suse.de>
1041
1042         * cp-tree.h (CP_DECL_CONTEXT): Check DECL_FILE_SCOPE_P.
1043         (CP_TYPE_CONTEXT): Similar.
1044         (FROB_CONTEXT): Frob global_namespace to the global
1045         TRANSLATION_UNIT_DECL.
1046         * decl.c (cxx_init_decl_processing): Build a TRANSLATION_UNIT_DECL,
1047         set DECL_CONTEXT of global_namespace to it.
1048         (start_decl): Use CP_DECL_CONTEXT and test TYPE_P
1049         instead of zeroing context.
1050         (cp_finish_decl): Use DECL_FILE_SCOPE_P.
1051         (grokfndecl): Likewise.
1052         (start_preparsed_function): Likewise.
1053         * name-lookup.c (maybe_push_decl): Use DECL_NAMESPACE_SCOPE_P.
1054         (namespace_binding): Use SCOPE_FILE_SCOPE_P.
1055         * pt.c (template_class_depth): Use CP_TYPE_CONTEXT.
1056         (is_specialization_of_friend): Use CP_DECL_CONTEXT.
1057         (push_template_decl_real): Likewise.
1058         (tsubst_friend_class): Likewise.  Adjust context comparisons.
1059         (instantiate_class_template): Use CP_TYPE_CONTEXT.
1060         (tsubst): Do not substitute into TRANSLATION_UNIT_DECL.
1061         * cxx-pretty-print.c (pp_cxx_nested_name_specifier): Use
1062         SCOPE_FILE_SCOPE_P.
1063
1064 2010-09-29  Yao Qi  <yao@codesourcery.com>
1065
1066         * decl.c (get_atexit_node): Fix typo.
1067
1068 2010-09-28  Jason Merrill  <jason@redhat.com>
1069
1070         * tree.c (lvalue_kind): Rename from lvalue_p_1, make nonstatic.
1071         (real_lvalue_p): Take const_tree.
1072         * cp-tree.h: Adjust.
1073         * typeck.c (lvalue_or_else): Make temporary arg a permerror.
1074         (cp_build_addr_expr_1): Likewise.
1075
1076 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
1077
1078         Partially merged from apple/trunk branch on FSF servers:
1079         2006-04-26 Fariborz Jahanian <fjahanian@apple.com>
1080         Radar 3803157 (method attributes)
1081
1082         * parser.c (cp_parser_objc_method_keyword_params): Handle attributes.
1083         (cp_parser_objc_method_tail_params_opt): Likewise.
1084         (cp_parser_objc_method_signature): Likewise.
1085         (cp_parser_objc_method_maybe_bad_prefix_attributes): New.
1086         (cp_parser_objc_method_prototype_list): Handle attributes.
1087         (cp_parser_objc_method_definition_list): Likewise.
1088
1089 2010-09-28  Richard Henderson  <rth@redhat.com>
1090
1091         * cp-lang.c: Include "target.h".
1092         (cp_eh_personality): Use targetm.except_unwind_info.
1093         * Make-lang.in (cp-lang.o): Update deps.
1094
1095 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
1096
1097         * parser.c (cp_parser_objc_valid_prefix_attributes): New.
1098         (cp_parser_declaration): Parse prefix attributes for ObjC++.
1099         (cp_parser_objc_protocol_declaration): Handle attributes.
1100         (cp_parser_objc_class_interface): Likewise.
1101         (cp_parser_objc_declaration): Likewise.
1102
1103 2010-09-27  Jason Merrill  <jason@redhat.com>
1104
1105         Require lvalues as specified by the standard.
1106         * typeck.c (lvalue_or_else): Use real_lvalue_p.
1107         (cp_build_addr_expr_1): Split out of cp_build_unary_op.
1108         (cp_build_addr_expr, cp_build_addr_expr_strict): Interfaces.
1109         (decay_conversion, get_member_function_from_ptrfunc): Adjust.
1110         (build_x_unary_op, build_reinterpret_cast_1): Adjust.
1111         (build_const_cast_1): Adjust.
1112         * cp-tree.h: Declare new fns.
1113         * call.c (build_this, convert_like_real, build_over_call): Adjust.
1114         (initialize_reference): Adjust.
1115         * class.c (build_base_path, convert_to_base_statically): Adjust.
1116         (build_vfn_ref, resolve_address_of_overloaded_function): Adjust.
1117         * cvt.c (build_up_reference, convert_to_reference): Adjust.
1118         * decl.c (register_dtor_fn): Adjust.
1119         * decl2.c (build_offset_ref_call_from_tree): Adjust.
1120         * except.c (initialize_handler_parm): Adjust.
1121         * init.c (build_offset_ref, build_delete, build_vec_delete): Adjust.
1122         * rtti.c (build_dynamic_cast_1, tinfo_base_init): Adjust.
1123         * tree.c (stabilize_expr): Adjust.
1124
1125 2010-09-27  Nicola Pero  <nicola.pero@meta-innovation.com>
1126
1127         Merge from apple/trunk branch on FSF servers:
1128
1129         2005-12-15  Fariborz Jahanian <fjahanian@apple.com>
1130
1131         Radar 4229905
1132         * typeck.c (composite_pointer_type): Call objc_have_common_type
1133         when comparing two objective-c pointer types.
1134
1135         2005-07-18  Ziemowit Laski  <zlaski@apple.com>
1136
1137         Radar 4175534
1138         * call.c (standard_conversion): Do not issue warnings when
1139         comparing ObjC pointer types.
1140
1141         2005-06-22  Ziemowit Laski  <zlaski@apple.com>
1142
1143         Radar 4154928
1144         * call.c (standard_conversion): Allow for a pointer conversion
1145         between any two ObjC pointer types.
1146         * typeck.c (composite_pointer_type): Determine common type
1147         for two ObjC pointer types.
1148
1149 2010-09-24  Jan Hubicka  <jh@suse.cz>
1150
1151         * decl.c (finish_function): Use decl_replaceable_p
1152         * method.c (make_alias_for_thunk): Update call of
1153         cgraph_same_body_alias.
1154
1155 2010-09-24  Jason Merrill  <jason@redhat.com>
1156
1157         * decl.c (compute_array_index_type): Remember type dependence of
1158         array bound.
1159         * pt.c (dependent_type_p_r): Don't recompute it here.
1160
1161         * error.c (dump_expr) [CASE_CONVERT]: Print conversion between
1162         reference and pointer to the same type as "*" or "&".
1163
1164 2010-09-24  Nicola Pero  <nicola.pero@meta-innovation.com>
1165
1166         * typeck.c (warn_args_num): Use warning 'too many arguments to
1167         method [methodname]' for an Objective-C method instead of the less
1168         satisfactory 'too many arguments to function' (with no method
1169         name).
1170
1171 2010-09-21  Jason Merrill  <jason@redhat.com>
1172
1173         * mangle.c (write_expression) [SCOPE_REF]: Only do -fabi-version=1
1174         special handling if we know the member.
1175
1176 2010-09-18  Jason Merrill  <jason@redhat.com>
1177
1178         * call.c (compare_ics): Do lvalue/rvalue reference binding
1179         comparison for ck_list, too.
1180
1181 2010-09-15  Jason Merrill  <jason@redhat.com>
1182
1183         * semantics.c (finish_id_expression): Diagnose use of function
1184         parms in evaluated context outside function body.
1185
1186         * decl2.c (grokbitfield): Diagnose non-integral width.
1187
1188         * call.c (convert_like_real): Use the underlying type of the
1189         reference for the temporary.
1190
1191 2010-09-15  Jakub Jelinek  <jakub@redhat.com>
1192
1193         PR c++/45635
1194         * class.c (build_vtbl_initializer): Use fn instead of init's operand
1195         as first argument to FDESC_EXPR.
1196
1197 2010-09-15  Paolo Carlini  <paolo.carlini@oracle.com>
1198
1199         PR c++/45665
1200         * decl.c (grokdeclarator): Check build_memfn_type return value
1201         for error_mark_node.
1202
1203 2010-09-13  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1204
1205         * semantics.c (finish_for_stmt): Always test flag_new_for_scope.
1206         (begin_range_for_stmt): Likewise.
1207
1208 2010-09-11  Rodrigo Rivas <rodrigorivascosta@gmail.com>
1209
1210         Implement range-based for-statements.
1211         * cp-tree.def (RANGE_FOR_STMT): New.
1212         * cp-tree.h (RANGE_FOR_DECL, RANGE_FOR_EXPR, RANGE_FOR_BODY): New.
1213         (cp_convert_range_for): Declare.
1214         * pt.c (tsubst_expr): Add RANGE_FOR_STMT.
1215         (tsubst_copy_and_build): perform_koenig_lookup takes extra argument.
1216         * semantics.c (begin_range_for_stmt): New.
1217         (finish_range_for_decl): New.
1218         (finish_for_stmt): Accept also RANGE_FOR_STMT.
1219         (perform_koenig_lookup): Add extra argument include_std.
1220         * parser.c (cp_parser_c_for): New with code from
1221         cp_parser_iteration_statement().
1222         (cp_parser_range_for): New.
1223         (cp_convert_range_for): New.
1224         (cp_parser_iteration_statement): Add range-for support.
1225         (cp_parser_condition): Adjust comment.
1226         (cp_parser_postfix_expression): perform_koenig_lookup takes extra
1227         argument.
1228         * dump.c (cp_dump_tree): Add RANGE_FOR_STMT.
1229         * cxx-pretty-print.c: Likewise.
1230         * lex.c (cxx_init): Likewise.
1231         * name-lookup.c (lookup_function_nonclass): Add extra argument
1232         include_std.
1233         (lookup_arg_dependent): Likewise.
1234         * name-lookup.h: Likewise.
1235
1236 2010-09-10  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1237
1238         PR c++/43824
1239         * error.c (maybe_warn_cpp0x): Add new warning
1240         CPP0X_INLINE_NAMESPACES.
1241         * parser.c (cp_parser_namespace_definition): Likewise.
1242         * cp-tree.h (cpp0x_warn_str): Likewise.
1243
1244 2010-09-10  Richard Guenther  <rguenther@suse.de>
1245
1246         * decl.c (reshape_init_vector): For VECTOR_TYPEs, use
1247         TYPE_VECTOR_SUBPARTS instead of TYPE_DEBUG_REPRESENTATION_TYPE.
1248
1249 2010-09-10  Jan Hubicka  <jh@suse.cz>
1250
1251         PR tree-optimization/45605
1252         * cp/class.c (build_vtbl_initializer): Avoid wrong type conversion in
1253         ADDR_EXPR.
1254
1255 2010-09-08  Jakub Jelinek  <jakub@redhat.com>
1256
1257         PR c++/45588
1258         * pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use
1259         before calling fold_decl_constant_value.
1260
1261 2010-09-07  Arnaud Charlet  <charlet@adacore.com>
1262
1263         * cp-tree.h (build_enumerator): Add new location_t parameter.
1264         (build_lang_decl_loc): New function.
1265         * decl.c (build_enumerator): New parameter loc. Use it when calling
1266         build_decl. Replace build_lang_decl with build_lang_decl_loc.
1267         * pt.c (tsubst_enum): Adjust call to build_enumerator.
1268         * parser.c (cp_parser_enumerator_definition): Ditto.
1269         * lex.c (build_lang_decl_loc): New function.
1270
1271 2010-09-06  Dodji Seketeli  <dodji@redhat.com>
1272
1273         PR c++/45200
1274         PR c++/45293
1275         PR c++/45558
1276         * tree.c (strip_typedefs): Strip typedefs from the context of
1277         TYPENAME_TYPEs.
1278
1279 2010-09-06  Mark Mitchell  <mark@codesourcery.com>
1280
1281         * typeck.c (cp_build_binary_op): Call do_warn_double_promotion.
1282         * call.c (build_conditional_expr): Likewise.
1283         (convert_arg_to_ellipsis): Likewise.
1284
1285 2010-09-06  Arnaud Charlet  <charlet@adacore.com>
1286
1287         * parser.c (make_pointer_declarator, make_reference_declarator,
1288         make_call_declarator, make_array_declarator): Set declarator->id_loc.
1289         (cp_parser_init_declarator): Adjust location of decl if appropriate.
1290
1291 2010-09-06  Jason Merrill  <jason@redhat.com>
1292
1293         * call.c (implicit_conversion): Fix value-init of enums.
1294         (convert_like_real): Likewise.
1295
1296         * decl.c (cp_finish_decl): Don't change init for auto deduction.
1297
1298         * pt.c (fold_non_dependent_expr_sfinae): Split out from...
1299         (fold_non_dependent_expr): ...here.
1300         (convert_nontype_argument): Use it.  Take complain parm.
1301         Use perform_implicit_conversion instead of ocp_convert.
1302         Allow cv-qual changes.
1303         (convert_template_argument): Pass complain down.
1304         (tsubst_template_arg): Suppress constant expression warnings.
1305         Don't fold here.
1306
1307         * method.c (synthesized_method_walk): In constructors, also check
1308         subobject destructors.
1309
1310         * semantics.c (finish_compound_literal): Always build a
1311         TARGET_EXPR.
1312
1313 2010-08-30  Paolo Carlini  <paolo.carlini@oracle.com>
1314
1315         PR c++/45043
1316         * decl.c (grokdeclarator): Use MAIN_NAME_P only on IDENTIFIER_NODEs.
1317
1318 2010-08-30  Jakub Jelinek  <jakub@redhat.com>
1319
1320         PR middle-end/45423
1321         * parser.c (cp_parser_omp_atomic): Handle boolean
1322         {PRE,POST}_INCREMENT.
1323
1324 2010-08-29  Jason Merrill  <jason@redhat.com>
1325
1326         PR c++/44991
1327         * parser.c (cp_parser_parameter_declaration): Pop parameter decls
1328         after tentative parsing.
1329
1330 2010-08-22  Joseph Myers  <joseph@codesourcery.com>
1331
1332         * Make-lang.in (g++spec.o): Update dependencies.
1333         * g++spec.c: Include opts.h
1334         (MATH_LIBRARY, LIBSTDCXX): Remove initial "-l".
1335         (lang_specific_driver): Use cl_decoded_option structures.
1336
1337 2010-08-20  Nathan Froyd  <froydnj@codesourcery.com>
1338
1339         * call.c: Use FOR_EACH_VEC_ELT.
1340         * class.c: Likewise.
1341         * decl.c: Likewise.
1342         * decl2.c: Likewise.
1343         * error.c: Likewise.
1344         * except.c: Likewise.
1345         * mangle.c: Likewise.
1346         * method.c: Likewise.
1347         * name-lookup.c: Likewise.
1348         * parser.c: Likewise.
1349         * pt.c: Likewise.
1350         * repo.c: Likewise.
1351         * semantics.c: Likewise.
1352         * typeck2.c: Likewise.
1353
1354 2010-08-19  Jason Merrill  <jason@redhat.com>
1355
1356         * call.c (reference_related_p): Check for error_mark_node.
1357         (add_function_candidate): Check it instead of
1358         same_type_ignoring_top_level_qualifiers_p.
1359
1360         PR c++/45315
1361         * init.c (build_new_1): Don't use build_value_init in a template.
1362         (build_value_init): Make sure we don't.
1363
1364         PR c++/45307
1365         * cp-gimplify.c (cp_gimplify_expr): Also remove assignment
1366         of empty class CONSTRUCTOR.
1367
1368         * except.c (pending_noexcept, pending_noexcept_checks): New.
1369         (perform_deferred_noexcept_checks): New.
1370         (maybe_noexcept_warning): Split from...
1371         (finish_noexcept_expr): ...here.  Adjust.
1372         * decl2.c (cp_write_global_declarations): Call
1373         perform_deferred_noexcept_checks.
1374         * cp-tree.h: And declare it.
1375
1376 2010-08-18  Nathan Froyd  <froydnj@codesourcery.com>
1377
1378         PR c++/45049
1379         * name-lookup.c (push_overloaded_decl): Change DECL_CHAIN to
1380         TREE_CHAIN.
1381
1382 2010-08-17  Kai Tietz  <kai.tietz@onevision.com>
1383
1384         * class.c (note_name_declared_in_class): Make in 'extern "C"' blocks,
1385         or if -fms-extensions is enabled check, check permissive.
1386
1387 2010-08-09  Jason Merrill  <jason@redhat.com>
1388
1389         PR c++/45236
1390         * pt.c (lookup_template_class): Don't re-coerce outer parms.
1391
1392 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
1393
1394         * call.c (add_builtin_candidates): Use VECs for local variable
1395         `types'.  Adjust remainder of function accordingly.
1396
1397 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
1398
1399         * name-lookup.c (is_associated_namespace): Convert local variables
1400         to be VECs instead of TREE_LISTs.
1401
1402 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
1403
1404         * tree.c (varargs_function_p): Use stdarg_p.
1405
1406 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
1407
1408         * parser.c (cp_default_arg_entry): Declare.  Declare a VEC of it.
1409         (cp_unparsed_functions_entry): Declare.  Declare a VEC of it.
1410         (cp_parser) [unparsed_functions_queues]: Rename to unparsed_queues.
1411         Change type to a VEC.
1412         (unparsed_funs_with_default_args): Define.
1413         (unparsed_funs_with_definitions): Define.
1414         (push_unparsed_function_queues): New function.
1415         (cp_parser_new): Call it.
1416         (pop_unparsed_function_queues): New function.
1417         (cp_parser_class_specifier): Adjust processing of unparsed functions.
1418         (cp_parser_template_declaration_after_export): Use VEC_safe_push.
1419         (cp_parser_save_member_function_body): Likewise.
1420         (cp_parser_late_parsing_for_member): Call push_unparsed_function_queues
1421         and pop_unparsed_function_queues.
1422         (cp_parser_late_parsing_default_args): Likewise.
1423         (cp_parser_save_default_args): Use VEC_safe_push.
1424
1425 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
1426
1427         * name-lookup.h (cp_label_binding): Declare.  Declare a VEC type
1428         containing it.
1429         (cp_binding_level): Convert shadowed_labels and dead_vars_from_for
1430         fields to VECs.
1431         * decl.c (poplevel): Adjust for type changes.
1432         (declare_local_label): Likewise.
1433
1434 2010-08-06  Jason Merrill  <jason@redhat.com>
1435
1436         * typeck.c (complete_type_or_maybe_complain): Split out from...
1437         (complete_type_or_else): Here.
1438         (build_class_member_access_expr): Call it.
1439         (finish_class_member_access_expr): Likewise.
1440         * call.c (build_special_member_call): Likewise.
1441         * cvt.c (build_expr_type_conversion): Likewise.
1442         * init.c (build_new): Likewise.
1443         * typeck2.c (build_functional_cast): Likewise.
1444         * cp-tree.h: Declare it.
1445
1446         * init.c (build_value_init): Add complain parm.
1447         (build_value_init_noctor): Likewise.
1448         (perform_member_init): Pass it.
1449         (expand_aggr_init_1): Likewise.
1450         (build_new_1): Likewise.
1451         (build_vec_init): Likewise.
1452         * pt.c (tsubst_expr): Likewise.
1453         * typeck2.c (build_functional_cast): Likewise.
1454         * cp-tree.h: Adjust.
1455         * tree.c (build_target_expr_with_type): Handle error_mark_node.
1456
1457         * typeck.c (decay_conversion): Any expression with type nullptr_t
1458         decays to nullptr.
1459
1460 2010-07-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
1461
1462         PR c++/45112
1463         * decl.c (duplicate_decls): Merge DECL_USER_ALIGN and DECL_PACKED.
1464
1465 2010-07-27  Jason Merrill  <jason@redhat.com>
1466
1467         * pt.c (tsubst_expr) [DECL_EXPR]: Handle getting an AGGR_INIT_EXPR
1468         from build_value_init.
1469         * init.c (build_value_init_noctor): Give error for unknown array
1470         bound.
1471
1472 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
1473
1474         * cp-objcp-common.h (LANG_HOOKS_MISSING_ARGUMENT): Remove.
1475
1476 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
1477
1478         * cp-objcp-common.c (cxx_initialize_diagnostics): First call
1479         c_common_initialize_diagnostics.
1480         * cp-objcp-common.h (LANG_HOOKS_OPTION_LANG_MASK,
1481         LANG_HOOKS_COMPLAIN_WRONG_LANG_P): Define.
1482
1483 2010-07-21  Jason Merrill  <jason@redhat.com>
1484
1485         * tree.c (cp_tree_equal): Fix CONSTRUCTOR handling.
1486
1487         * parser.c (cp_parser_init_declarator): Pass LOOKUP_NORMAL
1488         to cp_finish_decl.
1489
1490 2010-07-20  Jeffrey Yasskin  <jyasskin@google.com>
1491
1492         PR c++/44641
1493         * pt.c (instantiate_class_template): Propagate the template's
1494         location to its instance.
1495
1496 2010-07-20  Jason Merrill  <jason@redhat.com>
1497
1498         PR c++/44967
1499         * pt.c (tsubst_copy_and_build): Rework last change.
1500
1501         PR c++/44967
1502         * pt.c (tsubst_copy_and_build): Handle partial substitution of
1503         CALL_EXPR.
1504
1505 2010-07-19  Jason Merrill  <jason@redhat.com>
1506
1507         PR c++/44996
1508         * semantics.c (finish_decltype_type): Correct decltype
1509         of parenthesized rvalue reference variable.
1510
1511         PR c++/44969
1512         * tree.c (cp_tree_equal): Compare type of *CAST_EXPR.
1513         * pt.c (iterative_hash_template_arg): Hash type of *CAST_EXPR.
1514
1515 2010-07-19  Paolo Carlini  <paolo.carlini@oracle.com>
1516
1517         PR c++/44969
1518         * typeck.c (build_x_compound_expr_from_list): Add tsubst_flags_t
1519         parameter.
1520         * cp-tree.h: Adjust declaration.
1521         * init.c (perform_member_init): Adjust caller.
1522         * decl.c (grok_reference_init, cp_finish_decl): Likewise.
1523         * typeck2.c (store_init_value): Likewise.
1524         (build_functional_cast): Pass complain argument to
1525         build_x_compound_expr_from_list.
1526
1527 2010-07-16  Jason Merrill  <jason@redhat.com>
1528
1529         PR c++/32505
1530         * pt.c (process_partial_specialization): Diagnose partial
1531         specialization after instantiation.
1532         (most_specialized_class): Add complain parm.
1533
1534         * ptree.c (cxx_print_xnode): Handle TEMPLATE_INFO.
1535
1536 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
1537
1538         * init.c (build_new_1): Use cp_build_function_call_nary instead of
1539         cp_build_function_call.
1540
1541 2010-07-15  Jason Merrill  <jason@redhat.com>
1542
1543         PR c++/44909
1544         * call.c (add_function_candidate): If we're working on an implicit
1545         declaration, don't consider candidates that won't match.
1546         * typeck.c (same_type_ignoring_top_level_qualifiers_p): Now a fn.
1547         * cp-tree.h (same_type_ignoring_top_level_qualifiers_p): Adjust.
1548
1549         Revert:
1550         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
1551         (TYPE_HAS_USER_OPEQ): New.
1552         * decl.c (grok_special_member_properties): Set it.
1553         * class.c (add_implicitly_declared_members): Don't lazily declare
1554         constructors/operator= if a base or member has a user-declared one.
1555         (check_bases_and_members, check_bases): Adjust.
1556         (check_field_decls, check_field_decl): Adjust.
1557
1558 2010-07-15  Anatoly Sokolov  <aesok@post.ru>
1559
1560         * decl.c (integer_three_node): Remove.
1561         (cxx_init_decl_processing): Do not initialize the integer_three_node.
1562         * cp-tree.h (integer_three_node): Remove.
1563
1564 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
1565
1566         * cp-tree.h: Carefully replace TREE_CHAIN with DECL_CHAIN.
1567         * call.c: Likewise.
1568         * class.c: Likewise.
1569         * cp-gimplify.c: Likewise.
1570         * decl.c: Likewise.
1571         * decl2.c: Likewise.
1572         * init.c: Likewise.
1573         * mangle.c: Likewise.
1574         * name-lookup.c: Likewise.
1575         * optimize.c: Likewise.
1576         * parser.c: Likewise.
1577         * pt.c: Likewise.
1578         * rtti.c: Likewise.
1579         * search.c: Likewise.
1580         * semantics.c: Likewise.
1581         * typeck.c: Likewise.
1582         * typeck2.c: Likewise.
1583
1584 2010-07-14  Jason Merrill  <jason@redhat.com>
1585
1586         * init.c (sort_mem_initializers): Rename "field_type" to "ctx".
1587         (build_field_list): Cache field type.
1588
1589         Implement C++0x unrestricted unions (N2544)
1590         * class.c (check_field_decl): Loosen union handling in C++0x.
1591         * method.c (walk_field_subobs): Split out from...
1592         (synthesized_method_walk): ...here.  Set msg before loops.
1593         (process_subob_fn): Check for triviality in union members.
1594         * init.c (sort_mem_initializers): Splice out uninitialized
1595         anonymous unions and union members.
1596         (push_base_cleanups): Don't automatically destroy anonymous unions
1597         and union members.
1598
1599 2010-07-13  Jason Merrill  <jason@redhat.com>
1600
1601         PR c++/44909
1602         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
1603         (TYPE_HAS_USER_OPEQ): New.
1604         * decl.c (grok_special_member_properties): Set it.
1605         * class.c (add_implicitly_declared_members): Don't lazily declare
1606         constructors/operator= if a base or member has a user-declared one.
1607         (check_bases_and_members, check_bases): Adjust.
1608         (check_field_decls, check_field_decl): Adjust.
1609         * method.c (synthesized_method_walk): Initialize check_vdtor.
1610
1611         PR c++/44540
1612         * mangle.c (write_type): Canonicalize.
1613         (canonicalize_for_substitution): Retain cv-quals on FUNCTION_TYPE.
1614         (write_CV_qualifiers_for_type): Ignore them in abi>=5.
1615
1616 2010-07-13  Paolo Carlini  <paolo.carlini@oracle.com>
1617
1618         PR c++/44908
1619         * call.c (convert_like_real): Adjust convert_ptrmem call, pass
1620         complain argument.
1621         * typeck.c (get_delta_difference): Update prototype, add a
1622         tsubst_flags_t parameter; update get_delta_difference_1 calls and
1623         add checks for error_mark_node.
1624         (get_delta_difference_1): Update prototype, add a tsubst_flags_t
1625         parameter; update lookup_base call.
1626         (build_ptrmemfunc): Update prototype, add a tsubst_flags_t
1627         parameter; update get_delta_difference call and add check for
1628         error_mark_node.
1629         (convert_ptrmem): Update prototype, add a tsubst_flags_t
1630         parameter; update get_delta_difference call and add check for
1631         error_mark_node;  update build_ptrmemfunc call.
1632         (build_static_cast_1): Adjust convert_ptrmem call.
1633         (expand_ptrmemfunc_cst): Adjust get_delta_difference call.
1634         (cp_build_unary_op): Adjust build_ptrmemfunc call.
1635         * cvt.c (cp_convert_to_pointer, convert_force): Adjust convert_ptrmem
1636         and build_ptrmemfunc calls.
1637         * cp-tree.h: Update build_ptrmemfunc and convert_ptrmem prototypes.
1638
1639 2010-07-12  Paolo Carlini  <paolo.carlini@oracle.com>
1640
1641         PR c++/44907
1642         * call.c (build_temp): Add tsubst_flags_t complain parameter;
1643         adjust build_special_member_call call, pass complain.
1644         (convert_like_real): Adjust build_temp call, pass complain.
1645
1646 2010-07-09  Jason Merrill  <jason@redhat.com>
1647
1648         PR c++/43120
1649         * cp-tree.h (BV_LOST_PRIMARY): New macro.
1650         * class.c (update_vtable_entry_for_fn): Fix covariant thunk logic.
1651         Set BV_LOST_PRIMARY.
1652         (build_vtbl_initializer): Check BV_LOST_PRIMARY.
1653
1654 2010-07-08  Jason Merrill  <jason@redhat.com>
1655
1656         PR c++/43120
1657         * class.c (update_vtable_entry_for_fn): Fix handling of dummy
1658         virtual bases for covariant thunks.
1659
1660 2010-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1661
1662         * cp-tree.h: Do not include toplev.h.
1663
1664 2010-07-06  Jason Merrill  <jason@redhat.com>
1665
1666         PR c++/44703
1667         * call.c (is_std_init_list): Look through typedefs.
1668
1669         PR c++/44778
1670         * init.c (build_offset_ref): If scope isn't dependent,
1671         don't exit early.  Look at TYPE_MAIN_VARIANT.
1672         * pt.c (tsubst_copy) [OFFSET_REF]: Do substitution.
1673
1674         * error.c (dump_function_decl): Don't crash on null DECL_NAME.
1675
1676 2010-07-06  Shujing Zhao  <pearly.zhao@oracle.com>
1677
1678         * cp-tree.h (impl_conv_void): New type.
1679         (convert_to_void): Adjust prototype.
1680         * cvt.c (convert_to_void): Use impl_conv_void, emit and adjust the
1681         diagnostic for easy translation. Change caller.
1682         * typeck.c: Update call to convert_to_void.
1683         * semantics.c: Likewise.
1684         * init.c: Likewise.
1685
1686 2010-07-05  Nathan Froyd  <froydnj@codesourcery.com>
1687
1688         * decl.c (cp_finish_decl): Call add_local_decl.
1689         * optimize.c (clone_body): Adjust for new type of cfun->local_decls.
1690
1691 2010-07-05  Paolo Carlini  <paolo.carlini@oracle.com>
1692
1693         * pt.c (tsubst): Early declare code = TREE_CODE (t) and use it
1694         throughout.
1695
1696 2010-07-05  Shujing Zhao  <pearly.zhao@oracle.com>
1697
1698         PR c++/22138
1699         * parser.c (cp_parser_primary_expression): Error if local template is
1700         declared.
1701
1702 2010-07-02  Le-Chun Wu  <lcwu@google.com>
1703
1704         PR/44128
1705         * name-lookup.c (pushdecl_maybe_friend): Warn when a local decl
1706         (variable or type) shadows another type.
1707
1708 2010-07-02  Jakub Jelinek  <jakub@redhat.com>
1709
1710         PR c++/44780
1711         * typeck.c (convert_for_assignment): When converting a convertible
1712         vector type or objc++ types, call mark_rvalue_use.
1713         * typeck2.c (build_m_component_ref): Use return values from
1714         mark_rvalue_use or mark_lvalue_use.
1715         * class.c (build_base_path): Likewise.
1716         * call.c (build_conditional_expr): Likewise.
1717
1718 2010-07-02  Paolo Carlini  <paolo.carlini@oracle.com>
1719
1720         PR c++/44039
1721         * pt.c (tsubst_baselink): Return error_mark_node if lookup_fnfields
1722         returns NULL_TREE.
1723
1724 2010-07-01  Richard Guenther  <rguenther@suse.de>
1725
1726         * cp-gimplify.c (cp_gimplify_expr): Open-code the rhs
1727         predicate we are looking for, allow non-gimplified
1728         INDIRECT_REFs.
1729
1730 2010-06-30  Paolo Carlini  <paolo.carlini@oracle.com>
1731
1732         PR c++/44628
1733         * typeck.c (cp_build_unary_op): Early return error_mark_node when
1734         arg is NULL_TREE too.
1735         * call.c (convert_class_to_reference): Return error_mark_node when
1736         expr is NULL_TREE.
1737
1738 2010-06-30  Michael Matz  <matz@suse.de>
1739
1740         * repo.c (finish_repo): Fix typo.
1741
1742 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1743
1744         * parser.c (cp_parser_omp_for_loop): Use a VEC for for_block.
1745
1746 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1747
1748         * repo.c (pending_repo): Change type to a VEC.
1749         (finish_repo): Adjust for new type of pending_repo.
1750         (repo_emit_p): Likewise.
1751
1752 2010-06-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1753
1754         * tree.c: Include gimple.h. Do not include tree-flow.h
1755         * decl.c: Do not include tree-flow.h
1756         * Make-lang.in: Adjust dependencies.
1757
1758 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1759
1760         * decl.c (incomplete_var): Declare.  Declare VECs containing them.
1761         (incomplete_vars): Adjust comment.  Change type to a VEC.
1762         (maybe_register_incomplete_var): Adjust for new type.
1763         (complete_vars): Adjust iteration over incomplete_vars.
1764
1765 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1766
1767         * decl.c (struct named_label_entry): Change type of bad_decls field
1768         to a VEC.
1769         (poplevel_named_label_1): Adjust for new type of bad_decls.
1770         (check_goto): Likewise.
1771
1772 2010-06-29  Jason Merrill  <jason@redhat.com>
1773
1774         Enable implicitly declared move constructor/operator= (N3053).
1775         * class.c (add_implicitly_declared_members): A class with no
1776         explicitly declared copy or move constructor gets both declared
1777         implicitly, and similarly for operator=.
1778         (check_bases): A type with no copy ctor does not inhibit
1779         a const copy ctor in a derived class.  It does mean the derived
1780         one is non-trivial.
1781         (check_field_decl): Likewise.
1782         (check_bases_and_members): A nonexistent copy ctor/op= is non-trivial.
1783         * tree.c (type_has_nontrivial_copy_init): Adjust semantics.
1784         (trivially_copyable_p): Likewise.
1785         * call.c (convert_like_real): Use type_has_nontrivial_copy_init.
1786         * class.c (finish_struct_bits): Likewise.
1787         * tree.c (build_target_expr_with_type): Likewise.
1788         * typeck2.c (store_init_value): Likewise.
1789
1790         Enable implicitly deleted functions (N2346)
1791         * class.c (check_bases_and_members): Adjust lambda flags.
1792         * method.c (implicitly_declare_fn): Set DECL_DELETED_FN if appropriate.
1793
1794         * decl2.c (mark_used): Adjust error for use of deleted function.
1795
1796         Machinery to support implicit delete/move.
1797         * cp-tree.h: (struct lang_type_class): Add lazy_move_assign,
1798         has_complex_move_ctor, has_complex_move_assign bitfields.
1799         (CLASSTYPE_LAZY_MOVE_ASSIGN): New.
1800         (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New.
1801         (TYPE_HAS_COMPLEX_MOVE_CTOR): New.
1802         (enum special_function_kind): Add sfk_move_assignment.
1803         (LOOKUP_SPECULATIVE): New.
1804         * call.c (build_over_call): Return early if it's set.
1805         (build_over_call): Use trivial_fn_p.
1806         * class.c (check_bases): If the base has no default constructor,
1807         the derived one is non-trivial.  Handle move ctor/op=.
1808         (check_field_decl): Likewise.
1809         (check_bases_and_members): Handle move ctor/op=.
1810         (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN.
1811         (type_has_move_constructor, type_has_move_assign): New.
1812         * decl.c (grok_special_member_properties): Handle move ctor/op=.
1813         * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New.
1814         (trivial_fn_p): New.
1815         (do_build_copy_constructor): Use it.
1816         (do_build_assign_ref): Likewise.  Handle move assignment.
1817         (build_stub_type, build_stub_object, locate_fn_flags): New.
1818         (locate_ctor): Use locate_fn_flags.
1819         (locate_copy, locate_dtor): Remove.
1820         (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New.
1821         (process_subob_fn, synthesized_method_walk): New.
1822         (maybe_explain_implicit_delete): New.
1823         (implicitly_declare_fn): Use synthesized_method_walk,
1824         type_has_trivial_fn, and type_set_nontrivial_flag.
1825         (defaulted_late_check): Set DECL_DELETED_FN.
1826         (defaultable_fn_check): Handle sfk_move_assignment.
1827         (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early.  Don't declare
1828         implicitly deleted move ctor/op=.
1829         * search.c (lookup_fnfields_1): Handle sfk_move_assignment.
1830         (lookup_fnfields_slot): New.
1831         * semantics.c (omp_clause_info_fndecl): Remove.
1832         (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor,
1833         get_copy_assign, trivial_fn_p.
1834         (trait_expr_value): Adjust call to locate_ctor.
1835         * tree.c (special_function_p): Handle sfk_move_assignment.
1836
1837         * class.c (type_has_virtual_destructor): New.
1838         * cp-tree.h: Declare it.
1839         * semantics.c (trait_expr_value): Use it.
1840
1841         * call.c (build_over_call): Only give warnings with tf_warning.
1842
1843         * name-lookup.c (pop_scope): Handle NULL_TREE.
1844
1845         * cp-tree.h (TYPE_HAS_ASSIGN_REF): Rename to TYPE_HAS_COPY_ASSIGN.
1846         (TYPE_HAS_CONST_ASSIGN_REF): Rename to TYPE_HAS_CONST_COPY_ASSIGN.
1847         (TYPE_HAS_INIT_REF): Rename to TYPE_HAS_COPY_CTOR.
1848         (TYPE_HAS_CONST_INIT_REF): Rename to TYPE_HAS_CONST_COPY_CTOR.
1849         (TYPE_HAS_COMPLEX_ASSIGN_REF): Rename to TYPE_HAS_COMPLEX_COPY_ASSIGN.
1850         (TYPE_HAS_COMPLEX_INIT_REF): Rename to TYPE_HAS_COMPLEX_COPY_CTOR.
1851         (TYPE_HAS_TRIVIAL_ASSIGN_REF): Rename to TYPE_HAS_TRIVIAL_COPY_ASSIGN.
1852         (TYPE_HAS_TRIVIAL_INIT_REF): Rename to TYPE_HAS_TRIVIAL_COPY_CTOR.
1853         (CLASSTYPE_LAZY_ASSIGNMENT_OP): Rename to CLASSTYPE_LAZY_COPY_ASSIGN.
1854         (sfk_assignment_operator): Rename to sfk_copy_assignment.
1855         * decl.c, call.c, class.c, init.c, method.c, pt.c, ptree.c: Adjust.
1856         * search.c, semantics.c, tree.c: Adjust.
1857
1858         * pt.c (dependent_scope_ref_p): Remove.
1859         (value_dependent_expression_p): Don't call it.
1860         (type_dependent_expression_p): Here either.
1861         * init.c (build_offset_ref): Set TREE_TYPE on a qualified-id
1862         if the scope isn't dependent.
1863
1864         * pt.c (convert_nontype_argument): Use mark_lvalue_use if we want
1865         a reference.
1866
1867         PR c++/44587
1868         * pt.c (has_value_dependent_address): New.
1869         (value_dependent_expression_p): Check it.
1870         (convert_nontype_argument): Likewise.  Call decay_conversion before
1871         folding if we want a pointer.
1872         * semantics.c (finish_id_expression): Don't add SCOPE_REF if the
1873         scope is the current instantiation.
1874
1875 2010-06-28  Jakub Jelinek  <jakub@redhat.com>
1876
1877         PR c++/44682
1878         * class.c (build_base_path): If want_pointer, call mark_rvalue_use
1879         on expr.
1880
1881 2010-06-28  Steven Bosscher  <steven@gcc.gnu.org>
1882
1883         * init.c: Do not include except.h.
1884         * decl.c: Likewise.
1885         * expr.c: Likewise.
1886         * cp-lang.c: Likewise.
1887         * pt.c: Likewise.
1888         * semantics.c: Likewise.
1889         * decl2.c: Likewise.
1890         * except.c: Likewise.
1891         (init_exception_processing): Do not set the removed
1892         lang_protect_cleanup_actions here.
1893         (cp_protect_cleanup_actions): Make non-static and remove prototype.
1894         (doing_eh): New, moved from except.c but removed the do_warning flag.
1895         (expand_start_catch_block): Update doing_eh call.
1896         (expand_end_catch_block): Likewise.
1897         (build_throw): Likewise.
1898         * cp-tree.h: Prototype cp_protect_cleanup_actions.
1899         * cp-objcp-common.h: Set LANG_HOOKS_EH_PROTECT_CLEANUP_ACTIONS to
1900         cp_protect_cleanup_actions.
1901         * Make-lang.in: Update dependencies.
1902
1903 2010-06-26  Jason Merrill  <jason@redhat.com>
1904
1905         * call.c (add_function_candidate): Set LOOKUP_COPY_PARM for any
1906         constructor called with a single argument that takes a reference
1907         to the constructor's class.
1908         (BAD_CONVERSION_RANK): New.
1909         (compare_ics): Use it to compare bad ICSes.
1910
1911 2010-06-25  Joseph Myers  <joseph@codesourcery.com>
1912
1913         * lang-specs.h: Remove +e handling.
1914
1915 2010-06-24  Andi Kleen  <ak@linux.intel.com>
1916
1917         * parser.c: (cp_parser_question_colon_clause):
1918         Switch to use cp_lexer_peek_token.
1919         Call warn_for_omitted_condop. Call pedwarn for omitted
1920         middle operand.
1921
1922 2010-06-22  Jakub Jelinek  <jakub@redhat.com>
1923
1924         PR c++/44619
1925         * typeck2.c (build_m_component_ref): Call mark_lvalue_use on
1926         datum and mark_rvalue_use on component.
1927
1928         PR c++/44627
1929         * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if
1930         the CALL_EXPR has no arguments.
1931
1932 2010-06-21  Jason Merrill  <jason@redhat.com>
1933
1934         * typeck.c (comp_except_specs): Fix ce_derived with noexcept.
1935
1936         * semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
1937         element type.
1938
1939 2010-06-17  Nathan Froyd  <froydnj@codesourcery.com>
1940
1941         * name-lookup.c (struct arg_lookup): Convert namespaces and
1942         classes fields to VEC.
1943         (arg_assoc_namespace): Adjust for new type of namespaces.
1944         (arg_assoc_class): Adjust for new type of classes.
1945         (lookup_arg_dependent): Use make_tree_vector and
1946         release_tree_vector.
1947         * typeck2.c (build_x_arrow): Use vec_member.
1948
1949 2010-06-17  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1950
1951         PR c++/44486
1952         * error.c (dump_decl): Better wording for anonymous namespace.
1953
1954 2010-06-16  Nathan Froyd  <froydnj@codesourcery.com>
1955
1956         * class.c (build_vtbl_initializer): Adjust computation of new_position
1957         and which entry to add padding for.
1958
1959 2010-06-16  Jason Merrill  <jason@redhat.com>
1960
1961         * except.c (check_noexcept_r): Return the problematic function.
1962         (finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
1963         * pt.c (tsubst_copy_and_build): Pass it.
1964         * parser.c (cp_parser_unary_expression): Likewise.
1965         * cp-tree.h: Adjust prototype.
1966
1967         * method.c (defaulted_late_check): Give the defaulted method
1968         the same exception specification as the implicit declaration.
1969
1970 2010-06-15  Jason Merrill  <jason@redhat.com>
1971
1972         * class.c (add_implicitly_declared_members): Implicit assignment
1973         operators can also be virtual overriders.
1974         * method.c (lazily_declare_fn): Likewise.
1975
1976         * call.c (convert_like_real): Give "initializing argument of"
1977         information for ambiguous conversion.  Give source position
1978         of function.
1979
1980         * call.c (print_z_candidates): Do print viable deleted candidates.
1981         (joust): Don't choose a deleted function just because its worst
1982         conversion is better than another candidate's worst.
1983
1984         * call.c (convert_like_real): Don't complain about
1985         list-value-initialization from an explicit constructor.
1986
1987         * decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test
1988         DECL_SOURCE_LOCATION directly.
1989
1990         * class.c (type_has_user_provided_default_constructor): Use
1991         sufficient_parms_p.
1992
1993         * call.c (is_subseq): Handle ck_aggr, ck_list.
1994         (compare_ics): Treat an aggregate or ambiguous conversion to the
1995         same type as involving the same function.
1996
1997 2010-06-13  Shujing Zhao  <pearly.zhao@oracle.com>
1998
1999         * typeck.c (convert_for_assignment): Fix comment. Change message
2000         format from %d to %qP.
2001         (convert_for_initialization): Fix comment. 
2002
2003 2010-06-11  Shujing Zhao  <pearly.zhao@oracle.com>
2004
2005         * cp-tree.h (expr_list_kind): New type.
2006         (impl_conv_rhs): New type.
2007         (build_x_compound_expr_from_list, convert_for_initialization): Adjust
2008         prototype.
2009         (typeck.c (convert_arguments): Use impl_conv_rhs and emit the
2010         diagnostics for easy translation. Change caller.
2011         (convert_for_initialization): Use impl_conv_rhs and change caller.
2012         (build_x_compound_expr_from_list): Use expr_list_kind and emit the
2013         diagnostics for easy translation. Change caller.
2014         * decl.c (bad_spec_place): New enum.
2015         (bad_specifiers): Use it and emit the diagnostics for easy
2016         translation. Change caller.
2017         * pt.c (coerce_template_parms): Put the diagnostics in full sentence.
2018
2019 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
2020
2021         * cp-tree.h (struct saved_scope): Change decl_ns_list field type
2022         to a VEC.
2023         * decl2.c (cp_write_global_declarations): Adjust for new type of
2024         decl_namespace_list.
2025         * name-lookup.c (current_decl_namespace): Likewise.
2026         (push_decl_namespace): Likewise.
2027         (pop_decl_namespace): Likewise.
2028
2029 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
2030
2031         * call.c (build_java_interface_fn_ref): Call build_function_type_list
2032         instead of build_function_type.
2033         * decl.c (cxx_init_decl_processing): Likewise.
2034         (declare_global_var): Likewise.
2035         (get_atexit_node): Likewise.
2036         (expand_static_init): Likewise.
2037         * decl2.c (start_objects): Likewise.
2038         (start_static_storage_duration_function): Likewise.
2039         * except.c (init_exception_processing): Likewise.
2040         (build_exc_ptr): Likewise.
2041         (build_throw): Likewise.
2042         * rtti.c (throw_bad_cast): Likewise.
2043         (throw_bad_typeid): Likewise.
2044         (build_dynamic_cast_1): Likewise.
2045
2046 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
2047
2048         * call.c (build_call_n): Call XALLOCAVEC instead of alloca.
2049         (build_op_delete_call): Likewise.
2050         (build_over_call): Likewise.
2051         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
2052         * pt.c (process_partial_specialization): Likewise.
2053         (tsubst_template_args): Likewise.
2054         * semantics.c (finish_asm_stmt): Likewise.
2055
2056 2010-06-08  Nathan Sidwell  <nathan@codesourcery.com>
2057
2058         * decl.c (record_key_method_defined): New, broken out of ...
2059         (finish_function): ... here.  Call it.  
2060         (start_decl): Treat aliases as definitions.
2061
2062 2010-06-08  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
2063
2064         * typeck2.c (abstract_virtuals_error): Use typed GC allocation.
2065
2066         * pt.c (maybe_process_partial_specialization): Likewise.
2067         (register_specialization): Likewise.
2068         (add_pending_template): Likewise.
2069         (lookup_template_class): Likewise.
2070         (push_tinst_level): Likewise.
2071
2072         * parser.c (cp_lexer_new_main): Likewise.
2073         (cp_lexer_new_from_tokens): Likewise.
2074         (cp_token_cache_new): Likewise.
2075         (cp_parser_context_new): Likewise.
2076         (cp_parser_new): Likewise.
2077         (cp_parser_nested_name_specifier_opt): Likewise.
2078         (cp_parser_template_id): Likewise.
2079
2080         * name-lookup.c (binding_entry_make): Likewise.
2081         (binding_table_construct): Likewise.
2082         (binding_table_new): Likewise.
2083         (cxx_binding_make): Likewise.
2084         (pushdecl_maybe_friend): Likewise.
2085         (begin_scope): Likewise.
2086         (push_to_top_level): Likewise.
2087
2088         * lex.c (init_reswords): Likewise.
2089         (retrofit_lang_decl): Likewise.
2090         (cxx_dup_lang_specific_decl): Likewise.
2091         (copy_lang_type): Likewise.
2092         (cxx_make_type): Likewise.
2093
2094         * decl.c (make_label_decl): Likewise.
2095         (check_goto): Likewise.
2096         (start_preparsed_function): Likewise.
2097         (save_function_data): Likewise.
2098
2099         * cp-tree.h (TYPE_SET_PTRMEMFUNC_TYPE): Likewise.
2100
2101         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
2102
2103         * class.c (finish_struct_1): Likewise.
2104
2105         * cp-tree.h (struct lang_type): Add variable_size GTY option.
2106         (struct lang_decl): Likewise.
2107
2108         * parser.c (cp_parser_new): Update comment to not reference
2109         ggc_alloc.
2110
2111 2010-06-07  Jason Merrill  <jason@redhat.com>
2112
2113         PR c++/44366
2114         * error.c (dump_parameters): Mask out TFF_SCOPE.
2115         (dump_simple_decl): Don't print the scope of a PARM_DECL.
2116         (dump_scope): Remove no-op mask.
2117
2118         PR c++/44401
2119         * parser.c (cp_parser_lookup_name): Fix naming the constructor.
2120
2121         * cp-tree.h (COMPLETE_OR_OPEN_TYPE_P): New macro.
2122         * init.c (build_offset_ref): Use it.
2123         * pt.c (maybe_process_partial_specialization): Use it.
2124         (instantiate_class_template): Use it.
2125         * search.c (lookup_base): Use it.
2126
2127 2010-06-07  Jakub Jelinek  <jakub@redhat.com>
2128
2129         PR c++/44444
2130         * expr.c (mark_exp_read): Handle INDIRECT_REF.
2131         * cvt.c (convert_to_void): Handle INDIRECT_REF like
2132         handled_component_p.
2133
2134         PR c++/44443
2135         * decl.c (initialize_local_var): If TREE_USED is set on the type,
2136         set also DECL_READ_P on the decl.
2137
2138 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
2139
2140         PR c++/44188
2141         * cp-tree.h (typedef_variant_p): Move this declaration to
2142         gcc/tree.h.
2143         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
2144         * decl.c (grokdeclarator): Do not rename debug info of an
2145         anonymous tagged type named by a typedef.
2146
2147 2010-06-05  Fabien Chêne  <fabien@gcc.gnu.org>
2148
2149         PR c++/44086
2150         * class.c (check_field_decls): Move the call to
2151         check_bitfield_decl before trying to set the
2152         CLASSTYPE_READONLY_FIELDS_NEED_INIT flag.
2153
2154 2010-06-05  Steven Bosscher  <steven@gcc.gnu.org>
2155
2156         * typeck.c: Update include path for moved files.
2157         * decl.c: Likewise.
2158         * rtti.c: Likewise.
2159         * cp-gimplify.c: Likewise.
2160         * cp-lang.c: Likewise.
2161         * pt.c: Likewise.
2162         * semantics.c: Likewise.
2163         * cxx-pretty-print.h: Likewise.
2164         * decl2.c: Likewise.
2165         * parser.c: Likewise.
2166         * cp-objcp-common.c: Likewise.
2167         * cp-tree.h: Likewise.
2168         * name-lookup.c: Likewise.
2169         * lex.c: Likewise.
2170         * name-lookup.h: Likewise.
2171         * config-lang.in: Update paths in gtfiles for files in c-family/.
2172         * Make-lang.in: Likewise.
2173
2174 2010-06-04  Magnus Fromreide  <magfr@lysator.liu.se>
2175
2176         * cvt.c (cp_convert_to_pointer): Use null_ptr_cst_p.
2177         * typeck.c (build_ptrmemfunc): Likewise.
2178
2179 2010-06-04  Jason Merrill  <jason@redhat.com>
2180
2181         * typeck2.c (merge_exception_specifiers): Adjust merging of
2182         throw() and noexcept(true).
2183
2184         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Avoid
2185         using an uninitialized variable.
2186
2187         * cxx-pretty-print.c (pp_cxx_unary_expression): Handle NOEXCEPT_EXPR.
2188         (pp_cxx_expression): Likewise.
2189
2190         Implement noexcept-specification (15.4)
2191         * parser.c (cp_parser_exception_specification_opt): Parse it.
2192         Give -Wdeprecated warning about throw() specs.
2193         * pt.c (tsubst_exception_specification): Handle it.
2194         * error.c (dump_exception_spec): Handle it.
2195         (dump_expr): Handle NOEXCEPT_EXPR.
2196         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
2197         * typeck.c (comp_except_specs): Handle compatibility rules.
2198         Change exact parm to take an enum.
2199         * typeck2.c (merge_exception_specifiers): Handle noexcept.
2200         * except.c (nothrow_spec_p, type_noexcept_p): New fns.
2201         (type_throw_all_p, build_noexcept_spec): New fns.
2202         * cp-tree.h (TYPE_NOTHROW_P, TYPE_NOEXCEPT_P): Use them.
2203         (comp_except_specs): Define ce_derived, ce_normal, ce_exact enums.
2204         (cp_tree_index): Add CPTI_NOEXCEPT_TRUE_SPEC, CPTI_NOEXCEPT_FALSE_SPEC.
2205         (noexcept_true_spec, noexcept_false_spec): New macros.
2206         * name-lookup.c (pushdecl_maybe_friend): Adjust.
2207         * search.c (check_final_overrider): Adjust.
2208         * decl.c (check_redeclaration_exception_specification): Adjust.
2209         (use_eh_spec_block): Use type_throw_all_p.
2210         (cxx_init_decl_processing): Set noexcept_false_spec,noexcept_true_spec.
2211         Give operator new a noexcept-specification in C++0x mode.
2212         * tree.c (build_exception_variant, cxx_type_hash_eq): Adjust.
2213         (cp_build_type_attribute_variant): Don't test TYPE_RAISES_EXCEPTIONS.
2214
2215         Implement noexcept operator (5.3.7)
2216         * cp-tree.def (NOEXCEPT_EXPR): New.
2217         * except.c (check_noexcept_r, finish_noexcept_expr): New.
2218         * cp-tree.h: Declare finish_noexcept_expr.
2219         * parser.c (cp_parser_unary_expression): Parse noexcept-expression.
2220         * pt.c (tsubst_copy_and_build): And tsubst it.
2221         (type_dependent_expression_p): Handle it.
2222         (value_dependent_expression_p): Handle it.
2223
2224         * call.c (build_conditional_expr): Never fold in unevaluated context.
2225         * tree.c (build_aggr_init_expr): Propagate TREE_NOTHROW.
2226         * semantics.c (simplify_aggr_init_expr): Likewise.
2227         * typeck.c (merge_types): Call merge_exception_specifiers.
2228         * decl.c (duplicate_decls): Check DECL_SOURCE_LOCATION rather than
2229         DECL_ANTICIPATED for preferring new type.
2230
2231 2010-06-04  Joseph Myers  <joseph@codesourcery.com>
2232
2233         * g++spec.c (lang_specific_driver): Use GCC-specific formats in
2234         diagnostics.
2235
2236 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
2237
2238         PR c++/44412
2239         * typeck.c (build_class_member_access_expr): Call mark_exp_read
2240         on object for static data members.
2241
2242 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
2243             Jason Merrill  <jason@redhat.com>
2244
2245         PR c++/44362
2246         * call.c (build_conditional_expr): If both arg2 and arg3 are lvalues
2247         with the same type, call mark_lvalue_use on both.
2248
2249 2010-06-03  Nathan Froyd  <froydnj@codesourcery.com>
2250
2251         * class.c (struct vtbl_init_data_s): Remove last_init field.
2252         (struct secondary_vptr_vtt_init_data_s): Change type of inits field
2253         to a VEC.
2254         (finish_vtbls): Use a VEC rather than a TREE_LIST for the accumulated
2255         initializers.
2256         (build_vtt): Likewise.
2257         (initialize_vtable): Take a VEC instead of a tree.
2258         (build_vtt_inits): Change return type to void.  Take a VEC **
2259         instead of a tree *; accumulate results into said VEC.
2260         (build_ctor_vtbl_group): Use a VEC rather than a TREE_LIST for the
2261         accumulated initializers.  Pass the vtable to accumulate_vtbl_inits.
2262         (accumulate_vtbl_inits): Add extra vtable tree parameter; take a VEC
2263         instead of a tree.
2264         (dfs_accumulate_vtbl_inits): Likewise.  Change return type to void.
2265         (build_vtbl_initializer): Add VEC parameter; accumulate initializers
2266         into it.
2267         (dfs_build_secondary_vptr_vtt_inits): Use CONSTRUCTOR_APPEND_ELT
2268         rather than tree_cons.
2269         (build_vbase_offset_vtbl_entries): Likewise.
2270         (add_vcall_offset): Likewise.
2271         (build_rtti_vtbl_entries): Likewise.
2272         * cp-tree.h (initialize_artificial_var): Take a VEC instead of a tree.
2273         * decl.c (initialize_artificial_var): Use build_constructor instead
2274         of build_constructor_from_list.
2275
2276 2010-06-03  H.J. Lu  <hongjiu.lu@intel.com>
2277
2278         PR c++/44294
2279         * class.c (layout_class_type): Check MAX_FIXED_MODE_SIZE on
2280         bit-field.
2281
2282 2010-06-02  Jonathan Wakely  <jwakely.gcc@gmail.com>
2283
2284         * parser.c (cp_parser_mem_initializer_list): Change error text.
2285
2286 2010-06-02  Jakub Jelinek  <jakub@redhat.com>
2287
2288         * cp-objcp-common.c (shadowed_var_for_decl): Change into
2289         tree_decl_map hashtab from tree_map.
2290         (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Adjust.
2291         (init_shadowed_var_for_decl): Adjust initialization.
2292
2293         PR c++/44361
2294         * cvt.c (convert_to_void): If implicit is NULL, call mark_rvalue_use
2295         instead of calling mark_exp_read only when not an assignment.
2296
2297         PR debug/44367
2298         * semantics.c (finalize_nrv): Don't copy DECL_ARTIFICIAL, DECL_IGNORED_P,
2299         DECL_SOURCE_LOCATION and DECL_ABSTRACT_ORIGIN from var to result.
2300         Set DECL_VALUE_EXPR on var.
2301
2302 2010-06-02  Jason Merrill  <jason@redhat.com>
2303
2304         * error.c (dump_type): Improve typedef handling.
2305
2306         PR c++/9726
2307         PR c++/23594
2308         PR c++/44333
2309         * name-lookup.c (same_entity_p): New.
2310         (ambiguous_decl): Multiple declarations of the same entity
2311         are not ambiguous.
2312
2313 2010-06-01  Jason Merrill  <jason@redhat.com>
2314
2315         DR 990
2316         * call.c (add_list_candidates): Prefer the default constructor.
2317         (build_aggr_conv): Treat missing initializers like { }.
2318         * typeck2.c (process_init_constructor_record): Likewise.
2319         * init.c (expand_default_init): Use digest_init for
2320         direct aggregate initialization, too.
2321
2322         * call.c (add_list_candidates): Split out...
2323         (build_user_type_conversion_1): ...from here.
2324         (build_new_method_call): And here.
2325         (implicit_conversion): Propagate LOOKUP_NO_NARROWING.
2326
2327         PR c++/44358
2328         * call.c (build_list_conv): Set list-initialization flags properly.
2329
2330 2010-06-01  Nathan Froyd  <froydnj@codesourcery.com>
2331
2332         * typeck2.c (build_x_arrow): Make types_memoized a VEC.
2333
2334 2010-06-01  Arnaud Charlet  <charlet@adacore.com>
2335             Matthew Gingell  <gingell@adacore.com>
2336
2337         * Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o.
2338         * decl2.c: Include langhooks.h and c-ada-spec.h.
2339         (cpp_check, collect_source_refs, collect_ada_namespace,
2340         collect_all_refs): New functions.
2341         (cp_write_global_declarations): Add handling of -fdump-ada-spec.
2342         * lang-specs.h: Ditto.
2343
2344 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
2345
2346         * cp-tree.h (cp_build_function_call_nary): Declare.
2347         * typeck.c (cp_build_function_call_nary): Define.
2348         * decl.c (register_dtor_fn): Use it instead of
2349         cp_build_function_call.
2350         (cxx_maybe_build_cleanup): Likewise.
2351         * decl2.c (generate_ctor_or_dtor_function): Likewise.
2352         * except.c (do_get_exception_ptr): Likewise.
2353         (do_begin_catch): Likewise.
2354         (do_allocate_exception): Likewise.
2355         (do_free_exception): Likewise.
2356         (build_throw): Likewise.  Use cp_build_function_call_vec instead
2357         of cp_build_function_call.
2358         (do_end_catch): Likewise.
2359
2360 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
2361
2362         * cp-tree.h (struct cp_decl_specifier_seq): Move type_location field up.
2363         (struct cp_declarator): Move id_loc field up.
2364
2365 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
2366
2367         * cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove.  Require that
2368         this file is included before c-common.h.  Define GCC_DIAG_STYLE
2369         before including diagnostic-core.h and toplev.h.
2370         (pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG.
2371         * pt.c: Include cp-tree.h before c-common.h.
2372
2373 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
2374
2375         * tree.c (c_register_addr_space): Add stub.
2376
2377 2010-05-28  Joseph Myers  <joseph@codesourcery.com>
2378
2379         * g++spec.c (lang_specific_driver): Use fatal_error instead of
2380         fatal.
2381
2382 2010-05-28  Dodji Seketeli  <dodji@redhat.com>
2383
2384         Revert fix of PR c++/44188
2385         * cp-tree.h (typedef_variant_p): Revert moving this declaration to
2386         gcc/tree.h.
2387         * tree.c (typedef_variant_p): Revert moving this definition to
2388         gcc/tree.c.
2389         * decl.c (grokdeclarator): Revert naming typedef handling.
2390
2391 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
2392
2393         * call.c: Include diagnostic-core.h instead of diagnostic.h.
2394         * cp-lang.c: Don't include diagnostic.h
2395         * name-lookup.c: Include diagnostic-core.h instead of
2396         diagnostic.h.
2397         (cp_emit_debug_info_for_using): Use seen_error.
2398         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
2399         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
2400         * pt.c (iterative_hash_template_arg): Use seen_error.
2401         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
2402         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
2403         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
2404         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
2405         dependencies.
2406
2407 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
2408
2409         PR c++/44188
2410         * cp-tree.h (typedef_variant_p): Move this declaration to
2411         gcc/tree.h.
2412         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
2413         * decl.c (grokdeclarator): Do not rename debug info of an
2414         anonymous tagged type named by a typedef.
2415
2416 2010-05-27  Jason Merrill  <jason@redhat.com>
2417
2418         PR c++/43555
2419         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
2420         anonymous VLA size.
2421
2422 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
2423
2424         PR bootstrap/44287
2425         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
2426         * class.c (layout_class_type): Likewise.
2427         * decl.c (finish_enum): Likewise.
2428         * mangle.c (write_builitin_type): Likewise.
2429
2430 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
2431
2432         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
2433         explicit_int128_p.
2434         * decl.c (grokdeclarator): Handle __int128.
2435         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
2436         (cp_parser_simple_type_specifier): Likewise.
2437         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
2438         * typeck.c (cp_common_type): Handle __int128.
2439         * mangle.c (integer_type_codes): Add itk_int128 and
2440         itk_unsigned_int128.
2441
2442 2010-05-26  Jason Merrill  <jason@redhat.com>
2443
2444         PR c++/43382
2445         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
2446         unification.
2447
2448 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
2449
2450         * cp-lang.c: Do not include expr.h.
2451
2452 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
2453
2454         * decl.c: Do not include rtl.h
2455         * semantics.c: Likewise.
2456
2457 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
2458
2459         * cp-tree.h: Do not include splay-tree.h.
2460         (struct prtmem_cst): Remove unused field and false comment.
2461         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
2462         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
2463         * init.c: Do not include rtl.h and expr.h.
2464         * class.c: Do not include rtl.h.  Include splay-tree.h.
2465         (build_clone): Use plain NULL instead of NULL_RTX.
2466         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
2467         included.  Include splay-tree.h.
2468         * method.c: Do not include rtl.h and expr.h.
2469         (use_thunk): Use plain NULL instead of NULL_RTX.
2470         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
2471         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
2472         and target.h.  Include splay-tree.h.
2473         * expr.c: Do not include rtl.h and expr.h.
2474         * pt.c: Do not include obstack.h and rtl.h.
2475         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
2476         (tsubst_decl): Likewise.
2477         (instantiate_decl): Likewise.
2478         * semantics.c: Do not include exprt.h and debug.h.  Explain why
2479         rtl.h has to be included.
2480         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
2481         * call.c: Do not include rtl.h and expr.h.
2482         * search.c: Do not include obstack.h and rtl.h.
2483         * friend.c: Do not include rtl.h and expr.h.
2484         * Make-lang.in: Update dependencies.
2485
2486 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
2487
2488         PR c++/18249
2489         * parser.c (non_integral_constant): Add NIC_NONE.
2490         (required_token): Add RT_NONE.
2491         (cp_parser_unary_expression): Initialize non_constant_p
2492         to NIC_NONE.
2493         (cp_parser_asm_definition): Initialize missing to RT_NONE.
2494         (cp_parser_primary_expression, cp_parser_postfix_expression,
2495         cp_parser_cast_expression, cp_parser_binary_expression,
2496         cp_parser_functional_cast): Fix formatting.
2497
2498 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
2499         
2500         PR c++/18249
2501         * parser.c: Remove inclusion of dyn-string.h.
2502         (non_integral_constant): New enum.
2503         (name_lookup_error): New enum.
2504         (required_token): New enum.
2505         (cp_parser_required_error): New function.
2506         (cp_parser_require): Change the type of variable token_desc to
2507         required_token and use cp_parser_required_error.
2508         (cp_parser_require_keyword): Likewise.
2509         (cp_parser_error): Use gmsgid as parameter.
2510         (cp_parser_name_lookup_error): Change the type of variable desired to
2511         name_lookup_error and put the diagnostic in the full sentences. Change
2512         caller.
2513         (cp_parser_non_integral_constant_expression): Change the type of the
2514         variable thing to non_integral_constant and put the diagnostics in
2515         full sentences. Change caller.
2516
2517 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
2518
2519         PR middle-end/44100
2520         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
2521
2522 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
2523
2524         * error.c (cp_diagnostic_starter): Update call to
2525         diagnostic_build_prefix.
2526         (cp_print_error_function,
2527         print_instantiation_partial_context_line): Check show_column flag
2528         in context.
2529
2530 2010-05-24  Jason Merrill  <jason@redhat.com>
2531
2532         PR c++/41510
2533         * decl.c (check_initializer): Don't wrap an init-list in a
2534         TREE_LIST.
2535         * init.c (build_aggr_init): Don't assume copy-initialization if
2536         init has CONSTRUCTOR_IS_DIRECT_INIT.
2537         * call.c (build_new_method_call): Sanity check.
2538
2539 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
2540
2541         * rtti.c (tinfo_base_init): Use build_constructor instead of
2542         build_constructor_from_list.  Don't cons a tree node for
2543         returning.
2544         (generic_initializer): Use build_constructor_single instead of
2545         build_constructor_from_list.
2546         (ptr_initializer): Use build_constructor instead of
2547         build_constructor_from_list
2548         (ptm_initializer): Likewise.
2549         (class_initializer): Likewise.  Take varargs instead of TRAIL.
2550         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
2551         build_constructor instead of build_constructor_from_list.
2552
2553 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
2554
2555         * semantics.c: Include bitmap.h.
2556         * Make-lang.in: Update dependencies.
2557
2558 2010-05-22  Jan Hubicka  <jh@suse.cz>
2559
2560         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
2561         comdat vtables.
2562         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
2563
2564 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
2565
2566         * cxx-pretty-print.c: Correct merge error.
2567
2568 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
2569
2570         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
2571         (cp_print_error_function): Use diagnostic_abstract_origin macro.
2572         (cp_printer): Handle %K here using percent_K_format.
2573         * cxx-pretty-print.c: Include tree-pretty-print.h.
2574         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
2575         dependencies.
2576
2577 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
2578
2579         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
2580         Clean up redundant includes.
2581
2582 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
2583
2584         PR c++/30298
2585         * decl.c (xref_basetypes): Return false in case of ill-formed
2586         redefinition.
2587
2588 2010-05-19  Jason Merrill  <jason@redhat.com>
2589
2590         * call.c (reference_binding): Use cp_build_qualified_type_real
2591         and cp_type_quals consistently.
2592         (add_function_candidate): Likewise.
2593         (build_conditional_expr): Likewise.
2594         (convert_like_real): Likewise.
2595         (type_passed_as): Likewise.
2596         * class.c (add_method): Likewise.
2597         (same_signature_p): Likewise.
2598         (layout_class_type): Likewise.
2599         * decl.c (cxx_init_decl_processing): Likewise.
2600         (cp_fname_init): Likewise.
2601         (grokdeclarator): Likewise.
2602         * decl2.c (cp_reconstruct_complex_type): Likewise.
2603         * init.c (build_new_1): Likewise.
2604         * method.c (do_build_copy_constructor): Likewise.
2605         (implicitly_declare_fn): Likewise.
2606         * pt.c (tsubst_aggr_type): Likewise.
2607         (tsubst): Likewise.
2608         * rtti.c (init_rtti_processing): Likewise.
2609         (build_headof): Likewise.
2610         (build_dynamic_cast_1): Likewise.
2611         (tinfo_base_init): Likewise.
2612         (emit_support_tinfos): Likewise.
2613         * semantics.c (capture_decltype): Likewise.
2614         * tree.c (cv_unqualified): Likewise.
2615         * typeck.c (composite_pointer_type): Likewise.
2616         (string_conv_p): Likewise.
2617
2618         * mangle.c (write_CV_qualifiers_for_type): Tweak.
2619
2620         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
2621         * decl.c (start_decl): Likewise.
2622         * semantics.c (finish_compound_literal): Likewise.
2623         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
2624         (cp_type_readonly): Remove.
2625         * cp-tree.h: Remove declaration.
2626
2627         * typeck.c (merge_types): Preserve memfn quals.
2628
2629         * decl.c (grokdeclarator): Don't check quals on fn type.
2630         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
2631         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
2632
2633         PR c++/44193
2634         * typeck.c (type_memfn_quals): New fn.
2635         (apply_memfn_quals): New fn.
2636         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
2637         (cp_type_readonly): Use cp_type_quals.
2638         * cp-tree.h: Add declarations.
2639         * tree.c (cp_build_qualified_type_real): Don't set, but do
2640         preserve, quals on FUNCTION_TYPE.
2641         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
2642         * decl.c (build_ptrmem_type): Likewise.
2643         (grokdeclarator): Likewise.
2644         (static_fn_type): Likewise.
2645         * decl2.c (change_return_type): Likewise.
2646         (cp_reconstruct_complex_type): Likewise.
2647         * pt.c (tsubst_function_type): Likewise.
2648         (unify): Likewise.
2649         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
2650
2651 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
2652
2653         * tree.c (build_min_non_dep_call_vec): Update comment.
2654
2655 2010-05-17  Jason Merrill  <jason@redhat.com>
2656
2657         * call.c (struct z_candidate): Add explicit_targs field.
2658         (add_template_candidate_real): Set it.
2659         (build_over_call): Use it to control init-list warning.
2660
2661         PR c++/44157
2662         * call.c (build_over_call): Limit init-list deduction warning to
2663         cases where the argument is actually an init-list.
2664
2665         PR c++/44158
2666         * call.c (build_over_call): Don't do bitwise copy for move ctor.
2667
2668 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
2669             Jason Merrill  <jason@redhat.com>
2670
2671         PR c++/44108
2672         * decl.c (compute_array_index_type): Call mark_rvalue_use.
2673
2674 2010-05-15  Jason Merrill  <jason@redhat.com>
2675
2676         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
2677         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
2678         TYPE_NOEXCEPT_P.
2679         (finish_eh_spec_block): Adjust.
2680
2681 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
2682
2683         PR c++/44148
2684         * pt.c (tsubst): Unshare template argument.
2685
2686 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
2687
2688         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
2689         * Make-lang.in: Fix dependencies accordingly.
2690
2691 2010-05-14  Jason Merrill  <jason@redhat.com>
2692
2693         C++ DR 475
2694         * except.c (build_throw): Simplify, adjust for DR 475.
2695
2696         PR c++/44127
2697         * except.c (dtor_nothrow): Return nonzero for type with
2698         trivial destructor.
2699
2700         PR c++/44127
2701         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
2702         gimple_build_eh_must_not_throw.
2703
2704 2010-05-14  Martin Jambor  <mjambor@suse.cz>
2705
2706         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
2707         and define.
2708
2709 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
2710
2711         * call.c (build_new_method_call): Change warning text.
2712         * typeck2.c (build_functional_cast): Change error text.
2713
2714 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
2715
2716         PR c++/30566
2717         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
2718         shadowing the outer parameter or variables by the declaration of
2719         nested function in nested structure or class. Warn the shadowing by
2720         the declaration of nested lambda expression.
2721
2722 2010-05-13  Jason Merrill  <jason@redhat.com>
2723
2724         * typeck.c (cp_build_array_ref): Factor out from...
2725         (build_array_ref): ...here.  Drop complain parm.
2726         (build_new_op): Adjust.
2727         * class.c (build_vtbl_ref_1): Adjust.
2728         * decl2.c (grok_array_decl): Adjust.
2729         * cp-tree.h: Adjust prototypes.
2730
2731 2010-05-13  Jan Hubicka  <jh@suse.cz>
2732
2733         * decl.c (cp_finish_decl): Do not worry about used attribute.
2734
2735 2010-05-12  Jason Merrill  <jason@redhat.com>
2736
2737         * typeck.c (build_array_ref): Take complain parm.
2738         * cp-tree.h: Add it to prototype.
2739         * call.c (build_new_op): Pass it.
2740         * class.c (build_vtbl_ref): Pass it.
2741         * decl2.c (grok_array_decl): Pass it.
2742
2743         PR bootstrap/44048
2744         PR target/44099
2745         * cp-tree.def (NULLPTR_TYPE): Remove.
2746         * cp-tree.h (NULLPTR_TYPE_P): New.
2747         (SCALAR_TYPE_P): Use it.
2748         (nullptr_type_node): New.
2749         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
2750         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
2751         nullptr_type_node.
2752         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
2753         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2754         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
2755         * mangle.c (write_type): Likewise.
2756         * name-lookup.c (arg_assoc_type): Likewise.
2757         * typeck.c (build_reinterpret_cast_1): Likewise.
2758         * rtti.c (typeinfo_in_lib_p): Likewise.
2759         (emit_support_tinfos): Remove local nullptr_type_node.
2760
2761         * cp-tree.h (UNKNOWN_TYPE): Remove.
2762         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
2763         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
2764         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
2765         * class.c (instantiate_type): Check unknown_type_node rather than
2766         UNKNOWN_TYPE.
2767         * name-lookup.c (maybe_push_decl): Likewise.
2768         * rtti.c (get_tinfo_decl_dynamic): Likewise.
2769         (get_typeid): Likewise.
2770         * semantics.c (finish_offsetof): Likewise.
2771
2772         PR c++/20669
2773         * call.c (add_template_candidate_real): If deduction fails, still
2774         add the template as a non-viable candidate.
2775         (equal_functions): Handle template candidates.
2776         (print_z_candidate): Likewise.
2777         (print_z_candidates): Likewise.
2778         (build_new_function_call): Likewise.
2779
2780         * cp-tree.h (LOOKUP_LIST_ONLY): New.
2781         * call.c (add_candidates): Enforce it.
2782         (build_new_method_call): Try non-list ctor if no viable list ctor.
2783         (build_user_type_conversion_1): Likewise.
2784
2785         * call.c (add_candidates): Distinguish between type(x) and
2786         x.operator type().
2787         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
2788         (build_new_method_call): Give better error for conversion op.
2789
2790         * call.c (add_candidates): Add first_arg and return_type parms.
2791         Add special constructor/conversion op handling.
2792         (convert_class_to_reference): Use it.
2793         (build_user_type_conversion_1): Likewise.
2794         (build_op_call): Likewise.
2795         (build_new_method_call): Likewise.
2796         (build_new_op): Adjust.
2797         (perform_overload_resolution): Adjust.
2798
2799 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
2800
2801         PR c++/34272
2802         PR c++/43630
2803         PR c++/34491
2804         * pt.c (process_partial_specialization): Return error_mark_node
2805         in case of unused template parameters in partial specialization.
2806
2807 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
2808
2809         PR c++/44062
2810         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
2811         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
2812         look at its second operand.
2813
2814 2010-05-10  Jason Merrill  <jason@redhat.com>
2815
2816         PR c++/44017
2817         * semantics.c (baselink_for_fns): Revert earlier change.
2818
2819         PR c++/44045
2820         * typeck.c (cp_build_modify_expr): Complain about assignment to
2821         array from init list.
2822
2823 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
2824
2825         PR c++/43719
2826         * decl.c (check_initializer): strip array type before checking for
2827         uninitialized const or ref members.
2828
2829 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
2830
2831         PR c++/43951
2832         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
2833         error count. Emit errors only if compain is true.
2834         (build_new_1): Do not return error_mark_node if
2835         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
2836         errors. Delay the check for user-provided constructor.
2837         (perform_member_init): Adjust.
2838         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
2839         prototype.
2840
2841 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
2842             Jason Merrill  <jason@redhat.com>
2843
2844         Add support for C++0x nullptr.
2845         * cp-tree.def: Add NULLPTR_TYPE.
2846         * cp-tree.h: Add nullptr_node.
2847         (cp_tree_index): Add CPTI_NULLPTR.
2848         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
2849         * call.c (null_ptr_cst_p): Handle nullptr.
2850         (standard_conversion): Likewise.
2851         (convert_arg_to_ellipsis): Likewise.
2852         * mangle.c (write_type): Likewise.
2853         * name-lookup.c (arg_assoc_type): Likewise.
2854         * parser.c (cp_parser_primary_expression): Likewise.
2855         * typeck.c (cp_build_binary_op): Likewise.
2856         (build_reinterpret_cast_1): Likewise.
2857         * error.c (dump_type): Likewise.
2858         (dump_type_prefix, dump_type_suffix): Likewise.
2859         * decl.c (cxx_init_decl_processing): Likewise.
2860         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2861         * cvt.c (ocp_convert): Likewise.
2862         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
2863         nullptr_t tinfo in libsupc++.
2864
2865 2010-05-06  Jason Merrill  <jason@redhat.com>
2866
2867         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
2868
2869 2010-04-22  Jakub Jelinek <jakub@redhat.com>
2870             Dodji Seketeli <dodji@redhat.com>
2871
2872         PR c/18624
2873         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
2874         Declare ...
2875         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
2876         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
2877         (decay_conversion, perform_integral_promotions): Call rvalue_use.
2878         (cp_build_unary_op): Call lvalue_use.
2879         * decl.c (unused_but_set_errorcount): New variable.
2880         (poplevel): Issue -Wunused-but-set-variable diagnostics.
2881         (duplicate_decls): Merge DECL_READ_P flags.
2882         (start_cleanup_fn): Set DECL_READ_P flag.
2883         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
2884         * tree.c (rvalue): Call rvalue_use.
2885         * pt.c (convert_nontype_argument): Likewise.
2886         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
2887         finish_decltype_type): Likewise.
2888         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
2889         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
2890         or rvalue_use depending on the expr.
2891         * init.c (build_new, build_delete): Likewise.
2892         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
2893
2894 2010-05-05  Jason Merrill  <jason@redhat.com>
2895
2896         PR c++/43787
2897         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
2898         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
2899
2900 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2901
2902         PR c++/43028
2903         * pt.c (unify): Check each elt for error_mark_node.
2904
2905 2010-05-04  Jason Merrill  <jason@redhat.com>
2906
2907         PR c++/38064
2908         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
2909
2910 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2911
2912         PR c++/43705
2913         * call.c (build_new_method_call): Return error_mark_node if fns is
2914         NULL_TREE.
2915
2916 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
2917
2918         PR c++/43953
2919         * pt.c (most_specialized_class): Pretend we are processing
2920         a template decl during the call to coerce_template_parms.
2921
2922 2010-05-03  Jason Merrill  <jason@redhat.com>
2923
2924         PR c++/42810
2925         PR c++/43680
2926         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
2927         from the selected underlying type unless -fstrict-enums.  Set
2928         ENUM_UNDERLYING_TYPE to have the restricted range.
2929         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
2930         * class.c (check_bitfield_decl): Likewise.
2931
2932 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2933
2934         PR c++/43951
2935         * init.c (build_new_1): Revert the accidental checkin in
2936         revision 158918.
2937
2938 2010-04-30  Jason Merrill  <jason@redhat.com>
2939
2940         PR c++/43868
2941         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
2942         (pp_cxx_type_specifier_seq): ...here.
2943
2944 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
2945
2946         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
2947         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
2948
2949 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
2950
2951         PR c++/43779
2952         * typeck.c (warn_args_num): New function.
2953         (convert_arguments): Use warn_args_num to print the diagnostic
2954         messages. 
2955
2956 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
2957
2958         PR c++/43890
2959         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
2960         user-provided constructor while recursing.
2961
2962 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2963
2964         PR c++/9335
2965         * error.c (print_instantiation_partial_context_line): Handle
2966         recursive instantiation.
2967         (print_instantiation_partial_context): Likewise.
2968
2969 2010-04-27  Jason Merrill  <jason@redhat.com>
2970
2971         * init.c (perform_member_init): Check CLASS_TYPE_P.
2972
2973 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
2974
2975         PR c++/29043
2976         * init.c (perform_member_init): check for uninitialized const or
2977         reference members, including array types.
2978
2979 2010-04-24  Jason Merrill  <jason@redhat.com>
2980
2981         * tree.c (get_fns): Split out from get_first_fn.
2982         * cp-tree.h: Declare it.
2983         * search.c (shared_member_p): Use it.
2984         * semantics.c (finish_qualified_id_expr): Simplify.
2985         (finish_id_expression): Simplify.
2986
2987         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
2988         whenever object is NULL_TREE.  Don't do 'this' capture here.
2989         (finish_qualified_id_expr): Pass NULL_TREE.
2990         (finish_id_expression): Likewise.
2991         (lambda_expr_this_capture): Likewise.
2992
2993         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
2994         rather than checking current_class_ref directly.
2995         (finish_call_expr): Likewise.
2996
2997         PR c++/43856
2998         * name-lookup.c (qualify_lookup): Disqualify lambda op().
2999         * class.c (current_nonlambda_class_type): New fn.
3000         * semantics.c (nonlambda_method_basetype): New.
3001         * cp-tree.h: Declare them.
3002         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
3003
3004         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
3005
3006         PR c++/43875
3007         * semantics.c (lambda_return_type): Complain about
3008         braced-init-list.
3009
3010         PR c++/43790
3011         * tree.c (cv_unqualified): Handle error_mark_node.
3012
3013         PR c++/41468
3014         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
3015         if we don't want errors.
3016
3017         PR c++/41468
3018         * class.c (convert_to_base): Add complain parameter.  Pass
3019         ba_quiet to lookup_base if we don't want errors.
3020         (build_vfield_ref): Pass complain to convert_to_base.
3021         * call.c (convert_like_real): Likewise.
3022         (initialize_reference): Likewise.
3023         (perform_direct_initialization_if_possible): Pass complain to
3024         convert_like_real.
3025         * cp-tree.h: Adjust.
3026
3027 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
3028             Jason Merrill  <jason@redhat.com>
3029
3030         PR c++/42844
3031         * decl.c (check_for_uninitialized_const_var): Handle classes that need
3032         constructing, too.
3033         (check_initializer): Call it for classes that need constructing, too.
3034         * class.c (in_class_defaulted_default_constructor): New.
3035         * cp-tree.h: Declare it.
3036
3037 2010-04-20  Jason Merrill  <jason@redhat.com>
3038
3039         PR c++/9335
3040         * init.c (constant_value_1): Treat error_mark_node as a constant
3041         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
3042         * cvt.c (ocp_convert): Handle getting error_mark_node from
3043         integral_constant_value.
3044         * decl.c (compute_array_index_type): Likewise.
3045
3046 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
3047
3048         PR c++/43800
3049         PR c++/43704
3050         * typeck.c (incompatible_dependent_types_p): If one of the
3051         compared types if not a typedef then honour their main variant
3052         equivalence.
3053
3054 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
3055
3056         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
3057
3058 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
3059
3060         PR c++/43704
3061         * typeck.c (structural_comptypes): Test dependent typedefs
3062         incompatibility before testing for their main variant based
3063         equivalence.
3064
3065 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
3066
3067         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
3068         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
3069
3070 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
3071
3072         * decl.c (cxx_init_decl_processing): Remove second argument in call to
3073         build_common_tree_nodes.
3074
3075 2010-04-14  Jason Merrill  <jason@redhat.com>
3076
3077         PR c++/36625
3078         * parser.c (cp_parser_parenthesized_expression_list): Change
3079         is_attribute_list parm to int to indicate whether or not to
3080         handle initial identifier specially.
3081         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
3082
3083 2010-04-13  Jason Merrill  <jason@redhat.com>
3084
3085         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
3086         CLASS_TYPE_P.
3087         * parser.c (cp_parser_lambda_expression): Complain about lambda in
3088         unevaluated context.
3089         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
3090
3091 2010-04-12  Jason Merrill  <jason@redhat.com>
3092
3093         PR c++/43641
3094         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
3095         return value directly.
3096
3097         * call.c (type_decays_to): Call cv_unqualified for non-class type.
3098
3099 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
3100
3101         PR c++/25811
3102         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
3103         * init.c (build_new_1): Check for uninitialized const members and
3104         uninitialized reference members, when using new without
3105         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
3106         (diagnose_uninitialized_cst_or_ref_member): Define, call
3107         diagnose_uninitialized_cst_or_ref_member_1.
3108         (diagnose_uninitialized_cst_or_ref_member_1): New function.
3109
3110 2010-04-12  Richard Guenther  <rguenther@suse.de>
3111
3112         PR c++/43611
3113         * semantics.c (expand_or_defer_fn_1): Do not keep extern
3114         template inline functions.
3115
3116 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3117
3118         PR c++/28584
3119         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
3120         pointer type.
3121
3122 2010-04-07  Jason Merrill  <jason@redhat.com>
3123
3124         PR c++/43016
3125         * decl.c (start_preparsed_function): Do defer nested functions.
3126
3127         PR c++/11094, DR 408
3128         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
3129         * decl2.c (finish_static_data_member_decl): Set it.
3130         * decl.c (duplicate_decls): Propagate it.
3131         * pt.c (tsubst_decl): Don't substitute the domain of an array
3132         VAR_DECL if it's set.
3133         (regenerate_decl_from_template): Substitute it here.
3134         (type_dependent_expression_p): Return true if it's set.
3135         * semantics.c (finish_decltype_type): Instantiate such a variable.
3136         * typeck.c (cxx_sizeof_expr): Likewise.
3137         (strip_array_domain): New.
3138
3139         PR c++/43145
3140         * name-lookup.c (current_decl_namespace): Non-static.
3141         (pop_nested_namespace): Sanity check.
3142         * cp-tree.h: Declare current_decl_namespace.
3143         * decl.c (grokvardecl): Use it instead of current_namespace.
3144         (grokfndecl): Likewise.
3145
3146         PR c++/38392
3147         * pt.c (tsubst_friend_function): Instatiate a friend that has already
3148         been used.
3149
3150         * pt.c (print_template_statistics): New.
3151         * cp-tree.h: Declare it.
3152         * tree.c (cxx_print_statistics): Call it.
3153
3154         PR c++/41970
3155         * decl.c (grokvardecl): Tweak warning message.
3156         (grokfndecl): Likewise.
3157
3158 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
3159
3160         PR c++/42697
3161         *pt.c (tsubst_decl): Get the arguments of a specialization from
3162         the specialization template, not from the most general template.
3163
3164 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
3165
3166         PR c++/40239
3167         * typeck2.c (process_init_constructor_record):
3168         value-initialize members that are are not explicitely
3169         initialized.
3170
3171 2010-04-07  Jie Zhang  <jie@codesourcery.com>
3172
3173         PR c++/42556
3174         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
3175         when all of its elements are non-constant and have been split out.
3176
3177 2010-04-06  Taras Glek  <taras@mozilla.com>
3178             Jason Merrill  <jason@redhat.com>
3179
3180         * parser.c (cp_parser_class_specifier): Set class location to that
3181         of IDENTIFIER_NODE instead of '{' when possible.
3182         * semantics.c (begin_class_definition): Do not overide locations
3183         with less precise ones.
3184
3185 2010-04-06  Jason Merrill  <jason@redhat.com>
3186
3187         PR c++/43648
3188         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
3189
3190         PR c++/43621
3191         * pt.c (maybe_update_decl_type): Check the return value from
3192         push_scope.
3193
3194 2010-04-01  Jason Merrill  <jason@redhat.com>
3195
3196         * decl.c (next_initializable_field): No longer static.
3197         * cp-tree.h: Declare it.
3198         * call.c (build_aggr_conv): Fail if there are more initializers
3199         than initializable fields.
3200
3201         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
3202         instead of void_zero_node.
3203
3204 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
3205
3206         PR c++/43558
3207         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
3208         * pt.c (end_template_parm_list): Store sibling template parms of
3209         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
3210         (push_template_decl_real): Don't store the containing template decl
3211         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
3212         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
3213         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
3214         Simplify the logic.
3215
3216 2010-03-30  Jason Merrill  <jason@redhat.com>
3217
3218         PR c++/43076
3219         * pt.c (push_template_decl_real): Deal better with running out of
3220         scopes before running out of template parms.
3221
3222         PR c++/41185
3223         PR c++/41786
3224         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
3225         function parameter context.  Don't print an error if parsing
3226         tentatively.
3227
3228         PR c++/43559
3229         * pt.c (more_specialized_fn): Don't control cv-qualifier check
3230         with same_type_p.
3231
3232 2010-03-26  Jason Merrill  <jason@redhat.com>
3233
3234         PR c++/43509
3235         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
3236         c++0x mode, but not other type-names.
3237
3238 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
3239
3240         PR c++/43327
3241         * pt.c (add_to_template_args): Support NULL ARGS;
3242         (most_specialized_class): call coerce_template_parms on
3243         template arguments passed to get_class_bindings. Use
3244         add_to_template_args.
3245         (unify): Handle VAR_DECLs.
3246
3247 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
3248
3249         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
3250         into int.
3251         * pt.c (get_template_parms_at_level): Adjust.
3252
3253 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
3254
3255         PR c++/43206
3256         * cp-tree.h (get_template_parms_at_level): Declare ...
3257         * pt.c (get_template_parms_at_level): ... new function.
3258         * typeck.c (get_template_parms_of_dependent_type): If a template
3259         type parm's DECL_CONTEXT isn't yet set, get its siblings from
3260         current_template_parms. Use get_template_parms_at_level. Remove
3261         useless test.
3262         (incompatible_dependent_types_p): If we get empty parms from just one
3263         of the template type parms we are comparing then the template parms are
3264         incompatible.
3265
3266 2010-03-24  Jason Merrill  <jason@redhat.com>
3267
3268         PR c++/43502
3269         * parser.c (make_declarator): Initialize id_loc.
3270         (cp_parser_lambda_declarator_opt): And set it.
3271
3272 2010-03-23  Jason Merrill  <jason@redhat.com>
3273
3274         Make lambda conversion op and op() non-static.
3275         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
3276         Also add the thunk function returned by the conversion op.
3277         Mark the conversion deleted if the op() is variadic.
3278         * decl2.c (mark_used): Give helpful message about deleted conversion.
3279         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
3280         * semantics.c (finish_this_expr): Adjust.
3281         * mangle.c (write_closure_type_name): Adjust.
3282         * decl.c (grok_op_properties): Don't allow it.
3283         * call.c (build_user_type_conversion_1): No static conversion ops.
3284         (build_op_call): Or op().
3285
3286         * decl2.c (change_return_type): Fix 'this' quals.
3287
3288 2010-03-22  Jason Merrill  <jason@redhat.com>
3289
3290         PR c++/43333
3291         * tree.c (pod_type_p): Use old meaning in C++98 mode.
3292
3293         PR c++/43281
3294         * pt.c (contains_auto_r): New fn.
3295         (do_auto_deduction): Use it.
3296         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
3297
3298 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
3299
3300         PR c++/43081:
3301         * decl2.c (grokfield): Handle invalid initializers for member
3302         functions.
3303
3304 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
3305
3306         PR c++/43375
3307         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
3308         is NULL.
3309         * decl2.c (vague_linkage_p): Likewise.
3310
3311 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
3312
3313         PR c++/43418
3314         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
3315         false, in the cp_parser_expression_statement call.
3316
3317 2010-03-05  Jason Merrill  <jason@redhat.com>
3318
3319         * mangle.c (mangle_decl): Give name collision error even without
3320         ASM_OUTPUT_DEF.
3321
3322 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
3323
3324         * pt.c (process_partial_specialization): Use error_n instead of
3325         error.
3326
3327 2010-03-03  Jason Merrill  <jason@redhat.com>
3328
3329         PR c++/12909
3330         * mangle.c (mangle_decl): Handle VAR_DECL, too.
3331
3332 2010-03-03  Jason Merrill  <jason@redhat.com>
3333
3334         PR c++/12909
3335         * mangle.c: Include cgraph.h.
3336         (mangle_decl): If the mangled name will change in a later
3337         ABI version, make the later mangled name an alias.
3338         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
3339         * Make-lang.in (mangle.o): Depend on cgraph.h.
3340         * method.c (make_alias_for): Handle VAR_DECL, too.
3341         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
3342         * tree.c (no_linkage_check): Adjust.
3343         * decl.c (maybe_commonize_var): Adjust.
3344         * cp-tree.h: Adjust.
3345
3346 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
3347
3348         * pt.c (redeclare_class_template): Use error_n and inform_n.
3349
3350 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
3351
3352         PR c++/42748
3353         * cp-tree.h (push_tinst_level): Declare.
3354         (pop_tinst_level): Likewise.
3355         * pt.c (push_tinst_level): Give it external linkage.
3356         (pop_tinst_level): Likewise.
3357         * mangle.c (mangle_decl_string): Set the source location to that
3358         of the decl while mangling.
3359
3360 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
3361
3362         PR c++/42054
3363         * pt.c (redeclare_class_template): Return false if there are erroneous
3364         template parameters.
3365
3366 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3367
3368         * pt.c (push_tinst_level): Replace -ftemplate-depth- with 
3369         -ftemplate-depth=.
3370
3371 2010-02-24  Jason Merrill  <jason@redhat.com>
3372
3373         PR c++/12909
3374         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
3375
3376         * class.c (layout_class_type): Don't give -Wabi warning for a bug
3377         in a previous ABI version.
3378
3379 2010-02-23  Jason Merrill  <jason@redhat.com>
3380
3381         PR c++/43143
3382         * typeck2.c (digest_init_r): Accept value init of array.
3383
3384 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3385
3386         PR c++/43126
3387         * typeck.c (convert_arguments): Update error message.
3388
3389 2010-02-22  Mike Stump  <mikestump@comcast.net>
3390
3391         PR c++/43125
3392         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
3393
3394 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3395
3396         PR c++/23510
3397         * error.c (print_instantiation_partial_context_line): New.
3398         (print_instantiation_partial_context): Print at most 12 contexts,
3399         skip the rest with a message.
3400
3401 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
3402
3403         PR c++/42824
3404         * pt.c (lookup_template_class): Better support of specialization
3405         of member of class template implicit instantiation.
3406
3407 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
3408
3409         PR c++/35669
3410         * call.c (conversion_null_warnings): Replace -Wconversion with
3411         -Wconversion-null.
3412         * cvt.c (build_expr_type_conversion): Likewise.
3413
3414 2010-02-18  Jason Merrill  <jason@redhat.com>
3415
3416         PR c++/42837
3417         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
3418
3419         PR c++/43108
3420         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
3421         C build_binary_op.
3422         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
3423         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
3424
3425         PR c++/43070
3426         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
3427
3428         PR c++/26261
3429         PR c++/43101
3430         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
3431         (maybe_update_decl_type): New fn.
3432         * parser.c (cp_parser_init_declarator): Use it.
3433
3434         PR c++/43109
3435         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
3436
3437 2010-02-17  Jason Merrill  <jason@redhat.com>
3438
3439         PR c++/43075
3440         * call.c (build_over_call): Don't create zero-sized assignments.
3441         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
3442         * cp-objcp-common.c (cp_expr_size): Remove.
3443         * cp-tree.h: Remove prototype.
3444
3445         PR c++/43069
3446         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
3447         decl we looked up doesn't match.
3448
3449         PR c++/43093
3450         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
3451         have an INIT_EXPR anymore.
3452
3453         PR c++/43079
3454         * pt.c (convert_nontype_argument): Change assert to test.
3455
3456 2010-02-16  Jason Merrill  <jason@redhat.com>
3457