gcc/cp/ChangeLog

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