From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=X3Vz=BG=orange.fr=morin-mikael@sourceware.org>
Received: from smtp.smtpout.orange.fr (smtp-30.smtpout.orange.fr [80.12.242.30])
	by sourceware.org (Postfix) with ESMTPS id 10E843858434
	for <gcc-patches@gcc.gnu.org>; Wed, 17 May 2023 19:39:19 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 10E843858434
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=orange.fr
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=orange.fr
Received: from [192.168.1.16] ([86.215.161.51])
	by smtp.orange.fr with ESMTPA
	id zMzOpUDUBln91zMzUpUgCI; Wed, 17 May 2023 21:39:17 +0200
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orange.fr;
	s=t20230301; t=1684352357;
	bh=CWzmaRGgBJwqVOF3Ij5uuyi9hBhwVab4Vdj1Titl1hs=;
	h=Date:Subject:To:References:From:In-Reply-To;
	b=m9vg3lRoNuBgkwTty4Q7x0pBxUpFdC48/wyX3GuV2888MAcigYIgQQ30oN3ZZnC9B
	 2Z9zDv6RfELhP9N/vrvmUL4ykf8xnAJBD1ANDShBdpCz59WRKUru+4HV3hrtYpC4bK
	 lLvWHtMcI32ZjPXNWoF2CcfZ//Y+BGygOzBP+fBfR8GyAlPMMOB5ZlpS7DA4z5mC6C
	 cZ2cgxg2vYCzGCdsXkHsYyWqWZom8n30JlSssfAfGOKgjtSLakjY9rqo6ONfbJQKOr
	 YpdVAhJ7LxvVCILayXgMmhoeSSl+kxPsS/aXG/JmG70ayq+Z0P3v4mFjqs0vRxyrOD
	 e+KZweG74skBQ==
X-ME-Helo: [192.168.1.16]
X-ME-Auth: bW9yaW4tbWlrYWVsQG9yYW5nZS5mcg==
X-ME-Date: Wed, 17 May 2023 21:39:17 +0200
X-ME-IP: 86.215.161.51
Message-ID: <fe789057-2c7f-7dba-58ae-9dee4a07337d@orange.fr>
Date: Wed, 17 May 2023 21:39:10 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.10.0
Subject: Re: [PATCH] Fortran: set shape of initializers of zero-sized arrays
 [PR95374,PR104352]
To: Harald Anlauf <anlauf@gmx.de>, fortran <fortran@gcc.gnu.org>,
 gcc-patches <gcc-patches@gcc.gnu.org>
References: <trinity-f62baae8-2c7b-45b2-9cd9-da495125cc90-1684349530775@3c-app-gmx-bap55>
Content-Language: fr
From: Mikael Morin <morin-mikael@orange.fr>
In-Reply-To: <trinity-f62baae8-2c7b-45b2-9cd9-da495125cc90-1684349530775@3c-app-gmx-bap55>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Spam-Status: No, score=-4.1 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,JMQ_SPF_NEUTRAL,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gcc-patches.gcc.gnu.org>

Le 17/05/2023 à 20:52, Harald Anlauf via Fortran a écrit :
> Dear all,
> 
> the attached patch is neat, because it fixes a bug by removing code ;-)
> 
> When generating the initializer for a parameter array, we excepted
> the case of size 0, which however prevented the detection of array
> bounds violations and lead to ICEs in various places.  The solution
> which removes the comparison for size > 0 also has the bonus that
> it fixes a minor memory leak for the size==0 case...
> 
> Regtested on x86_64-pc-linux-gnu.  OK for mainline?
> 
Sure.

Thanks