From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Changing discriminants at run-time: erroneous execution?
Date: 1996/08/07
Date: 1996-08-07T00:00:00+00:00 [thread overview]
Message-ID: <dewar.839449016@schonberg> (raw)
In-Reply-To: DvrrwK.DBp@world.std.com
iBob said
"So long as GNAT provides some way of turning on the checks, it is OK.
(I would prefer that all checks be on by default, but the ACT folks say
it's too inefficient. In any case, the RM doesn't say anything about
that.)"
Wrong tree!
This is not a matter of a check that is off by default, it is a matter of
an unimplemented check. In implementations of GNAT which support stack
checking, stack checking is always turned on, and in fact cannot be turned
off at all (since it has essentially no overhead, there is no point in letting
it be turned off).
next prev parent reply other threads:[~1996-08-07 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-08-07 0:00 Changing discriminants at run-time: erroneous execution? Andre Spiegel
1996-08-07 0:00 ` Robert Dewar
1996-08-07 0:00 ` Robert A Duff
1996-08-07 0:00 ` Robert Dewar [this message]
1996-08-08 0:00 ` Mandatory stack check (was: Changing discriminants...) Ken Garlington
1996-08-08 0:00 ` Robert A Duff
1996-08-12 0:00 ` Ken Garlington
1996-08-13 0:00 ` Robert A Duff
1996-08-14 0:00 ` Ken Garlington
1996-08-09 0:00 ` Robert Dewar
1996-08-08 0:00 ` Changing discriminants at run-time: erroneous execution? Andre Spiegel
1996-08-10 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox