From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joseph_myers@mentor.com>
Received: from esa2.mentor.iphmx.com (esa2.mentor.iphmx.com [68.232.141.98])
	by sourceware.org (Postfix) with ESMTPS id E812E3858D26
	for <gcc@gcc.gnu.org>; Thu,  3 Nov 2022 18:04:37 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org E812E3858D26
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com
X-IronPort-AV: E=Sophos;i="5.96,134,1665475200"; 
   d="scan'208";a="86196467"
Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167])
  by esa2.mentor.iphmx.com with ESMTP; 03 Nov 2022 10:04:36 -0800
IronPort-SDR: VkceYYg2ykKa1sTi0Q5pyjPLrSI5vlUHq2yxLUsOqmSCHER3k6nCoWfusGt9cmEv5NUMBfSJM/
 RzTRWiT6LTDdnodprhAtZaLEZ6zfzg328nVv2iWBeCWEBUodwpD7j+pDozGYrK255U1bSTUJt3
 wjtEi88DqhKkBq9ahnSw8lYobU4nXMd8wzvaz23YMMlvHyE3E679ciOLtuJ81+iktfnr5PeTls
 U2IzOES5xLZ6z4SXu7YxGPaXu5JayMQ8zDaJgnMGkpNojJhYT0rCmbGiDpzG09Be+kcgnqA76h
 6l0=
Date: Thu, 3 Nov 2022 18:04:31 +0000
From: Joseph Myers <joseph@codesourcery.com>
To: Florian Weimer <fweimer@redhat.com>
CC: <gcc@gcc.gnu.org>
Subject: Re: Local type inference with auto is in C2X
In-Reply-To: <87zgd8fhn4.fsf@oldenburg.str.redhat.com>
Message-ID: <3f573e-a863-e1e6-f5be-83a6d7d32da0@codesourcery.com>
References: <87zgd8fhn4.fsf@oldenburg.str.redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
X-Originating-IP: [137.202.0.90]
X-ClientProxiedBy: SVR-IES-MBX-07.mgc.mentorg.com (139.181.222.7) To
 svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10)
X-Spam-Status: No, score=-3110.2 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc.gcc.gnu.org>

On Thu, 3 Nov 2022, Florian Weimer via Gcc wrote:

> My main worry is that both Clang and GCC still enable implicit ints by
> default.  This means that auto variables have type int always, and that
> can subtly alter the meaning of programs.  The only indication that this
> has happened in a code base is a warning that went away (!).  I don't
> like that.

My expectation is that the old use of auto as a storage class specifier is 
actually very rare in C code, so this particular sub-case (auto with no 
type specifier meaning implicit int) is even rarer and there isn't much 
porting to be done for it (unlike for the rest of implicit int).

-- 
Joseph S. Myers
joseph@codesourcery.com