From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ej1-x635.google.com (mail-ej1-x635.google.com [IPv6:2a00:1450:4864:20::635]) by sourceware.org (Postfix) with ESMTPS id 54BD13858D38 for ; Fri, 19 May 2023 12:40:12 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 54BD13858D38 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-ej1-x635.google.com with SMTP id a640c23a62f3a-953343581a4so488318166b.3 for ; Fri, 19 May 2023 05:40:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1684500011; x=1687092011; 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=1jm13XakjbOV8MxuCczunBCGGXbf9mstn9GoIn9qrmk=; b=XsE0WpioWhUrg2QJ4e8l7nlJfZzONcioAPV77KPm4muC0F0bZQM2SKkQD6q54N28p+ u9pLFoLS3E6sqBP03gT5BCcvlyzPjfihnYgnw5mYOUEa65U0ReNcgfK/bWlUGz1SZzMi Cfbao3P6VLvK5dEivT1X2r7KhRfExwB297fWjIkp7r5G/z9Voz9y8EazBf1pmrVhoOWn 2rfC1tvDgxzUB1Ck0+m8KPV8OcZw21WXrXbr6xsxApiBYz1ns8jeM9LRYqkMf3LHM8QX U+fbl8K/TgerKuz8JoGzJ+5dlz80dNdjq++DdMbGp7oLtoWvyzgwvV7PVyQStEbD4l6d W/Mg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1684500011; x=1687092011; 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=1jm13XakjbOV8MxuCczunBCGGXbf9mstn9GoIn9qrmk=; b=iTE3U+pyisQkXXnzvEYhzp/f0VGQaDOymo1tFVJ+GDuyzD9YZmTCK3tqBgVDAbS1Lg Axqkmm18ZXlNfgucZGad23bJX6MBqObb2rI5m1uLWTcz34U6CwwB3NH3qG9nTJSo4BjV yi2ArA3B+uSGyroniiAO3Hqsv2urTpFufmrQKOJsycRmtSFwNcfG7rIj+6mMcGI21eLg BVzCnPnIKn7JsXadARcwNPMODcoU8p50972XkRDc0AiM2p1u+XRM0+OResT8VNidbxhH gg9M751EmErNDA0QWFDBBu6S42vmjMoi/ORjGmzv6onnSFqZ8yyN+f9hPJsss8W3prz4 vJuw== X-Gm-Message-State: AC+VfDxgeWavt6em70Zp+7BtSc4zsL07AUekENUps/HRkuiy4KKIyIDT istTgYzZOLk4Pcup1VMv4KQ= X-Google-Smtp-Source: ACHHUZ7ngU92PrtEgRjv3duMu9T2ImCwLu3LT2n2/BnjHvKGWhu2S0TDmASeZJkXgiLAJV9b4lw1gA== X-Received: by 2002:a17:907:98d:b0:957:862a:9e6e with SMTP id bf13-20020a170907098d00b00957862a9e6emr1276465ejc.73.1684500010667; Fri, 19 May 2023 05:40:10 -0700 (PDT) Received: from [192.168.43.80] ([46.222.34.83]) by smtp.gmail.com with ESMTPSA id jt4-20020a170906ca0400b0094ee99eeb01sm2263548ejb.150.2023.05.19.05.40.09 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 19 May 2023 05:40:10 -0700 (PDT) Message-ID: <651c313c-edf7-7655-e58b-34d4c22eb34d@gmail.com> Date: Fri, 19 May 2023 14:40:08 +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> From: Alejandro Colomar In-Reply-To: <728611bb98d6a6fc868ba54609c140b9d280c76a.camel@xry111.site> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------SzoAKyhWTNw377mC0VxKKfK3" X-Spam-Status: No, score=-5.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,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) --------------SzoAKyhWTNw377mC0VxKKfK3 Content-Type: multipart/mixed; boundary="------------r8Wd2lpehp86338kugxI4tJi"; protected-headers="v1" From: Alejandro Colomar To: Xi Ruoyao , libc-alpha@sourceware.org Cc: Adhemerval Zanella Netto , Carlos O'Donell Message-ID: <651c313c-edf7-7655-e58b-34d4c22eb34d@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> In-Reply-To: <728611bb98d6a6fc868ba54609c140b9d280c76a.camel@xry111.site> --------------r8Wd2lpehp86338kugxI4tJi Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gNS8xOS8yMyAwNzoyMSwgWGkgUnVveWFvIHZpYSBMaWJjLWFscGhhIHdyb3RlOg0KPiBP biBGcmksIDIwMjMtMDUtMTkgYXQgMTI6MTMgKzA4MDAsIFhpIFJ1b3lhbyB3cm90ZToNCj4+ IE9uIFRodSwgMjAyMy0wNS0xOCBhdCAyMDoyOSArMDIwMCwgQWxleCBDb2xvbWFyIHdyb3Rl Og0KDQpbLi4uXQ0KDQo+Pg0KPj4gSSBndWVzcyB3aGVuIEkgdG9vayB0aGUgbm90ZSBvbiB0 aGUgcGFwZXIgSSBtaXNzcGVsbGVkICJmZmx1c2giIGFzDQo+PiAic2V0YnVmIiBmb3Igc29t ZSByZWFzb24gKG1heWJlIGxhY2sgb2YgY29mZmVlIDooICkuDQo+Pg0KPj4gSSdsbCByZXRl c3QgYWxsIHRoZSBjaGFuZ2VzIGluIG9uZSBob3VyIG9yIHR3byBob3Vycy4NCj4gDQo+IEkn dmUgc2VudCB2MiB3aXRoIHRoZSBtaXN0YWtlcyBpbiBmZmx1c2gsIGZmbHVzaF91bmxvY2tl ZCwgYW5kIHNldGJ1Zg0KPiBmaXhlZC4gIFRoYW5rcyBmb3IgcG9pbnRpbmcgb3V0IG15IG1p c3Rha2UhID4NCj4gSSBndWVzcyBJIG5lZWQgdG8gYXZvaWQgY3JlYXRpbmcgYSBwYXRjaCBh dCAwMTAwIEFNIGluIHRoZSBmdXR1cmUgOikuDQoNCkknbSBnbGFkIHRvIGhlbHAgOi0pDQoN CkhvdyBhYm91dCBmY2xvc2UoMyk/ICBXYXMgaXQgbGVmdCBvdXQgb24gcHVycG9zZSwgb3Ig d2FzIGl0IGEgc2xlZXAoMCkNCmlzc3VlIHRvbz8gOnANCg0KT24gNS8xOC8yMyAyMDowNiwg QWxleCBDb2xvbWFyIHZpYSBMaWJjLWFscGhhIHdyb3RlOg0KID4+IEBAIC04NzgsNyArODgz LDcgQEAgZXh0ZXJuIGludCBmaWxlbm9fdW5sb2NrZWQgKEZJTEUgKl9fc3RyZWFtKQ0KID4+ IF9fVEhST1cgX193dXI7DQogPj4gICAgICBUaGlzIGZ1bmN0aW9uIGlzIGEgcG9zc2libGUg Y2FuY2VsbGF0aW9uIHBvaW50IGFuZCB0aGVyZWZvcmUgbm90DQogPj4gICAgICBtYXJrZWQg d2l0aCBfX1RIUk9XLiAgKi8NCiA+PiAtZXh0ZXJuIGludCBwY2xvc2UgKEZJTEUgKl9fc3Ry ZWFtKTsNCiA+PiArZXh0ZXJuIGludCBwY2xvc2UgKEZJTEUgKl9fc3RyZWFtKSBfX25vbm51 bGwgKCgxKSk7DQogPg0KID4gWW91IGRpZG4ndCBwYXRjaCBmY2xvc2UoMykuICBBbnkgcmVh c29uPyAgSSBndWVzcyBpdCdzIHNpbWlsYXJseSBVQiB0bw0KID4gY2FsbCBmY2xvc2UoTlVM TCkuDQoNCkNoZWVycywNCkFsZXgNCg0KPiANCg0KLS0gDQo8aHR0cDovL3d3dy5hbGVqYW5k cm8tY29sb21hci5lcy8+DQpHUEcga2V5IGZpbmdlcnByaW50OiBBOTM0ODU5NENFMzEyODNB ODI2RkJERDhENTc2MzNENDQxRTI1QkI1DQoNCg== --------------r8Wd2lpehp86338kugxI4tJi-- --------------SzoAKyhWTNw377mC0VxKKfK3 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/2zIFAmRnbigACgkQnowa+77/ 2zJe+Q/7B9V+zbyUto63hI/aJv4qGXT9f6dO36ZCj17DztVQWzZSi48HXgvJok/W dNn5MU6V32b84PHf6y+brqyF2ypHWKLjK6+amZc2GOknHdElM6keZ5qMregKkl7L O5qy2/f0F8ifGa1qloTpvhRc5t3BqnKI10YGly4b4lz3uKnrUWUQqy9NfbE1NObf Fri9tsA5um7d0cJg+SBMpfCoBxe3rENbdkSCrXAA8gpvPVTgzMcsJB6ZR+XESMmG cMwJQW2rB5O7K7ZsuMSnrhw243W4F5iB94t9XYY/gCPrKk/7tQibB29fM++thfqn Lkbwx5VC2He5JDVz41HKpP8D9Gqv0JmIKq8Fu+JO25orFeKjSkLxkIbsRrrWMjKR zj9PpUCaZs6G3W33cC+DKdWM/ngavzoDSslqie0N3CRjwE1maO4uKByPDqBo2PnL KI1KMAyO2ME3w2AVushQBEAVIsU/LH3xZ2LINj7HVILLFPiJilSz8W8JwTIlHWq2 o1Sga/NQP4EdfHKMy+9fttQcxLH2ouDhQpEM6RCzr6KB6OgUF+cgmr1bON6TujbR ZAvR/O85hJKxRE2Zuejii6v3J0BE7+cU6tqB5VT+IQS3GuTNgVQ8c9YX8gz0W6v9 pxUNJ2Iq+E49kvIkIkOR1QMFb9axPGvuAWGyz5f5/H5WvrHayR4= =m4Lr -----END PGP SIGNATURE----- --------------SzoAKyhWTNw377mC0VxKKfK3--