Re: Howto debug seg-faulting Ada 95 code?

["David C. Hoos, Sr." <david.c.hoos.sr@ada95.com>]

Compiling with -fstack-check results in exactly the same
behavior, unless the environment variable
GNAT_STACK_LIMIT is set -- in which case STORAGE_ERROR
is raised with the message "stack overflow detected"
if the GNAT_STACK_LIMIT is set below 6170.

It would be a good thing to read carefully the
GNAT User's Guide section on stack checking --
particularly with regard to the environment task -- since
it is in the environment task that you are experiencing
stack overflow.

With regard to "ACT-certified" Linux distributions,
RedHat 7.2 isn't "certified" either -- only 6.2, if I
recall.  The only problem I encountered with GNAT on
RedHat 7.2 was related to support for symbolic call-stack
tracing, and I fixed those problems myself.

The last time I looked at SuSe was in early 1999 when I
evaluated Slackware, SuSe and RedHat.  I decided against
SuSe for reasons unrelated to GNAT -- my preference for
System V over BSD, and the fact that the SuSe English
documentation was clearly translated (from German?) by
persons for whom English is not their native tongue.
I preferred the better (though imperfect) English of the
RedHat distribution for the sake of my customer.

----- Original Message -----
From: "Karl Ran" <karlran@hotmail.com>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada.eu.org>
Sent: September 03, 2002 4:38 AM
Subject: Re: Howto debug seg-faulting Ada 95 code?


> "David C. Hoos, Sr." <david.c.hoos.sr@ada95.com> wrote in message > This code runs perfectly well
on my RedHat 7.2
> > GNAT 3.14 system under my normal shell environment
>
> Thanks for your report.
>
> > I can make it segfault if I set the stacksize
> > limit to 6171 kbytes.  With 6172 kbytes it runs OK.
>
> Would you please recompile my test code with '-fstack-check'?
>
> > So, there is no "software defect" as has been
> > suggested, but merely a case of failure to provide
> > an execution environment in which the program is to
> > execute, having adequate resources to accommodate
> > the program's design.
>
> Well, in Forian`s and in my case the compiled code fails to raise
> STORAGE_ERROR when compiled with '-fstack-check'!
>
> The result is a segmentation fault - but it can be worse, right?
>
>
> Another point is that neither Florina nor myself is using a
> ACT-certified
> Linux distribution :-/
>
> Karl
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada
>
>