Re: Possible compiler bug with this simple program

[Jerry <lanceboyle@qwest.net>]

On Aug 29, 1:39 pm, Ludovic Brenta <ludo...@ludovic-brenta.org> wrote:
> I'm actually puzzled as to why the program appears to work on 32-bit
> platforms. I would expect a Storage_Error when accessing X (0) since,
> per your declaration, X'First = Integer'First = -2**31, so X (0) is
> probably way past the end of the array.  The first thing I would try
> is using Natural instead of Integer as the array index subtype.  If
> that fails, try specifying the 'Alignment and 'Component_Size.  If
> that still fails, look at the assembly code emitted on amd64.
>
> I just receivedhttp://bugs.debian.org/497067, BTW.
>
> --
> Ludovic Brenta.

Thanks, Ludovic. I'll try these things and report back.

The bug report that you reference is (obviously) from the person who
initially noticed the problem on his 64-bit machine.

In his post he asks for others to try the simple example (which is a
linked tarball from the bug page that you listed) to collect more
evidence that the problem is only on 64-bit machines and not 32-bit
machines.

Here is the tarball link that might work from here:
http://bugs.debian.org/cgi-bin/bugreport.cgi?msg=10;filename=simple_test_case.tar.gz;att=1;bug=497067

Jerry