98 lines
2.5 KiB
Plaintext
98 lines
2.5 KiB
Plaintext
V "GNAT Lib v6"
|
|
A -gnatwa
|
|
A -nostdinc
|
|
A -O2
|
|
A -Wextra
|
|
A -Wall
|
|
A -g
|
|
A -gnatp
|
|
A -gnatg
|
|
A -mtune=generic
|
|
A -march=i586
|
|
P ZX
|
|
|
|
RN
|
|
RV NO_LONG_LONG_INTEGERS
|
|
RV NO_IMPLEMENTATION_PRAGMAS
|
|
RR NO_ELABORATION_CODE
|
|
RV SPARK_05
|
|
|
|
U system%s system.ads 2da59038 NE OL PU PK
|
|
L "-Wl,--stack=0x2000000"
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
X 1 system.ads
|
|
37K9*System 108E9 200l5 200e11
|
|
46E9*Name 46e35 47r27
|
|
46n18*SYSTEM_NAME_GNAT{46E9} 47r35
|
|
47e4*System_Name{46E9}
|
|
51N4*Min_Int
|
|
52N4*Max_Int
|
|
54N4*Max_Binary_Modulus
|
|
55N4*Max_Nonbinary_Modulus
|
|
57N4*Max_Base_Digits
|
|
58N4*Max_Digits
|
|
60N4*Max_Mantissa 61r49
|
|
61N4*Fine_Delta
|
|
63N4*Tick
|
|
67M9*Address 68r41 69r28 77r33 78r33 79r33 80r33 81r33 108c9 109r28
|
|
69m4*Null_Address{67M9} 109c4
|
|
71N4*Storage_Unit
|
|
72N4*Word_Size
|
|
73N4*Memory_Size 108r24
|
|
77V14*"<"{boolean} 77>19 77>25 83b31
|
|
77m19 Left{67M9}
|
|
77m25 Right{67M9}
|
|
78V14*"<="{boolean} 78>19 78>25 84b31
|
|
78m19 Left{67M9}
|
|
78m25 Right{67M9}
|
|
79V14*">"{boolean} 79>19 79>25 85b31
|
|
79m19 Left{67M9}
|
|
79m25 Right{67M9}
|
|
80V14*">="{boolean} 80>19 80>25 86b31
|
|
80m19 Left{67M9}
|
|
80m25 Right{67M9}
|
|
81V14*"="{boolean} 81>19 81>25 87b31
|
|
81m19 Left{67M9}
|
|
81m25 Right{67M9}
|
|
91E9*Bit_Order 91e57 92r33
|
|
91n23*High_Order_First{91E9}
|
|
91n41*Low_Order_First{91E9} 92r46
|
|
92e4*Default_Bit_Order{91E9} 93r26
|
|
97i4*Max_Priority{positive}
|
|
98i4*Max_Interrupt_Priority{positive}
|
|
100I12*Any_Priority{integer} 101r34 102r34 161r38
|
|
101I12*Priority{100I12} 104r32 166r7 182r7
|
|
102I12*Interrupt_Priority{100I12} 183r7
|
|
104i4*Default_Priority{101I12} 167r7 168r7 169r7 170r7 171r7 172r7 173r7
|
|
. 174r7 175r7 176r7 177r7 178r7 179r7 180r7 181r7
|
|
121b4 Backend_Divide_Checks{boolean}
|
|
122b4 Backend_Overflow_Checks{boolean}
|
|
123b4 Command_Line_Args{boolean}
|
|
124b4 Configurable_Run_Time{boolean}
|
|
125b4 Denorm{boolean}
|
|
126b4 Duration_32_Bits{boolean}
|
|
127b4 Exit_Status_Supported{boolean}
|
|
128b4 Fractional_Fixed_Ops{boolean}
|
|
129b4 Frontend_Layout{boolean}
|
|
130b4 Machine_Overflows{boolean}
|
|
131b4 Machine_Rounds{boolean}
|
|
132b4 Preallocated_Stacks{boolean}
|
|
133b4 Signed_Zeros{boolean}
|
|
134b4 Stack_Check_Default{boolean}
|
|
135b4 Stack_Check_Probes{boolean}
|
|
136b4 Stack_Check_Limits{boolean}
|
|
137b4 Support_Aggregates{boolean}
|
|
138b4 Support_Atomic_Primitives{boolean}
|
|
139b4 Support_Composite_Assign{boolean}
|
|
140b4 Support_Composite_Compare{boolean}
|
|
141b4 Support_Long_Shifts{boolean}
|
|
142b4 Always_Compatible_Rep{boolean}
|
|
143b4 Suppress_Standard_Library{boolean}
|
|
144b4 Use_Ada_Main_Program_Name{boolean}
|
|
145b4 Frontend_Exceptions{boolean}
|
|
146b4 ZCX_By_Default{boolean}
|
|
161A9 Priorities_Mapping(integer)<integer> 162r36 165r37
|
|
165a4 Underlying_Priorities{161A9}
|
|
|