gcc/cp/ChangeLog

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