From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 8526F3858C74; Tue,  9 Jan 2024 21:56:44 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 8526F3858C74
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704837407;
	bh=owf6LjLwDTBXrgRsAIobMkq8m+O6Dqf59wKR30D27JM=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=B1q8SOvYNFSBiUP1dVc/8t/L02C5+P+6iDpegqdWYOkYh+VxJghXpSOKQonEPznvh
	 3nA0tAb7rhWzim/TsDalAvgx+1JoZGz/VbQni/2nfMIiMVCS7rqap3y7THWul2AMZq
	 zf9O2irXKUSEJ2iPe/7C7ddUPlFwvGS8MP4m48M4=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/102609] [C++23] P0847R7 - Deducing this
Date: Tue, 09 Jan 2024 21:56:39 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-102609-4-NpcDx8ayAB@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-102609-4@http.gcc.gnu.org/bugzilla/>
References: <bug-102609-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D102609

--- Comment #20 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Jason Merrill <jason@gcc.gnu.org>:

https://gcc.gnu.org/g:f9fbf93dc82525a0f54a2293b7ec92d65776bf19

commit r14-7074-gf9fbf93dc82525a0f54a2293b7ec92d65776bf19
Author: waffl3x <waffl3x@protonmail.com>
Date:   Sun Jan 7 00:00:10 2024 +0000

    c++: P0847R7 (deducing this) - prerequisite changes. [PR102609]

    Adds the xobj_flag member to lang_decl_fn and a corresponding member ac=
cess
    macro and predicate to support the addition of explicit object member
    functions. Additionally, since explicit object member functions are also
    non-static member functions, we need to change uses of
    DECL_NONSTATIC_MEMBER_FUNCTION_P to clarify whether they intend to incl=
ude
    or exclude them.

            PR c++/102609

    gcc/cp/ChangeLog:

            * cp-tree.h (struct lang_decl_fn): New data member.
            (DECL_NONSTATIC_MEMBER_FUNCTION_P): Poison.
            (DECL_IOBJ_MEMBER_FUNCTION_P): Define.
            (DECL_FUNCTION_XOBJ_FLAG): Define.
            (DECL_XOBJ_MEMBER_FUNCTION_P): Define.
            (DECL_OBJECT_MEMBER_FUNCTION_P): Define.
            (DECL_FUNCTION_MEMBER_P): Don't use
            DECL_NONSTATIC_MEMBER_FUNCTION_P.
            (DECL_CONST_MEMFUNC_P): Likewise.
            (DECL_VOLATILE_MEMFUNC_P): Likewise.
            (DECL_NONSTATIC_MEMBER_P): Likewise.
            * module.cc (trees_out::lang_decl_bools): Handle xobj_flag.
            (trees_in::lang_decl_bools): Handle xobj_flag.
            * call.cc (build_this_conversion)
            (add_function_candidate)
            (add_template_candidate_real)
            (add_candidates)
            (maybe_warn_class_memaccess)
            (cand_parms_match)
            (joust)
            (do_warn_dangling_reference)
            * class.cc (finalize_literal_type_property)
            (finish_struct)
            (resolve_address_of_overloaded_function)
            * constexpr.cc (is_valid_constexpr_fn)
            (cxx_bind_parameters_in_call)
            * contracts.cc (build_contract_condition_function)
            * cp-objcp-common.cc (cp_decl_dwarf_attribute)
            * cxx-pretty-print.cc (cxx_pretty_printer::postfix_expression)
            (cxx_pretty_printer::declaration_specifiers)
            (cxx_pretty_printer::direct_declarator)
            * decl.cc (cp_finish_decl)
            (grok_special_member_properties)
            (start_preparsed_function)
            (record_key_method_defined)
            * decl2.cc (cp_handle_deprecated_or_unavailable)
            * init.cc (find_uninit_fields_r)
            (build_offset_ref)
            * lambda.cc (lambda_expr_this_capture)
            (maybe_generic_this_capture)
            (nonlambda_method_basetype)
            * mangle.cc (write_nested_name)
            * method.cc (early_check_defaulted_comparison)
            (skip_artificial_parms_for)
            (num_artificial_parms_for)
            * pt.cc (is_specialization_of_friend)
            (determine_specialization)
            (copy_default_args_to_explicit_spec)
            (check_explicit_specialization)
            (tsubst_contract_attribute)
            (check_non_deducible_conversions)
            (more_specialized_fn)
            (maybe_instantiate_noexcept)
            (register_parameter_specializations)
            (value_dependent_expression_p)
            * search.cc (shared_member_p)
            (lookup_member)
            (field_access_p)
            * semantics.cc (finish_omp_declare_simd_methods)
            * tree.cc (lvalue_kind)
            * typeck.cc (invalid_nonstatic_memfn_p): Don't use
            DECL_NONSTATIC_MEMBER_FUNCTION_P.

    libcc1/ChangeLog:

            * libcp1plugin.cc (plugin_pragma_push_user_expression): Don't u=
se
            DECL_NONSTATIC_MEMBER_FUNCTION_P.

    Signed-off-by: Waffl3x <waffl3x@protonmail.com>
    Co-authored-by: Jason Merrill <jason@redhat.com>=