From: Simon Wright <simon@pushface.org>
Subject: Re: Refactoring for error: cannot inline "X" (forward instance within enclosing body)
Date: Wed, 27 Jun 2012 18:26:14 +0100
Date: 2012-06-27T18:26:14+01:00 [thread overview]
Message-ID: <m2d34kzmx5.fsf@pushface.org> (raw)
In-Reply-To: jsc3pr$iap$1@dont-email.me
Brian Drummond <brian@shapes.demon.co.uk> writes:
> Or has this little example caught a corner case involving generics and
> Inline_Always where Gnat gets it wrong?
Looking at AARM05 6.3.2 (6) [1], an implementation doesn't have to obey
pragma Inline.
I don't know how AdaCore regard Inline_Always with respect to this; but
it seems unlikely that saying -gnatN could suddenly make it
possible. Unless -gnatN overrides the Inline_Always processing that
reports problems.
Either way, seems like a GNAT bug.
[1]http://www.adaic.org/resources/add_content/standards/05aarm/html/AA-6-3-2.html
prev parent reply other threads:[~2012-06-27 17:26 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-25 13:02 Refactoring for error: cannot inline "X" (forward instance within enclosing body) Keean Schupke
2012-06-25 13:03 ` Keean Schupke
2012-06-25 19:47 ` Brian Drummond
2012-06-26 7:51 ` Keean Schupke
2012-06-26 9:49 ` Georg Bauhaus
2012-06-26 11:53 ` Keean Schupke
2012-06-26 15:42 ` Keean Schupke
2012-06-26 20:06 ` Keean Schupke
2012-06-26 10:44 ` Brian Drummond
2012-06-26 22:43 ` Randy Brukardt
2012-06-27 10:04 ` Keean Schupke
2012-06-27 17:26 ` Simon Wright [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