comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Ada/X Windows Newbie Problem
Date: 1996/10/10
Date: 1996-10-10T00:00:00+00:00	[thread overview]
Message-ID: <dewar.844990272@merv> (raw)
In-Reply-To: JSA.96Oct10133355@alexandria


iJon asked

"I've noticed that GNAT (tries?) to raise Storage_Error in this sort of
case (bad pointer dereference attempt in imported code), though it is
not always successful.  Is this (the "catching" of the segv and
raising of SE) by design or accidental in some way?"

The only legitimate sigsegv that can occur is one caused by reference to
the stack guard page (in implementatoins where this occurs). This causes
storage error to be raised. There is some attempt to determine whether
the sigsegv is a result of a real storage error, but it is not always
successful.

All other cases of sigsegv's correspond to erroneous programs, and raising
storage error is of course a perfectly acceptable execution semantics for
an erroneous execution.





      reply	other threads:[~1996-10-10  0:00 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-10-09  0:00 Ada/X Windows Newbie Problem Scott D. Curtis
1996-10-09  0:00 ` David Emery
1996-10-10  0:00 ` Jon S Anthony
1996-10-10  0:00   ` Robert Dewar [this message]
replies disabled

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