21.2 Eliminate Pragma

The simplified syntax of the Eliminate pragma used by gnatelim is:

     

     pragma Eliminate (Library_Unit_Name, Subprogram_Name);
     

where

Library_Unit_Name

full expanded Ada name of a library unit

Subprogram_Name

a simple or expanded name of a subprogram declared within this compilation unit

The effect of an Eliminate pragma placed in the GNAT configuration file gnat.adc is:

• If the subprogram Subprogram_Name is declared within the library unit Library_Unit_Name, the compiler will not generate code for this subprogram. This applies to all overloaded subprograms denoted by Subprogram_Name.
• If a subprogram marked by the pragma Eliminate is used (called) in a program, the compiler will produce an error message in the place where it is called.