Re: Gnat: system__finalization_implementation__finalize_list

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

In article <BA5E221A.1F79%yaldnifw@blueyonder.co.uk>,
	Bill Findlay <yaldnifw@blueyonder.co.uk> writes:
> 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?

(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.