Re: Bug in Ada (SuSe 10.2) ?

[billjones6789@yahoo.com]

Jean-Pierre Rosen wrote:
> Hmm... maybe we coud suggest to AdaCore (anybody listening?) that the
> GPL version should have the checks on by default, ...

> - Show quoted text -

Including checks for dangling pointers??
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);
      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_Pointer;