gcc/cp/ChangeLog

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