Re: Gnat: system__finalization_implementation__finalize_list

[Bill Findlay <yaldnifw@blueyonder.co.uk>]

On 29/1/03 23:35, in article 3e38664a$0$351$bed64819@news.gradwell.net,
"Victor Porton" <porton@ex-code.com> wrote:

> In article <uhebrvixj.fsf@nasa.gov>,
> Stephen Leake <Stephen.A.Leake@nasa.gov> 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 ("-" => "")