comp.lang.ada
 help / color / mirror / Atom feed
From: David Starner <dvdeug@x8b4e53cd.dhcp.okstate.edu>
Subject: Re: reasons for segmentation faults on linux
Date: 29 Nov 2001 18:42:20 GMT
Date: 2001-11-29T18:42:20+00:00	[thread overview]
Message-ID: <9u5vic$a2g1@news.cis.okstate.edu> (raw)
In-Reply-To: 5ee5b646.0111281939.23c5280c@posting.google.com

On 28 Nov 2001 19:39:01 -0800, Robert Dewar <dewar@gnat.com> wrote:
> This is misleading. Stack checking is off in gcc by default
> (and gnat always follows general gcc decisions on defaults
> for gcc switches, since it would get very confusing if the
> defaults were language dependent. If you turn on the switch, you get
> stack checking, nothing "infeasible"
> about it.

GCC didn't check array accesses by default when GNAT was created. (It
now can do so for Fortran, but doesn't by default, and does for Java.)
Why does GNAT check for array accesses? Stack checking seems more of a
language thing than a general gcc decision.

Why is there GNAT_STACK_LIMIT? If it were feasible to do it cleanly,
then why doesn't GNAT do it that way instead of requiring an additional
enivromental variable?

-- 
David Starner - starner@okstate.edu
Pointless website: http://dvdeug.dhis.org
"I saw a daemon stare into my face, and an angel touch my breast; each 
one softly calls my name . . . the daemon scares me less."
- "Disciple", Stuart Davis



  reply	other threads:[~2001-11-29 18:42 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-11-28 12:03 reasons for segmentation faults on linux Tony
2001-11-28 12:49 ` Marc A. Criley
2001-11-28 15:59   ` Preben Randhol
2001-11-28 18:04     ` Mark Johnson
2001-11-28 22:31     ` David Starner
2001-11-29  3:39       ` Robert Dewar
2001-11-29 18:42         ` David Starner [this message]
2001-11-29  3:36     ` Robert Dewar
2001-11-29 10:36       ` Preben Randhol
2001-11-29 11:01         ` Preben Randhol
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox