From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e5a3abec221df39 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!s1g2000pra.googlegroups.com!not-for-mail From: Jerry Newsgroups: comp.lang.ada Subject: Re: Possible compiler bug with this simple program Date: Fri, 29 Aug 2008 14:20:20 -0700 (PDT) Organization: http://groups.google.com Message-ID: <97315142-06ba-4b90-acde-1cc6c1845589@s1g2000pra.googlegroups.com> References: <1edc3682-855f-405b-8348-72b423377b1a@i20g2000prf.googlegroups.com> <891f5fdc-195e-47a3-a269-04d1d9234b97@m3g2000hsc.googlegroups.com> <87y72fr1wj.fsf@ludovic-brenta.org> NNTP-Posting-Host: 75.171.37.202 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1220044820 32063 127.0.0.1 (29 Aug 2008 21:20:20 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 29 Aug 2008 21:20:20 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: s1g2000pra.googlegroups.com; posting-host=75.171.37.202; posting-account=x5rpZwoAAABMN2XPwcebPWPkebpwQNJG User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X; en-US) AppleWebKit/525.18 (KHTML, like Gecko, Safari/525.20) OmniWeb/v622.1.0.104377,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:7550 Date: 2008-08-29T14:20:20-07:00 List-Id: On Aug 29, 1:39=A0pm, Ludovic Brenta 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 =3D Integer'First =3D -2**31, so X (0) is > probably way past the end of the array. =A0The first thing I would try > is using Natural instead of Integer as the array index subtype. =A0If > that fails, try specifying the 'Alignment and 'Component_Size. =A0If > 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=3D10;filename=3Dsimple_tes= t_case.tar.gz;att=3D1;bug=3D497067 Jerry