gcc/cp/ChangeLog

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