Re: Range check for type 'Integer'

[Peter Brooks <peter.h.m.brooks@gmail.com>]

On Jun 17, 1:23 pm, Simon Clubley <clubley@remove_me.eisner.decus.org-
Earth.UFP> wrote:
> On 2013-06-17, Peter Brooks <peter.h.m.bro...@gmail.com> wrote:
>
>
>
> > So the 'Integer' has rolled over to negative and then rolled back to 0
> > - but with no run-time error.
>
> > Why is there no range check error on type Integer?
>
> Because GNAT does not enable integer overflow detection by default; this
> is a design decision which was a major mistake. You need to compile your
> program using the switch to enable integer overflow detection.
>
> BTW, this same program was posted a few days ago with the same problem
> description. Is this a problem posed as part of a class you are taking ?
>
Thank you for the answer.

Yes, in a way, I am taking a class. I last looked at Ada about thirty
years ago, and I'm trying to get myself back up to speed because I've
a problem to solve.

I couldn't find any books on Kindle - all the Ada books are hard copy
and old. So I'm going through all the on-line tutorials that I can
find, particularly those on Ada 2012. This example is from an on-line
tutorial.

I couldn't work out why range-checking wasn't working and changing the
type from Integer got it going - with your answer it now all makes
sense and I can go on to the next tutorial.