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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,80e617905d3d4857
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!infeed-2.proxad.net!news8-e.free.fr!not-for-mail
Date: Wed, 20 Jul 2005 22:51:50 +0200
From: Damien <damien.carbonne@free.fr>
User-Agent: Mozilla Thunderbird 1.0.2 (X11/20050317)
X-Accept-Language: fr, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: pragma Inline in generic
References: <1121879427.142113.314140@z14g2000cwz.googlegroups.com>
 <42deb7f5$0$7314$636a15ce@news.free.fr>
In-Reply-To: <42deb7f5$0$7314$636a15ce@news.free.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <42deb96c$0$24314$626a14ce@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 20 Jul 2005 22:51:57 MEST
NNTP-Posting-Host: 82.235.135.166
X-Trace: 1121892717 news8-e.free.fr 24314 82.235.135.166:33489
X-Complaints-To: abuse@proxad.net
Xref: g2news1.google.com comp.lang.ada:3711
Date: 2005-07-20T22:51:57+02:00
List-Id: <comp.lang.ada>

gnat 3.15p user guide contains:

3.2.13 Subprogram Inlining Control

-gnatn
     The n here is intended to suggest the first syllable of the word 
"inline". GNAT recognizes and processes Inline pragmas. However, for the 
inlining to actually occur, optimization must be enabled. To enable 
inlining across unit boundaries, this is, inlining a call in one unit of 
a subprogram declared in a with'ed unit, you must also specify this 
switch. In the absence of this switch, GNAT does not attempt inlining 
across units and does not need to access the bodies of subprograms for 
which pragma Inline is specified if they are not in the current unit.

     If you specify this switch the compiler will access these bodies, 
creating an extra source dependency for the resulting object file, and 
where possible, the call will be inlined. For further details on when 
inlining is possible see See section 25.4 Inlining of Subprograms.

-gnatN
     The front end inlining activated by this switch is generally more 
extensive, and quite often more effective than the standard -gnatn 
inlining mode. It will also generate additional dependencies.

As indicated, you should also read section 25.4 Inlining of Subprograms.

Damien