gcc/cp/ChangeLog

   1 2019-04-19  Jakub Jelinek  <jakub@redhat.com>
   2
   3         PR c++/90108
   4         * decl.c (duplicate_decls): If remove is main variant and
   5         DECL_ORIGINAL_TYPE is some other type, remove a DECL_ORIGINAL_TYPE
   6         variant that has newdecl as TYPE_NAME if any.
   7
   8 2019-04-18  Jason Merrill  <jason@redhat.com>
   9
  10         PR c++/87554 - ICE with extern template and reference member.
  11         * decl.c (cp_finish_decl): Don't set DECL_INITIAL of external vars.
  12
  13 2019-04-17  Jason Merrill  <jason@redhat.com>
  14
  15         PR c++/90047 - ICE with enable_if alias template.
  16         * pt.c (tsubst_decl) [TYPE_DECL]: Don't put an erroneous decl in the
  17         hash table when we're in SFINAE context.
  18
  19 2019-04-17  Marek Polacek  <polacek@redhat.com>
  20
  21         PR c++/90124 - bogus error with incomplete type in decltype.
  22         * typeck.c (build_class_member_access_expr): Check
  23         cp_unevaluated_operand.
  24
  25 2019-04-12  Jakub Jelinek  <jakub@redhat.com>
  26
  27         PR c/89933
  28         * decl.c (duplicate_decls): When newdecl's type is its main variant,
  29         don't try to remove it from the variant list, but instead assert
  30         it has no variants.
  31
  32 2019-04-12  Martin Sebor  <msebor@redhat.com>
  33
  34         PR c/88383
  35         PR c/89288
  36         * parser.c (cp_parser_has_attribute_expression): Handle assignment
  37         expressions.
  38
  39 2019-04-12  Jason Merrill  <jason@redhat.com>
  40
  41         * call.c (null_member_pointer_value_p): Handle an empty CONSTRUCTOR
  42         of PMF type.
  43
  44 2019-04-12  Marek Polacek  <polacek@redhat.com>
  45
  46         * except.c (build_noexcept_spec): Use build_converted_constant_bool_expr
  47         instead of perform_implicit_conversion_flags.
  48
  49         PR c++/87603 - constexpr functions are no longer noexcept.
  50         * constexpr.c (is_sub_constant_expr): Remove unused function.
  51         * cp-tree.h (is_sub_constant_expr): Remove declaration.
  52         * except.c (check_noexcept_r): Don't consider a call to a constexpr
  53         function noexcept.
  54
  55 2019-04-11  Jakub Jelinek  <jakub@redhat.com>
  56
  57         PR translation/90035
  58         * parser.h (struct cp_parser): Add
  59         type_definition_forbidden_message_arg member.
  60         * parser.c (cp_debug_parser): Print it.
  61         (cp_parser_check_type_definition): Pass
  62         parser->type_definition_forbidden_message_arg as second argument to
  63         error.
  64         (cp_parser_has_attribute_expression, cp_parser_sizeof_operand): Set
  65         parser->type_definition_forbidden_message_arg and use G_() with
  66         %qs for parser->type_definition_forbidden_message instead of
  67         building untranslatable message using concat.
  68
  69 2019-04-09  Jakub Jelinek  <jakub@redhat.com>
  70
  71         PR translation/90011
  72         * typeck2.c (check_narrowing): Remove trailing space from diagnostics.
  73
  74 2019-04-08  Marek Polacek  <polacek@redhat.com>
  75
  76         * typeck2.c (digest_init_r): Don't condition the object slicing warning
  77         on flag_checking.
  78
  79 2019-04-08  Paolo Carlini  <paolo.carlini@oracle.com>
  80
  81         PR c++/89914
  82         * semantics.c (trait_expr_value): Don't use TYPE_NOTHROW_P
  83         when maybe_instantiate_noexcept fails.
  84         (classtype_has_nothrow_assign_or_copy_p): Likewise.
  85         * method.c (implicitly_declare_fn): Avoid passing error_mark_node
  86         to build_exception_variant.
  87
  88 2019-04-05  Marek Polacek  <polacek@redhat.com>
  89
  90         PR c++/87145 - bogus error converting class type in template arg list.
  91         * pt.c (convert_nontype_argument): Don't call
  92         build_converted_constant_expr if it could involve calling a conversion
  93         function with a instantiation-dependent constructor as its argument.
  94
  95 2019-04-05  Martin Sebor  <msebor@redhat.com>
  96
  97         PR bootstrap/89980
  98         * decl.c (reshape_init_array_1): Avoid treating empty strings
  99         as zeros in array initializers.
 100         Use trivial_type_p () instead of TYPE_HAS_TRIVIAL_DFLT().
 101
 102 2019-04-04  Jason Merrill  <jason@redhat.com>
 103
 104         PR c++/89948 - ICE with break in statement-expr.
 105         * constexpr.c (cxx_eval_statement_list): Jumping out of a
 106         statement-expr is non-constant.
 107
 108 2019-04-04  Jason Merrill  <jason@redhat.com>
 109
 110         PR c++/89966 - error with non-type auto tparm.
 111         * pt.c (do_auto_deduction): Clear tf_partial.
 112
 113 2019-04-04  Jason Merrill  <jason@redhat.com>
 114
 115         PR c++/86986 - ICE with TTP with parameter pack.
 116         * pt.c (coerce_template_parameter_pack): Only look at the type of a
 117         non-type parameter pack.
 118         (fixed_parameter_pack_p_1): Don't recurse into the type of a
 119         non-type parameter pack.
 120         (coerce_template_template_parms): Call add_outermost_template_args.
 121
 122 2019-04-04  Martin Sebor  <msebor@redhat.com>
 123
 124         PR c++/89974
 125         PR c++/89878
 126         PR c++/89833
 127         PR c++/47488
 128         * decl.c (reshape_init_array_1): Strip trailing zero-initializers
 129         from arrays of trivial type and known size.
 130         * mangle.c (write_expression): Convert braced initializer lists
 131         to STRING_CSTs.
 132         (write_expression): Trim trailing zero-initializers from arrays
 133         of trivial type.
 134         (write_template_arg_literal): Mangle strings the same as braced
 135         initializer lists.
 136
 137 2019-04-03  Jason Merrill  <jason@redhat.com>
 138
 139         PR c++/81866 - ICE with member template and default targ.
 140         * pt.c (tsubst_template_decl): Handle getting a type from
 141         retrieve_specialization.
 142
 143         PR c++/86586 - -fcompare-debug=-Wsign-compare.
 144         * typeck.c (cp_build_binary_op): Don't fold for -Wsign-compare.
 145
 146         PR c++/89331 - ICE with offsetof in incomplete class.
 147         * semantics.c (finish_offsetof): Handle error_mark_node.
 148         * typeck.c (build_class_member_access_expr): Call
 149         complete_type_or_maybe_complain before converting to base.
 150
 151         PR c++/89917 - ICE with lambda in variadic mem-init.
 152         * pt.c (make_pack_expansion): Change type_pack_expansion_p to false.
 153
 154 2019-04-01  Jason Merrill  <jason@redhat.com>
 155
 156         PR c++/86946 - ICE with function call in template argument.
 157         DR 1321
 158         * pt.c (iterative_hash_template_arg) [CALL_EXPR]: Use
 159         dependent_name.
 160
 161 2019-04-01  Paolo Carlini  <paolo.carlini@oracle.com>
 162
 163         PR c++/62207
 164         * pt.c (tsubst_copy): Deal with lookup_name not returing a variable.
 165
 166 2019-03-31  Marek Polacek  <polacek@redhat.com>
 167
 168         PR c++/89852 - ICE with C++11 functional cast with { }.
 169         * constexpr.c (fold_non_dependent_expr_template): New static function
 170         broken out of...
 171         (fold_non_dependent_expr): ...here.
 172         (fold_non_dependent_init): New function.
 173         * cp-tree.h (fold_non_dependent_init): Declare.
 174         * typeck2.c (massage_init_elt): Call fold_non_dependent_init instead
 175         of fold_non_dependent_expr.  Don't call maybe_constant_init.
 176
 177 2019-03-30  Jason Merrill  <jason@redhat.com>
 178
 179         PR c++/89744 - ICE with specialization of member class template.
 180         * pt.c (lookup_template_class_1): If the partial instantiation is
 181         explicitly specialized, adjust.
 182         (maybe_process_partial_specialization): Also adjust
 183         CLASSTYPE_TI_ARGS.
 184
 185 2019-03-29  Jakub Jelinek  <jakub@redhat.com>
 186
 187         PR sanitizer/89869
 188         * typeck.c: Include gimplify.h.
 189         (cp_build_modify_expr) <case COND_EXPR>: Unshare rhs before using it
 190         for second time.  Formatting fixes.
 191
 192 2019-03-29  Marek Polacek  <polacek@redhat.com>
 193
 194         PR c++/89876 - ICE with deprecated conversion.
 195         * call.c (convert_like_real): Only give warnings with tf_warning.
 196
 197 2019-03-28  Marek Polacek  <polacek@redhat.com>
 198
 199         PR c++/89612 - ICE with member friend template with noexcept.
 200         * pt.c (maybe_instantiate_noexcept): For function templates, use their
 201         template result (function decl).  Don't set up local specializations.
 202         Temporarily turn on processing_template_decl.  Update the template type
 203         too.
 204
 205         PR c++/89836 - bool constant expression and explicit conversions.
 206         * call.c (build_converted_constant_expr_internal): New function,
 207         renamed from...
 208         (build_converted_constant_expr): ...this.  New.
 209         (build_converted_constant_bool_expr): New.
 210         * cp-tree.h (build_converted_constant_bool_expr): Declare.
 211         * decl.c (build_explicit_specifier): Call
 212         build_converted_constant_bool_expr.
 213
 214 2019-03-28  Jakub Jelinek  <jakub@redhat.com>
 215
 216         PR c++/89785
 217         * constexpr.c (struct check_for_return_continue_data): New type.
 218         (check_for_return_continue): New function.
 219         (potential_constant_expression_1) <case SWITCH_STMT>: Walk
 220         SWITCH_STMT_BODY to find RETURN_EXPRs or CONTINUE_STMTs not nested
 221         in loop bodies and set *jump_target to that if found.
 222
 223 2019-03-27  Jason Merrill  <jason@redhat.com>
 224
 225         PR c++/89831 - error with qualified-id in const member function.
 226         * semantics.c (finish_non_static_data_member): Use object cv-quals
 227         in scoped case, too.
 228
 229         PR c++/89421 - ICE with lambda in template parameter list.
 230         * parser.c (cp_parser_lambda_expression): Also reject a lambda in a
 231         template parameter list before C++20.
 232         * pt.c (type_dependent_expression_p): True for LAMBDA_EXPR.
 233         * semantics.c (begin_class_definition): Restore error about defining
 234         non-lambda class in template parm list.
 235
 236 2019-03-26  Jason Merrill  <jason@redhat.com>
 237
 238         PR c++/86932 - missed SFINAE with empty pack.
 239         * pt.c (coerce_template_parms): Don't add an empty pack if
 240         tf_partial.
 241         (fn_type_unification): Pass tf_partial to coerce_template_parms.
 242
 243         PR c++/86429 - constexpr variable in lambda.
 244         PR c++/82643
 245         PR c++/87327
 246         * constexpr.c (cxx_eval_constant_expression): In a lambda function,
 247         try evaluating the captured variable directly.
 248
 249 2019-03-26  Jakub Jelinek  <jakub@redhat.com>
 250
 251         PR c++/89796
 252         * semantics.c (finish_omp_atomic): Add warning_sentinel for
 253         -Wunused-value around finish_expr_stmt call.
 254
 255 2019-03-25  Paolo Carlini  <paolo.carlini@oracle.com>
 256
 257         PR c++/84661
 258         PR c++/85013
 259         * parser.c (cp_parser_binary_expression): Don't call cp_fully_fold
 260         to undo the disabling of warnings.
 261
 262 2019-03-25  Jason Merrill  <jason@redhat.com>
 263
 264         PR c++/87748 - substitution failure error with decltype.
 265         * pt.c (most_specialized_partial_spec): Clear
 266         processing_template_decl.
 267
 268 2019-03-25  Marek Polacek  <polacek@redhat.com>
 269
 270         PR c++/89214 - ICE when initializing aggregates with bases.
 271         * typeck2.c (digest_init_r): Warn about object slicing instead of
 272         crashing.
 273
 274         PR c++/89705 - ICE with reference binding with conversion function.
 275         * call.c (reference_binding): If the result of the conversion function
 276         is a prvalue of non-class type, use the cv-unqualified type.
 277
 278 2019-03-25  Nathan Sidwell  <nathan@acm.org>
 279
 280         * lambda.c (maybe_add_lambda_conv_op): Don't add to comdat group.
 281
 282 2019-03-22  Jakub Jelinek  <jakub@redhat.com>
 283
 284         PR c++/60702
 285         * cp-tree.h (get_tls_wrapper_fn): Remove declaration.
 286         (maybe_get_tls_wrapper_call): Declare.
 287         * decl2.c (get_tls_wrapper_fn): Make static.
 288         (maybe_get_tls_wrapper_call): New function.
 289         * typeck.c (build_class_member_access_expr): Handle accesses to TLS
 290         variables.
 291         * semantics.c (finish_qualified_id_expr): Likewise.
 292         (finish_id_expression_1): Use maybe_get_tls_wrapper_call.
 293         * pt.c (tsubst_copy_and_build): Likewise.
 294
 295         PR c++/87481
 296         * constexpr.c (struct constexpr_ctx): Add constexpr_ops_count member.
 297         (cxx_eval_constant_expression): When not skipping, not constant class
 298         or location wrapper, increment *ctx->constexpr_ops_count and if it is
 299         above constexpr_loop_nest_limit, diagnose failure.
 300         (cxx_eval_outermost_constant_expr): Add constexpr_ops_count and
 301         initialize ctx.constexpr_ops_count to its address.
 302         (is_sub_constant_expr): Likewise.
 303
 304 2019-03-21  Jakub Jelinek  <jakub@redhat.com>
 305
 306         PR c++/71446
 307         * call.c (filed_in_pset): Change pset from hash_set<tree> * to
 308         hash_set<tree, true> &, adjust uses accordingly.
 309         (build_aggr_conv): Change pset from hash_set<tree> *
 310         to hash_set<tree, true>.  Replace goto fail; with return NULL;,
 311         adjust pset uses.
 312
 313         PR c++/89767
 314         * parser.c (cp_parser_lambda_introducer): Add ids and first_capture_id
 315         variables, check for duplicates in this function.
 316         * lambda.c (add_capture): Don't check for duplicates nor use
 317         IDENTIFIER_MARKED.
 318         (register_capture_members): Don't clear IDENTIFIER_MARKED here.
 319
 320 2019-03-21  Paolo Carlini  <paolo.carlini@oracle.com>
 321
 322         PR c++/89571
 323         * method.c (after_nsdmi_defaulted_late_checks): Avoid passing
 324         error_mark_node to comp_except_specs.
 325
 326 2019-03-20  Jason Merrill  <jason@redhat.com>
 327
 328         PR c++/87480 - decltype of member access in default template arg
 329         * pt.c (type_unification_real): Accept a dependent result in
 330         template context.
 331
 332 2019-03-19  Martin Sebor  <msebor@redhat.com>
 333
 334         PR tree-optimization/89688
 335         * typeck2.c (store_init_value): Call braced_lists_to_string for more
 336         kinds of initializers.
 337
 338 2019-03-18  Jason Merrill  <jason@redhat.com>
 339
 340         PR c++/89630 - ICE with dependent using-decl as template arg.
 341         * tree.c (cp_tree_equal): Always return false for USING_DECL.
 342
 343         PR c++/89761 - ICE with sizeof... in pack expansion.
 344         * pt.c (argument_pack_element_is_expansion_p): Handle
 345         ARGUMENT_PACK_SELECT.
 346
 347         PR c++/89640 - GNU attributes on lambda.
 348         * parser.c (cp_parser_lambda_declarator_opt): Allow GNU attributes.
 349
 350         PR c++/89682 - wrong access error in default argument.
 351         * pt.c (tsubst_default_argument): Don't defer access checks.
 352
 353 2019-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
 354
 355         PR c++/85014
 356         * semantics.c (finish_non_static_data_member): Check return value
 357         of context_for_name_lookup and immediately return error_mark_node
 358         if isn't a type.
 359
 360 2019-03-17  Jason Merrill  <jason@redhat.com>
 361
 362         PR c++/89571 - ICE with ill-formed noexcept on constructor.
 363         * pt.c (maybe_instantiate_noexcept): Only return false if defaulted.
 364         (regenerate_decl_from_template): Use it for noexcept-specs.
 365
 366 2019-03-14  Jason Merrill  <jason@redhat.com>
 367
 368         * parser.c (cp_parser_decl_specifier_seq): Support C++20
 369         concept-definition syntax without 'bool'.
 370
 371 2019-03-14  Jakub Jelinek  <jakub@redhat.com>
 372
 373         PR c++/89512
 374         * semantics.c (finish_qualified_id_expr): Reject variable templates.
 375
 376         PR c++/89652
 377         * constexpr.c (struct constexpr_ctx): Change save_exprs type from
 378         hash_set<tree> to vec<tree>.
 379         (cxx_eval_call_expression): Adjust for save_exprs being a vec instead
 380         of hash_set.
 381         (cxx_eval_loop_expr): Likewise.  Truncate the vector after each
 382         removal of SAVE_EXPRs from values.
 383         (cxx_eval_constant_expression) <case SAVE_EXPR>: Call safe_push
 384         method on save_exprs instead of add.
 385
 386 2019-03-13  Jason Merrill  <jason@redhat.com>
 387
 388         PR c++/86521 - C++17 copy elision in initialization by constructor.
 389         * call.c (joust_maybe_elide_copy): New.
 390         (joust): Call it.
 391
 392 2019-03-13  Marek Polacek  <polacek@redhat.com>
 393
 394         PR c++/88979 - further P0634 fix for constructors.
 395         * parser.c (cp_parser_decl_specifier_seq): Pass flags to
 396         cp_parser_constructor_declarator_p.
 397         (cp_parser_direct_declarator): Allow missing typename for constructor
 398         parameters.
 399         (cp_parser_constructor_declarator_p): Add FLAGS parameter.  Pass it to
 400         cp_parser_type_specifier.
 401
 402         PR c++/89686 - mixing init-capture and simple-capture in lambda.
 403         * parser.c (cp_parser_lambda_introducer): Give error when combining
 404         init-capture and simple-capture.
 405
 406         PR c++/89660 - bogus error with -Wredundant-move.
 407         * typeck.c (maybe_warn_pessimizing_move): Only accept (T &) &arg
 408         as the std::move's argument.  Don't call convert_for_initialization
 409         when warn_redundant_move isn't on.
 410
 411 2019-03-11  Jason Merrill  <jason@redhat.com>
 412
 413         PR c++/86521 - wrong overload resolution with ref-qualifiers.
 414         * call.c (build_user_type_conversion_1): Don't use a conversion to a
 415         reference of the wrong rvalueness for direct binding.
 416
 417 2019-03-11  Martin Liska  <mliska@suse.cz>
 418
 419         * cvt.c (build_expr_type_conversion): Wrap apostrophes
 420         in gcc internal format with %'.
 421         * decl.c (check_no_redeclaration_friend_default_args): Likewise.
 422         (grokfndecl): Likewise.
 423         * name-lookup.c (do_pushtag): Likewise.
 424         * pt.c (unify_parameter_deduction_failure): Likewise.
 425         (unify_template_deduction_failure): Likewise.
 426
 427 2019-03-11  Martin Liska  <mliska@suse.cz>
 428
 429         * call.c (convert_arg_to_ellipsis): Wrap an option name
 430         in a string format message and fix GNU coding style.
 431         (build_over_call): Likewise.
 432         * class.c (check_field_decl): Likewise.
 433         (layout_nonempty_base_or_field): Likewise.
 434         * constexpr.c (cxx_eval_loop_expr): Likewise.
 435         * cvt.c (type_promotes_to): Likewise.
 436         * decl.c (cxx_init_decl_processing): Likewise.
 437         (mark_inline_variable): Likewise.
 438         (grokdeclarator): Likewise.
 439         * decl2.c (record_mangling): Likewise.
 440         * error.c (maybe_warn_cpp0x): Likewise.
 441         * except.c (doing_eh): Likewise.
 442         * mangle.c (maybe_check_abi_tags): Likewise.
 443         * parser.c (cp_parser_diagnose_invalid_type_name): Likewise.
 444         (cp_parser_userdef_numeric_literal): Likewise.
 445         (cp_parser_primary_expression): Likewise.
 446         (cp_parser_unqualified_id): Likewise.
 447         (cp_parser_pseudo_destructor_name): Likewise.
 448         (cp_parser_builtin_offsetof): Likewise.
 449         (cp_parser_lambda_expression): Likewise.
 450         (cp_parser_lambda_introducer): Likewise.
 451         (cp_parser_lambda_declarator_opt): Likewise.
 452         (cp_parser_selection_statement): Likewise.
 453         (cp_parser_init_statement): Likewise.
 454         (cp_parser_decomposition_declaration): Likewise.
 455         (cp_parser_function_specifier_opt): Likewise.
 456         (cp_parser_static_assert): Likewise.
 457         (cp_parser_simple_type_specifier): Likewise.
 458         (cp_parser_namespace_definition): Likewise.
 459         (cp_parser_using_declaration): Likewise.
 460         (cp_parser_ctor_initializer_opt_and_function_body): Likewise.
 461         (cp_parser_initializer_list): Likewise.
 462         (cp_parser_type_parameter_key): Likewise.
 463         (cp_parser_member_declaration): Likewise.
 464         (cp_parser_try_block): Likewise.
 465         (cp_parser_std_attribute_spec): Likewise.
 466         (cp_parser_requires_clause_opt): Likewise.
 467         * pt.c (check_template_variable): Likewise.
 468         (check_default_tmpl_args): Likewise.
 469         (push_tinst_level_loc): Likewise.
 470         (instantiate_pending_templates): Likewise.
 471         (invalid_nontype_parm_type_p): Likewise.
 472         * repo.c (get_base_filename): Likewise.
 473         * rtti.c (typeid_ok_p): Likewise.
 474         (build_dynamic_cast_1): Likewise.
 475         * tree.c (maybe_warn_parm_abi): Likewise.
 476
 477 2019-03-08  Jakub Jelinek  <jakub@redhat.com>
 478
 479         PR other/80058
 480         * parser.c (cp_parser_template_declaration_after_parameters): Avoid
 481         one space before " at the end of line and another after " on another
 482         line in a string literal.
 483
 484         PR tree-optimization/89550
 485         * semantics.c (maybe_convert_cond): Only set TREE_NO_WARNING if
 486         warning_at returned true.
 487         * decl2.c (c_parse_final_cleanups): Likewise.
 488         * typeck.c (convert_for_assignment): Likewise.
 489         * decl.c (finish_function): Likewise.
 490
 491         PR c++/89585
 492         * parser.c (cp_parser_asm_definition): Just warn instead of error
 493         on volatile qualifier outside of function body.
 494
 495         PR c++/89599
 496         * constexpr.c (potential_constant_expression_1): Reject
 497         REINTERPRET_CAST_P NOP_EXPRs.
 498
 499         PR c++/89622
 500         * call.c (joust): Call print_z_candidate only if pedwarn returned
 501         true.
 502
 503 2019-03-07  Jason Merrill  <jason@redhat.com>
 504
 505         PR c++/88123 - lambda and using-directive.
 506         * name-lookup.c (op_unqualified_lookup)
 507         (maybe_save_operator_binding, discard_operator_bindings)
 508         (push_operator_bindings): New.
 509         * typeck.c (build_x_binary_op, build_x_unary_op): Call
 510         maybe_save_operator_binding.
 511         * decl.c (start_preparsed_function): Call push_operator_bindings.
 512         * tree.c (cp_free_lang_data): Call discard_operator_bindings.
 513
 514         PR c++/88820 - ICE with CTAD and member template used in DMI.
 515         * pt.c (do_class_deduction): Handle parm used as its own arg.
 516
 517 2019-03-07  Jakub Jelinek  <jakub@redhat.com>
 518
 519         PR c++/89585
 520         * parser.c (cp_parser_asm_definition): Parse asm qualifiers even
 521         at toplevel, but diagnose them.
 522
 523 2019-03-06  Jason Merrill  <jason@redhat.com>
 524
 525         PR c++/89381 - implicit copy and using-declaration.
 526         * class.c (classtype_has_move_assign_or_move_ctor_p): Don't consider
 527         op= brought in by a using-declaration.
 528
 529 2019-03-06  Jakub Jelinek  <jakub@redhat.com>
 530
 531         PR c++/87148
 532         * init.c (build_value_init_noctor): Ignore flexible array members.
 533
 534 2019-03-06  Jason Merrill  <jason@redhat.com>
 535
 536         PR c++/89576 - if constexpr of lambda capture.
 537         * semantics.c (maybe_convert_cond): Do convert a non-dependent
 538         condition in a template.
 539         * typeck.c (condition_conversion): Handle being called in a
 540         template.
 541
 542 2019-03-06  Marek Polacek  <polacek@redhat.com>
 543
 544         PR c++/87378 - bogus -Wredundant-move warning.
 545         * typeck.c (maybe_warn_pessimizing_move): See if the maybe-rvalue
 546         overload resolution would actually succeed.
 547
 548 2019-03-05  Jason Merrill  <jason@redhat.com>
 549
 550         * class.c (is_really_empty_class): Add ignore_vptr parm.
 551         (trivial_default_constructor_is_constexpr): Pass it.
 552         * call.c (build_over_call): Pass it.
 553         * constexpr.c (cxx_eval_constant_expression): Pass it instead of
 554         checking TYPE_POLYMORPHIC_P.
 555         (cxx_eval_component_reference, potential_constant_expression_1):
 556         Pass it.
 557         * cp-gimplify.c (simple_empty_class_p): Pass it.
 558         * init.c (expand_aggr_init_1): Pass it.
 559
 560 2019-03-04  Paolo Carlini  <paolo.carlini@oracle.com>
 561
 562         PR c++/84605
 563         * parser.c (cp_parser_class_head): Reject TYPE_BEING_DEFINED too.
 564
 565 2019-03-04  Jakub Jelinek  <jakub@redhat.com>
 566
 567         PR c++/71446
 568         * call.c (field_in_pset): New function.
 569         (build_aggr_conv): Handle CONSTRUCTOR_IS_DESIGNATED_INIT correctly.
 570
 571 2019-03-02  Jakub Jelinek  <jakub@redhat.com>
 572
 573         PR c++/71446
 574         * cp-tree.h (CONSTRUCTOR_IS_DESIGNATED_INIT): Define.
 575         * parser.c (cp_parser_braced_list): Adjust cp_parser_initializer_list
 576         caller, set CONSTRUCTOR_IS_DESIGNATED_INIT.
 577         (cp_parser_initializer_list): Add designated parameter, set *designated
 578         to a bool whether any designators were parsed.
 579         * decl.c (reshape_init): Copy over CONSTRUCTOR_IS_DESIGNATED_INIT if
 580         needed.
 581         * pt.c (tsubst_copy_and_build): Likewise.
 582         * call.c (implicit_conversion): If CONSTRUCTOR_IS_DESIGNATED_INIT,
 583         don't call build_list_conv, nor build_complex_conv, nor attempt to
 584         convert a single element initializer to scalar.
 585
 586 2019-03-01  Marek Polacek  <polacek@redhat.com>
 587
 588         PR c++/89537 - missing location for error with non-static member fn.
 589         * call.c (resolve_args): Use EXPR_LOCATION.
 590         * typeck.c (build_class_member_access_expr): Use input_location.
 591
 592         PR c++/89532 - ICE with incomplete type in decltype.
 593         * semantics.c (finish_compound_literal): Return error_mark_node
 594         if digest_init_flags returns error_mark_node.
 595
 596 2019-03-01  Jakub Jelinek  <jakub@redhat.com>
 597
 598         Implement P1002R1, Try-catch blocks in constexpr functions
 599         PR c++/89513
 600         * parser.c (cp_parser_ctor_initializer_opt_and_function_body):
 601         Diagnose constexpr ctor or function with function-try-block with
 602         pedwarn for c++17 and earlier.  Formatting fix.
 603         (cp_parser_try_block): Use pedwarn instead of error and only for
 604         c++17 and earlier when try block appears in constexpr function.
 605         * constexpr.c (build_constexpr_constructor_member_initializers):
 606         Handle TRY_BLOCK here instead of erroring on it.
 607
 608 2019-02-28  Jason Merrill  <jason@redhat.com>
 609
 610         PR c++/88183 - ICE with .* fold-expression.
 611         * pt.c (fold_expression) [DOTSTAR_EXPR]: Remove special handling.
 612
 613         PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
 614         * class.c, lambda.c, pt.c: Revert earlier change.
 615         * lambda.c (add_capture): Don't special-case capture of dependent
 616         VLA.
 617
 618         * name-lookup.c (print_binding_level): Print this_entity.
 619
 620 2019-02-27  Marek Polacek  <polacek@redhat.com>
 621
 622         PR c++/88857 - ICE with value-initialization of argument in template.
 623         * call.c (convert_like_real): Don't call build_value_init in template.
 624
 625 2019-02-27  Jason Merrill  <jason@redhat.com>
 626
 627         PR c++/86969 - ICE with constexpr if and recursive generic lambdas.
 628         * semantics.c (process_outer_var_ref): Do capture dependent vars.
 629         * class.c (finish_struct): Only add TAG_DEFN if T is in
 630         current_function_decl.
 631         * lambda.c (vla_capture_type): Force the capture type out into the
 632         lambda's enclosing function.
 633         (add_capture): Pass in the lambda.
 634         * pt.c (tsubst_lambda_expr): complete_type a VLA capture type.
 635
 636 2019-02-27  Marek Polacek  <polacek@redhat.com>
 637
 638         PR c++/89511 - ICE with using-declaration and unscoped enumerator.
 639         * parser.c (cp_parser_using_declaration): For an unscoped enum
 640         only use its context if it's not a function declaration.
 641
 642 2019-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
 643
 644         PR c++/89488
 645         * method.c (process_subob_fn): When maybe_instantiate_noexcept
 646         returns false don't call merge_exception_specifiers.
 647
 648 2019-02-27  Paolo Carlini  <paolo.carlini@oracle.com>
 649
 650         PR c++/88987
 651         * parser.c (cp_parser_noexcept_specification_opt): Return NULL_TREE
 652         for a non-constant parsed expression.
 653
 654 2019-02-26  Jakub Jelinek  <jakub@redhat.com>
 655
 656         PR c++/89481
 657         * constexpr.c (cxx_eval_store_expression): When changing active union
 658         member, set no_zero_init.
 659
 660 2019-02-23  Marek Polacek  <polacek@redhat.com>
 661
 662         PR c++/88294 - ICE with non-constant noexcept-specifier.
 663         * pt.c (maybe_instantiate_noexcept): Set up the list of local
 664         specializations.  Set current_class_{ptr,ref}.
 665
 666 2019-02-22  David Malcolm  <dmalcolm@redhat.com>
 667
 668         PR c++/89390
 669         * parser.c (cp_parser_unqualified_id): Capture and use locations
 670         for destructors.
 671
 672 2019-02-22  Marek Polacek  <polacek@redhat.com>
 673
 674         PR c++/89420 - ICE with CAST_EXPR in explicit-specifier.
 675         * decl.c (build_explicit_specifier): Don't check
 676         processing_template_decl.  Call instantiation_dependent_expression_p
 677         instead of value_dependent_expression_p.  Call
 678         instantiate_non_dependent_expr_sfinae before
 679         build_converted_constant_expr instead of calling
 680         instantiate_non_dependent_expr after it.  Add
 681         processing_template_decl_sentinel.
 682
 683 2019-02-22  Thomas Schwinge  <thomas@codesourcery.com>
 684
 685         * parser.c (cp_parser_oacc_simple_clause): Remove parser formal
 686         parameter, move loc formal parameter to the front.  Adjust all
 687         users.
 688         (cp_parser_oacc_shape_clause): Add loc formal parameter.  Adjust
 689         all users.
 690
 691 2019-02-21  Jason Merrill  <jason@redhat.com>
 692
 693         PR c++/87685 - generic lambda 'this' capture error.
 694         * lambda.c (lambda_expr_this_capture): Change add_capture_p to int.
 695         (maybe_generic_this_capture): Pass -1.
 696
 697         PR c++/88394 - ICE with VLA init-capture.
 698         * lambda.c (is_normal_capture_proxy): Check DECL_CAPTURED_VARIABLE.
 699
 700         PR c++/88869 - C++17 ICE with CTAD and explicit specialization.
 701         * pt.c (do_class_deduction): Don't include explicit specialization
 702         args in outer_args.
 703
 704         PR c++/89422 - ICE with -g and lambda in default arg in template.
 705         * pt.c (tsubst_function_decl): SET_DECL_FRIEND_CONTEXT sooner.
 706
 707 2019-02-21  Jason Merrill  <jason@redhat.com>
 708
 709         PR c++/88419 - C++17 ICE with class template arg deduction.
 710         * pt.c (make_template_placeholder): Set TYPE_CANONICAL after
 711         CLASS_PLACEHOLDER_TEMPLATE.
 712
 713 2019-02-21  Jakub Jelinek  <jakub@redhat.com>
 714
 715         PR c++/89285
 716         * constexpr.c (struct constexpr_fundef): Add parms and result members.
 717         (retrieve_constexpr_fundef): Adjust for the above change.
 718         (register_constexpr_fundef): Save constexpr body with copy_fn,
 719         temporarily set DECL_CONTEXT on DECL_RESULT before that.
 720         (get_fundef_copy): Change FUN argument to FUNDEF with
 721         constexpr_fundef * type, grab body and parms/result out of
 722         constexpr_fundef struct and temporarily change it for copy_fn calls
 723         too.
 724         (cxx_eval_builtin_function_call): For __builtin_FUNCTION temporarily
 725         adjust current_function_decl from ctx->call context.  Test
 726         !potential_constant_expression instead of !is_constant_expression.
 727         (cxx_bind_parameters_in_call): Grab parameters from new_call.  Undo
 728         convert_for_arg_passing changes for TREE_ADDRESSABLE type passing.
 729         (cxx_eval_call_expression): Adjust get_fundef_copy caller.
 730         (cxx_eval_conditional_expression): For IF_STMT, allow then or else
 731         operands to be NULL.
 732         (label_matches): Handle BREAK_STMT and CONTINUE_STMT.
 733         (cxx_eval_loop_expr): Add support for FOR_STMT, WHILE_STMT and DO_STMT.
 734         (cxx_eval_switch_expr): Add support for SWITCH_STMT.
 735         (cxx_eval_constant_expression): Handle IF_STMT, FOR_STMT, WHILE_STMT,
 736         DO_STMT, CONTINUE_STMT, SWITCH_STMT, BREAK_STMT and CONTINUE_STMT.
 737         For SIZEOF_EXPR, recurse on the result of fold_sizeof_expr.  Ignore
 738         DECL_EXPR with USING_DECL operand.
 739         * lambda.c (maybe_add_lambda_conv_op): Build thisarg using
 740         build_int_cst to make it a valid constant expression.
 741
 742 2019-02-20  Jason Merrill  <jason@redhat.com>
 743
 744         PR c++/88690 - C++17 ICE with empty base in aggregate.
 745         * typeck2.c (process_init_constructor_record): Skip trivial
 746         initialization of an empty base.
 747
 748 2019-02-21  Richard Biener  <rguenther@suse.de>
 749
 750         PR middle-end/89392
 751         * vtable-class-hierarchy.c (vtv_generate_init_routine): Do not
 752         make symtab process new functions here.
 753
 754 2019-02-20  Jason Merrill  <jason@redhat.com>
 755
 756         PR c++/87921 - wrong error with inline static data member.
 757         * decl2.c (finish_static_data_member_decl): Don't set DECL_IN_AGGR_P
 758         for a non-template inline variable.  Do nothing for an
 759         already-instantiated variable.
 760         (c_parse_final_cleanups): Check DECL_IN_AGGR_P without
 761         DECL_INLINE_VAR_P.
 762         * decl.c (check_initializer): Likewise.
 763         (make_rtl_for_nonlocal_decl): Likewise.
 764         * pt.c (instantiate_decl): Likewise.
 765         * typeck2.c (store_init_value): Likewise.
 766
 767 2019-02-20  Jakub Jelinek  <jakub@redhat.com>
 768
 769         PR c++/89403
 770         * decl2.c (c_parse_final_cleanups): Move TREE_ASM_WRITTEN setting
 771         for flag_syntax_only from here...
 772         * semantics.c (expand_or_defer_fn_1): ... here.
 773
 774         PR c++/89405
 775         * decl.c (maybe_commonize_var): When clearing TREE_PUBLIC and
 776         DECL_COMMON, set DECL_INTERFACE_KNOWN.
 777
 778         PR c++/89336
 779         * constexpr.c (cxx_eval_store_expression): Diagnose changing of active
 780         union member for -std=c++17 and earlier.
 781
 782 2019-02-19  Jason Merrill  <jason@redhat.com>
 783
 784         PR c++/87513 - 'sorry' mangling PMF template-id.
 785         * mangle.c (write_expression): Handle SCOPE_REF to BASELINK.
 786
 787 2019-02-19  Jason Merrill  <jason@redhat.com>
 788
 789         PR c++/88380 - wrong-code with flexible array and NSDMI.
 790         * typeck2.c (process_init_constructor_record): Skip flexarrays.
 791
 792 2019-02-20  will wray  <wjwray@gmail.com>
 793
 794         PR c++/88572 - wrong handling of braces on scalar init.
 795         * decl.c (reshape_init_r): Allow braces around scalar initializer
 796         within aggregate init.  Reject double braced-init of scalar
 797         variable.
 798
 799 2019-02-20  Paolo Carlini  <paolo.carlini@oracle.com>
 800
 801         PR c++/84536
 802         * pt.c (tsubst_init): Diagnose an initializer expanding to an
 803         empty list of expressions; tweak wrt dependent types.
 804         (regenerate_decl_from_template): For VAR_DECLs call tsubst_init
 805         instead of tsubst_expr.
 806
 807 2019-02-19  Jason Merrill  <jason@redhat.com>
 808
 809         PR c++/88368 - wrong 'use of deleted function'
 810         * method.c (walk_field_subobs): Remember errors from get_nsdmi.
 811         (get_defaulted_eh_spec): Call push_tinst_level.
 812         * pt.c (maybe_instantiate_noexcept): Keep error_mark_node.
 813         * typeck2.c (merge_exception_specifiers): Handle error_mark_node.
 814
 815 2019-02-19  Chung-Lin Tang <cltang@codesourcery.com>
 816
 817         PR c/87924
 818         * parser.c (cp_parser_oacc_clause_wait): Add representation of wait
 819         clause without argument as 'wait (GOMP_ASYNC_NOVAL)', adjust comments.
 820
 821 2019-02-19  Jakub Jelinek  <jakub@redhat.com>
 822
 823         PR c++/89387
 824         * lambda.c (maybe_generic_this_capture): Don't check
 825         DECL_NONSTATIC_MEMBER_FUNCTION_P on USING_DECLs.
 826
 827         PR c++/89391
 828         * typeck.c (build_reinterpret_cast_1): Don't handle void to
 829         && conversion go through build_target_expr_with_type.
 830
 831         PR c++/89390
 832         * error.c (qualified_name_lookup_error): Only call
 833         suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE.
 834
 835 2019-02-19  Tom Honermann  <tom@honermann.net>
 836
 837         * name-lookup.c (get_std_name_hint): Added u8string as a name hint.
 838
 839 2019-02-18  Jason Merrill  <jason@redhat.com>
 840
 841         PR c++/89336 - multiple stores in constexpr stmt.
 842         * constexpr.c (cxx_eval_store_expression): Preevaluate scalar or
 843         assigned value.
 844
 845         * pt.c (check_explicit_specialization): If the declarator is a
 846         template-id, only check whether the arguments are dependent.
 847
 848         Improve duplicate [[likely]] diagnostic.
 849         * parser.c (cp_parser_statement): Make attrs_loc a range.  Pass it
 850         to process_stmt_hotness_attribute.
 851         * cp-gimplify.c (process_stmt_hotness_attribute): Take attrs_loc.
 852         (genericize_if_stmt): Use likely/unlikely instead of predictor_name.
 853
 854 2019-02-17  Marek Polacek  <polacek@redhat.com>
 855
 856         PR c++/89217 - ICE with list-initialization in range-based for loop.
 857         * constexpr.c (unshare_constructor): No longer static.
 858         * cp-tree.h (unshare_constructor): Declare.
 859         * semantics.c (finish_compound_literal): When dealing with a
 860         non-dependent expression in a template, return the original
 861         expression.  Pass LOOKUP_NO_NARROWING to digest_init_flags.
 862
 863 2019-02-13  Marek Polacek  <polacek@redhat.com>
 864
 865         PR c++/89297 - ICE with OVERLOAD in template.
 866         * semantics.c (finish_compound_literal): Call
 867         instantiate_non_dependent_expr_sfinae.
 868
 869 2019-02-13  Alexandre Oliva <aoliva@redhat.com>
 870
 871         PR c++/86379
 872         * cp-tree.h (USING_DECL_SCOPE): Use result rather than type.
 873         * name-lookup.c (strip_using_decl): Use USING_DECL_SCOPE.
 874         * search.c (protected_accessible_p): Follow USING_DECL_DECLS.
 875         (shared_member_p): Likewise.
 876         (lookup_member): Likewise.
 877         * decl.c (grok_special_member_properties): Skip USING_DECLs.
 878         * semantics.c (finish_omp_declare_simd_methods): Likewise.
 879         (finish_qualified_id_expr): Do not call shared_member_p with
 880         a dependent expr.
 881
 882         PR c++/87322
 883         * pt.c (tsubst_lambda_expr): Avoid duplicate tsubsting.
 884         Move cp_evaluated resetting before signature tsubsting.
 885         (gen_elem_of_pack_expansion_instantiation): Separate local
 886         specializations per index.
 887
 888 2019-02-13  David Malcolm  <dmalcolm@redhat.com>
 889
 890         PR c++/89036
 891         * class.c (add_method): Drop destructor assertion.
 892
 893 2019-02-13  Paolo Carlini  <paolo.carlini@oracle.com>
 894
 895         PR c++/88986
 896         * decl.c (make_typename_type): Allow for TYPE_PACK_EXPANSION as
 897         context (the first argument).
 898         * pt.c (tsubst, case TYPENAME_TYPE): Handle TYPE_PACK_EXPANSION
 899         as context.
 900
 901 2019-02-12  Jason Merrill  <jason@redhat.com>
 902
 903         PR c++/89144 - link error with constexpr initializer_list.
 904         * call.c (convert_like_real) [ck_list]: Don't allocate a temporary
 905         array for an empty list.
 906         * typeck2.c (store_init_value): Don't use cxx_constant_init in a
 907         template.
 908
 909 2019-02-11  Jason Merrill  <jason@redhat.com>
 910
 911         PR c++/89241 - ICE with __func__ in lambda in template.
 912         * pt.c (enclosing_instantiation_of): Also check
 913         instantiated_lambda_fn_p for the template context.
 914
 915 2019-02-11  Marek Polacek  <polacek@redhat.com>
 916
 917         PR c++/89212 - ICE converting nullptr to pointer-to-member-function.
 918         * pt.c (tsubst_copy_and_build) <case CONSTRUCTOR>: Return early for
 919         null member pointer value.
 920
 921 2019-02-11  Jakub Jelinek  <jakub@redhat.com>
 922
 923         PR c++/88977
 924         * pt.c (convert_nontype_argument): Pass true as manifestly_const_eval
 925         to maybe_constant_value calls.
 926
 927 2019-02-11  Marek Polacek  <polacek@redhat.com>
 928
 929         * typeck2.c (digest_init_r): Remove commented code.
 930
 931 2019-02-11  Martin Sebor  <msebor@redhat.com>
 932
 933         PR c++/87996
 934         * decl.c (compute_array_index_type_loc): Preserve signed sizes
 935         for diagnostics.  Call valid_array_size_p instead of error.
 936         * init.c (build_new_1): Compute size for diagnostic.  Call
 937         invalid_array_size_error
 938         (build_new): Call valid_array_size_p instead of error.
 939
 940 2019-02-07  Alexandre Oliva <aoliva@redhat.com>
 941
 942         PR c++/86218
 943         * call.c (compare_ics): Deal with ck_aggr in either cs.
 944
 945 2019-02-06  David Malcolm  <dmalcolm@redhat.com>
 946
 947         PR c++/71302
 948         * call.c (get_location_for_expr_unwinding_for_system_header): New
 949         function.
 950         (conversion_null_warnings): Use it when getting locations for
 951         EXPR, effectively adding a call to
 952         get_location_for_expr_unwinding_for_system_header for
 953         -Wconversion-null and making use of EXPR_LOCATION for
 954         -Wzero-as-null-pointer-constant.
 955
 956 2019-02-05  Jakub Jelinek  <jakub@redhat.com>
 957
 958         PR c++/89187
 959         * optimize.c (maybe_thunk_body): Clear TREE_ADDRESSABLE on
 960         PARM_DECLs of the thunk.
 961         * lambda.c (maybe_add_lambda_conv_op): Likewise.
 962
 963 2019-02-05  Marek Polacek  <polacek@redhat.com>
 964
 965         PR c++/89158 - by-value capture of constexpr variable broken.
 966         * call.c (convert_like_real) <case ck_user>: Call mark_exp_read
 967         instead of mark_rvalue_use.
 968
 969 2019-02-05  Alexandre Oliva <aoliva@redhat.com>
 970
 971         PR c++/87770
 972         * pt.c (instantiates_primary_template_p): New.
 973         (type_dependent_expression_p): Use it.
 974
 975 2019-02-01  Jason Merrill  <jason@redhat.com>
 976
 977         PR c++/88761 - ICE with reference capture of constant.
 978         * lambda.c (mark_const_cap_r): Do walk subtrees of DECL_EXPR for
 979         non-proxy decls.
 980
 981 2019-02-01  Marek Polacek  <polacek@redhat.com>
 982
 983         PR c++/88325 - ICE with invalid out-of-line template member definition.
 984         * parser.c (cp_parser_class_name): Don't call make_typename_type
 985         for overloads.
 986
 987 2019-02-01  Jakub Jelinek  <jakub@redhat.com>
 988
 989         PR c++/87175
 990         * parser.c (cp_parser_gnu_attributes_opt): Set ok to false
 991         if require_open failed.
 992
 993 2019-01-31  Marek Polacek  <polacek@redhat.com>
 994
 995         PR c++/89083, c++/80864 - ICE with list initialization in template.
 996         * constexpr.c (adjust_temp_type): Use copy_node and change the type
 997         instead of using build_constructor.
 998         * decl.c (reshape_init_r): Don't reshape a digested initializer.
 999         Return the initializer for COMPOUND_LITERAL_P.
1000
1001         PR c++/88983 - ICE with switch in constexpr function.
1002         * constexpr.c (cxx_eval_switch_expr): Use SWITCH_COND and SWITCH_BODY.
1003         (cxx_eval_constant_expression) <case COND_EXPR>: Don't look for the
1004         label in the else branch if we found it in the then branch.
1005
1006 2019-01-30  Jason Merrill  <jason@redhat.com>
1007
1008         PR c++/88752 - ICE with lambda and constexpr if.
1009         * cp-tree.h (LAMBDA_EXPR_INSTANTIATED): New.
1010         * pt.c (tsubst_lambda_expr): Set it.
1011         (instantiated_lambda_fn_p): Check it.
1012         (enclosing_instantiation_of): Use it.
1013
1014 2019-01-31  Jakub Jelinek  <jakub@redhat.com>
1015
1016         PR libstdc++/88170
1017         * cxx-pretty-print.c (pp_cxx_enumeration_constant): Print always as
1018         a C cast in pp_c_flag_gnu_v3 mode.
1019
1020 2019-01-30  Jakub Jelinek  <jakub@redhat.com>
1021
1022         PR c++/88988
1023         * lambda.c (is_capture_proxy): Don't return true for
1024         DECL_OMP_PRIVATIZED_MEMBER artificial vars.
1025
1026 2019-01-30  Marek Polacek  <polacek@redhat.com>
1027
1028         PR c++/89119 - ICE with value-initialization in template.
1029         * pt.c (tsubst_copy_and_build): Handle RANGE_EXPR.
1030
1031 2019-01-29  Jason Merrill  <jason@redhat.com>
1032
1033         PR c++/86943 - wrong code converting lambda to function pointer.
1034         * lambda.c (maybe_add_lambda_conv_op): Use a template-id in the
1035         call.  Only forward parms for decltype.
1036         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Handle CALL_FROM_THUNK_P
1037         specially.
1038         * typeck.c (check_return_expr): Don't mess with a thunk call.
1039
1040 2019-01-28  Jason Merrill  <jason@redhat.com>
1041
1042         PR c++/89089 - ICE with [[no_unique_address]].
1043         PR c++/88865 - wrong layout with [[no_unique_address]].
1044         * class.c (check_field_decls): A potentially-overlapping field makes
1045         the class non-layout-POD, but not non-empty.
1046         (end_of_class): Always consider empty data members.
1047         (layout_class_type): Set DECL_SIZE for empty fields.
1048
1049 2019-01-28  Marek Polacek  <polacek@redhat.com>
1050
1051         PR c++/88358 - name wrongly treated as type.
1052         * parser.c (cp_parser_direct_declarator): Don't assume a qualified-id
1053         in parameter-list is a type if the function's declarator-id is not
1054         qualified.
1055
1056 2019-01-27  Marek Polacek  <polacek@redhat.com>
1057
1058         PR c++/88815 - narrowing conversion lost in decltype.
1059         PR c++/78244 - narrowing conversion in template not detected.
1060         * cp-tree.h (CONSTRUCTOR_IS_DEPENDENT): New.
1061         * pt.c (instantiation_dependent_r): Consider a CONSTRUCTOR with
1062         CONSTRUCTOR_IS_DEPENDENT instantiation-dependent.
1063         * semantics.c (finish_compound_literal): When the compound literal
1064         isn't instantiation-dependent and the type isn't type-dependent,
1065         fall back to the normal processing.  Set CONSTRUCTOR_IS_DEPENDENT.
1066
1067         PR c++/89024 - ICE with incomplete enum type.
1068         * call.c (standard_conversion): When converting an
1069         ARITHMETIC_TYPE_P to an incomplete type, return NULL.
1070
1071 2019-01-25  Paolo Carlini  <paolo.carlini@oracle.com>
1072
1073         PR c++/88969
1074         * call.c (build_op_delete_call): Implement 7.6.2.5/(10.1).
1075         * decl2.c (coerce_delete_type): Use build_pointer_type instead
1076         of TYPE_POINTER_TO.
1077
1078 2019-01-24  Jason Merrill  <jason@redhat.com>
1079
1080         PR c++/89001 - mangling of reference temporaries
1081         * cp-tree.h (struct saved_scope): Add ref_temp_count.
1082         (current_ref_temp_count): New macro.
1083         * mangle.c (mangle_ref_init_variable): Use it.
1084         * typeck2.c (store_init_value): Clear it.
1085         * call.c (make_temporary_var_for_ref_to_temp): Copy public and
1086         comdat.
1087
1088 2019-01-24  Jakub Jelinek  <jakub@redhat.com>
1089
1090         PR c++/88976
1091         * semantics.c (finish_omp_cancel): Diagnose more than one if
1092         on #pragma omp cancel with different modifiers.  Use
1093         maybe_convert_cond when not in template or build_x_binary_op
1094         otherwise.
1095
1096 2019-01-23  Marek Polacek  <polacek@redhat.com>
1097
1098         PR c++/88757 - qualified name treated wrongly as type.
1099         * parser.c (cp_parser_direct_declarator): Don't treat qualified-ids
1100         in parameter-list as types if name lookup for declarator-id didn't
1101         find one or more function templates.
1102
1103 2019-01-23  Jakub Jelinek  <jakub@redhat.com>
1104
1105         PR c/44715
1106         * cp-gimplify.c (genericize_cp_loop): Call begin_bc_block only
1107         after genericizing cond and incr expressions.
1108
1109         PR c++/88984
1110         * cp-gimplify.c (genericize_switch_stmt): Move cond genericization
1111         before the begin_bc_block call.
1112
1113 2019-01-21  Jason Merrill  <jason@redhat.com>
1114
1115         PR c++/87893 - constexpr ctor ICE on ARM.
1116         PR c++/88293 - ICE with comma expression.
1117         * constexpr.c (initialized_type): Don't shortcut non-void type.
1118         Handle COMPOUND_EXPR.
1119         (cxx_eval_outermost_constant_expr): Return early for void type.
1120
1121 2019-01-21  Jakub Jelinek  <jakub@redhat.com>
1122
1123         PR c++/88949
1124         * optimize.c (cxx_copy_decl): New function.
1125         (clone_body): Use it instead of copy_decl_no_change.
1126
1127         PR sanitizer/88901
1128         * typeck.c (cp_build_binary_op): Don't instrument
1129         SANITIZE_POINTER_COMPARE if processing_template_decl.
1130         (pointer_diff): Similarly for SANITIZE_POINTER_SUBTRACT.
1131
1132 2019-01-18  Jason Merrill  <jason@redhat.com>
1133
1134         PR c++/88875 - error with explicit list constructor.
1135         * call.c (reference_binding): Don't modify EXPR.  Set
1136         need_temporary_p on the ck_user conversion for a temporary.
1137         (convert_like_real): Check it.
1138
1139 2019-01-18  H.J. Lu  <hongjiu.lu@intel.com>
1140
1141         PR c/51628
1142         PR c/88664
1143         * call.c (convert_for_arg_passing): Upate the
1144         warn_for_address_or_pointer_of_packed_member call.
1145         * typeck.c (convert_for_assignment): Likewise.
1146
1147 2019-01-17  Jason Merrill  <jason@redhat.com>
1148
1149         PR c++/86205 - ICE with ?: of throw and template-id.
1150         * pt.c (resolve_nondeduced_context_or_error): Split out from...
1151         * typeck.c (decay_conversion): ...here.
1152         * call.c (build_conditional_expr_1): Use it.
1153
1154         PR c++/86740, ICE with constexpr if and nested generic lambdas.
1155         * tree.c (cp_walk_subtrees): Handle LAMBDA_EXPR.
1156
1157 2019-01-17  Paolo Carlini  <paolo.carlini@oracle.com>
1158
1159         * decl.c (grokdeclarator): Use typespec_loc in error messages
1160         about 'auto' and trailing return type.
1161
1162 2019-01-17  David Malcolm  <dmalcolm@redhat.com>
1163
1164         PR c++/88699
1165         * class.c (add_method): Don't use DECL_DESTRUCTOR_P on
1166         USING_DECLs.
1167
1168 2019-01-17  Nathan Sidwell  <nathan@acm.org>
1169
1170         PR c++/86610
1171         * semantics.c (process_outer_var_ref): Only skip dependent types
1172         in templates.
1173
1174 2019-01-17  Alexandre Oliva <aoliva@redhat.com>
1175
1176         PR c++/87768
1177         * cp-tree.h (saved_scope): Add suppress_location_wrappers.
1178         * name-lookup.c (do_push_to_top_level): Save and reset it.
1179         (do_pop_from_top_level): Restore it.
1180
1181         PR c++/86648
1182         * pt.c (make_template_placeholder): Use auto_identifier.
1183         (is_auto): Drop CLASS_PLACEHOLDER_TEMPLATE test.
1184         * error.c (dump_type): Handle template placeholders.
1185         * cxx-pretty-print.c (pp_cx_unqualified_id): Likewise.
1186
1187         PR c++/88146
1188         * cvt.c (convert_to_void): Handle all cdtor calls as if
1189         returning void.
1190
1191 2019-01-16  Paolo Carlini  <paolo.carlini@oracle.com>
1192
1193         * decl.c (grokdeclarator): Use locations[ds_storage_class] in
1194         error messages about ill-formed uses of mutable.
1195
1196 2019-01-16  Marek Polacek  <polacek@redhat.com>
1197
1198         PR c++/78244 - narrowing conversion in template not detected.
1199         * call.c (perform_implicit_conversion_flags): Set
1200         IMPLICIT_CONV_EXPR_BRACED_INIT.
1201         * cp-tree.h (IMPLICIT_CONV_EXPR_BRACED_INIT): New.
1202         * pt.c (tsubst_copy_and_build): Use it.
1203
1204 2019-01-15  David Malcolm  <dmalcolm@redhat.com>
1205
1206         PR c++/88795
1207         * pt.c (build_deduction_guide): Bail out if tsubst_arg_types
1208         fails.
1209
1210 2019-01-15  Paolo Carlini  <paolo.carlini@oracle.com>
1211
1212         * decl.c (start_decl): Improve error location.
1213         * decl2.c (grokfield): Likewise.
1214
1215 2019-01-15  Paolo Carlini  <paolo.carlini@oracle.com>
1216
1217         * decl.c (grokdeclarator): Move further up the location_t loc
1218         declaration and use the location when building a TYPE_DECL for
1219         a typedef name.
1220         * decl2.c (grokbitfield): Use DECL_SOURCE_LOCATION in the error
1221         about an ill-formed bit-field as typedef.
1222
1223 2019-01-14  Marek Polacek  <polacek@redhat.com>
1224
1225         PR c++/88830 - ICE with abstract class.
1226         * decl2.c (maybe_emit_vtables): Check CLASSTYPE_LAZY_DESTRUCTOR.
1227         Fix formatting.
1228
1229         PR c++/88825 - ICE with bogus function return type deduction.
1230         * typeck.c (can_do_nrvo_p): Check error_mark_node.
1231
1232 2019-01-14  Tom Honermann  <tom@honermann.net>
1233
1234         Implement P0482R5, char8_t: A type for UTF-8 characters and strings
1235         * cvt.c (type_promotes_to): Handle char8_t promotion.
1236         * decl.c (grokdeclarator): Handle invalid type specifier
1237         combinations involving char8_t.
1238         * lex.c (init_reswords): Add char8_t as a reserved word.
1239         * mangle.c (write_builtin_type): Add name mangling for char8_t (Du).
1240         * parser.c (cp_keyword_starts_decl_specifier_p)
1241         (cp_parser_simple_type_specifier): Recognize char8_t as a simple
1242         type specifier.
1243         (cp_parser_string_literal): Use char8_array_type_node for the type
1244         of CPP_UTF8STRING.
1245         (cp_parser_set_decl_spec_type): Tolerate char8_t typedefs in system
1246         headers.
1247         * rtti.c (emit_support_tinfos): type_info support for char8_t.
1248         * tree.c (char_type_p): Recognize char8_t as a character type.
1249         * typeck.c (string_conv_p): Handle conversions of u8 string
1250         literals of char8_t type.
1251         (check_literal_operator_args): Handle UDLs with u8 string literals
1252         of char8_t type.
1253         * typeck2.c (ordinary_char_type_p): New.
1254         (digest_init_r): Disallow initializing a char array with a u8 string
1255         literal.
1256
1257 2019-01-14  Martin Liska  <mliska@suse.cz>
1258
1259         PR gcov-profile/88263
1260         * decl2.c (get_tls_wrapper_fn): Use DECL_SOURCE_LOCATION
1261         as location of the TLS wrapper.
1262
1263 2019-01-12  Paolo Carlini  <paolo.carlini@oracle.com>
1264
1265         * decl.c (cp_finish_decl): Improve error location.
1266         * decl2.c (grokfield): Likewise, improve two locations.
1267
1268 2019-01-11  Marek Polacek  <polacek@redhat.com>
1269
1270         PR c++/88692, c++/87882 - -Wredundant-move false positive with *this.
1271         * typeck.c (maybe_warn_pessimizing_move): Return if ARG isn't
1272         ADDR_EXPR.
1273
1274 2019-01-11  Jason Merrill  <jason@redhat.com>
1275
1276         PR c++/88312 - pack expansion of decltype.
1277         * pt.c (instantiation_dependent_r): A template non-type parameter
1278         pack is instantiation-dependent.
1279
1280 2019-01-11  Jason Merrill  <jason@redhat.com>
1281
1282         PR c++/88613 - ICE with use of const var in lambda.
1283         * expr.c (mark_use): Fix location wrapper handling.
1284         * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use.
1285
1286 2019-01-11  Tobias Burnus  <burnus@net-b.de>
1287
1288         PR C++/88114
1289         * decl2.c (maybe_emit_vtables): If needed, generate code for
1290         the destructor of an abstract class.
1291         (mark_used): Update comment for older function-name change.
1292
1293 2019-01-11  Paolo Carlini  <paolo.carlini@oracle.com>
1294
1295         * decl.c (start_decl): Improve error location.
1296         (grokdeclarator): Likewise, improve two locations.
1297
1298 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
1299
1300         PR other/16615
1301
1302         * cp-tree.h: Mechanically replace "can not" with "cannot".
1303         * parser.c: Likewise.
1304         * pt.c: Likewise.
1305
1306 2019-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
1307
1308         * decl.c (grok_reference_init): Improve error location.
1309         (grokdeclarator): Likewise, improve two locations.
1310
1311 2019-01-08  Marek Polacek  <polacek@redhat.com>
1312
1313         PR c++/88538 - braced-init-list in template-argument-list.
1314         * parser.c (cp_parser_template_argument): Handle braced-init-list when
1315         in C++20.
1316
1317         PR c++/88548 - this accepted in static member functions.
1318         * parser.c (cp_debug_parser): Adjust printing of
1319         local_variables_forbidden_p.
1320         (cp_parser_new): Set local_variables_forbidden_p to 0 rather than false.
1321         (cp_parser_primary_expression): When checking
1322         local_variables_forbidden_p, use THIS_FORBIDDEN or
1323         LOCAL_VARS_FORBIDDEN.
1324         (cp_parser_lambda_body): Update the type of
1325         local_variables_forbidden_p.  Set it to 0 rather than false.
1326         (cp_parser_condition): Adjust call to cp_parser_declarator.
1327         (cp_parser_explicit_instantiation): Likewise.
1328         (cp_parser_init_declarator): Likewise.
1329         (cp_parser_declarator): New parameter.  Use it.
1330         (cp_parser_direct_declarator): New parameter.  Use it to set
1331         local_variables_forbidden_p.  Adjust call to cp_parser_declarator.
1332         (cp_parser_type_id_1): Adjust call to cp_parser_declarator.
1333         (cp_parser_parameter_declaration): Likewise.
1334         (cp_parser_default_argument): Update the type of
1335         local_variables_forbidden_p.  Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
1336         rather than true.
1337         (cp_parser_member_declaration): Tell cp_parser_declarator if we saw
1338         'static' or 'friend'.
1339         (cp_parser_exception_declaration): Adjust call to cp_parser_declarator.
1340         (cp_parser_late_parsing_default_args): Update the type of
1341         local_variables_forbidden_p.  Set it to LOCAL_VARS_AND_THIS_FORBIDDEN
1342         rather than true.
1343         (cp_parser_cache_defarg): Adjust call to cp_parser_declarator.
1344         (cp_parser_objc_class_ivars): Likewise.
1345         (cp_parser_objc_struct_declaration): Likewise.
1346         (cp_parser_omp_for_loop_init): Likewise.
1347         * parser.h (cp_parser): Change the type of local_variables_forbidden_p
1348         to unsigned char.
1349         (LOCAL_VARS_FORBIDDEN, LOCAL_VARS_AND_THIS_FORBIDDEN, THIS_FORBIDDEN):
1350         Define.
1351
1352 2019-01-08  Paolo Carlini  <paolo.carlini@oracle.com>
1353
1354         * decl.c (start_decl): Improve permerror location.
1355
1356 2019-01-08  Jonathan Wakely  <jwakely@redhat.com>
1357             Jakub Jelinek  <jakub@redhat.com>
1358
1359         PR c++/88554
1360         * decl.c (finish_function): For -Wreturn-type don't add a return *this;
1361         fixit hint if current_class_ref is NULL.  Use a single if instead of
1362         two nested ones.
1363
1364 2019-01-07  Paolo Carlini  <paolo.carlini@oracle.com>
1365
1366         * decl.c (start_decl): Improve two error_at locations.
1367         (expand_static_init): Likewise.
1368
1369 2019-01-07  Marek Polacek  <polacek@redhat.com>
1370
1371         PR c++/88741 - wrong error with initializer-string.
1372         * decl.c (cp_complete_array_type): Strip any location wrappers.
1373
1374 2019-01-07  Bernd Edlinger  <bernd.edlinger@hotmail.de>
1375
1376         PR c++/88261
1377         PR c++/69338
1378         PR c++/69696
1379         PR c++/69697
1380         * cp-tree.h (LOOKUP_ALLOW_FLEXARRAY_INIT): New flag value.
1381         * typeck2.c (digest_init_r): Raise an error for non-static
1382         initialization of a flexible array member.
1383         (process_init_constructor, massage_init_elt,
1384         process_init_constructor_array, process_init_constructor_record,
1385         process_init_constructor_union, process_init_constructor): Add the
1386         flags parameter and pass it thru.
1387         (store_init_value): Pass LOOKUP_ALLOW_FLEXARRAY_INIT parameter to
1388         digest_init_flags for static decls.
1389
1390 2019-01-07  Jakub Jelinek  <jakub@redhat.com>
1391
1392         PR c++/85052
1393         * cp-tree.h (cp_build_vec_convert): Declare.
1394         * parser.c (cp_parser_postfix_expression): Parse
1395         __builtin_convertvector.
1396         * constexpr.c: Include fold-const-call.h.
1397         (cxx_eval_internal_function): Handle IFN_VEC_CONVERT.
1398         (potential_constant_expression_1): Likewise.
1399         * semantics.c (cp_build_vec_convert): New function.
1400         * pt.c (tsubst_copy_and_build): Handle CALL_EXPR to
1401         IFN_VEC_CONVERT.
1402
1403 2019-01-03  Jakub Jelinek  <jakub@redhat.com>
1404
1405         PR c++/88636
1406         * decl.c (builtin_function_1): Return result of pushdecl_top_level
1407         or pushdecl rather than decl.
1408
1409 2019-01-03  Paolo Carlini  <paolo.carlini@oracle.com>
1410
1411         * tree.c (handle_nodiscard_attribute): Improve warning location.
1412
1413 2019-01-02  Marek Polacek  <polacek@redhat.com>
1414
1415         PR c++/88612 - ICE with -Waddress-of-packed-member.
1416         * call.c (convert_for_arg_passing): Only give warnings with tf_warning.
1417         * typeck.c (convert_for_assignment): Likewise.
1418
1419         PR c++/88631 - CTAD failing for value-initialization.
1420         * typeck2.c (build_functional_cast): Try deducing the template
1421         arguments even if there are no arguments to deduce from.
1422
1423 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
1424
1425         Update copyright years.
1426 \f
1427 Copyright (C) 2019 Free Software Foundation, Inc.
1428
1429 Copying and distribution of this file, with or without modification,
1430 are permitted in any medium without royalty provided the copyright
1431 notice and this notice are preserved.