gcc/cp/ChangeLog

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