nhere is intended to suggest the first syllable of the word “inline”. GNAT recognizes and processes
Inlinepragmas. However, for the inlining to actually occur, optimization must be enabled. To enable inlining of subprograms specified by pragma
Inline, you must also specify this switch. In the absence of this switch, GNAT does not attempt inlining and does not need to access the bodies of subprograms for which
pragma Inlineis 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 Inlining of Subprograms.