OSDN Git Service

PR c++/49181
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2011-05-27  Jason Merrill  <jason@redhat.com>
2
3         PR c++/49181
4         * pt.c (get_mostly_instantiated_function_type): Use push_access_scope.
5
6 2011-05-27  Nathan Froyd  <froydnj@codesourcery.com>
7
8         * cp-tree.h (building_stmt_tree): Delete.
9         * decl.c (save_function_data): Tweak initializer for x_cur_stmt_list.
10         (build_aggr_init_full_exprs): Call building_stmt_list_p
11         instead of building_stmt_tree.
12         (initialize_local_var): Likewise.
13         (finish_function): Likewise.
14         * decl2.c (finish_anon_union): Likewise.
15         * init.c (begin_init_stmts): Likewise.
16         (finish_init_stmts): Likewise.
17         (expand_aggr_init_1): Likewise.
18         * name-lookup.c (do_local_using_decl): Likewise.
19         (do_namespace_alias): Likewise.
20         (do_using_directive): Likewise.
21         (cp_emit_debug_info_for_using): Likewise.
22         * semantics.c (add_stmt): Assert that stmt_list_stack is non-empty.
23
24 2011-05-27  Paolo Carlini  <paolo.carlini@oracle.com>
25
26         PR c++/42056
27         * typeck2.c (build_functional_cast): Complain early for invalid uses
28         of 'auto' and set type to error_mark_node.
29
30 2011-05-26  Jason Merrill  <jason@redhat.com>
31
32         PR c++/47721
33         * parser.c (cp_parser_member_declaration): Allow friend T.
34         * friend.c (make_friend_class): Ignore non-classes.
35         * pt.c (instantiate_class_template_1): Handle TEMPLATE_TYPE_PARM.
36
37         DR 1004
38         * pt.c (convert_template_argument): Don't complain about using
39         injected-class-name as template template argument.
40
41         PR c++/47956
42         * decl.c (check_static_variable_definition): Now static.
43         (cp_finish_decl): Call it here.
44         (grokdeclarator): Not here.
45         * pt.c (instantiate_class_template_1): Or here.
46         * cp-tree.h: Don't declare it.
47
48 2011-05-26  Janis Johnson  <janis187@us.ibm.com>
49             Nathan Froyd  <froydnj@codesourcery.com>
50
51         PR c++/2288
52         PR c++/18770
53         * name-lookup.h (enum scope_kind): Add sk_cond.
54         * name-lookup.c (pushdecl_maybe_friend): Get scope of shadowed local.
55         Detect and report error for redeclaration from for-init or if
56         or switch condition.
57         (begin_scope): Handle sk_cond.
58         * semantics.c (begin_if_stmt): Use sk_cond.
59         (begin switch_stmt): Ditto.
60
61 2011-05-26  Jason Merrill  <jason@redhat.com>
62
63         PR c++/48211
64         * name-lookup.h (cp_class_binding): Make base a pointer.
65         * name-lookup.c (new_class_binding): Adjust.
66         (poplevel_class): Adjust.
67
68         PR c++/48424
69         * decl.c (grokparms): Function parameter packs don't need to
70         go at the end.
71         * pt.c (type_unification_real): But they aren't deduced otherwise.
72
73 2011-05-25  Jason Merrill  <jason@redhat.com>
74
75         PR c++/48536
76         * decl.c (build_enumerator): If incremented enumerator won't fit in
77         previous integral type, find one it will fit in.
78
79         PR c++/48599
80         * decl.c (create_array_type_for_decl): Complain about array of auto.
81
82         PR c++/44994
83         PR c++/49156
84         * error.c (dump_template_bindings): Set processing_template_decl
85         for a partial instantiation.
86
87         PR c++/45401
88         * decl.c (grokdeclarator): Don't change type when adding rvalue ref
89         to another reference type.
90
91         PR c++/44311
92         * decl.c (case_conversion): New.
93         (finish_case_label): Use it.
94
95         * ptree.c (cxx_print_xnode): Handle ARGUMENT_PACK_SELECT.
96
97         PR c++/45698
98         * pt.c (dependent_template_arg_p): See through ARGUMENT_PACK_SELECT.
99
100         PR c++/46005
101         * decl.c (grokdeclarator): Complain about auto typedef.
102
103         PR c++/46245
104         * decl.c (grokdeclarator): Complain later for auto parameter.
105         * pt.c (splice_late_return_type): Handle use in a template
106         type-parameter.
107
108         PR c++/46696
109         * typeck.c (cp_build_modify_expr): Check DECL_DEFAULTED_FN.
110
111         PR c++/47184
112         * parser.c (cp_parser_parameter_declaration): Recognize
113         list-initialization.
114         (cp_parser_direct_declarator): Check for the closing
115         paren before parsing definitely.
116
117         PR c++/48935
118         * parser.c (cp_parser_constructor_declarator_p): Don't check
119         constructor_name_p for enums.
120         (cp_parser_diagnose_invalid_type_name): Correct error message.
121
122         PR c++/45418
123         * init.c (perform_member_init): Handle list-initialization
124         of array of non-trivial class type.
125
126         PR c++/45080
127         * pt.c (instantiate_class_template_1): Call maybe_add_lambda_conv_op.
128         * semantics.c (lambda_function): Check COMPLETE_OR_OPEN_TYPE_P.
129
130         PR c++/48292
131         * pt.c (tsubst_decl) [PARM_DECL]: Handle partial instantiation of
132         function parameter pack.
133         (tsubst_pack_expansion): Likewise.
134
135         * cp-objcp-common.c (cp_common_init_ts): TYPE_ARGUMENT_PACK has
136         TS_COMMON.
137
138 2011-05-25  Jakub Jelinek  <jakub@redhat.com>
139
140         * cp-objcp-common.c (cp_common_init_ts): Mark CTOR_INITIALIZER
141         as TS_TYPED.
142
143         PR c++/49136
144         * semantics.c (cxx_eval_bit_field_ref): Handle the
145         case when BIT_FIELD_REF doesn't cover only a single field.
146
147 2011-05-24  Jason Merrill  <jason@redhat.com>
148
149         PR c++/49042
150         * pt.c (get_mostly_instantiated_function_type): Use
151         push_deferring_access_checks rather than set flag_access_control.
152
153 2011-05-24  Nicola Pero  <nicola.pero@meta-innovation.com>,
154
155         * parser.c (cp_parser_objc_class_ivars): Deal gracefully with a
156         syntax error in declaring an ObjC instance variable.
157
158 2011-05-24  Jason Merrill  <jason@redhat.com>
159
160         PR c++/48884
161         * class.c (pushclass): Accept NULL argument.
162         (popclass): Deal with popping null class.
163         * pt.c (push_access_scope, pop_access_scope): Use them rather than
164         push_to_top_level/pop_from_top_level.
165         (push_deduction_access_scope, pop_defarg_context): New.
166         (fn_type_unification): Use them.
167         * name-lookup.c (lookup_name_real_1): Check current_class_type.
168
169 2011-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
170
171         * decl.c (grokdeclarator): Use current_class_name.
172
173 2011-05-24  Joseph Myers  <joseph@codesourcery.com>
174
175         * Make-lang.in (GXX_OBJS): Remove prefix.o.
176         (g++$(exeext)): Use libcommon-target.a.
177         (CXX_C_OBJS): Remove prefix.o.
178
179 2011-05-23  Jason Merrill  <jason@redhat.com>
180
181         * pt.c (tsubst_copy_and_build): Use current_class_name.
182
183         PR c++/49102
184         * call.c (convert_arg_to_ellipsis): Call force_rvalue.
185
186         PR c++/49105
187         * typeck.c (cp_build_c_cast): Don't strip cv-quals when
188         converting to reference.
189         (build_static_cast_1): Update for glvalues.
190
191         PR c++/49105
192         * typeck.c (build_const_cast_1): Handle rvalue references.
193
194         PR c++/47263
195         * decl.c (use_eh_spec_block): Do use an EH spec block for a
196         lambda op().
197
198         PR c++/49058
199         * call.c (splice_viable): Be strict in templates.
200
201         PR c++/47336
202         * error.c (dump_template_bindings): Suppress access control.
203
204         PR c++/47544
205         * pt.c (instantiate_decl): Handle =default.
206
207         PR c++/48617
208         * pt.c (invalid_nontype_parm_type_p): Allow DECLTYPE_TYPE.
209
210 2011-05-23  Nathan Froyd  <froydnj@codesourcery.com>
211
212         * call.c (build_over_call): Tweak call to check_function_arguments.
213         * typeck.c (cp_build_function_call_vec): Likewise.
214
215 2011-05-23  Jonathan Wakely  <jwakely.gcc@gmail.com>
216
217         PR c++/18016
218         * init.c (perform_member_init): Check for self-initialization.
219
220 2011-05-22  Jason Merrill  <jason@redhat.com>
221
222         PR c++/48647
223         * typeck.c (composite_pointer_type_r): Return error_mark_node
224         on error in SFINAE context.
225
226 2011-05-20  Jason Merrill  <jason@redhat.com>
227
228         PR c++/48945
229         * decl.c (grokdeclarator): Don't add set const function-cv-qual
230         for constexpr fns to memfn_quals, just add it to the type.
231         (revert_static_member_fn): Don't complain about quals.
232         (check_static_quals): New.
233         (grokfndecl): Call it.
234         (start_preparsed_function): Don't call revert_static_member_fn.
235
236         PR c++/48945
237         * decl.c (revert_static_member_fn): Ignore const on constexpr fn.
238
239         PR c++/48780
240         * cvt.c (type_promotes_to): Don't promote scoped enums.
241
242         PR c++/49066
243         * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.
244
245         PR c++/48873
246         * tree.c (stabilize_expr): Fix typo.
247
248         DR 1073
249         PR c++/49082
250         * typeck.c (comp_except_specs): noexcept(false) is not compatible
251         with throw(type-list).
252         * typeck2.c (merge_exception_specifiers): noexcept(false)
253         beats any more limited specification.
254
255         PR c++/24163
256         PR c++/29131
257         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
258         unqualified lookup.
259         * semantics.c (perform_koenig_lookup): Add complain parm.
260         * cp-tree.h: Adjust.
261         * parser.c (cp_parser_postfix_expression): Adjust.
262         (cp_parser_perform_range_for_lookup): Adjust.
263
264 2011-05-20  Jason Merrill  <jason@redhat.com>
265
266         * semantics.c (finish_call_expr): SET_EXPR_LOCATION.
267
268 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
269
270         * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.
271
272 2011-05-19  Jakub Jelinek  <jakub@redhat.com>
273
274         PR c++/49043
275         * decl.c (check_omp_return): Stop searching on sk_function_parms.
276
277         PR c++/48869
278         * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
279         pass it down to locate_fn_flags.
280         * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
281         * semantics.c (cxx_omp_create_clause_info): Adjust callers.
282         * cp-gimplify.c: Include splay-tree.h.
283         (splay_tree_compare_decl_uid, omp_var_to_track,
284         omp_cxx_notice_variable): New functions.
285         (struct cp_genericize_omp_taskreg): New type.
286         (struct cp_genericize_data): Add omp_ctx field.
287         (cp_genericize_r): Attempt to determine implicitly determined
288         firstprivate class type variables.
289         (cp_genericize): Clear omp_ctx.
290         * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).
291
292 2011-05-18  Jason Merrill  <jason@redhat.com>
293
294         PR c++/48948
295         PR c++/49015
296         * class.c (finalize_literal_type_property): Do check
297         for constexpr member functions of non-literal class.
298         (finish_struct): Don't call check_deferred_constexpr_decls.
299         * cp-tree.h: Don't declare it.
300         (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
301         * decl.c (grok_special_member_properties): Don't check it
302         (grokfnedcl): Don't call validate_constexpr_fundecl.
303         (start_preparsed_function): Do call it.
304         * pt.c (tsubst_decl): Don't call it.
305         (instantiate_class_template_1): Don't call
306         check_deferred_constexpr_decls.
307         * semantics.c (literal_type_p): Check for any incompleteness.
308         (ensure_literal_type_for_constexpr_object): Likewise.
309         (is_valid_constexpr_fn): Revert deferral changes.
310         (validate_constexpr_fundecl): Likewise.
311         (register_constexpr_fundef): Likewise.
312         (check_deferred_constexpr_decls): Remove.
313
314 2011-05-16  Jason Merrill  <jason@redhat.com>
315
316         PR c++/48969
317         * pt.c (deduction_tsubst_fntype): Use a VEC initially.
318
319 2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
320
321         * cxx-pretty-print.c: Update comment.
322         * semantics.c (trait_expr_value, finish_trait_expr):
323         Reorder the cases.
324         * parser.c (cp_parser_primary_expression): Likewise.
325
326 2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
327
328         PR c++/48994
329         * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.
330
331 2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
332
333         Implement final on class.
334         * class.c (check_bases): Diagnose derivation from a final class.
335         * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
336         (CLASSTYPE_FINAL): New.
337         * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
338         CLASSTYPE_FINAL.
339         * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.
340
341 2011-05-13  Jason Merrill  <jason@redhat.com>
342
343         PR c++/48969
344         * pt.c (deduction_tsubst_fntype): New.
345         (fn_type_unification): Use it.
346         (init_template_processing): Initialize hash table.
347         (print_template_statistics): Print hash table stats.
348
349         * call.c (build_op_call): Use timevar_cond_start/stop.
350         (build_user_type_conversion): Likewise.
351
352 2011-05-12  Jason Merrill  <jason@redhat.com>
353
354         * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
355         * semantics.c (validate_constexpr_fundecl): Set it.
356         (check_deferred_constexpr_decls): Clear it.
357         (register_constexpr_fundef): Make sure it isn't set.
358         * decl.c (grok_special_member_properties): Check it.
359
360 2011-05-11  Jason Merrill  <jason@redhat.com>
361
362         PR c++/48948
363         * semantics.c (validate_constexpr_fundecl): Defer checking if
364         an argument type is being defined.
365         (is_valid_constexpr_fn): Add defer_ok parm.
366         (cxx_eval_call_expression): Adjust.
367         (check_deferred_constexpr_decls): New.
368         (literal_type_p): Make sure type isn't being defined.
369         (ensure_literal_type_for_constexpr_object): Handle type being defined.
370         * cp-tree.h: Declare check_deferred_constexpr_decls.
371         * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
372         (start_preparsed_function, cp_finish_decl): Not here.
373         * class.c (finalize_literal_type_property): Don't call
374         validate_constexpr_fundecl.
375         (finish_struct): Call check_deferred_constexpr_decls.
376         * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
377         (instantiate_class_template): Call check_deferred_constexpr_decls.
378
379         * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
380         rather than DECL_TEMPLATE_INSTANTIATION.
381         (cxx_eval_call_expression): Likewise.
382
383         * semantics.c (register_constexpr_fundef): Add to hash table here.
384         (validate_constexpr_fundecl): Not here.
385
386         * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.
387
388         * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
389         do call maybe_constant_value in C++0x mode.
390         * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.
391
392         PR c++/48745
393         * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.
394
395 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
396
397         * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
398         TYPE_VALUES_RAW.
399         (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
400         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
401         (TEMPLATE_TYPE_PARM_INDEX): Likewise.
402
403 2011-05-10  Jason Merrill  <jason@redhat.com>
404
405         PR c++/48930
406         * class.c (type_build_ctor_call): New.
407         * cp-tree.h: Declare it.
408         * decl.c (check_initializer): Use it instead of
409         TYPE_NEEDS_CONSTRUCTING.
410         * init.c (build_value_init, build_value_init_noctor): Likewise.
411         (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
412         (build_vec_init): Likewise.
413         * typeck2.c (process_init_constructor_array): Likewise.
414         (process_init_constructor_record): Likewise.
415
416         PR c++/48736
417         * pt.c (tsubst_copy_and_build): Handle substitution of a pack
418         expansion producing another expansion.
419
420 2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
421
422         Fixes for override/final.
423         * class.c (check_for_override): Diagnose final on a nonvirtual
424         member function, diagnose override for a virtual with no matching
425         override. Don't fiddle around with DECL_VINDEX.
426
427 2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>
428
429         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
430         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
431         * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
432         operand of EXPR_PACK_EXPANSION.
433         (cp_tree_operand_length): Declare.
434         * tree.c (cp_tree_operand_length): Define.
435         (cp_tree_equal): Call it.
436         * pt.c (value_dependent_expr_P): Likewise.
437         * mangle.c (write_expression): Likewise.
438
439 2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
440
441         PR c++/48737
442         PR c++/48744
443         * decl.c (reshape_init): Take a complain parameter and do
444         not call error if tf_error is not set.
445         (check_initializer, reshape_init_r, reshape_init_array,
446         reshape_init_array_1, reshape_init_vector, reshape_init_class):
447         Adjust.
448         * typeck2.c (digest_init_r): Take a complain parameter and
449         pass it to convert_for_initialization.
450         (digest_init, digest_init_flags, process_init_constructor_array,
451         process_init_constructor_record, process_init_constructor_union,
452         process_init_constructor, digest_init_r): Adjust.
453         * init.c (expand_default_init, build_new_1): Likewise.
454         * typeck.c (cp_build_modify_expr): Likewise.
455         * decl2.c (grokfield): Likewise.
456         * call.c (convert_like_real, convert_default_arg): Likewise.
457         * semantics.c (finish_compound_literal): Pass complain to
458         reshape_init and digest_init.
459         * cp-tree.h: Adjust declarations.
460
461 2011-05-07  Fabien ChĂȘne  <fabien@gcc.gnu.org>
462
463         PR c++/48859
464         * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
465         recursion if there is user defined constructor.
466
467 2011-05-09  Jason Merrill  <jason@redhat.com>
468
469         PR c++/34772
470         * decl.c (initialize_local_var): Use DECL_INITIAL for simple
471         initialization.
472
473 2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
474
475         Implement final/override for member functions.
476         * class.c (check_for_override): Check for DECL_OVERRIDE_P.
477         * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
478         (cp_virt_specifiers, enum virt_specifier): New.
479         * decl.c (set_virt_specifiers): New.
480         (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
481         * parser.c (make_call_declarator): add virt-specifiers parameter.
482         (cp_parser_lambda_declarator_opt): Adjust.
483         (cp_parser_direct_declarator): Likewise.
484         (cp_parser_virt_specifier_seq_opt): New.
485         * search.c (check_final_overrider): Diagnose attempts to override
486         a final member function.
487
488 2011-05-09  Dodji Seketeli  <dodji@redhat.com>
489
490         PR c++/48574
491         * class.c (fixed_type_or_null): Use type_dependent_p_push to test
492         if the instance has a dependent initializer.
493
494 2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
495
496         PR c++/48816
497         * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
498         effectively unused variable.
499
500 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
501
502         * name-lookup.h (global_bindings_p): Adjust prototype.
503         * name-lookup.c (global_bindings_p): Return bool.
504
505 2011-05-06  Jason Merrill  <jason@redhat.com>
506
507         * decl.c (stabilize_save_expr_r): Set *walk_subtrees as
508         appropriate.
509
510         PR c++/48909
511         * semantics.c (cxx_eval_conditional_expression): Check
512         integer_zerop instead.
513         (potential_constant_expression_1): Likewise.
514
515         PR c++/48911
516         * semantics.c (cxx_eval_array_reference): Handle implicit
517         initializers.
518
519 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
520
521         * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.
522         * call.c (standard_conversion): Call class_of_this_parm.
523         * cxx-pretty-print.c (pp_cxx_implicit_parameter_type): Likewise.
524         (pp_cxx_direct_abstract_declarator): Likewise.
525         * decl2.c (change_return_type): Likewise.
526         (cp_reconstruct_complex_type): Likewise.
527         * error.c (dump_type_suffix, dump_function_decl): Likewise.
528         * mangle.c (write_function_type): Likewise.
529         * pt.c (unify): Likewise.
530         * typeck.c (merge_types, type_memfn_quals): Likewise.
531         * decl.c (build_this_parm): Call type_of_this_parm.
532
533 2011-05-06  Dodji Seketeli  <dodji@redhat.com>
534
535         PR c++/48838
536         * cp-tree.h (non_static_member_function_p): Declare new function.
537         * tree.c (non_static_member_function_p): Define it.
538         * semantics.c (finish_call_expr): Use it.
539
540 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
541
542         * decl.c (finish_case_label): Omit the loc argument to
543         build_case_label.
544
545 2011-05-05  Jason Merrill  <jason@redhat.com>
546
547         * cp-tree.h (REFERENCE_REF_P): Just check the type.
548         * cvt.c (convert_from_reference): Adjust.
549         * pt.c (build_non_dependent_expr): Adjust.
550         * semantics.c (finish_offsetof): Adjust.
551         * tree.c (lvalue_kind): Use it.
552
553         PR c++/48873
554         * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
555
556 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
557
558         * decl.c (start_preparsed_function): Do not set
559         dont_save_pending_sizes_p.
560
561 2011-05-05  Joseph Myers  <joseph@codesourcery.com>
562
563         * parser.c (cp_parser_objc_method_definition_list): Update call to
564         objc_start_method_definition.
565
566 2011-05-04  Jason Merrill  <jason@redhat.com>
567
568         PR c++/48749
569         * class.c (resolves_to_fixed_type_p): Don't look closely
570         in templates.
571
572 2011-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
573
574         PR c++/28501
575         * call.c (add_builtin_candidate): Handle REALPART_EXPR and
576         IMAGPART_EXPR.
577
578 2011-05-02  Lawrence Crowl  <crowl@google.com>
579
580         * decl.c: (push_local_name): Change TV_NAME_LOOKUP to start/stop.
581         (poplevel): Refactor POP_TIMEVAR_AND_RETURN to plain code.
582         Change TV_NAME_LOOKUP to start/stop.
583         (define_label): Refactor timevar calls out to a wrapper function.
584         Change TV_NAME_LOOKUP to start/stop.
585         (xref_tag): Likewise.
586         (lookup_label): Refactor timevar calls out to a wrapper function.
587         Change TV_NAME_LOOKUP to start_cond/stop_cond.
588
589         * pt.c: (instantiate_class_template): Add a wrapper to push/pop new
590         TV_TEMPLATE_INST.
591         (instantiate_template): Add a wrapper to push/pop new TV_TEMPLATE_INST.
592         (lookup_template_class): Refactor timevar calls out to a wrapper
593         function.  Change use of TV_NAME_LOOKUP to TV_TEMPLATE_INST.
594         (instantiate_decl): Change TV_PARSE to TV_TEMPLATE_INST.
595
596         * name-lookup.c: (store_bindings): Change TV_NAME_LOOKUP to start/stop.
597         (poplevel_class): Change TV_NAME_LOOKUP to start_cond/stop_cond.
598         (push_namespace): Likewise.
599         (pop_nested_namespace): Likewise.
600         (pushdecl_namespace_level): Likewise.
601         (store_class_bindings): Likewise.
602         (push_to_top_level): Likewise.
603         (identifier_type_value): Refactor timevar calls out to a wrapper
604         function.  Change TV_NAME_LOOKUP to start/stop.
605         (find_binding): Likewise.
606         (push_using_decl): Likewise.
607         (lookup_arg_dependent): Likewise.
608         (push_using_directive): Likewise.
609         (qualified_lookup_using_namespace): Refactor POP_TIMEVAR_AND_RETURN
610         to plain code.  Change TV_NAME_LOOKUP to start/stop.
611         (lookup_type_current_level): Likewise.  Refactor inner return to
612         break.
613         (pushdecl_class_level): Refactor POP_TIMEVAR_AND_RETURN to plain
614         code.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
615         (pushdecl_top_level_1): Likewise.
616         (lookup_using_namespace): Likewise.
617         (pushdecl_with_scope): Refactor timevar calls out to a wrapper
618         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
619         (push_overloaded_decl): Likewise.
620         (push_class_level_binding): Likewise.
621         (namespace_binding): Likewise.
622         (set_namespace_binding): Likewise.
623         (supplement_binding): Likewise.
624         (unqualified_namespace_lookup): Likewise.
625         (lookup_name_real): Likewise.
626         (lookup_type_scope): Likewise.
627         (namespace_ancestor): Likewise.
628         (lookup_name_innermost_nonclass_level): Likewise.
629         (pushtag): Likewise.
630         (pop_from_top_level): Likewise.
631         (pushdecl_maybe_friend): Refactor timevar calls out to a wrapper
632         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Wrap long
633         lines.
634         (add_using_namespace): Refactor timevar calls out to a wrapper
635         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Bypass
636         wrapper on call to self.
637
638         * decl2.c: (cp_write_global_declarations):  Add start/stop of
639         new TV_PHASE_DEFERRED, TV_PHASE_CGRAPH, TV_PHASE_CHECK_DBGINFO.
640         Remove push/pop calls to TV_VARCONST.
641
642         * parser.c: Add include of "timevar.h".
643         (cp_parser_explicit_instantiation): Add push/pop calls to
644         TV_TEMPLATE_INST.
645         (cp_parser_enum_specifier): Add push/pop calls to new TV_PARSE_ENUM.
646         (cp_parser_class_specifier): Add wrapper to add push/pop calls to
647         TV_PARSE_STRUCT.
648         (cp_parser_function_definition_from_specifiers_and_declarator): Add
649         push/pop calls to new TV_PARSE_FUNC or TV_PARSE_INLINE.
650         (cp_parser_late_parsing_for_member):  Add push/pop calls to
651         new TV_PARSE_INMETH.
652
653         * call.c: Add include of "timevar.h".
654         (convert_class_to_reference): Wrap and add push/pop calls to 
655         TV_OVERLOAD.
656         (build_op_call): Likewise.
657         (build_conditional_expr): Likewise.
658         (build_new_op): Likewise.
659         (build_new_method_call): Likewise.
660         (build_user_type_conversion): Reorganize to single return and add
661         push/pop calls to TV_OVERLOAD.
662         (perform_overload_resolution): Likewise.
663
664         * Make-lang.in: Add dependence of call.o and parser.o on $(TIMEVAR_H).
665
666 2011-05-02  Jason Merrill  <jason@redhat.com>
667
668         * tree.c (build_vec_init_expr): Take complain parm.
669         (build_vec_init_elt): Likewise.  Free arg vector.
670         (diagnose_non_constexpr_vec_init, build_array_copy): Adjust.
671         * cp-tree.h (VEC_INIT_EXPR_SLOT): Use VEC_INIT_EXPR_CHECK.
672         (VEC_INIT_EXPR_INIT): Likewise.
673         Adjust build_vec_init_expr declaration.
674         * init.c (perform_member_init): Adjust.
675
676         Revert:
677         PR c++/40975
678         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
679         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
680         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
681         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
682         (build_vec_init_elt): Don't expect an array type.
683         (build_array_copy): Adjust.
684         * init.c (perform_member_init): Adjust.
685         (build_new_1): Use build_vec_init_expr.
686
687         PR c++/48834
688         * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
689         Protect an explicit target.
690
691         PR c++/48446
692         * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
693         (compute_array_index_type): Revert earlier 48446 changes.
694         (grokdeclarator): Use stabilize_vla_size.
695
696 2011-05-02  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
697             Eric Botcazou <ebotcazou@adacore.com>
698
699         * parser.c (cp_parser_init_declarator): Set pushed_scope to NULL_TREE
700         instead of inappropriate zero values.
701
702 2011-05-02  Paolo Carlini  <paolo.carlini@oracle.com>
703
704         PR c++/47969
705         * decl.c (compute_array_index_type): Check build_expr_type_conversion
706         return value for NULL_TREE.
707
708 2011-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
709
710         PR c++/48606
711         * init.c (perform_member_init): Check build_value_init return
712         value for error_mark_node.
713
714 2011-04-29  Diego Novillo  <dnovillo@google.com>
715             Le-Chun Wu  <lcwu@google.com>
716
717         * call.c (conversion_null_warnings): Also handle assignments
718         when warning about NULL conversions.
719
720 2011-04-29  Le-Chun Wu  <lcwu@google.com>
721
722         * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Define.
723         * call.c (build_new_function_call): Set it for TEMPLATE_ID_EXPRs.
724         (build_over_call): Use it to determine whether to emit a NULL
725         warning for template function instantiations.
726         (build_new_method_call): Set LOOKUP_EXPLICIT_TMPL_ARGS if
727         EXPLICIT_TARGS is set.
728
729 2011-04-29  Nicola Pero  <nicola.pero@meta-innovation.com>,
730             Mike Stump <mikestump@comcast.net>
731
732         * Make-lang.in ($(srcdir)/cp/cfns.h): Enable the dependency only
733         in maintainer mode.  Use the --output-file option of gperf instead
734         of > to prevent creating an empty cp/cfns.h when gperf is not
735         available.
736
737 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
738
739         PR c++/48798
740         * semantics.c (finish_base_specifier): cv-qualified base class
741         is fine, per DR 484.
742
743 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
744
745         PR c++/48656
746         * semantics.c (finish_call_expr): Don't forget BASELINK nodes when
747         considering call expressions involving a member function.
748
749 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
750
751         PR c++/48530
752         * tree.c (build_cplus_new): Check build_target_expr return
753         value for error_mark_node.
754
755 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
756
757         PR c++/48771
758         * semantics.c (literal_type_p): Reference types are literal types,
759         per the FDIS.
760         (valid_type_in_constexpr_fundecl_p): Remove.
761         (is_valid_constexpr_fn): Adjust.
762
763 2011-04-27  Jason Merrill  <jason@redhat.com>
764
765         PR libstdc++/48760
766         Implement list-initialization of _Complex.
767         * decl.c (reshape_init_r): Allow {real,imag} for _Complex.
768         (check_initializer): Likewise.
769         * call.c (build_complex_conv): New.
770         (implicit_conversion): Call it.
771         (convert_like_real): Handle it.
772         * typeck2.c (check_narrowing): Handle it.
773
774         * init.c (build_vec_delete_1): Look for sfk_deleting_destructor to
775         decide whether to delete.
776         (build_vec_init): Pass sfk_complete_destructor.
777
778         PR c++/40975
779         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
780         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
781         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
782         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
783         (build_vec_init_elt): Don't expect an array type.
784         (build_array_copy): Adjust.
785         * init.c (perform_member_init): Adjust.
786         (build_new_1): Use build_vec_init_expr.
787
788         * class.c (resolve_address_of_overloaded_function): Don't
789         change OVERLOAD to TREE_LIST.
790         * pt.c (print_candidates_1): Remove nonsensical assert.
791
792         PR c++/48046
793         * parser.c (cp_parser_diagnose_invalid_type_name): Commit
794         to tentative parse sooner.
795
796 2011-04-26  Jason Merrill  <jason@redhat.com>
797
798         PR c++/42687
799         * parser.c (cp_parser_primary_expression): Set *idk to
800         CP_ID_KIND_NONE for a parenthesized identifier.
801
802         * ptree.c (cxx_print_type) [TYPENAME_TYPE]: Dump fullname.
803         (cxx_print_identifier): Correct indentation.
804
805         PR c++/48530
806         * decl.c (cxx_maybe_build_cleanup): Add complain parm.
807         * tree.c (force_target_expr): Add complain parm.
808         (build_target_expr_with_type): Likewise.
809         (get_target_expr_sfinae): Split out.
810         (build_vec_init_expr, bot_manip): Adjust.
811         * init.c (build_vec_delete, build_vec_delete_1): Add complain parm.
812         (build_delete, build_dtor_call): Likewise.
813         (perform_direct_initialization_if_possible): Adjust.
814         (build_vec_init): Handle error return.
815         * cvt.c (force_rvalue): Add complain parm.
816         Call build_special_member_call directly.
817         * decl2.c (delete_sanity): Add complain parm.
818         (build_cleanup): Adjust.
819         * pt.c (tsubst_copy_and_build, tsubst_expr): Adjust.
820         * semantics.c (finish_stmt_expr_expr): Adjust.
821         (finish_compound_literal): Adjust.
822         * parser.c (cp_parser_delete_expression): Adjust.
823         * typeck2.c (build_functional_cast): Adjust.
824         * cp-tree.h: Adjust.
825
826 2011-04-26  Martin Jambor  <mjambor@suse.cz>
827
828         * class.c (cp_fold_obj_type_ref): Remove.
829         * cp-tree.h (cp_fold_obj_type_ref): Remove declaration.
830
831 2011-04-25  Paolo Carlini  <paolo.carlini@oracle.com>
832
833         * cp-tree.def: Add a new UNDERLYING_TYPE tree code.
834         * cp-tree.h (enum cp_trait_kind): Add CPTK_UNDERLYING_TYPE, tidy.
835         (UNDERLYING_TYPE_TYPE): Add.
836         * cp-objcp-common.c (cp_common_init_ts): Mark UNDERLYING_TYPE
837         as TS_COMMON.
838         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword,
839         cp_parser_simple_type_specifier): Handle UNDERLYING_TYPE.
840         (cp_parser_trait_expr): Deal with RID_UNDERLYING_TYPE; tidy.
841         * semantics.c (finish_underlying_type): New.
842         * typeck.c (structural_comptypes): Handle UNDERLYING_TYPE.
843         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
844         * cxx-pretty-print.c (p_cxx_type_id): Likewise.
845         * tree.c (cp_walk_subtrees): Likewise.
846         * pt.c (for_each_template_parm_r, tsubst, unify,
847         dependent_type_p_r): Likewise.
848         * mangle.c (write_type): Sorry for __underlying_type.
849
850 2011-04-25  Jason Merrill  <jason@redhat.com>
851
852         PR c++/48707
853         * decl.c (type_dependent_init_p): New.
854         (cp_finish_decl): Check it.
855         * pt.c (any_type_dependent_elements_p): New.
856         * cp-tree.h: Declare it.
857
858 2011-04-20  Jason Merrill  <jason@redhat.com>
859
860         * semantics.c (finish_compound_literal): Don't put an array
861         with a dtor in a static variable.
862
863         * call.c (build_over_call): Handle trivial dtor.
864
865         * search.c (lookup_fnfields_slot): Call complete_type.
866
867         PR c++/48594
868         * decl2.c (build_offset_ref_call_from_tree): Move
869         non-dependency of object outside condition.
870
871         PR c++/48657
872         * decl.c (cp_finish_decl): Simplify template handling.
873
874 2011-04-20  Jim Meyering  <meyering@redhat.com>
875
876         * tree.c (cxx_printable_name_internal): Remove useless if-before-free.
877
878 2011-04-19  Jason Merrill  <jason@redhat.com>
879
880         PR c++/46304
881         * typeck.c (cp_build_binary_op): Fold COMPLEX_EXPR.
882
883         PR c++/45267
884         * decl.c (duplicate_decls): Keep always_inline attribute
885         in sync with DECL_DISREGARD_INLINE_LIMITS.
886
887 2011-04-18  Jason Merrill  <jason@redhat.com>
888
889         PR c++/48569
890         * typeck2.c (build_functional_cast): Handle VOID_TYPE.
891
892         PR c++/48537
893         * init.c (build_value_init): Handle UNION_TYPE the same.
894
895 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
896
897         PR c++/48632
898         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
899         for type dependent pointers.
900
901 2011-04-18  Jim Meyering  <meyering@redhat.com>
902
903         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
904
905 2011-04-17  Jan Hubicka  <jh@suse.cz>
906
907         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
908         gotos.
909
910 2011-04-17  Jason Merrill  <jason@redhat.com>
911
912         PR c++/48531
913         * typeck2.c (build_functional_cast): Disallow array type.
914
915         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
916
917 2011-04-17  Jan Hubicka  <jh@suse.cz>
918
919         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
920
921 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
922
923         Implement N3271
924         * parser.c (cp_convert_range_for): Split into
925         cp_parser_perform_range_for_lookup.
926         (cp_parser_perform_range_for_lookup): New.
927         (cp_parser_range_for_member_function): New.
928         (cp_parser_for_init_statement): Correct error message.
929         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
930
931 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
932
933         * parser.c (cp_parser_objc_protocol_declaration): Updated for
934         change from objc_declare_protocols() to objc_declare_protocol().
935
936 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
937
938         PR objc++/48479
939         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
940         and return immediately.
941
942 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
943
944         * cp-tree.def (SWITCH_STMT): Add an extra operand.
945         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
946         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
947         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
948         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
949
950 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
951
952         * cp-tree.def (IF_STMT): Add an extra operand.
953         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
954         * cp-tree.h (IF_SCOPE): Define.
955         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
956         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
957
958 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
959
960         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
961         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
962         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
963         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
964         Use FOR_SCOPE instead of TREE_CHAIN.
965         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
966         (finish_for_stmt): Likewise.
967
968 2011-04-14  Jason Merrill  <jason@redhat.com>
969
970         * parser.c (cp_parser_postfix_expression): Fix flags passed to
971         build_new_method_call.
972         * semantics.c (finish_call_expr): Likewise.
973
974         PR c++/48531
975         * init.c (build_value_init_noctor): Check complain consistently.
976
977         PR c++/48557
978         * typeck.c (cp_build_binary_op): Don't decay void operands.
979
980         PR c++/48446
981         * decl.c (compute_array_index_type): Use get_temp_regvar instead
982         of variable_size.
983         * init.c (get_temp_regvar): No longer static.
984         * cp-tree.h: Declare it.
985
986 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
987
988         * parser.c (cp_parser_objc_class_declaration): Updated for change
989         in objc_declare_class().
990
991 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
992
993         * decl.c (poplevel): Use block_chainon.
994
995 2011-04-13  Jason Merrill  <jason@redhat.com>
996
997         PR c++/48594
998         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
999         or pointer to (non-member) function.
1000
1001 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
1002
1003         PR c++/48570
1004         * semantics.c (cxx_eval_array_reference): Handle reading from
1005         wchar_t, char16_t and char32_t STRING_CST.
1006
1007 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
1008
1009         PR c++/48574
1010         * class.c (fixed_type_or_null): We cannot determine the dynamic
1011         type of a reference variable if its initializer is dependent.
1012
1013 2011-04-13  Jason Merrill  <jason@redhat.com>
1014
1015         PR c++/48581
1016         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
1017         unqualified lookup failing if we're still in a template.
1018
1019 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
1020
1021         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
1022         tree_contains_struct initialization to...
1023         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
1024         macros.
1025         * cp-objcp-common.h (cp_common_init_ts): Declare.
1026         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
1027         calling TREE_CHAIN.
1028
1029 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
1030
1031         * parser.c (cp_parser_objc_message_expression): Updated call
1032         to objc_build_message_expr.
1033
1034 2011-04-12  Martin Jambor  <mjambor@suse.cz>
1035
1036         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
1037         cgraph_get_create_node.
1038         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
1039         instead of cgraph_get_create_node.
1040         * method.c (make_alias_for_thunk): Call cgraph_get_node
1041         instead of cgraph_get_create_node, assert it returns non-NULL.
1042         (use_thunk): Likewise.
1043         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
1044         when flag_syntax_only is not set.  Call cgraph_get_node instead of
1045         cgraph_get_create_node.
1046         (maybe_clone_body): Call cgraph_get_node instead of
1047         cgraph_get_create_node.
1048
1049 2011-04-12  Martin Jambor  <mjambor@suse.cz>
1050
1051         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
1052         instead of cgraph_node.
1053         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
1054         (cp_write_global_declarations): Likewise.
1055         * optimize.c (maybe_clone_body): Likewise.
1056         * semantics.c (maybe_add_lambda_conv_op): Likewise.
1057         * mangle.c (mangle_decl): Likewise.
1058         * method.c (make_alias_for_thunk): Likewise.
1059         (use_thunk): Likewise.
1060
1061 2011-04-11  Jason Merrill  <jason@redhat.com>
1062
1063         PR c++/48535
1064         * decl.c (cp_complete_array_type_or_error): New.
1065         * semantics.c (finish_compound_literal): Use it.
1066         * cp-tree.h: Declare it.
1067
1068         PR c++/48535
1069         * semantics.c (finish_compound_literal): Handle references.
1070
1071         PR c++/48535
1072         * semantics.c (finish_compound_literal): Take complain parm.
1073         (build_lambda_object): Adjust.
1074         * cp-tree.h: Adjust.
1075         * call.c (convert_like_real): Adjust.
1076         * decl.c (check_initializer): Adjust.
1077         * parser.c (cp_parser_postfix_expression): Adjust.
1078         (cp_parser_functional_cast): Adjust.
1079         * pt.c (tsubst_copy_and_build): Adjust.
1080         * typeck2.c (process_init_constructor_record): Adjust.
1081
1082         PR c++/48534
1083         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
1084         of scoped enum.
1085
1086         PR c++/48523
1087         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
1088         than cp_build_indirect_ref.
1089
1090         PR c++/48457, Core 1238
1091         * call.c (reference_binding): Allow rvalue reference to bind to
1092         function lvalue.
1093         * tree.c (lvalue_kind): Functions are always lvalues.
1094
1095 2011-04-07  Jason Merrill  <jason@redhat.com>
1096
1097         PR c++/48500
1098         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
1099         arguments even if we don't know the function.
1100
1101         PR c++/48481
1102         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
1103         at the end of the chain.
1104         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
1105         (iterative_hash_template_arg): Likewise.
1106
1107         PR c++/48481
1108         * cp-tree.h (OVL_ARG_DEPENDENT): New.
1109         * name-lookup.c (add_function): Set it.
1110         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
1111
1112         PR c++/48481
1113         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
1114         Release unused vector.
1115
1116         PR c++/48451
1117         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
1118         (type_unification_real): Clear it here instead.
1119
1120         PR c++/48468
1121         * except.c (build_noexcept_spec): Propagate error_mark_node.
1122         (finish_noexcept_expr): Likewise.
1123
1124         PR c++/48452
1125         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
1126         in SFINAE context.
1127
1128         PR c++/48450
1129         * call.c (resolve_args): Take complain.
1130         (build_new_function_call, build_operator_new_call): Pass it.
1131         (build_op_call, build_new_op, build_new_method_call): Pass it.
1132
1133         PR c++/48450
1134         * typeck.c (check_for_casting_away_constness): Take complain.
1135         (build_static_cast_1, build_reinterpret_cast_1): Pass it.
1136         (build_const_cast_1): Pass it.  Take full complain parm.
1137         (build_const_cast, cp_build_c_cast): Adjust.
1138
1139         * tree.c (build_aggr_init_expr): Always return error_mark_node
1140         on abstract violation.
1141
1142         PR c++/48450
1143         * tree.c (build_cplus_new, build_aggr_init_expr): Take complain.
1144         (bot_manip): Adjust.
1145         * cp-tree.h: Adjust.
1146         * call.c (convert_like_real, build_cxx_call): Adjust.
1147         (perform_direct_initialization_if_possible): Adjust.
1148         * cvt.c (ocp_convert): Adjust.
1149         * init.c (build_value_init): Adjust.
1150         * semantics.c (maybe_add_lambda_conv_op): Adjust.
1151         * typeck.c (unary_complex_lvalue, cp_build_modify_expr): Adjust.
1152         * typeck2.c (build_functional_cast): Adjust.
1153
1154         * init.c (build_value_init_noctor): Handle REFERENCE_TYPE at top
1155         level.
1156         (perform_member_init): Not here.
1157         * typeck2.c (build_functional_cast): Limit REFERENCE_TYPE special
1158         case to templates.
1159         (abstract_virtuals_error_sfinae): Remove RESULT_DECL special case.
1160
1161         PR c++/48449
1162         * typeck2.c (build_functional_cast): Check complain consistently.
1163         Use build_value_init and abstract_virtuals_error_sfinae.
1164         (abstract_virtuals_error_sfinae): Split out.
1165         * cp-tree.h: Declare it.
1166         * init.c (build_new_1): Use it.
1167         (build_value_init_noctor): Handle FUNCTION_TYPE.
1168
1169         * semantics.c (finish_decltype_type): Simplify handling of unknown
1170         type.
1171
1172         * semantics.c (finish_decltype_type): Add complain parm.
1173         * cp-tree.h: Adjust.
1174         * parser.c (cp_parser_decltype): Adjust.
1175         * pt.c (tsubst): Adjust.
1176
1177         PR c++/48450
1178         * cvt.c (ocp_convert): Handle converting scoped enum to bool.
1179
1180 2011-03-31  Jason Merrill  <jason@redhat.com>
1181
1182         PR c++/48277
1183         * semantics.c (finish_call_expr): Remove assert.
1184
1185         PR c++/48280
1186         * method.c (defaultable_fn_check): Templates are not defaultable.
1187
1188         * parser.c (cp_parser_init_declarator): Avoid redundant
1189         cp_finish_decl for member declarations.
1190
1191 2011-03-30  Jason Merrill  <jason@redhat.com>
1192
1193         PR c++/48212
1194         * semantics.c (non_const_var_error): Just return if DECL_INITIAL
1195         is error_mark_node.
1196
1197 2011-03-30  Jason Merrill  <jason@redhat.com>
1198
1199         PR c++/48369
1200         * semantics.c (potential_constant_expression_1): Handle
1201         UNORDERED_EXPR and ORDERED_EXPR.
1202
1203         PR c++/48281
1204         * semantics.c (finish_compound_literal): Do put static/constant
1205         arrays in static variables.
1206
1207         * call.c (convert_like_real) [ck_list]: Build up the
1208         initializer_list object directly.
1209         * decl.c (build_init_list_var_init): Adjust.
1210
1211         * call.c (convert_like_real): Correct TREE_CONSTANT on CONSTRUCTOR.
1212         * decl.c (reshape_init_array_1): Likewise.
1213
1214 2011-03-29  Jason Merrill  <jason@redhat.com>
1215
1216         PR c++/48265
1217         * pt.c (value_dependent_expression_p) [VAR_DECL]: Make sure
1218         the variable is constant before looking at its initializer.
1219
1220         PR c++/48319
1221         * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.
1222
1223         PR c++/48089
1224         * semantics.c (potential_constant_expression_1): Change error about
1225         use of *this in constructor into sorry.
1226
1227         PR c++/48296
1228         * decl.c (cp_finish_decl): Defer validation of constexpr member
1229         functions.
1230         * class.c (finalize_literal_type_property): Validate them here.
1231         * semantics.c (is_valid_constexpr_fn): Don't check completeness.
1232
1233         * semantics.c (is_valid_constexpr_fn): Specify input location.
1234
1235 2011-03-28  Jason Merrill  <jason@redhat.com>
1236
1237         PR c++/48313
1238         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
1239         from overloaded function.
1240
1241         Core 1232
1242         * call.c (build_array_conv): New.
1243         (implicit_conversion): Use it.
1244
1245         * call.c (reference_binding): Allow direct binding to an array
1246         rvalue.
1247
1248         Core 898
1249         * parser.c (cp_parser_compound_statement): Add function_body parm.
1250         Complain about non-body compound-stmt in constexpr fn.
1251         (cp_parser_primary_expression, cp_parser_statement): Adjust.
1252         (cp_parser_implicitly_scoped_statement): Adjust.
1253         (cp_parser_function_body, cp_parser_try_block): Adjust.
1254         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
1255         (cp_parser_objc_try_catch_finally_statement): Adjust.
1256
1257         Core 898
1258         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
1259         and using-definition.
1260         (register_constexpr_fundef): Call it.
1261
1262         * except.c (build_noexcept_spec): Call cxx_constant_value after
1263         converting to bool.
1264
1265 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1266
1267         * lex.c (interface_strcmp): Handle dos-paths.
1268         (handle_pragma_implementation): Use filename_cmp instead of
1269         strcmp.
1270         (in_main_input_context): Likewise.
1271
1272 2011-03-25  Jason Merrill  <jason@redhat.com>
1273
1274         Core 1135
1275         * method.c (defaulted_late_check): Check for exception spec mismatch.
1276         (defaultable_fn_check): Allow exception spec and virtual.
1277         * class.c (check_for_override): A virtual dtor is non-trivial.
1278
1279         PR c++/48289
1280         * pt.c (build_non_dependent_expr): Keep dereferences outside the
1281         NON_DEPENDENT_EXPR.
1282
1283 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1284
1285         * decl.c (decls_match): Replace target hook
1286         call of comp_type_attributes by version in tree.c file.
1287         * search.c (check_final_overrider): Likewise.
1288         * typeck.c (structural_comptypes): Likewise.
1289
1290 2011-03-21  Kai Tietz  <ktietz@redhat.com>
1291
1292         PR target/12171
1293         * cxx-pretty-print.c (pp_cxx_ptr_operator):
1294         Display allowed attributes for function pointer types.
1295         * error.c (dump_type_prefix): Likewise.
1296
1297         * tree.c (cxx_attribute_table): Adjust table.
1298
1299 2011-03-18  Jason Merrill  <jason@redhat.com>
1300
1301         PR c++/48162
1302         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
1303
1304         PR c++/48118
1305         * call.c (build_over_call): Don't skip ck_rvalue.
1306
1307 2011-03-17  Jason Merrill  <jason@redhat.com>
1308
1309         PR c++/47504
1310         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
1311         the conversion set TREE_OVERFLOW.
1312
1313         Core 1212
1314         * semantics.c (finish_decltype_type): Return T&& for xvalue.
1315         * typeck.c (unlowered_expr_type): Preserve cv-quals.
1316
1317         PR c++/48166
1318         * decl.c (revert_static_member_fn): Strip function-cv-quals.
1319
1320 2011-03-16  Jason Merrill  <jason@redhat.com>
1321
1322         PR c++/48089
1323         * semantics.c (potential_constant_expression_1): Don't allow *this
1324         in a constructor.
1325         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
1326
1327         PR c++/47301
1328         * decl.c (compute_array_index_type): Don't bother trying to deal
1329         with literal classes in ABI v1.
1330
1331         PR c++/46336
1332         * decl.c (duplicate_decls): Return NULL_TREE for clashing
1333         C functions.
1334
1335         PR c++/47570
1336         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
1337         use the generic binary expression handling.
1338
1339 2011-03-16  Diego Novillo  <dnovillo@google.com>
1340
1341         * Make-lang.in (CXX_PARSER_H): New.
1342         (cp/parser.o): Add dependency on CXX_PARSER_H.
1343         Add dependency on tree-pretty-print.h
1344         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
1345         * cp-lang.c: Include parser.h.
1346         * parser.c: Include parser.h.
1347         (struct cp_token): Add bitfield purged_p.
1348         Update all users.
1349         Move to parser.h.
1350         (CPP_PURGED): Remove.  Update all users.
1351         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
1352         Remove field buffer_length.
1353         Update all users.
1354         Move to parser.h.
1355         (struct tree_check): Move to parser.h.
1356         (cp_token_position): Likewise.
1357         (struct cp_token_cache): Likewise.
1358         (CPP_KEYWORD): Likewise.
1359         (CPP_TEMPLATE_ID): Likewise.
1360         (CPP_NESTED_NAME_SPECIFIER): Likewise.
1361         (N_CP_TTYPES): Likewise.
1362         (enum cp_parser_status_kind): Likewise.
1363         (struct cp_parser_context): Likewise.
1364         (struct cp_default_arg_entry_d): Likewise.
1365         (struct cp_unparsed_functions_entry_d): Likewise.
1366         (struct cp_parser): Likewise.
1367         (cp_lexer_dump_tokens): New.
1368         (cp_lexer_debug_tokens): New.
1369         (cp_lexer_finished_p): New.
1370         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
1371         (cp_lexer_new_main): Re-write main lexing loop to push
1372         tokens into the new VEC buffer.
1373         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
1374         Do not abort if the token type is not recognized, just print
1375         its code.
1376         * parser.h: New file.
1377         * config-lang.in (gtfiles): Add cp/parser.h.
1378
1379 2011-03-16  Jason Merrill  <jason@redhat.com>
1380
1381         Core 1148
1382         * typeck.c (check_return_expr): Fix conditions for setting
1383         LOOKUP_PREFER_RVALUE.
1384
1385         * call.c (build_over_call): Remove require_complete_type_sfinae call.
1386
1387         PR c++/48132
1388         * decl.c (check_array_designated_initializer): Allow integer index.
1389         (reshape_init_array_1): Set index on the elements.
1390
1391 2011-03-16  Jason Merrill  <jason@redhat.com>
1392
1393         PR c++/48113
1394         * typeck.c (convert_for_initialization): Use
1395         perform_implicit_conversion_flags.
1396         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
1397         rvaluedness_matches_p on ck_rvalue.
1398         (convert_like_real) [ck_rvalue]: And restore it here.
1399
1400         PR c++/48115
1401         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
1402
1403 2011-03-16  Jason Merrill  <jason@redhat.com>
1404
1405         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
1406         committed to this tentative parse.
1407
1408         PR c++/47999
1409         * semantics.c (finish_call_expr): Preserve reference semantics
1410         in templates.
1411
1412         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
1413
1414 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
1415
1416         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
1417         DECL_LANG_SPECIFIC is NULL.
1418
1419 2011-03-15  Jason Merrill  <jason@redhat.com>
1420
1421         Core 1074
1422         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
1423         check value_dependent_expression_p on the operand.
1424
1425         * semantics.c (push_cx_call_context): Return bool.
1426         (cxx_eval_call_expression): Handle excess depth.
1427
1428         Core 1191
1429         * method.c (synthesized_method_walk): Cleanups don't affect the
1430         triviality of a constructor, but do affect deletion and exception
1431         specification.
1432
1433 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
1434
1435         * decl2.c (cp_check_const_attributes): New.
1436         (cplus_decl_attributes): Call cp_check_const_attributes.
1437
1438 2011-03-15  Jason Merrill  <jason@redhat.com>
1439
1440         PR c++/34758
1441         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
1442         recursion first.
1443         (push_defarg_context, pop_defarg_context): New.
1444         * parser.c (cp_parser_late_parsing_default_args): Use them.
1445         * cp-tree.h: Declare them.
1446
1447 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
1448
1449         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
1450         the argument of the indirection operator should not be dependent.
1451         Fix the comment.
1452
1453 2011-03-11  Jason Merrill  <jason@redhat.com>
1454
1455         PR c++/47125
1456         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
1457
1458         PR c++/47144
1459         * parser.c (cp_parser_template_type_arg): Set
1460         type_definition_forbidden_message.
1461
1462         PR c++/47808
1463         * decl.c (compute_array_index_type): Discard folding
1464         if it didn't produce a constant.
1465
1466 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
1467
1468         PR c++/48035
1469         * init.c (build_zero_init_1): Extracted from build_zero_init.
1470         Add FIELD_SIZE argument, if non-NULL and field bit_position
1471         as not smaller than that, don't add that field's initializer.
1472         Pass DECL_SIZE as last argument to build_zero_init_1
1473         for DECL_FIELD_IS_BASE fields.
1474         (build_zero_init): Use build_zero_init_1.
1475
1476 2011-03-10  Jason Merrill  <jason@redhat.com>
1477
1478         PR c++/48029
1479         * pt.c (iterative_hash_template_arg): Remove special case for
1480         ARRAY_TYPE.
1481
1482         PR c++/47198
1483         * parser.c (cp_parser_single_declaration): Just return if
1484         cp_parser_parse_and_diagnose_invalid_type_name complained.
1485
1486 2011-03-09  Jason Merrill  <jason@redhat.com>
1487
1488         PR c++/44629
1489         * pt.c (unify): An unresolved overload is a nondeduced context.
1490
1491 2011-03-09  Martin Jambor  <mjambor@suse.cz>
1492
1493         PR tree-optimization/47714
1494         * method.c (use_thunk): Clear addressable flag of thunk arguments.
1495
1496 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
1497
1498         PR c++/47705
1499         * pt.c (convert_nontype_argument): Only call decay_conversion on
1500         arrays.
1501
1502 2011-03-08  Jason Merrill  <jason@redhat.com>
1503
1504         PR c++/47488
1505         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
1506
1507         PR c++/47705
1508         * pt.c (convert_nontype_argument): Don't crash on non-pointer
1509         argument to pointer parameter.
1510
1511         PR c++/45651
1512         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
1513         !TREE_PUBLIC decls.
1514
1515 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
1516
1517         PR c++/47957
1518         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
1519         consider scopes of primary template definitions.  Adjust comments.
1520
1521 2011-03-07  Jason Merrill  <jason@redhat.com>
1522
1523         PR c++/48003
1524         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
1525         integer overflow.
1526         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
1527
1528         PR c++/48015
1529         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
1530
1531         PR c++/48008
1532         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
1533         (write_CV_qualifiers_for_type): Not here.
1534
1535 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
1536
1537         * lang-specs.h: Match -save-temps* instead of -save-temps.
1538
1539 2011-03-05  Jason Merrill  <jason@redhat.com>
1540
1541         * mangle.c (write_expression): Change ABI v6 to v5.
1542         (write_type): Likewise.
1543
1544 2011-03-04  Jan Hubicka  <jh@suse.cz>
1545
1546         PR lto/47497
1547         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
1548         and cgraph_add_thunk.
1549         * method.c (make_alias_for_thunk, use_thunk): Likewise.
1550         * mangle.c (mangle_decl): Likewise.
1551
1552 2011-03-04  Jason Merrill  <jason@redhat.com>
1553
1554         PR c++/47971
1555         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
1556         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
1557
1558         PR c++/46220
1559         * search.c (check_final_overrider): Allow pointer to same incomplete
1560         class type with different cv-quals.
1561
1562 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
1563
1564         PR c++/47974
1565         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
1566
1567 2011-03-03  Jason Merrill  <jason@redhat.com>
1568
1569         PR c++/47950
1570         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
1571
1572 2011-03-02  Jason Merrill  <jason@redhat.com>
1573
1574         PR c++/47950
1575         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
1576
1577         PR c++/47774
1578         * tree.c (build_vec_init_elt): Split out from...
1579         (build_vec_init_expr): ...here.
1580         (diagnose_non_constexpr_vec_init): New fn.
1581         * semantics.c (potential_constant_expression_1): Use it.
1582         * cp-tree.h: Declare it.
1583
1584 2011-03-01  Jason Merrill  <jason@redhat.com>
1585
1586         PR c++/46159
1587         * parser.c (cp_parser_primary_expression): Don't warn about a
1588         failed tentative parse.
1589
1590         PR c++/47200
1591         * semantics.c (cxx_bind_parameters_in_call): Don't call
1592         adjust_temp_type on non-constant args.
1593
1594         PR c++/47851
1595         * call.c (standard_conversion): Provide requested cv-quals on
1596         class rvalue conversion.
1597
1598         PR c++/46282
1599         * decl2.c (grokbitfield): Handle type-dependent width.
1600
1601 2011-02-28  Jason Merrill  <jason@redhat.com>
1602
1603         PR c++/47873
1604         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
1605         after checking for a non-thunk.
1606
1607 2011-02-26  Jason Merrill  <jason@redhat.com>
1608
1609         PR c++/47904
1610         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
1611         * pt.c (iterative_hash_template_arg): And hash it.
1612
1613         PR c++/47897
1614         * semantics.c (non_const_var_error): Split out from...
1615         (cxx_eval_constant_expression): ...here.
1616         (potential_constant_expression_1) [VAR_DECL]: Use it.
1617         Allow dependent variables.
1618
1619 2011-02-24  Jason Merrill  <jason@redhat.com>
1620
1621         * parser.c (cp_parser_constant_expression): Set
1622         non_integral_constant_expression correctly for C++0x too.
1623         (cp_parser_static_assert): Allow non-constant expression.
1624         (cp_parser_direct_declarator): Expect non_constant_p to be set
1625         properly for C++0x.
1626         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
1627         * semantics.c (maybe_constant_value): Check type_unknown_p too.
1628         (potential_rvalue_constant_expression): New.
1629         (require_potential_rvalue_constant_expression): New.
1630
1631 2011-02-23  Jason Merrill  <jason@redhat.com>
1632
1633         * cp-tree.h (DECL_PARM_LEVEL): New.
1634         (struct lang_decl_parm): Add level field.
1635         * name-lookup.c (function_parm_depth): New fn.
1636         * name-lookup.h: Declare it.
1637         * parser.c (cp_parser_parameter_declaration_list): Use it.
1638         * mangle.c (struct globals): Add parm_depth field.
1639         (write_bare_function_type): Adjust it.
1640         (write_expression): Include the level delta in PARM_DECL mangling
1641         for abi >= 6.
1642
1643         * semantics.c (finish_decltype_type): Remove shortcut for decltype
1644         of id-expression.
1645         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
1646
1647 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
1648
1649         PR c++/46868
1650         * parser.c (cp_parser_class_specifier): Require a closing brace
1651         to attempt error recovery.
1652
1653 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
1654
1655         PR c++/47833
1656         * pt.c (struct pending_template): Add chain_next GTY option.
1657         * decl.c (struct named_label_use_entry): Likewise.
1658
1659 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
1660
1661         PR c++/47242
1662         * semantics.c (build_lambda_object): Bail out if a field is
1663         error_mark_node.
1664
1665 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
1666
1667         PR c++/47666
1668         * class.c (dfs_declare_virt_assop_and_dtor)
1669         (declare_virt_assop_and_dtor): New static functions.
1670         (add_implicitly_declared_members): Use
1671         declare_virt_assop_and_dtor.
1672
1673 2011-02-21  Jason Merrill  <jason@redhat.com>
1674
1675         PR c++/47207
1676         * decl2.c (decl_constant_var_p): A constexpr var needs an
1677         initializer to be constant.
1678         * semantics.c (cxx_eval_constant_expression): Complain about
1679         constexpr var used in its own initializer.
1680         * call.c (set_up_extended_ref_temp): Set
1681         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
1682
1683 2011-02-20  Jason Merrill  <jason@redhat.com>
1684
1685         PR c++/47199
1686         * semantics.c (cxx_eval_call_expression): Call
1687         cxx_eval_constant_expression in trivial shortcut.
1688
1689         PR c++/46831
1690         * call.c (convert_class_to_reference): Don't try to set up a
1691         second conv sequence for non-viable candidates.
1692
1693         PR c++/47703
1694         * error.c (location_of): Handle non-tagged types.
1695
1696         PR c++/46472
1697         * method.c (process_subob_fn): Instantiate constexpr templates.
1698         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
1699
1700 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
1701
1702         PR c++/46394
1703         * pt.c (tsubst_pack_expansion): do not use
1704         cp_tree_equal/same_type_p to detect an expansion of a parameter
1705         pack.
1706
1707 2011-02-19  Jason Merrill  <jason@redhat.com>
1708
1709         PR c++/47503
1710         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
1711
1712 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1713
1714         PR c++/47795
1715         * semantics.c (finish_non_static_data_member): Early return if
1716         object is error_mark_node.
1717
1718 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
1719
1720         PR c++/47208
1721         * pt.c (do_auto_deduction): Do not mention error_mark_node in
1722         diagnostics.
1723         * semantics.c (finish_id_expression): Do not pass erroneous decl
1724         to decl_constant_var_p.
1725
1726 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
1727
1728         PR c++/47783
1729         * cvt.c (convert_from_reference): Call mark_exp_read.
1730
1731 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
1732
1733         PR c++/47172
1734         * pt.c (finish_call_expr): Consider a call expression that has a
1735         dependent "this" pointer as being dependent.  Add comments.
1736         (dependent_type_p, type_dependent_expression_p): Update comments.
1737
1738 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
1739
1740         PR c++/47326
1741         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
1742         expansion arguments are not evaluated.
1743
1744 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
1745
1746         PR c++/47704
1747         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
1748         instead of TYPE_LANG_FLAG_3.
1749         * pt.c (lookup_template_class): Copy over
1750         ENUM_FIXED_UNDERLYING_TYPE_P.
1751
1752 2011-02-15  Jason Merrill  <jason@redhat.com>
1753
1754         PR c++/46807
1755         * method.c (synthesized_method_walk): Always exit early for
1756         trivial fn in C++98 mode.
1757
1758 2011-02-14  Jason Merrill  <jason@redhat.com>
1759
1760         PR c++/47482
1761         * parser.c (cp_parser_enumerator_definition): Call
1762         fold_non_dependent_expr.
1763
1764 2011-02-09  Jason Merrill  <jason@redhat.com>
1765
1766         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
1767         * semantics.c (finish_fname): Only return the name if we're in
1768         a function.
1769
1770         * decl.c (build_enumerator): Don't perform integral promotions on
1771         non-integral constants.
1772
1773         * cvt.c (convert_to_void): Handle null op1.
1774
1775         * class.c (type_has_constexpr_default_constructor): Make sure the
1776         caller stripped an enclosing array.
1777         * init.c (perform_member_init): Strip arrays before calling it.
1778
1779         PR c++/47511
1780         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
1781
1782 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
1783
1784         PR c++/47398
1785         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
1786         template parameters in account.
1787
1788 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
1789
1790         PR c++/46890
1791         * parser.c (cp_parser_class_specifier): Fix setting of
1792         want_semicolon.
1793
1794 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
1795
1796         PR c++/47416
1797         * semantics.c (build_data_member_initialization): Handle
1798         STATEMENT_LIST always instead of just for CLEANUP_BODY.
1799
1800 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1801
1802         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
1803         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
1804
1805 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
1806
1807         PR c++/47311
1808         * cp-tree.h (fixup_template_parms): Declare.
1809         * pt.c (end_template_parm_list): Do not fixup template parms here.
1810         (fixup_template_parms): Remove static. Fix typo in the
1811         comments. Remove useless code statement.
1812         (fixup_template_parm): For a template template parameter, fixup
1813         its attributes before fixing up its type.
1814         * parser.c
1815         (cp_parser_template_declaration_after_export): After parsing
1816         template parameters fixup their types.
1817
1818 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
1819
1820         PR c++/47476
1821         * semantics.c (potential_constant_expression_1): Handle
1822         TRUTH_XOR_EXPR.
1823
1824 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
1825
1826         PR c++/43601
1827         * semantics.c (expand_or_defer_fn_1): Handle it.
1828         * decl2.c (decl_needed_p): Likewise.
1829
1830 2011-01-21  Jason Merrill  <jason@redhat.com>
1831
1832         PR c++/47041
1833         * semantics.c (build_constexpr_constructor_member_initializers):
1834         Handle trivial copy.
1835
1836 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
1837
1838         PR c++/47388
1839         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
1840         assume init must be NULL if scope is NULL.
1841         (begin_range_for_stmt): Likewise.
1842
1843 2011-01-21  Jason Merrill  <jason@redhat.com>
1844
1845         PR c++/46552
1846         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
1847
1848         PR c++/46977
1849         * semantics.c (potential_constant_expression_1): Split out from
1850         potential_constant_expression.  Add want_rval parm.  Handle
1851         template expression forms.  Don't enforce restriction on address
1852         of automatic variable here.  Add a couple of diagnostics that
1853         had been missing.
1854         (require_potential_constant_expression): New entry point.
1855         (build_data_member_initialization, register_constexpr_fundef): Adjust.
1856         (maybe_constant_value): Check potential_constant_expression.
1857         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
1858         * tree.c (build_vec_init_expr): Adjust.
1859
1860 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
1861
1862         PR c++/47303
1863         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
1864         or DECL_EXTERNAL.
1865
1866 2011-01-17  Jason Merrill  <jason@redhat.com>
1867
1868         PR c++/47067
1869         * semantics.c (base_field_constructor_elt): New fn.
1870         (cxx_eval_bare_aggregate): Use it.
1871         (build_data_member_initialization): Leave COMPONENT_REF for
1872         vfield inits.
1873
1874 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1875
1876         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
1877         workaround.
1878
1879 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
1880             Jonathan Wakely  <jwakely.gcc@gmail.com>
1881
1882         PR c++/33558
1883         * decl.c (grokdeclarator): Reject mutable reference members.
1884
1885 2011-01-14  Jason Merrill  <jason@redhat.com>
1886
1887         PR c++/47289
1888         * pt.c (coerce_template_parms): Fix error recovery.
1889
1890         PR c++/46903
1891         * typeck2.c (check_narrowing): Only check arithmetic types.
1892
1893         PR c++/46688
1894         * tree.c (build_vec_init_expr): Handle flexible array
1895         properly.
1896
1897 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
1898
1899         PR c++/47213
1900         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
1901         TYPE_MAIN_DECL instead of TYPE_NAME.
1902         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
1903         * decl2.c (determine_visibility): Add check
1904         of CLASS_TYPE_P for underlying_type.
1905
1906 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1907
1908         * cp-tree.h (begin_for_scope): New prototype.
1909         (begin_for_stmt): Update prototype.
1910         (begin_range_for_stmt): Update prototype.
1911         * init.c (build_vec_init): Update call to begin_for_stmt.
1912         * parser.c (cp_parser_for): New.
1913         (cp_parser_c_for): Add three new parameters.
1914         (cp_parser_range_for): Likewise. Most parsing code removed.
1915         (cp_parser_iteration_statement): Call cp_parser_for instead of
1916         cp_parser_c_for and cp_parser_range_for.
1917         (cp_parser_for_init_statement): Add new parameter and return type.
1918         (cp_parser_block_declaration): Update call to
1919         cp_parser_simple_declaration.
1920         (cp_parser_simple_declaration): Add new parameter.
1921         Update call to cp_parser_init_declarator.
1922         (cp_parser_init_declarator): Add new parameter.
1923         * pt.c (tsubst_expr): Update call to begin_for_stmt.
1924         * semantics.c (begin_for_scope): New.
1925         (begin_for_stmt): Add two new parameters.
1926         (begin_range_for_stmt): Likewise.
1927
1928 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
1929
1930         * parser.c (cp_parser_objc_at_property_declaration): Improved
1931         error message.
1932
1933 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
1934
1935         PR debug/46955
1936         * cp-lang.c (get_template_innermost_arguments_folded)
1937         (get_template_argument_pack_elems_folded)
1938         (template_arg_needs_folding, fold_cplus_constants): New static
1939         functions.
1940         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
1941         get_template_innermost_arguments_folded.
1942         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
1943         get_template_argument_pack_elems_folded.
1944
1945 2011-01-11  Jason Merrill  <jason@redhat.com>
1946
1947         PR c++/46658
1948         * init.c (build_new_1): Handle value-init in templates differently.
1949
1950         PR c++/45520
1951         * tree.c (maybe_dummy_object): Check current_class_ref against
1952         context, not current_class_type.
1953
1954 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
1955
1956         PR objc/47078
1957         * parser.c (cp_parser_objc_typename): If the type is unknown, for
1958         error recovery purposes behave as if it was not specified so that
1959         the default type is used.
1960
1961 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
1962
1963         PR c++/47022
1964         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
1965         for the second build_x_va_arg argument.
1966
1967 2011-01-05  Tom Tromey  <tromey@redhat.com>
1968
1969         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
1970         (lvalue_or_else): Likewise.
1971
1972 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
1973
1974         PR target/38662
1975         * tree.c (cxx_type_hash_eq):
1976         Allow METHOD_TYPE, too.
1977
1978 \f
1979 Copyright (C) 2011 Free Software Foundation, Inc.
1980
1981 Copying and distribution of this file, with or without modification,
1982 are permitted in any medium without royalty provided the copyright
1983 notice and this notice are preserved.