gcc/cp/ChangeLog

   1 2014-07-02  Paolo Carlini  <paolo.carlini@oracle.com>
   2
   3         * pt.c (convert_template_argument): Use inform instead of error in
   4         three places.
   5
   6 2014-06-30  Edward Smith-Rowland  <3dw4rd@verizon.net>
   7
   8         PR c++/58781
   9         PR c++/60249
  10         PR c++/59867
  11         * parser.c (cp_parser_userdef_string_literal()): Take a tree
  12         not a cp_token*. (cp_parser_string_literal(): Don't hack
  13         the token stream!
  14
  15 2014-06-30  Jason Merrill  <jason@redhat.com>
  16
  17         PR c++/61659
  18         PR lto/53808
  19         * decl2.c (maybe_emit_vtables): Mark all vtable entries if
  20         devirtualizing.
  21         * init.c (build_vtbl_address): Don't mark destructor.
  22         * class.c (finish_struct_1): Add all classes to keyed_classes
  23         if devirtualizing.
  24
  25         PR c++/61647
  26         * pt.c (type_dependent_expression_p): Check BASELINK_OPTYPE.
  27
  28         PR c++/61566
  29         * mangle.c (decl_mangling_context): Look through a TEMPLATE_DECL.
  30
  31         * decl.c (build_ptrmemfunc_type): Don't give a PMF RECORD_TYPE
  32         TYPE_BINFO or TYPE_LANG_SPECIFIC.
  33         * cp-tree.h (TYPE_PTRMEMFUNC_FLAG): Use TYPE_LANG_FLAG_2.
  34         (TYPE_PTRMEMFUNC_P): Don't expect TYPE_LANG_SPECIFIC.
  35         * typeck.c (build_ptrmemfunc_access_expr): Don't use lookup_member.
  36         * pt.c (unify): Also check whether the argument is a PMF.
  37
  38 2014-06-30  Paolo Carlini  <paolo.carlini@oracle.com>
  39
  40         PR c++/54891
  41         * parser.c (cp_parser_tokens_start_cast_expression): In C++11
  42         a '[' can also start a primary-expression.
  43         (cp_parser_cast_expression): Parse a cast-expression only tentatively
  44         when cp_parser_tokens_start_cast_expression returns -1.
  45
  46 2014-06-30  Jason Merrill  <jason@redhat.com>
  47
  48         PR c++/61539
  49         * pt.c (unify_one_argument): Type/expression mismatch just causes
  50         deduction failure.
  51
  52         * semantics.c (simplify_aggr_init_expr): Remove remnants of
  53         2014-04-11 change.
  54
  55 2014-06-30  Marek Polacek  <polacek@redhat.com>
  56
  57         * cp-gimplify.c (cp_genericize): Don't instrument returns if the
  58         function has no_sanitize_undefined attribute.
  59         * decl.c (compute_array_index_type): Don't instrument VLAs if the
  60         function has no_sanitize_undefined attribute.
  61
  62 2014-06-30  Igor Zamyatin  <igor.zamyatin@intel.com>
  63
  64         PR middle-end/57541
  65         * cp-array-notation.c (expand_sec_reduce_builtin):
  66         Check that bultin argument is correct.
  67         * call.c (build_cxx_call): Check for 0 arguments in builtin call.
  68
  69 2014-06-28  Jonathan Wakely  <jwakely@redhat.com>
  70
  71         DR 1579
  72         PR c++/58051
  73         * typeck.c (check_return_expr): Lookup as an rvalue even when the
  74         types aren't the same.
  75
  76 2014-06-27  Jason Merrill  <jason@redhat.com>
  77
  78         PR c++/61433
  79         * error.c (dump_template_bindings): Don't tsubst in a clone.
  80
  81 2014-06-27  Paolo Carlini  <paolo.carlini@oracle.com>
  82
  83         PR c++/61614
  84         * semantics.c (finish_compound_literal): Revert r204228.
  85
  86 2014-06-27  Paolo Carlini  <paolo.carlini@oracle.com>
  87
  88         * parser.c (cp_parser_compound_literal_p): New.
  89         (cp_parser_postfix_expression, cp_parser_sizeof_operand): Use it.
  90
  91 2014-06-26  Jason Merrill  <jason@redhat.com>
  92
  93         * parser.c (cp_parser_for_init_statement): Change range-for error
  94         to pedwarn.
  95
  96         N3994 Ranged-based for-loops: The Next Generation
  97         * parser.c (cp_lexer_nth_token_is): New.
  98         (cp_parser_for_init_statement): Allow "for (id : init)".
  99
 100 2014-06-26  Teresa Johnson  <tejohnson@google.com>
 101
 102         * class.c (dump_class_hierarchy): Use saved dump files.
 103         (dump_vtable): Ditto.
 104         (dump_vtt): Ditto.
 105
 106 2014-06-26  Adam Butcher  <adam@jessamine.co.uk>
 107
 108         PR c++/61537
 109         * parser.c (cp_parser_elaborated_type_specifier): Only consider template
 110         parameter lists outside of function parameter scope.
 111
 112 2014-06-25  Paolo Carlini  <paolo.carlini@oracle.com>
 113
 114         DR 178
 115         PR c++/49132
 116         * typeck2.c (process_init_constructor_record): Do not complain about
 117         uninitialized const members, because within aggregate-initialization,
 118         members without explicit initializers are value-initialized.
 119
 120 2014-06-25  Jakub Jelinek  <jakub@redhat.com>
 121
 122         * semantics.c (finish_omp_clauses): Make sure
 123         OMP_CLAUSE_LINEAR_STEP has correct type.
 124
 125 2014-06-24  Jan Hubicka  <hubicka@ucw.cz>
 126
 127         * class.c (check_methods, create_vtable_ptr, determine_key_method,
 128         add_vcall_offset_vtbl_entries_1): Guard VINDEX checks by
 129         FUNCTION_DECL check.
 130         * cp-tree.h (lang_decl_ns): Add ns_using and ns_users.
 131         (DECL_NAMESPACE_USING, DECL_NAMESPACE_USERS): Use lang_decl_ns.
 132         (DECL_NAMESPACE_ASSOCIATIONS): Use DECL_INITIAL.
 133         (DECL_TEMPLATE_INSTANTIATIONS): Use DECL_SIZE_UNIT.
 134
 135 2014-06-24  Paolo Carlini  <paolo.carlini@oracle.com>
 136
 137         PR c++/33972
 138         * decl.c (grokdeclarator): Do not early check for operator-function-id
 139         as non-function.
 140
 141 2014-06-24  Trevor Saunders  <tsaunders@mozilla.com>
 142
 143         * class.c, semantics.c, tree.c, vtable-class-hierarchy.c:
 144         Adjust.
 145
 146 2014-06-24  Jakub Jelinek  <jakub@redhat.com>
 147
 148         * parser.c (cp_parser_omp_for_loop): For
 149         #pragma omp parallel for simd move lastprivate clause from parallel
 150         to for rather than simd.
 151
 152 2014-06-23  Paolo Carlini  <paolo.carlini@oracle.com>
 153
 154         DR 577
 155         PR c++/33101
 156         * decl.c (grokparms): Accept a single parameter of type 'void'.
 157
 158 2014-06-20  Jason Merrill  <jason@redhat.com>
 159
 160         PR c++/59296
 161         * call.c (add_function_candidate): Avoid special 'this' handling
 162         if we have a ref-qualifier.
 163
 164         PR c++/61556
 165         * call.c (build_over_call): Call build_this in template path.
 166
 167 2014-06-19  Jason Merrill  <jason@redhat.com>
 168
 169         PR c++/59296
 170         * call.c (add_function_candidate): Also set LOOKUP_NO_TEMP_BIND.
 171
 172 2014-06-18  Jason Merrill  <jason@redhat.com>
 173
 174         PR c++/59296
 175         * call.c (add_function_candidate): Set LOOKUP_NO_RVAL_BIND for
 176         ref-qualifier handling.
 177
 178         PR c++/61507
 179         * pt.c (resolve_overloaded_unification): Preserve
 180         ARGUMENT_PACK_EXPLICIT_ARGS.
 181
 182 2014-06-18  Jakub Jelinek  <jakub@redhat.com>
 183
 184         * cp-gimplify.c (cxx_omp_finish_clause): Add a gimple_seq *
 185         argument.
 186         * cp-tree.h (cxx_omp_finish_clause): Adjust prototype.
 187
 188 2014-06-17  Jason Merrill  <jason@redhat.com>
 189
 190         PR c++/60605
 191         * pt.c (check_default_tmpl_args): Check DECL_LOCAL_FUNCTION_P.
 192
 193 2014-06-15  Jason Merrill  <jason@redhat.com>
 194
 195         PR c++/61488
 196         * pt.c (check_valid_ptrmem_cst_expr): Fix for template context.
 197
 198         PR c++/61500
 199         * tree.c (lvalue_kind): Handle MEMBER_REF and DOTSTAR_EXPR.
 200
 201 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
 202
 203         * decl.c (grokvardecl): Fix pasto in previous patch.
 204
 205 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
 206
 207         * decl.c (duplicate_decls): Use set_decl_tls_model.
 208         (grokdeclarator): Likewise.
 209         * semantics.c (finish_id_expression): Check TLS only for
 210         static variables.
 211         (finish_omp_threadprivate): Use decl_default_tls_model.
 212         * decl2.c (get_guard): Likewise.
 213         * call.c (make_temporary_var_for_ref_to_temp): Likewise.
 214
 215 2014-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
 216
 217         PR c++/33101
 218         * decl.c (grokparms): Improve error message about void parameters.
 219         * error.c (type_to_string): Fix aka cut off code.
 220
 221 2014-06-12  Jason Merrill  <jason@redhat.com>
 222
 223         * call.c (convert_arg_to_ellipsis): Use abi_version_crosses.
 224         * cvt.c (type_promotes_to): Likewise.
 225         * mangle.c (write_type, write_expression): Likewise.
 226         (write_name, write_template_arg): Likewise.
 227         (mangle_decl): Make alias based on flag_abi_compat_version.
 228         Emit -Wabi warning here.
 229         (finish_mangling_internal): Not here.  Drop warn parm.
 230         (finish_mangling_get_identifier, finish_mangling): Adjust.
 231         (mangle_type_string, mangle_special_for_type): Adjust.
 232         (mangle_ctor_vtbl_for_type, mangle_thunk): Adjust.
 233         (mangle_guard_variable, mangle_tls_init_fn): Adjust.
 234         (mangle_tls_wrapper_fn, mangle_ref_init_variable): Adjust.
 235
 236         * call.c (build_operator_new_call): Remove -fabi-version=1 support.
 237         * class.c (walk_subobject_offsets, include_empty_classes): Likewise.
 238         (layout_nonempty_base_or_field, end_of_class): Likewise.
 239         (layout_empty_base, build_base_field, layout_class_type): Likewise.
 240         (is_empty_class, add_vcall_offset_vtbl_entries_1): Likewise.
 241         (layout_virtual_bases): Likewise.
 242         * decl.c (compute_array_index_type): Likewise.
 243         * mangle.c (write_mangled_name, write_prefix): Likewise.
 244         (write_template_prefix, write_integer_cst, write_expression): Likewise.
 245         (write_template_arg, write_array_type): Likewise.
 246         * method.c (lazily_declare_fn): Likewise.
 247         * rtti.c (get_pseudo_ti_index): Likewise.
 248         * typeck.c (comp_array_types): Likewise.
 249
 250 2014-06-11  Jan Hubicka  <hubicka@ucw.cz>
 251
 252         * vtable-class-hierarchy.c: Update handling for section names
 253         that are no longer trees.
 254         * decl.c (duplicate_decls): Likewise.
 255
 256 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
 257
 258         PR c++/19200
 259         * parser.c (cp_parser_init_declarator): Actually pass friend_p
 260         to cp_parser_declarator.
 261
 262 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
 263
 264         PR c++/60265
 265         * parser.c (cp_parser_using_declaration): Handle unscoped enums.
 266         * name-lookup.c (validate_nonmember_using_decl): Adjust error
 267         message.
 268
 269 2014-06-11  Paolo Carlini  <paolo.carlini@oracle.com>
 270
 271         PR c++/19200
 272         * parser.c (cp_parser_declarator): Add bool parameter.
 273         (cp_parser_direct_declarator): Likewise, use it.
 274         (cp_parser_member_declaration): Pass friend_p to cp_parser_declarator.
 275         (cp_parser_condition, cp_parser_explicit_instantiation,
 276         cp_parser_init_declarator, cp_parser_type_id_1,
 277         cp_parser_parameter_declaration, cp_parser_exception_declaration,
 278         cp_parser_cache_defarg, cp_parser_objc_class_ivars,
 279         cp_parser_objc_struct_declaration, cp_parser_omp_for_loop_init):
 280         Adjust.
 281         * decl.c (grokdeclarator): Fix handling of friend declared in
 282         namespace scope (g++.dg/parse/friend10.C).
 283
 284 2014-06-10  Jan Hubicka  <hubicka@ucw.cz>
 285
 286         * vtable-class-hierarchy.c: Use symtab_get_node (var_decl)
 287         ->implicit_section.
 288         * optimize.c (cdtor_comdat_group): Fix handling of aliases.
 289         (maybe_clone_body): Move symbol across comdat groups.
 290         * method.c (use_thunk): Copy implicit section flag.
 291
 292 2014-06-09  Paolo Carlini  <paolo.carlini@oracle.com>
 293
 294         PR c++/22556
 295         * name-lookup.c (pushdecl_maybe_friend_1): Use comptypes.
 296
 297 2014-06-07  Jan Hubicka  <hubicka@ucw.cz>
 298
 299         * method.c (use_thunk): Use set_decl_section_name.
 300         * optimize.c (maybe_clone_body): Use set_decl_section_name.
 301         * decl.c (duplicate_decls): Likewise.
 302         * vtable-class-hierarchy.c: Likewise.
 303
 304 2014-06-06  Paolo Carlini  <paolo.carlini@oracle.com>
 305
 306         PR c++/60184
 307         * class.c (check_field_decls): In C++11 mode do not reject
 308         static data members and reference-type members in unions.
 309
 310 2014-06-05  Jason Merrill  <jason@redhat.com>
 311
 312         PR c++/43453
 313         * decl.c (check_initializer): Collapse a TREE_LIST here.
 314         * typeck2.c (store_init_value): Not here.
 315
 316 2014-06-05  Richard Biener  <rguenther@suse.de>
 317             Paolo Carlini  <paolo.carlini@oracle.com>
 318
 319         PR c++/56961
 320         * cp-gimplify.c (cp_gimplify_expr, [MODIFY_EXPR]): Rework
 321         handling of empty classes.
 322
 323 2014-06-04  Jason Merrill  <jason@redhat.com>
 324
 325         * parser.c (cp_parser_diagnose_invalid_type_name): Give helpful note
 326         for noexcept and thread_local, too.
 327
 328         PR c++/61343
 329         * decl.c (check_initializer): Maybe clear
 330         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
 331
 332 2014-06-05  Richard Biener  <rguenther@suse.de>
 333
 334         PR c++/61004
 335         * typeck.c (cp_build_indirect_ref): Do not emit strict-aliasing
 336         warnings for accessing empty classes.
 337
 338 2014-06-05  Marek Polacek  <polacek@redhat.com>
 339
 340         PR c/49706
 341         * parser.c (cp_parser_binary_expression): Warn when logical not is
 342         used on the left hand side operand of a comparison.
 343
 344 2014-06-04  Paolo Carlini  <paolo.carlini@oracle.com>
 345
 346         PR c++/43453
 347         * typeck.c (cp_build_modify_expr): Handle array of characters
 348         initialized by a string literal.
 349         * decl.c (check_initializer): Handle parenthesized string literal
 350         as initializer.
 351         * typeck2.c (store_init_value): Remove redundant check.
 352
 353 2014-06-04  Jason Merrill  <jason@redhat.com>
 354
 355         PR c++/51253
 356         PR c++/61382
 357         * cp-gimplify.c (cp_gimplify_expr): Handle CALL_EXPR_LIST_INIT_P here.
 358         * semantics.c (simplify_aggr_init_expr): Not here, just copy it.
 359
 360 2014-06-04  Igor Zamyatin  <igor.zamyatin@intel.com>
 361
 362         PR c/58942
 363         * cp-array-notation.c (expand_sec_reduce_builtin): Handle the case
 364         with a pointer.
 365
 366 2014-06-03  Paolo Carlini  <paolo.carlini@oracle.com>
 367
 368         DR 1423
 369         PR c++/52174
 370         * call.c (standard_conversion): Convert nullptr to bool only
 371         in case of direct-initialization.
 372         (convert_like_real): Provide informative error message.
 373
 374 2014-06-03  Marek Polacek  <polacek@redhat.com>
 375
 376         PR c/60439
 377         * semantics.c (finish_switch_cond): Warn if switch condition has
 378         boolean value.
 379
 380 2014-06-03  Jason Merrill  <jason@redhat.com>
 381
 382         PR c++/60992
 383         * pt.c (tsubst_copy) [VAR_DECL]: Try lookup first.  Add a new
 384         variable to local_specializations.
 385
 386         PR c++/60848
 387         * call.c (is_std_init_list): Check CLASSTYPE_TEMPLATE_INFO.
 388
 389 2014-06-02  Jason Merrill  <jason@redhat.com>
 390
 391         PR c++/61046
 392         * decl.c (reshape_init_class): Handle un-folded
 393         constant-expressions.
 394
 395         PR c++/61134
 396         * pt.c (pack_deducible_p): Handle canonicalization.
 397
 398 2014-06-02  Paolo Carlini  <paolo.carlini@oracle.com>
 399
 400         * pt.c (tsubst_function_type): Initialize arg_types.
 401
 402 2014-06-02  Siva Chandra Reddy  <sivachandra@google.com>
 403
 404         PR debug/57519
 405         * class.c (handle_using_decl): Pass the correct scope to
 406         cp_emit_debug_info_for_using.
 407
 408 2014-06-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
 409
 410         PR c++/59483
 411         PR c++/61148
 412         * search.c (accessible_p): Use current_nonlambda_class_type.
 413         * semantics.c (check_accessibility_of_qualified_id): Likewise.
 414
 415 2014-06-02  Andrew MacLeod  <amacleod@redhat.com>
 416
 417         * decl.c: Include builtins.h.
 418         * semantics.c: Likewise.
 419
 420 2014-05-31  Paolo Carlini  <paolo.carlini@oracle.com>
 421
 422         DR 1227
 423         PR c++/57543
 424         * cp-tree.h (TYPE_HAS_LATE_RETURN_TYPE): Add.
 425         * pt.c (tsubst_function_type): Inject the this parameter; do the
 426         substitutions in the order mandated by the DR.
 427         (copy_default_args_to_explicit_spec): Copy TYPE_HAS_LATE_RETURN_TYPE.
 428         * decl.c (grokdeclarator): Maybe set TYPE_HAS_LATE_RETURN_TYPE.
 429         (static_fn_type): Copy it.
 430         * decl2.c (build_memfn_type, change_return_type,
 431         cp_reconstruct_complex_type): Likewise.
 432         * parser.c (cp_parser_lambda_declarator_opt): Likewise.
 433         * tree.c (strip_typedefs): Likewise.
 434         * typeck.c (merge_types): Likewise.
 435
 436 2014-05-30  Jason Merrill  <jason@redhat.com>
 437
 438         PR c++/56947
 439         * pt.c (instantiate_decl): Check that defer_ok is not set for
 440         local class members.
 441
 442         PR c++/60992
 443         * pt.c (tsubst_init): Split out from...
 444         (tsubst_expr) [DECL_EXPR]: Here.
 445         (tsubst_copy) [VAR_DECL]: Use it.
 446         * semantics.c (finish_id_expression): Return the decl for static/const.
 447
 448 2014-05-28  Jason Merrill  <jason@redhat.com>
 449
 450         PR c++/47202
 451         * decl.c (cxx_comdat_group): Return a decl.
 452         * optimize.c (cdtor_comdat_group): Get its DECL_ASSEMBLER_NAME.
 453
 454         * pt.c (tsubst) [ARRAY_TYPE]: Check for array of array of unknown
 455         bound.
 456
 457         PR c++/61242
 458         * call.c (build_aggr_conv): Ignore passed in flags.
 459         (build_array_conv, build_complex_conv): Likewise.
 460
 461 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 462
 463         * optimize.c (maybe_thunk_body): Use set_comdat_group.
 464         (maybe_clone_body): Likewise.
 465         * decl.c (duplicate_decls): Update code duplicating comdat group;
 466         do not copy symtab pointer; before freeing newdecl remove it
 467         from symtab.
 468         * decl2.c (constrain_visibility): Use set_comdat_group.
 469
 470 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 471
 472         * rtti.c: Include tm_p.h
 473         (emit_tinfo_decl): Force RTTI data to be aligned to required
 474         ABI alignment only.
 475
 476 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 477
 478         * class.c (build_vtable): Align vtables to TARGET_VTABLE_ENTRY_ALIGN
 479         ignoring other target adjustments.
 480
 481 2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>
 482
 483         * semantics.c (finish_omp_clauses): Remove duplicated variable
 484         initialization.
 485
 486         * parser.c (cp_parser_omp_target): Return bool values.
 487
 488 2014-05-22  Paolo Carlini  <paolo.carlini@oracle.com>
 489
 490         PR c++/61088
 491         * lambda.c (add_capture): Enforce that capture by value requires
 492         complete type.
 493         * typeck2.c (cxx_incomplete_type_inform): Early return if
 494         TYPE_MAIN_DECL is null.
 495
 496 2014-05-21  Jonathan Wakely  <jwakely@redhat.com>
 497
 498         PR c/61271
 499         * cp-array-notation.c (cilkplus_an_triplet_types_ok_p): Fix condition.
 500
 501 2014-05-21  Ville Voutilainen  <ville.voutilainen@gmail.com>
 502
 503         PR c++/61133
 504         * lambda.c (build_capture_proxy, add_capture): Treat normal
 505         captures and init-captures identically.
 506
 507 2014-05-21  Mark Wielaard  <mjw@redhat.com>
 508
 509         PR debug/16063
 510         * cp-lang.c (cxx_enum_underlying_base_type): New function.
 511         (LANG_HOOKS_ENUM_UNDERLYING_BASE_TYPE): Define.
 512
 513 2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
 514
 515         * cvt.c (convert_to_void): Use void_node instead of void_zero_node.
 516         * cp-array-notation.c (replace_invariant_exprs): Likewise.
 517         (expand_array_notation): Handle VOID_CST.
 518         * error.c (dump_expr): Likewise.
 519         * cxx-pretty-print.c (cxx_pretty_printer::primary_expression)
 520         (cxx_pretty_printer::expression): Likewise.
 521         (pp_cxx_new_expression): Use void_node instead of void_zero_node.
 522         * decl.c (register_dtor_fn): Likewise.
 523         * init.c (build_raw_new_expr, build_new_1, build_vec_init)
 524         (build_delete, push_base_cleanups): Likewise.
 525         * mangle.c (write_expression): Likewise.
 526         * semantics.c (finish_break_stmt, empty_expr_stmt_p): Likewise.
 527         * pt.c (tsubst_decl, tsubst_copy_and_build): Likewise.
 528         (tsubst, tsubst_copy, build_non_dependent_expr): Handle VOID_CST.
 529         * tree.c (cp_tree_equal): Likewise.
 530         (build_dummy_object, is_dummy_object, stabilize_expr): Use void_node
 531         instead of void_zero_node.
 532         * typeck.c (check_return_expr): Likewise.
 533         * typeck2.c (build_functional_cast): Likewise.
 534
 535 2014-05-21  Igor Zamyatin  <igor.zamyatin@intel.com>
 536
 537         PR c/60189
 538         * parser.c (cp_parser_postfix_expression): Move handling of cilk_sync
 539         from here to...
 540         (cp_parser_statement): ...here. Make sure only semicolon can go after
 541         Cilk_sync.
 542
 543 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 544
 545         PR c++/58753
 546         PR c++/58930
 547         PR c++/58704
 548         * typeck2.c (digest_nsdmi_init): New.
 549         * parser.c (cp_parser_late_parse_one_default_arg): Use it.
 550         * init.c (get_nsdmi): Likewise.
 551         * cp-tree.h (digest_nsdmi_init): Declare.
 552
 553 2014-05-20  Jason Merrill  <jason@redhat.com>
 554
 555         * typeck.c (get_member_function_from_ptrfunc): Don't try to look
 556         up a virtual function in a dummy object.
 557
 558 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 559
 560         PR c++/60373
 561         * decl.c (duplicate_decls): Replace pair of warning_at with
 562         warning_at + inform.
 563         (maybe_commonize_var): Likewise.
 564
 565 2014-05-20  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
 566
 567         PR bootstrap/61210
 568         * pt.c (tsubst_copy, tsubst_omp_for_iterator, tsubst_expr)
 569         (tsubst_copy_and_build): Perform recursive substitutions in a
 570         deterministic order.
 571
 572 2014-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
 573
 574         PR c++/58664
 575         * typeck2.c (cxx_incomplete_type_inform): New.
 576         (cxx_incomplete_type_diagnostic): Use it.
 577         * decl.c (grokdeclarator): Check the element type of an
 578         incomplete array type; call the above.
 579         * cp-tree.h (cxx_incomplete_type_inform): Declare.
 580
 581 2014-05-19  Jason Merrill  <jason@redhat.com>
 582
 583         PR c++/58761
 584         * pt.c (tsubst_copy): Don't check at_function_scope_p.
 585         (instantiate_class_template_1): Don't push_to_top_level in an nsdmi.
 586
 587 2014-05-19  Paolo Carlini  <paolo.carlini@oracle.com>
 588
 589         * typeck2.c (cxx_incomplete_type_diagnostic): Use inform.
 590         * parser.c (cp_parser_enum_specifier): Likewise.
 591
 592 2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>
 593
 594         * class.c (sorted_fields_type_new): Adjust.
 595         * cp-cilkplus.c (cilk_install_body_with_frame_cleanup): Likewise.
 596         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
 597         * cp-tree.h: Remove usage of variable_size gty attribute.
 598         * decl.c (make_label_decl): Adjust.
 599         (check_goto): Likewise.
 600         (start_preparsed_function): Likewise.
 601         (save_function_data): Likewise.
 602         * lex.c (init_reswords): Likewise.
 603         (retrofit_lang_decl): Likewise.
 604         (cxx_dup_lang_specific_decl): Likewise.
 605         (copy_lang_type): Likewise.
 606         (cxx_make_type): Likewise.
 607         * name-lookup.c (binding_entry_make): Likewise.
 608         (binding_table_construct): Likewise.
 609         (binding_table_new): Likewise.
 610         (cxx_binding_make): Likewise.
 611         (pushdecl_maybe_friend_1): Likewise.
 612         (begin_scope): Likewise.
 613         (push_to_top_level): Likewise.
 614         * parser.c (cp_lexer_alloc): Likewise.
 615         (cp_lexer_new_from_tokens): Likewise.
 616         (cp_token_cache_new): Likewise.
 617         (cp_parser_context_new): Likewise.
 618         (cp_parser_new): Likewise.
 619         (cp_parser_nested_name_specifier_opt): Likewise.
 620         (cp_parser_template_id): Likewise.
 621         * pt.c (maybe_process_partial_specialization): Likewise.
 622         (register_specialization): Likewise.
 623         (add_pending_template): Likewise.
 624         (lookup_template_class_1): Likewise.
 625         (push_tinst_level): Likewise.
 626         * semantics.c (register_constexpr_fundef): Likewise.
 627         (cxx_eval_call_expression): Likewise.
 628         * typeck2.c (abstract_virtuals_error_sfinae): Likewise.
 629
 630 2014-05-16  Paolo Carlini  <paolo.carlini@oracle.com>
 631
 632         PR c++/51640
 633         * parser.c (cp_parser_diagnose_invalid_type_name): Early return
 634         when cp_parser_lookup_name sets ambiguous_decls.
 635
 636 2014-05-15  Jason Merrill  <jason@redhat.com>
 637
 638         * call.c (print_conversion_rejection): Use loc consistently.
 639
 640 2014-05-14  Paolo Carlini  <paolo.carlini@oracle.com>
 641
 642         * cp-tree.h (DIRECT_LIST_INIT_P): Add.
 643         * call.c (convert_like_real, build_new_method_call_1): Use it.
 644         * decl2.c (grokfield): Likewise.
 645         * init.c (perform_member_init, build_aggr_init, expand_default_init,
 646         build_new_1): Likewise.
 647         * mangle.c (write_expression): Likewise.
 648         * parser.c (cp_parser_late_parse_one_default_arg): Likewise.
 649
 650 2014-05-14  Jason Merrill  <jason@redhat.com>
 651
 652         PR c++/20332
 653         PR c++/21631
 654         * call.c (reference_binding): Treat lvalue/rvalue mismatch and
 655         dropped cv-quals as a bad conversion.
 656         (convert_like_real) [ck_ref_bind]: Explain them.
 657         (compare_ics): Check badness before stripping reference
 658         bindings.  Handle comparing bad reference bindings.
 659         * typeck.c (comp_cv_qualification): Add overload that just takes
 660         integers.
 661         * cp-tree.h: Declare it.
 662
 663         * call.c (struct conversion_info): Rename 'from_type' to 'from'.
 664         (arg_conversion_rejection, bad_arg_conversion_rejection)
 665         (explicit_conversion_rejection, template_conversion_rejection): Adjust.
 666         (add_function_candidate): Pass actual argument, rather than type, to
 667         bad_arg_conversion_rejection.
 668         (print_conversion_rejection): Explain what's wrong with the conversion.
 669         (print_z_candidates): Say "candidate:" before each candidate.
 670         (splice_viable): Be strict if we see a viable or template candidate.
 671         (build_user_type_conversion_1): Pass false to strict parameter.
 672         (perform_overload_resolution, build_conditional_expr_1): Likewise.
 673         (build_new_op_1, build_new_method_call_1): Likewise.
 674         (build_op_call_1): Pass true to strict parameter.
 675
 676 2014-05-13  Jason Merrill  <jason@redhat.com>
 677
 678         * call.c (print_error_for_call_failure): Say "no match" rather
 679         than "ambiguous" if there were no strict matches.
 680         (build_new_method_call_1): Likewise.
 681
 682         PR c++/61151
 683         * semantics.c (is_this_parameter): Allow capture proxies too.
 684
 685 2014-05-12  Jason Merrill  <jason@redhat.com>
 686
 687         * call.c (maybe_print_user_conv_context): New.
 688         (convert_like_real): Use it.  Print call context for bad
 689         user-defined conversion.
 690         (build_over_call): Print call context for bad 'this' conversion.
 691
 692         * call.c (convert_like_real): Use inform for identifying the
 693         declaration point.
 694
 695 2014-05-12  Paolo Carlini  <paolo.carlini@oracle.com>
 696
 697         * cvt.c (cp_convert_to_pointer): Don't call error_at if
 698         complain & tf_error is false.
 699
 700         * decl.c (make_unbound_class_template): Prefer inform for
 701         "declared here"-type message.
 702
 703 2014-05-09  Momchil Velikov  <momchil.velikov@gmail.com>
 704
 705         PR c++/60463
 706         PR c++/60755
 707         * lambda.c (lambda_expr_this_capture): Add new parameter
 708         add_capture_p controlling whether the functions will try to
 709         capture 'this' via the default capture.
 710         (maybe_resolve_dummy): Likewise.
 711         * cp-tree.h: Adjust prototypes.
 712         * call.c, semantics.c: Change callers of these functions.
 713         * call.c (build_new_method_call_1): Use the actual 'this' that
 714         would be potentially captured for the overload resolution, instead
 715         of the dummy object.
 716
 717 2014-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
 718
 719         * pt.c (convert_nontype_argument_function): Add tsubst_flags_t
 720         parameter.
 721         (convert_nontype_argument): Adjust calls.
 722         (coerce_template_parameter_pack): Add missing complain & tf_error
 723         check.
 724
 725 2014-05-09  Jason Merrill  <jason@redhat.com>
 726
 727         DR 587
 728         PR c++/51317
 729         * call.c (build_conditional_expr_1, conditional_conversion): Handle
 730         non-class lvalues and xvalues that differ only in cv-qualifiers.
 731
 732         DR 5
 733         PR c++/60019
 734         * call.c (build_user_type_conversion_1): The copy-init temporary
 735         is cv-unqualified.
 736
 737         PR c++/58714
 738         * tree.c (stabilize_expr): A stabilized prvalue is an xvalue.
 739
 740         PR c++/54348
 741         * call.c (build_conditional_expr_1): If overload resolution finds
 742         no match, just say "different types".
 743
 744         PR c++/32019
 745         * call.c (build_conditional_expr_1): Improve ambiguity diagnostic.
 746
 747         PR c++/22434
 748         * call.c (build_conditional_expr_1): Don't try to pool cv-quals
 749         if we didn't find a conversion.
 750         Don't accept a bad conversion too early.
 751
 752 2014-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
 753
 754         PR c++/13981
 755         * typeck.c (convert_for_assignment): Provide an inform for pointers
 756         to incomplete class types.
 757
 758 2014-05-07  Paolo Carlini  <paolo.carlini@oracle.com>
 759
 760         PR c++/61083
 761         * pt.c (convert_nontype_argument): Protect all the error calls
 762         with complain & tf_error.
 763
 764 2014-05-07  Paolo Carlini  <paolo.carlini@oracle.com>
 765
 766         PR c++/61080
 767         * pt.c (instantiate_decl): Avoid generating the body of a
 768         deleted function.
 769
 770 2014-05-06  Paolo Carlini  <paolo.carlini@oracle.com>
 771
 772         PR c++/60999
 773         * pt.c (maybe_begin_member_template_processing): Use
 774         uses_template_parms.
 775
 776 2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
 777             Mike Stump  <mikestump@comcast.net>
 778             Richard Sandiford  <rdsandiford@googlemail.com>
 779
 780         * call.c: Include wide-int.h.
 781         (type_passed_as): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
 782         (convert_for_arg_passing): Likewise.
 783         * class.c: Include wide-int.h.
 784         (walk_subobject_offsets): Use tree_int_cst_lt instead of INT_CST_LT.
 785         (end_of_class): Use tree_int_cst_lt instead of INT_CST_LT_UNSIGNED.
 786         (include_empty_classes): Likewise
 787         (layout_class_type): Use tree_int_cst_lt instead of INT_CST_LT.
 788         * cvt.c: Include wide-int.h.
 789         (ignore_overflows): Use wide_int_to_tree.
 790         * decl.c: Include wide-int.h.
 791         (check_array_designated_initializer): Use wide-int interfaces.
 792         (compute_array_index_type): Use tree_int_cst_lt instead of INT_CST_LT.
 793         (finish_enum_value_list): Use signop.
 794         (build_enumerator): Use wide-int interfaces.
 795         * init.c: Include wide-int.h.
 796         (build_new_1): Use wide-int interfaces.
 797         * mangle.c: Include wide-int.h.
 798         (write_integer_cst): Use wide-int interfaces.
 799         (write_array_type): Likewise.
 800         * tree.c: Include wide-int.h.
 801         (cp_tree_equal): Use tree_int_cst_equal.
 802         * typeck2.c: Include wide-int.h.
 803         (process_init_constructor_array): Use wide-int interfaces.
 804
 805 2014-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
 806
 807         PR c++/58582
 808         * decl.c (grokfndecl): Check duplicate_decls return value for
 809         error_mark_node.
 810         * pt.c (instantiate_decl): A deleted function is defined.
 811
 812 2014-05-02  Jason Merrill  <jason@redhat.com>
 813
 814         * decl2.c (vague_linkage_p): Local statics have vague linkage.
 815
 816         PR c++/60992
 817         * lambda.c (lambda_capture_field_type): Wrap anything dependent
 818         other than 'this'.
 819         (add_capture): Check for VLA before calling it.
 820         * semantics.c (is_this_parameter): Accept any 'this' parameter, not
 821         just the current one.  Make non-static.
 822         * cp-tree.h: Declare it.
 823         * pt.c (tsubst_copy) [VAR_DECL]: Also build a new VAR_DECL if
 824         the operand was static or constant.
 825
 826 2014-05-02  Marek Polacek  <polacek@redhat.com>
 827
 828         * typeck.c (maybe_warn_about_returning_address_of_local): Separate
 829         warning_at calls.
 830
 831 2014-05-01  Marek Polacek  <polacek@redhat.com>
 832
 833         PR c/43395
 834         * typeck.c (maybe_warn_about_returning_address_of_local): Distinguish
 835         between label and variable when warning about returning local address.
 836
 837 2014-04-30  Jason Merrill  <jason@redhat.com>
 838
 839         PR c++/60980
 840         * init.c (build_value_init): Don't try to call an array constructor.
 841
 842         PR c++/60951
 843         * typeck2.c (massage_init_elt): Use maybe_constant_init.
 844
 845 2014-04-30  Marek Polacek  <polacek@redhat.com>
 846
 847         * typeck.c (cp_build_binary_op): Call ubsan_instrument_division
 848         even when SANITIZE_FLOAT_DIVIDE is on.  Set doing_div_or_mod even
 849         for non-integer types.
 850
 851 2014-04-29  Jason Merrill  <jason@redhat.com>
 852
 853         DR 1351
 854         Represent the unevaluated exception specification of an implicitly
 855         declared or deleted function with a simple placeholder, not a list
 856         of functions.
 857         * cp-tree.h (UNEVALUATED_NOEXCEPT_SPEC_P): New.
 858         * except.c (unevaluated_noexcept_spec): New.
 859         * class.c (deduce_noexcept_on_destructor): Use it.
 860         * decl.c (check_redeclaration_exception_specification): Call
 861         maybe_instantiate_noexcept.
 862         (duplicate_decls): Call it before merge_types.
 863         (start_preparsed_function): Call maybe_instantiate_noexcept.
 864         * decl2.c (mark_used): Call maybe_instantiate_noexcept earlier.
 865         * init.c (get_nsdmi): Factor out of perform_member_init.
 866         * method.c (process_subob_fn): Call maybe_instantiate_noexcept.
 867         (walk_field_subobs): Consider NSDMI for EH spec.
 868         (get_defaulted_eh_spec): New.
 869         (implicitly_declare_fn): Use unevaluated_noexcept_spec.
 870         (defaulted_late_check): Defer EH checking in non-template classes.
 871         (after_nsdmi_defaulted_late_checks): New.
 872         * parser.c (cp_parser_class_specifier_1): Use it.
 873         (unparsed_classes): New macro.
 874         * parser.h (cp_unparsed_functions_entry_d): Add classes field.
 875         * pt.c (maybe_instantiate_noexcept): Use get_defaulted_eh_spec.
 876         Remove list-of-functions handling.
 877         * typeck2.c (merge_exception_specifiers): Remove list-of-functions
 878         handling and FN parameter.
 879         * typeck.c (merge_types): Adjust.
 880
 881 2014-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
 882
 883         PR c++/59120
 884         * parser.c (cp_parser_alias_declaration): Check return value of
 885         cp_parser_require.
 886
 887 2014-04-24  Jakub Jelinek  <jakub@redhat.com>
 888
 889         * parser.c (cp_parser_omp_atomic): Allow seq_cst before
 890         atomic-clause, allow comma in between atomic-clause and
 891         seq_cst.
 892
 893 2014-04-24  Marc Glisse  <marc.glisse@inria.fr>
 894
 895         PR libstdc++/43622
 896         * rtti.c (emit_support_tinfos): Do not iterate on
 897         registered_builtin_types (partial revert).
 898
 899 2014-04-23 Dinar Temirbulatov  <dtemirbulatov@gmail.com>
 900
 901         PR c++/57958
 902         * semantics.c (apply_deduced_return_type): Complete non-void type
 903         before estimating whether the type is aggregate.
 904
 905 2014-04-22  Marc Glisse  <marc.glisse@inria.fr>
 906
 907         PR libstdc++/43622
 908         * rtti.c (emit_support_tinfo_1): New function, extracted from
 909         emit_support_tinfos.
 910         (emit_support_tinfos): Call it and iterate on registered_builtin_types.
 911
 912 2014-04-22  Jakub Jelinek  <jakub@redhat.com>
 913
 914         PR c/59073
 915         * parser.c (cp_parser_omp_parallel): If cp_parser_omp_for
 916         fails, don't set OM_PARALLEL_COMBINED and return NULL.
 917
 918 2014-04-18  Jason Merrill  <jason@redhat.com>
 919
 920         DR 1571
 921         * call.c (reference_binding): Recurse on user-defined conversion.
 922
 923         PR c++/60872
 924         * call.c (standard_conversion): Don't try to apply restrict to void.
 925
 926 2014-04-16  Marc Glisse  <marc.glisse@inria.fr>
 927
 928         * decl.c (reshape_init_r): Handle a single element of vector type.
 929
 930 2014-04-16  Patrick Palka  <patrick@parcs.ath.cx>
 931
 932         PR c++/60765
 933         * decl2.c (cplus_decl_attributes): Handle
 934         pointer-to-member-function declarations.
 935
 936 2014-04-16  Patrick Palka  <patrick@parcs.ath.cx>
 937
 938         PR c++/60764
 939         * call.c (build_user_type_coversion): Use build_dummy_object
 940         to create the placeholder object for a constructor method call.
 941         (build_special_member_call): Likewise.
 942         (build_over_call): Check for the placeholder object with
 943         is_dummy_object.
 944         (build_new_method_call_1): Likewise.  Don't attempt to resolve
 945         a dummy object for a constructor method call.
 946
 947 2014-04-16  Paul Pluzhnikov  <ppluzhnikov@google.com>
 948
 949         PR c++/59295
 950         * friend.c (add_friend, make_friend_class): Move repeated friend
 951         warning under Wredundant_decls.
 952
 953 2014-04-15  Paolo Carlini  <paolo.carlini@oracle.com>
 954
 955         * decl.c (duplicate_decls): Remove redundant TYPE_NAME use.
 956         * name-lookup.c (pushdecl_maybe_friend_1): Likewise.
 957         (do_class_using_decl): Likewise.
 958         * mangle.c (dump_substitution_candidates): Use TYPE_NAME_STRING.
 959
 960 2014-04-15  Jakub Jelinek  <jakub@redhat.com>
 961
 962         PR plugins/59335
 963         * Make-lang.h (CP_PLUGIN_HEADERS): Add type-utils.h.
 964
 965 2014-04-14  Paolo Carlini  <paolo.carlini@oracle.com>
 966
 967         * cp-tree.h (TYPE_IDENTIFIER): Remove declaration.
 968
 969 2014-04-14  Paolo Carlini  <paolo.carlini@oracle.com>
 970
 971         * pt.c (mark_template_parm): Use template_parm_level_and_index.
 972
 973 2014-04-11  Jason Merrill  <jason@redhat.com>
 974
 975         * parser.h (struct cp_token): Rename ambiguous_p to error_reported.
 976         * parser.c: Adjust.
 977         (cp_lexer_get_preprocessor_token): Always clear it.
 978         (cp_parser_lambda_expression): Use it to avoid duplicate diagnostics.
 979
 980         DR 1467
 981         PR c++/51747
 982         * decl.c (reshape_init_r): Handle a single element of class type.
 983
 984         DR 1338
 985         * decl.c (cxx_init_decl_processing): Set DECL_IS_MALLOC on
 986         built-in operator new.
 987
 988 2014-04-11  Paolo Carlini  <paolo.carlini@oracle.com>
 989
 990         PR c++/58600
 991         * name-lookup.c (parse_using_directive): Return early if the
 992         attribs argument is error_mark_node; use get_attribute_name.
 993
 994 2014-04-11  Jason Merrill  <jason@redhat.com>
 995
 996         DR 1030
 997         PR c++/51253
 998         * cp-tree.h (CALL_EXPR_LIST_INIT_P): New.
 999         * call.c (struct z_candidate): Add flags field.
1000         (add_candidate): Add flags parm.
1001         (add_function_candidate, add_conv_candidate, build_builtin_candidate)
1002         (add_template_candidate_real): Pass it.
1003         (build_over_call): Set CALL_EXPR_LIST_INIT_P.
1004         * tree.c (build_aggr_init_expr): Copy it.
1005         * semantics.c (simplify_aggr_init_expr): Preevaluate args if it's set.
1006
1007 2014-04-10  Richard Biener  <rguenther@suse.de>
1008             Jakub Jelinek  <jakub@redhat.com>
1009
1010         PR ipa/60761
1011         * error.c (dump_decl) <case FUNCTION_DECL>: If
1012         DECL_LANG_SPECIFIC is NULL, but DECL_ABSTRACT_ORIGIN is not,
1013         recurse on DECL_ABSTRACT_ORIGIN instead of printing
1014         <built-in>.
1015
1016 2014-04-09  Fabien Chêne  <fabien@gcc.gnu.org>
1017
1018         * pt.c (check_template_variable): Check for the return of pedwarn
1019         before emitting a note.
1020         * parser.c (cp_parser_lambda_introducer): Likewise.
1021
1022 2014-04-08  Paolo Carlini  <paolo.carlini@oracle.com>
1023
1024         PR c++/59115
1025         * pt.c (process_template_parm): For an invalid non-type parameter
1026         only set TREE_TYPE to error_mark_node.
1027         (push_inline_template_parms_recursive, comp_template_parms,
1028         redeclare_class_template, coerce_template_template_parm,
1029         coerce_template_template_parms, unify): Use error_operand_p.
1030
1031 2014-04-08  Nathan Sidwell  <nathan@codesourcery.com>
1032
1033         * class.c (check_bases_and_members): Warn about non-virtual dtors
1034         in public bases only.  Check warn_ecpp before complaining about
1035         non-polymorphic bases.
1036
1037 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
1038
1039         * decl.c (duplicate_decls): Check for the return of warning_at
1040         before emitting a note.
1041         (warn_misplaced_attr_for_class_type): Likewise.
1042         (check_tag_decl): Likewise.
1043
1044 2014-04-04  Paolo Carlini  <paolo.carlini@oracle.com>
1045
1046         PR c++/58207
1047         * semantics.c (sort_constexpr_mem_initializers): Robustify loop.
1048
1049 2014-04-04  Patrick Palka  <patrick@parcs.ath.cx>
1050
1051         PR c++/44613
1052         * semantics.c (add_stmt): Set STATEMENT_LIST_HAS_LABEL.
1053         * decl.c (cp_finish_decl): Create a new BIND_EXPR before
1054         instantiating a variable-sized type.
1055
1056         PR c++/21113
1057         * decl.c (decl_jump_unsafe): Consider variably-modified decls.
1058
1059 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
1060
1061         * class.c (find_abi_tags_r): Check for the return of warning
1062         before emitting a note.
1063         (one_inherited_ctor): Likewise.
1064
1065 2014-04-04  Fabien Chêne  <fabien@gcc.gnu.org>
1066
1067         * decl.c (duplicate_decls): Check for the return of permerror
1068         before emitting a note.
1069
1070 2014-04-03  Nathan Sidwell  <nathan@codesourcery.com>
1071
1072         * class.c (accessible_nvdtor_p): New.
1073         (check_bases): Don't check base destructor here ...
1074         (check_bases_and_members): ... check them here.  Trigger on
1075         Wnon-virtual-dtor flag.
1076         (finish_struct_1): Use accessible_nvdtor_p.
1077
1078 2014-04-01  Jason Merrill  <jason@redhat.com>
1079
1080         * pt.c (process_partial_specialization): Say "not deducible"
1081         rather than "not used".  Use inform.
1082
1083         PR c++/60374
1084         * pt.c (coerce_template_parms): Check that the pack expansion
1085         pattern works with the first matching parameter.
1086
1087 2014-04-01  Fabien Chêne  <fabien@gcc.gnu.org>
1088
1089         * init.c (perform_member_init): Homogenize uninitialized
1090         diagnostics.
1091
1092 2014-04-01  Jason Merrill  <jason@redhat.com>
1093
1094         PR c++/60708
1095         * call.c (build_array_conv): Call complete_type.
1096
1097         PR c++/60713
1098         * typeck2.c (PICFLAG_SIDE_EFFECTS): New.
1099         (picflag_from_initializer): Return it.
1100         (process_init_constructor): Handle it.
1101
1102         PR c++/60642
1103         * decl2.c (is_late_template_attribute): Don't defer abi_tag.
1104         * mangle.c (write_unqualified_name): Fix abi_tag on templates.
1105         * pt.c (get_template_info): Handle NAMESPACE_DECL.
1106         (most_general_template): Handle more kinds of template.
1107         * tree.c (handle_abi_tag_attribute): Ignore abi_tag on template
1108         instantiations and specializations.
1109
1110 2014-03-31  Patrick Palka  <patrick@parcs.ath.cx>
1111
1112         PR c++/44859
1113         * typeck.c (maybe_warn_about_returning_address_of_local): Unwrap
1114         COMPONENT_REFs and ARRAY_REFs sooner.
1115
1116 2014-03-29  Adam Butcher  <adam@jessamine.co.uk>
1117
1118         PR c++/60626
1119         * parser.c (cp_parser_init_declarator): Handle erroneous generic type
1120         usage in non-functions with pushed scope.
1121
1122 2014-03-28  Adam Butcher  <adam@jessamine.co.uk>
1123
1124         PR c++/60573
1125         * name-lookup.h (cp_binding_level): New transient field defining_class_p
1126         to indicate whether a scope is in the process of defining a class.
1127         * semantics.c (begin_class_definition): Set defining_class_p.
1128         * name-lookup.c (leave_scope): Reset defining_class_p.
1129         * parser.c (synthesize_implicit_template_parm): Use cp_binding_level::
1130         defining_class_p rather than TYPE_BEING_DEFINED as the predicate for
1131         unwinding to class-defining scope to handle the erroneous definition of
1132         a generic function of an arbitrarily nested class within an enclosing
1133         class.
1134
1135 2014-03-26  Fabien Chêne  <fabien@gcc.gnu.org>
1136
1137         PR c++/52369
1138         * method.c (walk_field_subobs): Improve the diagnostic
1139         locations for both REFERENCE_TYPEs and non-static const members.
1140         * init.c (diagnose_uninitialized_cst_or_ref_member): Use %q#D
1141         instead of %qD to be consistent with the c++11 diagnostic.
1142
1143 2014-03-25  Jason Merrill  <jason@redhat.com>
1144
1145         PR c++/60566
1146         PR c++/58678
1147         * class.c (build_vtbl_initializer): Handle abstract dtors here.
1148         * search.c (get_pure_virtuals): Not here.
1149
1150         PR c++/60375
1151         * parser.c (cp_parser_lambda_expression): Don't parse the body of
1152         a lambda in unevaluated context.
1153
1154         PR c++/60628
1155         * decl.c (create_array_type_for_decl): Complain about array of auto.
1156
1157 2014-03-25  Jakub Jelinek  <jakub@redhat.com>
1158
1159         PR c++/60331
1160         * semantics.c (potential_constant_expression_1): Handle
1161         DECL_EXPR.
1162
1163 2014-03-24  Adam Butcher  <adam@jessamine.co.uk>
1164
1165         PR c++/60627
1166         * parser.c (cp_parser_parameter_declaration_clause): Prevent 'auto' from
1167         introducing an implicit function template parameter within an explicit
1168         instantiation.
1169
1170 2014-03-22  Jason Merrill  <jason@redhat.com>
1171
1172         PR c++/60574
1173         * decl.c (grokdeclarator): Change permerror about 'virtual auto'
1174         to error.
1175
1176 2014-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
1177
1178         PR c++/60384
1179         * name-lookup.c (push_class_level_binding_1): Check identifier_p
1180         on the name argument.
1181
1182 2014-03-20  Jakub Jelinek  <jakub@redhat.com>
1183
1184         PR c++/60572
1185         * init.c (build_zero_init_1): Ignore fields with error_mark_node
1186         type.
1187
1188 2014-03-19  Paolo Carlini  <paolo.carlini@oracle.com>
1189
1190         PR c++/51474
1191         * call.c (build_new_method_call_1): Handle pure virtuals called by
1192         NSDMIs too.
1193
1194 2014-03-17  Adam Butcher  <adam@jessamine.co.uk>
1195
1196         PR c++/60390
1197         * parser.c (cp_parser_member_declaration): Don't allow
1198         finish_fully_implicit_template to consider friend declarations to be
1199         class member templates.
1200         (synthesize_implicit_template_parm): Handling winding back through class
1201         scope to the class being defined in order to inject a template argument
1202         list.
1203
1204         PR c++/60391
1205         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Unwind generic
1206         function scope as per cp_parser_skip_to_end_of_statement.
1207
1208 2014-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
1209
1210         PR c++/59571
1211         * typeck2.c (check_narrowing): Use fold_non_dependent_expr_sfinae.
1212
1213 2014-03-14  Jason Merrill  <jason@redhat.com>
1214
1215         PR c++/60532
1216         PR c++/58678
1217         * search.c (get_pure_virtuals): Handle abstract dtor here.
1218         (dfs_get_pure_virtuals): Not here.
1219
1220         PR c++/58678
1221         * search.c (dfs_get_pure_virtuals): Treat the destructor of an
1222         abstract class as pure.
1223
1224 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
1225
1226         PR c++/60383
1227         * pt.c (maybe_process_partial_specialization): Check return value
1228         of check_specialization_namespace.
1229
1230 2014-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
1231
1232         PR c++/60254
1233         * semantics.c (finish_static_assert): Call cxx_constant_value only
1234         if require_potential_rvalue_constant_expression returns true.
1235
1236 2014-03-11  Paolo Carlini  <paolo.carlini@oracle.com>
1237
1238         PR c++/60389
1239         * method.c (get_inherited_ctor): New.
1240         * cp-tree.h (get_inherited_ctor): Declare it.
1241         * semantics.c (is_valid_constexpr_fn): Use it.
1242
1243 2014-03-10  Jason Merrill  <jason@redhat.com>
1244
1245         PR c++/60367
1246         * call.c (convert_default_arg): Remove special handling for
1247         CONSTRUCTOR.
1248
1249         PR c++/53492
1250         * parser.c (cp_parser_class_head): Also check PRIMARY_TEMPLATE_P
1251         when deciding whether to call push_template_decl for a member class.
1252         * pt.c (push_template_decl_real): Return after wrong levels error.
1253
1254 2014-03-08  Adam Butcher  <adam@jessamine.co.uk>
1255
1256         PR c++/60033
1257         * pt.c (tsubst_copy): When retrieving a capture pack from a generic
1258         lambda, remove the lambda's own template argument list prior to fetching
1259         the specialization.
1260
1261         PR c++/60393
1262         * parser.c (cp_parser_parameter_declaration_clause): Move generic
1263         function template unwinding on error into a more general location, ...
1264         (cp_parser_skip_to_end_of_statement): ... here.
1265
1266 2014-03-07  Jason Merrill  <jason@redhat.com>
1267
1268         * Make-lang.in (check_g++_parallelize): Split dg.exp.
1269
1270         * parser.c (cp_parser_type_id_1): Only allow 'auto' in C++1y if
1271         we're in a trailing return type.
1272
1273         * typeck.c (comp_template_parms_position): 'auto' and
1274         'decltype(auto)' are different from real template parms.
1275
1276         * parser.c (cp_parser_using_declaration): Consume the semicolon
1277         after bare parameter pack error.
1278
1279         * cp-tree.h (REF_PARENTHESIZED_P): New.
1280         * semantics.c (force_paren_expr): Set it.
1281         * pt.c (do_auto_deduction): Check it.
1282         (tsubst) [COMPONENT_REF]: Copy it.
1283         * typeck.c (maybe_warn_about_useless_cast): Don't strip dereference.
1284
1285         * decl.c (create_array_type_for_decl): Only warn about invalid
1286         C++1y VLA if flag_iso or warn_vla>0.
1287         (grokdeclarator): Likewise.
1288         * pt.c (tsubst): Likewise.
1289         * semantics.c (finish_decltype_type): Likewise.
1290         * typeck.c (cxx_sizeof_or_alignof_type): Likewise.
1291         (cp_build_addr_expr_1): Likewise.
1292         * init.c (build_new_1): Improve diagnostics.
1293
1294 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
1295
1296         PR c++/58609
1297         * decl.c (check_initializer): Return NULL_TREE after error;
1298         consistently use inform.
1299
1300 2014-03-07  Paolo Carlini  <paolo.carlini@oracle.com>
1301
1302         * decl.c (check_initializer): Remove dead code.
1303
1304 2014-03-06  Marek Polacek  <polacek@redhat.com>
1305
1306         PR c/60197
1307         * typeck.c (check_return_expr): Call contains_cilk_spawn_stmt instead
1308         of checking tree code.
1309
1310 2014-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
1311
1312         * parser.c (cp_lexer_set_source_position): New.
1313         (cp_parser_mem_initializer): Use it.
1314         (cp_parser_postfix_open_square_expression): Likewise.
1315         (cp_parser_parenthesized_expression_list): Likewise.
1316         (cp_parser_new_initializer): Likewise.
1317         (cp_parser_jump_statement): Likewise.
1318         (cp_parser_initializer): Likewise.
1319         (cp_parser_functional_cast): Likewise.
1320
1321 2014-03-05  Jason Merrill  <jason@redhat.com>
1322
1323         PR c++/60409
1324         * semantics.c (force_paren_expr): Only add a PAREN_EXPR to a
1325         dependent expression.
1326
1327         PR c++/60361
1328         * parser.c (cp_parser_template_id): Don't set up a CPP_TEMPLATE_ID
1329         if re-parsing might succeed.
1330         * semantics.c (finish_id_expression): Use of a parameter outside
1331         the function body is a parse error.
1332
1333         * parser.c (cp_parser_mem_initializer): Set input_location
1334         properly for init-list warning.
1335         (cp_parser_postfix_open_square_expression): Likewise.
1336         (cp_parser_parenthesized_expression_list): Likewise.
1337         (cp_parser_new_initializer): Likewise.
1338         (cp_parser_jump_statement): Likewise.
1339         (cp_parser_initializer): Likewise.
1340         (cp_parser_functional_cast): Likewise.
1341
1342 2014-03-04  Jason Merrill  <jason@redhat.com>
1343
1344         PR c++/60417
1345         * typeck2.c (process_init_constructor_record): Set
1346         CONSTRUCTOR_IS_DIRECT_INIT on {} for omitted initializers.
1347
1348         PR c++/60415
1349         PR c++/54359
1350         * parser.c (cp_parser_direct_declarator): Set declarator to
1351         cp_error_declarator on invalid qualified-id.
1352
1353 2014-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
1354
1355         PR c++/60376
1356         * parser.c (cp_parser_using_declaration): Early return when
1357         cp_parser_nested_name_specifier errors out.
1358
1359 2014-03-01  Adam Butcher  <adam@jessamine.co.uk>
1360
1361         PR c++/60377
1362         * parser.c (cp_parser_parameter_declaration_clause): Unwind generic
1363         function scope on parse error in function parameter list.
1364
1365 2014-03-01  Paolo Carlini  <paolo.carlini@oracle.com>
1366
1367         * method.c (implicitly_declare_fn): Remove redundant
1368         DECL_TEMPLATE_RESULT and STRIP_TEMPLATE uses.
1369         * semantics.c (is_instantiation_of_constexpr): Likewise.
1370         * error.c (dump_function_decl): Likewise.
1371
1372 2014-03-01  Jason Merrill  <jason@redhat.com>
1373
1374         PR c++/60379
1375         * semantics.c (begin_maybe_infinite_loop): Use
1376         fold_non_dependent_expr_sfinae.
1377
1378 2014-02-28  Jason Merrill  <jason@redhat.com>
1379
1380         PR c++/58845
1381         * typeck.c (cp_build_binary_op): Sorry on vector&&vector.
1382
1383 2014-02-28  Paolo Carlini  <paolo.carlini@oracle.com>
1384
1385         PR c++/58610
1386         * cp-tree.h (DECL_DELETED_FN): Use LANG_DECL_FN_CHECK.
1387         * call.c (print_z_candidate): Remove STRIP_TEMPLATE use.
1388         * lambda.c (maybe_add_lambda_conv_op): Likewise.
1389
1390 2014-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
1391
1392         PR c++/60253
1393         * call.c (convert_arg_to_ellipsis): Return error_mark_node after
1394         error_at.
1395
1396 2014-02-27  Jason Merrill  <jason@redhat.com>
1397
1398         PR c++/60353
1399         PR c++/55877
1400         * decl2.c (tentative_decl_linkage): Don't mess with functions that
1401         are not yet defined.
1402
1403 2014-02-26  Jason Merrill  <jason@redhat.com>
1404
1405         PR c++/60347
1406         PR lto/53808
1407         * class.c (clone_function_decl): Don't note_vague_linkage_fn.
1408         * init.c (build_vtbl_address): Do it here.
1409
1410         PR c++/59231
1411         PR c++/11586
1412         PR c++/14710
1413         PR c++/57132
1414         * pt.c (struct warning_sentinel): New.
1415         (tsubst_copy_and_build): Use it instead of
1416         c_inhibit_evaluation_warnings.
1417         * typeck.c (maybe_warn_about_useless_cast): Remove
1418         c_inhibit_evaluation_warnings check.
1419
1420         PR c++/54440
1421         * pt.c (get_template_parm_index): New.
1422         (fixed_parameter_pack_p_1, fixed_parameter_pack_p): New.
1423         (process_template_parm): Allow bare packs in template template
1424         parm template parms.
1425         (coerce_template_parameter_pack): Handle fixed template template
1426         parm packs and fixed packs not at the end of the parm list.
1427         (coerce_template_parms): Handle template parm packs not at the end
1428         of the parm list.
1429         (gen_elem_of_pack_expansion_instantiation): Handle a decl expansion.
1430
1431         PR c++/60182
1432         * pt.c (unify): Ignore alias templates when deducing a template
1433         template parameter.
1434
1435         PR c++/60345
1436         Revert:
1437         DR 1571
1438         * call.c (reference_binding): Recurse on user-defined conversion.
1439         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1440
1441 2014-02-25  Jason Merrill  <jason@redhat.com>
1442
1443         DR 1571
1444         * call.c (reference_binding): Recurse on user-defined conversion.
1445         (convert_like_real) [ck_ref_bind]: Explain cv-qual mismatch.
1446
1447         * call.c (print_conversion_rejection): Handle n_arg of -2.
1448         (build_user_type_conversion_1): Pass it.
1449
1450         PR c++/55877
1451         * decl2.c (no_linkage_error): Handle C++98 semantics.
1452         (reset_type_linkage): Move from decl.c.
1453         (reset_type_linkage_1, reset_type_linkage_2, bt_reset_linkage_1)
1454         (bt_reset_linkage_2, reset_decl_linkage): New.
1455         (tentative_decl_linkage): Factor out of expand_or_defer_fn_1.
1456         (cp_write_global_declarations): Move condition into no_linkage_error.
1457         * decl.c (grokfndecl, grokvardecl): Use no_linkage_error.
1458         * semantics.c (expand_or_defer_fn_1): Factor out
1459         tentative_decl_linkage.
1460         * cp-tree.h: Adjust.
1461
1462         * decl2.c (finish_static_data_member_decl): Diagnose static data
1463         member in unnamed class.
1464         * class.c (finish_struct_anon_r): Avoid redundant diagnostic.
1465
1466         PR lto/53808
1467         * class.c (clone_function_decl): Call note_vague_linkage_fn for
1468         defaulted virtual dtor.
1469
1470         DR 1286
1471         PR c++/60328
1472         * pt.c (get_underlying_template): Fix equivalence calculation.
1473
1474 2014-02-25  Adam Butcher  <adam@jessamine.co.uk>
1475
1476         PR c++/60311
1477         * parser.c (function_being_declared_is_template_p): Return false when
1478         processing a template parameter list.
1479         (cp_parser_parameter_declaration_clause): Don't set
1480         auto_is_implicit_function_template_parm_p when processing a
1481         template parameter list.
1482
1483         * parser.c (synthesize_implicit_template_parm): Inject new template
1484         argument list appropriately when a generic member function
1485         of a class template is declared out-of-line.
1486
1487         PR c++/60065
1488         * parser.c (cp_parser_direct_declarator): Don't save and
1489         restore num_template_parameter_lists around call to
1490         cp_parser_parameter_declaration_list.
1491         (function_being_declared_is_template_p): New predicate.
1492         (cp_parser_parameter_declaration_list): Use
1493         function_being_declared_is_template_p as predicate for
1494         inspecting current function template parameter list length
1495         rather than num_template_parameter_lists.
1496
1497 2014-02-24  Jason Merrill  <jason@redhat.com>
1498
1499         PR c++/60146
1500         * pt.c (tsubst_omp_for_iterator): Don't let substitution of the
1501         DECL_EXPR initialize a non-class iterator.
1502
1503         PR c++/60312
1504         * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'.
1505
1506 2014-02-21  Jason Merrill  <jason@redhat.com>
1507
1508         PR c++/58170
1509         * parser.c (cp_parser_type_name): Always check dependency.
1510         (cp_parser_type_specifier_seq): Call
1511         cp_parser_parse_and_diagnose_invalid_type_name.
1512
1513         PR c++/60108
1514         * semantics.c (expand_or_defer_fn_1): Check DECL_DEFAULTED_FN.
1515
1516         PR c++/60185
1517         * parser.c (cp_parser_default_argument): Clear
1518         current_class_ptr/current_class_ref like tsubst_default_argument.
1519
1520         PR c++/60252
1521         * lambda.c (maybe_resolve_dummy): Check lambda_function rather
1522         than current_binding_level.
1523
1524         PR c++/60186
1525         * typeck2.c (massage_init_elt): Call fold_non_dependent_expr_sfinae.
1526
1527         PR c++/60187
1528         * parser.c (cp_parser_enum_specifier): Call
1529         check_for_bare_parameter_packs.
1530
1531         PR c++/59347
1532         * pt.c (tsubst_decl) [TYPE_DECL]: Don't try to instantiate an
1533         erroneous typedef.
1534
1535         PR c++/60241
1536         * pt.c (lookup_template_class_1): Update DECL_TEMPLATE_INSTANTIATIONS
1537         of the partial instantiation, not the most general template.
1538         (maybe_process_partial_specialization): Reassign everything on
1539         that list.
1540
1541         PR c++/60216
1542         * pt.c (register_specialization): Copy DECL_DELETED_FN to clones.
1543         (check_explicit_specialization): Don't clone.
1544
1545         PR c++/60219
1546         * pt.c (coerce_template_parms): Bail if argument packing fails.
1547
1548         PR c++/60224
1549         * decl.c (cp_complete_array_type, maybe_deduce_size_from_array_init):
1550         Don't get confused by a CONSTRUCTOR that already has a type.
1551
1552         PR c++/60227
1553         * call.c (build_array_conv): Don't crash on VLA.
1554
1555         PR c++/60248
1556         * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
1557
1558         PR c++/60252
1559         * lambda.c (maybe_resolve_dummy): Don't try to capture this
1560         in declaration context.
1561
1562         DR 1591
1563         PR c++/60051
1564         * pt.c (unify): Only unify if deducible.  Handle 0-length list.
1565
1566         PR c++/60250
1567         * parser.c (cp_parser_direct_declarator): Don't wrap a
1568         type-dependent expression in a NOP_EXPR.
1569
1570         PR c++/60251
1571         * lambda.c (is_normal_capture_proxy): Handle VLA capture.
1572
1573         PR c++/60167
1574         PR c++/60222
1575         PR c++/58606
1576         * parser.c (cp_parser_template_argument): Restore dereference.
1577         * pt.c (template_parm_to_arg): Dereference non-pack expansions too.
1578         (process_partial_specialization): Handle deref.
1579         (unify): Likewise.
1580
1581 2014-02-21  Adam Butcher  <adam@jessamine.co.uk>
1582
1583         PR c++/60052
1584         PR c++/60053
1585         * parser.c (cp_parser_parameter_declaration_list): Correctly reset
1586         implicit_template_scope upon leaving an out-of-line generic member
1587         function definition.
1588
1589 2014-02-20  Kai Tietz  <ktietz@redhat.com>
1590
1591         PR c++/58873
1592         * parser.c (cp_parser_functional_cast): Treat NULL_TREE
1593         valued type argument as error_mark_node.
1594
1595         PR c++/58835
1596         * semantics.c (finish_fname): Handle error_mark_node.
1597
1598 2014-02-19  Jason Merrill  <jason@redhat.com>
1599
1600         PR c++/60046
1601         * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
1602         spec from template context.
1603
1604 2014-02-19  Jakub Jelinek  <jakub@redhat.com>
1605
1606         PR debug/56563
1607         * cp-objcp-common.c (cp_function_decl_explicit_p): Remove
1608         FUNCTION_FIRST_USER_PARMTYPE (decl) != void_list_node check.
1609
1610         PR c++/60267
1611         * pt.c (tsubst_expr): Handle ANNOTATE_EXPR.
1612
1613 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1614
1615         PR c++/60225
1616         * semantics.c (ensure_literal_type_for_constexpr_object): Use
1617         strip_array_types.
1618
1619 2014-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1620
1621         PR c++/60215
1622         * semantics.c (cxx_eval_constant_expression, [COMPONENT_REF]):
1623         During error recovery allow_non_constant may be false.
1624
1625 2014-02-18  Adam Butcher  <adam@jessamine.co.uk>
1626
1627         PR c++/60190
1628         * parser.c (cp_parser_lambda_declarator_opt): Pop template parameter
1629         scope whenever a template parameter list has been started, independent
1630         of whether the function call operator was well-formed or not.
1631
1632         PR c++/60064
1633         * parser.c (cp_parser_member_declaration): Pop fully implicit template
1634         scope for generic friend declarations as well as for non-friends.
1635
1636 2014-02-12  Paolo Carlini  <paolo.carlini@oracle.com>
1637
1638         PR c++/60047
1639         * method.c (implicitly_declare_fn): A constructor of a class with
1640         virtual base classes isn't constexpr (7.1.5p4).
1641
1642 2014-02-05  Jan Hubicka  <hubicka@ucw.cz
1643
1644         * parser.c (synthesize_implicit_template_parm): Use grow_tree_vec.
1645
1646 2014-02-05  Jakub Jelinek  <jakub@redhat.com>
1647
1648         PR c++/58703
1649         * parser.c (cp_parser_omp_declare_reduction): Save and free
1650         declarator_obstack.
1651
1652 2014-02-03  Marc Glisse  <marc.glisse@inria.fr>
1653
1654         PR c++/53017
1655         PR c++/59211
1656         * tree.c (handle_init_priority_attribute): Call default_conversion on
1657         the attribute argument.
1658
1659 2014-02-03  Paolo Carlini  <paolo.carlini@oracle.com>
1660
1661         PR c++/58871
1662         * method.c (synthesized_method_walk): If vbases is non-null but
1663         is_empty is true, likewise don't worry about the virtual bases.
1664
1665 2014-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
1666
1667         PR c++/51219
1668         * typeck2.c (process_init_constructor_record): Just skip unnamed
1669         bit-fields.
1670
1671 2014-01-31  Jason Merrill  <jason@redhat.com>
1672
1673         PR c++/59469
1674         * pt.c (mark_decl_instantiated): Call mark_needed.
1675
1676         PR c++/58672
1677         * decl2.c (handle_tls_init): Handle null init fn.
1678
1679         PR c++/55800
1680         * decl2.c (get_tls_init_fn): Copy DECL_EXTERNAL from the variable.
1681
1682 2014-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
1683
1684         PR c++/59082
1685         * class.c (build_vfield_ref): Early return error_mark_node if
1686         TYPE_VFIELD (type) is null.
1687         (build_base_path): Check return value of build_vfield_ref.
1688
1689 2014-01-31  Jason Merrill  <jason@redhat.com>
1690
1691         PR c++/59646
1692         * call.c (convert_like_real) [ck_aggr]: Set TARGET_EXPR_LIST_INIT_P.
1693         [ck_list]: Check for error_mark_node.
1694         (build_aggr_conv): Set LOOKUP_NO_NARROWING and check_narrowing.
1695
1696         PR c++/57043
1697         * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
1698         during partial ordering.
1699
1700 2014-01-31  Marek Polacek  <polacek@redhat.com>
1701
1702         PR c/59963
1703         * typeck.c (build_function_call_vec): Add dummy arg_loc parameter.
1704
1705 2014-01-30  Jason Merrill  <jason@redhat.com>
1706
1707         PR c++/57899
1708         * cp-tree.h (struct saved_scope): Add x_local_specializations.
1709         (local_specializations): New macro.
1710         * pt.c (local_specializations): Remove variable.
1711
1712 2014-01-30  Richard Sandiford  <rdsandiford@googlemail.com>
1713
1714         PR c++/58708
1715         * parser.c (make_string_pack): Use double_int::from_buffer.
1716
1717 2014-01-30  Marek Polacek  <polacek@redhat.com>
1718
1719         PR c/59940
1720         * typeck.c (build_ptrmemfunc1): Call convert_and_check with
1721         input_location.
1722         * cvt.c (cp_convert_and_check): Call warnings_for_convert_and_check
1723         with input_location.
1724         * call.c (build_conditional_expr_1): Call unsafe_conversion_p with
1725         loc parameter.
1726
1727 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1728
1729         PR c++/58843
1730         * typeck.c (lookup_destructor): Check dtor_type for error_mark_node.
1731
1732 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1733
1734         PR c++/58649
1735         * pt.c (lookup_template_class_1): Check start_enum return value
1736         for error_mark_node.
1737
1738 2014-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
1739
1740         * decl.c (duplicate_decls, typename_hash, typename_compare):
1741         Use TYPE_IDENTIFIER.
1742         * error.c (dump_type): Likewise.
1743         * mangle.c (dump_substitution_candidates): Likewise.
1744
1745 2014-01-30  Jason Merrill  <jason@redhat.com>
1746
1747         PR c++/59633
1748         * decl2.c (attributes_naming_typedef_ok): New.
1749         * cp-tree.h: Declare it.
1750         * decl.c (grokdeclarator): Check it.
1751         * tree.c (no_linkage_check): Handle VECTOR_TYPE.
1752
1753 2014-01-29  Jason Merrill  <jason@redhat.com>
1754
1755         PR c++/59707
1756         * call.c (add_builtin_candidate): Catch dependent types.
1757
1758         PR c++/59989
1759         * pt.c (expand_template_argument_pack): Correct
1760         non_default_args_count calculation.
1761
1762         PR c++/58466
1763         * pt.c (unify_pack_expansion): Call expand_template_argument_pack.
1764
1765         PR c++/59956
1766         * friend.c (do_friend): Pass the TEMPLATE_DECL to add_friend if we
1767         have a friend template in a class template.
1768         * pt.c (tsubst_friend_function): Look through it.
1769         (push_template_decl_real): A friend member template is
1770         primary.
1771
1772 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1773
1774         PR c++/58846
1775         * decl.c (get_dso_handle_node): Don't crash if dso_handle_node
1776         == error_mark_node.
1777
1778 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1779
1780         PR c++/58674
1781         * pt.c (instantiate_template_1): Check for error_mark_node the second
1782         argument too.
1783
1784 2014-01-29  Jason Merrill  <jason@redhat.com>
1785
1786         PR c++/59916
1787         * optimize.c (maybe_thunk_body): Build a RETURN_EXPR for
1788         cdtor_returns_this case.
1789
1790         PR c++/59315
1791         * decl.c (cxx_maybe_build_cleanup): Call mark_used.
1792
1793 2014-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
1794
1795         PR c++/58702
1796         * semantics.c (finish_omp_reduction_clause): Check type for
1797         error_mark_node.
1798
1799 2014-01-28  Jason Merrill  <jason@redhat.com>
1800
1801         PR c++/59791
1802         * pt.c (tsubst_decl) [VAR_DECL]: Allow in unevaluated context.
1803         (tsubst_copy): Use it if lookup fails.
1804
1805         PR c++/59818
1806         * pt.c (tsubst_function_type): Make sure we keep the same function
1807         quals.
1808
1809         PR c++/58701
1810         * semantics.c (build_anon_member_initialization): Stop walking
1811         when we run out of COMPONENT_REFs.
1812
1813         PR c++/58632
1814         * decl.c (lookup_and_check_tag): Ignore template parameters if
1815         scope == ts_current.
1816         * pt.c (check_template_shadow): Don't complain about the injected
1817         class name.
1818
1819         * decl.c (duplicate_decls): Tweak.
1820
1821         PR c++/53756
1822         * mangle.c (write_unqualified_name): Handle operator auto.
1823
1824 2014-01-27  Jason Merrill  <jason@redhat.com>
1825
1826         PR c++/59823
1827         Core DR 1138
1828         * call.c (reference_binding): Pass LOOKUP_NO_TEMP_BIND for
1829         list-initialization.  A conversion to rvalue ref that involves
1830         an lvalue-rvalue conversion is bad.
1831         (convert_like_real): Give helpful error message.
1832
1833         PR c++/54652
1834         * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
1835
1836         PR c++/58504
1837         * pt.c (tsubst_copy_and_build) [TRAIT_EXPR]: Use tsubst for
1838         types.
1839
1840         PR c++/58606
1841         * pt.c (template_parm_to_arg): Call convert_from_reference.
1842         (tsubst_template_arg): Don't strip reference refs.
1843
1844         PR c++/58639
1845         * call.c (build_aggr_conv): Reject value-initialization of reference.
1846
1847         PR c++/58812
1848         PR c++/58651
1849         * call.c (convert_like_real): Give helpful error about excess braces
1850         for ck_rvalue of scalar type.
1851
1852         Core DR 1288
1853         * call.c (reference_binding): Only elide braces if the single
1854         element is reference-related.
1855
1856         PR c++/58814
1857         * typeck.c (cp_build_modify_expr): Make the RHS an rvalue before
1858         stabilizing.
1859
1860         PR c++/58837
1861         * typeck.c (cp_truthvalue_conversion): Use explicit comparison for
1862         FUNCTION_DECL.
1863
1864         PR c++/59097
1865         * decl.c (compute_array_index_type): Don't call
1866         maybe_constant_value for a non-integral expression.
1867
1868 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1869
1870         * call.c (magic_varargs_p): Replaced flag_enable_cilkplus with
1871         flag_cilkplus.
1872         * cp-gimplify.c (cp_genericize): Likewise.
1873         * decl.c (grokfndecl): Likewise.
1874         * parser.c (cp_parser_postfix_expression): Likewise.
1875         (cp_parser_postfix_open_square_expression): Likewise.
1876         (cp_parser_direct_declarator): Likewise.
1877         (is_cilkplus_vector_p): Likewise.
1878         (cp_parser_omp_clause_name): Likewise.
1879         (cp_parser_omp_all_clauses): Likewise.
1880         * pt.c (apply_late_template_attributes): Likewise.
1881         * typeck.c (cp_build_array_ref): Likewise.
1882         (cp_build_compound_expr): Likewise.
1883         (check_return_expr): Likewise.
1884
1885 2014-01-24  Jason Merrill  <jason@redhat.com>
1886
1887         PR c++/58550
1888         * decl.c (grokdeclarator): Turn pedwarn about auto return type in
1889         c++11 into error.
1890
1891         PR c++/59886
1892         PR c++/59659
1893         * typeck2.c (process_init_constructor_array): Don't create
1894         RANGE_EXPR yet.
1895
1896 2014-01-24  Jakub Jelinek  <jakub@redhat.com>
1897
1898         * typeck2.c (split_nonconstant_init_1): Fix num_split_elts
1899         handling for RANGE_ARRAY case.
1900
1901 2014-01-24  Paolo Carlini  <paolo.carlini@oracle.com>
1902
1903         PR c++/57524
1904         * name-lookup.c (push_using_directive): Use timevar_cond_start.
1905
1906 2014-01-23  Marek Polacek  <polacek@redhat.com>
1907
1908         PR c/59846
1909         * typeck.c (cp_build_binary_op): Pass location to shorten_compare.
1910
1911 2014-01-23  Marek Polacek  <polacek@redhat.com>
1912
1913         PR c/58346
1914         * typeck.c (pointer_diff): Give an error on arithmetic on pointer to
1915         an empty aggregate.
1916
1917 2014-01-23  Jason Merrill  <jason@redhat.com>
1918
1919         PR c++/55189
1920         * cp-tree.h (struct language_function): Add infinite_loop and
1921         infinite_loops.
1922         (current_function_infinite_loop): New.
1923         * semantics.c (begin_maybe_infinite_loop, end_maybe_infinite_loop)
1924         (break_maybe_infinite_loop): New.
1925         (finish_while_stmt_cond, finish_while_stmt, begin_do_stmt)
1926         (finish_do_stmt, finish_for_cond, finish_for_stmt)
1927         (begin_range_for_stmt): Use them.
1928         * decl.c (finish_function): Don't warn about missing return
1929         if current_function_infinite_loop.
1930         * pt.c (instantiate_decl): Copy current_function_infinite_loop.
1931         * parser.c (cp_parser_jump_statement): Call break_maybe_infinite_loop.
1932
1933         * call.c (build_op_delete_call): Use make_tree_vector and
1934         release_tree_vector.
1935
1936 2014-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1937
1938         PR c++/58980
1939         * parser.c (cp_parser_enum_specifier): Handle TYPENAME_TYPE as
1940         nested_name_specifier.
1941
1942 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1943
1944         * parser.c (cp_parser_direct_declarator): When Cilk Plus is enabled
1945         see if there is an attribute after function decl.  If so, then
1946         parse them now.
1947         (cp_parser_late_return_type_opt): Handle parsing of Cilk Plus SIMD
1948         enabled function late parsing.
1949         (cp_parser_gnu_attribute_list): Parse all the tokens for the vector
1950         attribute for a SIMD-enabled function.
1951         (cp_parser_omp_all_clauses): Skip parsing to the end of pragma when
1952         the function is used by SIMD-enabled function (indicated by NULL
1953         pragma token).   Added 3 new clauses: PRAGMA_CILK_CLAUSE_MASK,
1954         PRAGMA_CILK_CLAUSE_NOMASK and PRAGMA_CILK_CLAUSE_VECTORLENGTH
1955         (cp_parser_cilk_simd_vectorlength): Modified this function to handle
1956         vectorlength clause in SIMD-enabled function and #pragma SIMD's
1957         vectorlength clause.  Added a new bool parameter to differentiate
1958         between the two.
1959         (cp_parser_cilk_simd_fn_vector_attrs): New function.
1960         (is_cilkplus_vector_p): Likewise.
1961         (cp_parser_late_parsing_elem_fn_info): Likewise.
1962         (cp_parser_omp_clause_name): Added a check for "mask", "nomask"
1963         and "vectorlength" clauses when Cilk Plus is enabled.
1964         (cp_parser_omp_clause_linear): Added a new parameter of type bool
1965         and emit a sorry message when step size is a parameter.
1966         * parser.h (cp_parser::cilk_simd_fn_info): New field.
1967         * decl.c (grokfndecl): Added flag_enable_cilkplus along with
1968         flag_openmp.
1969         * pt.c (apply_late_template_attributes): Likewise.
1970
1971 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
1972
1973         PR middle-end/58809
1974         * semantics.c (finish_omp_reduction_clause): Reject
1975         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
1976
1977 2014-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
1978
1979         PR c++/59482
1980         * parser.c (cp_parser_class_head): Push the class before parsing
1981         the base-clause, pop after it.
1982
1983 2014-01-20  Eric Botcazou  <ebotcazou@adacore.com>
1984
1985         * decl2.c (cpp_check): Revert prototype change.
1986
1987 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1988
1989         PR c++/59270
1990         PR c++/58811
1991         * init.c (build_value_init_noctor): Don't pass error_mark_node to
1992         build_value_init.
1993
1994 2014-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1995
1996         PR c++/59269
1997         * init.c (build_value_init_noctor): Assert !TYPE_HAS_COMPLEX_DFLT
1998         only when errorcount == 0.
1999
2000 2014-01-17  Marek Polacek  <polacek@redhat.com>
2001
2002         PR c++/59838
2003         * cvt.c (ocp_convert): Don't segfault on non-existing
2004         ENUM_UNDERLYING_TYPE.
2005
2006 2014-01-16  Jason Merrill  <jason@redhat.com>
2007
2008         PR c++/59821
2009         * tree.c (bot_manip): Update the location of builtin_LINE and
2010         builtin_FILE calls.
2011
2012 2014-01-14  Jason Merrill  <jason@redhat.com>
2013
2014         PR c++/59659
2015         * typeck2.c (massage_init_elt): New.
2016         (process_init_constructor_record)
2017         (process_init_constructor_union): Use it.
2018         (process_init_constructor_array): Use it.  Use RANGE_EXPR.
2019         (split_nonconstant_init_1): Handle it.
2020         * semantics.c (cxx_eval_vec_init_1): Use force_rvalue.
2021
2022 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
2023
2024         PR c++/59631
2025         * parser.c (cp_parser_postfix_expression): Added a new if-statement
2026         and replaced an existing if-statement with else-if statement.
2027         Changed an existing error message wording to match the one from the C
2028         parser.
2029
2030 2014-01-08  Jason Merrill  <jason@redhat.com>
2031
2032         PR c++/59614
2033         * class.c (abi_tag_data): Add tags field.
2034         (check_abi_tags): Initialize it.
2035         (find_abi_tags_r): Support collecting missing tags.
2036         (mark_type_abi_tags): Don't look at template args.
2037         (inherit_targ_abi_tags): New.
2038         (check_bases_and_members): Use it.
2039         * cp-tree.h (ABI_TAG_IMPLICIT): New.
2040         * mangle.c (write_abi_tags): Check it.
2041
2042 2014-01-07  Jason Merrill  <jason@redhat.com>
2043
2044         PR c++/58856
2045         * pt.c (num_innermost_template_parms): New.
2046         (get_underlying_template): Use it.
2047
2048         PR c++/58965
2049         * mangle.c (write_guarded_var_name): Handle null DECL_NAME.
2050
2051 2014-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
2052
2053         * semantics.c (trait_expr_value, [CPTK_IS_BASE_OF]): Implement
2054         the letter of 20.11.6 about Base and Derived naming the same
2055         class type modulo cv-qualifiers.
2056
2057 2014-01-06  Adam Butcher  <adam@jessamine.co.uk>
2058
2059         PR c++/59635
2060         * lambda.c (maybe_add_lambda_conv_op): Handle marking conversion
2061         function as unimplemented for generic lambdas with varargs.
2062
2063         PR c++/59636
2064         * parser.c (cp_parser_template_parameter): Early out with
2065         error_mark_node if parameter declaration was not parsed.
2066
2067         PR c++/59629
2068         * parser.c (cp_parser_lambda_expression): Save/reset/restore
2069         auto_is_implicit_function_template_parm_p around lambda body.
2070
2071         PR c++/59638
2072         * parser.c (cp_parser_init_declarator): Undo fully implicit
2073         template parameter list when declarator is not a function.
2074
2075 2014-01-03  Marc Glisse  <marc.glisse@inria.fr>
2076
2077         PR c++/58950
2078         * cvt.c (convert_to_void): Handle VEC_PERM_EXPR and VEC_COND_EXPR.
2079
2080 2014-01-03  Tobias Burnus  <burnus@net-b.de>
2081
2082         PR c++/58567
2083         * pt.c (tsubst_omp_for_iterator): Early return for error_mark_node.
2084
2085 2014-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
2086
2087         Core DR 1442
2088         PR c++/59165
2089         * parser.c (cp_parser_perform_range_for_lookup): Don't pass true
2090         as include_std to perform_koenig_lookup.
2091         (cp_parser_postfix_expression): Adjust.
2092         * pt.c (tsubst_copy_and_build): Likewise.
2093         * semantics.c (perform_koenig_lookup): Remove bool parameter.
2094         (omp_reduction_lookup): Adjust.
2095         * name-lookup.c (lookup_arg_dependent_1): Remove bool parameter.
2096         (lookup_arg_dependent): Likewise.
2097         (lookup_function_nonclass): Adjust.
2098         * name-lookup.h: Adjust declaration.
2099         * cp-tree.h: Likewise.
2100
2101 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
2102
2103         PR c++/59087
2104         * parser.c (cp_parser_userdef_numeric_literal): Mention
2105         -fext-numeric-literals in the message.
2106
2107 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
2108
2109         PR c++/59641
2110         * call.c (build_conditional_expr_1): Check the return value of
2111         force_rvalue.
2112
2113 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
2114
2115         * call.c (convert_like_real): Check complain.
2116
2117 2014-01-02  Marc Glisse  <marc.glisse@inria.fr>
2118
2119         PR c++/59378
2120         * typeck.c (build_x_vec_perm_expr): Handle non-dependent arguments
2121         in templates.
2122
2123 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
2124
2125         Update copyright years
2126
2127 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
2128
2129         * cp-array-notation.c, cp-cilkplus.c, vtable-class-hierarchy.c: Use
2130         the standard form for the copyright notice.
2131 \f
2132 Copyright (C) 2014 Free Software Foundation, Inc.
2133
2134 Copying and distribution of this file, with or without modification,
2135 are permitted in any medium without royalty provided the copyright
2136 notice and this notice are preserved.