Re: Question about library-level functions

[ytomino <aghia05@gmail.com>]

On Tuesday, December 18, 2012 4:49:41 AM UTC+9, Adam Beneschan wrote:
> There were some rule changes in Ada 2012 in 3.10.2 and 7.6.1, and I haven't yet studied them all.  But my initial reading is that since the anonymous access function result is converted to a named access type A, then the object that gets allocated should be finalized when A disappears, i.e. at the end of the block that declares A.  I could easily be wrong.
> 
> 
> 
>                         -- Adam

I'm reading that you pointed, now.

RM 3.10.2 (10.3/3) says "If the result is of an anonymous access type and is the operand of an explicit conversion, the master is that of the target type of the conversion;". The rule is just applicable to this case. This statement is added when Ada 2012.
Or, In Ada 2005 RM, (10/2) says "The accessibility level of an aggregate or the result of a function call (or equivalent use of an operator) that is used (in its entirety) to directly initialize part of an object is that of the object being initialized. In other contexts, the accessibility level of an aggregate or the result of a function call is that of the innermost master that evaluates the aggregate or function call. ". 
The innermost master or *function call* is probably in the block of type A.

I came to be sure that my understanding was wrong and it's a bug of the compiler.
Thanks.