gcc/cp/ChangeLog

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