gcc/cp/ChangeLog

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