gcc/cp/ChangeLog

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