OSDN Git Service

d9e194978d0c6cf0f5bd305924a42d984429c806
[pf3gnuchains/gcc-fork.git] / gcc / cp / ChangeLog
1 2011-12-19  Jakub Jelinek  <jakub@redhat.com>
2
3         PR c++/51619
4         * semantics.c (cxx_eval_vec_init_1): If init is NULL for
5         multidimensional array, just set eltinit to NULL_TREE.
6
7         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
8         gimple_seq_add_stmt_without_update instead of gimplify_seq_add_stmt.
9
10 2011-12-19  Dodji Seketeli  <dodji@redhat.com>
11
12         PR c++/51477
13         * search.c (lookup_member): Get out early on invalid base type.
14
15 2011-12-19  Jason Merrill  <jason@redhat.com>
16
17         PR c++/51489
18         * semantics.c (cxx_eval_outermost_constant_expr): Check for
19         conversion from pointer to integer here.
20         (cxx_eval_constant_expression) [NOP_EXPR]: Not here.
21
22 2011-12-18  Paolo Carlini  <paolo.carlini@oracle.com>
23
24         * semantics.c (finish_compound_literal): Don't call check_narrowing
25         if !(complain & tf_warning_or_error).
26
27 2011-12-17  Jason Merrill  <jason@redhat.com>
28
29         PR c++/51588
30         * parser.c (cp_parser_ptr_operator): Reject pointer to member of enum.
31
32 2011-12-17  Richard Henderson  <rth@redhat.com>
33
34         PR bootstrap/51072
35         * config-lang.in: Revert last change.
36
37 2011-12-17  Jason Merrill  <jason@redhat.com>
38
39         PR c++/51586
40         * parser.c (cp_parser_check_class_key): Handle error_mark_node.
41
42         PR c++/51587
43         * decl.c (start_enum): Avoid using ENUM_UNDERLYING_TYPE on a
44         non-enum.
45
46 2011-12-16  Jason Merrill  <jason@redhat.com>
47
48         PR c++/51416
49         * init.c (build_value_init_noctor): Check for incomplete type.
50
51 2011-12-16  Richard Henderson  <rth@redhat.com>
52
53         PR bootstrap/51072
54         * config-lang.in (target_libs): Include target-libitm.
55
56 2011-12-16  Jason Merrill  <jason@redhat.com>
57
58         PR c++/51461
59         * decl.c (check_static_variable_definition): Check COMPLETE_TYPE_P
60         before literal_type_p.
61
62         PR c++/51331
63         * class.c (convert_to_base_statically): Just call
64         build_simple_base_path.
65         (build_simple_base_path): Check field offset.
66
67 2011-12-15  Jason Merrill  <jason@redhat.com>
68
69         PR c++/51458
70         * decl.c (has_designator_problem): New.
71         (reshape_init_r): Check for improper use of
72         designated initializers.
73
74 2011-12-15  Jakub Jelinek  <jakub@redhat.com>
75
76         PR c++/51463
77         * decl.c (grokdeclarator): Set DECL_INITIAL of decl
78         to error_mark_node to disallow NSDMI if declspecs->storage_class
79         is sc_static.
80         * parser.c (cp_parser_late_parse_one_default_arg): Return early
81         if default_arg is error_mark_node.
82
83         PR c/51360
84         * semantics.c (finish_omp_clauses): For OMP_CLAUSE_NUM_THREADS_EXPR
85         and OMP_CLAUSE_SCHEDULE_CHUNK_EXPR call mark_rvalue_use.
86
87 2011-12-15  Dodji Seketeli  <dodji@redhat.com>
88
89         PR c++/51473
90         * decl.c (check_tag_decl): Error out on auto specifier with no
91         declarator.
92
93 2011-12-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
94
95         PR libstdc++/51365
96         * cp-tree.h (CPTK_IS_FINAL): Add.
97         * parser.c (cp_parser_translation_unit): Handle RID_IS_FINAL.
98         (cp_parser_primary_expression, cp_parser_trait_expr): Likewise.
99         * semantics.c (trait_expr_value, finish_trait_expr): Handle
100         CPTK_IS_FINAL.
101         * cxx-pretty-print.c (pp_cxx_trait_expression): Likewise.
102
103 2011-12-14  Jason Merrill  <jason@redhat.com>
104
105         PR c++/51554
106         * semantics.c (cxx_eval_indirect_ref): Fix sanity check.
107
108         PR c++/51248
109         * decl.c (copy_type_enum): Also update variants.
110         (finish_enum): Allow variants of complete enums.
111
112 2011-12-14  Dodji Seketeli  <dodji@redhat.com>
113
114         PR c++/51475
115         * call.c (struct conversion)<u.next>: Update comment.
116         (next_conversion): New static function.
117         (convert_like_real): Use it.
118
119         PR c++/51476
120         * pt.c (convert_nontype_argument): Don't call maybe_constant_value
121         for PTRMEM_CST nodes.
122
123 2011-12-13  Jason Merrill  <jason@redhat.com>
124
125         PR c++/51406
126         PR c++/51161
127         * typeck.c (build_static_cast_1): Fix cast of lvalue to
128         base rvalue reference.
129
130 2011-12-13  Paolo Carlini  <paolo.carlini@oracle.com>
131
132         PR c++/51464
133         * semantics.c (begin_lambda_type): Check begin_class_definition return
134         value for error_mark_node.
135         * parser.c (cp_parser_lambda_expression): Check begin_lambda_type
136         return value for error_mark_node.
137
138 2011-12-13  Fabien Chêne  <fabien@gcc.gnu.org>
139
140         PR c++/14258
141         * cp-tree.h (USING_DECL_TYPENAME_P): New macro.
142         * parser.c (cp_parser_nonclass_name): Handle using declarations
143         that refer to a dependent type.
144         (cp_parser_using_declaration): Set USING_DECL_TYPENAME_P to 1 if
145         the using declaration refers to a dependent type.
146
147 2011-12-12  Jakub Jelinek  <jakub@redhat.com>
148
149         PR c++/51496
150         * parser.c (cp_parser_omp_for_loop): When determining whether
151         to use cp_parser_omp_for_incr or cp_parser_expression and when
152         calling cp_parser_omp_for_incr, use real_decl instead of decl.
153
154 2011-12-12  Torvald Riegel  <triegel@redhat.com>
155
156         * semantics.c (finish_transaction_stmt, build_transaction_expr):
157         Accept new noexcept parameter and handle it.
158         * cp-tree.h (finish_transaction_stmt, build_transaction_expr): Adapt
159         declarations.
160         * parser.c (cp_parser_exception_specification_opt): Extract
161         noexcept-specification parsing to ...
162         (cp_parser_noexcept_specification_opt): ...here.  Allow for parsing
163         non-constexpr noexcept arguments.
164         (cp_parser_transaction, cp_parser_transaction_expression): Parse
165         and handle noexcept-specifications.
166         (cp_parser_function_transaction): Adapt to finish_transaction_stmt
167         change.
168         * pt.c (tsubst_expr): Adapt to new noexcept parameters when
169         building transactions.
170
171 2011-12-12  Torvald Riegel  <triegel@redhat.com>
172
173         * cp-tree.def (MUST_NOT_THROW_EXPR): Add condition parameter.
174         * cp-tree.h (MUST_NOT_THROW_COND): New.
175         (build_must_not_throw_expr): Declare.
176         * dump.c (cp_dump_tree): Dump MUST_NOT_THROW_EXPR condition.
177         * except.c (build_must_not_throw_expr): New.
178         (initialize_handler_parm): Use it.
179         (begin_eh_spec_block, wrap_cleanups_r): Adapt to condition.
180         * pt.c (tsubst_expr): Handle MUST_NOT_THROW_EXPR.
181
182 2011-12-12  Richard Guenther  <rguenther@suse.de>
183
184         PR lto/51262
185         * tree.c (cp_free_lang_data): No longer clear anonymous names.
186
187 2011-12-09  Jason Merrill  <jason@redhat.com>
188
189         PR c++/51151
190         * call.c (perform_implicit_conversion_flags): Remove earlier kludge.
191         * parser.c (cp_parser_omp_for_loop): Use cp_parser_omp_for_incr
192         in templates even if decl isn't type-dependent.
193
194 2011-12-09  Dodji Seketeli  <dodji@redhat.com>
195
196         PR c++/51289
197         * cp-tree.h (TYPE_TEMPLATE_INFO): Rewrite this accessor macro to
198         better support aliased types.
199         (TYPE_ALIAS_P): Don't crash on TYPE_NAME nodes that are not
200         TYPE_DECL.
201         * pt.c (find_parameter_packs_r): Handle types aliases.
202         (push_template_decl_real): Check for bare parameter packs in the
203         underlying type of an alias template.
204
205 2011-12-08  Jason Merrill  <jason@redhat.com>
206
207         PR c++/51318
208         * typeck.c (build_x_conditional_expr): Restrict glvalue games to C++11.
209
210         PR c++/51459
211         * pt.c (tsubst_expr) [DECL_EXPR]: Handle capture proxies properly.
212         * semantics.c (insert_capture_proxy): No longer static.
213         * cp-tree.h: Declare it.
214
215 2011-12-07  Jakub Jelinek  <jakub@redhat.com>
216
217         PR c++/51401
218         * decl.c (grokdeclarator): Error for auto on non-static data members.
219
220         PR c++/51429
221         * typeck2.c (cxx_incomplete_type_diagnostic): Don't
222         ICE if TREE_OPERAND (value, 1) is overloaded.
223
224         PR c++/51229
225         * decl.c (reshape_init_class): Complain if d->cur->index is
226         INTEGER_CST.
227         * parser.c (cp_parser_initializer_list): If cp_parser_parse_definitely
228         fails, clear designator.
229
230         PR c++/51369
231         * init.c (build_value_init): Allow array types even when
232         processing_template_decl.
233
234 2011-12-07  Ed Smith-Rowland <3dw4rd@verizon.net>
235
236         PR c++/51420
237         * parser.c (lookup_literal_operator): Check that declaration is an
238         overloaded function.
239
240 2011-12-06  Jakub Jelinek  <jakub@redhat.com>
241
242         PR c++/51430
243         * pt.c (tsubst_decl): Don't call strip_array_domain on
244         error_mark_node.
245
246 2011-12-06  Paolo Carlini  <paolo.carlini@oracle.com>
247
248         PR c++/51431
249         * init.c (build_value_init): Check build_aggr_init_expr return
250         value for error_mark_node.
251
252 2011-12-06  Dodji Seketeli  <dodji@redhat.com>
253
254         PR c++/51427
255         * parser.c (cp_parser_check_class_key): Add note about earlier
256         declaration.
257
258 2011-12-05  Fabien Chêne  <fabien@gcc.gnu.org>
259
260         PR c++/51319
261         * semantics.c (finish_id_expression): Strip using declarations
262         early in the function.
263
264 2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>
265
266         PR c++/51399
267         * init.c (perform_member_init): Early return if init is error_mark_node.
268
269 2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>
270
271         PR c++/51414
272         * semantics.c (finish_underlying_type): Use %qT, not %qE for the
273         error message.
274
275 2011-12-05  Jason Merrill  <jason@redhat.com>
276
277         * init.c (expand_default_init): Unshare args in ctor delegation.
278
279 2011-12-05  Ville Voutilainen  <ville.voutilainen@gmail.com>
280             Pedro Lamarão  <pedro.lamarao@gmail.com>
281
282         Implement C++11 delegating constructors.
283         * cp-tree.h (enum cpp0x_warn_str): Add CPP0X_DELEGATING_CTORS.
284         * error.c (maybe_warn_cpp0x): Adjust.
285         * parser.c (cp_parser_mem_initializer_list): Use it.  Diagnose
286         multiple initializers if a delegating initializer is present.
287         * call.c (build_special_member_call): Convert an assert into an if.
288         * init.c (perform_target_ctor): New.
289         (emit_mem_initializers): Use it.
290         (expand_member_init, expand_default_init): Adjust.
291
292 2011-12-05  Paolo Carlini  <paolo.carlini@oracle.com>
293
294         PR c++/51404
295         * typeck2.c (build_functional_cast): Early return error_mark_node
296         for invalid uses of 'auto'.
297         * parser.c (cp_parser_direct_declarator): When
298         cp_parser_constant_expression returns error do not produce further
299         diagnostic for the bound.
300
301 2011-12-03  Paolo Carlini  <paolo.carlini@oracle.com>
302
303         PR c++/51313
304         * call.c (null_ptr_cst_p): STRIP_NOPS in c++11 mode too.
305
306 2011-12-01  Jason Merrill  <jason@redhat.com>
307
308         * call.c (build_new_method_call_1): Handle aggregate initialization.
309         * tree.c (stabilize_init): Handle CONSTRUCTOR.
310
311 2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>
312
313         PR c++/51326
314         * call.c (build_user_type_conversion_1): Early return NULL if
315         expr is NULL_TREE.
316
317 2011-12-01  Paolo Carlini  <paolo.carlini@oracle.com>
318
319         PR c++/51367
320         * pt.c (unify_inconsistency): Use either %qT or %qE depending on
321         whether parm is a type or non-type parameter.
322
323 2011-11-30  Jason Merrill  <jason@redhat.com>
324
325         PR c++/51009
326         * name-lookup.c (push_to_top_level): Set stmts_are_full_exprs_p.
327         * decl.c (build_aggr_init_full_exprs): Just assert that it's true.
328         (check_initializer): Here too.
329
330 2011-11-30  Paolo Carlini  <paolo.carlini@oracle.com>
331
332         PR c++/51299
333         * rtti.c (ifnonnull): Use nullptr_node.
334         (build_dynamic_cast_1): Call cp_truthvalue_conversion instead
335         of c_common_truthvalue_conversion.
336
337 2011-11-24  Paolo Carlini  <paolo.carlini@oracle.com>
338
339         PR c++/51227
340         * pt.c (instantiate_class_template_1): If lambda_function (type)
341         is NULL_TREE do not instantiate_decl.
342
343 2011-11-24  Paolo Carlini  <paolo.carlini@oracle.com>
344
345         PR c++/51290
346         * class.c (build_base_path): For the null pointer check use
347         nullptr_node instead of integer_zero_node.
348
349 2011-11-22  Dodji Seketeli  <dodji@redhat.com>
350
351         PR c++/51145
352         * decl.c (check_elaborated_type_specifier): Gracefully handle
353         error_mark_node.  Accept bound template template parameters.
354         Update diagnostics for alias template specializations.  Update
355         comment.
356         * parser.c (cp_parser_elaborated_type_specifier): Use
357         check_elaborated_type_specifier for simple-template-ids as well.
358
359 2011-11-22  Paolo Carlini  <paolo.carlini@oracle.com>
360
361         PR c++/51265
362         * semantics.c (finish_decltype_type): Handle PTRMEM_CST.
363
364 2011-11-22  Dodji Seketeli  <dodji@redhat.com>
365
366         PR c++/51143
367         * parser.c (cp_parser_alias_declaration): Don't allow type
368         definition in templates.
369
370 2011-11-22  Paolo Carlini  <paolo.carlini@oracle.com>
371
372         PR c++/51196
373         * typeck.c (cp_build_binary_op, [case EQ_EXPR]): For targets having
374         TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_delta, do here
375         the -Wzero-as-null-pointer-constant warning for pmf == 0.
376
377 2011-11-21  Torvald Riegel  <triegel@redhat.com>
378
379         * pt.c (tsubst_copy_and_build): Handle TRANSACTION_EXPR.
380
381 2011-11-21  Ed Smith-Rowland  <3dw4rd@verizon.net>
382
383         PR c++/50958
384         * parser.c (lookup_literal_operator): New.
385         (cp_parser_userdef_char_literal): Use it.
386         (cp_parser_userdef_numeric_literal): Use it.
387         (cp_parser_userdef_string_literal): Use lookup_name.
388
389 2011-11-20  Jason Merrill  <jason@redhat.com>
390
391         * pt.c (tsubst_pack_expansion): Fix SFINAE.
392
393         PR c++/48322
394         * cp-tree.h (PACK_EXPANSION_EXTRA_ARGS): New.
395         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand for it.
396         * pt.c (tsubst_pack_expansion): Set and use it.
397         (iterative_hash_template_arg): Hash it.
398         (template_args_equal): Compare it.
399         (comp_template_args_with_info): Handle nulls.
400         * tree.c (cp_walk_subtrees): Walk it.
401         * typeck.c (structural_comptypes): Compare it.
402         * ptree.c (cxx_print_type): Print it.
403
404         * pt.c (type_unification_real): Set input_location
405         during default arg instantiation.
406
407 2011-11-20  Paolo Carlini  <paolo.carlini@oracle.com>
408
409         PR c++/51230
410         * pt.c (unify_inconsistency): Handle non-type parameters better.
411         * error.c (dump_expr): Handle TEMPLATE_TEMPLATE_PARM.
412
413 2011-11-20  Dodji Seketeli  <dodji@redhat.com>
414
415         PR c++/51194
416         * pt.c (lookup_template_class_1): Go out early if the type of the
417         template is error_mark_node.
418
419 2011-11-19  Paolo Carlini  <paolo.carlini@oracle.com>
420
421         PR c++/51216
422         * semantics.c (potential_constant_expression_1): Handle IF_STMT,
423         DO_STMT, FOR_STMT, and WHILE_STMT.
424
425 2011-11-18  Fabien Chêne  <fabien@gcc.gnu.org>
426
427         PR c++/51188
428         * search.c (lookup_field_1): Handle USING_DECLs for the storted
429         case.
430
431 2011-11-18  Paolo Carlini  <paolo.carlini@oracle.com>
432
433         PR c++/51150
434         * pt.c (tsubst_copy_and_build): Handle FIX_TRUNC_EXPR.
435
436 2011-11-18  Dodji Seketeli  <dodji@redhat.com>
437
438         PR c++/51191
439         * pt.c (primary_template_instantiation_p): Don't forget to
440         consider alias declarations.
441
442 2011-11-17  Jason Merrill  <jason@redhat.com>
443
444         PR c++/51186
445         * decl.c (grokdeclarator): Improve C++98 trailing return diagnostic.
446
447         N3203
448         * class.c (add_implicitly_declared_members): Update move
449         conditions.
450
451         PR c++/51137
452         * class.c (build_base_path): Don't do calculation in templates.
453
454 2011-11-15  Torvald Riegel  <triegel@redhat.com>
455
456         * parser.c (cp_parser_transaction_expression): Require parentheses
457         when parsing transaction expressions.
458
459 2011-11-14  Ed Smith-Rowland  <3dw4rd@verizon.net>
460
461         PR c++/51107
462         * typeck.c (check_literal_operator_args): Add processing_specialization
463         to check for void template fn. Test for exact arity for non-template fn.
464
465 2011-11-14  Fabien Chêne  <fabien@gcc.gnu.org>
466
467         PR c++/6936
468         PR c++/25994
469         PR c++/26256
470         PR c++/30195
471         * search.c (lookup_field_1): Look through USING_DECL.
472         (lookup_field_r): Call lookup_fnfields_slot instead of
473         lookup_fnfields_1.
474         * semantics.c (finish_member_declaration): Remove the check that
475         prevents USING_DECLs from being verified by
476         pushdecl_class_level. Call add_method for using declarations that
477         designates functions if the using declaration is in a template
478         class. Set DECL_IGNORED_P on class-scope using declarations.
479         * typeck.c (build_class_member_access_expr): Handle USING_DECLs.
480         * class.c (check_field_decls): Keep using declarations.
481         (add_method): Remove two diagnostics about conflicting using
482         declarations.
483         * parser.c (cp_parser_nonclass_name): Handle USING_DECLs.
484         * decl.c (start_enum): Call xref_tag whenever possible.
485         * cp-tree.h (strip_using_decl): Declare, and reident the previous
486         function.
487         * name-lookup.c (strip_using_decl): New function.
488         (supplement_binding_1): Call strip_using_decl on decl and
489         bval. Perform most of the checks with USING_DECLs stripped.  Also
490         check that the target decl and the target bval does not refer to
491         the same declaration. Allow pushing an enum multiple times in a
492         template class. Adjustment to diagnose using redeclarations. Call
493         diagnose_name_conflict.
494         (push_class_level_binding): Call strip_using_decl on decl and
495         bval. Perform most of the checks with USING_DECLs stripped. Return
496         true if both decl and bval refer to USING_DECLs and are dependent.
497         (diagnose_name_conflict): New function.
498
499 2011-11-12  Jason Merrill  <jason@redhat.com>
500
501         PR c++/986
502         * call.c (set_up_extended_ref_temp): Warn about references
503         bound to non-static reference members.
504         * init.c (perform_member_init): Pass in the member.
505
506         PR c++/51060
507         * cp-gimplify.c (cp_gimplify_expr): Leave clobbers alone.
508
509 2011-11-11  Ed Smith-Rowland  <3dw4rd@verizon.net>
510
511         PR c++/50976
512         * typeck.c (check_literal_operator_args): Reorganize test for string
513         operators so size_t search depends on finding string first.
514
515 2011-11-10  Jason Merrill  <jason@redhat.com>
516
517         PR c++/50372
518         * pt.c (convert_nontype_argument_function): Allow decls with
519         internal linkage in C++11.
520         (convert_nontype_argument): Likewise.
521
522         PR c++/50973
523         * decl2.c (mark_used): Defer synthesis of virtual functions.
524         * method.c (use_thunk): Make sure the target function has
525         DECL_INTERFACE_KNOWN.
526
527         PR c++/51079, DR 495
528         * call.c (joust): Check the second conversion sequence
529         before checking templates.
530
531 2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
532
533         PR c++/50837
534         * pt.c (tsubst_copy_and_build) [IDENTIFIER_NODE]: In C++11 mode
535         pass allow_non_integral_constant_expression_p = true to
536         finish_id_expression.
537
538 2011-11-09  Jason Merrill  <jason@redhat.com>
539
540         PR c++/50972
541         * pt.c (maybe_instantiate_noexcept): Check the return value of
542         push_tinst_level.
543
544         PR c++/51046
545         * parser.c (cp_parser_range_for): check_for_bare_parameter_packs.
546
547         PR c++/51029
548         * class.c (build_base_path): Don't ICE in fold_non_dependent_expr.
549
550         * Make-lang.in (check_g++_parallelize): Add dg-torture.exp.
551         (check-c++0x): Obsolete.
552
553         * pt.c (invalid_nontype_parm_type_p): Avoid printing "<type error>".
554
555         * pt.c (convert_nontype_argument): Only integral arguments
556         get early folding.
557
558         * parser.c (cp_parser_alias_declaration): Don't do semantic
559         processing if parsing failed.
560
561 2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
562
563         PR c++/51045
564         * init.c (build_new_1, build_vec_delete_1, build_delete):
565         Use nullptr_node.
566
567 2011-11-09  Paolo Carlini  <paolo.carlini@oracle.com>
568
569         PR c++/51047
570         * search.c (lookup_member): Change to take also a tsubst_flags_t
571         parameter.
572         (lookup_field, lookup_fnfields): Adjust calls.
573         * typeck.c (lookup_destructor, finish_class_member_access_expr,
574         build_ptrmemfunc_access_expr): Likewise.
575         * class.c (handle_using_decl, maybe_note_name_used_in_class):
576         Likewise.
577         * pt.c (resolve_typename_type): Likewise.
578         * semantics.c (lambda_function): Likewise.
579         * parser.c (cp_parser_perform_range_for_lookup,
580         cp_parser_lookup_name): Likewise.
581         * friend.c (make_friend_class): Likewise.
582         * name-lookup.c (pushdecl_maybe_friend_1, get_class_binding,
583         do_class_using_decl, lookup_qualified_name): Likewise.
584         * cp-tree.h (lookup_member): Adjust declaration.
585
586 2011-11-09  Dodji Seketeli  <dodji@redhat.com>
587
588         PR c++/51043
589         * cp-tree.h (TYPE_ALIAS_P, TYPE_TEMPLATE_INFO): Don't crash on
590         NULL TYPE_NAME.
591
592         PR c++/51027
593         * parser.c (cp_parser_alias_declaration): Require ';' at the end
594         of the declaration.
595
596 2011-11-09  Dodji Seketeli  <dodji@redhat.com>
597
598         PR debug/51032
599         * decl2.c (check_member_template): Accept alias templates and ...
600         * parser.c (cp_parser_alias_declaration): ... use it here.
601
602 2011-11-08  Jason Merrill  <jason@redhat.com>
603
604         PR c++/50835
605         * typeck.c (build_x_conditional_expr): Preserve lvalue/xvalueness.
606         * tree.c (lvalue_kind) [NON_DEPENDENT_EXPR]: Return clk_ordinary
607         in C++98.
608
609 2011-11-08  Richard Guenther  <rguenther@suse.de>
610
611         PR middle-end/51010
612         * error.c (dump_expr): Handle SSA_NAMEs.
613
614 2011-11-07  Richard Henderson  <rth@redhat.com>
615             Aldy Hernandez  <aldyh@redhat.com>
616             Torvald Riegel  <triegel@redhat.com>
617
618         Merged from transactional-memory.
619
620         * call.c (build_new_function_call): Call tm_malloc_replacement.
621         * class.c (check_bases): Compute transaction attributes for the
622         class based on its base classes.
623         (look_for_tm_attr_overrides, set_one_vmethod_tm_attributes,
624         set_method_tm_attributes): New.
625         (finish_struct_1): Call set_method_tm_attributes.
626         * cp-tree.h (begin_transaction_stmt, finish_transaction_stmt,
627         build_transaction_expr): Declare.
628         (TRANSACTION_EXPR_IS_STMT): New.
629         * decl.c (push_cp_library_fn): Set attribute to transaction_safe.
630         * except.c (do_get_exception_ptr): Apply transaction_pure.
631         (do_begin_catch): Mark _ITM_cxa_begin_catch transaction_pure and
632         record as transactional-memory wrapper.
633         (do_end_catch): Similarly for _ITM_cxa_end_catch.
634         (do_allocate_exception): Similarly for _ITM_cxa_allocate_exception.
635         (build_throw): Similarly for _ITM_cxa_throw. Make __cxa_rethrow pure.
636         * parser.h (struct cp_parser): Add in_transaction flag.
637         * parser.c (enum non_integral_constant): Add NIC_TRANSACTION.
638         (cp_parser_non_integral_constant_expression): Handle NIC_TRANSACTION.
639         (enum required_token): Add transaction tokens.
640         (cp_parser_transaction, cp_parser_transaction_expression,
641         cp_parser_function_transaction, cp_parser_transaction_cancel,
642         cp_parser_txn_attribute_opt): New.
643         (cp_parser_unary_expression): Handle RID_TRANSACTION*.
644         (cp_parser_statement, cp_parser_function_definition_after_declarator,
645         cp_parser_token_starts_function_definition_p): Same.
646         (cp_parser_required_error): Handle RT_TRANSACTION*.
647         * pt.c (tsubst_expr): Handle TRANSACTION_EXPR.
648         * semantics.c (begin_transaction_stmt, finish_transaction_stmt,
649         build_transaction_expr): New.
650
651 2011-11-08  Dodji Seketeli  <dodji@redhat.com>
652
653         Fix context handling of alias-declaration
654         * decl.c (start_decl): Update comment.
655         * error.c (dump_alias_template_specialization): Dump the context
656         of the specialization.
657         * parser.c (cp_parser_alias_declaration): Call pop_scope on the
658         pushed scope yielded by start_decl.
659
660 2011-11-08  Paolo Carlini  <paolo.carlini@oracle.com>
661
662         PR c++/50864
663         * parser.c (cp_parser_postfix_dot_deref_expression): Reject invalid
664         uses of '->' and '.' as postfix-expression in namespace scope.
665
666 2011-11-07  Jason Merrill  <jason@redhat.com>
667
668         PR c++/50848
669         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't crash
670         if lookup finds a non-function.
671
672         PR c++/50863
673         * parser.c (cp_parser_initializer_list): Parse C99
674         array designators tentatively.
675
676         PR c++/50870
677         * pt.c (tsubst_copy): Handle NAMESPACE_DECL.
678         (tsubst_copy_and_build) [COMPONENT_REF]: Handle a still-dependent
679         object.
680
681 2011-11-07  Paolo Carlini  <paolo.carlini@oracle.com>
682
683         * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
684         call in case COMPONENT_REF.
685
686 2011-11-07  Jason Merrill  <jason@redhat.com>
687             Dodji Seketeli  <dodji@redhat.com>
688
689         Support C++11 alias-declaration
690         PR c++/45114
691         * cp-tree.h (TYPE_DECL_ALIAS_P, TYPE_ALIAS_P)
692         (DECL_TYPE_TEMPLATE_P, DECL_ALIAS_TEMPLATE_P): New accessor
693         macros.
694         (TYPE_TEMPLATE_INFO): Get template info of an alias template
695         specializations from its TYPE_DECL.
696         (SET_TYPE_TEMPLATE_INFO): Set template info of alias template
697         specializations into its TYPE_DECL.
698         (DECL_CLASS_TEMPLATE_P): Re-write using the new
699         DECL_TYPE_TEMPLATE_P.
700         (enum cp_decl_spec): Add new ds_alias enumerator.
701         (alias_type_or_template_p, alias_template_specialization_p):
702         Declare new functions.
703         * parser.c (cp_parser_alias_declaration): New static function.
704         (cp_parser_check_decl_spec): Add "using" name for the `alias'
705         declspec.
706         (cp_parser_type_name): Update comment.  Support simple-template-id
707         representing alias template specializations in c++0x mode.
708         (cp_parser_qualifying_entity): Update comment.  Use
709         cp_parser_type_name.
710         (cp_parser_block_declaration): Handle alias-declaration in c++11.
711         Update comment.
712         (cp_parser_template_id): Handle specializations of alias
713         templates.
714         (cp_parser_member_declaration): Add alias-declaration production
715         to comment.  Support alias-declarations.
716         (cp_parser_template_declaration_after_export): Handle alias
717         templates in c++11.
718         * decl.c (make_typename_type, make_unbound_class_template): Accept
719         alias templates.
720         (grokdeclarator): Set TYPE_DECL_ALIAS_P on alias
721         declarations.
722         * decl2.c (grokfield): Move template creation after setting up the
723         TYPE_DECL of the alias, so that the TEMPLATE_DECL of the alias
724         template actually carries the right type-id of the alias
725         declaration.
726         * pt.c (alias_type_or_template_p)
727         (alias_template_specialization_p): Define new public functions.
728         (maybe_process_partial_specialization): Reject partial
729         specializations of alias templates.
730         (primary_template_instantiation_p): Consider alias template
731         instantiations.
732         (push_template_decl_real): Assert that TYPE_DECLs of alias
733         templates are different from those of class template.  Store
734         template info onto the TYPE_DECL of the alias template.
735         (convert_template_argument): Strip aliases from template
736         arguments.
737         (lookup_template_class_1): Handle the creation of the
738         specialization of an alias template.
739         (tsubst_decl): Create a substituted copy of the TYPE_DECL of an
740         member alias template.
741         (tsubst): Handle substituting into the type of an alias template.
742         Handle substituting UNBOUND_CLASS_TEMPLATE into
743         BOUND_TEMPLATE_TEMPLATE_PARM.
744         (do_type_instantiation): Better diagnostics when trying to
745         explicitely instantiate a non-class template.
746         * search.c (lookup_field_1, lookup_field_r): Support looking up
747         alias templates.
748         * semantics.c (finish_template_type): For instantiations of alias
749         templates, return the TYPE_DECL of the actual alias and not the
750         one of the aliased type.
751         * error.c (dump_alias_template_specialization): New static
752         function.
753         (dump_type): Handle printing of alias templates and their
754         specializations.  templates.
755         (dump_aggr_type): For specialization of alias templates, fetch
756         arguments from the right place.
757         (dump_decl): Print an alias-declaration like `using decl = type;'
758         (dump_template_decl):  Support printing of alias templates.
759
760 2011-11-07  Jason Merrill  <jason@redhat.com>
761
762         PR c++/35688
763         * decl2.c (constrain_visibility): Return void.  Add tmpl parm
764         which gives the constraint priority over an attribute.
765         (constrain_visibility_for_template, determine_visibility): Adjust.
766         * pt.c (instantiate_class_template_1): Call determine_visibility.
767
768         PR c++/33255
769         * decl.c (save_function_data): Clear local_typedefs.
770
771         * decl.c (cp_finish_decl): Only make_tree_vector if we're calling
772         check_initializer.
773
774 2011-11-06  Jason Merrill  <jason@redhat.com>
775
776         PR c++/35688
777         * decl2.c (constrain_visibility): Check decl_has_visibility_attr
778         rather than DECL_VISIBILITY_SPECIFIED.
779
780 2011-11-06  Paolo Carlini  <paolo.carlini@oracle.com>
781
782         PR c++/47695
783         * decl2.c (mark_used): Early return false after error or sorry.
784         * cp-tree.h (mark_used): Adjust declaration.
785         * semantics.c (finish_id_expression): Check mark_used return value.
786
787 2011-11-05  Jason Merrill  <jason@redhat.com>
788
789         PR c++/48370
790         * decl.c (cp_finish_decl): Mostly revert previous change.
791
792 2011-11-04  Jason Merrill  <jason@redhat.com>
793
794         PR c++/26714
795         * init.c (perform_member_init): Strip TARGET_EXPR around NSDMI.
796         Do temporary lifetime extension.
797
798         PR c++/48370
799         * decl.c (cp_finish_decl): Run cleanups in the right order.
800
801 2011-11-04  Eric Botcazou  <ebotcazou@adacore.com>
802
803         PR c++/50608
804         * semantics.c (finish_offsetof): Adjust call to fold_offsetof.
805         * typeck.c (cp_build_addr_expr_1): Call fold_offsetof_1.
806
807 2011-11-04  Paolo Carlini  <paolo.carlini@oracle.com>
808
809         * typeck.c (build_indirect_ref): Use ATTRIBUTE_UNUSED.
810         * mangle.c (write_unnamed_type_name): Likewise.
811
812 2011-11-04  Magnus Fromreide  <magfr@lysator.liu.se>
813
814         * parser.c (cp_parser_enumerator_list): Do not warn about
815         trailing commas in C++0x mode.
816
817 2011-11-04  Olivier Goffart  <olivier@woboq.com>
818             Jason Merrill  <jason@redhat.com>
819
820         PR c++/50965
821         * class.c (check_field_decls): NSDMI makes a class non-aggregate.
822
823 2011-11-04  Paolo Carlini  <paolo.carlini@oracle.com>
824
825         PR c++/48420
826         * call.c (conversion_null_warnings): For 'false' to NULL pointer,
827         just check that TREE_TYPE (expr) is a BOOLEAN_TYPE.
828
829 2011-11-04  Ed Smith-Rowland  <3dw4rd@verizon.net>
830
831         PR c++/50941
832         * parser.c (cp_parser_userdef_string_literal): Fix string length.
833
834 2011-11-04  Jason Merrill  <jason@redhat.com>
835
836         PR c++/48370
837         * call.c (extend_ref_init_temps, extend_ref_init_temps_1): New.
838         (set_up_extended_ref_temp): Use it.  Change cleanup parm to VEC.
839         (initialize_reference): Just call convert_like.
840         * decl.c (grok_reference_init): Just call initialize_reference.
841         (build_init_list_var_init): Remove.
842         (check_initializer): Change cleanup parm to VEC.  Handle references
843         like other types.  Call perform_implicit_conversion instead
844         of build_init_list_var_init.  Don't use build_aggr_init for
845         aggregate initialization of arrays.
846         (cp_finish_decl): Change cleanup to VEC.
847         * typeck2.c (store_init_value): Call extend_ref_init_temps.
848         Use build_vec_init for non-constant arrays.
849         * init.c (expand_aggr_init_1): Adjust.
850         (build_vec_init): Avoid re-converting an initializer
851         that's already digested.
852         * mangle.c (mangle_ref_init_variable): Add a discriminator.
853         * cp-tree.h: Adjust.
854         * typeck.c (convert_for_initialization): Adjust.
855         * decl2.c (maybe_emit_vtables): Adjust.
856
857 2011-11-02  Jason Merrill  <jason@redhat.com>
858
859         PR c++/50930
860         * init.c (build_aggr_init): Don't set LOOKUP_ONLYCONVERTING
861         if the initializer has TARGET_EXPR_DIRECT_INIT_P.
862         (expand_default_init): An initializer with TARGET_EXPR_DIRECT_INIT_P
863         or TARGET_EXPR_LIST_INIT_P doesn't need more processing.
864         * tree.c (bot_manip): Propagate TARGET_EXPR_IMPLICIT_P,
865         TARGET_EXPR_LIST_INIT_P, TARGET_EXPR_DIRECT_INIT_P.
866         * call.c (convert_like_real): Set TARGET_EXPR_DIRECT_INIT_P
867         as appropriate on list-value-initialization.
868
869         * parser.c (cp_parser_decl_specifier_seq): Change "C++0x" to
870         "C++11" in warnings.
871         (cp_lexer_get_preprocessor_token): Likewise.
872         (cp_parser_binary_expression): Likewise.
873
874 2011-11-02  Paolo Carlini  <paolo.carlini@oracle.com>
875
876         PR c++/50810
877         * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
878         (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
879         * decl.c (check_initializer): Likewise.
880         * semantics.c (finish_compound_literal): Likewise.
881
882 2011-11-02  Paolo Carlini  <paolo.carlini@oracle.com>
883
884         PR c++/50956
885         * typeck.c (build_const_cast_1): Fix -Wcast-qual for false
886         comp_ptr_ttypes_const.
887
888 2011-11-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
889
890         * Make-lang.in (g++spec.o): Pass SHLIB instead of SHLIB_LINK.
891
892 2011-11-01  Paolo Carlini  <paolo.carlini@oracle.com>
893
894         PR c++/44277
895         * cvt.c (cp_convert_to_pointer): Warn for zero as null pointer
896         constant.
897         * typeck.c (cp_truthvalue_conversion): Handle pointers and member
898         function pointers under c_inhibit_evaluation_warnings; use
899         nullptr_node for data member pointers.
900         (cp_build_binary_op): Tweak, just forward to cp_convert op1,
901         either a nullptr_node or an integer_zero_node.
902         (build_ptrmemfunc): Use nullptr_node.
903         * init.c (build_zero_init_1): Likewise.
904
905 2011-11-01  Jason Merrill  <jason@redhat.com>
906
907         PR c++/50500
908         DR 1082
909         * search.c (lookup_fnfields_idx_nolazy): Split out from...
910         (lookup_fnfields_1): ...here.
911         (lookup_fnfields_slot_nolazy): Use it.
912         * cp-tree.h: Declare it.
913         * class.c (type_has_move_assign): Use it.
914         (type_has_user_declared_move_assign): Likewise.
915
916 2011-10-31  Jason Merrill  <jason@redhat.com>
917
918         PR c++/50920
919         * class.c (check_field_decl): Change c++0x in diags to c++11.
920         * error.c (maybe_warn_cpp0x): Likewise.
921         * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
922         * pt.c (check_default_tmpl_args): Likewise.
923
924 2011-10-31   Diego Novillo  <dnovillo@google.com>
925
926         * mangle.c (get_mangled_id): Factor from ...
927         (mangle_decl): ... here.
928         Call get_mangled_id.
929
930 2011-10-25  Gerald Pfeifer  <gerald@pfeifer.com>
931
932         * NEWS (GCC 2.95): Refer to GNU/Linux instead of Linux.
933         (EGCS 1.0): Ditto.
934
935 2011-10-29  Paolo Carlini  <paolo.carlini@oracle.com>
936
937         PR c++/50901
938         * call.c (build_new_op_1): Handle ABS_EXPR together with the
939         other unary EXPR.
940
941 2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>
942
943         Revert:
944         2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>
945
946         PR c++/50864
947         * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
948         call in case COMPONENT_REF.
949
950 2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>
951
952         * pt.c (unify_pack_expansion): Initialize bad_old_arg and bad_new_arg.
953
954 2011-10-28  Paolo Carlini  <paolo.carlini@oracle.com>
955
956         PR c++/50864
957         * pt.c (tsubst_copy_and_build): Fix qualified_name_lookup_error
958         call in case COMPONENT_REF.
959
960 2011-10-27  Jason Merrill  <jason@redhat.com>
961
962         * semantics.c (cxx_eval_outermost_constant_expr): Check
963         cp_has_mutable_p.
964         (cxx_eval_component_reference): Check DECL_MUTABLE_P.
965
966 2011-10-27  Roberto Agostino Vitillo  <ravitillo@lbl.gov>
967
968         PR c++/30066
969         * decl2.c (determine_hidden_inline): New function.
970         (determine_visibility): fvisibility-inlines-hidden affects inline
971         functions.
972
973 2011-10-27  Dodji Seketeli  <dodji@redhat.com>
974
975         * cp-tree.h (DECL_DECLARES_TYPE_P): Fix comment.
976
977 2011-10-26  Jason Merrill  <jason@redhat.com>
978
979         * typeck.c (check_literal_operator_args): Avoid building types.
980
981 2011-10-26  Ed Smith-Rowland  <3dw4rd@verizon.net>
982
983         Implement C++11 user-defined literals.
984         * cp-objcp-common.c: (cp_tree_size) Return size of USERDEF_LITERAL tree.
985         * cp-tree.h: (UDLIT_OP_*, UDLIT_OPER_P): Literal operator
986         name tools. New tree code for user-defined literals.
987         * cxx-pretty-print.h: (pp_cxx_userdef_literal) New.
988         * cxx-pretty-print.c: (pp_cxx_userdef_literal) New.
989         (pp_cxx_primary_expression, pp_cxx_expression): Use it.
990         * decl.c: (cp_tree_node_structure): Return new tree code.
991         (duplicate_decls): Check for raw vs. template operator conflicts.
992         (grokfndecl, grokdeclarator): New checks for literal operators.
993         * error.c: (dump_expr): Warn about user-defined literals
994         in C++98 mode. (dump_function_name): Pretty printing.
995         * mangle.c: (write_literal_operator_name): New.
996         (write_unqualified_id, write_unqualified_name): Use it.
997         * parser.c: (cp_parser_operator): Handle operator"".
998         (cp_parser_userdef_char_literal, cp_parser_userdef_numeric_literal,
999         cp_parser_userdef_string_literal): New.
1000         (cp_parser_primary_expression): Handle new user-defined literal tokens
1001         with new functions.
1002         * semantics.c: (potential_constant_expression_1): Add
1003         user-defined literals.
1004         * typeck.c (check_raw_literal_operator,
1005         check_literal_operator_args): New.
1006
1007 2011-10-26  Paolo Carlini  <paolo.carlini@oracle.com>
1008
1009         * typeck.c (cp_build_addr_expr_1): Use BASELINK_P.
1010         * class.c (instantiate_type): Likewise.
1011         * pt.c (convert_nontype_argument_function, uses_template_parms,
1012         tsubst_copy, resolve_nondeduced_context, type_dependent_expression_p):
1013         Likewise.
1014         * semantics.c (finish_decltype_type): Likewise.
1015         * decl2.c (mark_used): Likewise.
1016         * name-lookup.c (arg_assoc): Likewise.
1017
1018 2011-10-26  Paolo Carlini  <paolo.carlini@oracle.com>
1019
1020         PR c++/50870
1021         * typeck.c (non_reference): Pass NULL_TREE through.
1022
1023 2011-10-25  Jason Merrill  <jason@redhat.com>
1024
1025         PR c++/50866
1026         PR c++/41449
1027         * semantics.c (maybe_cleanup_point_expr_void): No longer static.
1028         * typeck2.c (split_nonconstant_init_1): Use it.
1029         * cp-tree.h: Declare it.
1030         * decl.c (wrap_cleanups_r): Stop at CLEANUP_POINT_EXPR.
1031
1032         PR c++/49996
1033         * tree.c (stabilize_init): Stabilize scalar elements of a
1034         CONSTRUCTOR, too.
1035
1036 2011-10-25  Paolo Carlini  <paolo.carlini@oracle.com>
1037
1038         PR c++/50858
1039         * typeck.c (composite_pointer_type_r): Check return value of
1040         composite_pointer_type_r for error_mark_node.
1041
1042 2011-10-25  Paolo Carlini  <paolo.carlini@oracle.com>
1043
1044         PR c++/50861
1045         * pt.c (tsubst_copy_and_build): Check return value of
1046         tsubst_copy_and_build for error_mark_node.
1047
1048 2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>
1049
1050         PR c++/50841
1051         Revert:
1052         2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>
1053
1054         PR c++/50810
1055         * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
1056         (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
1057         * decl.c (check_initializer): Likewise.
1058         * semantics.c (finish_compound_literal): Likewise.
1059
1060 2011-10-23  Paolo Carlini  <paolo.carlini@oracle.com>
1061
1062         PR c++/50810
1063         * typeck2.c (check_narrowing): Adjust OPT_Wnarrowing diagnostics.
1064         (digest_init_r): Call check_narrowing irrespective of the C++ dialect.
1065         * decl.c (check_initializer): Likewise.
1066         * semantics.c (finish_compound_literal): Likewise.
1067
1068 2011-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
1069
1070         PR c++/45385
1071         * init.c (build_vec_init): Early return error_mark_node if
1072         maxindex is -1.
1073
1074 2011-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
1075
1076         PR c++/31423
1077         * typeck2.c (cxx_incomplete_type_diagnostic): Improve error message
1078         for invalid use of member function.
1079
1080 2011-10-21  Ville Voutilainen  <ville.voutilainen@gmail.com>
1081
1082         PR c++/50811
1083         * parser.c (cp_parser_class_head): Parse virt-specifiers
1084         regardless of whether an id is present
1085
1086 2011-10-20  Jason Merrill  <jason@redhat.com>
1087
1088         PR c++/41449
1089         * typeck2.c (split_nonconstant_init_1): Handle EH cleanup of
1090         initialized subobjects.
1091
1092 2011-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
1093
1094         PR c++/13657
1095         * class.c (instantiate_type): Fix error message.
1096
1097 2011-10-19  Jason Merrill  <jason@redhat.com>
1098
1099         PR c++/50793
1100         * tree.c (bot_manip): Propagate AGGR_INIT_ZERO_FIRST.
1101
1102 2011-10-19  Roland Stigge  <stigge@antcom.de>
1103
1104         PR translation/49704
1105         * semantics.c (potential_constant_expression_1): Use "AST" instead of
1106         "ast" in sorry message.
1107
1108 2011-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
1109
1110         PR c++/38761
1111         PR c++/40872
1112         * decl.c (duplicate_decls, make_typename_type, grokdeclarator): Use
1113         G_() in error message strings to facilitate translation.
1114         * semantics.c (finish_id_expression): Likewise.
1115         * parser.c (cp_parser_nested_name_specifier_opt,
1116         cp_parser_parameter_declaration): Likewise.
1117
1118 2011-10-18  Jason Merrill  <jason@redhat.com>
1119
1120         PR c++/50531
1121         * pt.c (instantiate_decl): Recognize when a function defaulted
1122         outside the class is already instantiated.
1123
1124         PR c++/50742
1125         * decl.c (check_previous_goto_1): Handle using-decl.
1126
1127 2011-10-18  Jason Merrill  <jason@redhat.com>
1128
1129         PR c++/50500
1130         DR 1082
1131         * class.c (type_has_user_declared_move_constructor): New.
1132         (type_has_user_declared_move_assign): New.
1133         (add_implicitly_declared_members): Add lazy copy ops
1134         even if there's a move.
1135         * method.c (lazily_declare_fn): Delete implicit copies
1136         if there's a move.
1137         (maybe_explain_implicit_delete): Explain this.  Use inform rather
1138         than error.
1139         * cp-tree.h: Declare new fns.
1140
1141 2011-10-18   Diego Novillo  <dnovillo@google.com>
1142
1143         * parser.c: Remove ENABLE_CHECKING markers around debugging
1144         routines.
1145         (cp_lexer_dump_tokens): Add arguments START_TOKEN and CURR_TOKEN.
1146         Make static
1147         When printing CURR_TOKEN surround it in [[ ]].
1148         Start printing at START_TOKEN.
1149         Update all users.
1150         (cp_debug_print_tree_if_set): New.
1151         (cp_debug_print_context): New.
1152         (cp_debug_print_context_stack): New.
1153         (cp_debug_print_flag): New.
1154         (cp_debug_print_unparsed_function): New.
1155         (cp_debug_print_unparsed_queues): New.
1156         (cp_debug_parser_tokens): New.
1157         (cp_debug_parser): New.
1158         (cp_lexer_start_debugging): Set cp_lexer_debug_stream to stderr.
1159         (cp_lexer_stop_debugging): Set cp_lexer_debug_stream to NULL.
1160         * parser.h (cp_lexer_dump_tokens): Remove declaration.
1161         (cp_debug_parser): Declare.
1162
1163 2011-10-17  Michael Spertus  <mike_spertus@symantec.com>
1164
1165         * cp-tree.def: Add BASES as a new tree code.
1166         * cp-tree.h (enum cp_trait_kind): Add CPTK_BASES, CPTK_DIRECT_BASES.
1167         (BASES_TYPE, BASES_DIRECT): Define.
1168         (calculate_bases, finish_bases, calculate_direct_bases): Declare.
1169         * parser.c (cp_parser_trait_expr, cp_parser_template_argument_list,
1170         (cp_parser_simple_type_specifier, cp_parser_save_nsdmi): Use them.
1171         * pt.c (find_parameter_packs_r, tsubst_pack_expansion): Likewise.
1172         * semantics.c (calculate_bases, finish_bases, calculate_direct_bases,
1173         dfs_calculate_bases_pre, dfs_calculate_bases_post,
1174         calculate_bases_helper): Define.
1175
1176 2011-10-17  Jason Merrill  <jason@redhat.com>
1177
1178         PR c++/50736
1179         * parser.c (cp_parser_lambda_introducer): Check for more
1180         invalid captures.
1181
1182 2011-10-17  Paolo Carlini  <paolo.carlini@oracle.com>
1183
1184         PR c++/44524
1185         * typeck.c (build_class_member_access_expr): Provide a better error
1186         message for X.Y where X is a pointer to class type.
1187         (finish_class_member_access_expr): Likewise.
1188
1189 2011-10-15  Tom Tromey  <tromey@redhat.com>
1190             Dodji Seketeli  <dodji@redhat.com>
1191
1192         * error.c (cp_diagnostic_starter): Pass the relevant location to
1193         diagnostic_report_current_module.
1194         (cp_diagnostic_finalizer): Call virt_loc_aware_diagnostic_finalizer.
1195
1196 2011-10-17  Paolo Carlini  <paolo.carlini@oracle.com>
1197
1198         PR c++/48489
1199         * typeck.c (finish_class_member_access_expr): Fix error call
1200         for TREE_CODE (access_path) == TREE_BINFO.
1201
1202 2011-10-15  Paolo Carlini  <paolo.carlini@oracle.com>
1203
1204         PR c++/50732
1205         * semantics.c (finish_trait_expr): Do not try to instantiate the
1206         the base type of an __is_base_of trait.
1207         (check_trait_type): Return a tree; use complete_type_or_else.
1208
1209 2011-10-14  Jason Merrill  <jason@redhat.com>
1210
1211         PR c++/50563
1212         * parser.c (cp_parser_cache_group): Handle end==CPP_COMMA.
1213         (cp_parser_save_nsdmi): Pass it.
1214
1215         PR c++/50707
1216         * method.c (walk_field_subobs): Check for NSDMI before
1217         complaining about uninitialized fields.
1218
1219         * pt.c (tsubst_decl) [FIELD_DECL]: Use void_zero_node
1220         instead of error_mark_node as a placeholder.
1221
1222 2011-10-14  Paolo Carlini  <paolo.carlini@oracle.com>
1223
1224         PR c++/38174
1225         * call.c (add_builtin_candidate): If two pointers have a composite
1226         pointer type, generate a single candidate with that type.
1227
1228 2011-10-13  Jason Merrill  <jason@redhat.com>
1229
1230         PR c++/50614
1231         * cp-tree.h (VAR_TEMPL_TYPE_FIELD_OR_FUNCTION_DECL_CHECK): New.
1232         (DECL_TEMPLATE_INFO): Use it.
1233         * pt.c (tsubst_decl) [FIELD_DECL]: Set DECL_TEMPLATE_INFO
1234         if the decl has an NSDMI.
1235         * init.c (perform_member_init): Use it.
1236
1237         PR c++/50437
1238         * cp-tree.h (struct tree_lambda_expr): Add closure field.
1239         (LAMBDA_EXPR_CLOSURE): New.
1240         * pt.c (tsubst_copy_and_build) [LAMBDA_EXPR]: Likewise.
1241         * semantics.c (build_lambda_object): Use it instead of TREE_TYPE.
1242         (begin_lambda_type, lambda_function, add_capture): Likewise.
1243         (add_default_capture, lambda_expr_this_capture): Likewise.
1244
1245 2011-10-13   Diego Novillo  <dnovillo@google.com>
1246
1247         * cp-tree.h (struct language_function): Rename in_function_try_handler
1248         to x_in_function_try_handler.
1249         Rename in_base_initializer to x_in_base_initializer.
1250         Update all users.
1251
1252 2011-10-13   Diego Novillo  <dnovillo@google.com>
1253
1254         * class.c (sorted_fields_type_new): Factor out of ...
1255         (finish_struct_1): ... here.
1256
1257 2011-10-13  Jason Merrill  <jason@redhat.com>
1258
1259         PR c++/50618
1260         * init.c (expand_aggr_init_1): Don't zero-initialize virtual
1261         bases of a base subobject.
1262
1263 2011-10-12  Paolo Carlini  <paolo.carlini@oracle.com>
1264
1265         PR c++/50594
1266         * decl.c (cxx_init_decl_processing): Add
1267         __attribute__((externally_visible)) to operator new and
1268         operator delete library fn.
1269
1270 2011-10-11  Michael Meissner  <meissner@linux.vnet.ibm.com>
1271
1272         * decl.c (duplicate_decls): Delete old interface with two parallel
1273         arrays to hold standard builtin declarations, and replace it with
1274         a function based interface that can support creating builtins on
1275         the fly in the future.  Change all uses, and poison the old
1276         names.  Make sure 0 is not a legitimate builtin index.
1277         * except.c (build_eh_type_type): Ditto.
1278         (choose_personality_routine): Ditto.
1279         * semantics.c (finish_omp_atomic): Ditto.
1280         (finish_omp_barrier): Ditto.
1281         (finish_omp_flush): Ditto.
1282         (finish_omp_taskwait): Ditto.
1283
1284 2011-10-11  Jason Merrill  <jason@redhat.com>
1285
1286         PR c++/49855
1287         PR c++/49896
1288         * cp-tree.def (IMPLICIT_CONV_EXPR): New.
1289         * call.c (perform_implicit_conversion_flags): Build it
1290         instead of NOP_EXPR.
1291         * cp-objcp-common.c (cp_common_init_ts): It's typed.
1292         * cxx-pretty-print.c (pp_cxx_cast_expression): Handle it.
1293         (pp_cxx_expression): Likewise.
1294         * error.c (dump_expr): Likewise.
1295         * semantics.c (potential_constant_expression_1): Likewise.
1296         * tree.c (cp_tree_equal): Likewise.
1297         (cp_walk_subtrees): Likewise.
1298         * pt.c (iterative_hash_template_arg): Likewise.
1299         (for_each_template_parm_r): Likewise.
1300         (type_dependent_expression_p): Likewise.
1301         (tsubst_copy, tsubst_copy_and_build): Handle IMPLICIT_CONV_EXPR
1302         and CONVERT_EXPR.
1303         * cp-tree.h (IMPLICIT_CONV_EXPR_DIRECT_INIT): New.
1304
1305 2011-10-11  Paolo Carlini  <paolo.carlini@oracle.com>
1306
1307         PR c++/50611
1308         * pt.c (tsubst_copy_and_build): If (complain & tf_error) is false
1309         do not call unqualified_name_lookup_error.
1310
1311 2011-10-10  Paolo Carlini  <paolo.carlini@oracle.com>
1312
1313         PR c++/50660
1314         * call.c (conversion_null_warnings): Don't look through references.
1315
1316 2011-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
1317
1318         PR c++/38980
1319         * init.c (constant_value_1): Add bool parameter.
1320         (decl_constant_value_safe): Add.
1321         (integral_constant_value): Adjust.
1322         (decl_constant_value): Adjust.
1323         * cp-tree.h (decl_constant_value_safe): Declare.
1324         * typeck.c (decay_conversion): Use decl_constant_value_safe.
1325         * call.c (convert_like_real): Likewise.
1326
1327 2011-10-09  Jakub Jelinek  <jakub@redhat.com>
1328             Diego Novillo  <dnovillo@google.com>
1329
1330         * pt.c (reregister_specialization): Use htab_find instead of
1331         htab_find_slot with INSERT.
1332         (maybe_process_partial_specialization, lookup_template_class_1): Change
1333         slot variable type to void ** to avoid aliasing problems.
1334         (register_specialization): Likewise.  Use slot != NULL instead of
1335         more expensive !optimize_specialization_lookup_p (tmpl) test.
1336
1337 2011-10-08  Paolo Carlini  <paolo.carlini@oracle.com>
1338
1339         PR c++/34927
1340         * typeck2.c (abstract_virtuals_error_sfinae): Don't produce duplicate
1341         inform messages in case of cloned destructor.
1342
1343 2011-10-06  Jason Merrill  <jason@redhat.com>
1344
1345         PR c++/39164
1346         * decl.c (grokfndecl): Diagnose redefinition of defaulted fn.
1347
1348 2011-10-02  Jason Merrill  <jason@redhat.com>
1349
1350         * pt.c (tsubst_pack_expansion): Re-use ARGUMENT_PACK_SELECTs.
1351         Change unsubstituted_packs to bool.
1352
1353         * parser.c (cp_parser_range_for): Don't try to deduce from {}
1354         in a template.
1355
1356         PR c++/35722
1357         Implement N2555 (expanding pack expansion to fixed parm list)
1358         * pt.c (coerce_template_parms): Allow expanding a pack expansion
1359         to a fixed-length argument list.
1360         (unify_pack_expansion): Handle explicit args properly.
1361         (unify) [TREE_VEC]: Handle pack expansions here.
1362         [TYPE_ARGUMENT_PACK]: Not here.
1363         (tsubst_pack_expansion): Don't try to do partial substitution.
1364         (pack_deducible_p): New.
1365         (fn_type_unification): Use it.
1366         (find_parameter_packs_r): Take the TYPE_MAIN_VARIANT
1367         of a type parameter.
1368         (check_non_deducible_conversion): Split from type_unification_real.
1369         (unify_one_argument): Split from type_unification_real...
1370         (unify_pack_expansion): ...and here.  Drop call_args_p parm.
1371         (type_unification_real, unify, more_specialized_fn): Adjust.
1372
1373         * class.c (fixed_type_or_null): Handle NSDMI.
1374         * method.c (walk_field_subobs): Disable NSDMI noexcept checking
1375         for now.
1376
1377 2011-09-30  Jason Merrill  <jason@redhat.com>
1378
1379         * cp-tree.h (TREE_NEGATED_INT): Remove.
1380         * semantics.c (finish_unary_op_expr): Don't set it.
1381
1382 2011-09-30  Janis Johnson  <janisjo@codesourcery.com>
1383
1384         PR c++/44473
1385         * mangle.c (write_type): Handle CV qualifiers for decimal classes.
1386
1387 2011-09-26   Andi Kleen <ak@linux.intel.com>
1388
1389         * repo.c (finish_repo): Use HOST_WIDE_INT_PRINT_HEX_PURE.
1390
1391 2011-09-28  Paolo Carlini  <paolo.carlini@oracle.com>
1392
1393         PR c++/45278
1394         * typeck.c (cp_build_binary_op): With -Wextra, warn for ordered
1395         comparison of pointer with zero.
1396
1397 2011-09-27  Paolo Carlini  <paolo.carlini@oracle.com>
1398
1399         PR c++/31489
1400         * parser.c (cp_parser_elaborated_type_specifier): For RECORD_TYPE,
1401         set CLASSTYPE_DECLARED_CLASS.
1402
1403 2011-09-27  Jakub Jelinek  <jakub@redhat.com>
1404
1405         * decl.c (duplicate_decls): If compatible stpcpy prototype
1406         is seen, set implicit_built_in_decls[BUILT_IN_STPCPY].
1407
1408 2011-09-26  Jason Merrill  <jason@redhat.com>
1409
1410         PR c++/45012
1411         * pt.c (tsubst_copy_and_build) [CONST_DECL]: Don't pull out
1412         constant value if we're still in a template.
1413
1414         PR c++/46105
1415         * typeck.c (structural_comptypes): Ignore cv-quals on typename scope.
1416
1417         PR c++/50508
1418         * semantics.c (cxx_eval_logical_expression): Use tree_int_cst_equal
1419         rather than ==.
1420
1421 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
1422
1423         PR c++/45487
1424         * error.c (dump_template_bindings): Separate bindings with semicolons
1425         instead of commas.
1426
1427 2011-09-26  Jason Merrill  <jason@redhat.com>
1428
1429         PR c++/50512
1430         * call.c (compare_ics): Only consider rvaluedness_matches_p
1431         if the target type is the same or it too differs in rvalueness.
1432
1433         PR c++/50523
1434         * call.c (implicit_conversion): Mask out inappropriate LOOKUP
1435         flags at the top of the function.
1436
1437         * pt.c (tsubst_copy) [PARM_DECL]: Handle 'this' in NSDMI.
1438
1439 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
1440
1441         * pt.c (convert_nontype_argument): Handle NULLPTR_TYPE.
1442
1443 2011-09-26  Paolo Carlini  <paolo.carlini@oracle.com>
1444
1445         PR c++/26747
1446         * cp-gimplify.c (get_bc_label): Remove obsolete diagnostics.
1447
1448 2011-09-25  Jason Merrill  <jason@redhat.com>
1449
1450         * parser.c (inject_this_parameter): Split out from
1451         cp_parser_late_return_type_opt.
1452         (cp_parser_class_specifier_1): Use it for NSDMIs.
1453         * tree.c (bot_replace): Replace NSDMI 'this' with real 'this'.
1454
1455 2011-09-24  Jason Merrill  <jason@redhat.com>
1456
1457         * except.c (expr_noexcept_p): Split out from finish_noexcept_expr.
1458         * cp-tree.h: Declare it.
1459         * method.c (walk_field_subobs): Use it.
1460
1461         * init.c (perform_member_init): Instantiate NSDMI here.
1462         * pt.c (tsubst_decl) [FIELD_DECL]: Not here.
1463
1464         Handle deferred parsing of NSDMIs.
1465         * parser.h (cp_unparsed_functions_entry): Add nsdmis field.
1466         * parser.c (unparsed_nsdmis, cp_parser_save_nsdmi): New.
1467         (cp_parser_late_parse_one_default_arg): Split out from
1468         cp_parser_late_parsing_default_args.
1469         (cp_parser_late_parsing_nsdmi): New.
1470         (push_unparsed_function_queues): Set it.
1471         (cp_parser_parameter_declaration): Save the '=' token.
1472         (cp_parser_template_parameter): Likewise.
1473         (cp_parser_default_argument): Call cp_parser_initializer
1474         rather than cp_parser_initializer_clause.
1475         (cp_parser_class_specifier_1): Parse unparsed_nsdmis.
1476         (cp_parser_member_declaration): Handle nsdmis.
1477         * decl2.c (grokfield): Handle DEFAULT_ARG for a function.
1478
1479         Implement C++11 non-static data member initializers.
1480         * cp-tree.h (enum cpp_warn_str): Add CPP0X_NSDMI.
1481         * error.c (maybe_warn_cpp0x): Handle it.
1482         * call.c (convert_like_real) [ck_user]: Don't complain about
1483         using an explicit constructor for direct-initialization.
1484         * class.c (check_field_decl): Fix ancient typo.
1485         (check_field_decls): NSDMIs make the default ctor non-trivial.
1486         * decl.c (cp_finish_decl): Record NSDMI.
1487         (grokdeclarator): Allow NSDMI.
1488         * decl2.c (grokfield): Allow NSDMI.  Correct LOOKUP flags.
1489         * init.c (perform_member_init): Use NSDMI.
1490         * method.c (walk_field_subobs): Check for NSDMI.
1491         * parser.c (cp_parser_member_declaration): Parse { } init.
1492         * semantics.c (register_constexpr_fundef): Don't talk about
1493         a return statement in a constexpr constructor.
1494         (cxx_eval_call_expression): Check DECL_INITIAL instead of
1495         DECL_SAVED_TREE.
1496
1497 2011-09-24  Paolo Carlini  <paolo.carlini@oracle.com>
1498
1499         PR c++/44267
1500         * class.c (build_base_path): Add a tsubst_flags_t parameter.
1501         (convert_to_base): Adjust call.
1502         * typeck.c (build_class_member_access_expr,
1503         get_member_function_from_ptrfunc, build_static_cast_1): Likewise.
1504         * init.c (dfs_initialize_vtbl_ptrs, emit_mem_initializers): Likewise.
1505         * method.c (do_build_copy_constructor, do_build_copy_assign): Likewise.
1506         * rtti.c (build_dynamic_cast_1): Likewise.
1507         * typeck2.c (build_scoped_ref, build_m_component_ref): Likewise.
1508         * call.c (build_over_call, build_special_member_call): Likewise.
1509         * cvt.c (cp_convert_to_pointer, convert_to_pointer_force,
1510         build_up_reference): Likewise.
1511         * cp-tree.h (build_base_path): Adjust declaration.
1512
1513 2011-09-23  Jason Merrill  <jason@redhat.com>
1514
1515         Core 253 - allow const objects with no initializer or
1516         user-provided default constructor if the defaulted constructor
1517         initializes all the subobjects.
1518         PR c++/20039
1519         PR c++/42844
1520         * class.c (default_init_uninitialized_part): New.
1521         * cp-tree.h: Declare it.
1522         * decl.c (check_for_uninitialized_const_var): Use it.
1523         * init.c (perform_member_init): Likewise.
1524         (build_new_1): Likewise.
1525         * method.c (walk_field_subobs): Likewise.
1526
1527 2011-09-23  Paolo Carlini  <paolo.carlini@oracle.com>
1528
1529         PR c++/50258
1530         * decl.c (check_static_variable_definition): Allow in-class
1531         initialization of static data member of non-integral type in
1532         permissive mode.
1533
1534 2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>
1535
1536         PR c++/50491
1537         * semantics.c (potential_constant_expression_1): Handle USING_DECL.
1538
1539 2011-09-22  Paolo Carlini  <paolo.carlini@oracle.com>
1540
1541         PR c++/50371
1542         * pt.c (invalid_nontype_parm_type_p): Handle NULLPTR_TYPE.
1543
1544 2011-09-22  Jonathan Wakely  <jwakely.gcc@gmail.com>
1545             Paolo Carlini  <paolo.carlini@oracle.com>
1546
1547         PR c++/50344
1548         * friend.c (make_friend_class): cv-qualification is ok in a
1549         friend declaration.
1550
1551 2011-09-21  Paolo Carlini  <paolo.carlini@oracle.com>
1552
1553         PR c++/50454
1554         * decl.c (grokdeclarator): Consistently handle both __int128
1555         and unsigned __int128 with -pedantic; suppress diagnostic in
1556         system headers.
1557
1558 2011-09-20  Jason Merrill  <jason@redhat.com>
1559
1560         * cp-tree.h (DECL_TEMPLOID_INSTANTIATION): New.
1561         (DECL_GENERATED_P): New.
1562         * class.c (finalize_literal_type_property): Use them.
1563         * semantics.c (is_instantiation_of_constexpr): Likewise.
1564         (register_constexpr_fundef): Likewise.
1565
1566         * call.c (convert_default_arg): Avoid redundant copy.
1567         * tree.c (bot_manip): Copy everything.
1568
1569 2011-09-20 Roberto Agostino Vitillo <ravitillo@lbl.gov>
1570
1571         * call.c (build_new_method_call_1): Use non-virtual lookup
1572         for final virtual functions.
1573
1574 2011-09-16  Jason Merrill  <jason@redhat.com>
1575
1576         PR c++/50424
1577         * call.c (set_flags_from_callee): Split out from build_call_a.
1578         * cp-tree.h: Declare it.
1579         * tree.c (bot_manip): Call it.
1580
1581 2011-09-15  Jason Merrill  <jason@redhat.com>
1582
1583         PR c++/50365
1584         * parser.c (cp_parser_late_return_type_opt): Check quals parameter
1585         for clearing current_class_ptr, too.
1586
1587 2011-09-14   Diego Novillo  <dnovillo@google.com>
1588
1589         * name-lookup.c (lookup_arg_dependent): Use conditional
1590         timevars.
1591         * decl.c (xref_tag): Likewise.
1592
1593 2011-09-14  Paolo Carlini  <paolo.carlini@oracle.com>
1594
1595         PR c++/50391
1596         * pt.c (regenerate_decl_from_template): Don't pass an error_mark_node
1597         to build_exception_variant.
1598
1599 2011-09-13  Dodji Seketeli  <dodji@redhat.com>
1600
1601         PR c++/48320
1602         * pt.c (template_parameter_pack_p): Support TEMPLATE_PARM_INDEX
1603         nodes.  Add a comment.
1604         (arg_from_parm_pack_p):  New static function, factorized out from
1605         tsubst_pack_expansion and extended to support non-type parameter
1606         packs represented with TEMPLATE_PARM_INDEX nodes.
1607         (tsubst_pack_expansion): Use arg_from_parm_pack_p.
1608
1609 2011-09-12  Jason Merrill  <jason@redhat.com>
1610
1611         * pt.c (type_unification_real): Fix handling of DEDUCE_CONV
1612         with no deducible template parameters.
1613         * call.c (rejection_reason_code): Add rr_template_conversion.
1614         (print_z_candidate): Handle it.
1615         (template_conversion_rejection): New.
1616         (build_user_type_conversion_1): Use it.
1617
1618         * call.c (merge_conversion_sequences): Set bad_p and user_conv_p
1619         on all of the second conversion sequence.
1620         (build_user_type_conversion_1): Set bad_p on the ck_user conv.
1621         (convert_like_real): Handle bad ck_ref_bind with user_conv_p in the
1622         first section.  Fix loop logic.
1623         (initialize_reference): Call convert_like for diagnostics when
1624         we have a (bad) conversion.
1625
1626         * call.c (convert_class_to_reference)
1627         (convert_class_to_reference_1): Remove.
1628         (reference_binding): Use build_user_type_conversion_1 instead.
1629
1630         * call.c (initialize_reference): Add flags parm.
1631         * decl.c (grok_reference_init): Likewise.
1632         (check_initializer): Pass it.
1633         * typeck.c (convert_for_initialization): Likewise.
1634         * cp-tree.h: Adjust.
1635
1636         * cp-tree.h (LOOKUP_NO_RVAL_BIND): New.
1637         * call.c (conditional_conversion): Use it.
1638         (reference_binding): Fix handling of xvalues.
1639
1640 2011-09-09  Jason Merrill  <jason@redhat.com>
1641
1642         * call.c (implicit_conversion): Check BRACE_ENCLOSED_INITIALIZER_P
1643         before forcing instantiation.
1644
1645 2011-09-08  Paolo Carlini  <paolo.carlini@oracle.com>
1646
1647         PR c++/50324
1648         * typeck2.c (digest_init_r): Call complete_type_or_maybe_complain
1649         instead of complete_type_or_else.
1650
1651 2011-09-08  Dodji Seketeli  <dodji@redhat.com>
1652
1653         PR c++/33255 - Support -Wunused-local-typedefs warning
1654         * name-lookup.c (pushdecl_maybe_friend_1): Use the new
1655         record_locally_defined_typedef.
1656         * decl.c (finish_function): Use the new
1657         maybe_warn_unused_local_typedefs.
1658         (grokfield): Use the new record_locally_defined_typedef.
1659         * parser.c (lookup_name): Use the new maybe_record_typedef_use.
1660
1661 2011-09-07  Paolo Carlini  <paolo.carlini@oracle.com>
1662
1663         PR c++/50309
1664         * decl.c (grokdeclarator): Check u.function.exception_specification
1665         for error_mark_node.
1666
1667 2011-09-07  Jason Merrill  <jason@redhat.com>
1668
1669         PR c++/50298
1670         * parser.c (cp_parser_member_declaration): Don't require a constant
1671         rvalue here in C++0x.
1672
1673         * pt.c (type_unification_real): Correct complain arg for tsubsting
1674         default template args.
1675
1676         * pt.c (tsubst_aggr_type): Check TYPE_P before tsubsting.
1677
1678 2011-09-06  Jason Merrill  <jason@redhat.com>
1679
1680         PR c++/50296
1681         * semantics.c (register_constexpr_fundef): Call is_valid_constexpr_fn.
1682         (cx_check_missing_mem_inits): Handle bases and empty trivial members.
1683         (validate_constexpr_fundecl): Remove.
1684         * decl.c (start_preparsed_function): Don't call it.
1685         * cp-tree.h: Don't declare it.
1686
1687 2011-09-04  Jason Merrill  <jason@redhat.com>
1688
1689         PR c++/49267
1690         * call.c (reference_binding): Don't set is_lvalue for an rvalue
1691         reference rfrom.
1692
1693         PR c++/49267
1694         PR c++/49458
1695         DR 1328
1696         * call.c (reference_binding): Set rvaluedness_matches_p properly
1697         for reference to function conversion ops.
1698         (compare_ics): Adjust.
1699
1700         * class.c (trivial_default_constructor_is_constexpr): Rename from
1701         synthesized_default_constructor_is_constexpr.
1702         (type_has_constexpr_default_constructor): Adjust.
1703         (add_implicitly_declared_members): Call it instead.
1704         (explain_non_literal_class): Explain about non-constexpr default ctor.
1705         * cp-tree.h: Adjust.
1706         * method.c (synthesized_method_walk): Adjust.
1707         * semantics.c (explain_invalid_constexpr_fn): Handle defaulted
1708         functions, too.
1709
1710         PR c++/50248
1711         Core 1358
1712         * init.c (perform_member_init): Don't diagnose missing inits here.
1713         (emit_mem_initializers): Or here.
1714         * method.c (process_subob_fn): Don't instantiate constexpr ctors.
1715         * semantics.c (cx_check_missing_mem_inits): New.
1716         (explain_invalid_constexpr_fn): Call it.
1717         (register_constexpr_fundef): Likewise.  Leave
1718         DECL_DECLARED_CONSTEXPR_P set when the body is unsuitable.
1719         (cxx_eval_call_expression): Adjust diagnostics.
1720         (cxx_eval_constant_expression): Catch use of 'this' in a constructor.
1721
1722 2011-08-30  Jason Merrill  <jason@redhat.com>
1723
1724         PR c++/50084
1725         * cp-tree.h (cp_decl_specifier_seq): Rename user_defined_type_p
1726         to type_definition_p.
1727         * parser.c (cp_parser_set_decl_spec_type): Likewise.
1728         * decl.c (grokdeclarator): Check it.
1729
1730         PR c++/50089
1731         * semantics.c (finish_id_expression): Use
1732         current_nonlambda_class_type for qualified-ids.
1733
1734         PR c++/50114
1735         * decl.c (poplevel): Disable for scope compatibility hack
1736         in C++11 mode.
1737
1738         PR c++/50220
1739         * semantics.c (add_capture): Call complete_type for copy.
1740
1741         PR c++/50234
1742         * semantics.c (cxx_eval_component_reference): Handle
1743         value-initialization for omitted initializers.
1744
1745 2011-08-29  Jason Merrill  <jason@redhat.com>
1746
1747         PR c++/50224
1748         * semantics.c (finish_id_expression): Mark captured variables used.
1749
1750 2011-08-29  Jakub Jelinek  <jakub@redhat.com>
1751             Jason Merrill  <jason@redhat.com>
1752
1753         PR c++/50207
1754         * class.c (finish_struct_1): Complain if the first field is
1755         artificial.
1756
1757 2011-08-29  Jason Merrill  <jason@redhat.com>
1758
1759         PR c++/50209
1760         Core DR 994
1761         * parser.c (cp_parser_default_argument): Use
1762         cp_parser_initializer_clause.
1763         (cp_parser_late_parsing_default_args): Likewise.
1764
1765 2011-08-26  Jason Merrill  <jason@redhat.com>
1766
1767         Core DR 342
1768         PR c++/48582
1769         * pt.c (check_valid_ptrmem_cst_expr): A null member pointer value
1770         is valid in C++11.
1771         (convert_nontype_argument): Likewise.  Implicitly convert nullptr
1772         and do constant folding.
1773         * mangle.c (write_template_arg_literal): Mangle null member
1774         pointer values as 0.
1775         * call.c (null_member_pointer_value_p): New.
1776         * cp-tree.h: Declare it.
1777
1778 2011-08-25  Jason Merrill  <jason@redhat.com>
1779
1780         * call.c (convert_like_real): Remove redundant complain checks.
1781
1782         PR c++/50157
1783         * call.c (convert_like_real): Exit early if bad and !tf_error.
1784
1785 2011-08-23  Jason Merrill  <jason@redhat.com>
1786
1787         * typeck2.c (build_functional_cast): Don't try to avoid calling
1788         build_value_init.
1789         * pt.c (instantiate_class_template_1): Don't copy TYPE_HAS_* flags.
1790
1791 2011-08-23  Jason Merrill  <jason@redhat.com>
1792
1793         PR c++/49045
1794         Core 1321
1795         * tree.c (dependent_name): New.
1796         (cp_tree_equal): Two calls with the same dependent name are
1797         equivalent even if the overload sets are different.
1798
1799 2011-08-23  Jason Merrill  <jason@redhat.com>
1800
1801         * tree.c (build_target_expr): Set TREE_CONSTANT on
1802         literal TARGET_EXPR if the value is constant.
1803         * typeck2.c (build_functional_cast): Don't set it here.
1804
1805 2011-08-23  Jason Merrill  <jason@redhat.com>
1806
1807         Core 903 (partial)
1808         * call.c (null_ptr_cst_p): Only 0 qualifies in C++11.
1809
1810 2011-08-23  Jason Merrill  <jason@redhat.com>
1811
1812         Core 975
1813         * decl.c (cxx_init_decl_processing): Initialize
1814         dependent_lambda_return_type_node.
1815         * cp-tree.h (cp_tree_index): Add CPTI_DEPENDENT_LAMBDA_RETURN_TYPE.
1816         (dependent_lambda_return_type_node): Define.
1817         (DECLTYPE_FOR_LAMBDA_RETURN): Remove.
1818         * semantics.c (lambda_return_type): Handle overloaded function.
1819         Use dependent_lambda_return_type_node instead of
1820         DECLTYPE_FOR_LAMBDA_RETURN.
1821         (apply_lambda_return_type): Don't check dependent_type_p.
1822         * pt.c (tsubst_copy_and_build): Handle lambda return type deduction.
1823         (instantiate_class_template_1): Likewise.
1824         (tsubst): Don't use DECLTYPE_FOR_LAMBDA_RETURN.
1825         * mangle.c (write_type): Likewise.
1826         * typeck.c (structural_comptypes): Likewise.
1827         (check_return_expr): Handle dependent_lambda_return_type_node.
1828
1829 2011-08-23  Jason Merrill  <jason@redhat.com>
1830
1831         PR c++/50024
1832         * semantics.c (maybe_constant_value): Don't try to fold { }.
1833         * pt.c (build_non_dependent_expr): Don't wrap { }.
1834         * init.c (build_value_init): Allow scalar value-init in templates.
1835
1836 2011-08-23  Jason Merrill  <jason@redhat.com>
1837
1838         * semantics.c (potential_constant_expression_1): Allow 'this'.
1839
1840 2011-08-23  Jakub Jelinek  <jakub@redhat.com>
1841
1842         PR c++/50158
1843         * typeck.c (cp_build_modify_expr): Call mark_rvalue_use on rhs
1844         if it has side-effects and needs to be preevaluated.
1845
1846 2011-08-23  Siddhesh Poyarekar  <siddhesh.poyarekar@gmail.com>
1847
1848         PR c++/50055
1849         * except.c (begin_eh_spec_block): Build EH_SPEC block on the
1850         same line as the function.
1851
1852 2011-08-23  Jakub Jelinek  <jakub@redhat.com>
1853
1854         PR c++/46862
1855         * class.c (finish_struct_1): If TYPE_TRANSPARENT_AGGR is set on a type
1856         which doesn't have any fields, clear it and diagnose.
1857
1858 2011-08-18  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1859             Marc Glisse  <marc.glisse@normalesup.org>
1860
1861         PR libstdc++-v3/1773
1862         * mangle.c (decl_mangling_context): Call
1863         targetm.cxx.decl_mangling_context.
1864         (write_unscoped_name): Use decl_mangling_context.
1865
1866 2011-08-18  Dodji Seketeli  <dodji@redhat.com>
1867
1868         PR c++/45625
1869         * pt.c (parameter_of_template_p): Handle comparison with DECLs of
1870         template parameters as created by process_template_parm.
1871
1872 2011-08-16  Jason Merrill  <jason@redhat.com>
1873
1874         PR c++/50086
1875         * pt.c (unify_pack_expansion): Correct overloaded unification
1876         logic.
1877
1878         * pt.c (instantiate_class_template_1): If DECL_PRESERVE_P is set
1879         on a member function or static data member, call mark_used.
1880
1881         PR c++/50054
1882         * typeck2.c (cxx_incomplete_type_diagnostic): Handle
1883         init_list_type_node.
1884
1885 2011-08-13  Jason Merrill  <jason@redhat.com>
1886
1887         PR c++/50075
1888         * name-lookup.c (local_bindings_p): New.
1889         * name-lookup.h: Declare it.
1890         * lex.c (unqualified_name_lookup_error): Use it.
1891
1892         PR c++/50059
1893         * error.c (dump_expr): Handle MODIFY_EXPR properly.
1894
1895         * decl.c (grok_reference_init): Handle constexpr here.
1896         * call.c (initialize_reference): Not here.
1897
1898 2011-08-12  David Li  <davidxl@google.com>
1899
1900         * class.c (update_vtable_entry_for_fn): Set
1901         LOST_PRIMARY bit properly.
1902
1903 2011-08-12  Jason Merrill  <jason@redhat.com>
1904
1905         PR c++/50034
1906         * call.c (convert_arg_to_ellipsis): force_rvalue only in
1907         potentially evaluated context.
1908
1909 2011-08-12  Richard Guenther  <rguenther@suse.de>
1910
1911         * call.c (build_over_call): Instead of memcpy use an
1912         assignment of two MEM_REFs.
1913
1914 2011-08-11  Romain Geissler  <romain.geissler@gmail.com>
1915             Brian Hackett  <bhackett1024@gmail.com>
1916
1917         * decl.c (cp_finish_decl): Invoke callbacks on finish_decl event.
1918
1919 2011-08-10  Richard Guenther  <rguenther@suse.de>
1920
1921         * call.c (build_over_call): Call memcpy unconditionally.
1922
1923 2011-08-08  Jason Merrill  <jason@redhat.com>
1924
1925         PR c++/50020
1926         * semantics.c (finish_call_expr): Don't look at 'this' if we
1927         had an explicit object argument.
1928
1929         PR c++/50011
1930         * typeck2.c (check_narrowing): Fix integer logic.
1931
1932 2011-08-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1933
1934         * Make-lang.in (g++$(exeext)): Add $(EXTRA_GCC_LIBS).
1935
1936 2011-08-05  Jason Merrill  <jason@redhat.com>
1937
1938         PR c++/48993
1939         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Sorry
1940         on 'this' in a constructor.
1941
1942         PR c++/49921
1943         * semantics.c (finish_decltype_type): Call invalid_nonstatic_memfn_p.
1944
1945         PR c++/49669
1946         * init.c (perform_member_init): Handle invalid array initializer.
1947
1948         PR c++/49988
1949         * semantics.c (cxx_eval_array_reference): Handle failure to
1950         reduce the array operand to something we can work with.
1951
1952 2011-08-05  Gabriel Charette  <gchare@google.com>
1953
1954         * decl.c (finish_function): Remove unecessary line 0 hack.
1955
1956 2011-08-05  Jason Merrill  <jason@redhat.com>
1957
1958         PR c++/47453
1959         * typeck.c (build_x_compound_expr_from_list): Also complain
1960         about ({...}).
1961
1962         PR c++/49812
1963         * typeck.c (cp_build_unary_op) [POSTINCREMENT_EXPR]: Strip cv-quals.
1964
1965         PR c++/49983
1966         * parser.c (cp_parser_range_for): Only do auto deduction in
1967         template if the range is non-dependent.
1968
1969         * init.c (perform_member_init): Always build_aggr_init
1970         for a class member with an explicit mem-initializer.
1971
1972         * pt.c (unify) [TEMPLATE_TYPE_PARM]: Allow VLA for C++0x 'auto'.
1973
1974 2011-08-04  Jakub Jelinek  <jakub@redhat.com>
1975
1976         PR middle-end/49905
1977         * decl.c (cxx_init_decl_processing): Add alloc_size (1) attribute
1978         for operator new and operator new [].  Call init_attributes.
1979
1980 2011-08-02  Jason Merrill  <jason@redhat.com>
1981
1982         PR c++/43886
1983         * parser.c (cp_parser_lambda_body): Clear local_variables_forbidden_p.
1984
1985         PR c++/49577
1986         * typeck2.c (check_narrowing): Check unsigned mismatch.
1987         * semantics.c (finish_compound_literal): check_narrowing.
1988
1989         PR c++/49593
1990         * pt.c (find_parameter_packs_r): Handle CONSTRUCTOR.
1991
1992         PR c++/49803
1993         * init.c (sort_mem_initializers): Initialize uses_unions_p here.
1994         (build_field_list): Not here.
1995
1996         PR c++/49834
1997         * parser.c (build_range_temp): Split out from...
1998         (cp_convert_range_for): ...here.
1999         (do_range_for_auto_deduction): New.
2000         (cp_parser_range_for): Use it.
2001
2002 2011-08-02  Jakub Jelinek  <jakub@redhat.com>
2003
2004         * cp-tree.h (finish_omp_atomic): Adjust prototype.
2005         (cxx_omp_const_qual_no_mutable): New prototype.
2006         (finish_omp_taskyield): New prototype.
2007         * parser.c (cp_parser_omp_atomic): (cp_parser_omp_atomic): Handle
2008         parsing OpenMP 3.1 atomics.  Adjust finish_omp_atomic caller.
2009         (cp_parser_omp_clause_name): Handle final and mergeable clauses.
2010         (cp_parser_omp_clause_final, cp_parser_omp_clause_mergeable): New
2011         functions.
2012         (cp_parser_omp_all_clauses): Handle PRAGMA_OMP_CLAUSE_FINAL
2013         and PRAGMA_OMP_CLAUSE_MERGEABLE.
2014         (OMP_TASK_CLAUSE_MASK): Allow final and mergeable clauses.
2015         (cp_parser_omp_taskyield): New function.
2016         (cp_parser_pragma): Handle PRAGMA_OMP_TASKYIELD.
2017         (cp_parser_omp_clause_reduction): Handle min and max.
2018         * pt.c (tsubst_expr) <case OMP_ATOMIC>: Handle OpenMP 3.1 atomics.
2019         (tsubst_omp_clauses): Handle OMP_CLAUSE_FINAL and
2020         OMP_CLAUSE_MERGEABLE.
2021         * semantics.c (finish_omp_atomic): Add OPCODE, V, LHS1 and RHS1
2022         arguments.  Handle OpenMP 3.1 atomics.  Adjust c_finish_omp_atomic
2023         caller.
2024         (finish_omp_clauses): Don't complain about const qualified
2025         predetermined vars and static data members in firstprivate clause.
2026         Handle OMP_CLAUSE_FINAL and OMP_CLAUSE_MERGEABLE. Handle MIN_EXPR
2027         and MAX_EXPR.
2028         (finish_omp_taskyield): New function.
2029         * cp-gimplify.c (cxx_omp_const_qual_no_mutable): New function.
2030         (cxx_omp_predetermined_sharing): Use it.
2031
2032 2011-08-02  Jason Merrill  <jason@redhat.com>
2033
2034         * call.c (build_call_a): Also check at_function_scope_p.
2035
2036 2011-08-01  Jason Merrill  <jason@redhat.com>
2037
2038         PR c++/49932
2039         * mangle.c (write_prefix): Handle decltype.
2040
2041         PR c++/49924
2042         * semantics.c (cxx_eval_vec_init_1): Fix logic.
2043
2044         PR c++/49813
2045         * semantics.c (potential_constant_expression_1): Allow any builtin.
2046         (morally_constexpr_builtin_function_p): Remove.
2047
2048 2011-07-29  Jason Merrill  <jason@redhat.com>
2049
2050         PR c++/49867
2051         * parser.c (cp_parser_lambda_expression): Also clear in_statement
2052         and in_switch_statement_p.
2053         (cp_parser_class_specifier): Likewise.
2054
2055 2011-07-28  Jason Merrill  <jason@redhat.com>
2056
2057         PR c++/49808
2058         * pt.c (tsubst) [TEMPLATE_PARM_INDEX]: Call convert_from_reference.
2059         (convert_nontype_argument, tsubst_template_arg): Handle its output.
2060
2061 2011-07-28  Paolo Carlini  <paolo.carlini@oracle.com>
2062
2063         PR c++/49813
2064         * semantics.c (potential_constant_expression_1):  Handle FMA_EXPR.
2065
2066 2011-07-27  Jeffrey Yasskin  <jyasskin@google.com>
2067
2068         * pt.c (build_template_decl): Copy the function_decl's
2069         source location to the new template_decl.
2070
2071 2011-07-26  Paolo Carlini  <paolo.carlini@oracle.com>
2072
2073         PR c++/49776
2074         * typeck.c (cp_build_modify_expr): Check digest_init return value
2075         for error_mark_node.
2076
2077 2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
2078
2079         PR bootstrap/49845
2080         * parser.c (cp_parser_perform_range_for_lookup): Always assign *being
2081         and *end before returning.
2082
2083 2011-07-25  Paolo Carlini  <paolo.carlini@oracle.com>
2084
2085         PR c++/49838
2086         * parser.c (cp_parser_perform_range_for_lookup): Early return if
2087         error_operand_p (range).
2088
2089 2011-07-23  Jason Merrill  <jason@redhat.com>
2090
2091         PR c++/49823
2092         * parser.c (cp_parser_qualifying_entity): Handle templates.
2093
2094 2011-07-22  Jason Merrill  <jason@redhat.com>
2095
2096         PR c++/49793
2097         * typeck2.c (check_narrowing): Downgrade permerror to pedwarn.
2098         Make conditional on -Wnarrowing.
2099
2100 2011-07-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
2101
2102         Warn about the use of final/override in non-c++0x mode, and
2103         add __final for non-c++0x mode.
2104         * cp-tree.h (cpp0x_warn_str): Add CPP0X_OVERRIDE_CONTROLS.
2105         * error.c (maybe_warn_cpp0x): Adjust.
2106         * parser.c (cp_parser_virt_specifier_seq_opt): Use it. Add
2107         '__final' as a non-c++0x alternative for 'final'.
2108
2109 2011-07-22  Jason Merrill  <jason@redhat.com>
2110             Mark Glisse  <marc.glisse@normalesup.org>
2111
2112         PR c++/30112
2113         * decl.c (cp_finish_decl): Apply pragma redefine_extname in
2114         other namespaces as well.
2115         * name-lookup.c (c_linkage_bindings): Define.
2116         (lookup_extern_c_fun_in_all_ns): Rename from
2117         lookup_extern_c_fun_binding_in_all_ns.  Return tree.
2118         (pushdecl_maybe_friend_1): Adjust.  Copy DECL_ASSEMBLER_NAME.
2119
2120 2011-07-20  Jason Merrill  <jason@redhat.com>
2121
2122         * parser.c (cp_parser_initializer_list): Handle C99 .id= and [N]=
2123         designated initializer syntax.
2124         * decl.c (check_array_designated_initializer): Add index parm.
2125         (maybe_deduce_size_from_array_init): Pass it.
2126         (reshape_init_array_1): Likewise.
2127
2128         PR c++/6709 (DR 743)
2129         PR c++/42603 (DR 950)
2130         * parser.c (token_is_decltype, cp_lexer_next_token_is_decltype): New.
2131         (cp_parser_nested_name_specifier_opt): Allow decltype.
2132         (cp_parser_qualifying_entity): Likewise.
2133         (cp_parser_decltype): Replace source tokens with CPP_DECLTYPE.
2134         (cp_parser_simple_type_specifier): Handle decltype as scope.
2135         (cp_parser_base_specifier): Allow decltype.
2136         (cp_parser_base_clause): Don't crash on null base.
2137         * parser.h (CPP_KEYWORD, CPP_TEMPLATE_ID): Move to c-common.h.
2138         (CPP_NESTED_NAME_SPECIFIER, N_CP_TTYPES): Likewise.
2139
2140 2011-07-19  Jason Merrill  <jason@redhat.com>
2141
2142         PR c++/49785
2143         * pt.c (coerce_template_parms): Handle non-pack after pack.
2144
2145 2011-07-19  Richard Guenther  <rguenther@suse.de>
2146
2147         * call.c (build_special_member_call): Use fold_build_pointer_plus.
2148         * class.c (build_base_path): Likewise.
2149         (convert_to_base_statically): Likewise.
2150         (dfs_accumulate_vtbl_inits): Likewise.
2151         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
2152         * except.c (expand_start_catch_block): Likewise.
2153         * init.c (expand_virtual_init): Likewise.
2154         (build_new_1): Likewise.
2155         (build_vec_delete_1): Likewise.
2156         (build_vec_delete): Likewise.
2157         * rtti.c (build_headof): Likewise.
2158         (tinfo_base_init): Likewise.
2159         * typeck.c (get_member_function_from_ptrfunc): Likewise.
2160         (cp_build_addr_expr_1): Likewise.
2161         * typeck2.c (build_m_component_ref): Likewise.
2162
2163 2011-07-18  Martin Jambor  <mjambor@suse.cz>
2164
2165         * parser.c (cp_parser_parameter_declaration_list): Initialize
2166         parenthesized_p.
2167
2168 2011-07-16  Jason Merrill  <jason@redhat.com>
2169
2170         * pt.c (tinst_level_tick, last_template_error_tick): Replace with
2171         last_error_tinst_level.
2172         (push_tinst_level, pop_tinst_level): Adjust.
2173         (problematic_instantiation_changed): Adjust.
2174         (record_last_problematic_instantiation): Adjust.
2175         * error.c (cp_print_error_function): Don't print
2176         current_function_decl if we're in a template instantiation context.
2177         (print_instantiation_full_context): Always print first line.
2178
2179 2011-07-16  Nathan Froyd  <froydnj@codesourcery.com>
2180             Jason Merrill  <jason@redhat.com>
2181
2182         PR c++/45329
2183         PR c++/48934
2184         * cp-tree.h (fn_type_unification): Add `bool' parameter.
2185         * pt.c (enum template_base_result): Define.
2186         (unify_success, unify_unknown): Define.
2187         (unify_parameter_deduction_failure): Define.
2188         (unify_invalid, unify_cv_qual_mismatch, unify_type_mismatch): Define.
2189         (unify_parameter_pack_mismatch): Define.
2190         (unify_parameter_pack_inconsistent): Define.
2191         (unify_ptrmem_cst_mismatch, unify_vla_arg): Define.
2192         (unify_expression_unequal, unify_inconsistency): Define.
2193         (unify_method_type_error, unify_arity): Likewise.
2194         (unify_too_many_parameters, unify_too_few_parameters): Define.
2195         (unify_arg_conversion, unify_no_common_base): Define.
2196         (unify_illformed_ptrmem_cst_expr): Define.
2197         (unify_substitution_failure): Define.
2198         (unify_inconsistent_template_template_parameters): Define.
2199         (unify_template_deduction_failure): Define.
2200         (unify_template_argument_mismatch): Define.
2201         (unify_overload_resolution_failure): Define.
2202         (comp_template_args_with_info): New function, split out from...
2203         (comp_template_args): ...here.  Call it.
2204         (deduction_tsubst_fntype): Add `complain' parameter'.  Pass it
2205         to tsubst.
2206         (unify): Add `explain_p' parameter.  Pass to all relevant calls.
2207         Call above status functions when appropriate.
2208         (resolve_overloaded_unification, try_one_overload): Likewise.
2209         (type_unification, type_unification_real): Likewise.
2210         (unify_pack_expansion): Likewise.
2211         (get_template_base, try_class_unification): Likewise.
2212         (get_bindings, more_specialized_fn): Pass false to unification
2213         calls.
2214         (get_class_bindings, do_auto_deduction): Likewise.
2215         (convert_nontype_argument): Likewise.
2216         (fn_type_unification): Likewise.  Pass tf_warning_or_error if
2217         explain_p.
2218         (get_template_base): Add `explain_p' parameter and pass it to
2219         try_class_unification.  Return an enum template_base_result.
2220         * class.c (resolve_address_of_overloaded_function): Pass false to
2221         fn_type_unification.
2222         * call.c (enum rejection_reason_code): Add new codes.
2223         (struct rejection_reason): Add template_unification field.
2224         Add template_instantiation field.
2225         (template_unification_rejection): Define.
2226         (template_unification_error_rejection): Define.
2227         (template_instantiation_rejection): Define.
2228         (invalid_copy_with_fn_template_rejection): Define.
2229         (add_template_candidate): Pass false to unify.
2230         Provide more rejection reasons when possible.
2231         (print_template_unification_rejection): Define.
2232         (print_arity_rejection): Define, split out from...
2233         (print_z_candidate): ...here.  Add cases for new rejection
2234         reasons.
2235
2236 2011-07-15  Jason Merrill  <jason@redhat.com>
2237
2238         * Make-lang.in (check-g++-strict-gc): New.
2239         (cp/except.o): Depend on gt-cp-except.h
2240         * except.c: Include gt-cp-except.h.
2241         * config-lang.in (gtfiles): Add cp/except.c.
2242         * decl2.c (mark_used): Adjust constexpr condition, set
2243         function_depth around template instantiation.
2244         * parser.c (cp_parser_lambda_body): Set function_depth.
2245         * semantics.c (maybe_add_lambda_conv_op): Likewise.
2246
2247         PR testsuite/49741
2248         * Make-lang.in (check-c++0x): Use --extra_opts instead of--tool_opts.
2249
2250 2011-07-13  Jason Merrill  <jason@redhat.com>
2251
2252         * Make-lang.in (check-c++0x): New.
2253
2254 2011-07-13  Richard Sandiford  <richard.sandiford@linaro.org>
2255
2256         * typeck2.c (split_nonconstant_init_1): Pass the initializer directly,
2257         rather than a pointer to it.  Return true if the whole of the value
2258         was initialized by the generated statements.  Use
2259         complete_ctor_at_level_p instead of count_type_elements.
2260
2261 2011-07-12   Diego Novillo  <dnovillo@google.com>
2262
2263         * name-lookup.h (cp_binding_level): Rename from cxx_scope.
2264         Update all users.
2265         (struct cp_binding_level): Fix indentation.
2266
2267 2011-07-11  Jason Merrill  <jason@redhat.com>
2268
2269         PR c++/49672
2270         * pt.c (extract_fnparm_pack): Split out from...
2271         (make_fnparm_pack): ...here.
2272         (instantiate_decl): Handle non-pack parms after a pack.
2273         * semantics.c (maybe_add_lambda_conv_op): Don't in a template.
2274
2275         * decl2.c (decl_constant_var_p): Use decl_maybe_constant_var_p.
2276
2277         PR c++/44609
2278         * cp-tree.h (struct tinst_level): Add errors field.
2279         * pt.c (neglectable_inst_p, limit_bad_template_recurson): New.
2280         (push_tinst_level): Don't start another decl in that case.
2281         (reopen_tinst_level): Adjust errors field.
2282         * decl2.c (cp_write_global_declarations): Don't complain about
2283         undefined inline if its template was defined.
2284         * mangle.c (mangle_decl_string): Handle failure from push_tinst_level.
2285
2286 2011-07-10  Jason Merrill  <jason@redhat.com>
2287
2288         PR c++/49691
2289         * parser.c (cp_parser_late_return_type_opt): Check quals parameter
2290         rather than current_class_type to determine whether to set 'this'.
2291         (cp_parser_direct_declarator): Pass -1 to quals if member_p is false.
2292         (cp_parser_init_declarator): Pass down member_p.
2293
2294 2011-07-09  Jason Merrill  <jason@redhat.com>
2295
2296         * tree.c (build_vec_init_elt): Strip TARGET_EXPR.
2297
2298 2011-07-08  Jason Merrill  <jason@redhat.com>
2299
2300         PR c++/45437
2301         * typeck.c (cp_build_modify_expr): Preevaluate RHS.
2302
2303         * method.c (use_thunk): Use cgraph_add_to_same_comdat_group.
2304         * optimize.c (maybe_clone_body): Likewise.
2305         * semantics.c (maybe_add_lambda_conv_op): Likewise.
2306
2307         PR c++/45603
2308         * decl.c (expand_static_init): Don't get confused by user
2309         declaration of __cxa_guard_acquire.
2310
2311         * typeck.c (cp_apply_type_quals_to_decl): Don't check
2312         COMPLETE_TYPE_P either.
2313
2314         PR c++/49673
2315         * typeck.c (cp_apply_type_quals_to_decl): Don't check
2316         TYPE_NEEDS_CONSTRUCTING.
2317
2318 2011-07-07  Jason Merrill  <jason@redhat.com>
2319
2320         PR c++/49663
2321         * pt.c (push_deduction_access_scope): Preserve
2322         processing_template_decl across push_to_top_level.
2323         And revert:
2324         * class.c (pushclass): Accept NULL argument.
2325         (popclass): Deal with popping null class.
2326         * pt.c (push_access_scope, pop_access_scope): Use them rather than
2327         push_to_top_level/pop_from_top_level.
2328         * name-lookup.c (lookup_name_real_1): Check current_class_type.
2329
2330 2011-07-07  Jakub Jelinek  <jakub@redhat.com>
2331
2332         PR c/49644
2333         * typeck.c (cp_build_binary_op): For MULT_EXPR and TRUNC_DIV_EXPR with
2334         one non-complex and one complex argument, call save_expr on both
2335         operands.
2336
2337 2011-07-06  Jason Merrill  <jason@redhat.com>
2338
2339         PR c++/49353
2340         * semantics.c (expand_or_defer_fn_1): Clear DECL_EXTERNAL
2341         on kept inlines.
2342
2343         PR c++/49568
2344         * method.c (make_thunk, use_thunk): Copy DECL_COMDAT.
2345
2346 2011-07-05  Jason Merrill  <jason@redhat.com>
2347
2348         PR c++/48157
2349         * pt.c (tsubst_qualified_id): Preserve TEMPLATE_ID_EXPR in
2350         partial instantiation.
2351
2352         PR c++/49598
2353         * semantics.c (finish_id_expression): convert_from_reference.
2354
2355 2011-07-05  Richard Guenther  <rguenther@suse.de>
2356
2357         * decl.c (cxx_init_decl_processing): Defer building common
2358         tree nodes to c_common_nodes_and_builtins.
2359
2360 2011-07-04  Jason Merrill  <jason@redhat.com>
2361
2362         DR 1207
2363         PR c++/49589
2364         * mangle.c (write_expression): Handle 'this'.
2365         * parser.c (cp_parser_postfix_dot_deref_expression): Allow
2366         incomplete *this.
2367         * semantics.c (potential_constant_expression_1): Check that
2368         DECL_CONTEXT is set on 'this'.
2369
2370         * error.c (dump_template_bindings): Don't print typenames
2371         for a partial instantiation.
2372         (dump_function_decl): If we aren't printing function arguments,
2373         print template arguments as <args> rather than [with ...].
2374         (dump_expr): Don't print return type or template header.
2375         [BASELINK]: Use BASELINK_FUNCTIONS rather than get_first_fn.
2376         * pt.c (dependent_template_arg_p): Handle null arg.
2377
2378         * error.c (type_to_string): Avoid redundant akas.
2379
2380 2011-07-01  Jonathan Wakely  <jwakely.gcc@gmail.com>
2381
2382         PR c++/49605
2383         * init.c (build_delete): Only warn for sfk_deleting_destructor.
2384
2385 2011-07-01  Jakub Jelinek  <jakub@redhat.com>
2386
2387         * Make-lang.in (cp/decl.o): Depend on pointer-set.h.
2388         (cp/class.o): Likewise.
2389         (cp/error.o): Likewise.
2390         (cp/name-lookup.o): Likewise.
2391         (cp/decl2.o): Likewise.  Don't depend on $(POINTER_SET_H).
2392
2393 2011-07-01  Jason Merrill  <jason@redhat.com>
2394
2395         PR c++/48261
2396         * pt.c (lookup_template_function): Handle non-function.
2397
2398         PR c++/48593
2399         * pt.c (tsubst_qualified_id): Check PTRMEM_OK_P.
2400         * tree.c (build_qualified_name): Set PTRMEM_OK_P.
2401         * semantics.c (finish_parenthesized_expr): Clear PTRMEM_OK_P on
2402         SCOPE_REF, too.
2403         * cp-tree.h (PTRMEM_OK_P): Apply to SCOPE_REF, too.
2404         (QUALIFIED_NAME_IS_TEMPLATE): Switch to lang flag 1.
2405
2406         PR c++/48883
2407         PR c++/49609
2408         * pt.c (resolve_nondeduced_context): Call mark_used.
2409
2410         PR c++/49085
2411         * semantics.c (finish_offsetof): Complain about incomplete type.
2412
2413 2011-06-30  Jason Merrill  <jason@redhat.com>
2414
2415         PR c++/49387
2416         * rtti.c (get_tinfo_decl): Call complete_type.
2417
2418         PR c++/49569
2419         * method.c (implicitly_declare_fn): Set DECL_PARM_LEVEL and
2420         DECL_PARM_INDEX on rhs parm.
2421
2422         * pt.c (iterative_hash_template_arg): Use cp_tree_operand_length.
2423
2424         PR c++/49355
2425         * tree.c (stabilize_init): Handle aggregate initialization.
2426
2427         PR c++/48481
2428         * name-lookup.c (struct arg_lookup): Add fn_set.
2429         (add_function): Check it.
2430         (lookup_arg_dependent_1): Initialize it.
2431
2432 2011-06-29  Jason Merrill  <jason@redhat.com>
2433
2434         PR c++/49216
2435         * init.c (build_new_1): Pass {} down to build_vec_init.
2436         (build_vec_init): Handle it.
2437
2438         DR 1207
2439         PR c++/49003
2440         * cp-tree.h (struct saved_scope): Add x_current_class_ptr,
2441         x_current_class_ref.
2442         (current_class_ptr, current_class_ref): Use them.
2443         * decl.c (build_this_parm): Handle getting the class type.
2444         * parser.c (cp_parser_late_return_type_opt): Set up 'this'
2445         for use within the trailing return type.
2446
2447         * pt.c (tsubst_decl) [VAR_DECL]: In unevaluated operand,
2448         don't tsubst DECL_INITIAL unless our type use auto.
2449
2450         PR c++/49520
2451         * semantics.c (constexpr_fn_retval): Handle CLEANUP_POINT_EXPR here.
2452         (massage_constexpr_body): Not here.
2453
2454         PR c++/49554
2455         * semantics.c (lambda_proxy_type): New.
2456         (build_capture_proxy): Use it.
2457         * cp-tree.h (DECLTYPE_FOR_LAMBDA_PROXY): New.
2458         * pt.c (tsubst) [DECLTYPE_TYPE]: Use them.
2459
2460         PR c++/45923
2461         * class.c (explain_non_literal_class): New.
2462         (finalize_literal_type_property): Call it.
2463         * cp-tree.h: Declare it.
2464         * semantics.c (ensure_literal_type_for_constexpr_object): Call it.
2465         (is_valid_constexpr_fn): Likewise.
2466         (massage_constexpr_body): Split out from...
2467         (register_constexpr_fundef): ...here.
2468         (is_instantiation_of_constexpr): New.
2469         (expand_or_defer_fn_1): Leave DECL_SAVED_TREE alone in that case.
2470         (explain_invalid_constexpr_fn): New.
2471         (cxx_eval_call_expression): Call it.
2472         (potential_constant_expression_1): Likewise.  Avoid redundant errors.
2473         * method.c (process_subob_fn): Diagnose non-constexpr.
2474         (walk_field_subobs): Likewise.
2475         (synthesized_method_walk): Don't shortcut if we want diagnostics.
2476         (explain_implicit_non_constexpr): New.
2477         (defaulted_late_check): Use it.
2478         * call.c (build_cxx_call): Remember location.
2479
2480         * method.c (maybe_explain_implicit_delete): Use pointer_set
2481         instead of htab.
2482
2483         * class.c (finalize_literal_type_property): Update conditions.
2484         * method.c (defaulted_late_check): Set TYPE_HAS_CONSTEXPR_CTOR.
2485
2486         * tree.c (build_vec_init_expr): Don't add TARGET_EXPR.
2487         * typeck2.c (digest_init_r): Handle VEC_INIT_EXPR.
2488         * semantics.c (cxx_eval_vec_init_1): Correct type.
2489
2490         * init.c (build_value_init): Decide whether or not to zero-initialize
2491         based on user-providedness of default ctor, not any ctor.
2492         (build_value_init_noctor): Adjust assert.
2493
2494         DR 990
2495         * call.c (convert_like_real) [ck_user]: Handle value-initialization.
2496         (build_new_method_call_1): Likewise.
2497         * init.c (expand_default_init): Handle direct list-initialization
2498         of aggregates.
2499
2500 2011-06-27  Jakub Jelinek  <jakub@redhat.com>
2501
2502         * cp-tree.h (union lang_tree_node): Use it in chain_next expression.
2503
2504 2011-06-26  Jason Merrill  <jason@redhat.com>
2505
2506         PR c++/49528
2507         * semantics.c (potential_constant_expression_1): Check
2508         for non-literality rather than cleanup.
2509         (cxx_eval_constant_expression): Likewise.
2510
2511         PR c++/49528
2512         * semantics.c (potential_constant_expression_1): A TARGET_EXPR
2513         with a cleanup isn't constant.
2514         (cxx_eval_constant_expression): Likewise.
2515         * init.c (expand_default_init): Use maybe_constant_init.
2516
2517 2011-06-24  Jakub Jelinek  <jakub@redhat.com>
2518
2519         PR c++/46400
2520         * cp-tree.h (union lang_tree_node): Use TYPE_NEXT_VARIANT
2521         instead of TYPE_CHAIN for chain_next for types.
2522
2523 2011-06-23  Gabriel Charette  <gchare@google.com>
2524
2525         * name-lookup.h (cp_binding_level): Removed unused
2526         member names_size. Update all users.
2527
2528 2011-06-23  Jason Merrill  <jason@redhat.com>
2529
2530         * typeck2.c (build_functional_cast): Strip cv-quals for value init.
2531         * init.c (build_zero_init_1): Not here.
2532
2533         PR c++/35255
2534         * pt.c (resolve_overloaded_unification): Fix DR 115 handling.
2535
2536 2011-06-23  Paolo Carlini  <paolo.carlini@oracle.com>
2537
2538         PR c++/44625
2539         * decl2.c (build_anon_union_vars): Early return error_mark_node
2540         for a nested anonymous struct.
2541
2542 2011-06-23  Jason Merrill  <jason@redhat.com>
2543
2544         PR c++/49507
2545         * decl2.c (mark_used): Don't call synthesize_method for
2546         functions defaulted outside the class.
2547
2548         * optimize.c (maybe_clone_body): Set linkage flags before
2549         cgraph_same_body_alias.
2550
2551         PR c++/49440
2552         * class.c (set_linkage_according_to_type): Hand off to
2553         determine_visibility.
2554
2555         PR c++/49395
2556         * init.c (build_zero_init_1): Strip cv-quals from scalar types.
2557
2558         PR c++/36435
2559         * pt.c (most_specialized_instantiation): Do check return types.
2560
2561 2011-06-22  Jason Merrill  <jason@redhat.com>
2562
2563         PR c++/49260
2564         * call.c (build_call_a): Set cp_function_chain->can_throw here.
2565         (build_cxx_call): Not here.
2566
2567 2011-06-21  Jason Merrill  <jason@redhat.com>
2568
2569         PR c++/49172
2570         * decl.c (cp_finish_decl): Adjust init_const_expr_p for refs.
2571         (grokdeclarator): constexpr doesn't apply const for refs.
2572         * parser.c (cp_parser_initializer_clause): Don't call
2573         maybe_constant_value here.
2574         * call.c (initialize_reference): Handle constexpr.
2575
2576         PR c++/49482
2577         * semantics.c (maybe_add_lambda_conv_op): Call mark_exp_read for
2578         static fn parameters.
2579
2580         * call.c (add_builtin_candidates): Use cv_unqualified rather than
2581         TYPE_MAIN_VARIANT.
2582         * pt.c (tsubst_arg_types): Likewise.
2583         * except.c (build_throw): Use cv_unqualified.
2584
2585         PR c++/49418
2586         * call.c (cxx_type_promotes_to): Don't strip cv-quals.
2587         * semantics.c (lambda_return_type): Strip them here.
2588
2589 2011-06-21  Andrew MacLeod  <amacleod@redhat.com>
2590
2591         * semantics.c: Add sync_ or SYNC__ to builtin names.
2592
2593 2011-06-20  Jason Merrill  <jason@redhat.com>
2594
2595         PR c++/49216
2596         * init.c (build_vec_init): Don't try to use a CONSTRUCTOR when
2597         base is a pointer.
2598         * typeck2.c (process_init_constructor_array): Use {} for classes,
2599         too.
2600         * call.c (convert_like_real): Handle substitution failure.
2601
2602         PR c++/48138
2603         * pt.c (canonicalize_type_argument): New.
2604         (convert_template_argument, unify): Use it.
2605
2606         PR c++/47080
2607         * call.c (rejection_reason_code): Add rr_explicit_conversion.
2608         (print_z_candidate): Handle it.
2609         (explicit_conversion_rejection): New.
2610         (build_user_type_conversion_1): Reject an explicit conversion
2611         function that requires more than a qualification conversion.
2612
2613         PR c++/47635
2614         * decl.c (grokdeclarator): Don't set ctype to an ENUMERAL_TYPE.
2615
2616         PR c++/48138
2617         * tree.c (strip_typedefs): Use build_aligned_type.
2618
2619         PR c++/49205
2620         * call.c (sufficient_parms_p): Allow parameter packs too.
2621
2622         PR c++/43321
2623         * semantics.c (describable_type): Remove.
2624         * cp-tree.h: Likewise.
2625         * decl.c (cp_finish_decl): Don't call it.
2626         * init.c (build_new): Likewise.
2627         * parser.c (cp_parser_omp_for_loop): Likewise.
2628         * pt.c (tsubst_decl): Likewise.
2629         (do_auto_deduction): If we fail in a template, try again
2630         at instantiation time.
2631
2632         PR c++/43831
2633         * parser.c (cp_parser_lambda_introducer): Complain about redundant
2634         captures.
2635         * semantics.c (add_capture): Likewise.
2636         (register_capture_members): Clear IDENTIFIER_MARKED.
2637
2638 2011-06-17  Jason Merrill  <jason@redhat.com>
2639
2640         PR c++/49458
2641         * call.c (convert_class_to_reference_1): Allow binding function
2642         lvalue to rvalue reference.
2643
2644         PR c++/43912
2645         Generate proxy VAR_DECLs for better lambda debug info.
2646         * cp-tree.h (FUNCTION_NEEDS_BODY_BLOCK): Add lambda operator().
2647         (LAMBDA_EXPR_PENDING_PROXIES): New.
2648         (struct tree_lambda_expr): Add pending_proxies.
2649         * name-lookup.c (pushdecl_maybe_friend_1): Handle capture shadowing.
2650         (qualify_lookup): Use is_lambda_ignored_entity.
2651         * parser.c (cp_parser_lambda_expression): Don't adjust field names.
2652         Call insert_pending_capture_proxies.
2653         (cp_parser_lambda_introducer): Use this_identifier.
2654         (cp_parser_lambda_declarator_opt): Call the object parameter
2655         of the op() "__closure" instead of "this".
2656         (cp_parser_lambda_body): Call build_capture_proxy.
2657         * semantics.c (build_capture_proxy, is_lambda_ignored_entity): New.
2658         (insert_pending_capture_proxies, insert_capture_proxy): New.
2659         (is_normal_capture_proxy, is_capture_proxy): New.
2660         (add_capture): Add __ to field names here, return capture proxy.
2661         (add_default_capture): Use this_identifier, adjust to expect
2662         add_capture to return a capture proxy.
2663         (outer_lambda_capture_p, thisify_lambda_field): Remove.
2664         (finish_id_expression, lambda_expr_this_capture): Adjust.
2665         (build_lambda_expr): Initialize LAMBDA_EXPR_PENDING_PROXIES.
2666         * pt.c (tsubst_copy_and_build): Check that LAMBDA_EXPR_PENDING_PROXIES
2667         is null.
2668
2669         * name-lookup.c (pushdecl_maybe_friend_1): Do check for shadowing
2670         of artificial locals.
2671
2672         * parser.c (cp_parser_lambda_expression): Clear
2673         LAMBDA_EXPR_THIS_CAPTURE after parsing.
2674         * pt.c (tsubst_copy_and_build): Make sure it isn't set.
2675
2676         * cp-tree.h (struct tree_lambda_expr): Change common to typed.
2677         Move non-pointers to end of struct.
2678
2679         * pt.c (tsubst_decl): Handle DECL_VALUE_EXPR on reference.
2680         * decl.c (check_initializer): Handle DECL_VALUE_EXPR_P.
2681
2682         * semantics.c (finish_non_static_data_member): Preserve dereference
2683         in template.
2684
2685 2011-06-16  Jason Merrill  <jason@redhat.com>
2686
2687         PR c++/44160
2688         * parser.c (cp_parser_lambda_body): Share code between
2689         simple and complex cases instead of using cp_parser_function_body.
2690
2691         PR c++/45378
2692         * decl.c (check_initializer): Check narrowing.
2693
2694         PR c++/49229
2695         * pt.c (tsubst_decl) [FUNCTION_DECL]: Handle substitution failure.
2696
2697         PR c++/49251
2698         * semantics.c (finish_id_expression): Mark even dependent
2699         variables as used.
2700
2701         PR c++/49420
2702         * error.c (dump_template_argument): Don't try to omit default
2703         template args from an argument pack.
2704
2705 2011-06-15  H.J. Lu  <hongjiu.lu@intel.com>
2706
2707         PR c++/49412
2708         * decl.c (get_dso_handle_node): Mark __dso_handle hidden if
2709         assembler supports hidden visibility.
2710
2711 2011-06-14  Jason Merrill  <jason@redhat.com>
2712
2713         PR c++/49107
2714         * cp-tree.h (DEFERRED_NOEXCEPT_SPEC_P): Handle overload.
2715         * method.c (defaulted_late_check): Only maybe_instantiate_noexcept
2716         if the declaration had an exception-specifier.
2717         (process_subob_fn): Don't maybe_instantiate_noexcept.
2718         * pt.c (maybe_instantiate_noexcept): Handle overload.
2719         * typeck2.c (nothrow_spec_p_uninst): New.
2720         (merge_exception_specifiers): Add 'fn' parm.  Build up overload.
2721         * typeck.c (merge_types): Adjust.
2722
2723         * pt.c (deduction_tsubst_fntype): Don't save input_location.
2724         (maybe_instantiate_noexcept): Likewise.
2725
2726 2011-06-14  Joseph Myers  <joseph@codesourcery.com>
2727
2728         * Make-lang.in (cp/method.o): Update dependencies.
2729         * method.c: Include common/common-target.h.
2730         (use_thunk): Use targetm_common.have_named_sections.
2731
2732 2011-06-14  Steve Ellcey  <sje@cup.hp.com>
2733
2734         * decl.c (cxx_init_decl_processing): Use ptr_mode instead of Pmode.
2735
2736 2011-06-14  Jason Merrill  <jason@redhat.com>
2737
2738         * error.c (type_to_string): Print typedef-stripped version too.
2739
2740         PR c++/49117
2741         * call.c (perform_implicit_conversion_flags): Print source type as
2742         well as expression.
2743
2744         PR c++/49389
2745         * typeck2.c (build_m_component_ref): Preserve rvalueness.
2746
2747         PR c++/49369
2748         * class.c (build_base_path): Fix cv-quals in unevaluated context.
2749
2750         PR c++/49290
2751         * semantics.c (cxx_fold_indirect_ref): Local, more permissive copy
2752         of fold_indirect_ref_1.
2753         (cxx_eval_indirect_ref): Use it.
2754
2755 2011-06-11  Jan Hubicka  <jh@suse.cz>
2756
2757         * decl2.c (cp_write_global_declarations): Process aliases; look trhough
2758         same body aliases.
2759
2760 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
2761
2762         PR c++/41769
2763         * decl.c (grokdeclarator): Reject operator names in parameters.
2764
2765 2011-06-10  Jan Hubicka  <jh@suse.cz>
2766
2767         * decl2.c (clear_decl_external): New functoin.
2768         (cp_write_global_declarations): Use it.
2769
2770 2011-06-10  Paolo Carlini  <paolo.carlini@oracle.com>
2771
2772         * cp-tree.h (error_operand_p): Remove.
2773
2774 2011-06-09  David Krauss  <potswa@mac.com>
2775
2776         PR c++/49118
2777         * typeck2.c (build_x_arrow): Push fake template context
2778         to produce diagnostic on acyclic endless operator-> drill-down.
2779         * call.c (build_new_op): Change Boolean overload status
2780         value to a pointer to the overload function.
2781         * cp-tree.h: Likewise.
2782         * typeck.c: Likewise.
2783         * parser.c: Likewise.
2784         * decl2.c: Likewise.
2785         * pt.c: Likewise.
2786
2787 2011-06-09  Jason Merrill  <jason@redhat.com>
2788
2789         * semantics.c (maybe_constant_value): Handle overflowed input.
2790         (non_const_var_error): Handle non-constant DECL_INITIAL.
2791
2792         * pt.c (build_non_dependent_expr): Use fold_non_dependent_expr_sfinae.
2793
2794         * parser.c (cp_parser_constant_expression): Just return the
2795         non-constant expression.
2796
2797         * semantics.c (finish_compound_literal): Set TREE_HAS_CONSTRUCTOR.
2798
2799 2011-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
2800
2801         PR c++/29003
2802         * decl.c (grokdeclarator): Reject operator names in typedefs.
2803
2804 2011-06-08  Jason Merrill  <jason@redhat.com>
2805
2806         PR c++/49107
2807         * cp-tree.def (DEFERRED_NOEXCEPT): New.
2808         * cp-tree.h (struct tree_deferred_noexcept): New.
2809         (DEFERRED_NOEXCEPT_PATTERN, DEFERRED_NOEXCEPT_ARGS): New.
2810         (DEFERRED_NOEXCEPT_SPEC_P): New.
2811         (enum cp_tree_node_structure_enum): Add TS_CP_DEFERRED_NOEXCEPT.
2812         (union lang_tree_node): Add tree_deferred_noexcept.
2813         (maybe_instantiate_noexcept): Declare.
2814         * cp-objcp-common.c (cp_tree_size): Handle DEFERRED_NOEXCEPT.
2815         * error.c (dump_exception_spec): Likewise.
2816         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
2817         * ptree.c (cxx_print_xnode): Likewise.
2818         * tree.c (cp_tree_equal): Likewise.
2819         * decl.c (cp_tree_node_structure): Likewise.
2820         (duplicate_decls): Call maybe_instantiate_noexcept.
2821         * except.c (build_noexcept_spec): Handle DEFERRED_NOEXCEPT.
2822         (nothrow_spec_p, type_noexcept_p, type_throw_all_p): Check
2823         DEFERRED_NOEXCEPT_SPEC_P.
2824         * typeck2.c (merge_exception_specifiers): Likewise.
2825         * decl2.c (mark_used): Call maybe_instantiate_noexcept.
2826         * method.c (process_subob_fn, defaulted_late_check): Likewise.
2827         * pt.c (tsubst_exception_specification): Add defer_ok parm.
2828         Build DEFERRED_NOEXCEPT.
2829         (maybe_instantiate_noexcept): New.
2830         (tsubst, regenerate_decl_from_template, instantiate_decl): Adjust.
2831         * search.c (check_final_overrider): Call maybe_instantiate_noexcept.
2832
2833         * semantics.c (potential_constant_expression_1): Handle destructor
2834         call.
2835
2836 2011-06-08  Jakub Jelinek  <jakub@redhat.com>
2837
2838         * cp-tree.h (struct tinst_level): Add chain_next GTY
2839         markup.
2840
2841 2011-06-08  Jason Merrill  <jason@redhat.com>
2842
2843         PR c++/49322
2844         * pt.c (deduction_tsubst_fntype): Don't free the tinst entry
2845         if a pending_template entry is pointing at it.
2846
2847 2011-06-07  Jason Merrill  <jason@redhat.com>
2848
2849         PR c++/48969
2850         PR c++/44175
2851         * error.c (subst_to_string): New.
2852         (cp_printer): Use it for 'S'.
2853         (print_instantiation_partial_context_line): Handle subst context.
2854         * pt.c (push_tinst_level): Handle subst context.
2855         (deduction_tsubst_fntype): Don't track specific substitutions.
2856         Use push_tinst_level.
2857
2858         * pt.c (deduction_tsubst_fntype): Use push_deduction_access_scope.
2859         (fn_type_unification): Don't call push_deduction_access_scope here.
2860
2861 2011-06-06  Jason Merrill  <jason@redhat.com>
2862
2863         PR c++/48780
2864         * typeck.c (perform_integral_promotions): Don't promote scoped enums.
2865         * call.c (convert_arg_to_ellipsis): Promote them here in old ABI.
2866
2867 2011-06-06  Nicola Pero  <nicola.pero@meta-innovation.com>,
2868
2869         PR obj-c++/48275
2870         * parser.c (cp_parser_objc_at_property_declaration): Allow setter
2871         and getter names to use all the allowed method names.
2872
2873 2011-06-06  Jason Merrill  <jason@redhat.com>
2874
2875         PR c++/49298
2876         * semantics.c (potential_constant_expression_1): Handle FIELD_DECL.
2877
2878         PR objc++/49221
2879         * decl.c (cp_finish_decl): Check DECL_FUNCTION_SCOPE_P rather than
2880         at_function_scope_p.
2881
2882         PR c++/49134
2883         * tree.c (build_target_expr): Deal with ARM ABI tweaks.
2884
2885 2011-06-04  Jonathan Wakely  <jwakely.gcc@gmail.com>
2886
2887         * init.c (build_delete): Warn when deleting type with non-virtual
2888         destructor.
2889
2890 2011-06-03  Jakub Jelinek  <jakub@redhat.com>
2891
2892         PR c++/49276
2893         * mangle.c (write_nested_name): Use CP_DECL_CONTEXT instead of
2894         DECL_CONTEXT.
2895
2896 2011-06-01  Jason Merrill  <jason@redhat.com>
2897
2898         * pt.c (build_non_dependent_expr): Remove special handling of
2899         REFERENCE_REF_P.
2900
2901         PR c++/44175
2902         * pt.c (template_args_equal): Handle one arg being NULL_TREE.
2903         (deduction_tsubst_fntype): Handle excessive non-infinite recursion.
2904
2905         PR c++/49253
2906         * typeck2.c (build_x_arrow): Don't use build_min_nt.
2907
2908 2010-05-31  Fabien Chêne  <fabien@gcc.gnu.org>
2909
2910         PR c++/48010
2911         * name-lookup.c (supplement_binding_1): If the old binding was a
2912         type name, also check that the DECL actually refers to the same
2913         type or is not a type.
2914
2915 2011-05-31  Jason Merrill  <jason@redhat.com>
2916
2917         PR c++/44870
2918         * tree.c (lvalue_kind): Recurse on NON_DEPENDENT_EXPR.  Handle
2919         ARROW_EXPR, TYPEID_EXPR, and arbitrary class-valued expressions.
2920         (build_min_non_dep): Preserve reference refs.
2921         (build_min_non_dep_call_vec): Likewise
2922
2923 2011-05-30  Jakub Jelinek  <jakub@redhat.com>
2924
2925         PR c++/49223
2926         * semantics.c (finish_omp_clauses): Call require_complete_type
2927         even for copyin/copyprivate clauses.  Only call
2928         cxx_omp_create_clause_info if inner_type is COMPLETE_TYPE_P.
2929
2930 2011-05-28  Jason Merrill  <jason@redhat.com>
2931
2932         PR c++/46124
2933         * parser.c (cp_parser_lambda_expression): Improve error recovery.
2934         (cp_parser_lambda_declarator_opt): Likewise.  Return bool.
2935
2936 2011-05-27  Jason Merrill  <jason@redhat.com>
2937
2938         PR c++/47277
2939         * parser.c (cp_parser_pseudo_destructor_name): Commit to parse
2940         after we see the ~.
2941
2942         * mangle.c (mangle_decl_string): Make sure we don't try to mangle
2943         templates.
2944
2945         PR c++/47049
2946         * semantics.c (maybe_add_lambda_conv_op): Fix COMDAT sharing.
2947         * decl.c (start_preparsed_function): Don't call comdat_linkage for
2948         a template.
2949
2950         PR c++/47132
2951         * mangle.c (write_expression): Handle MODOP_EXPR.
2952
2953         PR c++/47277
2954         * parser.c (cp_parser_unqualified_id): Don't check
2955         constructor_name_p for enums.
2956
2957         PR c++/47687
2958         * pt.c (dependent_type_p_r): Avoid infinite recursion.
2959
2960         PR c++/48284
2961         * error.c (dump_expr) [COMPONENT_REF]: Use pp_cxx_dot
2962         with INDIRECT_REF of REFERENCE_TYPE.
2963
2964         PR c++/49181
2965         * pt.c (get_mostly_instantiated_function_type): Use push_access_scope.
2966
2967 2011-05-27  Nathan Froyd  <froydnj@codesourcery.com>
2968
2969         * cp-tree.h (building_stmt_tree): Delete.
2970         * decl.c (save_function_data): Tweak initializer for x_cur_stmt_list.
2971         (build_aggr_init_full_exprs): Call building_stmt_list_p
2972         instead of building_stmt_tree.
2973         (initialize_local_var): Likewise.
2974         (finish_function): Likewise.
2975         * decl2.c (finish_anon_union): Likewise.
2976         * init.c (begin_init_stmts): Likewise.
2977         (finish_init_stmts): Likewise.
2978         (expand_aggr_init_1): Likewise.
2979         * name-lookup.c (do_local_using_decl): Likewise.
2980         (do_namespace_alias): Likewise.
2981         (do_using_directive): Likewise.
2982         (cp_emit_debug_info_for_using): Likewise.
2983         * semantics.c (add_stmt): Assert that stmt_list_stack is non-empty.
2984
2985 2011-05-27  Paolo Carlini  <paolo.carlini@oracle.com>
2986
2987         PR c++/42056
2988         * typeck2.c (build_functional_cast): Complain early for invalid uses
2989         of 'auto' and set type to error_mark_node.
2990
2991 2011-05-26  Jason Merrill  <jason@redhat.com>
2992
2993         PR c++/47721
2994         * parser.c (cp_parser_member_declaration): Allow friend T.
2995         * friend.c (make_friend_class): Ignore non-classes.
2996         * pt.c (instantiate_class_template_1): Handle TEMPLATE_TYPE_PARM.
2997
2998         DR 1004
2999         * pt.c (convert_template_argument): Don't complain about using
3000         injected-class-name as template template argument.
3001
3002         PR c++/47956
3003         * decl.c (check_static_variable_definition): Now static.
3004         (cp_finish_decl): Call it here.
3005         (grokdeclarator): Not here.
3006         * pt.c (instantiate_class_template_1): Or here.
3007         * cp-tree.h: Don't declare it.
3008
3009 2011-05-26  Janis Johnson  <janis187@us.ibm.com>
3010             Nathan Froyd  <froydnj@codesourcery.com>
3011
3012         PR c++/2288
3013         PR c++/18770
3014         * name-lookup.h (enum scope_kind): Add sk_cond.
3015         * name-lookup.c (pushdecl_maybe_friend): Get scope of shadowed local.
3016         Detect and report error for redeclaration from for-init or if
3017         or switch condition.
3018         (begin_scope): Handle sk_cond.
3019         * semantics.c (begin_if_stmt): Use sk_cond.
3020         (begin switch_stmt): Ditto.
3021
3022 2011-05-26  Jason Merrill  <jason@redhat.com>
3023
3024         PR c++/48211
3025         * name-lookup.h (cp_class_binding): Make base a pointer.
3026         * name-lookup.c (new_class_binding): Adjust.
3027         (poplevel_class): Adjust.
3028
3029         PR c++/48424
3030         * decl.c (grokparms): Function parameter packs don't need to
3031         go at the end.
3032         * pt.c (type_unification_real): But they aren't deduced otherwise.
3033
3034 2011-05-25  Jason Merrill  <jason@redhat.com>
3035
3036         PR c++/48536
3037         * decl.c (build_enumerator): If incremented enumerator won't fit in
3038         previous integral type, find one it will fit in.
3039
3040         PR c++/48599
3041         * decl.c (create_array_type_for_decl): Complain about array of auto.
3042
3043         PR c++/44994
3044         PR c++/49156
3045         * error.c (dump_template_bindings): Set processing_template_decl
3046         for a partial instantiation.
3047
3048         PR c++/45401
3049         * decl.c (grokdeclarator): Don't change type when adding rvalue ref
3050         to another reference type.
3051
3052         PR c++/44311
3053         * decl.c (case_conversion): New.
3054         (finish_case_label): Use it.
3055
3056         * ptree.c (cxx_print_xnode): Handle ARGUMENT_PACK_SELECT.
3057
3058         PR c++/45698
3059         * pt.c (dependent_template_arg_p): See through ARGUMENT_PACK_SELECT.
3060
3061         PR c++/46005
3062         * decl.c (grokdeclarator): Complain about auto typedef.
3063
3064         PR c++/46245
3065         * decl.c (grokdeclarator): Complain later for auto parameter.
3066         * pt.c (splice_late_return_type): Handle use in a template
3067         type-parameter.
3068
3069         PR c++/46696
3070         * typeck.c (cp_build_modify_expr): Check DECL_DEFAULTED_FN.
3071
3072         PR c++/47184
3073         * parser.c (cp_parser_parameter_declaration): Recognize
3074         list-initialization.
3075         (cp_parser_direct_declarator): Check for the closing
3076         paren before parsing definitely.
3077
3078         PR c++/48935
3079         * parser.c (cp_parser_constructor_declarator_p): Don't check
3080         constructor_name_p for enums.
3081         (cp_parser_diagnose_invalid_type_name): Correct error message.
3082
3083         PR c++/45418
3084         * init.c (perform_member_init): Handle list-initialization
3085         of array of non-trivial class type.
3086
3087         PR c++/45080
3088         * pt.c (instantiate_class_template_1): Call maybe_add_lambda_conv_op.
3089         * semantics.c (lambda_function): Check COMPLETE_OR_OPEN_TYPE_P.
3090
3091         PR c++/48292
3092         * pt.c (tsubst_decl) [PARM_DECL]: Handle partial instantiation of
3093         function parameter pack.
3094         (tsubst_pack_expansion): Likewise.
3095
3096         * cp-objcp-common.c (cp_common_init_ts): TYPE_ARGUMENT_PACK has
3097         TS_COMMON.
3098
3099 2011-05-25  Jakub Jelinek  <jakub@redhat.com>
3100
3101         * cp-objcp-common.c (cp_common_init_ts): Mark CTOR_INITIALIZER
3102         as TS_TYPED.
3103
3104         PR c++/49136
3105         * semantics.c (cxx_eval_bit_field_ref): Handle the
3106         case when BIT_FIELD_REF doesn't cover only a single field.
3107
3108 2011-05-24  Jason Merrill  <jason@redhat.com>
3109
3110         PR c++/49042
3111         * pt.c (get_mostly_instantiated_function_type): Use
3112         push_deferring_access_checks rather than set flag_access_control.
3113
3114 2011-05-24  Nicola Pero  <nicola.pero@meta-innovation.com>,
3115
3116         * parser.c (cp_parser_objc_class_ivars): Deal gracefully with a
3117         syntax error in declaring an ObjC instance variable.
3118
3119 2011-05-24  Jason Merrill  <jason@redhat.com>
3120
3121         PR c++/48884
3122         * class.c (pushclass): Accept NULL argument.
3123         (popclass): Deal with popping null class.
3124         * pt.c (push_access_scope, pop_access_scope): Use them rather than
3125         push_to_top_level/pop_from_top_level.
3126         (push_deduction_access_scope, pop_defarg_context): New.
3127         (fn_type_unification): Use them.
3128         * name-lookup.c (lookup_name_real_1): Check current_class_type.
3129
3130 2011-05-24  Paolo Carlini  <paolo.carlini@oracle.com>
3131
3132         * decl.c (grokdeclarator): Use current_class_name.
3133
3134 2011-05-24  Joseph Myers  <joseph@codesourcery.com>
3135
3136         * Make-lang.in (GXX_OBJS): Remove prefix.o.
3137         (g++$(exeext)): Use libcommon-target.a.
3138         (CXX_C_OBJS): Remove prefix.o.
3139
3140 2011-05-23  Jason Merrill  <jason@redhat.com>
3141
3142         * pt.c (tsubst_copy_and_build): Use current_class_name.
3143
3144         PR c++/49102
3145         * call.c (convert_arg_to_ellipsis): Call force_rvalue.
3146
3147         PR c++/49105
3148         * typeck.c (cp_build_c_cast): Don't strip cv-quals when
3149         converting to reference.
3150         (build_static_cast_1): Update for glvalues.
3151
3152         PR c++/49105
3153         * typeck.c (build_const_cast_1): Handle rvalue references.
3154
3155         PR c++/47263
3156         * decl.c (use_eh_spec_block): Do use an EH spec block for a
3157         lambda op().
3158
3159         PR c++/49058
3160         * call.c (splice_viable): Be strict in templates.
3161
3162         PR c++/47336
3163         * error.c (dump_template_bindings): Suppress access control.
3164
3165         PR c++/47544
3166         * pt.c (instantiate_decl): Handle =default.
3167
3168         PR c++/48617
3169         * pt.c (invalid_nontype_parm_type_p): Allow DECLTYPE_TYPE.
3170
3171 2011-05-23  Nathan Froyd  <froydnj@codesourcery.com>
3172
3173         * call.c (build_over_call): Tweak call to check_function_arguments.
3174         * typeck.c (cp_build_function_call_vec): Likewise.
3175
3176 2011-05-23  Jonathan Wakely  <jwakely.gcc@gmail.com>
3177
3178         PR c++/18016
3179         * init.c (perform_member_init): Check for self-initialization.
3180
3181 2011-05-22  Jason Merrill  <jason@redhat.com>
3182
3183         PR c++/48647
3184         * typeck.c (composite_pointer_type_r): Return error_mark_node
3185         on error in SFINAE context.
3186
3187 2011-05-20  Jason Merrill  <jason@redhat.com>
3188
3189         PR c++/48945
3190         * decl.c (grokdeclarator): Don't add set const function-cv-qual
3191         for constexpr fns to memfn_quals, just add it to the type.
3192         (revert_static_member_fn): Don't complain about quals.
3193         (check_static_quals): New.
3194         (grokfndecl): Call it.
3195         (start_preparsed_function): Don't call revert_static_member_fn.
3196
3197         PR c++/48945
3198         * decl.c (revert_static_member_fn): Ignore const on constexpr fn.
3199
3200         PR c++/48780
3201         * cvt.c (type_promotes_to): Don't promote scoped enums.
3202
3203         PR c++/49066
3204         * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.
3205
3206         PR c++/48873
3207         * tree.c (stabilize_expr): Fix typo.
3208
3209         DR 1073
3210         PR c++/49082
3211         * typeck.c (comp_except_specs): noexcept(false) is not compatible
3212         with throw(type-list).
3213         * typeck2.c (merge_exception_specifiers): noexcept(false)
3214         beats any more limited specification.
3215
3216         PR c++/24163
3217         PR c++/29131
3218         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
3219         unqualified lookup.
3220         * semantics.c (perform_koenig_lookup): Add complain parm.
3221         * cp-tree.h: Adjust.
3222         * parser.c (cp_parser_postfix_expression): Adjust.
3223         (cp_parser_perform_range_for_lookup): Adjust.
3224
3225 2011-05-20  Jason Merrill  <jason@redhat.com>
3226
3227         * semantics.c (finish_call_expr): SET_EXPR_LOCATION.
3228
3229 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
3230
3231         * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.
3232
3233 2011-05-19  Jakub Jelinek  <jakub@redhat.com>
3234
3235         PR c++/49043
3236         * decl.c (check_omp_return): Stop searching on sk_function_parms.
3237
3238         PR c++/48869
3239         * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
3240         pass it down to locate_fn_flags.
3241         * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
3242         * semantics.c (cxx_omp_create_clause_info): Adjust callers.
3243         * cp-gimplify.c: Include splay-tree.h.
3244         (splay_tree_compare_decl_uid, omp_var_to_track,
3245         omp_cxx_notice_variable): New functions.
3246         (struct cp_genericize_omp_taskreg): New type.
3247         (struct cp_genericize_data): Add omp_ctx field.
3248         (cp_genericize_r): Attempt to determine implicitly determined
3249         firstprivate class type variables.
3250         (cp_genericize): Clear omp_ctx.
3251         * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).
3252
3253 2011-05-18  Jason Merrill  <jason@redhat.com>
3254
3255         PR c++/48948
3256         PR c++/49015
3257         * class.c (finalize_literal_type_property): Do check
3258         for constexpr member functions of non-literal class.
3259         (finish_struct): Don't call check_deferred_constexpr_decls.
3260         * cp-tree.h: Don't declare it.
3261         (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
3262         * decl.c (grok_special_member_properties): Don't check it
3263         (grokfnedcl): Don't call validate_constexpr_fundecl.
3264         (start_preparsed_function): Do call it.
3265         * pt.c (tsubst_decl): Don't call it.
3266         (instantiate_class_template_1): Don't call
3267         check_deferred_constexpr_decls.
3268         * semantics.c (literal_type_p): Check for any incompleteness.
3269         (ensure_literal_type_for_constexpr_object): Likewise.
3270         (is_valid_constexpr_fn): Revert deferral changes.
3271         (validate_constexpr_fundecl): Likewise.
3272         (register_constexpr_fundef): Likewise.
3273         (check_deferred_constexpr_decls): Remove.
3274
3275 2011-05-16  Jason Merrill  <jason@redhat.com>
3276
3277         PR c++/48969
3278         * pt.c (deduction_tsubst_fntype): Use a VEC initially.
3279
3280 2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
3281
3282         * cxx-pretty-print.c: Update comment.
3283         * semantics.c (trait_expr_value, finish_trait_expr):
3284         Reorder the cases.
3285         * parser.c (cp_parser_primary_expression): Likewise.
3286
3287 2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
3288
3289         PR c++/48994
3290         * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.
3291
3292 2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
3293
3294         Implement final on class.
3295         * class.c (check_bases): Diagnose derivation from a final class.
3296         * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
3297         (CLASSTYPE_FINAL): New.
3298         * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
3299         CLASSTYPE_FINAL.
3300         * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.
3301
3302 2011-05-13  Jason Merrill  <jason@redhat.com>
3303
3304         PR c++/48969
3305         * pt.c (deduction_tsubst_fntype): New.
3306         (fn_type_unification): Use it.
3307         (init_template_processing): Initialize hash table.
3308         (print_template_statistics): Print hash table stats.
3309
3310         * call.c (build_op_call): Use timevar_cond_start/stop.
3311         (build_user_type_conversion): Likewise.
3312
3313 2011-05-12  Jason Merrill  <jason@redhat.com>
3314
3315         * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
3316         * semantics.c (validate_constexpr_fundecl): Set it.
3317         (check_deferred_constexpr_decls): Clear it.
3318         (register_constexpr_fundef): Make sure it isn't set.
3319         * decl.c (grok_special_member_properties): Check it.
3320
3321 2011-05-11  Jason Merrill  <jason@redhat.com>
3322
3323         PR c++/48948
3324         * semantics.c (validate_constexpr_fundecl): Defer checking if
3325         an argument type is being defined.
3326         (is_valid_constexpr_fn): Add defer_ok parm.
3327         (cxx_eval_call_expression): Adjust.
3328         (check_deferred_constexpr_decls): New.
3329         (literal_type_p): Make sure type isn't being defined.
3330         (ensure_literal_type_for_constexpr_object): Handle type being defined.
3331         * cp-tree.h: Declare check_deferred_constexpr_decls.
3332         * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
3333         (start_preparsed_function, cp_finish_decl): Not here.
3334         * class.c (finalize_literal_type_property): Don't call
3335         validate_constexpr_fundecl.
3336         (finish_struct): Call check_deferred_constexpr_decls.
3337         * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
3338         (instantiate_class_template): Call check_deferred_constexpr_decls.
3339
3340         * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
3341         rather than DECL_TEMPLATE_INSTANTIATION.
3342         (cxx_eval_call_expression): Likewise.
3343
3344         * semantics.c (register_constexpr_fundef): Add to hash table here.
3345         (validate_constexpr_fundecl): Not here.
3346
3347         * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.
3348
3349         * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
3350         do call maybe_constant_value in C++0x mode.
3351         * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.
3352
3353         PR c++/48745
3354         * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.
3355
3356 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
3357
3358         * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
3359         TYPE_VALUES_RAW.
3360         (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
3361         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
3362         (TEMPLATE_TYPE_PARM_INDEX): Likewise.
3363
3364 2011-05-10  Jason Merrill  <jason@redhat.com>
3365
3366         PR c++/48930
3367         * class.c (type_build_ctor_call): New.
3368         * cp-tree.h: Declare it.
3369         * decl.c (check_initializer): Use it instead of
3370         TYPE_NEEDS_CONSTRUCTING.
3371         * init.c (build_value_init, build_value_init_noctor): Likewise.
3372         (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
3373         (build_vec_init): Likewise.
3374         * typeck2.c (process_init_constructor_array): Likewise.
3375         (process_init_constructor_record): Likewise.
3376
3377         PR c++/48736
3378         * pt.c (tsubst_copy_and_build): Handle substitution of a pack
3379         expansion producing another expansion.
3380
3381 2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
3382
3383         Fixes for override/final.
3384         * class.c (check_for_override): Diagnose final on a nonvirtual
3385         member function, diagnose override for a virtual with no matching
3386         override. Don't fiddle around with DECL_VINDEX.
3387
3388 2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>
3389
3390         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
3391         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
3392         * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
3393         operand of EXPR_PACK_EXPANSION.
3394         (cp_tree_operand_length): Declare.
3395         * tree.c (cp_tree_operand_length): Define.
3396         (cp_tree_equal): Call it.
3397         * pt.c (value_dependent_expr_P): Likewise.
3398         * mangle.c (write_expression): Likewise.
3399
3400 2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
3401
3402         PR c++/48737
3403         PR c++/48744
3404         * decl.c (reshape_init): Take a complain parameter and do
3405         not call error if tf_error is not set.
3406         (check_initializer, reshape_init_r, reshape_init_array,
3407         reshape_init_array_1, reshape_init_vector, reshape_init_class):
3408         Adjust.
3409         * typeck2.c (digest_init_r): Take a complain parameter and
3410         pass it to convert_for_initialization.
3411         (digest_init, digest_init_flags, process_init_constructor_array,
3412         process_init_constructor_record, process_init_constructor_union,
3413         process_init_constructor, digest_init_r): Adjust.
3414         * init.c (expand_default_init, build_new_1): Likewise.
3415         * typeck.c (cp_build_modify_expr): Likewise.
3416         * decl2.c (grokfield): Likewise.
3417         * call.c (convert_like_real, convert_default_arg): Likewise.
3418         * semantics.c (finish_compound_literal): Pass complain to
3419         reshape_init and digest_init.
3420         * cp-tree.h: Adjust declarations.
3421
3422 2011-05-07  Fabien Chêne  <fabien@gcc.gnu.org>
3423
3424         PR c++/48859
3425         * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
3426         recursion if there is user defined constructor.
3427
3428 2011-05-09  Jason Merrill  <jason@redhat.com>
3429
3430         PR c++/34772
3431         * decl.c (initialize_local_var): Use DECL_INITIAL for simple
3432         initialization.
3433
3434 2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
3435
3436         Implement final/override for member functions.
3437         * class.c (check_for_override): Check for DECL_OVERRIDE_P.
3438         * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
3439         (cp_virt_specifiers, enum virt_specifier): New.
3440         * decl.c (set_virt_specifiers): New.
3441         (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
3442         * parser.c (make_call_declarator): add virt-specifiers parameter.
3443         (cp_parser_lambda_declarator_opt): Adjust.
3444         (cp_parser_direct_declarator): Likewise.
3445         (cp_parser_virt_specifier_seq_opt): New.
3446         * search.c (check_final_overrider): Diagnose attempts to override
3447         a final member function.
3448
3449 2011-05-09  Dodji Seketeli  <dodji@redhat.com>
3450
3451         PR c++/48574
3452         * class.c (fixed_type_or_null): Use type_dependent_p_push to test
3453         if the instance has a dependent initializer.
3454
3455 2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
3456
3457         PR c++/48816
3458         * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
3459         effectively unused variable.
3460
3461 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
3462
3463         * name-lookup.h (global_bindings_p): Adjust prototype.
3464         * name-lookup.c (global_bindings_p): Return bool.
3465
3466 2011-05-06  Jason Merrill  <jason@redhat.com>
3467
3468         * decl.c (stabilize_save_expr_r): Set *walk_subtrees as
3469         appropriate.
3470
3471         PR c++/48909
3472         * semantics.c (cxx_eval_conditional_expression): Check
3473         integer_zerop instead.
3474         (potential_constant_expression_1): Likewise.
3475
3476         PR c++/48911
3477         * semantics.c (cxx_eval_array_reference): Handle implicit
3478         initializers.
3479
3480 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
3481
3482         * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.
3483         * call.c (standard_conversion): Call class_of_this_parm.
3484         * cxx-pretty-print.c (pp_cxx_implicit_parameter_type): Likewise.
3485         (pp_cxx_direct_abstract_declarator): Likewise.
3486         * decl2.c (change_return_type): Likewise.
3487         (cp_reconstruct_complex_type): Likewise.
3488         * error.c (dump_type_suffix, dump_function_decl): Likewise.
3489         * mangle.c (write_function_type): Likewise.
3490         * pt.c (unify): Likewise.
3491         * typeck.c (merge_types, type_memfn_quals): Likewise.
3492         * decl.c (build_this_parm): Call type_of_this_parm.
3493
3494 2011-05-06  Dodji Seketeli  <dodji@redhat.com>
3495
3496         PR c++/48838
3497         * cp-tree.h (non_static_member_function_p): Declare new function.
3498         * tree.c (non_static_member_function_p): Define it.
3499         * semantics.c (finish_call_expr): Use it.
3500
3501 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
3502
3503         * decl.c (finish_case_label): Omit the loc argument to
3504         build_case_label.
3505
3506 2011-05-05  Jason Merrill  <jason@redhat.com>
3507
3508         * cp-tree.h (REFERENCE_REF_P): Just check the type.
3509         * cvt.c (convert_from_reference): Adjust.
3510         * pt.c (build_non_dependent_expr): Adjust.
3511         * semantics.c (finish_offsetof): Adjust.
3512         * tree.c (lvalue_kind): Use it.
3513
3514         PR c++/48873
3515         * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
3516
3517 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
3518
3519         * decl.c (start_preparsed_function): Do not set
3520         dont_save_pending_sizes_p.
3521
3522 2011-05-05  Joseph Myers  <joseph@codesourcery.com>
3523
3524         * parser.c (cp_parser_objc_method_definition_list): Update call to
3525         objc_start_method_definition.
3526
3527 2011-05-04  Jason Merrill  <jason@redhat.com>
3528
3529         PR c++/48749
3530         * class.c (resolves_to_fixed_type_p): Don't look closely
3531         in templates.
3532
3533 2011-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
3534
3535         PR c++/28501
3536         * call.c (add_builtin_candidate): Handle REALPART_EXPR and
3537         IMAGPART_EXPR.
3538
3539 2011-05-02  Lawrence Crowl  <crowl@google.com>
3540
3541         * decl.c: (push_local_name): Change TV_NAME_LOOKUP to start/stop.
3542         (poplevel): Refactor POP_TIMEVAR_AND_RETURN to plain code.
3543         Change TV_NAME_LOOKUP to start/stop.
3544         (define_label): Refactor timevar calls out to a wrapper function.
3545         Change TV_NAME_LOOKUP to start/stop.
3546         (xref_tag): Likewise.
3547         (lookup_label): Refactor timevar calls out to a wrapper function.
3548         Change TV_NAME_LOOKUP to start_cond/stop_cond.
3549
3550         * pt.c: (instantiate_class_template): Add a wrapper to push/pop new
3551         TV_TEMPLATE_INST.
3552         (instantiate_template): Add a wrapper to push/pop new TV_TEMPLATE_INST.
3553         (lookup_template_class): Refactor timevar calls out to a wrapper
3554         function.  Change use of TV_NAME_LOOKUP to TV_TEMPLATE_INST.
3555         (instantiate_decl): Change TV_PARSE to TV_TEMPLATE_INST.
3556
3557         * name-lookup.c: (store_bindings): Change TV_NAME_LOOKUP to start/stop.
3558         (poplevel_class): Change TV_NAME_LOOKUP to start_cond/stop_cond.
3559         (push_namespace): Likewise.
3560         (pop_nested_namespace): Likewise.
3561         (pushdecl_namespace_level): Likewise.
3562         (store_class_bindings): Likewise.
3563         (push_to_top_level): Likewise.
3564         (identifier_type_value): Refactor timevar calls out to a wrapper
3565         function.  Change TV_NAME_LOOKUP to start/stop.
3566         (find_binding): Likewise.
3567         (push_using_decl): Likewise.
3568         (lookup_arg_dependent): Likewise.
3569         (push_using_directive): Likewise.
3570         (qualified_lookup_using_namespace): Refactor POP_TIMEVAR_AND_RETURN
3571         to plain code.  Change TV_NAME_LOOKUP to start/stop.
3572         (lookup_type_current_level): Likewise.  Refactor inner return to
3573         break.
3574         (pushdecl_class_level): Refactor POP_TIMEVAR_AND_RETURN to plain
3575         code.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
3576         (pushdecl_top_level_1): Likewise.
3577         (lookup_using_namespace): Likewise.
3578         (pushdecl_with_scope): Refactor timevar calls out to a wrapper
3579         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
3580         (push_overloaded_decl): Likewise.
3581         (push_class_level_binding): Likewise.
3582         (namespace_binding): Likewise.
3583         (set_namespace_binding): Likewise.
3584         (supplement_binding): Likewise.
3585         (unqualified_namespace_lookup): Likewise.
3586         (lookup_name_real): Likewise.
3587         (lookup_type_scope): Likewise.
3588         (namespace_ancestor): Likewise.
3589         (lookup_name_innermost_nonclass_level): Likewise.
3590         (pushtag): Likewise.
3591         (pop_from_top_level): Likewise.
3592         (pushdecl_maybe_friend): Refactor timevar calls out to a wrapper
3593         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Wrap long
3594         lines.
3595         (add_using_namespace): Refactor timevar calls out to a wrapper
3596         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Bypass
3597         wrapper on call to self.
3598
3599         * decl2.c: (cp_write_global_declarations):  Add start/stop of
3600         new TV_PHASE_DEFERRED, TV_PHASE_CGRAPH, TV_PHASE_CHECK_DBGINFO.
3601         Remove push/pop calls to TV_VARCONST.
3602
3603         * parser.c: Add include of "timevar.h".
3604         (cp_parser_explicit_instantiation): Add push/pop calls to
3605         TV_TEMPLATE_INST.
3606         (cp_parser_enum_specifier): Add push/pop calls to new TV_PARSE_ENUM.
3607         (cp_parser_class_specifier): Add wrapper to add push/pop calls to
3608         TV_PARSE_STRUCT.
3609         (cp_parser_function_definition_from_specifiers_and_declarator): Add
3610         push/pop calls to new TV_PARSE_FUNC or TV_PARSE_INLINE.
3611         (cp_parser_late_parsing_for_member):  Add push/pop calls to
3612         new TV_PARSE_INMETH.
3613
3614         * call.c: Add include of "timevar.h".
3615         (convert_class_to_reference): Wrap and add push/pop calls to 
3616         TV_OVERLOAD.
3617         (build_op_call): Likewise.
3618         (build_conditional_expr): Likewise.
3619         (build_new_op): Likewise.
3620         (build_new_method_call): Likewise.
3621         (build_user_type_conversion): Reorganize to single return and add
3622         push/pop calls to TV_OVERLOAD.
3623         (perform_overload_resolution): Likewise.
3624
3625         * Make-lang.in: Add dependence of call.o and parser.o on $(TIMEVAR_H).
3626
3627 2011-05-02  Jason Merrill  <jason@redhat.com>
3628
3629         * tree.c (build_vec_init_expr): Take complain parm.
3630         (build_vec_init_elt): Likewise.  Free arg vector.
3631         (diagnose_non_constexpr_vec_init, build_array_copy): Adjust.
3632         * cp-tree.h (VEC_INIT_EXPR_SLOT): Use VEC_INIT_EXPR_CHECK.
3633         (VEC_INIT_EXPR_INIT): Likewise.
3634         Adjust build_vec_init_expr declaration.
3635         * init.c (perform_member_init): Adjust.
3636
3637         Revert:
3638         PR c++/40975
3639         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
3640         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
3641         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
3642         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
3643         (build_vec_init_elt): Don't expect an array type.
3644         (build_array_copy): Adjust.
3645         * init.c (perform_member_init): Adjust.
3646         (build_new_1): Use build_vec_init_expr.
3647
3648         PR c++/48834
3649         * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
3650         Protect an explicit target.
3651
3652         PR c++/48446
3653         * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
3654         (compute_array_index_type): Revert earlier 48446 changes.
3655         (grokdeclarator): Use stabilize_vla_size.
3656
3657 2011-05-02  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
3658             Eric Botcazou <ebotcazou@adacore.com>
3659
3660         * parser.c (cp_parser_init_declarator): Set pushed_scope to NULL_TREE
3661         instead of inappropriate zero values.
3662
3663 2011-05-02  Paolo Carlini  <paolo.carlini@oracle.com>
3664
3665         PR c++/47969
3666         * decl.c (compute_array_index_type): Check build_expr_type_conversion
3667         return value for NULL_TREE.
3668
3669 2011-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
3670
3671         PR c++/48606
3672         * init.c (perform_member_init): Check build_value_init return
3673         value for error_mark_node.
3674
3675 2011-04-29  Diego Novillo  <dnovillo@google.com>
3676             Le-Chun Wu  <lcwu@google.com>
3677
3678         * call.c (conversion_null_warnings): Also handle assignments
3679         when warning about NULL conversions.
3680
3681 2011-04-29  Le-Chun Wu  <lcwu@google.com>
3682
3683         * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Define.
3684         * call.c (build_new_function_call): Set it for TEMPLATE_ID_EXPRs.
3685         (build_over_call): Use it to determine whether to emit a NULL
3686         warning for template function instantiations.
3687         (build_new_method_call): Set LOOKUP_EXPLICIT_TMPL_ARGS if
3688         EXPLICIT_TARGS is set.
3689
3690 2011-04-29  Nicola Pero  <nicola.pero@meta-innovation.com>,
3691             Mike Stump <mikestump@comcast.net>
3692
3693         * Make-lang.in ($(srcdir)/cp/cfns.h): Enable the dependency only
3694         in maintainer mode.  Use the --output-file option of gperf instead
3695         of > to prevent creating an empty cp/cfns.h when gperf is not
3696         available.
3697
3698 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
3699
3700         PR c++/48798
3701         * semantics.c (finish_base_specifier): cv-qualified base class
3702         is fine, per DR 484.
3703
3704 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
3705
3706         PR c++/48656
3707         * semantics.c (finish_call_expr): Don't forget BASELINK nodes when
3708         considering call expressions involving a member function.
3709
3710 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
3711
3712         PR c++/48530
3713         * tree.c (build_cplus_new): Check build_target_expr return
3714         value for error_mark_node.
3715
3716 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
3717
3718         PR c++/48771
3719         * semantics.c (literal_type_p): Reference types are literal types,
3720         per the FDIS.
3721         (valid_type_in_constexpr_fundecl_p): Remove.
3722         (is_valid_constexpr_fn): Adjust.
3723
3724 2011-04-27  Jason Merrill  <jason@redhat.com>
3725
3726         PR libstdc++/48760
3727         Implement list-initialization of _Complex.
3728         * decl.c (reshape_init_r): Allow {real,imag} for _Complex.
3729         (check_initializer): Likewise.
3730         * call.c (build_complex_conv): New.
3731         (implicit_conversion): Call it.
3732         (convert_like_real): Handle it.
3733         * typeck2.c (check_narrowing): Handle it.
3734
3735         * init.c (build_vec_delete_1): Look for sfk_deleting_destructor to
3736         decide whether to delete.
3737         (build_vec_init): Pass sfk_complete_destructor.
3738
3739         PR c++/40975
3740         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
3741         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
3742         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
3743         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
3744         (build_vec_init_elt): Don't expect an array type.
3745         (build_array_copy): Adjust.
3746         * init.c (perform_member_init): Adjust.
3747         (build_new_1): Use build_vec_init_expr.
3748
3749         * class.c (resolve_address_of_overloaded_function): Don't
3750         change OVERLOAD to TREE_LIST.
3751         * pt.c (print_candidates_1): Remove nonsensical assert.
3752
3753         PR c++/48046
3754         * parser.c (cp_parser_diagnose_invalid_type_name): Commit
3755         to tentative parse sooner.
3756
3757 2011-04-26  Jason Merrill  <jason@redhat.com>
3758
3759         PR c++/42687
3760         * parser.c (cp_parser_primary_expression): Set *idk to
3761         CP_ID_KIND_NONE for a parenthesized identifier.
3762
3763         * ptree.c (cxx_print_type) [TYPENAME_TYPE]: Dump fullname.
3764         (cxx_print_identifier): Correct indentation.
3765
3766         PR c++/48530
3767         * decl.c (cxx_maybe_build_cleanup): Add complain parm.
3768         * tree.c (force_target_expr): Add complain parm.
3769         (build_target_expr_with_type): Likewise.
3770         (get_target_expr_sfinae): Split out.
3771         (build_vec_init_expr, bot_manip): Adjust.
3772         * init.c (build_vec_delete, build_vec_delete_1): Add complain parm.
3773         (build_delete, build_dtor_call): Likewise.
3774         (perform_direct_initialization_if_possible): Adjust.
3775         (build_vec_init): Handle error return.
3776         * cvt.c (force_rvalue): Add complain parm.
3777         Call build_special_member_call directly.
3778         * decl2.c (delete_sanity): Add complain parm.
3779         (build_cleanup): Adjust.
3780         * pt.c (tsubst_copy_and_build, tsubst_expr): Adjust.
3781         * semantics.c (finish_stmt_expr_expr): Adjust.
3782         (finish_compound_literal): Adjust.
3783         * parser.c (cp_parser_delete_expression): Adjust.
3784         * typeck2.c (build_functional_cast): Adjust.
3785         * cp-tree.h: Adjust.
3786
3787 2011-04-26  Martin Jambor  <mjambor@suse.cz>
3788
3789         * class.c (cp_fold_obj_type_ref): Remove.
3790         * cp-tree.h (cp_fold_obj_type_ref): Remove declaration.
3791
3792 2011-04-25  Paolo Carlini  <paolo.carlini@oracle.com>
3793
3794         * cp-tree.def: Add a new UNDERLYING_TYPE tree code.
3795         * cp-tree.h (enum cp_trait_kind): Add CPTK_UNDERLYING_TYPE, tidy.
3796         (UNDERLYING_TYPE_TYPE): Add.
3797         * cp-objcp-common.c (cp_common_init_ts): Mark UNDERLYING_TYPE
3798         as TS_COMMON.
3799         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword,
3800         cp_parser_simple_type_specifier): Handle UNDERLYING_TYPE.
3801         (cp_parser_trait_expr): Deal with RID_UNDERLYING_TYPE; tidy.
3802         * semantics.c (finish_underlying_type): New.
3803         * typeck.c (structural_comptypes): Handle UNDERLYING_TYPE.
3804         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
3805         * cxx-pretty-print.c (p_cxx_type_id): Likewise.
3806         * tree.c (cp_walk_subtrees): Likewise.
3807         * pt.c (for_each_template_parm_r, tsubst, unify,
3808         dependent_type_p_r): Likewise.
3809         * mangle.c (write_type): Sorry for __underlying_type.
3810
3811 2011-04-25  Jason Merrill  <jason@redhat.com>
3812
3813         PR c++/48707
3814         * decl.c (type_dependent_init_p): New.
3815         (cp_finish_decl): Check it.
3816         * pt.c (any_type_dependent_elements_p): New.
3817         * cp-tree.h: Declare it.
3818
3819 2011-04-20  Jason Merrill  <jason@redhat.com>
3820
3821         * semantics.c (finish_compound_literal): Don't put an array
3822         with a dtor in a static variable.
3823
3824         * call.c (build_over_call): Handle trivial dtor.
3825
3826         * search.c (lookup_fnfields_slot): Call complete_type.
3827
3828         PR c++/48594
3829         * decl2.c (build_offset_ref_call_from_tree): Move
3830         non-dependency of object outside condition.
3831
3832         PR c++/48657
3833         * decl.c (cp_finish_decl): Simplify template handling.
3834
3835 2011-04-20  Jim Meyering  <meyering@redhat.com>
3836
3837         * tree.c (cxx_printable_name_internal): Remove useless if-before-free.
3838
3839 2011-04-19  Jason Merrill  <jason@redhat.com>
3840
3841         PR c++/46304
3842         * typeck.c (cp_build_binary_op): Fold COMPLEX_EXPR.
3843
3844         PR c++/45267
3845         * decl.c (duplicate_decls): Keep always_inline attribute
3846         in sync with DECL_DISREGARD_INLINE_LIMITS.
3847
3848 2011-04-18  Jason Merrill  <jason@redhat.com>
3849
3850         PR c++/48569
3851         * typeck2.c (build_functional_cast): Handle VOID_TYPE.
3852
3853         PR c++/48537
3854         * init.c (build_value_init): Handle UNION_TYPE the same.
3855
3856 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
3857
3858         PR c++/48632
3859         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
3860         for type dependent pointers.
3861
3862 2011-04-18  Jim Meyering  <meyering@redhat.com>
3863
3864         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
3865
3866 2011-04-17  Jan Hubicka  <jh@suse.cz>
3867
3868         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
3869         gotos.
3870
3871 2011-04-17  Jason Merrill  <jason@redhat.com>
3872
3873         PR c++/48531
3874         * typeck2.c (build_functional_cast): Disallow array type.
3875
3876         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
3877
3878 2011-04-17  Jan Hubicka  <jh@suse.cz>
3879
3880         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
3881
3882 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
3883
3884         Implement N3271
3885         * parser.c (cp_convert_range_for): Split into
3886         cp_parser_perform_range_for_lookup.
3887         (cp_parser_perform_range_for_lookup): New.
3888         (cp_parser_range_for_member_function): New.
3889         (cp_parser_for_init_statement): Correct error message.
3890         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
3891
3892 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
3893
3894         * parser.c (cp_parser_objc_protocol_declaration): Updated for
3895         change from objc_declare_protocols() to objc_declare_protocol().
3896
3897 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
3898
3899         PR objc++/48479
3900         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
3901         and return immediately.
3902
3903 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
3904
3905         * cp-tree.def (SWITCH_STMT): Add an extra operand.
3906         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
3907         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
3908         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
3909         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
3910
3911 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
3912
3913         * cp-tree.def (IF_STMT): Add an extra operand.
3914         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
3915         * cp-tree.h (IF_SCOPE): Define.
3916         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
3917         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
3918
3919 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
3920
3921         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
3922         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
3923         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
3924         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
3925         Use FOR_SCOPE instead of TREE_CHAIN.
3926         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
3927         (finish_for_stmt): Likewise.
3928
3929 2011-04-14  Jason Merrill  <jason@redhat.com>
3930
3931         * parser.c (cp_parser_postfix_expression): Fix flags passed to
3932         build_new_method_call.
3933         * semantics.c (finish_call_expr): Likewise.
3934
3935         PR c++/48531
3936         * init.c (build_value_init_noctor): Check complain consistently.
3937
3938         PR c++/48557
3939         * typeck.c (cp_build_binary_op): Don't decay void operands.
3940
3941         PR c++/48446
3942         * decl.c (compute_array_index_type): Use get_temp_regvar instead
3943         of variable_size.
3944         * init.c (get_temp_regvar): No longer static.
3945         * cp-tree.h: Declare it.
3946
3947 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
3948
3949         * parser.c (cp_parser_objc_class_declaration): Updated for change
3950         in objc_declare_class().
3951
3952 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
3953
3954         * decl.c (poplevel): Use block_chainon.
3955
3956 2011-04-13  Jason Merrill  <jason@redhat.com>
3957
3958         PR c++/48594
3959         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
3960         or pointer to (non-member) function.
3961
3962 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
3963
3964         PR c++/48570
3965         * semantics.c (cxx_eval_array_reference): Handle reading from
3966         wchar_t, char16_t and char32_t STRING_CST.
3967
3968 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
3969
3970         PR c++/48574
3971         * class.c (fixed_type_or_null): We cannot determine the dynamic
3972         type of a reference variable if its initializer is dependent.
3973
3974 2011-04-13  Jason Merrill  <jason@redhat.com>
3975
3976         PR c++/48581
3977         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
3978         unqualified lookup failing if we're still in a template.
3979
3980 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
3981
3982         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
3983         tree_contains_struct initialization to...
3984         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
3985         macros.
3986         * cp-objcp-common.h (cp_common_init_ts): Declare.
3987         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
3988         calling TREE_CHAIN.
3989
3990 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
3991
3992         * parser.c (cp_parser_objc_message_expression): Updated call
3993         to objc_build_message_expr.
3994
3995 2011-04-12  Martin Jambor  <mjambor@suse.cz>
3996
3997         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
3998         cgraph_get_create_node.
3999         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
4000         instead of cgraph_get_create_node.
4001         * method.c (make_alias_for_thunk): Call cgraph_get_node
4002         instead of cgraph_get_create_node, assert it returns non-NULL.
4003         (use_thunk): Likewise.
4004         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
4005         when flag_syntax_only is not set.  Call cgraph_get_node instead of
4006         cgraph_get_create_node.
4007         (maybe_clone_body): Call cgraph_get_node instead of
4008         cgraph_get_create_node.
4009
4010 2011-04-12  Martin Jambor  <mjambor@suse.cz>
4011
4012         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
4013         instead of cgraph_node.
4014         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
4015         (cp_write_global_declarations): Likewise.
4016         * optimize.c (maybe_clone_body): Likewise.
4017         * semantics.c (maybe_add_lambda_conv_op): Likewise.
4018         * mangle.c (mangle_decl): Likewise.
4019         * method.c (make_alias_for_thunk): Likewise.
4020         (use_thunk): Likewise.
4021
4022 2011-04-11  Jason Merrill  <jason@redhat.com>
4023
4024         PR c++/48535
4025         * decl.c (cp_complete_array_type_or_error): New.
4026         * semantics.c (finish_compound_literal): Use it.
4027         * cp-tree.h: Declare it.
4028
4029         PR c++/48535
4030         * semantics.c (finish_compound_literal): Handle references.
4031
4032         PR c++/48535
4033         * semantics.c (finish_compound_literal): Take complain parm.
4034         (build_lambda_object): Adjust.
4035         * cp-tree.h: Adjust.
4036         * call.c (convert_like_real): Adjust.
4037         * decl.c (check_initializer): Adjust.
4038         * parser.c (cp_parser_postfix_expression): Adjust.
4039         (cp_parser_functional_cast): Adjust.
4040         * pt.c (tsubst_copy_and_build): Adjust.
4041         * typeck2.c (process_init_constructor_record): Adjust.
4042
4043         PR c++/48534
4044         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
4045         of scoped enum.
4046
4047         PR c++/48523
4048         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
4049         than cp_build_indirect_ref.
4050
4051         PR c++/48457, Core 1238
4052         * call.c (reference_binding): Allow rvalue reference to bind to
4053         function lvalue.
4054         * tree.c (lvalue_kind): Functions are always lvalues.
4055
4056 2011-04-07  Jason Merrill  <jason@redhat.com>
4057
4058         PR c++/48500
4059         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
4060         arguments even if we don't know the function.
4061
4062         PR c++/48481
4063         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
4064         at the end of the chain.
4065         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
4066         (iterative_hash_template_arg): Likewise.
4067
4068         PR c++/48481
4069         * cp-tree.h (OVL_ARG_DEPENDENT): New.
4070         * name-lookup.c (add_function): Set it.
4071         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
4072
4073         PR c++/48481
4074         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
4075         Release unused vector.
4076
4077         PR c++/48451
4078         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
4079         (type_unification_real): Clear it here instead.
4080
4081         PR c++/48468
4082         * except.c (build_noexcept_spec): Propagate error_mark_node.
4083         (finish_noexcept_expr): Likewise.
4084
4085         PR c++/48452
4086         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
4087         in SFINAE context.
4088
4089         PR c++/48450
4090         * call.c (resolve_args): Take complain.
4091         (build_new_function_call, build_operator_new_call): Pass it.
4092         (build_op_call, build_new_op, build_new_method_call): Pass it.
4093
4094         PR c++/48450
4095         * typeck.c (check_for_casting_away_constness): Take complain.
4096         (build