gcc/cp/ChangeLog

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