gcc/cp/ChangeLog

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