gcc/cp/ChangeLog

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