gcc/cp/ChangeLog

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