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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,fc4ac82d0abec4ff
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Jano <notelacreas@porfavor.no>
Newsgroups: comp.lang.ada
Subject: Re: Weird bug - Protected object - Gnat 3.15p win32
Date: Mon, 12 Jul 2004 10:48:36 +0200
Message-ID: <2lf1iaFboc4iU1@uni-berlin.de>
References: <5d6fdb61.0407110729.657570af@posting.google.com>
 <87iscu4jxg.fsf@insalien.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de k6u4WpbmDF/9VJ0b0HdoSgFHtAmQMWdj72CUZeu66G0s7d9i0=
User-Agent: Mozilla Thunderbird 0.7.1 (X11/20040626)
X-Accept-Language: en-us, en
In-Reply-To: <87iscu4jxg.fsf@insalien.org>
Xref: g2news1.google.com comp.lang.ada:2150
Date: 2004-07-12T10:48:36+02:00
List-Id: <comp.lang.ada>

Ludovic Brenta wrote:
> Jano writes:
> 
>>I've tried to get a small reproducer using new code, but failed, so
>>there must be some other dependences for it to arise. Using the code
>>from the project where I've detected it, it happens for every
>>instance of the protected type.
> 
> 
> I would be very interested in such a reproducer.

I'll try to produce a minimal set of files needed to trigger it.

>>Having been bitten hard at least twice by gnat bugs in 3.15p win,
>>I'm thinking of making a bugs page for other people to be warned
>>ahead. I'm already aware of the following:
>>
>>* The broken time packages.
>>* The broken Select in Gnat.Sockets.
>>
>>If you're aware of such kind of bugs which are hard to detect and
>>track down, please write about them so I can collect them for
>>reference. I think it can spare useful time to newcomers.
> 
> 
> There already exists such a central place; it is called the Debian bug
> tracking system.  If your bug is not specific to Windows, I encourage
> you to submit it there:
> 
> http://bugs.debian.org
> 
> The following URL lists all bugs that are currently known in GNAT:
> 
> http://bugs.debian.org/cgi-bin/pkgreport.cgi?which=pkg&data=gnat

Very interesting. Sadly I assume the windows specific bugs aren't there. 
  BTW, if you're familiar with linux maybe you can answer this:

I've been unsuccesful trying to set a task stack size above 2 MB in 
linux. Gnat accepts the pragma but doesn't obey it, ulimits are removed, 
--X linker switches seem ignored too. I seem to remember from when I 
looked at it that it is some limitation in ld. Would such a thing, if 
true, qualify as a bug?

Best regards,

Alex.