Re: Unchecked_Deallocation and Constraint_Error

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

O.K. Phraseology & punctuation being the issue, I can easily conceed that I
misused the term. :-) I'm by nature, disinclined to be a stickler for
accuracy - which is probably why I'm not a language lawyer.

The point remains that you need specific compiler settings in order to get
full compliance with the ARM & it doesn't happen by default with GNAT and
possibly other compilers. Not that this is a *bad* thing - just the way the
world is. Given the original question, I think its important to focus in on
the fact that any arbitrary Ada compiler out there isn't necessarily going
to behave as expected unless one checks out the documentation, etc., to be
sure it is properly configured and all appropriate options are taken.

The original poster might find a better answer to his question if we knew
the compiler brand & platform - someone might know what compiler settings to
go with to correct the problem.....

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Robert Dewar" <dewar@gnat.com> wrote in message
news:5ee5b646.0202201059.7794f5aa@posting.google.com...
>
> 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 :-)