From: "Jeff C," <jcreem@yahoo.com>
Subject: Re: Longstanding GNAT bug, bad code, or both -- Answer..Bad code.
Date: Sat, 07 Aug 2004 14:07:14 GMT
Date: 2004-08-07T14:07:14+00:00 [thread overview]
Message-ID: <lm5Rc.218065$a24.134231@attbi_s03> (raw)
In-Reply-To: %7XQc.100722$eM2.38916@attbi_s51
Ok. I submitted a bugzilla report and it has already been cancelled.
Apparently, declaring a variable as aliased makes it contrained. (According
to one of the gcc Ada maintainers)
I did spend a little time looking through the LRM for this but
obviously not enough. It seemed a little counter-intutitive since one might
think that given an aliased
variable one would have to really worry about the discriminant changing all
the time, so why was the compiler
surprised when it did.......After thinking about it, it is probably
why the rule was created since I suppose otherwise the alias
detection/contraint checking would get pretty hard and
potentially computationally expensive at run time...
Of course I could be wrong about why the rule is what it is...but I am
willing to believe it.
next prev parent reply other threads:[~2004-08-07 14:07 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-07 2:29 Longstanding GNAT bug, bad code, or both Jeff C,
2004-08-07 4:05 ` Jeff C,
2004-08-07 15:23 ` Stephen Leake
2004-08-07 14:07 ` Jeff C, [this message]
2004-08-07 16:44 ` Longstanding GNAT bug, bad code, or both -- Answer..Bad code Stephen Leake
2004-08-08 11:26 ` Simon Wright
2004-08-24 20:57 ` Randy Brukardt
2004-08-25 11:00 ` Jeff C,
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox