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,330279f3e4fb8016 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!news.cs.univ-paris8.fr!proxad.net!wanadoo.fr!not-for-mail From: Pascal Obry Newsgroups: comp.lang.ada Subject: Re: Problem with finalized protected object Date: 07 Jul 2004 22:27:39 +0200 Organization: Home - http://www.obry.org Message-ID: References: <2l227jF7p6vqU1@uni-berlin.de> NNTP-Posting-Host: avelizy-151-1-16-244.w82-120.abo.wanadoo.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: news-reader2.wanadoo.fr 1089231929 17085 82.120.150.244 (7 Jul 2004 20:25:29 GMT) X-Complaints-To: abuse@wanadoo.fr NNTP-Posting-Date: 7 Jul 2004 20:25:29 GMT User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.95 Xref: g2news1.google.com comp.lang.ada:2105 Date: 2004-07-07T20:25:29+00:00 List-Id: Duncan Sands writes: > While it's most likely that your program is wrong, it is also true > that GNAT's finalization implementation is buggy: if you use (say) > valgrind to watch a program mixing tasks and controlled objects > in the right way, you quickly discover that during finalization the > run-time system is trying to use tasking structures that it has already > freed. This leads to "interesting" behavior on program finalization. Just curious, do you have a reproducer ? Does this has been reported to ACT ? Pascal. -- --|------------------------------------------------------ --| Pascal Obry Team-Ada Member --| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE --|------------------------------------------------------ --| http://www.obry.org --| "The best way to travel is by means of imagination" --| --| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595