Pragma Inline_Always (GNAT Reference Manual)

### 2.89 Pragma Inline_Always ¶

Syntax:

    pragma Inline_Always (NAME [, NAME]);

Similar to pragma `Inline` except that inlining is unconditional. Inline_Always instructs the compiler to inline every direct call to the subprogram or else to emit a compilation error, independently of any option, in particular ‘-gnatn’ or ‘-gnatN’ or the optimization level. It is an error to take the address or access of `NAME`. It is also an error to apply this pragma to a primitive operation of a tagged type. Thanks to such restrictions, the compiler is allowed to remove the out-of-line body of `NAME`.