From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 78518 invoked by alias); 12 Nov 2015 08:56:34 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 78486 invoked by uid 89); 12 Nov 2015 08:56:31 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 X-HELO: smtp.hosts.co.uk Received: from smtp.hosts.co.uk (HELO smtp.hosts.co.uk) (85.233.160.19) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Thu, 12 Nov 2015 08:56:31 +0000 Received: from [86.175.76.144] (helo=[192.168.1.74]) by smtp.hosts.co.uk with esmtpsa (TLSv1:DHE-RSA-AES128-SHA:128) (Exim 4.80.1) (envelope-from ) id 1ZwngC-00005j-A4 for gcc-patches@gcc.gnu.org; Thu, 12 Nov 2015 08:56:28 +0000 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.1 \(3096.5\)) Subject: Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime From: Simon Wright In-Reply-To: Date: Thu, 12 Nov 2015 08:56:00 -0000 Content-Transfer-Encoding: quoted-printable Message-Id: <666D196C-C248-45B3-A20F-138CE6B00457@pushface.org> References: <7942AA17-3258-4B36-8B93-35C0574583AA@pushface.org> To: gcc-patches@gcc.gnu.org X-SW-Source: 2015-11/txt/msg01455.txt.bz2 On 11 Nov 2015, at 19:43, Simon Wright wrote: > This situation arises, for example, with an embedded RTS that incorporate= s the > Ada 2012 generalized container iterators. I should add, this PR is the =E2=80=9Cother half=E2=80=9D of PR ada/66242, = which is fixed in GCC 6; so=20 please can it be reviewed? I didn=E2=80=99t make it plain that the comment I=E2=80=99ve put in the fir= st hunk, -- For restricted run-time libraries (ZFP and Ravenscar) tasks -- are non-terminating, so we do not want finalization. is lifted from the unpatched code at line 480, where it relates to the use = of=20 Configurable_Run_Time_On_Target for this purpose.