From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Tue Aug 25 18:58:04 2026 Return-Path: X-Original-To: sc22wg14-domo2 Delivered-To: sc22wg14-domo2@www.open-std.org Received: by www.open-std.org (Postfix, from userid 521) id 3F096356E50; Tue, 25 Aug 2026 18:58:04 +0200 (CEST) Delivered-To: sc22wg14@open-std.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by www.open-std.org (Postfix) with ESMTP id CD410356BEF for ; Tue, 25 Aug 2026 18:58:03 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1787677082; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=42D/n+7YRy/QOcVyTROZfZvmS1UOLbnp5yybmlFrt2M=; b=Lv0+leKtsPX2Ix45RTPtSvD6EH3PagDXVQfMTv3bbjTTLK+v0Y1G+JXq+uuO0EQXUmULWa 1W7IvELDOqlrTlC4YX77A9g1B9jwtRcXVQtiY4h5j96Sg0Wk5aNOQ8SBcE+9UL8LeQs4ct uz332F+FLqYo0Y6PI57WyzS4fIizNEA= Received: from mail-wm1-f72.google.com (mail-wm1-f72.google.com [209.85.128.72]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-473-4JPSJFp2PBeXg9eF_5fcag-1; Tue, 25 Aug 2026 12:58:00 -0400 X-MC-Unique: 4JPSJFp2PBeXg9eF_5fcag-1 X-Mimecast-MFC-AGG-ID: 4JPSJFp2PBeXg9eF_5fcag_1787677080 Received: by mail-wm1-f72.google.com with SMTP id 5b1f17b1804b1-49808ea1b64so22705e9.1 for ; Tue, 25 Aug 2026 09:58:00 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1787677080; x=1788281880; h=content-type:mime-version:message-id:subject:to:from:date:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=42D/n+7YRy/QOcVyTROZfZvmS1UOLbnp5yybmlFrt2M=; b=JwhQKctfwU5IyKC8fBJ/iOubC7XmjEroU8As0Z/pw4mxSsy6wgkMMs3R18ASCjl3+Z loAXpVUcndQuQ1O9/UFvCBZIUoRNj4Af8lBg077QBdezVviSkUhfQ0pEuTW8CQlyfaMi EW8yC545vJaECmNCQx01tGEzNSdaXPINQ+4W7Sc+Xki46E6SrfD1/Tdv7v9ws3mrPUO1 5sUJiMQDbhrGbr4vBIrv0P3NJoiLBltutuHv8MIv5dBlZ28JrRh32yNbYM2daMztuQGI +RORa9XwYhe68SwZLWCJ6Z2eQou559pmAfxtL6B0ao7ndmfMZwrmwiW0rP4ANGYbi3yc j6Dw== X-Gm-Message-State: AFuF++mXyCPGL5JubFUROvFWt781XF0aTqL8Rv53Hy+KeFAzVEVwqltn b18ilLDD8hJGUac5XPcpgzKJFuYpII4zyI4FR0Z9pVCYdibgYEVjWNg7KxlIfwEH+IjYiT5gnMy bwnowiaZZ7lJw8SxE5mCbzH8XjpUNwb9YbHqNL7Xr7szt9xf3JUF/0Xdp0ySnTBLwE0peSAZwf/ X2yVOt4MrcC//zQUum9WELBd7GxIwYMxt7pq4cankV X-Gm-Gg: AR+sD12dRO6+KE4E6DFOSMCdjjtVBHnnYyZWzbi+WIfYun8+rM/75kzeSNiILG2/MBc O2UpZxsEu1TFwdKmVFsWhNWVcLY16lyOGs6NhyGXCTQnBLmYErHG64wz60QyC2U+T3WUk/oLRZi 4aiRrcagLwUURV7FukgIc4hjzmz4z5WoP/yQ9ITed5D2dk4Xa4S7XvRqVyENYO6/sFszkkWC0N4 ECdlIuDYYDv/FzIBFpR1RZM/R+6i7wMXBg+q0TA72ir+ZYvi6l7CXiVaIUBwbA2l7gp4BWJg6wa 3hPQ2ZKQOjcnEWMgeH1qEXohOp5zkiwUB1tmIpQ15Tbt8zSWBcI8O1XWnnJX1+hVMEjGNoiBgZO zt7Cjz8NJqftyLCj47/D66/agfP3Ivjc= X-Received: by 2002:a05:600c:4715:b0:493:f783:c46a with SMTP id 5b1f17b1804b1-499dc6a4c76mr2350695e9.6.1787677079781; Tue, 25 Aug 2026 09:57:59 -0700 (PDT) X-Received: by 2002:a05:600c:4715:b0:493:f783:c46a with SMTP id 5b1f17b1804b1-499dc6a4c76mr2350405e9.6.1787677079380; Tue, 25 Aug 2026 09:57:59 -0700 (PDT) Received: from digraph.polyomino.org.uk (digraph.polyomino.org.uk. [2001:8b0:bf73:93f7::51bb:e332]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-499dc9b82cdsm426665e9.13.2026.08.25.09.57.58 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 25 Aug 2026 09:57:58 -0700 (PDT) Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.98.2) (envelope-from ) id 1wyuTG-00000006XXB-1EU6 for sc22wg14@open-std.org; Tue, 25 Aug 2026 16:57:58 +0000 Date: Tue, 25 Aug 2026 16:57:58 +0000 (UTC) From: Joseph Myers To: sc22wg14@open-std.org Subject: static_assert member declarations wording (issue 1023) Message-ID: MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: RsTIotvPdhMpM3LTQXph-1EVuIw2e59bvOpU5j8sv3U_1787677080 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=US-ASCII Sender: owner-sc22wg14@open-std.org Precedence: bulk Here is my proposed wording for issue 1023, trying to be consistent with how things are worded for declarations. I think this covers all the places needing updating to reflect that a member declaration can be a static_assert declaration; considering that lots of places talk about (for example) the attribute specifier sequence in a declaration (implicitly only applying to those kinds of declarations that include an attribute specifier sequence), I think it is reasonable not to change places that talk about the specifier qualifier list in a member declaration rather than making them explicitly say "member declaration other than a static_assert declaration". In C23 6.7.3.2 (Structure and union specifiers), change: > A member declaration that does not declare an anonymous structure or > anonymous union shall contain a member declarator list. to > If a member declaration other than a static\_assert declaration does > not include a member declarator list, its specifier qualifier list > shall include a structure or union specifier with no tag. In C23 6.7.3.2 (Structure and union specifiers), also change: > The member declaration list is a sequence of declarations for the > members of the structure or union, possibly mixed with > static\_assert declarations. In C23 3.17 (definition of "memory location"), change: > The same applies to two bit-fields, if one is declared inside a > nested structure declaration and the other is not, or if the two are > separated by a zero-length bit-field declaration, or if they are > separated by a non-bit-field, non-static\_assert member > declaration. -- Joseph S. Myers josmyers@redhat.com