gcc/cp/ChangeLog

   1 2018-03-16  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/84720 - ICE with rvalue ref non-type argument.
   4         * pt.c (invalid_nontype_parm_type_p): Prohibit rvalue reference.
   5         (convert_nontype_argument): Revert earlier change.
   6
   7         PR c++/80227 - SFINAE and negative array size.
   8         * decl.c (compute_array_index_type): Use
   9         build_converted_constant_expr and valid_constant_size_p.
  10
  11         PR c++/84906 - silent wrong code with ambiguous conversion.
  12         * call.c (build_user_type_conversion_1): Set need_temporary_p on
  13         ambiguous conversion.
  14         (convert_like_real): Check it.
  15
  16         PR c++/83937 - wrong C++17 handling of init-list ctor argument.
  17         * call.c (build_special_member_call): Don't convert an init-list
  18         argument directly to the class type.
  19
  20 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
  21
  22         PR c++/79937
  23         PR c++/82410
  24         * cp-tree.h (CONSTRUCTOR_PLACEHOLDER_BOUNDARY): Define.
  25         (find_placeholder): Declare.
  26         * tree.c (struct replace_placeholders_t): Add exp member.
  27         (replace_placeholders_r): Don't walk into ctors with
  28         CONSTRUCTOR_PLACEHOLDER_BOUNDARY flag set, unless they are equal to
  29         d->exp.  Replace PLACEHOLDER_EXPR with unshare_expr (x) rather than x.
  30         (replace_placeholders): Initialize data.exp.
  31         (find_placeholders_r, find_placeholders): New functions.
  32         * typeck2.c (process_init_constructor_record,
  33         process_init_constructor_union): Set CONSTRUCTOR_PLACEHOLDER_BOUNDARY
  34         if adding NSDMI on which find_placeholder returns true.
  35         * call.c (build_over_call): Don't call replace_placeholders here.
  36         * cp-gimplify.c (cp_genericize_r): Set TARGET_EXPR_NO_ELIDE on
  37         TARGET_EXPRs with CONSTRUCTOR_PLACEHOLDER_BOUNDARY set on
  38         TARGET_EXPR_INITIAL.
  39         (cp_fold): Copy over CONSTRUCTOR_PLACEHOLDER_BOUNDARY bit to new
  40         ctor.
  41
  42 2018-03-16  Jason Merrill  <jason@redhat.com>
  43
  44         PR c++/83911 - ICE with multiversioned constructor.
  45         * cp-gimplify.c (cp_genericize_r): Replace versioned function with
  46         dispatchere here.
  47         * call.c (build_over_call): Not here.
  48
  49 2018-03-16  Jakub Jelinek  <jakub@redhat.com>
  50
  51         PR c++/84874
  52         * decl.c (reshape_init_class): Don't assert d->cur->index == field
  53         if d->cur->index is a FIELD_DECL, instead set field to d->cur->index.
  54
  55 2018-03-15  Jakub Jelinek  <jakub@redhat.com>
  56
  57         PR c++/84222
  58         * cp-tree.h (cp_warn_deprecated_use): Declare.
  59         * tree.c (cp_warn_deprecated_use): New function.
  60         * typeck2.c (build_functional_cast): Use it.
  61         * decl.c (grokparms): Likewise.
  62         (grokdeclarator): Likewise.  Temporarily push nested class scope
  63         around grokparms call for out of class member definitions.
  64
  65 2018-03-14  Jason Merrill  <jason@redhat.com>
  66
  67         PR c++/84820 - no error for invalid qualified-id.
  68         * parser.c (cp_parser_make_indirect_declarator): Don't wrap
  69         cp_error_declarator.
  70
  71         PR c++/84801 - ICE with unexpanded pack in lambda.
  72         * pt.c (check_for_bare_parameter_packs): Don't return early for a
  73         lambda in non-template context.
  74
  75         PR c++/81236 - auto variable and auto function
  76         * pt.c (tsubst_baselink): Update the type of the BASELINK after
  77         mark_used.
  78
  79 2018-03-14  Jason Merrill  <jason@redhat.com>
  80
  81         PR c++/83916 - ICE with template template parameters.
  82         * pt.c (convert_template_argument): Don't substitute into type of
  83         non-type parameter if we don't have enough arg levels.
  84         (unify): Likewise.
  85
  86 2018-03-14  Marek Polacek  <polacek@redhat.com>
  87
  88         PR c++/84596
  89         * semantics.c (finish_static_assert): Check
  90         instantiation_dependent_expression_p instead of
  91         {type,value}_dependent_expression_p.
  92
  93 2018-03-13  Paolo Carlini  <paolo.carlini@oracle.com>
  94             Jason Merrill  <jason@redhat.com>
  95
  96         PR c++/82336 - link error with list-init default argument.
  97         * decl.c (check_default_argument): Unshare an initializer list.
  98
  99 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 100
 101         PR c++/84843
 102         * decl.c (duplicate_decls): For redefinition of built-in, use error
 103         and return error_mark_node.  For redeclaration, return error_mark_node
 104         rather than olddecl if !flag_permissive.
 105
 106 2018-03-13  Jason Merrill  <jason@redhat.com>
 107
 108         PR c++/82565 - ICE with concepts and generic lambda.
 109         * pt.c (instantiate_decl): Clear fn_context for lambdas.
 110
 111 2018-03-13  Jason Merrill  <jason@redhat.com>
 112
 113         PR c++/84720 - ICE with rvalue ref non-type argument.
 114         * pt.c (convert_nontype_argument): Handle rvalue references.
 115
 116         PR c++/84839 - ICE with decltype of parameter pack.
 117         * pt.c (tsubst_pack_expansion): Set cp_unevaluated_operand while
 118         instantiating dummy parms.
 119
 120         * parser.c (cp_parser_simple_type_specifier): Pedwarn about auto
 121         parameter even without -Wpedantic.
 122
 123         PR c++/84798 - ICE with auto in abstract function declarator.
 124         * parser.c (cp_parser_parameter_declaration_clause): Check
 125         parser->default_arg_ok_p.
 126
 127 2018-03-13  Jakub Jelinek  <jakub@redhat.com>
 128
 129         PR c++/84808
 130         * constexpr.c (find_array_ctor_elt): Don't use elt reference after
 131         first potential CONSTRUCTOR_ELTS reallocation.  Convert dindex to
 132         sizetype.  Formatting fixes.
 133
 134 2018-03-12  Jason Merrill  <jason@redhat.com>
 135
 136         PR c++/84355 - ICE with deduction for member class template.
 137         * pt.c (tsubst) [TEMPLATE_TYPE_PARM]: Always substitute into
 138         CLASS_PLACEHOLDER_TEMPLATE.
 139
 140         PR c++/84802 - ICE capturing uninstantiated class.
 141         * lambda.c (build_capture_proxy): Call complete_type.
 142
 143 2018-03-09  Jason Merrill  <jason@redhat.com>
 144
 145         PR c++/84770 - ICE with typedef and parameter pack.
 146         * pt.c (verify_unstripped_args_1): Split out from
 147         verify_unstripped_args.
 148
 149         PR c++/84785 - ICE with alias template and default targs.
 150         * pt.c (type_unification_real): Set processing_template_decl if
 151         saw_undeduced == 1.
 152
 153         PR c++/84752 - ICE with capture of constexpr array.
 154         * call.c (standard_conversion): Set rvaluedness_matches_p on the
 155         identity conversion under ck_lvalue.
 156
 157 2018-03-09  Jason Merrill  <jason@redhat.com>
 158             Paolo Carlini  <paolo.carlini@oracle.com>
 159
 160         PR c++/71169
 161         PR c++/71832
 162         * pt.c (any_erroneous_template_args_p): New.
 163         * cp-tree.h (any_erroneous_template_args_p): Declare it.
 164         * parser.c (cp_parser_class_specifier_1): Use it.
 165
 166 2018-03-09  Jason Merrill  <jason@redhat.com>
 167
 168         PR c++/84726 - unnecessary capture of constant vars.
 169         * cp-tree.h (LAMBDA_CAPTURE_EXPLICIT_P)
 170         (LAMBDA_EXPR_CAPTURE_OPTIMIZED): New.
 171         * expr.c (mark_use): Set LAMBDA_EXPR_CAPTURE_OPTIMIZED.
 172         * lambda.c (is_constant_capture_proxy)
 173         (current_lambda_expr, var_to_maybe_prune, mark_const_cap_r)
 174         (prune_lambda_captures): New.
 175         (finish_lambda_function): Call prune_lambda_captures.
 176
 177 2018-03-09  Jason Merrill  <jason@redhat.com>
 178             Jakub Jelinek  <jakub@redhat.com>
 179
 180         PR c++/84076
 181         * call.c (convert_arg_to_ellipsis): Instead of cp_build_addr_expr
 182         build ADDR_EXPR with REFERENCE_TYPE.
 183         (build_over_call): For purposes of check_function_arguments, if
 184         argarray[j] is ADDR_EXPR with REFERENCE_TYPE created above, use
 185         its operand rather than the argument itself.
 186
 187 2018-03-09  Jakub Jelinek  <jakub@redhat.com>
 188
 189         PR c++/84724
 190         * decl.c (duplicate_decls): Don't override __* prefixed builtins
 191         except for __[^b]*_chk, instead issue permerror and for -fpermissive
 192         also a note and return olddecl.
 193
 194 2018-03-09  Nathan Sidwell  <nathan@acm.org>
 195
 196         PR c++/84733
 197         * name-lookup.c (do_pushdecl_with_scope): Only clear
 198         current_function_decl when pushing a non-class (i.e. namespace)
 199         scope.
 200
 201 2018-03-08  Jason Merrill  <jason@redhat.com>
 202             Jakub Jelinek  <jakub@redhat.com>
 203
 204         PR c++/80598
 205         * call.c (build_over_call): In templates set TREE_USED (first_fn) when
 206         not calling mark_used for the benefit of -Wunused-function warning.
 207
 208 2018-03-06  Jason Merrill  <jason@redhat.com>
 209
 210         * lambda.c (is_capture_proxy_with_ref): Remove.
 211         * constexpr.c, expr.c, cp-tree.h, semantics.c: Adjust.
 212
 213 2018-03-06  Marek Polacek  <polacek@redhat.com>
 214
 215         PR c++/84684
 216         * constexpr.c (cxx_bind_parameters_in_call): Unshare evaluated
 217         arguments.
 218
 219 2018-03-06  Alexandre Oliva <aoliva@redhat.com>
 220
 221         PR c++/84231
 222         * tree.c (lvalue_kind): Use presence/absence of REFERENCE_TYPE
 223         only while processing template decls.
 224         * typeck.c (build_x_conditional_expr): Move wrapping of
 225         reference type around type...
 226         * call.c (build_conditional_expr_1): ... here.  Rename
 227         is_lvalue to is_glvalue.
 228         * parser.c (cp_parser_fold_expression): Catch REFERENCE_REF_P
 229         INDIRECT_REF of COND_EXPR too.
 230
 231         PR c++/84593
 232         * init.c (build_zero_init_1): Zero-initialize references.
 233
 234         PR c++/84492
 235         * semantics.c (finish_stmt_expr_expr): Reject unresolved
 236         overloads used as stmt expr values.
 237
 238 2018-03-05  Jason Merrill  <jason@redhat.com>
 239
 240         PR c++/84708 - ICE with lambda in local class NSDMI.
 241         * lambda.c (lambda_expr_this_capture): Handle local class NSDMI
 242         context.
 243
 244 2018-03-05  Jakub Jelinek  <jakub@redhat.com>
 245
 246         PR c++/84684
 247         * constexpr.c (constexpr_call_hasher::equal): Return false if
 248         lhs->hash != rhs->hash.  Change return 1 to return true and
 249         return 0 to return false.
 250
 251 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 252
 253         PR c++/84702
 254         * pt.c (process_template_arg): Mark lookup_keep on a default arg.
 255
 256 2018-03-05  Marek Polacek  <polacek@redhat.com>
 257
 258         PR c++/84707
 259         * decl.c (duplicate_decls): Check DECL_NAME before accessing
 260         UDLIT_OPER_P.
 261
 262 2018-03-05  Nathan Sidwell  <nathan@acm.org>
 263
 264         PR c++/84694
 265         * friend.c (do_friend): Restore check for identifier_p inside
 266         TEMPLATE_ID_EXPR.
 267
 268 2018-03-05  Paolo Carlini  <paolo.carlini@oracle.com>
 269
 270         PR c++/84618
 271         * parser.c (cp_parser_lambda_introducer): Reject any capture not
 272         involving a VAR_DECL or a PARM_DECL.
 273
 274 2018-03-05  Pádraig Brady  <P@draigBrady.com>
 275             Jason  Merrill  <jason@redhat.com>
 276             Nathan Sidwell  <nathan@acm.org>
 277
 278         PR c++/84497
 279         * decl2.c (get_tls_init_fn): Check TYPE_HAS_TRIVIAL_DFLT too.
 280
 281 2018-03-03  Jason Merrill  <jason@redhat.com>
 282
 283         PR c++/84686 - missing volatile loads.
 284         * cvt.c (convert_to_void): Call maybe_undo_parenthesized_ref.
 285
 286 2018-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
 287
 288         PR c++/71464
 289         * optimize.c (maybe_thunk_body): Bail out immediately if either
 290         fns[0] or fns[1] is null.
 291
 292 2018-03-02  Marek Polacek  <polacek@redhat.com>
 293
 294         PR c++/84578
 295         * constexpr.c (get_array_or_vector_nelts): New.
 296         (cxx_eval_array_reference): Use it.
 297         (cxx_eval_vec_init_1): Likewise.
 298         (cxx_eval_store_expression): Likewise.
 299
 300 2018-03-02  Jason Merrill  <jason@redhat.com>
 301
 302         * semantics.c (force_paren_expr): Remove redundant test.
 303
 304 2018-03-02  Marek Polacek  <polacek@redhat.com>
 305
 306         PR c++/84663
 307         * decl.c (cp_complete_array_type): Check error_mark_node.
 308
 309         PR c++/84664
 310         * typeck.c (cp_perform_integral_promotions): Check the result of
 311         mark_rvalue_use.
 312
 313 2018-03-02  Jakub Jelinek  <jakub@redhat.com>
 314
 315         PR c++/84662
 316         * pt.c (tsubst_copy_and_build) <case TEMPLATE_ID_EXPR>: Use
 317         RETURN instead of return.
 318         <case POINTER_PLUS_EXPR>: Likewise.
 319         <case CONVERT_EXPR>: If op0 is error_mark_node, just return
 320         it instead of wrapping it into CONVERT_EXPR.
 321
 322 2018-03-02  Jason Merrill  <jason@redhat.com>
 323
 324         Fix MIPS16 ICE.
 325         * pt.c (type_dependent_expression_p): Check DECL_LANG_SPECIFIC.
 326
 327 2018-03-02  Marek Polacek  <polacek@redhat.com>
 328
 329         PR c++/84590
 330         * cp-gimplify.c (cp_fully_fold): Unwrap TARGET_EXPR or a CONSTRUCTOR
 331         wrapped in VIEW_CONVERT_EXPR.
 332
 333 2018-03-01  Martin Sebor  <msebor@redhat.com>
 334
 335         PR c++/84294
 336         * decl.c (check_redeclaration_no_default_args): Merge attributes
 337         specified on redeclarations of the same function template.
 338         Remove dead code.
 339
 340 2018-03-01  Marek Polacek  <polacek@redhat.com>
 341             Jason Merrill  <jason@redhat.com>
 342
 343         PR c++/84582
 344         * semantics.c (force_paren_expr): Create a PAREN_EXPR when in
 345         a template.
 346         (maybe_undo_parenthesized_ref): Unwrap PAREN_EXPR.
 347         * typeck2.c (store_init_value): Call fold_non_dependent_expr instead
 348         of instantiate_non_dependent_expr.
 349         * tree.c (lvalue_kind): Handle PAREN_EXPR like NON_DEPENDENT_EXPR.
 350
 351 2018-03-01  Nathan Sidwell  <nathan@acm.org>
 352
 353         PR c++/84434
 354         * name-lookup.c (member_vec_dedup): Remove manually peeled
 355         iteration.  Ignore dependent ctor inheritance.
 356
 357 2018-03-01  Jason Merrill  <jason@redhat.com>
 358
 359         PR c++/71569 - decltype of template.
 360         * parser.c (cp_parser_decltype_expr): Handle missing template args.
 361
 362 2018-03-01  Marek Polacek  <polacek@redhat.com>
 363
 364         PR c++/84596
 365         * constexpr.c (require_rvalue_constant_expression): New function.
 366         * cp-tree.h: Declare it.
 367         * semantics.c (finish_static_assert): Use it instead of
 368         require_potential_rvalue_constant_expression.
 369
 370 2018-03-01  Jason Merrill  <jason@redhat.com>
 371             Alexandre Oliva <aoliva@redhat.com>
 372
 373         PR c++/71569 - ICE with redundant args on member variable template.
 374         * decl.c (start_decl): Handle partial specialization of member
 375         variable template.
 376         * pt.c (determine_specialization): Allow partial specialization
 377         of member variable template without specializing enclosing class.
 378         (process_partial_specialization): Improve error message.
 379
 380 2018-02-28  Jason Merrill  <jason@redhat.com>
 381
 382         PR c++/71784 - ICE with ref-qualifier and explicit specialization.
 383         * pt.c (determine_specialization): Check ref-qualifier.
 384
 385 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
 386
 387         PR c++/84609
 388         * parser.c (cp_parser_attributes_opt): Formatting fix.
 389         (cp_parser_skip_balanced_tokens, cp_parser_skip_gnu_attributes_opt,
 390         cp_parser_skip_std_attribute_spec_seq, cp_parser_skip_attributes_opt):
 391         New functions.
 392         (cp_parser_member_declaration): Use cp_parser_skip_attributes_opt
 393         instead of tentative parse to peek over optional attribute tokens
 394         to check for CPP_COLON after them.
 395
 396         PR c++/83871
 397         PR c++/83503
 398         * pt.c (INCLUDE_STRING): Remove define.
 399         (warn_spec_missing_attributes): Use pretty_printer instead of
 400         std::string.  Fix up inform call so that the list of attributes
 401         is in %s argument.
 402
 403 2018-02-28  Martin Sebor  <msebor@redhat.com>
 404
 405         PR testsuite/84617
 406         * decl.c (duplicate_decls): Fully merge attributes const, pure,
 407         and malloc.
 408
 409 2018-02-28  Nathan Sidwell  <nathan@acm.org>
 410
 411         PR c++/84602
 412         * name-lookup.h (search_anon_aggr): Add defaulted WANT_TYPE arg.
 413         * name-lookup.c (fields_linear_search): Look in an anon-aggr
 414         regardless of want_type.
 415         (search_anon_aggr): Just use get_class_binding_direct.
 416
 417 2018-02-28  Jakub Jelinek  <jakub@redhat.com>
 418
 419         * decl.c (cp_finish_decomp): Don't adjust eltscnt when calling
 420         inform_n.
 421
 422 2018-02-27  Martin Sebor  <msebor@redhat.com>
 423
 424         * pt.c: Avoid including <string> directly.
 425
 426 2018-02-27  Martin Sebor  <msebor@redhat.com>
 427
 428         PR c++/83871
 429         PR c++/83503
 430         * cp-tree.h (warn_spec_missing_attributes): New function.
 431         ((check_explicit_specialization): Add an argument.  Call the above
 432         function.
 433         * decl.c (duplicate_decls): Avoid applying primary function template's
 434         attributes to its explicit specializations.
 435         cp/pt.c (warn_spec_missing_attributes): Define.
 436
 437 2018-02-27  Håkon Sandsmark  <hsandsmark@gmail.com>
 438
 439         PR c++/71546 - lambda init-capture with qualified-id.
 440         * parser.c (cp_parser_lambda_introducer): Clear scope after
 441         each lambda capture.
 442
 443 2018-02-27  Nathan Sidwell  <nathan@acm.org>
 444
 445         PR c++/84426
 446         * name-lookup.h (get_member_slot): Rename ...
 447         (find_member_slot): ... here.
 448         (add_member_slot): New.
 449         * name-lookup.c (member_vec_linear_search): No need to check for
 450         NULL slot.
 451         (get_member_slot): Rename ...
 452         (find_member_slot): ... here.  Don't add slot for incomplete class.
 453         (add_member_slot): New.
 454         * class.c (add_method): Adjust get_member_slot rename.  Bail out
 455         if push_class_level_binding fails.  Create slot and grok
 456         properties once we're committed to insertion.
 457
 458 2018-02-27  Jason Merrill  <jason@redhat.com>
 459
 460         PR c++/84489 - dependent default template argument
 461         * pt.c (type_unification_real): Handle early substitution failure.
 462
 463 2018-02-26  Jason Merrill  <jason@redhat.com>
 464
 465         PR c++/84560 - ICE capturing multi-dimensional VLA.
 466         * tree.c (array_of_runtime_bound_p): False if the element is
 467         variably-modified.
 468
 469         PR c++/84441 - ICE with base initialized from ?:
 470         * call.c (unsafe_copy_elision_p): Handle COND_EXPR.
 471
 472         PR c++/84520 - ICE with generic lambda in NSDMI.
 473         * lambda.c (lambda_expr_this_capture): Don't look for fake NSDMI
 474         'this' in a generic lambda instantiation.
 475
 476         PR c++/84559 - ICE with constexpr VLA.
 477         * constexpr.c (ensure_literal_type_for_constexpr_object): Check
 478         for constexpr variable with VLA type.
 479
 480 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
 481
 482         PR c++/84558
 483         * constexpr.c (cxx_eval_vec_init_1): For reuse, treat NULL eltinit like
 484         a valid constant initializer.  Formatting fixes.
 485
 486 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 487
 488         PR c++/84540
 489         * pt.c (tsubst_attributes): Handle correctly tsubst_attribute
 490         returning NULL_TREE.
 491         (apply_late_template_attributes): Likewise.
 492
 493 2018-02-26  Jakub Jelinek  <jakub@redhat.com>
 494
 495         PR c++/84557
 496         * parser.c (cp_parser_omp_var_list_no_open): Only call
 497         cp_parser_lookup_name_simple on names satisfying identifier_p.
 498         (cp_parser_oacc_routine): Likewise.
 499
 500 2018-02-26  Jason Merrill  <jason@redhat.com>
 501
 502         PR c++/84551 - ICE with concepts and -g.
 503         * parser.c (add_debug_begin_stmt): Do nothing in a concept.
 504
 505 2018-02-26  Marek Polacek  <polacek@redhat.com>
 506
 507         PR c++/84325
 508         * tree.c (replace_placeholders_r): Only check TREE_CONSTANT on
 509         non-types.
 510
 511 2018-02-26  Jason Merrill  <jason@redhat.com>
 512
 513         PR c++/84447 - ICE with deleted inherited ctor with default arg.
 514         * call.c (build_over_call): Handle deleted functions in one place.
 515
 516 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 517
 518         PR c++/84533
 519         * decl.c (redeclaration_error_message): Don't try to use
 520         DECL_DECLARED_CONSTEXPR_P on CONST_DECLs.
 521
 522 2018-02-26  Paolo Carlini  <paolo.carlini@oracle.com>
 523
 524         * lambda.c (build_capture_proxy): Define static.
 525         * cp-tree.h (build_capture_proxy): Remove.
 526
 527 2018-02-26  Marek Polacek  <polacek@redhat.com>
 528
 529         PR c++/84537
 530         * name-lookup.c (suggest_alternative_in_explicit_scope): Return false
 531         if name is error node.
 532
 533 2018-02-25  Jason Merrill  <jason@redhat.com>
 534
 535         PR c++/84015 - ICE with class deduction and auto template parm.
 536         * pt.c (rewrite_template_parm): Use tf_partial in first tsubst.
 537
 538 2018-02-24  Marek Polacek  <polacek@redhat.com>
 539
 540         PR c++/83692
 541         * constexpr.c (maybe_constant_init_1): New function.
 542         (maybe_constant_init): Make it a wrapper around maybe_constant_init_1.
 543         (cxx_constant_init): New function.
 544         * cp-tree.h (cxx_constant_init): Declare.
 545         * typeck2.c (store_init_value): Call cxx_constant_init instead of
 546         cxx_constant_value.  Move the maybe_constant_init call under an 'else'.
 547
 548 2018-02-22  Jason Merrill  <jason@redhat.com>
 549
 550         PR c++/70468 - ICE with constructor delegation via typedef.
 551         * pt.c (tsubst_initializer_list): Check for other mem-initializers
 552         with constructor delegation.
 553
 554 2018-02-22  Jason Merrill  <jason@redhat.com>
 555
 556         PR c++/84424 - ICE with constexpr and __builtin_shuffle.
 557         * constexpr.c (reduced_constant_expression_p): Handle CONSTRUCTOR of
 558         VECTOR_TYPE.
 559
 560 2018-02-22  Marek Polacek  <polacek@redhat.com>
 561
 562         PR c++/84493
 563         * parser.c (cp_parser_braced_list): Use require_open instead of
 564         consume_open.
 565
 566 2018-02-21  Jason Merrill  <jason@redhat.com>
 567
 568         PR c++/84454 - ICE with pack expansion in signature.
 569         * error.c (find_typenames_r): Also stop on EXPR_PACK_EXPANSION.
 570
 571 2018-02-20  Siddhesh Poyarekar  <siddhesh@sourceware.org>
 572
 573         * cp-objcp-common.c (cxx_block_may_fallthru): Add case for
 574         IF_STMT.
 575
 576 2018-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
 577
 578         PR c++/84446
 579         * parser.c (cp_parser_init_declarator): Don't call start_lambda_scope
 580         on error_mark_node.
 581
 582 2018-02-20  Jakub Jelinek  <jakub@redhat.com>
 583
 584         PR c++/84445
 585         * class.c (fixed_type_or_null) <case CALL_EXPR>: Only test
 586         TREE_HAS_CONSTRUCTOR if instance is not an internal function call.
 587
 588         PR c++/84449
 589         * tree.c (bot_manip): If build_cplus_new or break_out_target_exprs
 590         returns error_mark_node, return it immediately.
 591         (break_out_target_exprs): If cp_walk_tree with bot_manip returns
 592         error_mark_node, return error_mark_node.
 593
 594         PR c++/84455
 595         * pt.c (tsubst_lambda_expr): If not nested, increment temporarily
 596         function_depth to avoid GC during finish_lambda_function.
 597
 598 2018-02-19  Jason Merrill  <jason@redhat.com>
 599
 600         PR c++/84429 - ICE capturing VLA.
 601         * lambda.c (build_capture_proxy): Handle reference refs.
 602
 603 2018-02-19  Jakub Jelinek  <jakub@redhat.com>
 604
 605         PR c++/84448
 606         * parser.c (cp_parser_binary_expression): For no_toplevel_fold_p, if
 607         either operand is error_mark_node, set current.lhs to that instead of
 608         creating a binary op with error_mark_node operands.
 609
 610         PR c++/84430
 611         * constexpr.c (potential_constant_expression_1): Handle OMP_SIMD.
 612
 613 2018-02-19  Paolo Carlini  <paolo.carlini@oracle.com>
 614
 615         PR c++/84348
 616         * decl.c (grokdeclarator): Early return error_mark_node upon
 617         ill-formed friend declaration.
 618
 619 2018-02-16  Marek Polacek  <polacek@redhat.com>
 620             Jakub Jelinek  <jakub@redhat.com>
 621
 622         PR c++/84192
 623         * constexpr.c (cxx_eval_constant_expression) <case RETURN_EXPR>: Don't
 624         set *jump_target to anything if jump_target is NULL.
 625
 626 2018-02-16  Jason Merrill  <jason@redhat.com>
 627
 628         PR c++/84151 - unnecessary volatile load with static member.
 629         * call.c (build_new_method_call_1): Avoid loading from a volatile
 630         lvalue used as the object argument for a static member function.
 631
 632         PR c++/81853 - using-directive and constexpr.
 633         * constexpr.c (cxx_eval_constant_expression): Handle USING_STMT.
 634
 635         PR c++/84420 - ICE with structured binding in lambda.
 636         * lambda.c (is_capture_proxy): Check DECL_DECOMPOSITION_P.
 637
 638         PR c++/83835 - C++17 error with constructor ctors.
 639         * call.c (build_special_member_call): Set TARGET_EXPR_DIRECT_INIT_P.
 640
 641         PR c++/82664 - ICE with reference to function template parm.
 642         * pt.c (convert_nontype_argument_function): Avoid obfuscationg
 643         NOP_EXPRs.
 644
 645         PR c++/82764 - C++17 ICE with empty base
 646         * class.c (build_base_field_1): Set DECL_SIZE to zero for empty base.
 647
 648 2018-02-16  Jason Merrill  <jason@redhat.com>
 649
 650         PR c++/84421 - type-dependent if constexpr
 651         * semantics.c (finish_if_stmt_cond): Check type_dependent_expression_p.
 652
 653 2018-02-16  Nathan Sidwell  <nathan@acm.org>
 654
 655         Deprecate -ffriend-injection.
 656         * decl.c (cxx_init_decl_processing): Emit warning on option.
 657         * name-lookup.c (do_pushdecl): Emit warning if we push a visible
 658         friend.
 659
 660 2018-02-16  Paolo Carlini  <paolo.carlini@oracle.com>
 661
 662         PR c++/82468
 663         * decl.c (check_special_function_return_type): Reject template
 664         template parameter in deduction guide.
 665
 666 2018-02-16  Nathan Sidwell  <nathan@acm.org>
 667
 668         PR c++/84375
 669         * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
 670
 671 2018-02-15  Jason Merrill  <jason@redhat.com>
 672
 673         PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
 674         * call.c (convert_like_real): Don't use the copy-list-initialization
 675         shortcut for ck_base.
 676
 677         PR c++/84045 - ICE with typedef and noexcept.
 678         * except.c (build_noexcept_spec): Use strip_typedefs_expr.
 679
 680         PR c++/84376 - ICE with omitted template arguments.
 681         * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
 682
 683         PR c++/84368 - wrong error with local variable in variadic lambda.
 684         * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
 685         local_specializations.
 686
 687 2018-02-15  Paolo Carlini  <paolo.carlini@oracle.com>
 688
 689         PR c++/84330
 690         * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
 691         as first argument.
 692
 693 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
 694
 695         PR c++/84350
 696         * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
 697         init, early return.
 698
 699 2018-02-14  Nathan Sidwell  <nathan@acm.org>
 700
 701         * decl2.c (mark_vtable_entries): Set input_location to decl's.
 702         (c_parse_final_cleanups): Restore input_location after emitting
 703         vtables.
 704
 705 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
 706
 707         * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
 708         (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
 709         auto_deduction_context, tree, int): Add defaults.
 710         * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
 711         (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
 712         tsubst_flags_t argument.
 713         * init.c (build_new): Likewise.
 714
 715 2018-02-13  Jakub Jelinek  <jakub@redhat.com>
 716
 717         PR c++/84364
 718         * typeck.c (check_return_expr): Don't emit -Weffc++ warning
 719         about return other than *this in assignment operators if
 720         retval is type dependent expression.
 721
 722 2018-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 723
 724         PR c++/84333
 725         * call.c (build_conditional_expr_1): Use cp_save_expr instead of
 726         save_expr for the G++ extension.
 727
 728 2018-02-13  Jason Merrill  <jason@redhat.com>
 729
 730         PR c++/84080 - ICE with return type deduction and specialization.
 731         * pt.c (determine_specialization): Check uses_template_parms.
 732
 733         Fix more variadic capture issues.
 734         * pt.c (find_parameter_packs_r): Also look at explicit captures.
 735         (check_for_bare_parameter_packs): Check current_class_type for
 736         lambda context.
 737         (extract_locals_r): Handle seeing a full instantiation of a pack.
 738         (tsubst_pack_expansion): Likewise.  Force lambda capture.
 739         * parser.c (cp_parser_lambda_introducer): Don't
 740         check_for_bare_parameter_packs.
 741
 742         PR c++/84338 - wrong variadic sizeof.
 743         * pt.c (argument_pack_select_arg): Like the macro, but look through
 744         a pack expansion.
 745         (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
 746         (extract_fnparm_pack): Do make_pack_expansion.
 747         (extract_locals_r): Do strip a pack expansion.
 748         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
 749
 750 2018-02-12  Jakub Jelinek  <jakub@redhat.com>
 751
 752         PR c++/84341
 753         * parser.c (cp_parser_binary_expression): Use build_min instead of
 754         build2_loc to build the no_toplevel_fold_p toplevel binary expression.
 755
 756 2018-02-12  Nathan Sidwell  <nathan@acm.org>
 757
 758         PR c++/84263
 759         * parser.c (cp_parser_decltype): Push and pop
 760         deferring_access_checks.  Reorganize to avoid goto.
 761
 762 2018-02-12  Richard Biener  <rguenther@suse.de>
 763
 764         PR c++/84281
 765         * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
 766         uniform constructors and delay allocating them fully.
 767
 768 2018-02-09  Jason Merrill  <jason@redhat.com>
 769
 770         PR c++/84036 - ICE with variadic capture.
 771         Handle variadic capture proxies more like non-variadic.
 772         * lambda.c (build_capture_proxy): Remove workaround.
 773         * pt.c (find_parameter_packs_r): The proxy is a pack.
 774         (instantiate_class_template_1): Remove dead lambda code.
 775         (extract_fnparm_pack): Don't make_pack_expansion.
 776         (extract_locals_r): Don't strip a pack expansion.
 777         (tsubst_pack_expansion): Handle proxy packs.  Use
 778         PACK_EXPANSION_EXTRA_ARGS less.
 779         (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
 780         (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
 781         [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
 782         (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
 783         (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
 784
 785 2018-02-10  Jakub Jelinek  <jakub@redhat.com>
 786
 787         PR sanitizer/83987
 788         * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
 789
 790 2018-02-09  Jason Merrill  <jason@redhat.com>
 791
 792         PR c++/81917 - ICE with void_t and partial specialization.
 793         * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
 794         calling most_specialized_partial_spec.
 795
 796 2018-02-09  Nathan Sidwell  <nathan@acm.org>
 797
 798         PR c/84293
 799         * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
 800         Pass expr location to strict_aliasing_warning.
 801
 802 2018-02-09  Jason Merrill  <jason@redhat.com>
 803
 804         PR c++/84296 - ICE with qualified-id in template.
 805         PR c++/83714
 806         * pt.c (unknown_base_ref_p): New.
 807         (instantiation_dependent_scope_ref_p): Use it instead of
 808         any_dependent_bases_p.
 809
 810 2018-02-09  Marek Polacek  <polacek@redhat.com>
 811             Jakub Jelinek  <jakub@redhat.com>
 812
 813         PR c++/83659
 814         * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
 815         fold_indirect_ref_1, including poly_*int64.  Verify first that
 816         tree_fits_poly_int64_p (op01).  Formatting fixes.
 817
 818 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 819
 820         * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
 821         * lambda.c (build_capture_proxy): Likewise.
 822         * search.c (field_access_p): Likewise.
 823         * semantics.c (omp_clause_decl, omp_privatize_field,
 824         finish_omp_clauses): Likewise.
 825
 826 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 827
 828         PR c++/83806
 829         * typeck.c (decay_conversion): Use mark_rvalue_use for the special
 830         case of nullptr too.
 831
 832 2018-02-08  Nathan Sidwell  <nathan@acm.org>
 833
 834         * class.c (finish_struct): Fix std:initializer_list diagnostic
 835         formatting.
 836
 837 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 838
 839         PR c++/83204
 840         * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
 841
 842 2018-02-07  Jakub Jelinek  <jakub@redhat.com>
 843
 844         PR c++/84082
 845         * parser.c (cp_parser_dot_deref_incomplete): New function.
 846         (cp_parser_postfix_dot_deref_expression): Use it.
 847
 848 2018-02-07  David Malcolm  <dmalcolm@redhat.com>
 849
 850         PR c++/81610
 851         PR c++/80567
 852         * name-lookup.c (suggest_rid_p): New function.
 853         (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
 854         suggest_rid_p.
 855
 856 2018-02-07  Jason Merrill  <jason@redhat.com>
 857
 858         PR c++/84182 - ICE with captured lambda
 859         PR c++/84181
 860         * pt.c (extract_locals_r, extract_local_specs): New.
 861         (tsubst_pack_expansion): Use them.
 862
 863 2018-02-07  Martin Liska  <mliska@suse.cz>
 864
 865         PR c++/84059.
 866         * class.c (add_method): Append argument value.
 867         * cp-tree.h (maybe_version_functions): Add new argument.
 868         * decl.c (decls_match): Call it if a declaration does not
 869         have DECL_FUNCTION_VERSIONED.
 870         (maybe_version_functions): record argument is added.
 871
 872 2018-02-05  Marek Polacek  <polacek@redhat.com>
 873
 874         * class.c: Remove unused global variables.
 875         (build_primary_vtable): Don't gather statistics.
 876         (print_class_statistics): Remove.
 877         * cp-tree.h (print_class_statistics): Remove.
 878         * tree.c (cxx_print_statistics): Don't call print_class_statistics.
 879
 880 2018-02-02  Paolo Carlini  <paolo.carlini@oracle.com>
 881
 882         * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
 883         * constexpr.c (cx_check_missing_mem_inits): Likewise.
 884         * decl.c (next_initializable_field, find_decomp_class_base,
 885         cp_finish_decomp): Likewise.
 886         * typeck2.c (process_init_constructor_record): Likewise.
 887
 888 2018-02-02  Jason Merrill  <jason@redhat.com>
 889
 890         PR c++/84181 - ICE with lambda parm in template argument.
 891         * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
 892
 893 2018-02-01  Jason Merrill  <jason@redhat.com>
 894
 895         PR c++/84160 - ICE with nested variadic capture.
 896         * lambda.c (is_capture_proxy_with_ref): New.
 897         (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
 898         COMPONENT_REF.
 899         * expr.c (mark_use): Use is_capture_proxy_with_ref.
 900         * constexpr.c (potential_constant_expression_1): Likewise.
 901         * semantics.c (process_outer_var_ref): Likewise.
 902
 903 2018-02-01  Marek Polacek  <polacek@redhat.com>
 904
 905         PR c++/84125
 906         * typeck.c (build_address): Relax the assert when
 907         processing_template_decl.
 908
 909 2018-02-01  Jason Merrill  <jason@redhat.com>
 910
 911         PR c++/84126 - ICE with variadic generic lambda
 912         PR c++/84036
 913         PR c++/82249
 914         * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
 915         PACK_EXPANSION_EXTRA_ARGS.
 916
 917 2018-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
 918
 919         PR c++/83796
 920         * call.c (convert_like_real): If w're initializing from {} explicitly
 921         call abstract_virtuals_error_sfinae.
 922
 923 2018-01-31  Jason Merrill  <jason@redhat.com>
 924             Jakub Jelinek  <jakub@redhat.com>
 925
 926         PR c++/83993
 927         * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
 928         around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
 929         on ADDR_EXPR.
 930
 931 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
 932
 933         PR c++/83993
 934         * constexpr.c (diag_array_subscript): Emit different diagnostics
 935         if TYPE_DOMAIN (arraytype) is NULL.
 936         (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
 937         with NULL TYPE_DOMAIN use size_zero_node as nelts.
 938
 939 2018-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
 940
 941         PR c++/84092
 942         * semantics.c (finish_qualified_id_expr): When handling an
 943         UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
 944
 945 2018-01-31  Marek Polacek  <polacek@redhat.com>
 946
 947         PR c++/84138
 948         * cp-gimplify.c (cp_fold): Check if X is an error node before
 949         calling useless_type_conversion_p.
 950
 951 2018-01-30  Jason Merrill  <jason@redhat.com>
 952
 953         PR c++/84091 - ICE with local class in lambda in template.
 954         * decl2.c (determine_visibility): Look for outer containing template
 955         instantiation.
 956
 957         PR c++/84098 - ICE with lambda in template NSDMI.
 958         * pt.c (instantiate_class_template_1): Ignore more lambdas.
 959
 960 2018-01-29  Jason Merrill  <jason@redhat.com>
 961
 962         PR c++/68810 - wrong location for reinterpret_cast error.
 963         * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
 964         !dofold.
 965
 966 2018-01-29  Marek Polacek  <polacek@redhat.com>
 967
 968         PR c++/83996
 969         * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
 970         => fooarray[1] in offset_int.
 971
 972 2018-01-29  Jason Merrill  <jason@redhat.com>
 973
 974         PR c++/83942 - wrong unused warning with static_cast.
 975         * cvt.c (ocp_convert): Call mark_rvalue_use.
 976
 977 2018-01-26  Jason Merrill  <jason@redhat.com>
 978
 979         PR c++/83956 - wrong dtor error with anonymous union
 980         * method.c (walk_field_subobs): Variant members only affect
 981         deletedness.
 982         (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
 983
 984         PR c++/84036 - ICE with variadic capture.
 985         PR c++/82249
 986         * pt.c (tsubst_pack_expansion): When optimizing a simple
 987         substitution, pull a single pack expansion out of its pack.
 988
 989         PR c++/82514 - ICE with local class in generic lambda.
 990         * pt.c (regenerated_lambda_fn_p): Remove.
 991         (enclosing_instantiation_of): Don't use it.
 992         (tsubst_function_decl): Call enclosing_instantiation_of.
 993
 994         * pt.c (lookup_template_class_1): Add sanity check.
 995         * name-lookup.c (do_pushtag): Don't add closures to local_classes.
 996
 997 2018-01-25  Jakub Jelinek  <jakub@redhat.com>
 998
 999         PR c++/84031
1000         * decl.c (find_decomp_class_base): Ignore unnamed bitfields.  Ignore
1001         recursive calls that return ret.
1002         (cp_finish_decomp): Ignore unnamed bitfields.
1003
1004 2018-01-23  Jason Merrill  <jason@redhat.com>
1005
1006         PR c++/82249 - wrong mismatched pack length error.
1007         * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
1008         unsubstituted function parameter pack.
1009
1010 2018-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
1011
1012         PR c++/83921
1013         * decl.c (check_for_uninitialized_const_var): Not static; add
1014         bool and tsubst_flags_t parameters; adjust to be used both in
1015         constexpr context and not.
1016         * constexpr.c (potential_constant_expression_1): Use the above.
1017         * cp-tree.h (check_for_uninitialized_const_var): Declare.
1018
1019 2018-01-23  Jason Merrill  <jason@redhat.com>
1020
1021         PR c++/83947 - ICE with auto declarations.
1022         * pt.c (do_auto_deduction): Don't deduce from an auto decl.
1023         * decl.c (undeduced_auto_decl): Limit to vars and fns.
1024
1025 2018-01-23  David Malcolm  <dmalcolm@redhat.com>
1026
1027         PR c++/83974
1028         * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
1029         for pointer to member function types.
1030
1031 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1032
1033         PR sanitizer/83987
1034         * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
1035         DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
1036
1037 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1038
1039         PR c++/83988
1040         * pt.c (tsubst_baselink): Remove optype assert.
1041         * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
1042
1043 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
1044
1045         PR c++/83958
1046         * decl.c (cp_finish_decomp): Diagnose if reference structure binding
1047         refers to incomplete type.
1048
1049 2018-01-23  Nathan Sidwell  <nathan@acm.org>
1050
1051         Deprecate ARM-era for scope handling
1052         * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
1053         (cxx_init_decl_processing): Deprecate flag_new_for_scope being
1054         cleared.
1055         * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
1056         cleanup handling.
1057         * semantics.c (begin_for_scope): Flag_new_for_scope is
1058         boolean-like.
1059         (finish_for_stmt, begin_range_for_stmt): Likewise.
1060
1061 2018-01-22  Jason Merrill  <jason@redhat.com>
1062
1063         PR c++/83720
1064         * decl2.c (determine_visibility): Fix template_decl handling
1065         instead of blocking it.
1066
1067         PR c++/83720 - ICE with lambda and LTO.
1068         * decl2.c (determine_visibility): Clear template_decl for
1069         function-scope decls.  Propagate anonymous linkage from containing
1070         function.
1071
1072 2018-01-22  Marek Polacek  <polacek@redhat.com>
1073
1074         PR c++/81933
1075         * typeck2.c (split_nonconstant_init_1): Return false if we didn't
1076         split out anything.
1077
1078 2018-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
1079
1080         PR c++/83895
1081         * decl.c (grokdeclarator): Don't diagnose extra parens
1082         on typedefs.
1083
1084 2018-01-19  Jakub Jelinek  <jakub@redhat.com>
1085
1086         PR c++/81167
1087         * call.c (joust): Use TREE_TYPE (source) if source is
1088         a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
1089
1090         PR c++/83919
1091         * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
1092         for direct enum init.
1093         * decl.c (reshape_init): Likewise.
1094
1095 2018-01-19  Marek Polacek  <polacek@redhat.com>
1096
1097         * constexpr.c (fold_simple): Simplify.
1098
1099 2018-01-18  Jason Merrill  <jason@redhat.com>
1100
1101         PR c++/83714
1102         * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
1103         * pt.c (instantiation_dependent_scope_ref_p): True if
1104         any_dependent_bases_p.
1105
1106 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1107
1108         * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
1109         vs DECL_NONTRIVIALLY_INITIALIZED_P).
1110
1111 2018-01-18  Jason Merrill  <jason@redhat.com>
1112
1113         PR c++/82461 - constexpr list-initialized member
1114         * constexpr.c (potential_constant_expression_1): Check
1115         TARGET_EXPR_DIRECT_INIT_P.
1116
1117 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
1118
1119         PR c++/81013
1120         * decl.c (xref_basetypes): Early return upon error about derived
1121         union.
1122
1123 2018-01-18  Nathan Sidwell  <nathan@acm.org>
1124
1125         PR c++/83160
1126         * cp-tree.h (mark_use): Declare.
1127         * expr.c (mark_use): Make extern.
1128         * call.c (direct_reference_binding): Set inner conv's
1129         rvaluedness_matches_p, if it is an identity.
1130         (convert_like_real): Mark lvalue or rvalue use for identity as
1131         rvaledness_matches_p demands.
1132
1133 2018-01-18  Jakub Jelinek  <jakub@redhat.com>
1134
1135         PR c++/83824
1136         * parser.c (attr_chainon): New function.
1137         (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
1138         cp_parser_namespace_definition, cp_parser_init_declarator,
1139         cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
1140         cp_parser_gnu_attributes_opt): Use it.
1141         (cp_parser_member_declaration, cp_parser_objc_class_ivars,
1142         cp_parser_objc_struct_declaration): Likewise.  Don't reset
1143         prefix_attributes if attributes is error_mark_node.
1144
1145 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1146
1147         PR c++/78344
1148         * decl.c (grokdeclarator): Do not append the error_mark_node
1149         due to an erroneous optional attribute-specifier-seq.
1150
1151 2018-01-17  Jakub Jelinek  <jakub@redhat.com>
1152
1153         PR c++/83897
1154         * cp-gimplify.c (cp_maybe_instrument_return): Handle
1155         CLEANUP_POINT_EXPR.
1156
1157 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1158
1159         PR c++/81054
1160         * constexpr.c (ensure_literal_type_for_constexpr_object): Return
1161         error_mark_node when we give an error.
1162         * decl.c (cp_finish_decl): Use the latter.
1163
1164 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1165
1166         PR c++/83287
1167         * init.c (build_raw_new_expr): Scan list for lookups to keep.
1168
1169 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1170
1171         PR c++/83814
1172         * expr.c (fold_for_warn): Move from c-common.c, reducing to just
1173         the C++ part.  If processing a template, call
1174         fold_non_dependent_expr rather than fully folding.
1175
1176 2018-01-17  Jason Merrill  <jason@redhat.com>
1177
1178         PR c++/81067 - redundant NULL warning.
1179         * call.c (convert_like_real): Restore null_node handling.
1180
1181 2018-01-17  Jason Merrill  <jason@redhat.com>
1182
1183         PR c++/81843 - ICE with variadic member template.
1184         PR c++/72801
1185         * pt.c (unify_pack_expansion): Don't try to deduce enclosing
1186         template args.
1187
1188 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
1189
1190         PR c++/83799
1191         * pt.c (type_dependent_expression_p): Strip any location wrapper
1192         before testing tree codes.
1193         (selftest::test_type_dependent_expression_p): New function.
1194         (selftest::cp_pt_c_tests): Call it.
1195
1196 2018-01-17  Nathan Sidwell  <nathan@acm.org>
1197
1198         PR c++/83739
1199         * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
1200         this not a final instantiation.
1201
1202 2018-01-16  Jason Merrill  <jason@redhat.com>
1203
1204         PR c++/83714 - ICE checking return in template.
1205         * typeck.c (check_return_expr): Call build_non_dependent_expr.
1206
1207 2018-01-16  Jakub Jelinek  <jakub@redhat.com>
1208
1209         PR c++/83817
1210         * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
1211         is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
1212         instead of CALL_FROM_THUNK_P.
1213
1214         PR c++/83825
1215         * name-lookup.c (member_vec_dedup): Return early if len is 0.
1216         (resort_type_member_vec, set_class_bindings,
1217         insert_late_enum_def_bindings): Use vec qsort method instead of
1218         calling qsort directly.
1219
1220 2018-01-15  Martin Sebor  <msebor@redhat.com>
1221
1222         PR c++/83588
1223         * class.c (find_flexarrays): Make a record of multiple flexible array
1224         members.
1225
1226 2018-01-12  Jason Merrill  <jason@redhat.com>
1227
1228         PR c++/83186 - ICE with static_cast of list-initialized temporary.
1229         * typeck.c (build_static_cast): Use build_non_dependent_expr.
1230
1231 2018-01-12  Nathan Sidwell  <nathan@acm.org>
1232
1233         * cp-tree.h (mark_rvalue_use): Add parm name.
1234         * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
1235         mark_rvalue_use.
1236         * call.c (convert_like_real): Fix formatting.
1237
1238 2018-01-11  Jason Merrill  <jason@redhat.com>
1239
1240         PR c++/82728 - wrong -Wunused-but-set-variable
1241         PR c++/82799
1242         PR c++/83690
1243         * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
1244         * decl.c (case_conversion): Likewise.
1245         * semantics.c (finish_static_assert): Call
1246         perform_implicit_conversion_flags.
1247
1248 2018-01-11  Nathan Sidwell  <nathan@acm.org>
1249
1250         * method.c (enum mangling_flags): Delete long-dead enum.
1251
1252 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
1253
1254         * parser.c (cp_parser_std_attribute_spec): When
1255         token_pair::require_open / require_close return false simply
1256         return error_mark_node, avoid duplicate cp_parser_error about
1257         expected '(' / ')', respectively.
1258
1259 2018-01-10  David Malcolm  <dmalcolm@redhat.com>
1260
1261         PR c++/43486
1262         * call.c (null_ptr_cst_p): Strip location wrappers when
1263         converting from '0' to a pointer type in C++11 onwards.
1264         (conversion_null_warnings): Replace comparison with null_node with
1265         call to null_node_p.
1266         (build_over_call): Likewise.
1267         * cp-gimplify.c (cp_fold): Remove the early bailout when
1268         processing_template_decl.
1269         * cp-lang.c (selftest::run_cp_tests): Call
1270         selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
1271         * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
1272         (selftest::run_cp_tests): Move decl to bottom of file.
1273         (null_node_p): New inline function.
1274         (selftest::cp_pt_c_tests): New decl.
1275         (selftest::cp_tree_c_tests): New decl.
1276         * cvt.c (build_expr_type_conversion): Replace comparison with
1277         null_node with call to null_node_p.
1278         * error.c (args_to_string): Likewise.
1279         * except.c (build_throw): Likewise.
1280         * mangle.c (write_expression): Skip location wrapper nodes.
1281         * parser.c (literal_integer_zerop): New function.
1282         (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
1283         the result for RID_TYPEID. Pass true for new "wrap_locations_p"
1284         param of cp_parser_parenthesized_expression_list.  When calling
1285         warn_for_memset, replace integer_zerop calls with
1286         literal_integer_zerop, eliminating the double logical negation
1287         cast to bool.  Eliminate the special-casing for CONST_DECL in
1288         favor of the fold_for_warn within warn_for_memset.
1289         (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
1290         param, defaulting to false.  Convert "expr" to a cp_expr, and call
1291         maybe_add_location_wrapper on it when wrap_locations_p is true.
1292         (cp_parser_unary_expression): Call maybe_add_location_wrapper on
1293         the result for RID_ALIGNOF and RID_SIZEOF.
1294         (cp_parser_builtin_offsetof): Likewise.
1295         * pt.c: Include "selftest.h".
1296         (tsubst_copy): Handle location wrappers.
1297         (tsubst_copy_and_build): Likewise.
1298         (build_non_dependent_expr): Likewise.
1299         (selftest::test_build_non_dependent_expr): New function.
1300         (selftest::cp_pt_c_tests): New function.
1301         * tree.c: Include "selftest.h".
1302         (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
1303         (selftest::test_lvalue_kind): New function.
1304         (selftest::cp_tree_c_tests): New function.
1305         * typeck.c (string_conv_p): Strip any location wrapper from "exp".
1306         (cp_build_binary_op): Replace comparison with null_node with call
1307         to null_node_p.
1308         (build_address): Use location of operand when building address
1309         expression.
1310
1311 2018-01-10  Marek Polacek  <polacek@redhat.com>
1312
1313         PR c++/82541
1314         * call.c (build_conditional_expr_1): Check complain before warning.
1315         * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
1316         -Wduplicated-branches.
1317
1318 2018-01-10  Jakub Jelinek  <jakub@redhat.com>
1319
1320         PR c++/81327
1321         * call.c (maybe_warn_class_memaccess): Add forward declaration.
1322         Change last argument from tree * to const vec<tree, va_gc> *, adjust
1323         args uses and check number of operands too.  Don't strip away any
1324         nops.  Use maybe_constant_value when looking for INTEGER_CST args.
1325         Deal with src argument not having pointer type.  Check
1326         tree_fits_uhwi_p before calling tree_to_uhwi.  Remove useless
1327         test.
1328         (build_over_call): Call maybe_warn_class_memaccess here on the
1329         original arguments.
1330         (build_cxx_call): Rather than here on converted arguments.
1331
1332 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
1333
1334         PR c++/81055
1335         * init.c (build_vec_init): Avoid building an INIT_EXPR with
1336         error_mark_node as second argument.
1337
1338 2018-01-09  Jakub Jelinek  <jakub@redhat.com>
1339
1340         PR c++/83734
1341         * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
1342         in STATEMENT_LIST.  Remove unneeded assert.
1343
1344 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
1345             Alan Hayward  <alan.hayward@arm.com>
1346             David Sherwood  <david.sherwood@arm.com>
1347
1348         * constexpr.c (cxx_eval_array_reference): Handle polynomial
1349         VECTOR_CST_NELTS.
1350         (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
1351         * call.c (build_conditional_expr_1): Likewise.
1352         * decl.c (cp_finish_decomp): Likewise.
1353         * mangle.c (write_type): Likewise.
1354         * typeck.c (structural_comptypes): Likewise.
1355         (cp_build_binary_op): Likewise.
1356         * typeck2.c (process_init_constructor_array): Likewise.
1357
1358 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
1359
1360         PR c++/83555
1361         * typeck.c (build_static_cast_1): For static casts to reference types,
1362         call build_base_path with flag_delete_null_pointer_checks as nonnull
1363         instead of always false.  When -fsanitize=null, call
1364         ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
1365         * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
1366         call if the first argument is INTEGER_CST with REFERENCE_TYPE.
1367
1368 2018-01-03  Nathan Sidwell  <nathan@acm.org>
1369
1370         PR c++/83667
1371         * method.c (make_alias_for): Copy DECL_CONTEXT.
1372
1373 2018-01-03  Marek Polacek  <polacek@redhat.com>
1374
1375         PR c++/83592
1376         * decl.c (grokdeclarator): Don't warn about MVP in typename context.
1377
1378 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
1379
1380         PR preprocessor/83602
1381         * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
1382         for builtin macros.
1383
1384         PR c++/83634
1385         * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
1386         error_mark_node, return error_mark_node.
1387
1388         Update copyright years.
1389
1390 2018-01-02  Jakub Jelinek  <jakub@redhat.com>
1391
1392         PR c++/83556
1393         * tree.c (replace_placeholders_r): Pass NULL as last argument to
1394         cp_walk_tree instead of d->pset.  If non-TREE_CONSTANT and
1395         non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
1396         to false and return.
1397         (replace_placeholders): Pass NULL instead of &pset as last argument
1398         to cp_walk_tree.
1399
1400 2018-01-02  Nathan Sidwell  <nathan@acm.org>
1401
1402         * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
1403         lval var.
1404 \f
1405 Copyright (C) 2018 Free Software Foundation, Inc.
1406
1407 Copying and distribution of this file, with or without modification,
1408 are permitted in any medium without royalty provided the copyright
1409 notice and this notice are preserved.