From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from cc-smtpout2.netcologne.de (cc-smtpout2.netcologne.de [89.1.8.212]) by sourceware.org (Postfix) with ESMTPS id 61BC33857714 for ; Sat, 13 May 2023 05:30:09 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 61BC33857714 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=netcologne.de Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=netcologne.de Received: from cc-smtpin3.netcologne.de (cc-smtpin3.netcologne.de [89.1.8.203]) by cc-smtpout2.netcologne.de (Postfix) with ESMTP id B5363126A3; Sat, 13 May 2023 07:30:07 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=netcologne.de; s=nc1116a; t=1683955807; bh=4FTC22lemMgjVacH26N5MxjtTeHUppb6xbD972Yt6C0=; h=Message-ID:Date:Subject:To:Cc:References:From:In-Reply-To:From; b=Q4pmac9ZiGgJCC9tiNH3od0Hie4eNRS5K8MsCaBO+lgnpebjwalaARxxct6ZPRWMb IeutxBwK1D9JtWO7ENDJ1BtcJbOl6lLYNbiD/MlRp4MqVfEJhFThWefuJdC0AG6nZf 8l4gZFkELlbgRpbs4RyHL4HKgi85obwB3Hymz6EmGZcaZsQl7UgoBNly7JH/1PM5dY 3m37dEEleKrVh9ioJa7+iSINdrhV/w60Mqe7YqN+A+4+Sna2JAJeDRS1qOGrmY0+iv dar9dO7FkqQpQwj+JFhYglh/MjkGL0q90wEzAmIe1JDCQC0++jdxnR1NvOj8EKTVUD LqgHS9W3m9Hyg== Received: from [IPV6:2001:4dd6:3fec:0:7285:c2ff:fe6c:992d] (2001-4dd6-3fec-0-7285-c2ff-fe6c-992d.ipv6dyn.netcologne.de [IPv6:2001:4dd6:3fec:0:7285:c2ff:fe6c:992d]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by cc-smtpin3.netcologne.de (Postfix) with ESMTPSA id 6044C11E73; Sat, 13 May 2023 07:30:06 +0200 (CEST) Message-ID: <95ae59d6-097b-ebc2-06c5-b74a0544a2cc@netcologne.de> Date: Sat, 13 May 2023 07:30:05 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.10.0 Subject: Re: More C type errors by default for GCC 14 Content-Language: en-US To: Po Lu Cc: "gcc@gcc.gnu.org" References: <87mt2behdl.fsf@yahoo.com> <57238276-5966-98d6-d5f0-f5451013ed17@gmail.com> <871qjned25.fsf@yahoo.com> <67e65b41-5400-d1c2-9f43-f94d0ea7da9b@gmail.com> <87wn1fcrw4.fsf@yahoo.com> <4d2af697-2f28-9e17-6b35-3a4ba19313d2@gmail.com> <87mt2ab8te.fsf@yahoo.com> <83bkiq3umf.fsf@gnu.org> <87sfc18z66.fsf@yahoo.com> <1cb56b16-1ee0-e233-30f2-464c30d19fd4@gmail.com> <87y1lt6ouy.fsf@yahoo.com> From: Thomas Koenig In-Reply-To: <87y1lt6ouy.fsf@yahoo.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-NetCologne-Spam: L X-Rspamd-Queue-Id: 6044C11E73 X-Rspamd-Action: no action X-Spamd-Bar: --- X-Spam-Status: No, score=-4.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_NUMSUBJECT,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 13.05.23 02:45, Po Lu via Gcc wrote: > Gabriel Ravier writes: > >> ...You're joking, right ? You can't possibly be seriously arguing >> this, you have to be kidding... right ? > > No, I'm not. The meaning of a variable declaration with only a storage > class specifier is extremely clear: the type of the variable is `int'. C99, 6.7.2, "Type specifiers" # Constraints # At least one type specifier shall be given in the declaration # specifiers in each declaration, and in the specifier-qualifier # list in each struct declaration and type name. > There's absolutely nothing ambiguous about it whatsoever: In C99 and onwards, this is an error (a violation of a "shall" directive). > register i; > extern limit, *k, do_some_computation (); > > for (i = 0; i < limit; ++i) > k[i] = do_some_computation (i); > > Please try to prove me wrong. Happy to oblige.