61 lines
2 KiB
Plaintext
61 lines
2 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_DISPATCHING_CALLS
|
|
RV NO_EXCEPTIONS
|
|
RV NO_IMPLICIT_CONDITIONALS
|
|
RV NO_STANDARD_STORAGE_POOLS
|
|
RV NO_ELABORATION_CODE
|
|
RV SPARK_05
|
|
|
|
U system.finalization_root%b s-finroo.adb 95817ed8 NE OL PK
|
|
W system%s system.ads system.ali
|
|
|
|
U system.finalization_root%s s-finroo.ads 6257e3a8 EE OL PR PK
|
|
W ada.exceptions%s a-except.adb a-except.ali
|
|
W ada.streams%s a-stream.adb a-stream.ali
|
|
W ada.tags%s a-tags.adb a-tags.ali
|
|
W system%s system.ads system.ali
|
|
W system.storage_elements%s s-stoele.adb s-stoele.ali
|
|
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
|
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
|
|
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
|
|
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
|
|
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
|
|
D system.ads 20151123113124 2da59038 system%s
|
|
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
|
|
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
|
|
D s-finroo.adb 20090409150019 da730d48 system.finalization_root%b
|
|
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
|
|
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
|
|
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
|
|
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
|
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
|
|
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
|
|
X 6 system.ads
|
|
37K9*System 200e11 8|34r9 46r5 9|32r14 63r5
|
|
X 8 s-finroo.ads
|
|
34K16*Finalization_Root 6|37k9 8|46l12 46e29 9|32b21 63l12 63t29
|
|
40H9*Root_Controlled 40e55 42p14 42r42 43p14 43r42 44p14 44r42 9|40r38 49r40
|
|
. 58r42
|
|
42U14*Adjust 42=26 9|40b14 43l8 43t14
|
|
42r26 Object{40R9} 9|40b22
|
|
43U14*Finalize 43=26 9|49b14 52l8 52t16
|
|
43r26 Object{40R9} 9|49b24
|
|
44U14*Initialize 44=26 9|58b14 61l8 61t18
|
|
44r26 Object{40R9} 9|58b26
|
|
|