From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x334.google.com (mail-wm1-x334.google.com [IPv6:2a00:1450:4864:20::334]) by sourceware.org (Postfix) with ESMTPS id C31EE3833A2C for ; Fri, 9 Dec 2022 17:15:46 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org C31EE3833A2C 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-x334.google.com with SMTP id n9-20020a05600c3b8900b003d0944dba41so306019wms.4 for ; Fri, 09 Dec 2022 09:15:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; 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=rgMEzDzi26RybIetLpdse12q95DhO1rOdxPbJCATNcM=; b=Lm8RXluGIgDBUpdk63wFOjnngtslzixiYok1c4mD21Edo9hFoGuhfsU1JD093/r9Ow ktF+XjOZeNjpiwdYbCdmRmnrLccKsWlPvDCe+EJGU7W1odD3RHojnDiaZ1Voz/D5NgXW /0H8ww6/CNKBYP502pxOmHQ978EM2mFba0JaWMwHj6BKnVaq2Lj4adDG4hPfeYWnfOa5 aQor4CTMf+ghpumUzm9ZMOfgyKCeHw2xQ3Bfrw6z/0DCO+firT9tImYHvLtyjIngW99T HGxRwJvAzrRI+UL7luMf4DgnW0Qqog3sKqWTxs2JPJBDFm5pK4CoRo2mY9gFTcPpNuIk 0Giw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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=rgMEzDzi26RybIetLpdse12q95DhO1rOdxPbJCATNcM=; b=xaTOPTUAUFQ5aD+231UUVfybgLnV6tnnG/5KItLHnet8SgWvZbgUGTSu0miGZYmRCh frJL2NpnSAlm+vQUqk1TFLts4WNlzrIonWIAS/ErzMkiA+n4VmqeOPJ1nanaqM0uAPYQ +DpCcButxFUREefgsH5JtNxC3/vFSqLfXkfdyADjPOUTM+rO2qGRis9gQ9cplyaqSs/R tppF0f7ge6m2bb2byjTC7mFx76aeO99H5lJQlPNccgDV0OYad7i45lIVAEI4XKeoNlOm go/d/U08M10Oz8WucDahzVlHs2cO1fB3T/mWTQTQIHb2TFVCZrUp3LCbpLIdZVyLLgIN LLPw== X-Gm-Message-State: ANoB5plrFYgJnuUZpXWJ00biqAoFJgSydHaYtRwhfqygMXWZIb3qqb1g X3W478ef+QCLqw3m8kWnjiM= X-Google-Smtp-Source: AA0mqf7Pq6uT/u8cIS6Ow25lqTmV4ST5g2Px/ghlZAuqTTXXncnGN8zT8tztG5Yko3j7D/8MwrPUvw== X-Received: by 2002:a05:600c:3493:b0:3c6:e63d:b8a1 with SMTP id a19-20020a05600c349300b003c6e63db8a1mr5378387wmq.16.1670606145615; Fri, 09 Dec 2022 09:15:45 -0800 (PST) Received: from [192.168.0.160] ([170.253.36.171]) by smtp.gmail.com with ESMTPSA id cc19-20020a5d5c13000000b0024165454262sm1912055wrb.11.2022.12.09.09.15.44 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 09 Dec 2022 09:15:45 -0800 (PST) Message-ID: <07916b70-7ec9-cce4-e40a-b418cd65373f@gmail.com> Date: Fri, 9 Dec 2022 18:15:44 +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 To: Richard Biener , Martin Sebor Cc: gcc@gcc.gnu.org References: <55aaeff6-11ad-b7e5-1e81-bee6edc606e4@gmail.com> From: Alejandro Colomar In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------zTpgewMEKGzRb0KQfpiGZVjO" X-Spam-Status: No, score=-4.9 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 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) --------------zTpgewMEKGzRb0KQfpiGZVjO Content-Type: multipart/mixed; boundary="------------7Fcy300Jhe9mARd89dwqHEJv"; protected-headers="v1" From: Alejandro Colomar To: Richard Biener , Martin Sebor Cc: gcc@gcc.gnu.org Message-ID: <07916b70-7ec9-cce4-e40a-b418cd65373f@gmail.com> Subject: Re: Spurious warning for zero-sized array parameters to a function References: <55aaeff6-11ad-b7e5-1e81-bee6edc606e4@gmail.com> In-Reply-To: --------------7Fcy300Jhe9mARd89dwqHEJv Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SGkgUmljaGFyZCwNCg0KT24gMTIvNy8yMiAwOToxNywgUmljaGFyZCBCaWVuZXIgd3JvdGU6 DQpbLi4uXQ0KDQo+PiBUaGUgd2FybmluZ3MgYXJlIGludmFsaWQuICBXaGlsZSBpdCdzIHRy dWUgdGhhdCBJJ20gcmVmZXJlbmNpbmcgYSBwb2ludGVyIG9mDQo+PiBzaXplIDAsIGl0J3Mg ZmFsc2UgdGhhdCBJJ20gImFjY2Vzc2luZyAxIGJ5dGUiIGluIHRoYXQgcmVnaW9uLiAgSSBn dWVzcyB0aGlzIGlzDQo+PiBhbGwgYWJvdXQgdGhlIGJvZ3VzIGRlc2lnbiBvZiAnc3RhdGlj JyBpbiBJU08gQywgd2hlcmUgeW91IGNhbiBoYXZlIGFuIGFycmF5DQo+PiBwYXJhbWV0ZXIg b2Ygc2l6ZSAwLCB3aGljaCBpcyB2ZXJ5IHVzZWZ1bCBpbiBjYXNlcyBsaWtlIHRoaXMgb25l Lg0KPiANCj4gSXQgbG9va3MgbGlrZSB3ZSBydW4gaW50byBwYXNzX3dhY2Nlc3M6Om1heWJl X2NoZWNrX2FjY2Vzc19zaXplcyBkb2luZw0KPiANCj4gICAgICAgIGlmIChzaXppZHggPT0g LTEpDQo+ICAgICAgICAgIHsNCj4gICAgICAgICAgICAvKiBJZiBvbmx5IHRoZSBwb2ludGVy IGF0dHJpYnV0ZSBvcGVyYW5kIHdhcyBzcGVjaWZpZWQgYW5kDQo+ICAgICAgICAgICAgICAg bm90IHNpemUsIHNldCBTSVpFIHRvIHRoZSBncmVhdGVyIG9mIE1JTlNJWkUgb3Igc2l6ZSBv Zg0KPiAgICAgICAgICAgICAgIG9uZSBlbGVtZW50IG9mIHRoZSBwb2ludGVkIHRvIHR5cGUg dG8gZGV0ZWN0IHNtYWxsZXINCj4gICAgICAgICAgICAgICBvYmplY3RzIChudWxsIHBvaW50 ZXJzIGFyZSBkaWFnbm9zZWQgaW4gdGhpcyBjYXNlIG9ubHkNCj4gICAgICAgICAgICAgICBp ZiB0aGUgcG9pbnRlciBpcyBhbHNvIGRlY2xhcmVkIHdpdGggYXR0cmlidXRlIG5vbm51bGwu ICAqLw0KPiAgICAgICAgICAgIGlmIChhY2Nlc3Muc2Vjb25kLm1pbnNpemUNCj4gICAgICAg ICAgICAgICAgJiYgYWNjZXNzLnNlY29uZC5taW5zaXplICE9IEhPU1RfV0lERV9JTlRfTTFV KQ0KPiAgICAgICAgICAgICAgYWNjZXNzX25lbHRzID0gYnVpbGRfaW50X2NzdHUgKHNpemV0 eXBlLCBhY2Nlc3Muc2Vjb25kLm1pbnNpemUpOw0KPiAgICAgICAgICAgIGVsc2UgaWYgKFZP SURfVFlQRV9QIChhcmd0eXBlKSAmJiBhY2Nlc3Muc2Vjb25kLm1vZGUgPT0gYWNjZXNzX25v bmUpDQo+ICAgICAgICAgICAgICAvKiBUcmVhdCBhY2Nlc3MgbW9kZSBub25lIG9uIGEgdm9p ZCogYXJndW1lbnQgYXMgZXhwZWN0aW5nDQo+ICAgICAgICAgICAgICAgICBhcyBsaXR0bGUg YXMgemVybyBieXRlcy4gICovDQo+ICAgICAgICAgICAgICBhY2Nlc3NfbmVsdHMgPSBzaXpl X3plcm9fbm9kZTsNCj4gICAgICAgICAgICBlbHNlDQo+ICAgICAgICAgICAgICBhY2Nlc3Nf bmVsdHMgPSBzaXplX29uZV9ub2RlOw0KPiANCj4gYW5kIHVzZSBzaXplX29uZV9ub2RlIGFz IGZhbGxiYWNrIC0gaXQgZWl0aGVyIGRvZXNuJ3QgY29uc2lkZXIgWzBdICJ2YWxpZCIgb3IN Cj4gZm9yIHNvbWUgcmVhc29uIGNob29zZXMgdG8gaW50ZXJwcmV0IGl0IGFzICJ1bmtub3du Ii4gIENhbiB5b3UgZmlsZSBhIGJ1Z3JlcG9ydA0KPiBwbGVhc2U/DQoNClN1cmU7ICB3aWxs IGRvIQ0KDQpDaGVlcnMsDQoNCkFsZXgNCg0KPiANCj4gTWFydGluPw0KPiANCj4gUmljaGFy ZC4NCg0KLS0gDQo8aHR0cDovL3d3dy5hbGVqYW5kcm8tY29sb21hci5lcy8+DQo= --------------7Fcy300Jhe9mARd89dwqHEJv-- --------------zTpgewMEKGzRb0KQfpiGZVjO 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/2zIFAmOTbUAACgkQnowa+77/ 2zIRUBAAok/6DZbRHEAA96lUXflEsnoi213bxfjyPgnosFwyp112VAFNphCQcmzS +1GAMmQKx4G+l2oMk+sbecuJwI/lXQw/bsPDL3ujsEKUmIBna/782ebGO6dROosg yuuVnzknhKS9I6Qeo+baOtIGUCIfsFm044X5mxRtq7YdM95IAqluH0Gr4MVCviN6 rhb0MSX96Q+R4debpRPrR3lr4UDt4wGiRIaMVC4EBbZF+Ld3INVIEwYiPW7n6XXT P6S87D7EWF5ORyenKcHEaLsjfdaH0kOIWeeK0q0I7fyz8rumpaCdMRShoaU/ieza 6T/uuE0iY9pGR3cmfFBv0JyWd8twmfhXnZpN7DFCyOK8RwIpvg1E2ZddODGBT7Gt nw/gTyEE4MuOKIuxfRbsu2+H0E089ppN6SKrVhAmLmFwo3Q6Sjizvf4K54claWRn QPmSDYbzdqhZO4aY5UdUs1GR93JaxvX2eUhF/8FK2JUCPqHzJI/9Axgfgco9QFFD sc/ZgGd5uum+fqeAZU2HHodD3Mrt7omSywl7qHSW3hUx32gkObjnkjqZRBJtWHic 6hd47W1b9KckG5KrVgnjgwS+DkDtsQkXrd6YAeh5HwzdU+on7XKgIEuDOONhY07z Y47nJfySzFITPI3k1MLjg6tYqDQBBm5yE2wQNQFuXOGd9+uS5nU= =bgze -----END PGP SIGNATURE----- --------------zTpgewMEKGzRb0KQfpiGZVjO--