Re: GNAT bug - still in 2010?

["Alexander S. Mentis" <foo@invalid.invalid>]

Maciej Sobczak wrote:

> Consider:
> 
> with Ada.Unchecked_Deallocation;
> 
> procedure Test is
> 
>    package P is
>       type My_Interface is limited interface;
>       procedure Do_Something (X : in out My_Interface) is abstract;
>    end P;
> 
>    protected type My_Protected is new P.My_Interface with
>       overriding
>       procedure Do_Something;
>    end My_Protected;
> 
>    protected body My_Protected is
>       overriding
>       procedure Do_Something is
>       begin
>          null;
>       end Do_Something;
>    end My_Protected;
> 
>    type My_Protected_Ptr is access My_Protected;
> 
>    procedure Free is new Ada.Unchecked_Deallocation
>      (Object => My_Protected, Name => My_Protected_Ptr);
> 
>    Ptr : My_Protected_Ptr;
> 
> begin
>    --   here come dragons:
>    --Free (Ptr);
>    null;
> end Test;
> 
> 
> If the indicated line (call to Free) is uncommented, GNAT crashes in
> flames (GNAT BUG DETECTED).
> 
> I was finally able to reduce this to a minimal example, which might be
> a good candidate for bug report (one in the long series of bugs
> related to interfaces), but before I submit it I would like to kindly
> ask you to confirm if this is still the case with GNAT 2010.
> Certainly the bug is in versions GPL 2009 (20090519) and in 4.4.0
> 20080314.

Yes, under Windows it demonstrates the same behavior.