Re: Range checking not working as expected?

[Mark Lorenzen <mark.lorenzen@surfpost.dk>]

Maciej Sobczak <no.spam@no.spam.com> writes:

> Vinzent 'Gadget' Hoefler wrote:
> 
> > Try again after compiling with -gnato to actually enable the overflow
> > checking.
> 
> OK, it "works" now. It is still not what I'd expect - "the default in
> Ada is safety", or something like this; I'd expect to actually need to
> go into some troubles to disable such checking. But it is still good
> that it works by default for non-border-case definitions like range
> 1..10. I presume that in practice the Integer type is not widely used
> and that typical ranges have limits dependent on the given domain and
> not on some hardware specifics.
> 
> Thank you for explanation,
> 
> 
> -- 
> Maciej Sobczak : http://www.msobczak.com/
> Programming    : http://www.msobczak.com/prog/

Check the "-gnato" section at

http://gcc.gnu.org/onlinedocs/gcc-4.0.1/gnat_ugn_unw/Run_002dTime-Checks.html#Run_002dTime-Checks

for a discussion.

- Mark Lorenzen