From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sonic301-30.consmr.mail.ne1.yahoo.com (sonic301-30.consmr.mail.ne1.yahoo.com [66.163.184.199]) by sourceware.org (Postfix) with ESMTPS id 8D0103858D33 for ; Thu, 11 May 2023 02:38:59 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 8D0103858D33 Authentication-Results: sourceware.org; dmarc=pass (p=reject dis=none) header.from=yahoo.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=yahoo.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1683772738; bh=i0K9lHBXMrmdYzMnKO2pvKw+OGg3ZoxN/Wl4sRb9gvM=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From:Subject:Reply-To; b=AZlKp4gOV3TSkzqWKzIlkREzcu8wA6l3uF0UWlJBIWqfSRrJCVwDsPnc1uDL5bNtu1FflQUaCjy80eMB1uyYlWa5F79NT3Misa1XAJ1PTkTlq7ya2WFuNJzIt8xgRjbVCQYu7k+rDXEjFxUob9T8ITcW26su2iIX62UwT1HwDE4+/zZKgZNPFbz79UARVkdm4FISHzVQyB70f98UUgc4Y5UgneedfgLfzMP5GinLkIrz9g/5nL1HhXqymzzANNMspdO00FHIjNVyK0FsQ8Kj/tbquW4yrbflS8lHtxemk4oQggNoZ81zsdEWpulwOcE2vEMTKl5S9vxFTYeDuwpB0A== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1683772738; bh=qxFod2MG6CAvNmKSVDgr59rScLJpgliC3iZBlx44xxN=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=MWqtJfaQGbduvfTa/cqR3nDCdOAo8dRiNIFhilJAi1cglxrrP3FFrNwKwKzLXSbtIdLsTR7s3nYLp4Kqtbhe2aO4KeQWWTku+nYyNmhZg45VTSSTMBmZzB/2+E363/NPKc8VGE4sVILk78op+4t1JqJtDbyZc5p/zT/H3AwZf3nxG4fAa30Iny8P8Ok1xRgyVbv7OmxKJ8GlQhcKA+DgtvRfNr5a5lBXJoTUWvxU96Ugkk7hEApSVAPrZrxA41fvcAJebNRqqiRWT66+7yaTfbuY2d6xlVUA7f3i1u82ELE1s3jlu468WEKfQsoJXlcdKWjzho2tcfi1GmsHSrZEFg== X-YMail-OSG: n09.02kVM1mZIFae7q.GQOssE34FQvqQ6gHhD5Eo_7R12UhnS3KxJDd8PEiCBbF tW2zMoKA6zYG.pJzOlbtIiYIn4U53n2FOxPKq2cDPXSRxrlp1AMhQRhag.tpKYnm3G44JndfKsNg gbIA0luaHgXfJPfY13cym8Oy_wXXxDA9V6DAyIiGKybjnjKrYDHmijm5TnvTuR2MN9wJs_eCGDXn CZSk1LmqDcDxPHp2IaREmHqq0qE7ch7ZZuh7Kael5EspZrWzXFNe4DolkEZbDE.p8xu.D.BI.n2N QGOeMnZjZ5zkvFmONwJUHitMOS3g.5YC627zKUAld0N1a_uhBlKw33H88_s.YjQhu.Zb1_s1ccq0 3sZ_Dizq64WUjx92HpQVXLqPWbgQQ_nyIisR8KcnLxw_J1.RrZQD_Ssdf0_cfD.dWMTUVi57R3uk 0O9b4dt1gQo4fYOjrPK_nIbUXE.E8byXX9xmq3toT0Qr2oXu61NXHgrRjslJCVweyW8aNkv3MBUT zuj5tkpCR7SNswgb.Dtu76PP3jEXToXNzJJFgePUvUCWkOBQawLBpcAZ782nMYCbHlX1Faln0WA. 1uC6.k0tmu0NrLo2LWkUlweQPq.gggc4YmT7szERQXd_q85kgrfibqRy52.xYA5whHDJNehLl5rA i9CN.iSmsfXsL3R1LbL5EsFHpHdLSu1MlG5aFoBP0bQtR8KoQCEigpSAwDC77xlz9VblDV4W_EpW 85oQ42Uqrz2HKvrMKvBdDLmzcw2wkHk7y_E_ue4tJuzuOc4f0AB6P4VIXrMSIqCpNQwkZ2RumRPJ L4ebbqjp2_rA88u5VXu0Er5uIaYTPrsZs3CqS5cHVzCOSuevUYui35YwfdJ2Q6p.GPQ7jHWamcn4 lKNrtWC1ZREejo0KZqhC3uGXrcAWar8aXXhZtwS2S_NLo9C2AkqeXmuObdRUfttDKFHmFdqgs8fh HGeJEi1vfSjX8Dli2tsngdNAuhyXzhp6yjGIO2Q7qS0OJ5K.BLQto4QC9NAQrUj_qpmXvIrg9zlD nw7BitTLmqNUYHhed37KvTrFcIFquyZ2DKTrWcFvnxgIx0exWzhnY33kRimeli9kGgvv2ikxRnk8 xGTmuce02lOmt1rSWr2l0ESPu45suq0buzb0RhVTT_pv_xVoqRFcdRys.MM0nk.L1fe8t3fqkhRF _g4MRyNaGyLtjXf9.BR33VIj3ZmTmPBAUl4LGyuEDrD2gM3T8evb3wMsTHGqUxdgPk98swU7ZW4N yZG3Vs61csWd2f.RDAdLHTTWrBLrRRaHqwX20SwYCw7T5kA0xS1GeOPKF8jnCXXxj23ODRw_ozoQ HUfurswGwToAJ6yoULEX4aoJUmBK5RDA47zwDpBw2dtw7vRI45i_BnWdMbrgRJzolsYJmjs88rqp Ka4chWXolrTacKmnVDsEz8FvPwTR.N0uQcFCMtzp94vPKIO4gpGeszPe3.HtzXaB3abs_bKNbMpZ R5.pdDMOPYPtWPP4TfwpY4B0SryWT0LVjtMqvtM7PG_ZUEmsKCQphNJTrsssqs3yYPsjHjJCP8yA APVnlM5N7aGBeBzp.MDBenUw4HCv8KtjrJXnhfBj8OacHrRjII7TIBZERDqW4gZ.v00bfq0bMfr. ty0eA.QqhhzjzS7BkObmzzUu7HKR1i5fDGRVfOB5iy4GTE7DkI9qfeR1eX99odbGk6Ir.jMTxrrJ M5c2GEzSlIy4Swnew4EcqNzRstYwLG9RFEK6C8RilHeE05GufskAxk.PmilL.Lt.dNpT3rKOskNc 7i2rCt0NgFbUzSmLM4tf4DZMmcKaQjETudyzOjr0iWoAWcaz27skE_l6HUmJKcLJ7auVfNZRfqBL Pau0fQFF3nZv3XyzqK3kKi3SSQGS1Uv3X5ErG71qUGe71RlKQcS9FYtu0vWfm0jdmR6V1_SoqfWb qfk_FWyjhVRQZI5DD0XFDOSIC5hvZbqTZOUmb1_EKQik9RdWYzX0J6V6eT3zcT9qV9i2cOekNygE ohqjOKdaFPSq3ZGEWFZ8Wr2oQ194Gg8sFKd8Q_uG05L4NredYSHpOkDuH1_F4ZKNcxVT69D_FtSy istTThGplWAsTw4f9NoCL89IdhjkRF2u279LA1ATtV2WY4FU6JHxt.z2uETmOTHXl7Ohxr2mIfMK 3.YtQQ6_xf7e.9Z.UNjHkyxIaeFWCp5EknbILJLpSGuqCJCoyV9jCENop7eZXN55jbTX3S5RTVGm cW5XI6xLx0swKVMWVI_szJ5XhySBswxwZ.hV6GVd9.64qccC22HXzC8rhuAq7zGe4pWN5h18- X-Sonic-MF: X-Sonic-ID: 8d1d7e91-a451-471e-9969-f5ad4c576ccf Received: from sonic.gate.mail.ne1.yahoo.com by sonic301.consmr.mail.ne1.yahoo.com with HTTP; Thu, 11 May 2023 02:38:58 +0000 Received: by hermes--production-sg3-748897c457-v5xjh (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 96ee8552234be829d51ccbd993021bb2; Thu, 11 May 2023 02:38:54 +0000 (UTC) From: Po Lu To: Jonathan Wakely Cc: gcc@gcc.gnu.org Subject: Re: More C type errors by default for GCC 14 In-Reply-To: (Jonathan Wakely via Gcc's message of "Wed, 10 May 2023 09:04:12 +0100") References: <877cth66qb.fsf@oldenburg.str.redhat.com> <20230509102201.6aa2a7d14fdb2f1e7abff449@killthe.net> <87r0rp5uf8.fsf@aarsen.me> <83ttwla1ep.fsf@gnu.org> <83lehx9vix.fsf@gnu.org> <83fs859unu.fsf@gnu.org> <87y1lx1avj.fsf@oldenburg.str.redhat.com> <83ednoapb6.fsf@gnu.org> Date: Thu, 11 May 2023 10:38:47 +0800 Message-ID: <875y8zegnc.fsf@yahoo.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Mailer: WebService/1.1.21471 mail.backend.jedi.jws.acl:role.jedi.acl.token.atz.jws.hermes.yahoo X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,KAM_NUMSUBJECT,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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: Jonathan Wakely via Gcc writes: > On Wed, 10 May 2023, 03:32 Eli Zaretskii, wrote: > >> >> And then people will start complaining about GCC unnecessarily >> erroring out, which is a compiler bug, since there's no problem >> producing correct code in these cases. >> > > > What is the correct code for this? > > void foo(int); > void bar() { foo("42"); } > > Why should this compile? Because keeping that from compiling will also keep this from compiling: bar () { extern foo (); return foo ("42"); } > You keep demanding better rationale for the change, but your argument > amounts to nothing more than "it compiles today, it should compile > tomorrow". And so it should. Because for every invalid piece of code you can think of, there are hundereds or thousands of combinations that may as well be valid. For example, on the 68020, vax, or similarly reasonable 32-bit machine: foo (ptr) { register char *str; str = ptr; /* do stuff with str */ puts (str); } /* In another translation unit. */ bar () { foo ("42"); }