38 lines
832 B
Plaintext
38 lines
832 B
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_STANDARD_STORAGE_POOLS
|
|
RV NO_IMPLEMENTATION_ATTRIBUTES
|
|
RV NO_IMPLEMENTATION_PRAGMAS
|
|
RV NO_OBSOLESCENT_FEATURES
|
|
RV SPARK_05
|
|
|
|
U system.address_to_access_conversions%s s-atacco.ads 61934117 NE OL PR PK GE
|
|
W system%s system.ads system.ali
|
|
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s
|
|
X 1 system.ads
|
|
37K9*System 200e11 2|39r9 63r5
|
|
67M9*Address 2|57r33 58r56
|
|
X 2 s-atacco.ads
|
|
37+9 Object 43r7 47r38
|
|
39k16*Address_To_Access_Conversions 1|37k9 2|37z9 63l12 63e41
|
|
47P9*Object_Pointer(37+9) 48r8 50r31 57r56 58r33
|
|
57V13*To_Pointer{47P9} 57>25 60b30
|
|
57m25 Value{1|67M9}
|
|
58V13*To_Address{1|67M9} 58>25 61b30
|
|
58p25 Value{47P9}
|
|
|