Re: Gnat: system__finalization_implementation__finalize_list

[porton@ex-code.com (Victor Porton)]

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.