Re: pragma Inline in generic

[Damien <damien.carbonne@free.fr>]

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