From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from sonic315-22.consmr.mail.ne1.yahoo.com (sonic315-22.consmr.mail.ne1.yahoo.com [66.163.190.148]) by sourceware.org (Postfix) with ESMTPS id 6EEDD3858D28 for ; Sun, 14 May 2023 05:28:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 6EEDD3858D28 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=1684042135; bh=PM1TlHX29rviZdKSI0nbNP+IEabAcH0+WQWECAuTmAw=; h=From:To:Cc:Subject:In-Reply-To:References:Date:From:Subject:Reply-To; b=KxNeOSf2cx9RwQBBT3EGG+TGahO6lnfpFvmmOFKpU8x0jfo1nq5s3WoScmNuYYXw2yf/8Bq/pi15wQ6jjb/gXzRYY8ndhiZMxS343fKyy44nN8/Dp7/haPt9vZJKPU1kyowh/ZBPxeiu7ff03PVGzZVRrtJg63dbQWTN8F+TT4tetJYM4oHP0/mgVDl7QTCjJHQ6t7KwIVO3Fj3K+HfjF/2VskfjPDYtLDoqiHQPIus3uV6Al3qqp4yE/TT/JdryO5vJasTCc5c0NGCIsFnBZb3qjCJ3yqhKCyaxB+0NUpIPCtSA8MZWqsPVslmjD5Q/OSLfNTeF5pXSZu0P4vIQcQ== X-SONIC-DKIM-SIGN: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1684042135; bh=292IKtcvREfWgj5DHLwha+HGJfj0u7CagIU/rX0IQ1F=; h=X-Sonic-MF:From:To:Subject:Date:From:Subject; b=n9dUbB6InAidGFPXzMaSM3qMS3+pfjoXZ5ct+O7fPbY3pEg82q0y85ya3b/7EJoPw4DyGebaAUqf/xXe0NgaZHoRKJNa4FTyb1rMV+eZ8G9a2hjoLFqQ7l2uQ1v3UE6DrRJZhQUweQOfznjuZWHjd2MCprF4YEi1XY7V9W23nqHWRWY5YpBjYdzc9KZEqI7URK29GmnqPy6Vh2uM3Qla4F79vRtjJxlh+tdFlA9FIfTz+P0/jQO61DCWUqVq+aEIbWmDF0CQ3h8L9n+81H5j3IJHWOUv8E4bx0HKIQPF1o2li9i8a9e3KEkpvAsY8tUjcHZ+lS/IM8GmL5hALzgGFA== X-YMail-OSG: LdijXcEVM1kLLnriiXStRMPHosBhXYjo7GJZC4HEwMvpxaIod3bUMBa74yk7D8X eDowdiJ7fYoTxZ9m1KkuzU8GvZm9yh9SdP0vQ6BsHSSexmZbgG5TW63Ev0Uh1w5..04tJXIfCpKX CGnElXm.S.TWM50hmnvJKLMiViQJAMTcobGak5cfKIu8IM4DxYuwShNSgpXwCO_.vR0_Ly1yS0DN rTv4b0viHeUAb1TRR1KprinKMy8rETZiADDGFNYi0Vvy88lbTeamWrk7.HC9uWziHK31Rr.Gr8dr 7W6.h94WS2El2rh6LVoCDroxqlvtrHPDDrbeMVHhOpLBKyEpiUfZwbOELdPhNSWqh1Pkycy7Cof6 Qi2qeXIZdiaR27uo_z5H3vithm5qjvTrMvbmbKYI99tfCkA3I6obZ.TByFz_NQhOTUImSpggQcY9 xymInfBNkA.tOuqVl6xJeVYNnfPtRuv9OpZyLxF14Ozjy.N_Q0KH2Mp.1.kcdy.6_O9MwbVxZHBF cNDqYlQ9AQgfxAv1LSRM8kXaQErwL8h4vN_gQxY7VPE5Ivh.fSIFdWKOpi44LhZsEiQ8PFcXEljM ZUF4ckBb6mxSvYMODABu0Y.l2eIasfouA4E4CgUKARn0XC13FrXKHIliZeZkcvKNUHmPhZ_plRWy 2MAqX6lyzikcayi1UEoLdxkQU43JqmPefQ42HOvzeIXj7fXa0c29_4ispohZBsbbahI6T1tjxM3W yEP3MRYRqzdGqmv8nL3YAoar8TpVOw60J_doxv_OsGX9gL0r6UjpuuZD2hmCWqczVhjuxriRHH3O QbH0aICBaSFY.CNgJ2fgiDRRIwk1KnXEZ_ZLYA8DmzzzQ0ZN5CDzoZcXNiZ1n3C_1hK9cu_GEXn1 JOUbKadD87BtzFWhnqK_in5fcac3ZKPgFpkRVD0Eun7MTupWF0jt34bIETgmeScPzVA86D8nKNCs GM6JLAa62a1wyP1urnjlAWs208K.7PBaQ2_ntAfnSVEXsx1DCm39XzN73W5TvouVcnH506VrGZg4 H3qM3Rd5PVGpT7Ps26vreMjiVp0SdqJAn9Aos7ryN._5555ryCkreTE6eZK_kSkRm58.YD9Qe_1f o21KAcbtqx0xAyQAoE4QG06aUXxZjoOqsPDcQnf_zvhtbCTvOdc.v.Wt3s8UX.cue4KhOigHtJu1 0OhieUJ5o4zCHGEdaV0CT1Kf0V_wLsomPAHgctDHUg0ytaP.e1RRW6w44_0J5fLz1EGelHQwKRro vpQfDsUVCSxBuoJYR2iw2TmDlePfEBcDCgOzBdEyx.tECN1RyB0CUoA3syoiwwwnCnbFI2gGOe2Y ageppiojOEl47XPTN8NobjuXH.7ajlyY_N6DkshvAjjnVXwNTJszxko5GExj61wbR6IMtXjm4w4e plQJQpq31RiB9mScGWoAyKmxH1VPjOvwJ2dGmBlU3pXfD40HXNTdcf.0FGYe_rWQdPuK146jWsZv UgQsZnNLewMSxSWts3yd1T30ApV1w5IDV31ccbKVvs1B9x8VAgWbGaCwLPBf2VsK6AcoPKxwTFxY usQbeF3ojeHdxvO634iOrG_G0508GIi2QxPnxErRkeyB73ZQpSDDAQf1K06FkYVcUWTv_O6pApbn h3mmNNfOq9NF1GQQRsdclNREGSSVLDC1V0I864_FBeWpgfwjRI6curRZMtlGwQR1b1ihV0pfa45g sMZ26ZF2_7YO7oe3mMrLT1QI7putXQjc0DllazelG3zswwmUHm5ib.9qsE6JTPaS42P8MJS5GKP0 QlLGjoPlHyAwh0rfF3pcX1.mbfPgD8kH5xrh6yoY9jjHGj9O0HoWhPZ7EDUizWy4ZYsPy_moGKW2 MV6PlVoSmOOGojQ72rPYUdTh.ciG45AtxzvaOBzIQQTFxKECkmUlsdDLPsbA8fCbK8BjBmY_Ezc8 VLgjrFb3v1UngGTcuZL2kWnnM3MhtISvl6bgz4EhES6cGmNXuNGoswq9NlzNwAr8.KWHh3tpD2Fc LeWVhO_RRrYMOAMkLgXxunksceXk4LsCijgjhGlqkBIQU3HUnyL8QEll9Z_Aglrloeu3tPQ0JO4J eg_G2uDiSufmyLIgMgNY.pKk2cM8bBuT8pWOZ2d9OPetsCy_HvRV_zgFs2aiESCJsNRWYQ.7dPy3 Wu84iFQE8m9rON0ZhQtcD_F8tRQJ7u5oQLHXJ7XNn7q0KwNlXY6vtM0lvRDQ8UIGx0eO4xeJ9xQ2 MkLcrsD4VVAscLr79A7EEtTmc705_p.MBbF5NBKsubls6GJqm8o3QbNU92j6x.5oTdg-- X-Sonic-MF: X-Sonic-ID: fc6e3f95-c1ed-4df9-a887-d9fd3d753fef Received: from sonic.gate.mail.ne1.yahoo.com by sonic315.consmr.mail.ne1.yahoo.com with HTTP; Sun, 14 May 2023 05:28:55 +0000 Received: by hermes--production-sg3-748897c457-cf5qg (Yahoo Inc. Hermes SMTP Server) with ESMTPA ID 1c51c59a175454de649f310e7a9f5f2f; Sun, 14 May 2023 05:28:48 +0000 (UTC) From: Po Lu To: Eli Schwartz Cc: Gabriel Ravier , Jonathan Wakely , Eli Zaretskii , "gcc@gcc.gnu.org" Subject: Re: More C type errors by default for GCC 14 In-Reply-To: <4ea0b0de-c1f6-0708-eb57-69b4b0e458fc@gmail.com> (Eli Schwartz's message of "Sun, 14 May 2023 01:08:42 -0400") 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> <4ea0b0de-c1f6-0708-eb57-69b4b0e458fc@gmail.com> Date: Sun, 14 May 2023 13:28:43 +0800 Message-ID: <87353z7a7o.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.4 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: Eli Schwartz writes: > Quoting my previous reply on the topic. > > Until everyone is on the same page as you about whether these are GNUC > extensions, this conversation will go nowhere. > > You are of the opinion that "GCC currently behaves a certain way when > compiling the code" means that the behavior is documented and specified > as a "C Extension" for the GNUC language dialect. Yes, by the definition of ``extension'' used by everyone except you. > You've provided some excuses like "C++ is a valid language for writing > documentation in, and the HTML docs are lacking", but your arguments are > not convincing. > > GCC has formal documentation. It is written in HTML. If it is lacking, > then the only valid move is to improve the HTML documentation and then > abide by it. In the absence of documentation, all behavior is, well, > "undocumented", which ***definitely*** means it isn't a formal GNUC > language dialect extension. GCC documentation is written in HTML? That's news to me. I always thought it was written in Texinfo. > You can stop arguing your opinions based on what running gcc or g++ > produces in the form of machine code. What gcc or g++ produces in the > form of machine code is not guaranteed even across bugfix releases -- > your only guarantee is that if it is documented in the ISO standards > documents or in the GCC html manual, the produced machine code shall be > in accordance with what the documentation says it shall do. Generated machine code, really? Not long-standing and observable behavior of the translator itself, as has been re-iterated over and over again? > Undefined and undocumented behavior is not a language extension. It is > undefined and undocumented behavior. But when it becomes defined by the translator, in a precise way, it becomes an extension to the Standard. > You may feel free to take an exact GCC release (source or binary), > analyze it, reverse-engineer it, or verify that it does what you want > it to do, and then trust that those undefined and undocumented > behaviors are ***benevolent***, but that doesn't cause it to be > defined and documented, and your trust will, if you are wise, depend > on you pinning an exact source code commit of the compiler. Do not > depend on bugfix releases of GCC to preserve your undocumented > semantics. They may or they may not, but if they don't, it's not a GCC > bug, because it is ***undocumented***. GCC does not implement its documentation. The documentation is supposed to describe (_not_ specify) how GCC behaves, and when the documentation is wrong or contains omissions, the documentation will have to be fixed. Not the compiler itself. And it's not just GCC. Almost all programs work this way.