OSDN Git Service

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