gcc/cp/ChangeLog

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