From patchwork Tue Jul 7 12:29:14 2026 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: =?utf-8?q?Tomasz_Kami=C5=84ski?= X-Patchwork-Id: 138656 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from vm01.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 671BC4BA2E25 for ; Tue, 7 Jul 2026 12:31:49 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 671BC4BA2E25 Authentication-Results: sourceware.org; dkim=pass (1024-bit key, unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256 header.s=mimecast20190719 header.b=S24hV1Lw 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.133.124]) by sourceware.org (Postfix) with ESMTP id 43DF74BA2E17 for ; Tue, 7 Jul 2026 12:29:53 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 43DF74BA2E17 Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=redhat.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 43DF74BA2E17 Authentication-Results: sourceware.org; arc=none smtp.remote-ip=170.10.133.124 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1783427393; cv=none; b=b5guNlyeSZ2UNxvxioCb4nFjrbccAmU7dGgoM5UqzcKqgaMFLlVumOdR85Elrfbp8dON+wf3LTcNY9YKOVH5am1ncJg06SUUTSca7zhrE//Zq/okA6A3jLYQX2gylupIedT4Ob9v/A0u+vj3Ebr9QRZ4Qr3T+0i7OWTkP2sKN7c= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1783427393; c=relaxed/simple; bh=zT4INlAkYuQac8r3qR6TFnEwCFKAcyODoXGG9yrirC4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=oelYanmq2mh1xEqkKcnYNyfctfUH20Brur+cuC6+VpeWKA9v78bZp+I/VfHZFiKxbST4F/mpCcmMaJc2KiJXF0TXcCq2xApnbvUxTEc5+8gVEw0KAYDRvGiYoZVRXCK1UPvLSHT2BaaPqZjtUuEJCehloQ4Tc84pSdYHA1qEiAA= ARC-Authentication-Results: i=1; sourceware.org; dkim=pass (1024-bit key, unprotected) header.d=redhat.com header.i=@redhat.com header.a=rsa-sha256 header.s=mimecast20190719 header.b=S24hV1Lw DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 43DF74BA2E17 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1783427392; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=jT9B+hNFmfF2PsPPIDcSALV0EDrQIxpczQ2fPD0W4IE=; b=S24hV1LwuQebvdQ/s3bYMM/wx8YXl4MI4+tjjN9ischyJtfcjaKJuBZ2pCnr/5NseXMKaV EaOmE1kr7iKoEDZmtNJss2ef/iu64yvmBK/1LjVaVMkahUiTk9NJEJWc48C1BjnACcUfqJ vvE7dytkM1tADQyYHznaPjcTm75y4hc= Received: from mx-prod-mc-06.mail-002.prod.us-west-2.aws.redhat.com (ec2-35-165-154-97.us-west-2.compute.amazonaws.com [35.165.154.97]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-260-SsciPLsiNF-631vuJAOOTQ-1; Tue, 07 Jul 2026 08:29:51 -0400 X-MC-Unique: SsciPLsiNF-631vuJAOOTQ-1 X-Mimecast-MFC-AGG-ID: SsciPLsiNF-631vuJAOOTQ_1783427390 Received: from mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com (mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com [10.30.177.17]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mx-prod-mc-06.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTPS id 5BA4F1809C8A; Tue, 7 Jul 2026 12:29:50 +0000 (UTC) Received: from localhost (unknown [10.44.49.91]) by mx-prod-int-05.mail-002.prod.us-west-2.aws.redhat.com (Postfix) with ESMTP id C1F521955F76; Tue, 7 Jul 2026 12:29:49 +0000 (UTC) From: =?utf-8?q?Tomasz_Kami=C5=84ski?= To: libstdc++@gcc.gnu.org, gcc-patches@gcc.gnu.org Subject: [committed] libstdc++: Add _GLIBCXX_RESOLVE_LIB_DEFECTS comments for 2023 issues. Date: Tue, 7 Jul 2026 14:29:14 +0200 Message-ID: <20260707122948.811779-1-tkaminsk@redhat.com> MIME-Version: 1.0 X-Scanned-By: MIMEDefang 3.0 on 10.30.177.17 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: 0_UlW3Uo9jha7Rtj02aa77_MIl6vWdkZ-N21Hwkzu9A_1783427390 X-Mimecast-Originator: redhat.com content-type: text/plain; charset="US-ASCII"; x-default=true X-Spam-Status: No, score=-12.3 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_H4, RCVD_IN_MSPIKE_WL, SPF_HELO_PASS, SPF_NONE, TXREP shortcircuit=no autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on sourceware.org X-BeenThere: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gcc-patches-bounces~patchwork=sourceware.org@gcc.gnu.org Covers issues affecting pre-C++23 features that was accepted during meetings in year 2023. libstdc++-v3/ChangeLog: * include/bits/version.def (allocate_at_least): Add comment listing papers adding values and LWG3887. * include/bits/stl_iterator.h: Add comment for LWG3953. * include/std/format: Add comment for LWG3892. * include/std/type_traits: Add comment for LWG3655. --- Tested locally for any dg-messages with line numbers. Pushed to trunk. libstdc++-v3/include/bits/stl_iterator.h | 4 ++++ libstdc++-v3/include/bits/version.def | 3 +++ libstdc++-v3/include/std/format | 4 ++++ libstdc++-v3/include/std/type_traits | 2 ++ 4 files changed, 13 insertions(+) diff --git a/libstdc++-v3/include/bits/stl_iterator.h b/libstdc++-v3/include/bits/stl_iterator.h index 747e4a44c27..f5f2abbb8b6 100644 --- a/libstdc++-v3/include/bits/stl_iterator.h +++ b/libstdc++-v3/include/bits/stl_iterator.h @@ -2131,6 +2131,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION return *this; } + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 3953. iter_move for common_iterator and ... should return decltype(auto) constexpr decltype(auto) operator++(int) { @@ -2454,6 +2456,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION return *this; } + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 3953. iter_move for ... and counted_iterator should return decltype(auto) constexpr decltype(auto) operator++(int) { diff --git a/libstdc++-v3/include/bits/version.def b/libstdc++-v3/include/bits/version.def index 81484ad2f75..d14d4f4ef25 100644 --- a/libstdc++-v3/include/bits/version.def +++ b/libstdc++-v3/include/bits/version.def @@ -89,6 +89,9 @@ ftms = { }; ftms = { + // 202106 P0401R6 Providing size feedback in the Allocator interface + // 202302 P2652R2 Disallow user specialization of allocator_traits + // LWG3887 Version macro for allocate_at_least name = allocate_at_least; values = { v = 202302; diff --git a/libstdc++-v3/include/std/format b/libstdc++-v3/include/std/format index dd275b6b817..8e7702d76df 100644 --- a/libstdc++-v3/include/std/format +++ b/libstdc++-v3/include/std/format @@ -5888,6 +5888,8 @@ namespace __format constexpr void _M_parse() { + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 3892. Incorrect formatting of nested ranges and tuples basic_format_parse_context<_CharT> __pc({}); if (_M_formatter.parse(__pc) != __pc.end()) __format::__failed_to_parse_format_spec(); @@ -6174,6 +6176,8 @@ namespace __format auto __parse_val = [&](_String_view __nfs = _String_view()) { + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 3892. Incorrect formatting of nested ranges and tuples basic_format_parse_context<_CharT> __npc(__nfs); if (_M_fval.parse(__npc) != __npc.end()) __format::__failed_to_parse_format_spec(); diff --git a/libstdc++-v3/include/std/type_traits b/libstdc++-v3/include/std/type_traits index c56fae4a5bf..2b3f10016a2 100644 --- a/libstdc++-v3/include/std/type_traits +++ b/libstdc++-v3/include/std/type_traits @@ -2849,6 +2849,8 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION { using _Argval = __remove_cvref_t<_Arg>; using _MemPtr = _Res _Class::*; + // _GLIBCXX_RESOLVE_LIB_DEFECTS + // 3655. The INVOKE operation and union types using type = typename __conditional_t<__or_, is_base_of<_Class, _Argval>>::value, __result_of_memobj_ref<_MemPtr, _Arg>,