Re: Bug or feature?

[Laurent <daemon2@internet.lu>]

Hi

Using GNAT and GPS. Didn't change anything on the compiler flags.

>When you ran the small test program, what value did you put in for N?

I used 10.

This one I didn't see: 5*2_000_000_000 = 1_410_065_408
So there is also an overflow. Didn't count the digits before. (Is there a way to add '_' to separate
the thousands automatically in GPS?)

Seems this behavior happens only with functions.

Yeah my test is quite cheap. Was more to see if I coded something strange together or if it is an other problem.

Modified my little test with Result:= 2_000_000_000 + 2_000_000_000;
Doesn't compile:

/Volumes/Kingston/GPS/Chapter 14/buffer_overflow.adb
        11:27 static expression fails Constraint_Check
        11:27 value not in range of type "Standard.Integer"

So it is a bug?  Or just a matter of putting an additional flag?

Checked the Stack Overflow check (-gnato) under Project Properties/Switches/Ada and disabling my own overflow detection the fibonacci program(iteration or recursion) crashes with Constraint Error. The behavior I expected. I am a bit disappointed/afraid of this. Or perhaps I have forgotten to read the small printed text somewhere at the end :)

Thanks

Laurent