Re: GNAT bug - still in 2010?

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 10/27/10 5:00 PM, Maciej Sobczak wrote:

> procedure Test is
> [...]
> 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.

On Mac OS X, running both GNAT 2010 and GNAT 2009, I get

$ gnatmake -gnatf -gnatv -gnat05 -gnatwa test.adb
gcc -c -gnatf -gnatv -gnat05 -gnatwa test.adb

GNAT GPL 2010 (20100603)
Copyright 1992-2010, Free Software Foundation, Inc.

Compiling: test.adb (source file time stamp: 2010-10-27 21:02:39)

     12.      procedure Do_Something;
                        |
         >>> warning: procedure "Do_Something" is not referenced

     32.    Free (Ptr);
            1     2
         >>> "" is undefined
         >>> expected private type "System.Tasking.Protected_Objects.Protection"
         >>> found type "System.Tasking.Protected_Objects.Entries.Protection_Entries"
         >>>   ==> in call to "Finalize_Protection" at s-taprob.ads:244

  35 lines: 4 errors, 1 warning
gnatmake: "test.adb" compilation error


$ gnatmake -gnatf -gnatwa -gnat05 -gnatv test.adb
gcc -c -gnatwa -gnat05 -gnatv test.adb

GNAT GPL 2009 (20090519)
etc., same  messages