gcc/cp/ChangeLog

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