From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=mBDq=DD=orange.fr=morin-mikael@sourceware.org>
Received: from smtp.smtpout.orange.fr (smtp-15.smtpout.orange.fr [80.12.242.15])
	by sourceware.org (Postfix) with ESMTPS id DCF8C3858D28
	for <fortran@gcc.gnu.org>; Mon, 17 Jul 2023 17:43:56 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org DCF8C3858D28
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.15] ([86.215.161.51])
	by smtp.orange.fr with ESMTPA
	id LSGCqcUVkw5nELSGHq4xvJ; Mon, 17 Jul 2023 19:43:54 +0200
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orange.fr;
	s=t20230301; t=1689615834;
	bh=GEyUyP/w+oV5gY3+x7JtkV983aI8f40mUdOz3N2JQTo=;
	h=Date:Subject:To:Cc:References:From:In-Reply-To;
	b=tSgJE4cR32r6kIHCXFFrMpcosn91vM46LUDQoApE9vzH3TRi+tfGx/E/JKu9Ic/E5
	 q9z6wI5Y93OgSidq+IFSSGBSPZkFFKEF0HGlFv8gN1UmygbR0arTUlEwIlkzpB4DuG
	 PbXbcoVwfowoRxgDEA8VFoHhe4orHX2rhRdNyAhro6krQuWAp4c0mKlNyUPdVCH1Cb
	 UOT9l/Ql77AxyAEB5s+vWS76omakmvynDBOK+XXRP5vMYH1IMxLcxNH05Y3lUpbKn5
	 XBxtvCuLVDRFqRDk8Q9dnZoGkmjrdVB7BSgtr2epB7UsUE+ODEPAESx1V1thujOLQv
	 gtvENC2r3257w==
X-ME-Helo: [192.168.1.15]
X-ME-Auth: bW9yaW4tbWlrYWVsQG9yYW5nZS5mcg==
X-ME-Date: Mon, 17 Jul 2023 19:43:54 +0200
X-ME-IP: 86.215.161.51
Message-ID: <32bcc289-e307-dd08-e6ef-c0d9dfc0317f@orange.fr>
Date: Mon, 17 Jul 2023 19:43:47 +0200
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.13.0
Subject: Re: [PATCH 00/14] fortran: Use precalculated class container for
 deallocation [PR110618]
To: Paul Richard Thomas <paul.richard.thomas@gmail.com>,
 Mikael Morin <mikael@gcc.gnu.org>
Cc: fortran@gcc.gnu.org
References: <20230713085236.330222-1-mikael@gcc.gnu.org>
 <CAGkQGiJkDiL=pY-sBusGaAtr1zc=pbK+bopNN79a23iZWTLv7g@mail.gmail.com>
 <CAGkQGiKBqN0qtzFX6ro18ZG+4wSpiU-rGNX+96QPDxaGUMfLtQ@mail.gmail.com>
Content-Language: en-US
From: Mikael Morin <morin-mikael@orange.fr>
In-Reply-To: <CAGkQGiKBqN0qtzFX6ro18ZG+4wSpiU-rGNX+96QPDxaGUMfLtQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
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,JMQ_SPF_NEUTRAL,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <fortran.gcc.gnu.org>

Le 15/07/2023 à 08:11, Paul Richard Thomas a écrit :
> Please either remove or
> uncomment the line:
> //   gcc_assert (se.pre.head == NULL_TREE && se.post.head == NULL_TREE);
> 
> I presume that it reflects some case where the assertion failed? If
> so, it might be prudent to retain the assertion especially in light
> of:
>    gcc_assert (tmp_se.post.head == NULL_TREE); a bit further down.
> 
I have finally found an example making the assert fail and pushed the 
patches with the assert removed and the test added to the testsuite.