gcc/cp/ChangeLog

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