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!proxad.net!newsfeed1.ip.tiscali.net!tiscali!transit1.news.tiscali.nl!dreader2.news.tiscali.nl!not-for-mail Newsgroups: comp.lang.ada Subject: Re: Weird bug - Protected object - Gnat 3.15p win32 References: <5d6fdb61.0407110729.657570af@posting.google.com> From: Ludovic Brenta Date: Sun, 11 Jul 2004 17:56:11 +0200 Message-ID: <87iscu4jxg.fsf@insalien.org> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) Cancel-Lock: sha1:b12KyZTYviJD4eVEWqmXW1kW/zQ= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Organization: Tiscali bv NNTP-Posting-Date: 11 Jul 2004 17:56:25 CEST NNTP-Posting-Host: 83.134.238.9 X-Trace: 1089561385 dreader2.news.tiscali.nl 62388 83.134.238.9:34014 X-Complaints-To: abuse@tiscali.nl Xref: g2news1.google.com comp.lang.ada:2144 Date: 2004-07-11T17:56:25+02:00 List-Id: 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. > 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 I have already backported several fixes into the Debian package for GNAT (including one in package GNAT.Sockets; it may be the one you referred to). I also have a test suite that I use to reproduce all bugs and verify fixes. -- Ludovic Brenta.