gcc/cp/ChangeLog

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