gcc/cp/ChangeLog

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