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-29 16:28:36 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!opentransit.net!fr.clara.net!heighliner.fr.clara.net!proxad.net!news-hub.cableinet.net!blueyonder!internal-news-hub.cableinet.net!news-text.cableinet.net.POSTED!53ab2750!not-for-mail User-Agent: Microsoft-Entourage/10.1.1.2418 Subject: Re: Gnat: system__finalization_implementation__finalize_list From: Bill Findlay Newsgroups: comp.lang.ada Message-ID: References: <3e379038$0$350$bed64819@news.gradwell.net> <3e38664a$0$351$bed64819@news.gradwell.net> Mime-version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-transfer-encoding: 7bit Date: Thu, 30 Jan 2003 00:28:36 GMT NNTP-Posting-Host: 80.195.52.70 X-Complaints-To: abuse@blueyonder.co.uk X-Trace: news-text.cableinet.net 1043886516 80.195.52.70 (Thu, 30 Jan 2003 00:28:36 GMT) NNTP-Posting-Date: Thu, 30 Jan 2003 00:28:36 GMT Organization: blueyonder (post doesn't reflect views of blueyonder) Xref: archiver1.google.com comp.lang.ada:33587 Date: 2003-01-30T00:28:36+00:00 List-Id: On 29/1/03 23:35, in article 3e38664a$0$351$bed64819@news.gradwell.net, "Victor Porton" wrote: > In article , > Stephen Leake writes: >> porton@ex-code.com (Victor Porton) writes: >> >>> Ideas what this means, how to find the error? >>> (All checks are turned on!) >>> >>> Program received signal SIGSEGV, Segmentation fault. >>> 0x40164c96 in system__finalization_implementation__finalize_list () >>> from /usr/lib/libgnat-3.14p.so.1 >> >> Run under the debugger and trace up the stack. > > It is inside of Ada libraries. To check I would need to download the > Gnat sources and probably recompile these :-( > > Oh, Ada is not so reliable as I cannot find a cause of segfault with > all checks turned on! :-~ Like C++... > >>> This error appears after exiting my main rountine (well, the main >>> rountine is not a procedure but a begin...end block of a package >>> body.) >> >> That's _not_ a main routine; in Ada, the main routine must be a >> library level procedure. Hmm, can't find that in the LRM, maybe that's >> a GNAT distinction. > > "Main rountine" was just my informal wording. > >> The sequence of statements in a package body is executed at >> elaboration time, before the main program's sequence of statements. > > No main procedure at all in my program. So, have we got this right: (1) You compiled a package (in effect, a library of routines, NOT a program) (2) You persuaded the OS to execute its object code (3) You complain about Ada because it does not execute entirely correctly? What check do you expect to be able to detect this? -- Bill-Findlay chez blue-yonder.co.uk ("-" => "")