From: dewar@gnat.com (Robert Dewar)
Subject: Re: Unchecked_Deallocation and Constraint_Error
Date: 20 Feb 2002 10:59:50 -0800
Date: 2002-02-20T18:59:51+00:00 [thread overview]
Message-ID: <5ee5b646.0202201059.7794f5aa@posting.google.com> (raw)
In-Reply-To: a4tmmj$asm$1@nh.pace.co.uk
"Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> wrote in message news:<a4tmmj$asm$1@nh.pace.co.uk>...
> I know, for example, that Gnat won't generate the checks
> that cause Constraint_Error on integer range excptions
> unless you throw a switch to
> enable it. Could this be a similar case?
Well you may "know" this, but that does not make it true :-)
Range_Checks are indeed on by default in GNAT and always
have been. You are mixing this up with Overflow_Checks
which are not on by default (and if you don't know the
difference, consult the RM, these terms are defined there!)
It is of course true that the questioner might have made a
pilot error (for instance, one certainly would not expect
to get an exception using -gnatp on GNAT :-)
next prev parent reply other threads:[~2002-02-20 18:59 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-02-19 12:13 Unchecked_Deallocation and Constraint_Error Christoph Grein
2002-02-19 12:54 ` Florian Weimer
2002-02-19 14:15 ` Marin David Condic
2002-02-20 18:59 ` Robert Dewar [this message]
2002-02-20 22:45 ` Marin David Condic
2002-02-26 22:37 ` Michal Nowikowski
-- strict thread matches above, loose matches on Subject: below --
2002-02-19 11:11 Michal Nowikowski
2002-02-19 11:59 ` Florian Weimer
2002-02-19 16:34 ` Jim Gleason
2002-02-19 23:23 ` 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