gcc/cp/ChangeLog

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