Re: Access type (mis)use (Was: Bug in Ada (SuSe 10.2) ?)

["Bob Klungle" <bklungle1@verizon.net>]

"Jacob Sparre Andersen" <sparre@nbi.dk> wrote in message 
news:ygefxvmv6ir.fsf_-_@hugsarin.dmusyd.edu...
> billjones6789@yahoo.com writes:
>
>> What should this print?
>>
>> with Ada.Text_IO;
>> procedure Dangling_Pointer is
>>    type Int_Access is access all integer;
>>
>>    Save : Int_Access;
>>
>>    type AirSpeed is record
>>       Altitude : aliased integer := 9;
>>    end record;
>>
>>    type AoA (Rudder: access AirSpeed) is limited null record;
>>
>>    function WoW (Slats: access AirSpeed) return Int_Access is
>>    begin
>>       return Slats.Altitude'Access;
>>    end;
>>
>>    procedure Calculate is
>>       Fuel: aliased AirSpeed;
>>       Heading: AoA (Fuel'Access);
>>    begin
>>       Save := WoW (Heading.Rudder);
>
> I would expect the above line to give a compile time error.  If it
> doesn't: Why?
>
> Greetings,
>
> Jacob
> -- 
> "Preserve wildlife, pickle a duck."

For what it is worth, cygwin gnatmake 3.4.4 yields
9
11

cheers...bob