From: Simon Wright <simon@pushface.org>
Subject: Re: bug in gnatgpl 2015?
Date: Mon, 31 Aug 2015 09:48:14 +0100
Date: 2015-08-31T09:48:14+01:00 [thread overview]
Message-ID: <lyy4gryhbl.fsf@pushface.org> (raw)
In-Reply-To: 32c623ac-817e-46fc-bb13-c77b47a506a7@googlegroups.com
Leo Brewin <leo.brewin@internode.on.net> writes:
> I've run into what I think is a bug in gnatgpl 2015.
> I wonder if others could confirm the bug?
>
> I've tried to make the code as short as possible while still
> capturing the alleged bug.
>
> Using gnatgpl 2015 from Adacore, I get
>
> gnatmake crash.adb
>
> gcc -c crash.adb
>
> raised CONSTRAINT_ERROR : erroneous memory access
> gnatmake: "crash.adb" compilation error
>
> and on occassions a detailed report (too long to include here but will
> be sent to Adacore if need be).
Yes. Also, the reported point of error in the long report seems to vary
with the optimisation level.
> head : myArray1dIntg renames head_ptr.all;
The problem seems to go away if you eliminate this declaration, and use
head_ptr[.all] instead.
next prev parent reply other threads:[~2015-08-31 8:48 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-08-31 7:34 bug in gnatgpl 2015? Leo Brewin
2015-08-31 8:48 ` Simon Wright [this message]
2015-08-31 9:19 ` Leo Brewin
2015-08-31 10:51 ` Peter Chapin
2015-08-31 15:54 ` Anh Vo
2015-08-31 23:33 ` Anh Vo
2015-08-31 23:37 ` Leo Brewin
2015-08-31 23:55 ` Leo Brewin
2015-08-31 23:35 ` Leo Brewin
2015-09-01 0:33 ` Leo Brewin
2015-09-01 1:24 ` Anh Vo
2015-09-01 12:42 ` Simon Wright
2015-09-01 7:44 ` Markus Schöpflin
2015-09-01 9:17 ` G.B.
2015-09-01 13:43 ` ahlan
2015-09-01 13:45 ` ahlan
2015-09-10 7:31 ` Jerry van Dijk
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox