gcc/cp/ChangeLog

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