gcc/cp/ChangeLog

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