Configuration pragmas include those pragmas described as
such in the Ada Reference Manual, as well as
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 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 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 Validity_Checks Warning_As_Error Warnings Wide_Character_Encoding