gcc/cp/ChangeLog

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