gcc/cp/ChangeLog

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