From owner-sc22wg14+sc22wg14-domo2=www.open-std.org@open-std.org Wed Sep 2 18:04:17 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 1A90C356E41; Wed, 2 Sep 2026 18:04:17 +0200 (CEST) Delivered-To: sc22wg14@open-std.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by www.open-std.org (Postfix) with ESMTP id 9AB38356D75 for ; Wed, 2 Sep 2026 18:04:16 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1788365055; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=REbjz4rYK8KmUEFRJ6MD1wLE9xM2WYdOC/v3AlZCtBg=; b=TcsxOYkOXi1n8fdZUPSpVxXjjCGnFFo6i7dwFepdJmdu9S8e4lXYpyNSTAT6JMUsI5XtLP xGCKIac2pgeeEvSK1zWUtukeuRSM3hMjmwR1ZP5IXsZ+EQLhEShxJTsdhdAWJbQ+VhPUZm /eEO++VPpFk6xvTT50nkMdDM/0HIV+E= Received: from mail-wm1-f70.google.com (mail-wm1-f70.google.com [209.85.128.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-528-KTuqQivyMLWBPWBft0hOgA-1; Wed, 02 Sep 2026 12:04:13 -0400 X-MC-Unique: KTuqQivyMLWBPWBft0hOgA-1 X-Mimecast-MFC-AGG-ID: KTuqQivyMLWBPWBft0hOgA_1788365053 Received: by mail-wm1-f70.google.com with SMTP id 5b1f17b1804b1-493fa6e28a7so11718825e9.1 for ; Wed, 02 Sep 2026 09:04:13 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1788365052; x=1788969852; h=content-type:mime-version:references:message-id:in-reply-to:subject :cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to:content-type; bh=KuXNzHrc4PzSbuBcTQlDddEas3DZ0lDtVHpDk4EOkbQ=; b=nPpX5/RvXsT1c0v6Zu0zxmMsxZtm4y4OUsMjV/GE9jT/zVQWgkfx2ndU2xstxz72Jw u4f1J3jocAPAHSINHFP6NY5ezjRsRCJayE1gYqOdcTH0ie6z4UVxK9jB6KuKDV9hv/dL /r0S39JFMuWEcDGCgUOnXvBKBZcPRB9lCcWZkeQ4IYZcDFPsb9IXP6UD96J2dVJh8R9T mJG2MLNt8MzfhobmkxXrVSes90TaAq7Ih/EcQJWKZ8pBPdFqmV0sM3ePuDswzrd+SUWf HR7PNaftNlYmHJbUlK4ij79qRDnd5iuLYlow571Fhfn3+VzKoYiU/LUzNkyPt5x0OZPO P9HA== X-Gm-Message-State: AFuF++kys5/J/3A7f25m4pkwMbQE3NgOGcQhpwnQ/TJ3XPvh17hiJrCz GuzXp04e9fIpJUX+UNBa97xVBlwbGZVbQkL7/K13EiYwbhRcjP4qn91uPwdqQs7oUkWM5JGAu7H 2Z53zhhK76VFHunN8Z7FMPvzw/OHAP0Qg2J2A89w3SOcL28LKW355L17ZXQftkS30 X-Gm-Gg: AR+sD12qyUz8XCdmEquyKHiBete42mRQLQJr+hwdS/Czu8XuWC/8WojHMRVGdz2dTy3 xuBEQDs9iV9kmjIiPJyoov5bUo6bvNXLrfZS0Efima1rOi8Sj5rXPG0TMXZA+RKa0mia/uPoxI2 /3hnPHZqnyrXX1EYMEuMQLhFPcsP39BXrBqhYg4y4p1De59Tg6hpRV4ORP6HccaZ5yIzu1QEF8Y 4bOJ8bpBmCMja2A8gRdnxN02pKQl+L9I/Iv29CkxipORmEHZWh8P3SBBO2zK5jAh4yarY3yubj6 KOLClKHzWCvELwSeRONvJhTLMwIUepLYfLsMZ177P3adzF+8pOtV2e27xILCZ4g+kRG6JF/PcKg sbFYvu97kdhtJJCn/kSMwbzy54tbWqRI= X-Received: by 2002:a05:600c:3113:b0:49b:924e:9a28 with SMTP id 5b1f17b1804b1-49ce58163aemr93703035e9.1.1788365052413; Wed, 02 Sep 2026 09:04:12 -0700 (PDT) X-Received: by 2002:a05:600c:3113:b0:49b:924e:9a28 with SMTP id 5b1f17b1804b1-49ce58163aemr93701665e9.1.1788365051937; Wed, 02 Sep 2026 09:04:11 -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-49cee5dadddsm1870095e9.9.2026.09.02.09.04.11 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 02 Sep 2026 09:04:11 -0700 (PDT) Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.98.2) (envelope-from ) id 1x1nRa-00000001Cc1-2M88; Wed, 02 Sep 2026 16:04:10 +0000 Date: Wed, 2 Sep 2026 16:04:10 +0000 (UTC) From: Joseph Myers To: =?UTF-8?Q?J=E2=82=91=E2=82=99=E2=82=9B_Gustedt?= cc: sc22wg14@open-std.org Subject: Re: [SC22WG14.37789] New issue #1102: Conditions for when types are inferred In-Reply-To: <20260902091123.DAC29356E1E@www.open-std.org> Message-ID: <6499351f-3147-872f-96f7-475ef8fd318f@redhat.com> References: <20260901201538.52728356E47@www.open-std.org> <20260902091123.DAC29356E1E@www.open-std.org> MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: YiUqiKsf8AEyJLpgbjVDrq4-gUnX1ZrnuDq73i9twjk_1788365053 X-Mimecast-Originator: redhat.com Content-Type: multipart/mixed; boundary="-1152306461-636675668-1788365050=:264624" Sender: owner-sc22wg14@open-std.org Precedence: bulk This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---1152306461-636675668-1788365050=:264624 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8BIT On Wed, 2 Sep 2026, Jā‚‘ā‚™ā‚› Gustedt wrote: > If `auto` appears with another storage-class specifier, or if it > appears in a declaration at file scope, it is ignored for the > purposes of determining a storage duration or linkage. In this case, > it indicates only that the declared type can > is to be inferred. > > It would be better to have all the constraints regrouped in 6.7.10, > Type inference. That could then read > > **Constraints** > > 1 A declaration for which the type is inferred shall contain the > storage-class specifier `auto` and shall not contain any type > specifiers`. I think we should have a proper definition of "inferred" or "inferred type" (in italics). (N3579 confuses things with lots of spurious uses of italics for non-definitions, but I think the sentence there that's meant as a definition is probably "When the placeholder type specifier appears as the only type specifier in a specifier-qualifier-list, it designates an inferred type.".) -- Joseph S. Myers josmyers@redhat.com ---1152306461-636675668-1788365050=:264624--