From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x435.google.com (mail-wr1-x435.google.com [IPv6:2a00:1450:4864:20::435]) by sourceware.org (Postfix) with ESMTPS id 2B2EB385B524 for ; Fri, 9 Dec 2022 20:21:05 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 2B2EB385B524 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-wr1-x435.google.com with SMTP id bx10so6306261wrb.0 for ; Fri, 09 Dec 2022 12:21:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=in-reply-to:references:cc:to:from:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=VnoZpkyXQnGpJaXm6zgrZFHfD4TwWmfNjieHgBMbHY8=; b=oE52cP5PWDmqR7pmcwcJE3oi4eUoRT6iWkMB2CnN1C97qVYOOoAANqr97P10JzeDIx 5ywVqd/AIEGtd82qfxXX0DPeHhaaNJGfL0QmPgFt7GHgqXgfUAewJPnsqMxpT26+j7KC /HjXlDwIZpJVI7Lk2VChXZQCZGim0XcpaklSV5cnvjp3OdH7Ff5QjGkj4a6mseNme83T p9yD+Bm4aFeTaADBlPpw8SDaBf6ok2BGqfD+w/J+ARAXPE0Sqvb/nQds3xMI9ws8bYSm W8LWLnwVUn7rc4fOglozVQ9yD43kfjs2oXLEtT6hMWo27CbeTx4ysL9MJ7lRJW1VozAh 6OOA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=in-reply-to:references:cc:to:from:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=VnoZpkyXQnGpJaXm6zgrZFHfD4TwWmfNjieHgBMbHY8=; b=mzBunijcP78giaeBE753va5bK7OJeIYzW5tzgVkPSxuVzb4c04lD3z3jaD70kCVLiv eNtLPHnJrv9cB5LG8LyTo8NYtoGm7uFWiFzl0n/iTD/eYG2S8DF72Co3bJmquWm8ffrC nxMV580LQzTUY2NRbQM6WnvEvQVnbcnEvN2n0O/obuQ+bSkZHomVS8rKp6dfo7xsAyXm E44+cuC8249MoU/FdJhtgUwO9rZX24K6Hw/qy+7q9boz+FkIDgTUb5TWDB4A48CqgjGu fk8ODW/kHvJYT9OxFoNaaqVIds7T+uzE86b7b8QLxJM4+zxN00zQWZEM45n3PhPy0kxJ 05cg== X-Gm-Message-State: ANoB5plZ0DlsMcLPHT2W5dapi05L2gQz02pw3TG1+/hRWC4sOuu1G2mz 6Po6+IqtufWxtiV81w3fDmmmTjGZnzY= X-Google-Smtp-Source: AA0mqf7EwYXq+kIJcbzaxyU/gqdGrIEj25QqxHTMp1RiQEh6a59bIIETTnpL35Z6XxnQoEZWOwAlmA== X-Received: by 2002:a05:6000:80f:b0:24c:62c1:7e82 with SMTP id bt15-20020a056000080f00b0024c62c17e82mr491666wrb.52.1670617263917; Fri, 09 Dec 2022 12:21:03 -0800 (PST) Received: from [192.168.0.160] ([170.253.36.171]) by smtp.gmail.com with ESMTPSA id ba17-20020a0560001c1100b0024245e543absm2244821wrb.88.2022.12.09.12.21.03 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 09 Dec 2022 12:21:03 -0800 (PST) Message-ID: <29026554-b575-9e57-1ce5-1f78e2286897@gmail.com> Date: Fri, 9 Dec 2022 21:21:02 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.5.1 Subject: Re: Spurious warning for zero-sized array parameters to a function Content-Language: en-US From: Alejandro Colomar To: msebor@gmail.com Cc: gcc@gcc.gnu.org References: <55aaeff6-11ad-b7e5-1e81-bee6edc606e4@gmail.com> <52d78a4f-87af-ab59-05b0-6b862fc0bc06@gmail.com> In-Reply-To: <52d78a4f-87af-ab59-05b0-6b862fc0bc06@gmail.com> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------kNpxcx70PJ0rjD4nhMgtPqj0" X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00,BODY_8BITS,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 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) --------------kNpxcx70PJ0rjD4nhMgtPqj0 Content-Type: multipart/mixed; boundary="------------iFliVFSudzVYOcZsnRVPxX1B"; protected-headers="v1" From: Alejandro Colomar To: msebor@gmail.com Cc: gcc@gcc.gnu.org Message-ID: <29026554-b575-9e57-1ce5-1f78e2286897@gmail.com> Subject: Re: Spurious warning for zero-sized array parameters to a function References: <55aaeff6-11ad-b7e5-1e81-bee6edc606e4@gmail.com> <52d78a4f-87af-ab59-05b0-6b862fc0bc06@gmail.com> In-Reply-To: <52d78a4f-87af-ab59-05b0-6b862fc0bc06@gmail.com> --------------iFliVFSudzVYOcZsnRVPxX1B Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQoNCk9uIDEyLzkvMjIgMjE6MTksIEFsZWphbmRybyBDb2xvbWFyIHdyb3RlOg0KPiBIaSBN YXJ0aW4sDQo+IA0KPiBPbiAxMi85LzIyIDIxOjA0LCBtc2Vib3JAZ21haWwuY29tIHdyb3Rl Og0KPj4NCj4+IE1vc3Qgb2YgdGhlc2Ugd2FybmluZ3MgYXJlIGRlc2lnbmVkIHRvIGZpbmQg c2ltcGxlIG1pc3Rha2VzIGluIGNvbW1vbiB1c2UgDQo+PiBjYXNlcyBzbyAidHJpY2t5LCIg dW51c3VhbCwgb3Igb3RoZXJ3aXNlIHVuZXhwZWN0ZWQgY29kZSBpcyBsaWtlbHkgdG8gbGVh ZCB0byANCj4+IHN1cnByaXNlcy7CoCBUaGlzIHdhcm5pbmcgZXhwZWN0cyB0aGF0IGluIGNh bGxzIHRvIGEgZnVuY3Rpb24sIGV2ZXJ5IHBhcmFtZXRlciANCj4+IGRlY2xhcmVkIHVzaW5n IHRoZSBhcnJheSBzeW50YXggKHdoaWNoIGlzIGV4cGVjdGVkIHRvIGhhdmUgYSBub256ZXJv IGJvdW5kKSBpcyANCj4+IHBhc3NlZCBhIGRlcmVmZXJlbmNlYWJsZSBwb2ludGVyIGFzIGFu IGFyZ3VtZW50LsKgIEl0IGNvbnNpZGVycyBuZWl0aGVyIHRoZSANCj4+IGRlZmluaXRpb24g b2YgdGhlIGZ1bmN0aW9uIHRvIHNlZSBpZiBpdCBkb2VzIGluIGZhY3QgZGVyZWZlcmVuY2Ug dGhlIGFyZ3VtZW50LCANCj4+IG5vciB0aGlzIHVubGlrZWx5IChhbmQgc3RyaWN0bHkgaW52 YWxpZCkgdXNlIGNhc2UuDQo+IA0KPiBIaSBNYXJ0aW4sDQo+IA0KPiBJcyBpdCByZWFsbHkg aW52YWxpZD/CoCBBRkFJSywgSVNPIEMgZG9lc24ndCBzcGVjaWZ5IGFueXRoaW5nIGZvciBh cnJheSBzeW50YXggaW4gDQo+IGZ1bmN0aW9uIHBhcmFtZXRlcnMgb3RoZW4gdGhhbiB0aGF0 IHRoZXkgYXJlIGVxdWl2YWxlbnQgdG8gYSBwb2ludGVyLsKgIFRoZSBvbmx5IA0KPiBleGNl cHRpb24gaXMgd2hlbiB1c2luZyAnc3RhdGljJywgd2hpY2ggcmVxdWlyZXMgYSBtaW5pbXVt IG9mIDAuDQoNCk9vcHMsIHR5cG8gdGhlcmUuICBJIHdhbnRlZCB0byBzYXkgdGhhdCAnc3Rh dGljJyByZXF1aXJlcyBhIG1pbmltdW0gb2YgMS4NCg0KPsKgIFNvLCBbMF0sIGJ5IA0KPiBu b3QgdXNpbmcgJ3N0YXRpYycsIGlzIGNvbmZvcm1pbmcgY29kZSwgSSBiZWxpZXZlLsKgIE9y IGRvZXMgdGhlIHJlc3RyaWN0aW9uIHRvIA0KPiAwLXNpemVkIGFycmF5cyBhbHNvIGFwcGx5 IHRvIGZ1bmN0aW9uIHBhcmFtZXRlcnM/wqAgV2hhdCBpZiB5b3UgcGFzcyBhIHNpemUgb2Yg MCANCj4gdGhyb3VnaCBhIHZhcmlhYmxlP8KgIEkgZG9uJ3QgdGhpbmsgaXQncyB1bmRlZmlu ZWQgYmVoYXZpb3IgdG8gZG8gc28uDQo+IA0KPiBDb3VsZCB5b3UgcGxlYXNlIHF1b3RlIHRo ZSBzdGFuZGFyZCBhYm91dCBiZWluZyAic3RyaWN0bHkgaW52YWxpZCI/DQo+IA0KPiBDaGVl cnMsDQo+IA0KPiBBbGV4DQo+IA0KPj4NCj4+IFRoZSB3YXJuaW5nIHNob3VsZCBub3QgYmUg aXNzdWVkIGlmIHRoZSBwYXJhbWV0ZXIgaXMgZGVjbGFyZWQgYXMgYW4gb3JkaW5hcnkgDQo+ PiBwb2ludGVyDQo+IA0KPiBJIGNvbmZpcm07IGl0IGRvZXNuJ3Qgd2Fybi4NCj4gDQo+PiBz byBJIHdvdWxkIHN1Z2dlc3QgdG8gdXNlIHRoYXQgaW5zdGVhZC7CoCBJdCdzIHBvc3NpYmxl IHRoYXQgZGVjbGFyaW5nIHRoZSANCj4+IGFycmF5IHBhcmFtZXRlciB3aXRoIGF0dHJpYnV0 ZSBhY2Nlc3Mgbm9uZSBtaWdodCBhbHNvIHN1cHByZXNzIHRoZSB3YXJuaW5nLCANCj4+IGJ1 dCB0aGVyZSBpcyBubyB1dGlsaXR5IGluIHVzaW5nIGEgemVyby1sZW5ndGggYXJyYXkgaW4g dGhpcyBjb250ZXh0LsKgIFRoZSANCj4+IGludGVuZGVkIHB1cnBvc2Ugb2YgdGhlIHplcm8t bGVuZ3RoIGFycmF5IEdDQyBleHRlbnNpb24gaXMgYXMgdHJhaWxpbmcgbWVtYmVycyANCj4+ IG9mIHN0cnVjdHMgaW4gbGVnYWN5IChwcmUtQzk5IGNvZGUpIHRoYXQgY2Fubm90IHVzZSBm bGV4aWJsZSBhcnJheSBtZW1iZXJzLiAgDQo+PiBVc2luZyB0aGVtIGFueXdoZXJlIGVsc2Ug aXMgbGlrZWx5IHRvIGJlIHN1cnByaXNpbmcsIGJvdGggdG8gdG9vbHMgYW5kIHRvIA0KPj4g cmVhZGVycywgc28gdGhlIGF0dHJpYnV0ZSBvbiBhIHBvaW50ZXIgcGFyYW1ldGVyIHdvdWxk IGJlIHByZWZlcmFibGUuDQo+IA0KPiBIZWgsIHRoZW4gdGhlIGZvbGxvd2luZyBmdW5jdGlv biB3aWxsIGJsb3cgYnJhaW5zIDpQDQo+IA0KPiANCj4gY2hhciAqDQo+IHN0cGVjcHkoY2hh ciAqZHN0LCBjb25zdCBjaGFyICpyZXN0cmljdCBzcmMsIGNoYXIgcGFzdF9lbmRbMF0pDQo+ IHsNCj4gIMKgwqDCoMKgY2hhciAqcDsNCj4gDQo+ICDCoMKgwqDCoGlmIChkc3QgPT0gcGFz dF9lbmQpDQo+ICDCoMKgwqDCoMKgwqDCoCByZXR1cm4gcGFzdF9lbmQ7DQo+IA0KPiAgwqDC oMKgwqBwID0gbWVtY2NweShkc3QsIHNyYywgJ1wwJywgcGFzdF9lbmQgLSBkc3QpOw0KPiAg wqDCoMKgwqBpZiAocCAhPSBOVUxMKQ0KPiAgwqDCoMKgwqDCoMKgwqAgcmV0dXJuIHAgLSAx Ow0KPiANCj4gIMKgwqDCoMKgLyogdHJ1bmNhdGlvbiBkZXRlY3RlZCAqLw0KPiAgwqDCoMKg wqBwYXN0X2VuZFstMV0gPSAnXDAnOw0KPiAgwqDCoMKgwqByZXR1cm4gcGFzdF9lbmQ7DQo+ IH0NCj4gDQo+IHdoaWNoIHNpbWlsYXIgdG8gc3Ryc2NweSg5KSwgYnV0IGFsbG93cyBjaGFp bmluZy4NCj4gDQo+IEluIHRoaXMgY2FzZSwgSSBjYW4ndCBldmVuIHVzZSB0aGUgYWNjZXNz IGF0dHJpYnV0ZS7CoCBJIF9uZWVkXyB0byB1c2UgdGhlIA0KPiAncGFzdF9lbmQnIHBvaW50 ZXIgdG8gYWNjZXNzIHRoZSBhcnJheSAob3IgcGVyZm9ybSB1bm5lY2Vzc2FyeSBwb2ludGVy IA0KPiBhcml0aG1ldGljIHRoYXQgd291bGQgaHVydCByZWFkYWJpbGl0eTogJ3AgPSAmZHN0 W3Bhc3RfZW5kIC0gZHN0XTsnKS4NCj4gDQo+IA0KPiBGb3IgdGhlIGN1cmlvdXMsIGEgdmFy aWFudCB0aGF0IGJlaGF2ZXMgbGlrZSBzdHJsY3B5KDMpLCBjYW4gYmUgaW1wbGVtZW50ZWQg YXM6DQo+IA0KPiBpbmxpbmUgY2hhciAqDQo+IHN0cGVjcHl4KGNoYXIgKmRzdCwgY29uc3Qg Y2hhciAqcmVzdHJpY3Qgc3JjLCBjaGFyIHBhc3RfZW5kWzBdKQ0KPiB7DQo+ICDCoMKgwqDC oGlmIChzcmNbc3RybGVuKHNyYyldICE9ICdcMCcpDQo+ICDCoMKgwqDCoMKgwqDCoCByYWlz ZShTSUdTRUdWKTsNCj4gDQo+ICDCoMKgwqDCoHJldHVybiBzdHBlY3B5KGRzdCwgc3JjLCBw YXN0X2VuZCk7DQo+IH0NCj4gDQo+IA0KPiBDaGVlcnMsDQo+IA0KPiBBbGV4DQo+IA0KDQot LSANCjxodHRwOi8vd3d3LmFsZWphbmRyby1jb2xvbWFyLmVzLz4NCg== --------------iFliVFSudzVYOcZsnRVPxX1B-- --------------kNpxcx70PJ0rjD4nhMgtPqj0 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/2zIFAmOTmK4ACgkQnowa+77/ 2zKAVw//f0OA2iw4pBDEi5pAew5dcalPwZPUOVq0McMKZz+qeRA9jLaLYp2e04Ho ymP8YjK8+1FjIK5X1DpQNWcTWuPQudhQKnEk+HLF13qOhx+r7ozu5mnTcC32hsJA xD01TB5xceVuBMEqU/Yjpex8yvZCObEP5GycCszf4eUnDAJOl44lemFxm5mkX2Nd ot38oQ0Ou1KKrN2e3UNMli99szGwaYAmJ0sCrfvong/2R13JDgYIHWNGaquiTk8R wf6+RbMChemJS8zAbvw+IgDd8ot3WGYGQyeFsU5E319IGRut4pAvXB6PKo8vLr3q GiVoR1L5clUyYOkG7s+GJUjEf1Cq6MtkmlXDRmkdteaVf/NZ/GWWWlSatSkVrnPS JZoehCdShLMZ/4q2UTCKg3ukSovg1Sm26uvD/KdnRTatPRDDJmPOem0nwqpnvQi3 z/PXaQVm5rJuX14l1cblWAoNnd5kRczWGOV5NHYBtCsobFTRSU/JK0+nBfJr24DT plKSvF3noo4+xdahI/0shLBbHTMtkv+tBnBcXKVIabPOg6qu/8eBm1fjOHckmkHs vdJUjN7lWVAELxxt4WzrjmiHNg4Tov6sQVenKe22hMeDN2MM5VkuWoqFvNmI64Su Ty1cR5xkchcjingfN+b0x8o9A5nZ52CHq/omwB9jPC0Y2vxyusI= =/QVI -----END PGP SIGNATURE----- --------------kNpxcx70PJ0rjD4nhMgtPqj0--