gcc/cp/ChangeLog

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