Re: Should exceeding the range of Integer wrap around a la C?

[Lucretia <laguest9000@googlemail.com>]

On Monday, 21 May 2018 16:23:21 UTC+1, nrs...@gmail.com  wrote:
> I expect this program to print powers of 2 until `X` exceeds the range of Integer. Instead, it seems to "wrap around" with the following (abbreviated) 

> I am compiling with GNAT 4.9.2 on a Debian Linux system using `gnat make compute` with no further compiler flags. Are my expectations wrong, or is this incorrect behavior?

Your compiler is ancient, upgrade to to at least 6.4.0.

On my machine with 6.4.0, gnatmake compute, then I run it, I get this:

$ ./compute 
          1
          2
          4
          8
         16
         32
         64
        128
        256
        512
       1024
       2048
       4096
       8192
      16384
      32768
      65536
     131072
     262144
     524288
    1048576
    2097152
    4194304
    8388608
   16777216
   33554432
   67108864
  134217728
  268435456
  536870912
 1073741824

raised CONSTRAINT_ERROR : compute.adb:8 overflow check failed

I didn't even specify "-gnata -gnato -gnatE" to gnatmake as I normally would, you want those options BTW.