Configuration Pragmas (GNAT User’s Guide for Native Platforms)

### 3.4 Configuration Pragmas ¶

Configuration pragmas supported by GNAT consist of those pragmas described as such in the Ada Reference Manual and the implementation-dependent pragmas that are configuration pragmas. See the `Implementation_Defined_Pragmas` chapter in the GNAT_Reference_Manual for details on these additional GNAT-specific configuration pragmas. Most notably, the pragma `Source_File_Name`, which allows specifying non-default names for source files, is a configuration pragma. The following is a complete list of configuration pragmas recognized by GNAT:

    Ada_83
    Ada_95
    Ada_05
    Ada_2005
    Ada_12
    Ada_2012
    Ada_2022
    Aggregate_Individually_Assign
    Allow_Integer_Address
    Annotate
    Assertion_Policy
    Assume_No_Invalid_Values
    C_Pass_By_Copy
    Check_Float_Overflow
    Check_Name
    Check_Policy
    Component_Alignment
    Convention_Identifier
    Debug_Policy
    Default_Scalar_Storage_Order
    Default_Storage_Pool
    Detect_Blocking
    Disable_Atomic_Synchronization
    Discard_Names
    Elaboration_Checks
    Eliminate
    Enable_Atomic_Synchronization
    Extend_System
    Extensions_Allowed
    External_Name_Casing
    Fast_Math
    Favor_Top_Level
    Ignore_Pragma
    Implicit_Packing
    Initialize_Scalars
    Interrupt_State
    Interrupts_System_By_Default
    License
    Locking_Policy
    No_Component_Reordering
    No_Heap_Finalization
    No_Strict_Aliasing
    Normalize_Scalars
    Optimize_Alignment
    Overflow_Mode
    Overriding_Renamings
    Partition_Elaboration_Policy
    Persistent_BSS
    Prefix_Exception_Messages
    Priority_Specific_Dispatching
    Profile
    Profile_Warnings
    Queuing_Policy
    Rename_Pragma
    Restrictions
    Restriction_Warnings
    Reviewable
    Short_Circuit_And_Or
    Source_File_Name
    Source_File_Name_Project
    SPARK_Mode
    Style_Checks
    Suppress
    Suppress_Exception_Locations
    Task_Dispatching_Policy
    Unevaluated_Use_Of_Old
    Unsuppress
    Use_VADS_Size
    User_Aspect_Definition
    Validity_Checks
    Warning_As_Error
    Warnings
    Wide_Character_Encoding