gcc/cp/ChangeLog

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