gcc/cp/ChangeLog

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