From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,WEIRD_PORT
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,268e52cd81f7181c
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news1.google.com!goblin3!goblin.stu.neva.ru!news.tu-darmstadt.de!news.belwue.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 27 Oct 2010 23:09:19 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US;
 rv:1.9.2.11) Gecko/20101013 Thunderbird/3.1.5
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: GNAT bug - still in 2010?
References: 
 <6cebf1a3-3b2a-4e79-a39e-669a6a5ca00c@l20g2000yqm.googlegroups.com>
In-Reply-To: 
 <6cebf1a3-3b2a-4e79-a39e-669a6a5ca00c@l20g2000yqm.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4cc89500$0$6990$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 27 Oct 2010 23:09:20 CEST
NNTP-Posting-Host: 3fd924f2.newsspool4.arcor-online.net
X-Trace: 
 DXC=LPX40Y<<Hi<lIh70@<QIE74IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;P5G5:g6Gca4PCY\c7>ejV8ZioAOTLLkL6TEagXmLR9G1
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:14863
Date: 2010-10-27T23:09:20+02:00
List-Id: <comp.lang.ada>

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