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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,57ca86d2263c2ca9
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-01-31 02:17:15 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!colt.net!peernews3.colt.net!news0.de.colt.net!news-fra1.dfn.de!news.rwth-aachen.de!not-for-mail
From: "Alexander Boucke" <alexb@lufmech.rwth-aachen.de>
Newsgroups: comp.lang.ada
Subject: Re: Gnat: system__finalization_implementation__finalize_list
Date: Fri, 31 Jan 2003 11:17:08 +0100
Organization: Lehr- und Forschungsgebiet f. Mechanik
Message-ID: <b1difb$reu$1@nets3.rz.RWTH-Aachen.DE>
References: <3e379038$0$350$bed64819@news.gradwell.net>
 <3e38bbbc$0$346$bed64819@news.gradwell.net> <uadhiwook.fsf@nasa.gov>
 <wccy952jt6s.fsf@shell01.TheWorld.com>
NNTP-Posting-Host: 134.130.177.114
X-Trace: nets3.rz.RWTH-Aachen.DE 1044008235 28126 134.130.177.114 (31 Jan 2003
 10:17:15 GMT)
X-Complaints-To: abuse@rwth-aachen.de
NNTP-Posting-Date: 31 Jan 2003 10:17:15 GMT
X-Newsreader: Microsoft Outlook Express Unix 5.00.2013.1312
X-MIMEOLE: Produced By Microsoft MimeOLE V5.00.2013.1312
Xref: archiver1.google.com comp.lang.ada:33635
Date: 2003-01-31T10:17:15+00:00
List-Id: <comp.lang.ada>

>> Try it with a normal 'main procedure', just for kicks.
>
>Shouldn't matter.
>

It doesn't (always) matter...

>>>>> Program received signal SIGSEGV, Segmentation fault.
>>>>> 0x40164c96 in system__finalization_implementation__finalize_list ()
>>>>> from /usr/lib/libgnat-3.14p.so.1
>>>>
>(1) I compiled my program whose effectively main rountine is not a
>procedure but a begin...end block of a package specifically designed to
>be used as the main rountine. It is perfectly legal accordingly ARM
>(however not recommended by the style guide which I not obliged to
>follow).
>
>(2) I executed a properly linked executable with no library level
>procedures. It is legal.
>
>It is Gnat whose manual I have read, and theoretically should work
>correctly.

Hi,
I've had exactly the same problem using gnat-3.13p and the Booch Components
(bc-20000219). When using the managed memory pools from the components the
program would not close *after* executing all my code correctly. In the
debugger I've seen this error then... For me the occurence of this error
depends on the size of my lists and can (seemingly) be avoided using
unmanaged storage. And gnat-3.14p, gnat-3.15p and gcc-3.2-gnat do not work
at all for me due to compiler errors :-(

So it might be an Error in the compiler finalization code or probably a
problem with the booch components itself. But I did not find the time to
look more closely yet.

Otherwise I am very pleased with Ada and gnat, looking at a colleague and
his C++ struggles :-)

Regards,
Alexander