gcc/cp/ChangeLog

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