OSDN Git Service

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