OSDN Git Service

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