From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x533.google.com (mail-ed1-x533.google.com [IPv6:2a00:1450:4864:20::533]) by sourceware.org (Postfix) with ESMTPS id 370D63858C5F for ; Fri, 19 May 2023 13:07:32 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 370D63858C5F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x533.google.com with SMTP id 4fb4d7f45d1cf-510e419d701so3786544a12.1 for ; Fri, 19 May 2023 06:07:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1684501650; x=1687093650; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=9+ZEAutyo87AcoBbY4Hg5LzBebz+6WEV6MskSmClCec=; b=ooLXau2UVEugovfT+BvXNQmhZhgUk71z7r3//+kZv10/CAfykUY1RdwxdeNW7n1Ybh n1niOcS98VW6z0DJqbM1j6807cpZNtbEBb89vd65AQlGZgHk/ZsNs6IQxAcXOTfs5aN5 Y3jvZw7cF39az7g1lw1Q3BfUGeUVxbGoGH984tud2KS5M5nzhHdtCZIybGix9Ucs6Gjz u+TbbqzVe2myUbLrwZkSwBqM+i3nBclW7I5XA/eHyJWywBxH06HRK+tkTmIBDzcPnwIi 2grPdunHTlfw4Pz2X6NqSXAliWoxqY60WIAnehhcgpSChxvL03R0ExttJ9B6pw41cAqp xmxA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684501650; x=1687093650; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=9+ZEAutyo87AcoBbY4Hg5LzBebz+6WEV6MskSmClCec=; b=kpGnWv0ISS/Lx4ko9lvK1/f5GFBVLqBn6aGRM6TKP9fpgH9/au9fmsZNR3L2tZaO7M BQtUb1SMlP8Vw3UJRVDZV5ju0Bpb+wj4cbSVaRglzA0tnw/lKn+lvHcfyNzYIk/C9wm2 SO1O85UtN0J2LyG8Nz+DGtjPsSpO9ZevrNARY32cEffh76JN9fWmQX9IYG+P9PMN+SRi mPOCVshCmZMZp+fmpSfBI+WcOe0QkThhjMXU8kDUF9otUgXAQ2ge4asGiq5GbXHspdQH 61QQgVQW6WTRGp/f86GDyVL7uX79web+T/B0Ym9xPR/ByBNkpwSq4mP2+liHPDO6MBqn aGig== X-Gm-Message-State: AC+VfDzN7HrTHhdO3yiiZCVkI2Mp6LtGddqICT7dTWdG2jiZ+IzDxC6c ED7FJSpv85/vpm19jciyXBo= X-Google-Smtp-Source: ACHHUZ6I1bLX+zwL5U4aNun2l3K9g8pVR5AIYhZBN6iaX+Jv+AdrfbUTYbYpGF4uLaU7CSAYIZIVqw== X-Received: by 2002:a05:6402:7c8:b0:506:72fc:8dd7 with SMTP id u8-20020a05640207c800b0050672fc8dd7mr1341479edy.24.1684501650266; Fri, 19 May 2023 06:07:30 -0700 (PDT) Received: from [192.168.43.80] ([46.222.34.83]) by smtp.gmail.com with ESMTPSA id x5-20020a50ba85000000b0050bc4eb9846sm1740863ede.1.2023.05.19.06.07.29 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 19 May 2023 06:07:29 -0700 (PDT) Message-ID: <3edbad0a-c24f-caf0-289f-ef035ab3ebba@gmail.com> Date: Fri, 19 May 2023 15:07:22 +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: [PATCH] libio: Add nonnull attribute for most FILE * arguments in stdio.h Content-Language: en-US To: Xi Ruoyao , libc-alpha@sourceware.org Cc: Adhemerval Zanella Netto , Carlos O'Donell References: <20230518172511.2130831-1-xry111@xry111.site> <528cf363cd06bc0055a4275eda4010ce67c4a4fa.camel@xry111.site> <728611bb98d6a6fc868ba54609c140b9d280c76a.camel@xry111.site> <651c313c-edf7-7655-e58b-34d4c22eb34d@gmail.com> <93403e420952c324665840cb924666023d438da4.camel@xry111.site> From: Alejandro Colomar In-Reply-To: <93403e420952c324665840cb924666023d438da4.camel@xry111.site> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------BGw0xdCDSVgSvQHlIkcNYkod" X-Spam-Status: No, score=-5.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,KAM_SHORT,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham 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) --------------BGw0xdCDSVgSvQHlIkcNYkod Content-Type: multipart/mixed; boundary="------------vEKb13MfuC03kqeqzSaDPFwd"; protected-headers="v1" From: Alejandro Colomar To: Xi Ruoyao , libc-alpha@sourceware.org Cc: Adhemerval Zanella Netto , Carlos O'Donell Message-ID: <3edbad0a-c24f-caf0-289f-ef035ab3ebba@gmail.com> Subject: Re: [PATCH] libio: Add nonnull attribute for most FILE * arguments in stdio.h References: <20230518172511.2130831-1-xry111@xry111.site> <528cf363cd06bc0055a4275eda4010ce67c4a4fa.camel@xry111.site> <728611bb98d6a6fc868ba54609c140b9d280c76a.camel@xry111.site> <651c313c-edf7-7655-e58b-34d4c22eb34d@gmail.com> <93403e420952c324665840cb924666023d438da4.camel@xry111.site> In-Reply-To: <93403e420952c324665840cb924666023d438da4.camel@xry111.site> --------------vEKb13MfuC03kqeqzSaDPFwd Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gNS8xOS8yMyAxNTowMywgWGkgUnVveWFvIHdyb3RlOg0KPiBPbiBGcmksIDIwMjMtMDUt MTkgYXQgMTQ6NDAgKzAyMDAsIEFsZWphbmRybyBDb2xvbWFyIHdyb3RlOg0KPj4gT24gNS8x OS8yMyAwNzoyMSwgWGkgUnVveWFvIHZpYSBMaWJjLWFscGhhIHdyb3RlOg0KPj4+IE9uIEZy aSwgMjAyMy0wNS0xOSBhdCAxMjoxMyArMDgwMCwgWGkgUnVveWFvIHdyb3RlOg0KPj4+PiBP biBUaHUsIDIwMjMtMDUtMTggYXQgMjA6MjkgKzAyMDAsIEFsZXggQ29sb21hciB3cm90ZToN Cj4+DQo+PiBbLi4uXQ0KPj4NCj4+Pj4NCj4+Pj4gSSBndWVzcyB3aGVuIEkgdG9vayB0aGUg bm90ZSBvbiB0aGUgcGFwZXIgSSBtaXNzcGVsbGVkICJmZmx1c2giIGFzDQo+Pj4+ICJzZXRi dWYiIGZvciBzb21lIHJlYXNvbiAobWF5YmUgbGFjayBvZiBjb2ZmZWUgOiggKS4NCj4+Pj4N Cj4+Pj4gSSdsbCByZXRlc3QgYWxsIHRoZSBjaGFuZ2VzIGluIG9uZSBob3VyIG9yIHR3byBo b3Vycy4NCj4+Pg0KPj4+IEkndmUgc2VudCB2MiB3aXRoIHRoZSBtaXN0YWtlcyBpbiBmZmx1 c2gsIGZmbHVzaF91bmxvY2tlZCwgYW5kDQo+Pj4gc2V0YnVmDQo+Pj4gZml4ZWQuwqAgVGhh bmtzIGZvciBwb2ludGluZyBvdXQgbXkgbWlzdGFrZSEgPg0KPj4+IEkgZ3Vlc3MgSSBuZWVk IHRvIGF2b2lkIGNyZWF0aW5nIGEgcGF0Y2ggYXQgMDEwMCBBTSBpbiB0aGUgZnV0dXJlDQo+ Pj4gOikuDQo+Pg0KPj4gSSdtIGdsYWQgdG8gaGVscCA6LSkNCj4+DQo+PiBIb3cgYWJvdXQg ZmNsb3NlKDMpP8KgIFdhcyBpdCBsZWZ0IG91dCBvbiBwdXJwb3NlLCBvciB3YXMgaXQgYSBz bGVlcCgwKQ0KPj4gaXNzdWUgdG9vPyA6cA0KPiANCj4gSXQgd2FzIGRvbmUgYXQNCj4gaHR0 cHM6Ly9zb3VyY2V3YXJlLm9yZy9naXQvP3A9Z2xpYmMuZ2l0O2E9Y29tbWl0O2g9NzFkOWUw ZmUNCj4gDQo+IEFjdHVhbGx5IGZjbG9zZSBpcyB0aGUgc3RhcnQgcG9pbnQgb2YgdGhpcyBf X25vbm51bGwgYWRkaXRpb246DQo+IA0KPiBodHRwczovL2djYy5nbnUub3JnL2J1Z3ppbGxh L3Nob3dfYnVnLmNnaT9pZD0xMDk1NzANCj4gDQo+IEJ1dCB1bmZvcnR1bmF0ZWx5IGluIEFw ciBJIGRpZG4ndCBoYXZlIGVub3VnaCB0aW1lIHRvIGNoZWNrIHRoZSBlbnRpcmUNCj4gc3Rk aW8uaCBmdW5jdGlvbiBieSBmdW5jdGlvbi4gIFRoZW4gaW4gdGhlIGZvbGxvd2luZyBkaXNj dXNzaW9uIGZvciB0aGUNCj4gR0NDIFBSIHdlIGZvdW5kIGZlcnJvciBzaG91bGQgaGF2ZSBf X25vbm51bGwgdG9vIGFuZCBJIGRlY2lkZWQgdG8gY2hlY2sNCj4gYWxsIHN0ZGlvLmggZnVu Y3Rpb25zIHRoaXMgdGltZS4NCg0KR29vZCB0byBrbm93ISAgTWFrZXMgc2Vuc2UuICBMR1RN IHRoZW4uDQoNCkFja2VkLWJ5OiBBbGVqYW5kcm8gQ29sb21hciA8YWx4QGtlcm5lbC5vcmc+ DQoNCkNoZWVycywNCkFsZXgNCg0KDQotLSANCjxodHRwOi8vd3d3LmFsZWphbmRyby1jb2xv bWFyLmVzLz4NCkdQRyBrZXkgZmluZ2VycHJpbnQ6IEE5MzQ4NTk0Q0UzMTI4M0E4MjZGQkRE OEQ1NzYzM0Q0NDFFMjVCQjUNCg0K --------------vEKb13MfuC03kqeqzSaDPFwd-- --------------BGw0xdCDSVgSvQHlIkcNYkod 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/2zIFAmRndIoACgkQnowa+77/ 2zI6zxAAjD2e7JtdUzGW94rMxIDAzEzxLy/wv2v8nOPVSNlrcAp3ZTPtIr3pHiDc PxtPh8dwCKvLk8SzStokrGiQ5HBrxq3J+IPPgcRvPllFMVx8xg4dqfS5tbNskHnX qsfGaqsjQfzglQO1l32aS6R3/YGiLMtQvKaBc2LAnvG1SSvWqskdNkGRaIRl8Upa IrpHQmtjNa1uEBAgMTZLLlSDunJpxy1tEe2BwGQ0hSAgn2CaY5g0Kuoly//A+k0d 8BEG7NhnvSf+cFD6HLW6So4MdlGOvuRGBA72JjBwH78kpeQjQrcqSBYIicLLM+S4 DUYDgKsNJ+lW6EyuhcpB4fDN0i9co6S8aCypuXSZw7g6DuT5/ZHpOHHDcUwXR7tV cdlRjDgEK1CHbb54/4Q7HvTa8Yc9zQG0E8//g/ET6ttOtCyv+NfWBQoBYLVOuMSk tcie/7h7LicMe96n7fkTxSqhM0WJuzN+bNo5Waz72EAtcL3HOxBQncdMJO+Its4y 3WJWd31R0K5kCz6oGQKW+avGL69wpR68paDxiaW24qi8Mj8hFB3rZzHcdsvKZrba GWkDBFg0o5y9VQ3pwxJMunb9PRQPIYaanSjXK/rC8cq+ZqaNt9EMi/X4/ucgoInf 1rXpUYQGz+/DcTVxTnGxma21mpwXnIdMW6dfTyXnRXChzhBM0Uc= =TsxE -----END PGP SIGNATURE----- --------------BGw0xdCDSVgSvQHlIkcNYkod--