Re: Is this legal?

[AdaMagica <christ-usch.grein@t-online.de>]

> procedure Main is 
> 
> subtype str5 is string(1..5); 
> type s5_ptr is access all str5; 

Ptr: s5_ptr;

> type T is 
> record 
> --current : access str5; 
> current : s5_ptr; -- "aliased actual has wrong accessibility" 
> foo : aliased str5; 
> end record; 

The accessibility rules are far too complicated and unreadable (I'm not about trying to grock them), but the component current has a type that has a lifetime as long as Main. Your object o may be declared in an inner scope with less lifetime. Thus the assignment must be illegal.

begin
  declare
    o : T := (Acurrent => null, --Ncurrent => null,
             foo => "Hello");
  begin
    P (o);
    --Ptr := o.Ncurrent;  -- global point to disappearing object
    Ptr := o.Acurrent;  -- global point to disappearing object
  end;
  put_line(Ptr.all);  -- prints Hello
end Main;

But it occurs to me that GNAT CE 2021 has a problem here. (Comment out all occurrences of Ncurrent.)