From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Thu Oct 23 18:10:28 2025 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 D11F8356623; Thu, 23 Oct 2025 18:10:28 +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 76EBF3565A7 for ; Thu, 23 Oct 2025 18:10:27 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1761235825; 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=0CYoDfAoSW4EG7by0x8Xi1PMkSglwqL8DYLFgxh81oM=; b=azwjUAxdT7ZLDrII8mnLVVIgD3kXr8HjQkGcmDu5Z3NbYc9rN8i+2ZBEAqX6KLhjYZQc5E IbiqKfdy9BJQpIOEb0KbLj2FaIBCHf7g3ABByOea2CS+8CUT/w6wcLcgFvwLDHdKCuMV22 U8NHOu6SDAIDp3hil8RVDrHtSDL5TOI= Received: from mail-wm1-f71.google.com (mail-wm1-f71.google.com [209.85.128.71]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-613-7aw40cPDNCKmfHJbmS6dAQ-1; Thu, 23 Oct 2025 12:10:23 -0400 X-MC-Unique: 7aw40cPDNCKmfHJbmS6dAQ-1 X-Mimecast-MFC-AGG-ID: 7aw40cPDNCKmfHJbmS6dAQ_1761235822 Received: by mail-wm1-f71.google.com with SMTP id 5b1f17b1804b1-471144baa7eso6677715e9.0 for ; Thu, 23 Oct 2025 09:10:22 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761235821; x=1761840621; h=mime-version:message-id:subject:to:from:date:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=0CYoDfAoSW4EG7by0x8Xi1PMkSglwqL8DYLFgxh81oM=; b=eWmS5+Fmekr8oxVEr8g1m4K/XKyt/f+fHSYX00uHdh8YvARIM4YUO8Uv3xd3i9emLl qjakc8sycqDeuXJk4+pohZO2lD3bPhF1ON8fCiCfuM9BribgFuQ3W6Q3Hm/kmyZF2uuR mf+SUdijB5sIN675OFrDc5TOZnUyuoYPJmKtf5srFJUsFTJXM0dMi8u1C1Lbkk4sFNRN lo4qxhiyU4Ps0tbddfHovsSYHPYm9/Jn2P6e1AvC4el0o4tjVEoqU3BqEArqBRtMlTOX htd+rOiPbQ6v18WjJaEi9QLRqj+yO8s3PjdQGipS67qrEysvtTW1QhrW3YLwSX77Nhqw NeLg== X-Gm-Message-State: AOJu0Yx1v5xm2jw9Ff5WJWb87hQQDpxovraz43viwtgohHGNTg7b26AQ 9csmIFq2ge9oqP1dKoL9yaBau98yn8Bs4S12kfgoRxDtlGZOcT1yXoFIBAtSe1Bthn48pfIr7dw Wh3073a8u39FcHoC9bqV2IYWN6GXoU18tOsnjhkFxtW7A+4enzQ984kXJhHZ4/osaHLRmh/CFoD LOwXTCgrj+588LtqV5tjMlPjduY9ttydoXu8woazSt X-Gm-Gg: ASbGncugyYhvq3bNivtYmriq4x4LF/ly0ZLuIUbD8zlZUPE7VkluPHxtTQF3l9Xjq4b sp8Qv8RwNr2FOHZ2SV+lzV8rKgg9Iw6FouW2BQxGnlAtgMzVqbtwQiMqHJltS94RLEF20/HGY16 y0JuvS4JFiLx7fzfnd+pRAwfHvDMZAIhraomoJiTiMF2xoLx4j+2Zujwm8kJHPkwpPHHnAPOvi2 4ZIdk0tthnV6gp9z6fe6Hv4kYEwBvXMkmuMEYWwcecop55g8T0A5dJxOIZGVthKAG8XxrdK9/GQ yT+AdfBuSWkYMECBLn6UOPqQK8zaJdaFrJYTuwsUo7jvNLF7jKeMd0dSAX2PuXBX2Vsv0erlsJk WbyP5maH3PSqYmuuIAHkKrZtlVlGyQw== X-Received: by 2002:a05:600c:548c:b0:46d:5189:3583 with SMTP id 5b1f17b1804b1-471177bad0dmr178763565e9.0.1761235821549; Thu, 23 Oct 2025 09:10:21 -0700 (PDT) X-Google-Smtp-Source: AGHT+IHcEX+DX6G/eviwQQZO4oLzebOAQDzCmTVRxHEPi1ST86J9cPrsowLixX384cox5mLcLCBWcg== X-Received: by 2002:a05:600c:548c:b0:46d:5189:3583 with SMTP id 5b1f17b1804b1-471177bad0dmr178763245e9.0.1761235821100; Thu, 23 Oct 2025 09:10:21 -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-475c4369b5esm120960585e9.15.2025.10.23.09.10.19 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 Oct 2025 09:10:20 -0700 (PDT) Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.97) (envelope-from ) id 1vBxtK-00000008EsG-0z30 for sc22wg14@open-std.org; Thu, 23 Oct 2025 16:10:18 +0000 Date: Thu, 23 Oct 2025 16:10:18 +0000 (UTC) From: Joseph Myers To: sc22wg14@open-std.org Subject: static_assert disambiguation in for loops Message-ID: MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: l9Jp4i84XkOaPTF23gHGmIcK1phZ67jWcWd2FffI1H8_1761235822 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=US-ASCII Sender: owner-sc22wg14@open-std.org Precedence: bulk N3715, which we recently accepted, has a syntactic disambiguation rule that "A block item of the form static-assertion ; shall be interpreted as a static_assert-declaration." I think we need a similar rule also for when the clause-1 of a for statement is a static assertion. (As with that for block items, this doesn't affect the final semantics of the static assertion, just which sequence of syntax productions it goes through.) -- Joseph S. Myers josmyers@redhat.com