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 F243D3858C5E for ; Mon, 10 Jul 2023 20:14:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org F243D3858C5E 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 341EB611C5; Mon, 10 Jul 2023 20:14:25 +0000 (UTC) Received: by smtp.kernel.org (Postfix) with ESMTPSA id CCA9CC433C7; Mon, 10 Jul 2023 20:14:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1689020064; bh=ZHRiDxu5F9lvhLuuJ3HvBgYDlkTjFGQFknREr1NYpbc=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=gq39pPM+QpcvYqqieKVVPYeCHa4t3i7ZfvMox/3Ub1eoVLyu6xMMLP06ZremqvR6c QLPn/TUFe1t+tkcu0eTQlhDqKRGLI3Mo1rnc2+T4rDL1EE69Fto+Hrikor7kH2GaAz /zTLglDi31eogZb2yr1clV9ekD+x5yhIgfr3GGXxsyi0cderhjHzw6a7E2up2xl4Bi LMtcM4HzORJFy5lB9DgfncDElDoaskxGUWmlGqNwSxpkh2nWblF64mLSKhuI3VLzBH M03IwiYovPBvgjLAjDw1HT+Y9duD6YIta7gf2zUIzGBVi3bugty/xVDTN9RIzsqgKw E4CLUgT3Mx0UQ== Message-ID: <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> Date: Mon, 10 Jul 2023 22:14:11 +0200 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0 Subject: _Nullable and _Nonnull in GCC's analyzer (was: [PATCH v5] libio: Add nonnull attribute for most FILE * arguments in stdio.h) 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> Content-Language: en-US From: Alejandro Colomar In-Reply-To: <1efbe0b2dd8fefffc945c6734222c7d6e04cf465.camel@xry111.site> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------cJsZNtvBqBwgiPsC6yVybM16" X-Spam-Status: No, score=-2.4 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,KAM_SHORT,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) --------------cJsZNtvBqBwgiPsC6yVybM16 Content-Type: multipart/mixed; boundary="------------j9ANmInjUBlHieb5VrjBX150"; 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: <10994861-c244-ba4f-70ad-86d66acf7277@kernel.org> Subject: _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> In-Reply-To: <1efbe0b2dd8fefffc945c6734222c7d6e04cf465.camel@xry111.site> --------------j9ANmInjUBlHieb5VrjBX150 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 W0NDICs9IEFuZHJld10NCg0KSGkgWGksIEFuZHJldywNCg0KT24gNy8xMC8yMyAyMDo0MSwg WGkgUnVveWFvIHdyb3RlOg0KPiBNYXliZSB3ZSBzaG91bGQgaGF2ZSBhIHdlYWtlciB2ZXJz aW9uIG9mIG5vbm51bGwgd2hpY2ggb25seSBwZXJmb3JtcyB0aGUNCj4gZGlhZ25vc3RpYywg bm90IHRoZSBvcHRpbWl6YXRpb24uICBCdXQgaXQgbG9va3MgbGlrZSB0aGV5IGhhdGUgdGhl IGlkZWE6DQo+IGh0dHBzOi8vZ2NjLmdudS5vcmcvUFIxMTA2MTcuDQo+IA0KVGhpcyBpcyB0 aGUgb25lIHRoaW5nIHRoYXQgbWFrZXMgbWUgdXNlIGJvdGggQ2xhbmcgYW5kIEdDQyB0byBj b21waWxlLA0KYmVjYXVzZSB3aGlsZSBhbnkgb2YgdGhlbSB3b3VsZCBiZSBlbm91Z2ggdG8g YnVpbGQsIEkgd2FudCBhcyBtdWNoDQpzdGF0aWMgYW5hbHlzaXMgYXMgSSBjYW4gZ2V0LCBh bmQgc28gSSB3YW50IC1mYW5hbHl6ZXIgKHNvIEkgbmVlZCBHQ0MpLA0KYnV0IEkgYWxzbyB1 c2UgX051bGxhYmxlIChzbyBJIG5lZWQgQ2xhbmcpLg0KDQpJZiBHQ0MgaGFkIHN1cHBvcnQg Zm9yIF9OdWxsYWJsZSwgSSB3b3VsZCBoYXZlIGluIEdDQyB0aGUgc3VwZXJzZXQgb2YNCmZl YXR1cmVzIHRoYXQgSSBuZWVkIGZyb20gYm90aCBpbiBhIHNpbmdsZSB2ZW5kb3IuICBNb3Jl b3ZlciwgQ2xhbmcncw0Kc3RhdGljIGFuYWx5emVyIGlzIGJyYWluLWRhbWFnZWQgKHNvcnJ5 LCBidXQgaXQgZG9lc24ndCBoYXZlIGEgc2ltcGxlDQpjb21tYW5kIGxpbmUgdG8gcnVuIGl0 LCBjb250cmFyeSB0byBHQ0MncyBlYXN5IC1mYW5hbHl6ZXIpLCBzbyBoYXZpbmcNCkdDQydz IGFuYWx5emVyIGdldCBvdmVyIHRob3NlIF9OdWxsYWJsZSBxdWFsaWZpZXJzIHdvdWxkIGJl IGdyZWF0Lg0KDQpDbGFuZydzIF9OdWxsYWJsZSAoYW5kIF9Ob25udWxsKSBhcmUgbm90IHZl cnkgdXNlZnVsIG91dHNpZGUgb2YgYW5hbHl6ZXINCm1vZGUsIGFzIHRoZXJlIGFyZSBtYW55 IGNhc2VzIHdoZXJlIHRoZSBjb21waWxlciBkb2Vzbid0IGhhdmUgZW5vdWdoDQppbmZvcm1h dGlvbiwgYW5kIHRoZSBhbmFseXplciBjYW4gZ2V0IHJpZCBvZiBmYWxzZSBuZWdhdGl2ZXMg YW5kDQpwb3NpdGl2ZXMuICBTZWU6IDxodHRwczovL2dpdGh1Yi5jb20vbGx2bS9sbHZtLXBy b2plY3QvaXNzdWVzLzU3NTQ2Pg0KDQpJJ2xsIGJhY2sgdGhlIGFzayBmb3IgdGhlIHF1YWxp ZmllcnMgaW4gR0NDLCBmb3IgY29tcGF0aWJpbGl0eSB3aXRoDQpDbGFuZy4NCg0KVGhhbmtz LA0KQWxleA0KDQotLSANCjxodHRwOi8vd3d3LmFsZWphbmRyby1jb2xvbWFyLmVzLz4NCkdQ RyBrZXkgZmluZ2VycHJpbnQ6IEE5MzQ4NTk0Q0UzMTI4M0E4MjZGQkREOEQ1NzYzM0Q0NDFF MjVCQjUNCg0K --------------j9ANmInjUBlHieb5VrjBX150-- --------------cJsZNtvBqBwgiPsC6yVybM16 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/2zIFAmSsZpMACgkQnowa+77/ 2zLUBRAAmmDAaNFYF/+wLir+Rf8+op031AI1mOSmAUQu7aJ5C8bDkl5UpopqJAqA buH/1d/buEAiPwIV5705QCgJTBI8mH8NS5n2nIp1l7ntXDn88JowaIpxtx5xC9lK IBfbJzswPo4EyhWkrdL+avbgS4MuwrJb2po8if4o9M6bRXQutlBUzHYconYXGS1j aBrO8ghJJUZ4saaRzWKU4dIHVxJ/m7FctKf7R9RYLDjxVy6qU9LyJajZ0jQGcOKy vF4qsQyKDespZsCGOJCjh72mZtsp2dpt7qZH1WfhbQSq+qvAF6wIKVYdexR+Db7w +ICZWCgU79Lqmi6kiakilFW+rdid+O5mkg8/6M39Q7qPuu1icHJHF2vPOm6sob9i NRrmM85Xn4sLR21+0zsHFpgoL3LooBFYRY/xS1oQ9peLJnX0xOwIXsye8tMQwo3x /ViC1NOl3+KP4ViWO40Kh6HVgOmEN+MKVhVNhmPsazqpkDCT2AF8rBt/AxF4VrAj uUccxtwMbzBevg/UZhxthdV+tT1fb6cwR6AZRWQhk07sm41ZxIGauZytcC+af/Sm Tw3ogBrqzmSHPAGlY+R2lYVHA8Qer+3K5zozmMauDG9uJlbV1c2M9NyoljrFGwOG sf+gTDviWCDYAXLMX2k0svH/tk9mOgKO62ZM3hxiKXbLhOnOmKE= =OmVs -----END PGP SIGNATURE----- --------------cJsZNtvBqBwgiPsC6yVybM16--