From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 102954 invoked by alias); 19 Dec 2015 22:05:59 -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 102940 invoked by uid 89); 19 Dec 2015 22:05:59 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=0.7 required=5.0 tests=AWL,BAYES_40,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS,SPF_PASS autolearn=ham version=3.3.2 spammy=HTo:U*charlet, arises, H*Ad:U*charlet, U*charlet 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; Sat, 19 Dec 2015 22:05:57 +0000 Received: from [81.141.64.23] (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 1aAPdS-0006h1-7l; Sat, 19 Dec 2015 22:05:54 +0000 Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 9.2 \(3112\)) Subject: Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime From: Simon Wright In-Reply-To: <20151112100205.GA9491@adacore.com> Date: Sat, 19 Dec 2015 22:05:00 -0000 Cc: gcc-patches@gcc.gnu.org Content-Transfer-Encoding: quoted-printable Message-Id: References: <7942AA17-3258-4B36-8B93-35C0574583AA@pushface.org> <666D196C-C248-45B3-A20F-138CE6B00457@pushface.org> <20151112100205.GA9491@adacore.com> To: Arnaud Charlet X-SW-Source: 2015-12/txt/msg01951.txt.bz2 On 12 Nov 2015, at 10:02, Arnaud Charlet wrote: >=20 >>> This situation arises, for example, with an embedded RTS that >>> incorporates the >>> Ada 2012 generalized container iterators. >>=20 >> I should add, this PR is the ???other half??? of PR ada/66242, which is = fixed >> in GCC 6; so please can it be reviewed? >=20 > The proper patch for PR ada/66242 hasn't been committed yet (it's pending= ), > so I'd rather review the situation once PR ada/66242 is dealt with. >=20 > I'm not convinced at all that your patch is the way to go, so I'd rather > consider it only after PR ada/66242 is solved properly. Looks as though PR ada/66242 has been sorted out. Since we can now *compile* code that is built with finalization enabled in = a restricted runtime, but we can't *bind* it, could we take another look at= this? the patch I provided in this thread still applies at snapshot 201512= 13 with minor offsets (8).