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,d65138770e3daae3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.219.170 with SMTP id pp10mr20846063pbc.1.1340817974495;
        Wed, 27 Jun 2012 10:26:14 -0700 (PDT)
Path: 
 l9ni26500pbj.0!nntp.google.com!news2.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Refactoring for error: cannot inline "X" (forward instance within
 enclosing body)
Date: Wed, 27 Jun 2012 18:26:14 +0100
Organization: A noiseless patient Spider
Message-ID: <m2d34kzmx5.fsf@pushface.org>
References: <7a18bc7e-2541-46f9-9d92-65d87fed06e6@googlegroups.com>
	<jsaf89$9a9$1@dont-email.me>
	<d651e7c9-e091-42a9-b56b-2502e6fab091@googlegroups.com>
	<jsc3pr$iap$1@dont-email.me>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="Tmdy4MsukJlYNyzOr+R9sA";
	logging-data="10460"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX188Yudy0ZQoNm+uRUH6cRpf4EpBG82mWAU="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.1 (darwin)
Cancel-Lock: sha1:WSC9VlTFwNfcqoML9EBtFISQW1Q=
	sha1:wpafqeyIxS2fGjKl0s8a2TZX+K4=
X-Received-Bytes: 1650
Content-Type: text/plain
Date: 2012-06-27T18:26:14+01:00
List-Id: <comp.lang.ada>

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