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

[Jacob Sparre Andersen <sparre@nbi.dk>]

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."