gcc/cp/ChangeLog

   1 2019-03-08  Jakub Jelinek  <jakub@redhat.com>
   2
   3         PR other/80058
   4         * parser.c (cp_parser_template_declaration_after_parameters): Avoid
   5         one space before " at the end of line and another after " on another
   6         line in a string literal.
   7
   8         PR tree-optimization/89550
   9         * semantics.c (maybe_convert_cond): Only set TREE_NO_WARNING if
  10         warning_at returned true.
  11         * decl2.c (c_parse_final_cleanups): Likewise.
  12         * typeck.c (convert_for_assignment): Likewise.
  13         * decl.c (finish_function): Likewise.
  14
  15         PR c++/89585
  16         * parser.c (cp_parser_asm_definition): Just warn instead of error
  17         on volatile qualifier outside of function body.
  18
  19         PR c++/89599
  20         * constexpr.c (potential_constant_expression_1): Reject
  21         REINTERPRET_CAST_P NOP_EXPRs.
  22
  23         PR c++/89622
  24         * call.c (joust): Call print_z_candidate only if pedwarn returned
  25         true.
  26
  27 2019-03-07  Jason Merrill  <jason@redhat.com>
  28
  29         PR c++/88123 - lambda and using-directive.
  30         * name-lookup.c (op_unqualified_lookup)
  31         (maybe_save_operator_binding, discard_operator_bindings)
  32         (push_operator_bindings): New.
  33         * typeck.c (build_x_binary_op, build_x_unary_op): Call
  34         maybe_save_operator_binding.
  35         * decl.c (start_preparsed_function): Call push_operator_bindings.
  36         * tree.c (cp_free_lang_data): Call discard_operator_bindings.
  37
  38         PR c++/88820 - ICE with CTAD and member template used in DMI.
  39         * pt.c (do_class_deduction): Handle parm used as its own arg.
  40
  41 2019-03-07  Jakub Jelinek  <jakub@redhat.com>
  42
  43         PR c++/89585
  44         * parser.c (cp_parser_asm_definition): Parse asm qualifiers even
  45         at toplevel, but diagnose them.
  46
  47 2019-03-06  Jason Merrill  <jason@redhat.com>
  48
  49         PR c++/89381 - implicit copy and using-declaration.
  50         * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider
  51         op= brought in by a using-declaration.
  52
  53 2019-03-06  Jakub Jelinek  <jakub@redhat.com>
  54
  55         PR c++/87148
  56         * init.c (build_value_init_noctor): Ignore flexible array members.
  57
  58 2019-03-06  Jason Merrill  <jason@redhat.com>
  59
  60         PR c++/89576 - if constexpr of lambda capture.
  61         * semantics.c (maybe_convert_cond): Do convert a non-dependent
  62         condition in a template.
  63         * typeck.c (condition_conversion): Handle being called in a
  64         template.
  65
  66 2019-03-06  Marek Polacek  <polacek@redhat.com>
  67
  68         PR c++/87378 - bogus -Wredundant-move warning.
  69         * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue
  70         overload resolution would actually succeed.
  71
  72 2019-03-05  Jason Merrill  <jason@redhat.com>
  73
  74         * class.c (is_really_empty_class): Add ignore_vptr parm.
  75         (trivial_default_constructor_is_constexpr): Pass it.
  76         * call.c (build_over_call): Pass it.
  77         * constexpr.c (cxx_eval_constant_expression): Pass it instead of
  78         checking TYPE_POLYMORPHIC_P.
  79         (cxx_eval_component_reference, potential_constant_expression_1):
  80         Pass it.
  81         * cp-gimplify.c (simple_empty_class_p): Pass it.
  82         * init.c (expand_aggr_init_1): Pass it.
  83
  84 2019-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
  85
  86         PR c++/84605
  87         * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too.
  88
  89 2019-03-04  Jakub Jelinek  <jakub@redhat.com>
  90
  91         PR c++/71446
  92         * call.c (field_in_pset): New function.
  93         (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly.
  94
  95 2019-03-02  Jakub Jelinek  <jakub@redhat.com>
  96
  97         PR c++/71446
  98         * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define.
  99         * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list
 100         caller, set CONSTRUCTOR_IS_DESIGNATED_INIT.
 101         (cp_parser_initializer_list): Add designated parameter, set *designated
 102         to a bool whether any designators were parsed.
 103         * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if
 104         needed.
 105         * pt.c (tsubst_copy_and_build): Likewise.
 106         * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT,
 107         don't call build_list_conv, nor build_complex_conv, nor attempt to
 108         convert a single element initializer to scalar.
 109
 110 2019-03-01  Marek Polacek  <polacek@redhat.com>
 111
 112         PR c++/89537 - missing location for error with non-static member fn.
 113         * call.c (resolve_args): Use EXPR_LOCATION.
 114         * typeck.c (build_class_member_access_expr): Use input_location.
 115
 116         PR c++/89532 - ICE with incomplete type in decltype.
 117         * semantics.c (finish_compound_literal): Return error_mark_node
 118         if digest_init_flags returns error_mark_node.
 119
 120 2019-03-01  Jakub Jelinek  <jakub@redhat.com>
 121
 122         Implement P1002R1, Try-catch blocks in constexpr functions
 123         PR c++/89513
 124         * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
 125         Diagnose constexpr ctor or function with function-try-block with
 126         pedwarn for c++17 and earlier.  Formatting fix.
 127         (cp_parser_try_block): Use pedwarn instead of error and only for
 128         c++17 and earlier when try block appears in constexpr function.
 129         * constexpr.c (build_constexpr_constructor_member_initializers):
 130         Handle TRY_BLOCK here instead of erroring on it.
 131
 132 2019-02-28  Jason Merrill  <jason@redhat.com>
 133
 134         PR c++/88183 - ICE with .* fold-expression.
 135         * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling.
 136
 137         PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
 138         * class.c, lambda.c, pt.c: Revert earlier change.
 139         * lambda.c (add_capture): Don't special-case capture of dependent
 140         VLA.
 141
 142         * name-lookup.c (print_binding_level): Print this_entity.
 143
 144 2019-02-27  Marek Polacek  <polacek@redhat.com>
 145
 146         PR c++/88857 - ICE with value-initialization of argument in template.
 147         * call.c (convert_like_real): Don't call build_value_init in template.
 148
 149 2019-02-27  Jason Merrill  <jason@redhat.com>
 150
 151         PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
 152         * semantics.c (process_outer_var_ref): Do capture dependent vars.
 153         * class.c (finish_struct): Only add TAG_DEFN if T is in
 154         current_function_decl.
 155         * lambda.c (vla_capture_type): Force the capture type out into the
 156         lambda's enclosing function.
 157         (add_capture): Pass in the lambda.
 158         * pt.c (tsubst_lambda_expr): complete_type a VLA capture type.
 159
 160 2019-02-27  Marek Polacek  <polacek@redhat.com>
 161
 162         PR c++/89511 - ICE with using-declaration and unscoped enumerator.
 163         * parser.c (cp_parser_using_declaration): For an unscoped enum
 164         only use its context if it's not a function declaration.
 165
 166 2019-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
 167
 168         PR c++/89488
 169         * method.c (process_subob_fn): When maybe_instantiate_noexcept
 170         returns false don't call merge_exception_specifiers.
 171
 172 2019-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
 173
 174         PR c++/88987
 175         * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE
 176         for a non-constant parsed expression.
 177
 178 2019-02-26  Jakub Jelinek  <jakub@redhat.com>
 179
 180         PR c++/89481
 181         * constexpr.c (cxx_eval_store_expression): When changing active union
 182         member, set no_zero_init.
 183
 184 2019-02-23  Marek Polacek  <polacek@redhat.com>
 185
 186         PR c++/88294 - ICE with non-constant noexcept-specifier.
 187         * pt.c (maybe_instantiate_noexcept): Set up the list of local
 188         specializations.  Set current_class_{ptr,ref}.
 189
 190 2019-02-22  David Malcolm  <dmalcolm@redhat.com>
 191
 192         PR c++/89390
 193         * parser.c (cp_parser_unqualified_id): Capture and use locations
 194         for destructors.
 195
 196 2019-02-22  Marek Polacek  <polacek@redhat.com>
 197
 198         PR c++/89420 - ICE with CAST_EXPR in explicit-specifier.
 199         * decl.c (build_explicit_specifier): Don't check
 200         processing_template_decl.  Call instantiation_dependent_expression_p
 201         instead of value_dependent_expression_p.  Call
 202         instantiate_non_dependent_expr_sfinae before
 203         build_converted_constant_expr instead of calling
 204         instantiate_non_dependent_expr after it.  Add
 205         processing_template_decl_sentinel.
 206
 207 2019-02-22  Thomas Schwinge  <thomas@codesourcery.com>
 208
 209         * parser.c (cp_parser_oacc_simple_clause): Remove parser formal
 210         parameter, move loc formal parameter to the front.  Adjust all
 211         users.
 212         (cp_parser_oacc_shape_clause): Add loc formal parameter.  Adjust
 213         all users.
 214
 215 2019-02-21  Jason Merrill  <jason@redhat.com>
 216
 217         PR c++/87685 - generic lambda 'this' capture error.
 218         * lambda.c (lambda_expr_this_capture): Change add_capture_p to int.
 219         (maybe_generic_this_capture): Pass -1.
 220
 221         PR c++/88394 - ICE with VLA init-capture.
 222         * lambda.c (is_normal_capture_proxy): Check DECL_CAPTURED_VARIABLE.
 223
 224         PR c++/88869 - C++17 ICE with CTAD and explicit specialization.
 225         * pt.c (do_class_deduction): Don't include explicit specialization
 226         args in outer_args.
 227
 228         PR c++/89422 - ICE with -g and lambda in default arg in template.
 229         * pt.c (tsubst_function_decl): SET_DECL_FRIEND_CONTEXT sooner.
 230
 231 2019-02-21  Jason Merrill  <jason@redhat.com>
 232
 233         PR c++/88419 - C++17 ICE with class template arg deduction.
 234         * pt.c (make_template_placeholder): Set TYPE_CANONICAL after
 235         CLASS_PLACEHOLDER_TEMPLATE.
 236
 237 2019-02-21  Jakub Jelinek  <jakub@redhat.com>
 238
 239         PR c++/89285
 240         * constexpr.c (struct constexpr_fundef): Add parms and result members.
 241         (retrieve_constexpr_fundef): Adjust for the above change.
 242         (register_constexpr_fundef): Save constexpr body with copy_fn,
 243         temporarily set DECL_CONTEXT on DECL_RESULT before that.
 244         (get_fundef_copy): Change FUN argument to FUNDEF with
 245         constexpr_fundef * type, grab body and parms/result out of
 246         constexpr_fundef struct and temporarily change it for copy_fn calls
 247         too.
 248         (cxx_eval_builtin_function_call): For __builtin_FUNCTION temporarily
 249         adjust current_function_decl from ctx->call context.  Test
 250         !potential_constant_expression instead of !is_constant_expression.
 251         (cxx_bind_parameters_in_call): Grab parameters from new_call.  Undo
 252         convert_for_arg_passing changes for TREE_ADDRESSABLE type passing.
 253         (cxx_eval_call_expression): Adjust get_fundef_copy caller.
 254         (cxx_eval_conditional_expression): For IF_STMT, allow then or else
 255         operands to be NULL.
 256         (label_matches): Handle BREAK_STMT and CONTINUE_STMT.
 257         (cxx_eval_loop_expr): Add support for FOR_STMT, WHILE_STMT and DO_STMT.
 258         (cxx_eval_switch_expr): Add support for SWITCH_STMT.
 259         (cxx_eval_constant_expression): Handle IF_STMT, FOR_STMT, WHILE_STMT,
 260         DO_STMT, CONTINUE_STMT, SWITCH_STMT, BREAK_STMT and CONTINUE_STMT.
 261         For SIZEOF_EXPR, recurse on the result of fold_sizeof_expr.  Ignore
 262         DECL_EXPR with USING_DECL operand.
 263         * lambda.c (maybe_add_lambda_conv_op): Build thisarg using
 264         build_int_cst to make it a valid constant expression.
 265
 266 2019-02-20  Jason Merrill  <jason@redhat.com>
 267
 268         PR c++/88690 - C++17 ICE with empty base in aggregate.
 269         * typeck2.c (process_init_constructor_record): Skip trivial
 270         initialization of an empty base.
 271
 272 2019-02-21  Richard Biener  <rguenther@suse.de>
 273
 274         PR middle-end/89392
 275         * vtable-class-hierarchy.c (vtv_generate_init_routine): Do not
 276         make symtab process new functions here.
 277
 278 2019-02-20  Jason Merrill  <jason@redhat.com>
 279
 280         PR c++/87921 - wrong error with inline static data member.
 281         * decl2.c (finish_static_data_member_decl): Don't set DECL_IN_AGGR_P
 282         for a non-template inline variable.  Do nothing for an
 283         already-instantiated variable.
 284         (c_parse_final_cleanups): Check DECL_IN_AGGR_P without
 285         DECL_INLINE_VAR_P.
 286         * decl.c (check_initializer): Likewise.
 287         (make_rtl_for_nonlocal_decl): Likewise.
 288         * pt.c (instantiate_decl): Likewise.
 289         * typeck2.c (store_init_value): Likewise.
 290
 291 2019-02-20  Jakub Jelinek  <jakub@redhat.com>
 292
 293         PR c++/89403
 294         * decl2.c (c_parse_final_cleanups): Move TREE_ASM_WRITTEN setting
 295         for flag_syntax_only from here...
 296         * semantics.c (expand_or_defer_fn_1): ... here.
 297
 298         PR c++/89405
 299         * decl.c (maybe_commonize_var): When clearing TREE_PUBLIC and
 300         DECL_COMMON, set DECL_INTERFACE_KNOWN.
 301
 302         PR c++/89336
 303         * constexpr.c (cxx_eval_store_expression): Diagnose changing of active
 304         union member for -std=c++17 and earlier.
 305
 306 2019-02-19  Jason Merrill  <jason@redhat.com>
 307
 308         PR c++/87513 - 'sorry' mangling PMF template-id.
 309         * mangle.c (write_expression): Handle SCOPE_REF to BASELINK.
 310
 311 2019-02-19  Jason Merrill  <jason@redhat.com>
 312
 313         PR c++/88380 - wrong-code with flexible array and NSDMI.
 314         * typeck2.c (process_init_constructor_record): Skip flexarrays.
 315
 316 2019-02-20  will wray  <wjwray@gmail.com>
 317
 318         PR c++/88572 - wrong handling of braces on scalar init.
 319         * decl.c (reshape_init_r): Allow braces around scalar initializer
 320         within aggregate init.  Reject double braced-init of scalar
 321         variable.
 322
 323 2019-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
 324
 325         PR c++/84536
 326         * pt.c (tsubst_init): Diagnose an initializer expanding to an
 327         empty list of expressions; tweak wrt dependent types.
 328         (regenerate_decl_from_template): For VAR_DECLs call tsubst_init
 329         instead of tsubst_expr.
 330
 331 2019-02-19  Jason Merrill  <jason@redhat.com>
 332
 333         PR c++/88368 - wrong 'use of deleted function'
 334         * method.c (walk_field_subobs): Remember errors from get_nsdmi.
 335         (get_defaulted_eh_spec): Call push_tinst_level.
 336         * pt.c (maybe_instantiate_noexcept): Keep error_mark_node.
 337         * typeck2.c (merge_exception_specifiers): Handle error_mark_node.
 338
 339 2019-02-19  Chung-Lin Tang <cltang@codesourcery.com>
 340
 341         PR c/87924
 342         * parser.c (cp_parser_oacc_clause_wait): Add representation of wait
 343         clause without argument as 'wait (GOMP_ASYNC_NOVAL)', adjust comments.
 344
 345 2019-02-19  Jakub Jelinek  <jakub@redhat.com>
 346
 347         PR c++/89387
 348         * lambda.c (maybe_generic_this_capture): Don't check
 349         DECL_NONSTATIC_MEMBER_FUNCTION_P on USING_DECLs.
 350
 351         PR c++/89391
 352         * typeck.c (build_reinterpret_cast_1): Don't handle void to
 353         && conversion go through build_target_expr_with_type.
 354
 355         PR c++/89390
 356         * error.c (qualified_name_lookup_error): Only call
 357         suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE.
 358
 359 2019-02-19  Tom Honermann  <tom@honermann.net>
 360
 361         * name-lookup.c (get_std_name_hint): Added u8string as a name hint.
 362
 363 2019-02-18  Jason Merrill  <jason@redhat.com>
 364
 365         PR c++/89336 - multiple stores in constexpr stmt.
 366         * constexpr.c (cxx_eval_store_expression): Preevaluate scalar or
 367         assigned value.
 368
 369         * pt.c (check_explicit_specialization): If the declarator is a
 370         template-id, only check whether the arguments are dependent.
 371
 372         Improve duplicate [[likely]] diagnostic.
 373         * parser.c (cp_parser_statement): Make attrs_loc a range.  Pass it
 374         to process_stmt_hotness_attribute.
 375         * cp-gimplify.c (process_stmt_hotness_attribute): Take attrs_loc.
 376         (genericize_if_stmt): Use likely/unlikely instead of predictor_name.
 377
 378 2019-02-17  Marek Polacek  <polacek@redhat.com>
 379
 380         PR c++/89217 - ICE with list-initialization in range-based for loop.
 381         * constexpr.c (unshare_constructor): No longer static.
 382         * cp-tree.h (unshare_constructor): Declare.
 383         * semantics.c (finish_compound_literal): When dealing with a
 384         non-dependent expression in a template, return the original
 385         expression.  Pass LOOKUP_NO_NARROWING to digest_init_flags.
 386
 387 2019-02-13  Marek Polacek  <polacek@redhat.com>
 388
 389         PR c++/89297 - ICE with OVERLOAD in template.
 390         * semantics.c (finish_compound_literal): Call
 391         instantiate_non_dependent_expr_sfinae.
 392
 393 2019-02-13  Alexandre Oliva <aoliva@redhat.com>
 394
 395         PR c++/86379
 396         * cp-tree.h (USING_DECL_SCOPE): Use result rather than type.
 397         * name-lookup.c (strip_using_decl): Use USING_DECL_SCOPE.
 398         * search.c (protected_accessible_p): Follow USING_DECL_DECLS.
 399         (shared_member_p): Likewise.
 400         (lookup_member): Likewise.
 401         * decl.c (grok_special_member_properties): Skip USING_DECLs.
 402         * semantics.c (finish_omp_declare_simd_methods): Likewise.
 403         (finish_qualified_id_expr): Do not call shared_member_p with
 404         a dependent expr.
 405
 406         PR c++/87322
 407         * pt.c (tsubst_lambda_expr): Avoid duplicate tsubsting.
 408         Move cp_evaluated resetting before signature tsubsting.
 409         (gen_elem_of_pack_expansion_instantiation): Separate local
 410         specializations per index.
 411
 412 2019-02-13  David Malcolm  <dmalcolm@redhat.com>
 413
 414         PR c++/89036
 415         * class.c (add_method): Drop destructor assertion.
 416
 417 2019-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 418
 419         PR c++/88986
 420         * decl.c (make_typename_type): Allow for TYPE_PACK_EXPANSION as
 421         context (the first argument).
 422         * pt.c (tsubst, case TYPENAME_TYPE): Handle TYPE_PACK_EXPANSION
 423         as context.
 424
 425 2019-02-12  Jason Merrill  <jason@redhat.com>
 426
 427         PR c++/89144 - link error with constexpr initializer_list.
 428         * call.c (convert_like_real) [ck_list]: Don't allocate a temporary
 429         array for an empty list.
 430         * typeck2.c (store_init_value): Don't use cxx_constant_init in a
 431         template.
 432
 433 2019-02-11  Jason Merrill  <jason@redhat.com>
 434
 435         PR c++/89241 - ICE with __func__ in lambda in template.
 436         * pt.c (enclosing_instantiation_of): Also check
 437         instantiated_lambda_fn_p for the template context.
 438
 439 2019-02-11  Marek Polacek  <polacek@redhat.com>
 440
 441         PR c++/89212 - ICE converting nullptr to pointer-to-member-function.
 442         * pt.c (tsubst_copy_and_build) <case CONSTRUCTOR>: Return early for
 443         null member pointer value.
 444
 445 2019-02-11  Jakub Jelinek  <jakub@redhat.com>
 446
 447         PR c++/88977
 448         * pt.c (convert_nontype_argument): Pass true as manifestly_const_eval
 449         to maybe_constant_value calls.
 450
 451 2019-02-11  Marek Polacek  <polacek@redhat.com>
 452
 453         * typeck2.c (digest_init_r): Remove commented code.
 454
 455 2019-02-11  Martin Sebor  <msebor@redhat.com>
 456
 457         PR c++/87996
 458         * decl.c (compute_array_index_type_loc): Preserve signed sizes
 459         for diagnostics.  Call valid_array_size_p instead of error.
 460         * init.c (build_new_1): Compute size for diagnostic.  Call
 461         invalid_array_size_error
 462         (build_new): Call valid_array_size_p instead of error.
 463
 464 2019-02-07  Alexandre Oliva <aoliva@redhat.com>
 465
 466         PR c++/86218
 467         * call.c (compare_ics): Deal with ck_aggr in either cs.
 468
 469 2019-02-06  David Malcolm  <dmalcolm@redhat.com>
 470
 471         PR c++/71302
 472         * call.c (get_location_for_expr_unwinding_for_system_header): New
 473         function.
 474         (conversion_null_warnings): Use it when getting locations for
 475         EXPR, effectively adding a call to
 476         get_location_for_expr_unwinding_for_system_header for
 477         -Wconversion-null and making use of EXPR_LOCATION for
 478         -Wzero-as-null-pointer-constant.
 479
 480 2019-02-05  Jakub Jelinek  <jakub@redhat.com>
 481
 482         PR c++/89187
 483         * optimize.c (maybe_thunk_body): Clear TREE_ADDRESSABLE on
 484         PARM_DECLs of the thunk.
 485         * lambda.c (maybe_add_lambda_conv_op): Likewise.
 486
 487 2019-02-05  Marek Polacek  <polacek@redhat.com>
 488
 489         PR c++/89158 - by-value capture of constexpr variable broken.
 490         * call.c (convert_like_real) <case ck_user>: Call mark_exp_read
 491         instead of mark_rvalue_use.
 492
 493 2019-02-05  Alexandre Oliva <aoliva@redhat.com>
 494
 495         PR c++/87770
 496         * pt.c (instantiates_primary_template_p): New.
 497         (type_dependent_expression_p): Use it.
 498
 499 2019-02-01  Jason Merrill  <jason@redhat.com>
 500
 501         PR c++/88761 - ICE with reference capture of constant.
 502         * lambda.c (mark_const_cap_r): Do walk subtrees of DECL_EXPR for
 503         non-proxy decls.
 504
 505 2019-02-01  Marek Polacek  <polacek@redhat.com>
 506
 507         PR c++/88325 - ICE with invalid out-of-line template member definition.
 508         * parser.c (cp_parser_class_name): Don't call make_typename_type
 509         for overloads.
 510
 511 2019-02-01  Jakub Jelinek  <jakub@redhat.com>
 512
 513         PR c++/87175
 514         * parser.c (cp_parser_gnu_attributes_opt): Set ok to false
 515         if require_open failed.
 516
 517 2019-01-31  Marek Polacek  <polacek@redhat.com>
 518
 519         PR c++/89083, c++/80864 - ICE with list initialization in template.
 520         * constexpr.c (adjust_temp_type): Use copy_node and change the type
 521         instead of using build_constructor.
 522         * decl.c (reshape_init_r): Don't reshape a digested initializer.
 523         Return the initializer for COMPOUND_LITERAL_P.
 524
 525         PR c++/88983 - ICE with switch in constexpr function.
 526         * constexpr.c (cxx_eval_switch_expr): Use SWITCH_COND and SWITCH_BODY.
 527         (cxx_eval_constant_expression) <case COND_EXPR>: Don't look for the
 528         label in the else branch if we found it in the then branch.
 529
 530 2019-01-30  Jason Merrill  <jason@redhat.com>
 531
 532         PR c++/88752 - ICE with lambda and constexpr if.
 533         * cp-tree.h (LAMBDA_EXPR_INSTANTIATED): New.
 534         * pt.c (tsubst_lambda_expr): Set it.
 535         (instantiated_lambda_fn_p): Check it.
 536         (enclosing_instantiation_of): Use it.
 537
 538 2019-01-31  Jakub Jelinek  <jakub@redhat.com>
 539
 540         PR libstdc++/88170
 541         * cxx-pretty-print.c (pp_cxx_enumeration_constant): Print always as
 542         a C cast in pp_c_flag_gnu_v3 mode.
 543
 544 2019-01-30  Jakub Jelinek  <jakub@redhat.com>
 545
 546         PR c++/88988
 547         * lambda.c (is_capture_proxy): Don't return true for
 548         DECL_OMP_PRIVATIZED_MEMBER artificial vars.
 549
 550 2019-01-30  Marek Polacek  <polacek@redhat.com>
 551
 552         PR c++/89119 - ICE with value-initialization in template.
 553         * pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.
 554
 555 2019-01-29  Jason Merrill  <jason@redhat.com>
 556
 557         PR c++/86943 - wrong code converting lambda to function pointer.
 558         * lambda.c (maybe_add_lambda_conv_op): Use a template-id in the
 559         call.  Only forward parms for decltype.
 560         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Handle CALL_FROM_THUNK_P
 561         specially.
 562         * typeck.c (check_return_expr): Don't mess with a thunk call.
 563
 564 2019-01-28  Jason Merrill  <jason@redhat.com>
 565
 566         PR c++/89089 - ICE with [[no_unique_address]].
 567         PR c++/88865 - wrong layout with [[no_unique_address]].
 568         * class.c (check_field_decls): A potentially-overlapping field makes
 569         the class non-layout-POD, but not non-empty.
 570         (end_of_class): Always consider empty data members.
 571         (layout_class_type): Set DECL_SIZE for empty fields.
 572
 573 2019-01-28  Marek Polacek  <polacek@redhat.com>
 574
 575         PR c++/88358 - name wrongly treated as type.
 576         * parser.c (cp_parser_direct_declarator): Don't assume a qualified-id
 577         in parameter-list is a type if the function's declarator-id is not
 578         qualified.
 579
 580 2019-01-27  Marek Polacek  <polacek@redhat.com>
 581
 582         PR c++/88815 - narrowing conversion lost in decltype.
 583         PR c++/78244 - narrowing conversion in template not detected.
 584         * cp-tree.h (CONSTRUCTOR_IS_DEPENDENT): New.
 585         * pt.c (instantiation_dependent_r): Consider a CONSTRUCTOR with
 586         CONSTRUCTOR_IS_DEPENDENT instantiation-dependent.
 587         * semantics.c (finish_compound_literal): When the compound literal
 588         isn't instantiation-dependent and the type isn't type-dependent,
 589         fall back to the normal processing.  Set CONSTRUCTOR_IS_DEPENDENT.
 590
 591         PR c++/89024 - ICE with incomplete enum type.
 592         * call.c (standard_conversion): When converting an
 593         ARITHMETIC_TYPE_P to an incomplete type, return NULL.
 594
 595 2019-01-25  Paolo Carlini  <paolo.carlini@oracle.com>
 596
 597         PR c++/88969
 598         * call.c (build_op_delete_call): Implement 7.6.2.5/(10.1).
 599         * decl2.c (coerce_delete_type): Use build_pointer_type instead
 600         of TYPE_POINTER_TO.
 601
 602 2019-01-24  Jason Merrill  <jason@redhat.com>
 603
 604         PR c++/89001 - mangling of reference temporaries
 605         * cp-tree.h (struct saved_scope): Add ref_temp_count.
 606         (current_ref_temp_count): New macro.
 607         * mangle.c (mangle_ref_init_variable): Use it.
 608         * typeck2.c (store_init_value): Clear it.
 609         * call.c (make_temporary_var_for_ref_to_temp): Copy public and
 610         comdat.
 611
 612 2019-01-24  Jakub Jelinek  <jakub@redhat.com>
 613
 614         PR c++/88976
 615         * semantics.c (finish_omp_cancel): Diagnose more than one if
 616         on #pragma omp cancel with different modifiers.  Use
 617         maybe_convert_cond when not in template or build_x_binary_op
 618         otherwise.
 619
 620 2019-01-23  Marek Polacek  <polacek@redhat.com>
 621
 622         PR c++/88757 - qualified name treated wrongly as type.
 623         * parser.c (cp_parser_direct_declarator): Don't treat qualified-ids
 624         in parameter-list as types if name lookup for declarator-id didn't
 625         find one or more function templates.
 626
 627 2019-01-23  Jakub Jelinek  <jakub@redhat.com>
 628
 629         PR c/44715
 630         * cp-gimplify.c (genericize_cp_loop): Call begin_bc_block only
 631         after genericizing cond and incr expressions.
 632
 633         PR c++/88984
 634         * cp-gimplify.c (genericize_switch_stmt): Move cond genericization
 635         before the begin_bc_block call.
 636
 637 2019-01-21  Jason Merrill  <jason@redhat.com>
 638
 639         PR c++/87893 - constexpr ctor ICE on ARM.
 640         PR c++/88293 - ICE with comma expression.
 641         * constexpr.c (initialized_type): Don't shortcut non-void type.
 642         Handle COMPOUND_EXPR.
 643         (cxx_eval_outermost_constant_expr): Return early for void type.
 644
 645 2019-01-21  Jakub Jelinek  <jakub@redhat.com>
 646
 647         PR c++/88949
 648         * optimize.c (cxx_copy_decl): New function.
 649         (clone_body): Use it instead of copy_decl_no_change.
 650
 651         PR sanitizer/88901
 652         * typeck.c (cp_build_binary_op): Don't instrument
 653         SANITIZE_POINTER_COMPARE if processing_template_decl.
 654         (pointer_diff): Similarly for SANITIZE_POINTER_SUBTRACT.
 655
 656 2019-01-18  Jason Merrill  <jason@redhat.com>
 657
 658         PR c++/88875 - error with explicit list constructor.
 659         * call.c (reference_binding): Don't modify EXPR.  Set
 660         need_temporary_p on the ck_user conversion for a temporary.
 661         (convert_like_real): Check it.
 662
 663 2019-01-18  H.J. Lu  <hongjiu.lu@intel.com>
 664
 665         PR c/51628
 666         PR c/88664
 667         * call.c (convert_for_arg_passing): Upate the
 668         warn_for_address_or_pointer_of_packed_member call.
 669         * typeck.c (convert_for_assignment): Likewise.
 670
 671 2019-01-17  Jason Merrill  <jason@redhat.com>
 672
 673         PR c++/86205 - ICE with ?: of throw and template-id.
 674         * pt.c (resolve_nondeduced_context_or_error): Split out from...
 675         * typeck.c (decay_conversion): ...here.
 676         * call.c (build_conditional_expr_1): Use it.
 677
 678         PR c++/86740, ICE with constexpr if and nested generic lambdas.
 679         * tree.c (cp_walk_subtrees): Handle LAMBDA_EXPR.
 680
 681 2019-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
 682
 683         * decl.c (grokdeclarator): Use typespec_loc in error messages
 684         about 'auto' and trailing return type.
 685
 686 2019-01-17  David Malcolm  <dmalcolm@redhat.com>
 687
 688         PR c++/88699
 689         * class.c (add_method): Don't use DECL_DESTRUCTOR_P on
 690         USING_DECLs.
 691
 692 2019-01-17  Nathan Sidwell  <nathan@acm.org>
 693
 694         PR c++/86610
 695         * semantics.c (process_outer_var_ref): Only skip dependent types
 696         in templates.
 697
 698 2019-01-17  Alexandre Oliva <aoliva@redhat.com>
 699
 700         PR c++/87768
 701         * cp-tree.h (saved_scope): Add suppress_location_wrappers.
 702         * name-lookup.c (do_push_to_top_level): Save and reset it.
 703         (do_pop_from_top_level): Restore it.
 704
 705         PR c++/86648
 706         * pt.c (make_template_placeholder): Use auto_identifier.
 707         (is_auto): Drop CLASS_PLACEHOLDER_TEMPLATE test.
 708         * error.c (dump_type): Handle template placeholders.
 709         * cxx-pretty-print.c (pp_cx_unqualified_id): Likewise.
 710
 711         PR c++/88146
 712         * cvt.c (convert_to_void): Handle all cdtor calls as if
 713         returning void.
 714
 715 2019-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
 716
 717         * decl.c (grokdeclarator): Use locations[ds_storage_class] in
 718         error messages about ill-formed uses of mutable.
 719
 720 2019-01-16  Marek Polacek  <polacek@redhat.com>
 721
 722         PR c++/78244 - narrowing conversion in template not detected.
 723         * call.c (perform_implicit_conversion_flags): Set
 724         IMPLICIT_CONV_EXPR_BRACED_INIT.
 725         * cp-tree.h (IMPLICIT_CONV_EXPR_BRACED_INIT): New.
 726         * pt.c (tsubst_copy_and_build): Use it.
 727
 728 2019-01-15  David Malcolm  <dmalcolm@redhat.com>
 729
 730         PR c++/88795
 731         * pt.c (build_deduction_guide): Bail out if tsubst_arg_types
 732         fails.
 733
 734 2019-01-15  Paolo Carlini  <paolo.carlini@oracle.com>
 735
 736         * decl.c (start_decl): Improve error location.
 737         * decl2.c (grokfield): Likewise.
 738
 739 2019-01-15  Paolo Carlini  <paolo.carlini@oracle.com>
 740
 741         * decl.c (grokdeclarator): Move further up the location_t loc
 742         declaration and use the location when building a TYPE_DECL for
 743         a typedef name.
 744         * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in the error
 745         about an ill-formed bit-field as typedef.
 746
 747 2019-01-14  Marek Polacek  <polacek@redhat.com>
 748
 749         PR c++/88830 - ICE with abstract class.
 750         * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR.
 751         Fix formatting.
 752
 753         PR c++/88825 - ICE with bogus function return type deduction.
 754         * typeck.c (can_do_nrvo_p): Check error_mark_node.
 755
 756 2019-01-14  Tom Honermann  <tom@honermann.net>
 757
 758         Implement P0482R5, char8_t: A type for UTF-8 characters and strings
 759         * cvt.c (type_promotes_to): Handle char8_t promotion.
 760         * decl.c (grokdeclarator): Handle invalid type specifier
 761         combinations involving char8_t.
 762         * lex.c (init_reswords): Add char8_t as a reserved word.
 763         * mangle.c (write_builtin_type): Add name mangling for char8_t (Du).
 764         * parser.c (cp_keyword_starts_decl_specifier_p)
 765         (cp_parser_simple_type_specifier): Recognize char8_t as a simple
 766         type specifier.
 767         (cp_parser_string_literal): Use char8_array_type_node for the type
 768         of CPP_UTF8STRING.
 769         (cp_parser_set_decl_spec_type): Tolerate char8_t typedefs in system
 770         headers.
 771         * rtti.c (emit_support_tinfos): type_info support for char8_t.
 772         * tree.c (char_type_p): Recognize char8_t as a character type.
 773         * typeck.c (string_conv_p): Handle conversions of u8 string
 774         literals of char8_t type.
 775         (check_literal_operator_args): Handle UDLs with u8 string literals
 776         of char8_t type.
 777         * typeck2.c (ordinary_char_type_p): New.
 778         (digest_init_r): Disallow initializing a char array with a u8 string
 779         literal.
 780
 781 2019-01-14  Martin Liska  <mliska@suse.cz>
 782
 783         PR gcov-profile/88263
 784         * decl2.c (get_tls_wrapper_fn): Use DECL_SOURCE_LOCATION
 785         as location of the TLS wrapper.
 786
 787 2019-01-12  Paolo Carlini  <paolo.carlini@oracle.com>
 788
 789         * decl.c (cp_finish_decl): Improve error location.
 790         * decl2.c (grokfield): Likewise, improve two locations.
 791
 792 2019-01-11  Marek Polacek  <polacek@redhat.com>
 793
 794         PR c++/88692, c++/87882 - -Wredundant-move false positive with *this.
 795         * typeck.c (maybe_warn_pessimizing_move): Return if ARG isn't
 796         ADDR_EXPR.
 797
 798 2019-01-11  Jason Merrill  <jason@redhat.com>
 799
 800         PR c++/88312 - pack expansion of decltype.
 801         * pt.c (instantiation_dependent_r): A template non-type parameter
 802         pack is instantiation-dependent.
 803
 804 2019-01-11  Jason Merrill  <jason@redhat.com>
 805
 806         PR c++/88613 - ICE with use of const var in lambda.
 807         * expr.c (mark_use): Fix location wrapper handling.
 808         * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use.
 809
 810 2019-01-11  Tobias Burnus  <burnus@net-b.de>
 811
 812         PR C++/88114
 813         * decl2.c (maybe_emit_vtables): If needed, generate code for
 814         the destructor of an abstract class.
 815         (mark_used): Update comment for older function-name change.
 816
 817 2019-01-11  Paolo Carlini  <paolo.carlini@oracle.com>
 818
 819         * decl.c (start_decl): Improve error location.
 820         (grokdeclarator): Likewise, improve two locations.
 821
 822 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
 823
 824         PR other/16615
 825
 826         * cp-tree.h: Mechanically replace "can not" with "cannot".
 827         * parser.c: Likewise.
 828         * pt.c: Likewise.
 829
 830 2019-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
 831
 832         * decl.c (grok_reference_init): Improve error location.
 833         (grokdeclarator): Likewise, improve two locations.
 834
 835 2019-01-08  Marek Polacek  <polacek@redhat.com>
 836
 837         PR c++/88538 - braced-init-list in template-argument-list.
 838         * parser.c (cp_parser_template_argument): Handle braced-init-list when
 839         in C++20.
 840
 841         PR c++/88548 - this accepted in static member functions.
 842         * parser.c (cp_debug_parser): Adjust printing of
 843         local_variables_forbidden_p.
 844         (cp_parser_new): Set local_variables_forbidden_p to 0 rather than false.
 845         (cp_parser_primary_expression): When checking
 846         local_variables_forbidden_p, use THIS_FORBIDDEN or
 847         LOCAL_VARS_FORBIDDEN.
 848         (cp_parser_lambda_body): Update the type of
 849         local_variables_forbidden_p.  Set it to 0 rather than false.
 850         (cp_parser_condition): Adjust call to cp_parser_declarator.
 851         (cp_parser_explicit_instantiation): Likewise.
 852         (cp_parser_init_declarator): Likewise.
 853         (cp_parser_declarator): New parameter.  Use it.
 854         (cp_parser_direct_declarator): New parameter.  Use it to set
 855         local_variables_forbidden_p.  Adjust call to cp_parser_declarator.
 856         (cp_parser_type_id_1): Adjust call to cp_parser_declarator.
 857         (cp_parser_parameter_declaration): Likewise.
 858         (cp_parser_default_argument): Update the type of
 859         local_variables_forbidden_p.  Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
 860         rather than true.
 861         (cp_parser_member_declaration): Tell cp_parser_declarator if we saw
 862         'static' or 'friend'.
 863         (cp_parser_exception_declaration): Adjust call to cp_parser_declarator.
 864         (cp_parser_late_parsing_default_args): Update the type of
 865         local_variables_forbidden_p.  Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
 866         rather than true.
 867         (cp_parser_cache_defarg): Adjust call to cp_parser_declarator.
 868         (cp_parser_objc_class_ivars): Likewise.
 869         (cp_parser_objc_struct_declaration): Likewise.
 870         (cp_parser_omp_for_loop_init): Likewise.
 871         * parser.h (cp_parser): Change the type of local_variables_forbidden_p
 872         to unsigned char.
 873         (LOCAL_VARS_FORBIDDEN, LOCAL_VARS_AND_THIS_FORBIDDEN, THIS_FORBIDDEN):
 874         Define.
 875
 876 2019-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
 877
 878         * decl.c (start_decl): Improve permerror location.
 879
 880 2019-01-08  Jonathan Wakely  <jwakely@redhat.com>
 881             Jakub Jelinek  <jakub@redhat.com>
 882
 883         PR c++/88554
 884         * decl.c (finish_function): For -Wreturn-type don't add a return *this;
 885         fixit hint if current_class_ref is NULL.  Use a single if instead of
 886         two nested ones.
 887
 888 2019-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
 889
 890         * decl.c (start_decl): Improve two error_at locations.
 891         (expand_static_init): Likewise.
 892
 893 2019-01-07  Marek Polacek  <polacek@redhat.com>
 894
 895         PR c++/88741 - wrong error with initializer-string.
 896         * decl.c (cp_complete_array_type): Strip any location wrappers.
 897
 898 2019-01-07  Bernd Edlinger  <bernd.edlinger@hotmail.de>
 899
 900         PR c++/88261
 901         PR c++/69338
 902         PR c++/69696
 903         PR c++/69697
 904         * cp-tree.h (LOOKUP_ALLOW_FLEXARRAY_INIT): New flag value.
 905         * typeck2.c (digest_init_r): Raise an error for non-static
 906         initialization of a flexible array member.
 907         (process_init_constructor, massage_init_elt,
 908         process_init_constructor_array, process_init_constructor_record,
 909         process_init_constructor_union, process_init_constructor): Add the
 910         flags parameter and pass it thru.
 911         (store_init_value): Pass LOOKUP_ALLOW_FLEXARRAY_INIT parameter to
 912         digest_init_flags for static decls.
 913
 914 2019-01-07  Jakub Jelinek  <jakub@redhat.com>
 915
 916         PR c++/85052
 917         * cp-tree.h (cp_build_vec_convert): Declare.
 918         * parser.c (cp_parser_postfix_expression): Parse
 919         __builtin_convertvector.
 920         * constexpr.c: Include fold-const-call.h.
 921         (cxx_eval_internal_function): Handle IFN_VEC_CONVERT.
 922         (potential_constant_expression_1): Likewise.
 923         * semantics.c (cp_build_vec_convert): New function.
 924         * pt.c (tsubst_copy_and_build): Handle CALL_EXPR to
 925         IFN_VEC_CONVERT.
 926
 927 2019-01-03  Jakub Jelinek  <jakub@redhat.com>
 928
 929         PR c++/88636
 930         * decl.c (builtin_function_1): Return result of pushdecl_top_level
 931         or pushdecl rather than decl.
 932
 933 2019-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
 934
 935         * tree.c (handle_nodiscard_attribute): Improve warning location.
 936
 937 2019-01-02  Marek Polacek  <polacek@redhat.com>
 938
 939         PR c++/88612 - ICE with -Waddress-of-packed-member.
 940         * call.c (convert_for_arg_passing): Only give warnings with tf_warning.
 941         * typeck.c (convert_for_assignment): Likewise.
 942
 943         PR c++/88631 - CTAD failing for value-initialization.
 944         * typeck2.c (build_functional_cast): Try deducing the template
 945         arguments even if there are no arguments to deduce from.
 946
 947 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
 948
 949         Update copyright years.
 950 \f
 951 Copyright (C) 2019 Free Software Foundation, Inc.
 952
 953 Copying and distribution of this file, with or without modification,
 954 are permitted in any medium without royalty provided the copyright
 955 notice and this notice are preserved.