gcc/cp/ChangeLog

   1 2018-02-16  Nathan Sidwell  <nathan@acm.org>
   2
   3         PR c++/84375
   4         * name-lookup.c (do_pushdecl): Bail out on bad local friend injection.
   5
   6 2018-02-15  Jason Merrill  <jason@redhat.com>
   7
   8         PR c++/83227 - C++17 ICE with init-list derived-to-base conversion.
   9         * call.c (convert_like_real): Don't use the copy-list-initialization
  10         shortcut for ck_base.
  11
  12         PR c++/84045 - ICE with typedef and noexcept.
  13         * except.c (build_noexcept_spec): Use strip_typedefs_expr.
  14
  15         PR c++/84376 - ICE with omitted template arguments.
  16         * pt.c (dguide_name_p): Check for IDENTIFIER_NODE.
  17
  18         PR c++/84368 - wrong error with local variable in variadic lambda.
  19         * pt.c (tsubst_pack_expansion): Fix handling of non-packs in
  20         local_specializations.
  21
  22 2018-02-15  Paolo Carlini  <paolo.carlini@oracle.com>
  23
  24         PR c++/84330
  25         * constraint.cc (tsubst_constraint_info): Handle an error_mark_node
  26         as first argument.
  27
  28 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
  29
  30         PR c++/84350
  31         * pt.c (do_auto_deduction): Don't check the TREE_TYPE of a null
  32         init, early return.
  33
  34 2018-02-14  Nathan Sidwell  <nathan@acm.org>
  35
  36         * decl2.c (mark_vtable_entries): Set input_location to decl's.
  37         (c_parse_final_cleanups): Restore input_location after emitting
  38         vtables.
  39
  40 2018-02-14  Paolo Carlini  <paolo.carlini@oracle.com>
  41
  42         * cp-tree.h (do_auto_deduction (tree, tree, tree)): Remove.
  43         (do_auto_deduction (tree, tree, tree, tsubst_flags_t,
  44         auto_deduction_context, tree, int): Add defaults.
  45         * pt.c (do_auto_deduction (tree, tree, tree)): Remove definition.
  46         (tsubst_omp_for_iterator): Adjust do_auto_deduction call, forward
  47         tsubst_flags_t argument.
  48         * init.c (build_new): Likewise.
  49
  50 2018-02-13  Jakub Jelinek  <jakub@redhat.com>
  51
  52         PR c++/84364
  53         * typeck.c (check_return_expr): Don't emit -Weffc++ warning
  54         about return other than *this in assignment operators if
  55         retval is type dependent expression.
  56
  57 2018-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
  58
  59         PR c++/84333
  60         * call.c (build_conditional_expr_1): Use cp_save_expr instead of
  61         save_expr for the G++ extension.
  62
  63 2018-02-13  Jason Merrill  <jason@redhat.com>
  64
  65         PR c++/84080 - ICE with return type deduction and specialization.
  66         * pt.c (determine_specialization): Check uses_template_parms.
  67
  68         Fix more variadic capture issues.
  69         * pt.c (find_parameter_packs_r): Also look at explicit captures.
  70         (check_for_bare_parameter_packs): Check current_class_type for
  71         lambda context.
  72         (extract_locals_r): Handle seeing a full instantiation of a pack.
  73         (tsubst_pack_expansion): Likewise.  Force lambda capture.
  74         * parser.c (cp_parser_lambda_introducer): Don't
  75         check_for_bare_parameter_packs.
  76
  77         PR c++/84338 - wrong variadic sizeof.
  78         * pt.c (argument_pack_select_arg): Like the macro, but look through
  79         a pack expansion.
  80         (tsubst, tsubst_copy, dependent_template_arg_p): Use it.
  81         (extract_fnparm_pack): Do make_pack_expansion.
  82         (extract_locals_r): Do strip a pack expansion.
  83         * cp-tree.h (ARGUMENT_PACK_SELECT_ARG): Remove.
  84
  85 2018-02-12  Jakub Jelinek  <jakub@redhat.com>
  86
  87         PR c++/84341
  88         * parser.c (cp_parser_binary_expression): Use build_min instead of
  89         build2_loc to build the no_toplevel_fold_p toplevel binary expression.
  90
  91 2018-02-12  Nathan Sidwell  <nathan@acm.org>
  92
  93         PR c++/84263
  94         * parser.c (cp_parser_decltype): Push and pop
  95         deferring_access_checks.  Reorganize to avoid goto.
  96
  97 2018-02-12  Richard Biener  <rguenther@suse.de>
  98
  99         PR c++/84281
 100         * constexpr.c (cxx_eval_vec_init_1): Use a RANGE_EXPR to compact
 101         uniform constructors and delay allocating them fully.
 102
 103 2018-02-09  Jason Merrill  <jason@redhat.com>
 104
 105         PR c++/84036 - ICE with variadic capture.
 106         Handle variadic capture proxies more like non-variadic.
 107         * lambda.c (build_capture_proxy): Remove workaround.
 108         * pt.c (find_parameter_packs_r): The proxy is a pack.
 109         (instantiate_class_template_1): Remove dead lambda code.
 110         (extract_fnparm_pack): Don't make_pack_expansion.
 111         (extract_locals_r): Don't strip a pack expansion.
 112         (tsubst_pack_expansion): Handle proxy packs.  Use
 113         PACK_EXPANSION_EXTRA_ARGS less.
 114         (tsubst_decl) [FIELD_DECL]: Don't register_specialization.
 115         (tsubst_copy) [FIELD_DECL]: Don't retrieve*_specialization.
 116         [VAR_DECL]: Handle ARGUMENT_PACK_SELECT.
 117         (tsubst_expr) [DECL_EXPR]: Handle proxy packs.
 118         (tsubst_copy_and_build) [VAR_DECL]: Handle proxy packs normally.
 119
 120 2018-02-10  Jakub Jelinek  <jakub@redhat.com>
 121
 122         PR sanitizer/83987
 123         * tree.c (cp_free_lang_data): Revert 2018-01-23 change.
 124
 125 2018-02-09  Jason Merrill  <jason@redhat.com>
 126
 127         PR c++/81917 - ICE with void_t and partial specialization.
 128         * pt.c (instantiate_class_template_1): Set TYPE_BEING_DEFINED before
 129         calling most_specialized_partial_spec.
 130
 131 2018-02-09  Nathan Sidwell  <nathan@acm.org>
 132
 133         PR c/84293
 134         * typeck.c (cp_build_indirect_ref_1, build_reinterpret_cast_1):
 135         Pass expr location to strict_aliasing_warning.
 136
 137 2018-02-09  Jason Merrill  <jason@redhat.com>
 138
 139         PR c++/84296 - ICE with qualified-id in template.
 140         PR c++/83714
 141         * pt.c (unknown_base_ref_p): New.
 142         (instantiation_dependent_scope_ref_p): Use it instead of
 143         any_dependent_bases_p.
 144
 145 2018-02-09  Marek Polacek  <polacek@redhat.com>
 146             Jakub Jelinek  <jakub@redhat.com>
 147
 148         PR c++/83659
 149         * constexpr.c (cxx_fold_indirect_ref): Sync some changes from
 150         fold_indirect_ref_1, including poly_*int64.  Verify first that
 151         tree_fits_poly_int64_p (op01).  Formatting fixes.
 152
 153 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 154
 155         * constexpr.c (cxx_eval_component_reference): Use INDIRECT_REF_P.
 156         * lambda.c (build_capture_proxy): Likewise.
 157         * search.c (field_access_p): Likewise.
 158         * semantics.c (omp_clause_decl, omp_privatize_field,
 159         finish_omp_clauses): Likewise.
 160
 161 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 162
 163         PR c++/83806
 164         * typeck.c (decay_conversion): Use mark_rvalue_use for the special
 165         case of nullptr too.
 166
 167 2018-02-08  Nathan Sidwell  <nathan@acm.org>
 168
 169         * class.c (finish_struct): Fix std:initializer_list diagnostic
 170         formatting.
 171
 172 2018-02-08  Paolo Carlini  <paolo.carlini@oracle.com>
 173
 174         PR c++/83204
 175         * pt.c (tsubst_copy_and_build): Use force_paren_expr for INDIRECT_REF.
 176
 177 2018-02-07  Jakub Jelinek  <jakub@redhat.com>
 178
 179         PR c++/84082
 180         * parser.c (cp_parser_dot_deref_incomplete): New function.
 181         (cp_parser_postfix_dot_deref_expression): Use it.
 182
 183 2018-02-07  David Malcolm  <dmalcolm@redhat.com>
 184
 185         PR c++/81610
 186         PR c++/80567
 187         * name-lookup.c (suggest_rid_p): New function.
 188         (lookup_name_fuzzy): Replace enum-rid-filtering logic with call to
 189         suggest_rid_p.
 190
 191 2018-02-07  Jason Merrill  <jason@redhat.com>
 192
 193         PR c++/84182 - ICE with captured lambda
 194         PR c++/84181
 195         * pt.c (extract_locals_r, extract_local_specs): New.
 196         (tsubst_pack_expansion): Use them.
 197
 198 2018-02-07  Martin Liska  <mliska@suse.cz>
 199
 200         PR c++/84059.
 201         * class.c (add_method): Append argument value.
 202         * cp-tree.h (maybe_version_functions): Add new argument.
 203         * decl.c (decls_match): Call it if a declaration does not
 204         have DECL_FUNCTION_VERSIONED.
 205         (maybe_version_functions): record argument is added.
 206
 207 2018-02-05  Marek Polacek  <polacek@redhat.com>
 208
 209         * class.c: Remove unused global variables.
 210         (build_primary_vtable): Don't gather statistics.
 211         (print_class_statistics): Remove.
 212         * cp-tree.h (print_class_statistics): Remove.
 213         * tree.c (cxx_print_statistics): Don't call print_class_statistics.
 214
 215 2018-02-02  Paolo Carlini  <paolo.carlini@oracle.com>
 216
 217         * class.c (is_really_empty_class): Use DECL_UNNAMED_BIT_FIELD.
 218         * constexpr.c (cx_check_missing_mem_inits): Likewise.
 219         * decl.c (next_initializable_field, find_decomp_class_base,
 220         cp_finish_decomp): Likewise.
 221         * typeck2.c (process_init_constructor_record): Likewise.
 222
 223 2018-02-02  Jason Merrill  <jason@redhat.com>
 224
 225         PR c++/84181 - ICE with lambda parm in template argument.
 226         * tree.c (strip_typedefs_expr): Use cp_tree_operand_length.
 227
 228 2018-02-01  Jason Merrill  <jason@redhat.com>
 229
 230         PR c++/84160 - ICE with nested variadic capture.
 231         * lambda.c (is_capture_proxy_with_ref): New.
 232         (insert_capture_proxy): Don't set DECL_CAPTURED_VARIABLE from a
 233         COMPONENT_REF.
 234         * expr.c (mark_use): Use is_capture_proxy_with_ref.
 235         * constexpr.c (potential_constant_expression_1): Likewise.
 236         * semantics.c (process_outer_var_ref): Likewise.
 237
 238 2018-02-01  Marek Polacek  <polacek@redhat.com>
 239
 240         PR c++/84125
 241         * typeck.c (build_address): Relax the assert when
 242         processing_template_decl.
 243
 244 2018-02-01  Jason Merrill  <jason@redhat.com>
 245
 246         PR c++/84126 - ICE with variadic generic lambda
 247         PR c++/84036
 248         PR c++/82249
 249         * pt.c (tsubst_pack_expansion): Handle function parameter_packs in
 250         PACK_EXPANSION_EXTRA_ARGS.
 251
 252 2018-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
 253
 254         PR c++/83796
 255         * call.c (convert_like_real): If w're initializing from {} explicitly
 256         call abstract_virtuals_error_sfinae.
 257
 258 2018-01-31  Jason Merrill  <jason@redhat.com>
 259             Jakub Jelinek  <jakub@redhat.com>
 260
 261         PR c++/83993
 262         * constexpr.c (cxx_eval_outermost_constant_expr): Build NOP_EXPR
 263         around non-constant ADDR_EXPRs rather than clearing TREE_CONSTANT
 264         on ADDR_EXPR.
 265
 266 2018-01-31  Jakub Jelinek  <jakub@redhat.com>
 267
 268         PR c++/83993
 269         * constexpr.c (diag_array_subscript): Emit different diagnostics
 270         if TYPE_DOMAIN (arraytype) is NULL.
 271         (cxx_eval_array_reference, cxx_eval_store_expression): For arrays
 272         with NULL TYPE_DOMAIN use size_zero_node as nelts.
 273
 274 2018-01-31  Paolo Carlini  <paolo.carlini@oracle.com>
 275
 276         PR c++/84092
 277         * semantics.c (finish_qualified_id_expr): When handling an
 278         UNBOUND_CLASS_TEMPLATE only adjust qualifying_class and expr.
 279
 280 2018-01-31  Marek Polacek  <polacek@redhat.com>
 281
 282         PR c++/84138
 283         * cp-gimplify.c (cp_fold): Check if X is an error node before
 284         calling useless_type_conversion_p.
 285
 286 2018-01-30  Jason Merrill  <jason@redhat.com>
 287
 288         PR c++/84091 - ICE with local class in lambda in template.
 289         * decl2.c (determine_visibility): Look for outer containing template
 290         instantiation.
 291
 292         PR c++/84098 - ICE with lambda in template NSDMI.
 293         * pt.c (instantiate_class_template_1): Ignore more lambdas.
 294
 295 2018-01-29  Jason Merrill  <jason@redhat.com>
 296
 297         PR c++/68810 - wrong location for reinterpret_cast error.
 298         * cvt.c (cp_convert_to_pointer): Always build a CONVERT_EXPR when
 299         !dofold.
 300
 301 2018-01-29  Marek Polacek  <polacek@redhat.com>
 302
 303         PR c++/83996
 304         * constexpr.c (cxx_fold_indirect_ref): Compute ((foo *)&fooarray)[1]
 305         => fooarray[1] in offset_int.
 306
 307 2018-01-29  Jason Merrill  <jason@redhat.com>
 308
 309         PR c++/83942 - wrong unused warning with static_cast.
 310         * cvt.c (ocp_convert): Call mark_rvalue_use.
 311
 312 2018-01-26  Jason Merrill  <jason@redhat.com>
 313
 314         PR c++/83956 - wrong dtor error with anonymous union
 315         * method.c (walk_field_subobs): Variant members only affect
 316         deletedness.
 317         (maybe_explain_implicit_delete): Pass &deleted_p for diagnostic.
 318
 319         PR c++/84036 - ICE with variadic capture.
 320         PR c++/82249
 321         * pt.c (tsubst_pack_expansion): When optimizing a simple
 322         substitution, pull a single pack expansion out of its pack.
 323
 324         PR c++/82514 - ICE with local class in generic lambda.
 325         * pt.c (regenerated_lambda_fn_p): Remove.
 326         (enclosing_instantiation_of): Don't use it.
 327         (tsubst_function_decl): Call enclosing_instantiation_of.
 328
 329         * pt.c (lookup_template_class_1): Add sanity check.
 330         * name-lookup.c (do_pushtag): Don't add closures to local_classes.
 331
 332 2018-01-25  Jakub Jelinek  <jakub@redhat.com>
 333
 334         PR c++/84031
 335         * decl.c (find_decomp_class_base): Ignore unnamed bitfields.  Ignore
 336         recursive calls that return ret.
 337         (cp_finish_decomp): Ignore unnamed bitfields.
 338
 339 2018-01-23  Jason Merrill  <jason@redhat.com>
 340
 341         PR c++/82249 - wrong mismatched pack length error.
 342         * pt.c (extract_fnparm_pack, tsubst_pack_expansion): Handle
 343         unsubstituted function parameter pack.
 344
 345 2018-01-23  Paolo Carlini  <paolo.carlini@oracle.com>
 346
 347         PR c++/83921
 348         * decl.c (check_for_uninitialized_const_var): Not static; add
 349         bool and tsubst_flags_t parameters; adjust to be used both in
 350         constexpr context and not.
 351         * constexpr.c (potential_constant_expression_1): Use the above.
 352         * cp-tree.h (check_for_uninitialized_const_var): Declare.
 353
 354 2018-01-23  Jason Merrill  <jason@redhat.com>
 355
 356         PR c++/83947 - ICE with auto declarations.
 357         * pt.c (do_auto_deduction): Don't deduce from an auto decl.
 358         * decl.c (undeduced_auto_decl): Limit to vars and fns.
 359
 360 2018-01-23  David Malcolm  <dmalcolm@redhat.com>
 361
 362         PR c++/83974
 363         * pt.c (tsubst_copy_and_build) <CONSTRUCTOR>: Remove early bailout
 364         for pointer to member function types.
 365
 366 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
 367
 368         PR sanitizer/83987
 369         * tree.c (cp_free_lang_data): Change DECL_VALUE_EXPR of
 370         DECL_OMP_PRIVATIZED_MEMBER vars to error_mark_node.
 371
 372 2018-01-23  Nathan Sidwell  <nathan@acm.org>
 373
 374         PR c++/83988
 375         * pt.c (tsubst_baselink): Remove optype assert.
 376         * ptree.c (cxx_print_xnode): <case BASELINK> Print BASELINK_OPTYPE.
 377
 378 2018-01-23  Jakub Jelinek  <jakub@redhat.com>
 379
 380         PR c++/83958
 381         * decl.c (cp_finish_decomp): Diagnose if reference structure binding
 382         refers to incomplete type.
 383
 384 2018-01-23  Nathan Sidwell  <nathan@acm.org>
 385
 386         Deprecate ARM-era for scope handling
 387         * decl.c (poplevel): Flag_new_for_scope is a boolean-like.
 388         (cxx_init_decl_processing): Deprecate flag_new_for_scope being
 389         cleared.
 390         * name-lookup.c (check_for_out_of_scope_variable): Deprecate and
 391         cleanup handling.
 392         * semantics.c (begin_for_scope): Flag_new_for_scope is
 393         boolean-like.
 394         (finish_for_stmt, begin_range_for_stmt): Likewise.
 395
 396 2018-01-22  Jason Merrill  <jason@redhat.com>
 397
 398         PR c++/83720
 399         * decl2.c (determine_visibility): Fix template_decl handling
 400         instead of blocking it.
 401
 402         PR c++/83720 - ICE with lambda and LTO.
 403         * decl2.c (determine_visibility): Clear template_decl for
 404         function-scope decls.  Propagate anonymous linkage from containing
 405         function.
 406
 407 2018-01-22  Marek Polacek  <polacek@redhat.com>
 408
 409         PR c++/81933
 410         * typeck2.c (split_nonconstant_init_1): Return false if we didn't
 411         split out anything.
 412
 413 2018-01-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
 414
 415         PR c++/83895
 416         * decl.c (grokdeclarator): Don't diagnose extra parens
 417         on typedefs.
 418
 419 2018-01-19  Jakub Jelinek  <jakub@redhat.com>
 420
 421         PR c++/81167
 422         * call.c (joust): Use TREE_TYPE (source) if source is
 423         a POINTER_TYPE_P rather than if ! DECL_CONSTRUCTOR_P (w->fn).
 424
 425         PR c++/83919
 426         * typeck.c (convert_for_assignment): Suppress warn_ignored_qualifiers
 427         for direct enum init.
 428         * decl.c (reshape_init): Likewise.
 429
 430 2018-01-19  Marek Polacek  <polacek@redhat.com>
 431
 432         * constexpr.c (fold_simple): Simplify.
 433
 434 2018-01-18  Jason Merrill  <jason@redhat.com>
 435
 436         PR c++/83714
 437         * search.c (any_dependent_bases_p): Handle null TREE_BINFO.
 438         * pt.c (instantiation_dependent_scope_ref_p): True if
 439         any_dependent_bases_p.
 440
 441 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
 442
 443         * cp-tree.h: Fix comment typo (DECL_NON_TRIVIALLY_INITIALIZED_P
 444         vs DECL_NONTRIVIALLY_INITIALIZED_P).
 445
 446 2018-01-18  Jason Merrill  <jason@redhat.com>
 447
 448         PR c++/82461 - constexpr list-initialized member
 449         * constexpr.c (potential_constant_expression_1): Check
 450         TARGET_EXPR_DIRECT_INIT_P.
 451
 452 2018-01-18  Paolo Carlini  <paolo.carlini@oracle.com>
 453
 454         PR c++/81013
 455         * decl.c (xref_basetypes): Early return upon error about derived
 456         union.
 457
 458 2018-01-18  Nathan Sidwell  <nathan@acm.org>
 459
 460         PR c++/83160
 461         * cp-tree.h (mark_use): Declare.
 462         * expr.c (mark_use): Make extern.
 463         * call.c (direct_reference_binding): Set inner conv's
 464         rvaluedness_matches_p, if it is an identity.
 465         (convert_like_real): Mark lvalue or rvalue use for identity as
 466         rvaledness_matches_p demands.
 467
 468 2018-01-18  Jakub Jelinek  <jakub@redhat.com>
 469
 470         PR c++/83824
 471         * parser.c (attr_chainon): New function.
 472         (cp_parser_label_for_labeled_statement, cp_parser_decl_specifier_seq,
 473         cp_parser_namespace_definition, cp_parser_init_declarator,
 474         cp_parser_type_specifier_seq, cp_parser_parameter_declaration,
 475         cp_parser_gnu_attributes_opt): Use it.
 476         (cp_parser_member_declaration, cp_parser_objc_class_ivars,
 477         cp_parser_objc_struct_declaration): Likewise.  Don't reset
 478         prefix_attributes if attributes is error_mark_node.
 479
 480 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 481
 482         PR c++/78344
 483         * decl.c (grokdeclarator): Do not append the error_mark_node
 484         due to an erroneous optional attribute-specifier-seq.
 485
 486 2018-01-17  Jakub Jelinek  <jakub@redhat.com>
 487
 488         PR c++/83897
 489         * cp-gimplify.c (cp_maybe_instrument_return): Handle
 490         CLEANUP_POINT_EXPR.
 491
 492 2018-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 493
 494         PR c++/81054
 495         * constexpr.c (ensure_literal_type_for_constexpr_object): Return
 496         error_mark_node when we give an error.
 497         * decl.c (cp_finish_decl): Use the latter.
 498
 499 2018-01-17  Nathan Sidwell  <nathan@acm.org>
 500
 501         PR c++/83287
 502         * init.c (build_raw_new_expr): Scan list for lookups to keep.
 503
 504 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
 505
 506         PR c++/83814
 507         * expr.c (fold_for_warn): Move from c-common.c, reducing to just
 508         the C++ part.  If processing a template, call
 509         fold_non_dependent_expr rather than fully folding.
 510
 511 2018-01-17  Jason Merrill  <jason@redhat.com>
 512
 513         PR c++/81067 - redundant NULL warning.
 514         * call.c (convert_like_real): Restore null_node handling.
 515
 516 2018-01-17  Jason Merrill  <jason@redhat.com>
 517
 518         PR c++/81843 - ICE with variadic member template.
 519         PR c++/72801
 520         * pt.c (unify_pack_expansion): Don't try to deduce enclosing
 521         template args.
 522
 523 2018-01-17  David Malcolm  <dmalcolm@redhat.com>
 524
 525         PR c++/83799
 526         * pt.c (type_dependent_expression_p): Strip any location wrapper
 527         before testing tree codes.
 528         (selftest::test_type_dependent_expression_p): New function.
 529         (selftest::cp_pt_c_tests): Call it.
 530
 531 2018-01-17  Nathan Sidwell  <nathan@acm.org>
 532
 533         PR c++/83739
 534         * pt.c (tsubst_expr) <case RANGE_FOR_STMT>: Rebuild a range_for if
 535         this not a final instantiation.
 536
 537 2018-01-16  Jason Merrill  <jason@redhat.com>
 538
 539         PR c++/83714 - ICE checking return in template.
 540         * typeck.c (check_return_expr): Call build_non_dependent_expr.
 541
 542 2018-01-16  Jakub Jelinek  <jakub@redhat.com>
 543
 544         PR c++/83817
 545         * pt.c (tsubst_copy_and_build) <case CALL_EXPR>: If function
 546         is AGGR_INIT_EXPR rather than CALL_EXPR, set AGGR_INIT_FROM_THUNK_P
 547         instead of CALL_FROM_THUNK_P.
 548
 549         PR c++/83825
 550         * name-lookup.c (member_vec_dedup): Return early if len is 0.
 551         (resort_type_member_vec, set_class_bindings,
 552         insert_late_enum_def_bindings): Use vec qsort method instead of
 553         calling qsort directly.
 554
 555 2018-01-15  Martin Sebor  <msebor@redhat.com>
 556
 557         PR c++/83588
 558         * class.c (find_flexarrays): Make a record of multiple flexible array
 559         members.
 560
 561 2018-01-12  Jason Merrill  <jason@redhat.com>
 562
 563         PR c++/83186 - ICE with static_cast of list-initialized temporary.
 564         * typeck.c (build_static_cast): Use build_non_dependent_expr.
 565
 566 2018-01-12  Nathan Sidwell  <nathan@acm.org>
 567
 568         * cp-tree.h (mark_rvalue_use): Add parm name.
 569         * expr.c (mark_lvalue_use, mark_lvalue_use_nonread): Move next to
 570         mark_rvalue_use.
 571         * call.c (convert_like_real): Fix formatting.
 572
 573 2018-01-11  Jason Merrill  <jason@redhat.com>
 574
 575         PR c++/82728 - wrong -Wunused-but-set-variable
 576         PR c++/82799
 577         PR c++/83690
 578         * call.c (perform_implicit_conversion_flags): Call mark_rvalue_use.
 579         * decl.c (case_conversion): Likewise.
 580         * semantics.c (finish_static_assert): Call
 581         perform_implicit_conversion_flags.
 582
 583 2018-01-11  Nathan Sidwell  <nathan@acm.org>
 584
 585         * method.c (enum mangling_flags): Delete long-dead enum.
 586
 587 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
 588
 589         * parser.c (cp_parser_std_attribute_spec): When
 590         token_pair::require_open / require_close return false simply
 591         return error_mark_node, avoid duplicate cp_parser_error about
 592         expected '(' / ')', respectively.
 593
 594 2018-01-10  David Malcolm  <dmalcolm@redhat.com>
 595
 596         PR c++/43486
 597         * call.c (null_ptr_cst_p): Strip location wrappers when
 598         converting from '0' to a pointer type in C++11 onwards.
 599         (conversion_null_warnings): Replace comparison with null_node with
 600         call to null_node_p.
 601         (build_over_call): Likewise.
 602         * cp-gimplify.c (cp_fold): Remove the early bailout when
 603         processing_template_decl.
 604         * cp-lang.c (selftest::run_cp_tests): Call
 605         selftest::cp_pt_c_tests and selftest::cp_tree_c_tests.
 606         * cp-tree.h (cp_expr::maybe_add_location_wrapper): New method.
 607         (selftest::run_cp_tests): Move decl to bottom of file.
 608         (null_node_p): New inline function.
 609         (selftest::cp_pt_c_tests): New decl.
 610         (selftest::cp_tree_c_tests): New decl.
 611         * cvt.c (build_expr_type_conversion): Replace comparison with
 612         null_node with call to null_node_p.
 613         * error.c (args_to_string): Likewise.
 614         * except.c (build_throw): Likewise.
 615         * mangle.c (write_expression): Skip location wrapper nodes.
 616         * parser.c (literal_integer_zerop): New function.
 617         (cp_parser_postfix_expression): Call maybe_add_location_wrapper on
 618         the result for RID_TYPEID. Pass true for new "wrap_locations_p"
 619         param of cp_parser_parenthesized_expression_list.  When calling
 620         warn_for_memset, replace integer_zerop calls with
 621         literal_integer_zerop, eliminating the double logical negation
 622         cast to bool.  Eliminate the special-casing for CONST_DECL in
 623         favor of the fold_for_warn within warn_for_memset.
 624         (cp_parser_parenthesized_expression_list): Add "wrap_locations_p"
 625         param, defaulting to false.  Convert "expr" to a cp_expr, and call
 626         maybe_add_location_wrapper on it when wrap_locations_p is true.
 627         (cp_parser_unary_expression): Call maybe_add_location_wrapper on
 628         the result for RID_ALIGNOF and RID_SIZEOF.
 629         (cp_parser_builtin_offsetof): Likewise.
 630         * pt.c: Include "selftest.h".
 631         (tsubst_copy): Handle location wrappers.
 632         (tsubst_copy_and_build): Likewise.
 633         (build_non_dependent_expr): Likewise.
 634         (selftest::test_build_non_dependent_expr): New function.
 635         (selftest::cp_pt_c_tests): New function.
 636         * tree.c: Include "selftest.h".
 637         (lvalue_kind): Handle VIEW_CONVERT_EXPR location wrapper nodes.
 638         (selftest::test_lvalue_kind): New function.
 639         (selftest::cp_tree_c_tests): New function.
 640         * typeck.c (string_conv_p): Strip any location wrapper from "exp".
 641         (cp_build_binary_op): Replace comparison with null_node with call
 642         to null_node_p.
 643         (build_address): Use location of operand when building address
 644         expression.
 645
 646 2018-01-10  Marek Polacek  <polacek@redhat.com>
 647
 648         PR c++/82541
 649         * call.c (build_conditional_expr_1): Check complain before warning.
 650         * pt.c (tsubst_copy_and_build) <case COND_EXPR>: Suppress
 651         -Wduplicated-branches.
 652
 653 2018-01-10  Jakub Jelinek  <jakub@redhat.com>
 654
 655         PR c++/81327
 656         * call.c (maybe_warn_class_memaccess): Add forward declaration.
 657         Change last argument from tree * to const vec<tree, va_gc> *, adjust
 658         args uses and check number of operands too.  Don't strip away any
 659         nops.  Use maybe_constant_value when looking for INTEGER_CST args.
 660         Deal with src argument not having pointer type.  Check
 661         tree_fits_uhwi_p before calling tree_to_uhwi.  Remove useless
 662         test.
 663         (build_over_call): Call maybe_warn_class_memaccess here on the
 664         original arguments.
 665         (build_cxx_call): Rather than here on converted arguments.
 666
 667 2018-01-10  Paolo Carlini  <paolo.carlini@oracle.com>
 668
 669         PR c++/81055
 670         * init.c (build_vec_init): Avoid building an INIT_EXPR with
 671         error_mark_node as second argument.
 672
 673 2018-01-09  Jakub Jelinek  <jakub@redhat.com>
 674
 675         PR c++/83734
 676         * constexpr.c (cxx_eval_statement_list): Ignore DEBUG_BEGIN_STMTs
 677         in STATEMENT_LIST.  Remove unneeded assert.
 678
 679 2018-01-03  Richard Sandiford  <richard.sandiford@linaro.org>
 680             Alan Hayward  <alan.hayward@arm.com>
 681             David Sherwood  <david.sherwood@arm.com>
 682
 683         * constexpr.c (cxx_eval_array_reference): Handle polynomial
 684         VECTOR_CST_NELTS.
 685         (cxx_fold_indirect_ref): Handle polynomial TYPE_VECTOR_SUBPARTS.
 686         * call.c (build_conditional_expr_1): Likewise.
 687         * decl.c (cp_finish_decomp): Likewise.
 688         * mangle.c (write_type): Likewise.
 689         * typeck.c (structural_comptypes): Likewise.
 690         (cp_build_binary_op): Likewise.
 691         * typeck2.c (process_init_constructor_array): Likewise.
 692
 693 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 694
 695         PR c++/83555
 696         * typeck.c (build_static_cast_1): For static casts to reference types,
 697         call build_base_path with flag_delete_null_pointer_checks as nonnull
 698         instead of always false.  When -fsanitize=null, call
 699         ubsan_maybe_instrument_reference on the NULL reference INTEGER_CST.
 700         * cp-gimplify.c (cp_genericize_r): Don't walk subtrees of UBSAN_NULL
 701         call if the first argument is INTEGER_CST with REFERENCE_TYPE.
 702
 703 2018-01-03  Nathan Sidwell  <nathan@acm.org>
 704
 705         PR c++/83667
 706         * method.c (make_alias_for): Copy DECL_CONTEXT.
 707
 708 2018-01-03  Marek Polacek  <polacek@redhat.com>
 709
 710         PR c++/83592
 711         * decl.c (grokdeclarator): Don't warn about MVP in typename context.
 712
 713 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
 714
 715         PR preprocessor/83602
 716         * name-lookup.c (lookup_name_fuzzy): Don't use macro_use_before_def
 717         for builtin macros.
 718
 719         PR c++/83634
 720         * cp-gimplify.c (cp_fold) <case NOP_EXPR>: If the operand folds to
 721         error_mark_node, return error_mark_node.
 722
 723         Update copyright years.
 724
 725 2018-01-02  Jakub Jelinek  <jakub@redhat.com>
 726
 727         PR c++/83556
 728         * tree.c (replace_placeholders_r): Pass NULL as last argument to
 729         cp_walk_tree instead of d->pset.  If non-TREE_CONSTANT and
 730         non-PLACEHOLDER_EXPR tree has been seen already, set *walk_subtrees
 731         to false and return.
 732         (replace_placeholders): Pass NULL instead of &pset as last argument
 733         to cp_walk_tree.
 734
 735 2018-01-02  Nathan Sidwell  <nathan@acm.org>
 736
 737         * constexpr.c (cxx_bind_parameters_in_call): Remove unneeded local
 738         lval var.
 739 \f
 740 Copyright (C) 2018 Free Software Foundation, Inc.
 741
 742 Copying and distribution of this file, with or without modification,
 743 are permitted in any medium without royalty provided the copyright
 744 notice and this notice are preserved.