From patchwork Fri Mar 31 14:49:09 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jonathan Wakely X-Patchwork-Id: 77801 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:b0ea:0:b0:3b6:4342:cba0 with SMTP id b10csp620351vqo; Fri, 31 Mar 2023 07:51:35 -0700 (PDT) X-Google-Smtp-Source: AKy350a/MgYD59zWxvDhKlxckO5m3o2UYjk2ypN+Bp3LnxKUQmcwGM2mijJlnFbxcTdIbAlpIod7 X-Received: by 2002:a17:907:7d8b:b0:93f:82cb:fe42 with SMTP id oz11-20020a1709077d8b00b0093f82cbfe42mr25986893ejc.58.1680274295000; Fri, 31 Mar 2023 07:51:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1680274294; cv=none; d=google.com; s=arc-20160816; b=jcrSrjW1r4/frqqad9ZTjRTSKBFq6bJT2XZg75rYHhp854U49q4SqnpAiTrkbV2I4V tOkIyujfYGj4hrlopx0yg5ZBy7wvLsfLa7+HypyR7ekI1jk5TfP5Cyja4u1lQNZ9LEXr 1s/kg6+LtCVXxSHcsggU3E8EkmjdSEilfgtIUbIsMV4xTdH5HRlN6mlurzFBBdoObhbd 0vVFl0jOF6uQSk8p2wwNKEOUCpNcrb06mgVYDC3xe9BZxo7L6ZrnDiunJsuOF3gLXBwm lG8J54Iqrf/w/58u2dlfJ6D1n7iuohzzk907zbMFdj3XAXjfi0yajngXNncRMd1IBhPR Jakg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:message-id:date:subject:to :dmarc-filter:delivered-to:dkim-signature:dkim-filter; bh=k3hHyad2Auq7G41l1eBL4MIuJ9l/b1Bv4EYOUKbKmg4=; b=ed7bi8dH3FZuuuhOVmqicb+Wd4061dTWhVbiYXl4ilBPcJrCtr+QGDDTbALEOgk92u jjsSofNHFZzFmb4I7JV1RFU76sAE8sMgWqlAJPB3zSEFUL2gA3NcKdMFY7NyoQwVu3dt kblJRotULPbKeZBq1AJUxrbpxvamVe1NyTMbuZ7x616lI/0Rw1rynAf8UIiR2Rttwivw BQBILVI+xzzwao2znnN3y7587UTmTyfdVNLsyNe7T+YE6sLSPNNlE2+7Nv5s9cUfQoB/ f7fLQMF9MZOCa8YOOqfvzWV+vRAHKEDEaCjvEhT3+/3mdkFFzq3mLWwxDaa9m4q8TUCQ 0Uxw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=yYmHP86G; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id 14-20020a170906318e00b008e4daeaa329si934574ejy.963.2023.03.31.07.51.34 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 31 Mar 2023 07:51:34 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=yYmHP86G; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 6EA7C387090B for ; Fri, 31 Mar 2023 14:50:33 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 6EA7C387090B DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1680274233; bh=k3hHyad2Auq7G41l1eBL4MIuJ9l/b1Bv4EYOUKbKmg4=; h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=yYmHP86GS/lGiybkgUWra4rJpnHmOmgyqubDGw24+1Hpf9mR2qh0W+3ceGXvA9lBN fHWsWUTJ8Z9xJK7VAIW+gjFpUPB7AKxzh4hBE3+vC6xRjrFcZ1XDWms8MZ66jlCcqF 9wCxhVcFgsNydYK6a3y83JnmFe5ea8c/2onK9G+Q= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 3C9063858C53 for ; Fri, 31 Mar 2023 14:49:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3C9063858C53 Received: from mimecast-mx02.redhat.com (mimecast-mx02.redhat.com [66.187.233.88]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-659-dO41Ock8OW2A6BjKcVbZMg-1; Fri, 31 Mar 2023 10:49:10 -0400 X-MC-Unique: dO41Ock8OW2A6BjKcVbZMg-1 Received: from smtp.corp.redhat.com (int-mx10.intmail.prod.int.rdu2.redhat.com [10.11.54.10]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx02.redhat.com (Postfix) with ESMTPS id 46FA28028B3; Fri, 31 Mar 2023 14:49:10 +0000 (UTC) Received: from localhost (unknown [10.33.36.223]) by smtp.corp.redhat.com (Postfix) with ESMTP id 10BAE492C3E; Fri, 31 Mar 2023 14:49:09 +0000 (UTC) To: libstdc++@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: [committed] libstdc++: Revert addition of boolean flag to net::ip::basic_endpoint Date: Fri, 31 Mar 2023 15:49:09 +0100 Message-Id: <20230331144909.29872-1-jwakely@redhat.com> MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.1 on 10.11.54.10 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-11.8 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Jonathan Wakely via Gcc-patches From: Jonathan Wakely Reply-To: Jonathan Wakely Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1761895299375487188?= X-GMAIL-MSGID: =?utf-8?q?1761895299375487188?= Tested powerpc64le-linux. Pushed to trunk. -- >8 -- As pointed out in P2641R1, we can use GCC's __builtin_constant_p to emulate the proposed std::is_active_member. This allows us to detect which of the union members is active during constant evaluation, so we don't need the extra bool data member. We still can't support constexpr until C++20 though, as we need to change the active member during constant evaluation. libstdc++-v3/ChangeLog: * include/experimental/internet (ip::basic_endpoint::_M_if_v6): Revert change from member function to data member. Fix for constant evaluation by detecting which union member is active. (ip::basic_endpoint::resize): Revert changes to update _M_is_v6 flag. --- libstdc++-v3/include/experimental/internet | 32 ++++++++++------------ 1 file changed, 14 insertions(+), 18 deletions(-) diff --git a/libstdc++-v3/include/experimental/internet b/libstdc++-v3/include/experimental/internet index dff81b456ab..eb23ae21cdc 100644 --- a/libstdc++-v3/include/experimental/internet +++ b/libstdc++-v3/include/experimental/internet @@ -1531,7 +1531,6 @@ namespace ip std::_Construct(&_M_data._M_v6); _M_data._M_v6.sin6_family = __proto.family(); _M_data._M_v6.sin6_port = address_v4::_S_hton_16(__port_num); - _M_is_v6 = true; } else { @@ -1560,7 +1559,6 @@ namespace ip for (int __i = 0; __i < 16; ++__i) __s6a[__i] = __addr._M_v6._M_bytes[__i]; _M_data._M_v6.sin6_scope_id = __addr._M_v6._M_scope_id; - _M_is_v6 = true; } } @@ -1568,13 +1566,13 @@ namespace ip constexpr protocol_type protocol() const noexcept { - return _M_is_v6 ? protocol_type::v6() : protocol_type::v4(); + return _M_is_v6() ? protocol_type::v6() : protocol_type::v4(); } constexpr ip::address address() const noexcept { - if (_M_is_v6) + if (_M_is_v6()) { address_v6 __v6; const uint8_t* __s6a = _M_data._M_v6.sin6_addr.s6_addr; @@ -1601,14 +1599,12 @@ namespace ip __builtin_memcpy(_M_data._M_v6.sin6_addr.s6_addr, __addr._M_v6._M_bytes.data(), 16); _M_data._M_v6.sin6_scope_id = __addr._M_v6._M_scope_id; - _M_is_v6 = true; } else { std::_Construct(&_M_data._M_v4); _M_data._M_v4.sin_family = protocol_type::v4().family(); _M_data._M_v4.sin_addr.s_addr = __addr._M_v4._M_addr; - _M_is_v6 = false; } } @@ -1616,7 +1612,7 @@ namespace ip port() const noexcept { port_type __p = 0; - if (_M_is_v6) + if (_M_is_v6()) __p = _M_data._M_v6.sin6_port; else __p = _M_data._M_v4.sin_port; @@ -1627,7 +1623,7 @@ namespace ip port(port_type __port_num) noexcept { __port_num = address_v4::_S_hton_16(__port_num); - if (_M_is_v6) + if (_M_is_v6()) _M_data._M_v6.sin6_port = __port_num; else _M_data._M_v4.sin_port = __port_num; @@ -1639,19 +1635,11 @@ namespace ip constexpr size_t size() const noexcept - { return _M_is_v6 ? sizeof(sockaddr_in6) : sizeof(sockaddr_in); } + { return _M_is_v6() ? sizeof(sockaddr_in6) : sizeof(sockaddr_in); } void resize(size_t __s) { - __glibcxx_assert(__s >= 0); - static_assert(offsetof(sockaddr_in6, sin6_family) - == offsetof(sockaddr_in, sin_family), - "sockaddr_in::sin_family and sockaddr_in6::sin6_family " - "must be at the same offset"); - const sa_family_t __in6 = AF_INET6; - const auto* __ptr = (char*)&_M_data + offsetof(sockaddr_in, sin_family); - _M_is_v6 = __builtin_memcmp(&__in6, __ptr, sizeof(__in6)) == 0; if (__s != size()) __throw_length_error("net::ip::basic_endpoint::resize"); } @@ -1665,7 +1653,15 @@ namespace ip sockaddr_in6 _M_v6; } _M_data; - bool _M_is_v6 = false; + constexpr bool + _M_is_v6() const noexcept + { + // For constexpr eval we can just detect which union member is active. + // i.e. emulate P2641R1's std::is_active_member(&_M_data._M_v6)). + if (std::__is_constant_evaluated()) + return __builtin_constant_p(_M_data._M_v6.sin6_family); + return _M_data._M_v6.sin6_family == AF_INET6; + } }; /** basic_endpoint comparisons