From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from dfw.source.kernel.org (dfw.source.kernel.org [139.178.84.217]) by sourceware.org (Postfix) with ESMTPS id B5F0B3858C31 for ; Mon, 10 Jul 2023 20:16:21 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B5F0B3858C31 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=kernel.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=kernel.org Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by dfw.source.kernel.org (Postfix) with ESMTPS id 340CB611C0; Mon, 10 Jul 2023 20:16:21 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id BCEE8C433C7; Mon, 10 Jul 2023 20:16:18 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1689020180; bh=4RxVvmwwhqYCCA5QysLEzVxxpnG7uzKuNGxinMVsMnE=; h=Date:Subject:From:To:Cc:References:In-Reply-To:From; b=C30sT7XN9HbxsddbG/tQfI72+SxOHtRUAdW2CrktipKz2t3tuwAaRH+Q3NrqBsT2P CxGs+hB/DOqF/c5MtKu5O5IT1jqkwN7BeKKRJntggJS3UuqMrosRzsFjoFmoqACTcl //d5wWUyYFbwBlFlGqFbI5PlxSJWEcg+S6DM6gkSx5J+tqJTHlXSsmzZctHDv1YnMe FPU0mbvU+LPLYq+G26MH9DHXsk191BJGbxlSOu/nvIvcMOA7I/06y2m7gB1rM3oLe7 3hgPNNiXC2ZA3S/pwyUaF/D/C3EPjr9Ht661RdQYy56FYFQbIebjSwYB3aHBG8jCI3 V3jXhGUh959FA== Message-ID: <08d7552c-d90a-ae84-4b7e-2f6f2136dd66@kernel.org> Date: Mon, 10 Jul 2023 22:16:17 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Subject: Re: _Nullable and _Nonnull in GCC's analyzer (was: [PATCH v5] libio: Add nonnull attribute for most FILE * arguments in stdio.h) Content-Language: en-US From: Alejandro Colomar To: Xi Ruoyao , Andrew Pinski , GNU libc development Cc: Adhemerval Zanella , Carlos O'Donell , Andreas Schwab , Siddhesh Poyarekar , Zack Weinberg , "gcc@gcc.gnu.org" References: <20230710161300.1678172-1-xry111@xry111.site> <1efbe0b2dd8fefffc945c6734222c7d6e04cf465.camel@xry111.site> <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> In-Reply-To: <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------xEXDcmqEN8RcFyiLh870PCvU" X-Spam-Status: No, score=-2.5 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_SHORT,NICE_REPLY_A,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------xEXDcmqEN8RcFyiLh870PCvU Content-Type: multipart/mixed; boundary="------------nqS12da4xFq4jB66HQeofhkq"; protected-headers="v1" From: Alejandro Colomar To: Xi Ruoyao , Andrew Pinski , GNU libc development Cc: Adhemerval Zanella , Carlos O'Donell , Andreas Schwab , Siddhesh Poyarekar , Zack Weinberg , "gcc@gcc.gnu.org" Message-ID: <08d7552c-d90a-ae84-4b7e-2f6f2136dd66@kernel.org> Subject: Re: _Nullable and _Nonnull in GCC's analyzer (was: [PATCH v5] libio: Add nonnull attribute for most FILE * arguments in stdio.h) References: <20230710161300.1678172-1-xry111@xry111.site> <1efbe0b2dd8fefffc945c6734222c7d6e04cf465.camel@xry111.site> <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> In-Reply-To: <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> --------------nqS12da4xFq4jB66HQeofhkq Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gNy8xMC8yMyAyMjoxNCwgQWxlamFuZHJvIENvbG9tYXIgd3JvdGU6DQo+IFtDQyArPSBB bmRyZXddDQo+IA0KPiBIaSBYaSwgQW5kcmV3LA0KPiANCj4gT24gNy8xMC8yMyAyMDo0MSwg WGkgUnVveWFvIHdyb3RlOg0KPj4gTWF5YmUgd2Ugc2hvdWxkIGhhdmUgYSB3ZWFrZXIgdmVy c2lvbiBvZiBub25udWxsIHdoaWNoIG9ubHkgcGVyZm9ybXMgdGhlDQo+PiBkaWFnbm9zdGlj LCBub3QgdGhlIG9wdGltaXphdGlvbi7CoCBCdXQgaXQgbG9va3MgbGlrZSB0aGV5IGhhdGUg dGhlIGlkZWE6DQo+PiBodHRwczovL2djYy5nbnUub3JnL1BSMTEwNjE3Lg0KPj4NCj4gVGhp cyBpcyB0aGUgb25lIHRoaW5nIHRoYXQgbWFrZXMgbWUgdXNlIGJvdGggQ2xhbmcgYW5kIEdD QyB0byBjb21waWxlLA0KPiBiZWNhdXNlIHdoaWxlIGFueSBvZiB0aGVtIHdvdWxkIGJlIGVu b3VnaCB0byBidWlsZCwgSSB3YW50IGFzIG11Y2gNCj4gc3RhdGljIGFuYWx5c2lzIGFzIEkg Y2FuIGdldCwgYW5kIHNvIEkgd2FudCAtZmFuYWx5emVyIChzbyBJIG5lZWQgR0NDKSwNCj4g YnV0IEkgYWxzbyB1c2UgX051bGxhYmxlIChzbyBJIG5lZWQgQ2xhbmcpLg0KPiANCj4gSWYg R0NDIGhhZCBzdXBwb3J0IGZvciBfTnVsbGFibGUsIEkgd291bGQgaGF2ZSBpbiBHQ0MgdGhl IHN1cGVyc2V0IG9mDQo+IGZlYXR1cmVzIHRoYXQgSSBuZWVkIGZyb20gYm90aCBpbiBhIHNp bmdsZSB2ZW5kb3IuwqAgTW9yZW92ZXIsIENsYW5nJ3MNCj4gc3RhdGljIGFuYWx5emVyIGlz IGJyYWluLWRhbWFnZWQgKHNvcnJ5LCBidXQgaXQgZG9lc24ndCBoYXZlIGEgc2ltcGxlDQo+ IGNvbW1hbmQgbGluZSB0byBydW4gaXQsIGNvbnRyYXJ5IHRvIEdDQydzIGVhc3kgLWZhbmFs eXplciksIHNvIGhhdmluZw0KPiBHQ0MncyBhbmFseXplciBnZXQgb3ZlciB0aG9zZSBfTnVs bGFibGUgcXVhbGlmaWVycyB3b3VsZCBiZSBncmVhdC4NCj4gDQo+IENsYW5nJ3MgX051bGxh YmxlIChhbmQgX05vbm51bGwpIGFyZSBub3QgdmVyeSB1c2VmdWwgb3V0c2lkZSBvZiBhbmFs eXplcg0KPiBtb2RlLCBhcyB0aGVyZSBhcmUgbWFueSBjYXNlcyB3aGVyZSB0aGUgY29tcGls ZXIgZG9lc24ndCBoYXZlIGVub3VnaA0KPiBpbmZvcm1hdGlvbiwgYW5kIHRoZSBhbmFseXpl ciBjYW4gZ2V0IHJpZCBvZiBmYWxzZSBuZWdhdGl2ZXMgYW5kDQo+IHBvc2l0aXZlcy7CoCBT ZWU6IDxodHRwczovL2dpdGh1Yi5jb20vbGx2bS9sbHZtLXByb2plY3QvaXNzdWVzLzU3NTQ2 Pg0KPiANCj4gSSdsbCBiYWNrIHRoZSBhc2sgZm9yIHRoZSBxdWFsaWZpZXJzIGluIEdDQywg Zm9yIGNvbXBhdGliaWxpdHkgd2l0aA0KPiBDbGFuZy4NCg0KQlRXLCBCaW9uaWMgbGliYyBp cyBhZGRpbmcgdGhvc2UgcXVhbGlmaWVyczoNCg0KPGh0dHBzOi8vYW5kcm9pZC1yZXZpZXcu Z29vZ2xlc291cmNlLmNvbS9jL3BsYXRmb3JtL2Jpb25pYy8rLzI1NTI1NjcvNy9saWJjL2lu Y2x1ZGUvbmV0aW5ldC9ldGhlci5oIzQ1Pg0KPGh0dHBzOi8vYW5kcm9pZC1yZXZpZXcuZ29v Z2xlc291cmNlLmNvbS9xL293bmVyOnppanVuemhhb0Bnb29nbGUuY29tK051bGxhYmlsaXR5 Pg0KDQo+IA0KPiBUaGFua3MsDQo+IEFsZXgNCj4gDQoNCi0tIA0KPGh0dHA6Ly93d3cuYWxl amFuZHJvLWNvbG9tYXIuZXMvPg0KR1BHIGtleSBmaW5nZXJwcmludDogQTkzNDg1OTRDRTMx MjgzQTgyNkZCREQ4RDU3NjMzRDQ0MUUyNUJCNQ0KDQo= --------------nqS12da4xFq4jB66HQeofhkq-- --------------xEXDcmqEN8RcFyiLh870PCvU Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE6jqH8KTroDDkXfJAnowa+77/2zIFAmSsZxEACgkQnowa+77/ 2zLsFw/+OyNxapNCXr2Jaia2WEWVV+0+m14z3Db7VLaqABYx1m6CfRDli70/djr6 BjhaLOxtyc+TZrSEc6Ls8H34JojGt7qO+OYtFBXxkcV1zXohQkpclrArDr4YnWnf VTNHzi+adnprW7tyoRXIodYGTYlmLj3C4S4/nJkOnVHVIj9gKwIM/9eH/fUtlead ona8z+TYj2WK+/Q0LohIMFREIxfEyEndw82PA3lq9tS8Dbdlf1AT1r2X19i2j8Uw 4jztbIgbo1dF5sBlYWgJT4S8eImJauQ04BeBh52e93gY8IqBeCESGxZmaBfRlOD7 k7expstAOj+0yevuJ0wJJ2shaiEddu2nApodbLlRZ3YKtFoyP8FofEQoOVwXVdR5 Cn+bVAdhsusAv9PMm4/Qv7gSVsJtRCamCaUzCMlbLjyjVVgZcodA60IuUtyg/skF TLUGsxPFFMd+/pwruawRlF5OwUrv2Z4qxOeslD/YPb/Iq2d83p0jsqAc2NxW6kAx JKx5312SXVNNyI3LTWPUNDIoDohCKxSJ+O3tEIl4l9bOZuLmgKz5z/6obnMNWft0 bOg+GucwNEhXh0wBrF4QRkzqT4sa5q/u906epzlCWg8uN+/6T0KPzYGwd0IV5G4k G7/u+0TKgtSvada1aI7/eozHa4fTSwDVEVSDFNiz1sYsaRqo+/E= =O+KJ -----END PGP SIGNATURE----- --------------xEXDcmqEN8RcFyiLh870PCvU--