From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x333.google.com (mail-wm1-x333.google.com [IPv6:2a00:1450:4864:20::333]) by sourceware.org (Postfix) with ESMTPS id DE6B03858CDB for ; Thu, 18 May 2023 18:56:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org DE6B03858CDB 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-wm1-x333.google.com with SMTP id 5b1f17b1804b1-3f50020e0f8so71575e9.0 for ; Thu, 18 May 2023 11:56:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1684436184; x=1687028184; h=in-reply-to:content-language:references:cc:to:from:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=NH8mh7GlSfP1kErECaJB0vH0a53H/oQwq0OTNzmdFXk=; b=k000lSihI0BAO8N3ibhZBIxSPI7PveNfEDRQaFa0ew8sdB++vxOpSV22ZY6p9f1Kgb bwecdPaQBTYAHc6+OcRVX+2MZdL+Ba/O8v1VP7AMlr3Ixb7Q2Y/swsBUC/d9OCb8GkSq mL/EIJguBHpHEatPO6tku6C3GvT/DJrl+KLdzPKOcwnmjdNY7S9+fbDwbnAfSHGagoa6 o+FIILOMDyB92rCe4jRAorhiZMgqIinLTFMCVH1E4YY9v2dU8iTPc2StUOFMFHbkmMkj k404oe19UNiLKYXkNFlzK0OB/7rmlXcqF7l4A06ZnZ9dUYhVYX7PoSMXTCQ5Yd5VV4zG itsA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684436184; x=1687028184; h=in-reply-to:content-language:references:cc:to:from:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=NH8mh7GlSfP1kErECaJB0vH0a53H/oQwq0OTNzmdFXk=; b=DgtSW1AebD8eGe1RCfPazrqZhtzhB420CgKliacr9I2LPjTzcNAWgosnJlxfxqoUmM vD1rqSUKFUPmpgXf452lhv5yUgD0ly4z8HT+zxEe4gEsaXXlwhgOSpw4ZVZvJi6bfPKA DNqOwEIfTeF7EKybS1yzOo5Od7mP+cNlIMU0Rw/InW/cyRXTQu+wBEyfTXyA1Cz058Sz eZMqeN9r4pbUXowQTvicuULL1fpTt/ZuXbpTCYn7j6dMfsPVgNV5LQmsKetGwjbkKzc8 BnEqEUhFKE3of2JfltoS8oyO9PZDYUXhgoPreldSiQaf9grHu5J38reP9wdDkUwomRJm FFFA== X-Gm-Message-State: AC+VfDx0KvcjV5e6k1Eo8PNwvcUA1GlgglMeo2l+8gegHprjVI5xzjEn MsBCoI8HqTAximQHSKljCwc= X-Google-Smtp-Source: ACHHUZ5hROG9ZM/hYAGcr1o54oHLcNR7pKIMmkGmq+J2XSjeCQ1S236gno/9uI0Sg3HEwcsMJ5t08Q== X-Received: by 2002:a05:600c:230d:b0:3f4:2610:5cc5 with SMTP id 13-20020a05600c230d00b003f426105cc5mr67609wmo.5.1684436184367; Thu, 18 May 2023 11:56:24 -0700 (PDT) Received: from [192.168.43.80] ([37.29.170.63]) by smtp.gmail.com with ESMTPSA id s15-20020adfea8f000000b00307acec258esm3031386wrm.3.2023.05.18.11.56.22 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 18 May 2023 11:56:23 -0700 (PDT) Message-ID: Date: Thu, 18 May 2023 20:56:13 +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 From: Alejandro Colomar To: Xi Ruoyao , libc-alpha@sourceware.org Cc: Adhemerval Zanella Netto , Carlos O'Donell References: <20230518172511.2130831-1-xry111@xry111.site> Content-Language: en-US In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------G6FWilCkjKbPZd0Csaw5k4Ny" X-Spam-Status: No, score=-10.6 required=5.0 tests=BAYES_00,BODY_8BITS,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,GIT_PATCH_0,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) --------------G6FWilCkjKbPZd0Csaw5k4Ny Content-Type: multipart/mixed; boundary="------------nDhvSYmU6hdmY1rRi7EYGK73"; protected-headers="v1" From: Alejandro Colomar To: Xi Ruoyao , libc-alpha@sourceware.org Cc: Adhemerval Zanella Netto , Carlos O'Donell Message-ID: Subject: Re: [PATCH] libio: Add nonnull attribute for most FILE * arguments in stdio.h References: <20230518172511.2130831-1-xry111@xry111.site> In-Reply-To: --------------nDhvSYmU6hdmY1rRi7EYGK73 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gNS8xOC8yMyAyMDowNiwgQWxleCBDb2xvbWFyIHdyb3RlOg0KPiBIaSBYaSENCj4gDQo+ IE9uIDUvMTgvMjMgMTk6MjUsIFhpIFJ1b3lhbyB2aWEgTGliYy1hbHBoYSB3cm90ZToNCj4+ IER1cmluZyB0aGUgcmV2aWV3IG9mIGEgR0NDIGFuYWx5emVyIHRlc3QgY2FzZSwgd2UgZm91 bmQgbW9zdCBzdGRpbw0KPj4gZnVuY3Rpb25zIGFjY2VwdGluZyBhIEZJTEUgKiBhcmd1bWVu dCBleHBlY3QgaXQgdG8gYmUgbm9ubnVsbCBhbmQganVzdA0KPj4gc2VnZmF1bHQgd2hlbiB0 aGUgYXJndW1lbnQgaXMgTlVMTC7CoCBBZGQgbm9ubnVsbCBhdHRyaWJ1dGUgZm9yIHRoZW0u DQo+Pg0KPj4gc2V0YnVmIGlzIHdlbGwgZGVmaW5lZCB3aGVuIF9fc3RyZWFtIGlzIE5VTEwg c28gaXQncyBub3QgdG91Y2hlZC4NCj4+DQo+PiBGb3IgZnB1dHMsIGZnZXRzLCBmcmVhZCwg ZndyaXRlLCBmcHJpbnRmLCB2ZnByaW50ZiwgYW5kIHRoZWlyIHVubG9ja2VkDQo+PiB2ZXJz aW9uLCBpZiBfX3N0cmVhbSBpcyBlbXB0eSBidXQgdGhlcmUgaXMgbm90aGluZyB0byByZWFk IG9yIHdyaXRlLA0KPj4gdGhleSBkb24ndCBzZWdmYXVsdCBhbmQgSSdtIG5vdCBzdXJlIGlm IHRoZSBzdGFuZGFyZCBhbGxvd3Mgc3VjaCBhIHVzZQ0KPj4gc28gSSBsZWZ0IHRoZW0gb3V0 Lg0KPj4gLS0tDQo+PiDCoCBsaWJpby9zdGRpby5oIHwgMTE5ICsrKysrKysrKysrKysrKysr KysrKysrKysrLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQo+PiDCoCAxIGZpbGUgY2hhbmdl ZCwgNjIgaW5zZXJ0aW9ucygrKSwgNTcgZGVsZXRpb25zKC0pDQo+Pg0KPj4gZGlmZiAtLWdp dCBhL2xpYmlvL3N0ZGlvLmggYi9saWJpby9zdGRpby5oDQo+PiBpbmRleCA0Y2Y5ZjFjMDEy Li5hZTNkNzI5NWQ0IDEwMDY0NA0KPj4gLS0tIGEvbGliaW8vc3RkaW8uaA0KPj4gKysrIGIv bGliaW8vc3RkaW8uaA0KPj4gQEAgLTIzMiw3ICsyMzIsNyBAQCBleHRlcm4gY2hhciAqdGVt cG5hbSAoY29uc3QgY2hhciAqX19kaXIsIGNvbnN0IA0KPj4gY2hhciAqX19wZngpDQo+PiDC oMKgwqDCoCBUaGlzIGZ1bmN0aW9uIGlzIGEgcG9zc2libGUgY2FuY2VsbGF0aW9uIHBvaW50 IGFuZCB0aGVyZWZvcmUgbm90DQo+PiDCoMKgwqDCoCBtYXJrZWQgd2l0aCBfX1RIUk9XLsKg ICovDQo+PiAtZXh0ZXJuIGludCBmZmx1c2ggKEZJTEUgKl9fc3RyZWFtKTsNCj4+ICtleHRl cm4gaW50IGZmbHVzaCAoRklMRSAqX19zdHJlYW0pIF9fbm9ubnVsbCAoKDEpKTsNCj4gDQo+ IGZsdXNoKE5VTEwpIGlzIHdlbGwgZGVmaW5lZC7CoCBJdCBmbHVzaGVzIGFsbCBzdHJlYW1z IHRoYXQgY2FuIGJlDQo+IGZsdXNoZWQuwqAgVGhpcyByZW1pbmRzIG1lIHRoYXQgSSBzaG91 bGQgZG9jdW1lbnQgdGhhdCBpbiB0aGUgU1lOT1BTSVMNCj4gc2VjdGlvbiBvZiB0aGUgbWFu dWFsIHBhZ2U7IGFuIG92ZXJzaWdodCBvbiBteSBzaWRlLg0KDQpJIGp1c3QgcHVzaGVkIHRo aXM6DQoNCjxodHRwczovL2dpdC5rZXJuZWwub3JnL3B1Yi9zY20vZG9jcy9tYW4tcGFnZXMv bWFuLXBhZ2VzLmdpdC9jb21taXQvP2lkPWNkMDNjOWI4ZDFmNGQ0M2FiN2IwMTBkMDIyODdk ZWMxODA1YWRhMzQ+DQoNCmNvbW1pdCBjZDAzYzliOGQxZjRkNDNhYjdiMDEwZDAyMjg3ZGVj MTgwNWFkYTM0IChIRUFEIC0+IG1hc3RlciwgDQprb3JnL21hc3RlciwgYWx4L21haW4sIGFs eC9IRUFELCBtYWluKQ0KQXV0aG9yOiBBbGVqYW5kcm8gQ29sb21hciA8YWx4QGtlcm5lbC5v cmc+DQpEYXRlOiAgIFRodSBNYXkgMTggMjA6NTM6MTQgMjAyMyArMDIwMA0KDQogICAgIGZm bHVzaC4zLCB1bmxvY2tlZF9zdGRpby4zOiBTWU5PUFNJUzogVGhlIHN0cmVhbXMgY2FuIGJl IG51bGwNCg0KICAgICBDYzogWGkgUnVveWFvIDx4cnkxMTFAeHJ5MTExLnNpdGU+DQogICAg IFNpZ25lZC1vZmYtYnk6IEFsZWphbmRybyBDb2xvbWFyIDxhbHhAa2VybmVsLm9yZz4NCg0K ZGlmZiAtLWdpdCBhL21hbjMvZmZsdXNoLjMgYi9tYW4zL2ZmbHVzaC4zDQppbmRleCAzMjc3 ODZjZWYuLjIwOThiYmEwOCAxMDA2NDQNCi0tLSBhL21hbjMvZmZsdXNoLjMNCisrKyBiL21h bjMvZmZsdXNoLjMNCkBAIC0yNSw3ICsyNSw3IEBAIFN0YW5kYXJkIEMgbGlicmFyeQ0KICAu bmYNCiAgLkIgI2luY2x1ZGUgPHN0ZGlvLmg+DQogIC5QUA0KLS5CSSAiaW50IGZmbHVzaChG SUxFICoiIHN0cmVhbSApOw0KKy5CSSAiaW50IGZmbHVzaChGSUxFICpfTnVsbGFibGUgIiBz dHJlYW0gKTsNCiAgLmZpDQogIC5TSCBERVNDUklQVElPTg0KICBGb3Igb3V0cHV0IHN0cmVh bXMsDQpkaWZmIC0tZ2l0IGEvbWFuMy91bmxvY2tlZF9zdGRpby4zIGIvbWFuMy91bmxvY2tl ZF9zdGRpby4zDQppbmRleCBmYWFiMjlmMDYuLmZlZWQ3MDhkYiAxMDA2NDQNCi0tLSBhL21h bjMvdW5sb2NrZWRfc3RkaW8uMw0KKysrIGIvbWFuMy91bmxvY2tlZF9zdGRpby4zDQpAQCAt MjMsNyArMjMsNyBAQCBTdGFuZGFyZCBDIGxpYnJhcnkNCiAgLkJJICJpbnQgZmVvZl91bmxv Y2tlZChGSUxFICoiIHN0cmVhbSApOw0KICAuQkkgImludCBmZXJyb3JfdW5sb2NrZWQoRklM RSAqIiBzdHJlYW0gKTsNCiAgLkJJICJpbnQgZmlsZW5vX3VubG9ja2VkKEZJTEUgKiIgc3Ry ZWFtICk7DQotLkJJICJpbnQgZmZsdXNoX3VubG9ja2VkKEZJTEUgKiIgc3RyZWFtICk7DQor LkJJICJpbnQgZmZsdXNoX3VubG9ja2VkKEZJTEUgKl9OdWxsYWJsZSAiIHN0cmVhbSApOw0K ICAuUFANCiAgLkJJICJpbnQgZmdldGNfdW5sb2NrZWQoRklMRSAqIiBzdHJlYW0gKTsNCiAg LkJJICJpbnQgZnB1dGNfdW5sb2NrZWQoaW50ICIgYyAiLCBGSUxFICoiIHN0cmVhbSApOw0K DQo+IA0KPj4gwqAgI2lmZGVmIF9fVVNFX01JU0MNCj4+IMKgIC8qIEZhc3RlciB2ZXJzaW9u cyB3aGVuIGxvY2tpbmcgaXMgbm90IHJlcXVpcmVkLg0KPj4gQEAgLTI0MSw3ICsyNDEsNyBA QCBleHRlcm4gaW50IGZmbHVzaCAoRklMRSAqX19zdHJlYW0pOw0KPj4gwqDCoMKgwqAgY2Fu Y2VsbGF0aW9uIHBvaW50LsKgIEJ1dCBkdWUgdG8gc2ltaWxhcml0eSB3aXRoIGFuIFBPU0lY IGludGVyZmFjZQ0KPj4gwqDCoMKgwqAgb3IgZHVlIHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBp dCBpcyBhIGNhbmNlbGxhdGlvbiBwb2ludCBhbmQNCj4+IMKgwqDCoMKgIHRoZXJlZm9yZSBu b3QgbWFya2VkIHdpdGggX19USFJPVy7CoCAqLw0KPj4gLWV4dGVybiBpbnQgZmZsdXNoX3Vu bG9ja2VkIChGSUxFICpfX3N0cmVhbSk7DQo+PiArZXh0ZXJuIGludCBmZmx1c2hfdW5sb2Nr ZWQgKEZJTEUgKl9fc3RyZWFtKSBfX25vbm51bGwgKCgxKSk7DQo+IA0KPiBXaXRob3V0IGNo ZWNraW5nLCBJJ2xsIGd1ZXNzIHRoYXQgZmZsdXNoX3VubG9ja2VkKE5VTEwpIGlzIGFsc28g d2VsbA0KPiBkZWZpbmVkLg0KPiANCj4gSSBkaWRuJ3Qgc2VlIGFueSBvdGhlciBzaW1pbGFy IGNhc2VzLCBidXQgSSBtYXkgaGF2ZSBtaXNzZWQgc29tZTsgSQ0KPiBkaWRuJ3QgcmV2aXNl IHRoZW0gYWxsIHRob3JvdWdobHk7IHBsZWFzZSBjaGVjay4NCj4gDQoNCi0tIA0KPGh0dHA6 Ly93d3cuYWxlamFuZHJvLWNvbG9tYXIuZXMvPg0KR1BHIGtleSBmaW5nZXJwcmludDogQTkz NDg1OTRDRTMxMjgzQTgyNkZCREQ4RDU3NjMzRDQ0MUUyNUJCNQ0KDQo= --------------nDhvSYmU6hdmY1rRi7EYGK73-- --------------G6FWilCkjKbPZd0Csaw5k4Ny 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/2zIFAmRmdM4ACgkQnowa+77/ 2zKoARAAjFL1BiJ5JDLYLVEtMwfSta7oIIFXjfUYrJhuyxYpbDhaKWuGuCS3D4hl UTi0VzbYBL7UIUZIp2DAlhl5s3ZX/u5RS3Px1Eg3QHVvWhUjmQcGwmSR2Ak/QBuo 8oHIzb5mtsxCgSl4o/dw7UFXtIj3y/bbnceZPrm5qSPoCUTOOxQ4zGRQeYQqUOlr sskHkes1LeusuOQu5sRyipPioxCC6ozLi+SjJdNWGOiGPhwDUN+pbbvaHN8Ly/Ws BjyF9KNFGJLKqEUdmeyWVZ859skwhYkLtSMq25xr8LcbPtGmsVephK0/wp5sV9hw ceV4cSf8o0tkfgi6BEfyhHiTmLQt6hG1sUdtA9v+Uod3w37CucECC6qx2YwIgxq6 /eqFOk9QN4lxFReydcBqfUxOrD5zid+8OxCAURzm7f2v9nCFofLLAoWrhIqoSW1d FsO7Dt5Hyh9KJ9D2ZpWu1w3CwmlHoIFkIn7Xr6FwiYq837cOGDCCwAKVMyIha5RW q/RknxaS56jqn1ABd3tuOnHK1ruuUK4z2Bi6hpeHfCpoewQ5O4oXmegvGtiCON3d WWss4UUMA4O5yJXfsTE67UfZGdK7Zlv4NVgnhxHHwuhF9BCCYU5sI3xGm9wT2c+i v69y45yik+iFpu/cyLKqpG5pBl25lNJlSCr7QbEzhA0KaJeT9jo= =rCFk -----END PGP SIGNATURE----- --------------G6FWilCkjKbPZd0Csaw5k4Ny--