Re: Potential Coextension Bug in GNAT

[Jere <jhb.chat@gmail.com>]

On Thursday, December 20, 2018 at 11:56:13 AM UTC-5, Simon Wright wrote:
> Jere writes:
> 
> > I was messing around and trying to learn coextensions and
> > I came across some counter intuitive functionality.  If I
> > directly initialize one via an aggregate, it works fine.
> > However, if I initialize through a constructing function, 
> > it seems to treat the access discriminant as a normal access
> > type and finalizes it at the end of the program instead of
> > when the object leaves scope.
> 
> Compiling with -gnatwa I see "warning: coextension will not be finalized
> when its associated owner is deallocated or finalized", so GNAT clearly
> meant to do it!

that's pretty interesting.  The compiler I was using did not give
that warning when compiled with -gnatwa.  You're right, that definitely
looks intentional.