From: erik.shadwick@gmail.com
Subject: Re: GNAT bugs around use of "for X'Address..." clause
Date: Fri, 22 May 2015 01:08:07 -0700 (PDT)
Date: 2015-05-22T01:08:07-07:00 [thread overview]
Message-ID: <8d8fdc23-f8ec-4738-b100-f6021de192a2@googlegroups.com> (raw)
In-Reply-To: <lylhghxds4.fsf@pushface.org>
On Friday, May 22, 2015 at 12:38:37 AM UTC-7, Simon Wright wrote:
> FSF GCC 4.9.1 raises a bug box (in a different place).
> 5.1.0 doesn't crash, but says (as I expected)
> ...
> You could wait for GNAT GPL 2015, or you could try the FSF 5.1.0 at [1].
Thank you -- it successfully compiles my project without those pesky bug boxes.
> > Further, what is the validity of assigning to a variable that has the
> > 'Address clause on it -- is it legal and defined behaviour?
>
> Yes, but writing to System.Null_Address will probably not produce useful
> behaviour. What you have here is an interaction between the type
> invariant and the address setting.
Oh most definitely. I just found it the simplest System.Address to use in the minimal example.
Thanks for the link to 5.1.0, as that fully resolves my problem, and compiles all three cases without crashing.
prev parent reply other threads:[~2015-05-22 8:08 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-22 6:23 GNAT bugs around use of "for X'Address..." clause erik.shadwick
2015-05-22 7:38 ` Simon Wright
2015-05-22 8:08 ` erik.shadwick [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox