Re: Bug in Ada (SuSe 10.2) ?

[billjones6789@yahoo.com]

On Feb 26, 5:05 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
wrote:
> Maybe I missed it -- did you or somebody else post an example of a
> missing accessibility check?  

Yes, here's another copy.  Randy reports a compile-time
error message, and Bob Klungle reports that the program
runs without raising program_error.

with Ada.Text_IO;
procedure Dangling_Pointer2 is
   type Int_Access is access all integer;

   Save : Int_Access;

   type AirSpeed is record
      Altitude : aliased integer := 9;
   end record;

   function WoW (Slats: access AirSpeed) return Int_Access is
   begin
      return Slats.Altitude'Access;
   end WoW;

   procedure Calculate is
      Heading : aliased AirSpeed;
   begin
      Save := WoW (Heading'access);
      Ada.Text_IO.Put_Line (integer'image(Save.all));
   end Calculate;

   procedure Mess_with_stack is
      Dummy: array(1..10) of integer := (others => 17);
   begin
      null;
   end Mess_with_stack;

begin
   Calculate;
   Mess_with_stack;
   Ada.Text_IO.Put_Line (integer'image(Save.all));
end Dangling_Pointer2;