gcc/cp/ChangeLog

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