On 12 Nov 2015, at 10:02, Arnaud Charlet <char...@adacore.com> wrote: > >>> This situation arises, for example, with an embedded RTS that >>> incorporates the >>> Ada 2012 generalized container iterators. >> >> 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? > > 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. > > 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 20151213 with minor offsets (8).
