Re: Bug in Ada (SuSe 10.2) ?

[Georg Bauhaus <rm.plus-bug.tsoh@maps.futureapps.de>]

On Fri, 2008-02-22 at 08:10 -0800, billjones6789@yahoo.com wrote:

> Of course, the danger is only eliminated when this language-defined
> check is fully implemented in standard mode.

Here is another dangling pointer. The program is
giving me results varying with compiler/OS. I didn't see
how accessiblity checks could help in this case, but
then maybe this is a different issue?

with Ada.Unchecked_Deallocation;
with Ada.Text_IO;

procedure News3 is
   use Ada;

   type Int_Ptr is access Integer;
   Pointer: Int_Ptr;
   Dangling_Pointer: Int_Ptr;

   procedure Copy(Source: in out Int_Ptr; Target: out Int_Ptr) is
      procedure Oops is new Unchecked_Deallocation
        (Integer, Int_Ptr);
   begin
      Target := Source;
      Oops(Source);
   end Copy;

begin
   Pointer := new Integer'(42);
   Copy(Pointer, Dangling_Pointer);

   Text_IO.Put_Line(Integer'image(Dangling_Pointer.all));
end News3;