gcc/cp/ChangeLog

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