File size: 12,145 Bytes
aaffe1f
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatA
A -gnatWb
A -gnatiw
A -gnatws
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U ada_main%b		b__makeefil.adb		e4d0156a NE OO PK IL
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali

U ada_main%s		b__makeefil.ads		19bb8ae3 EE NE OO PK IL
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D b__makeefil.ads	20230322220459 899f1bf2
D b__makeefil.adb	20230322220459 95254f9b
D system.ads		20160213141829 90249111
D s-parame.ads		20140225151139 ab8cb46a
D s-stalib.ads		20140225151139 a891183f
D s-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 5|4r6
X 2 a-except.ads
53K13*Exceptions 360e19 5|4w10
X 4 b__makeefil.ads
3K9*ada_main 615l5 615e13 5|6b14 331l5 331t13
6i4*gnat_argc{integer} 10m22 10r22 5|306m7
7m4*gnat_argv{6|64M9} 11m22 11r22 5|307m7
8m4*gnat_envp{6|64M9} 12m22 12r22 5|308m7
14i4*gnat_exit_status{integer} 15m22 15r22 5|315r15
17a4*GNAT_Version{string} 19r22
21a4*Ada_Main_Program_Name{string} 22r22 5|302r52
24U14*adainit 25i<c,adainit>22 5|142b14 284l8 284t15 311s7
27U14*adafinal 28i<c,adafinal>22 5|129b14 138l8 138t16 313s7
30V13*main{integer} 31>7 32>7 33>7 35i<c,main>22 5|289b13 316t7
31i7 argc{integer} 5|290b7 306r20
32m7 argv{6|64M9} 5|291b7 307r20
33m7 envp{6|64M9} 5|292b7 308r20
37M9*Version_32 38r22 40r22 42r22 44r22 46r22 48r22 50r22 52r22 54r22 56r22
. 58r22 60r22 62r22 64r22 66r22 68r22 70r22 72r22 74r22 76r22 78r22 80r22
. 82r22 84r22 86r22 88r22 90r22 92r22 94r22 96r22 98r22 100r22 102r22 104r22
. 106r22 108r22 110r22 112r22 114r22 116r22 118r22 120r22 122r22 124r22 126r22
. 128r22 130r22 132r22 134r22 136r22 138r22 140r22 142r22 144r22 146r22 148r22
. 150r22 152r22 154r22 156r22 158r22 160r22 162r22 164r22 166r22 168r22 170r22
. 172r22 174r22 176r22 178r22 180r22 182r22 184r22 186r22 188r22 190r22 192r22
. 194r22 196r22 198r22 200r22 202r22 204r22 206r22 208r22 210r22 212r22 214r22
. 216r22 218r22 220r22 222r22 224r22 226r22 228r22 230r22 232r22 234r22 236r22
. 238r22 240r22 242r22 244r22 246r22 248r22 250r22 252r22 254r22 256r22 258r22
. 260r22 262r22 264r22 266r22 268r22 270r22 272r22 274r22 276r22 278r22 280r22
. 282r22 284r22 286r22 288r22 290r22 292r22 294r22 296r22 298r22 300r22 302r22
. 304r22 306r22 308r22 310r22 312r22 314r22 316r22 318r22 320r22 322r22 324r22
. 326r22 328r22 330r22 332r22 334r22 336r22 338r22 340r22 342r22 344r22 346r22
. 348r22 350r22 352r22 354r22 356r22 358r22 360r22 362r22 364r22 366r22 368r22
. 370r22 372r22 374r22 376r22 378r22 380r22 382r22 384r22 386r22 388r22 390r22
. 392r22 394r22 396r22 398r22 400r22 402r22 404r22 406r22 408r22 410r22 412r22
. 414r22 416r22 418r22
38m4*u00001{37M9} 39r22
40m4*u00002{37M9} 41r22
42m4*u00003{37M9} 43r22
44m4*u00004{37M9} 45r22
46m4*u00005{37M9} 47r22
48m4*u00006{37M9} 49r22
50m4*u00007{37M9} 51r22
52m4*u00008{37M9} 53r22
54m4*u00009{37M9} 55r22
56m4*u00010{37M9} 57r22
58m4*u00011{37M9} 59r22
60m4*u00012{37M9} 61r22
62m4*u00013{37M9} 63r22
64m4*u00014{37M9} 65r22
66m4*u00015{37M9} 67r22
68m4*u00016{37M9} 69r22
70m4*u00017{37M9} 71r22
72m4*u00018{37M9} 73r22
74m4*u00019{37M9} 75r22
76m4*u00020{37M9} 77r22
78m4*u00021{37M9} 79r22
80m4*u00022{37M9} 81r22
82m4*u00023{37M9} 83r22
84m4*u00024{37M9} 85r22
86m4*u00025{37M9} 87r22
88m4*u00026{37M9} 89r22
90m4*u00027{37M9} 91r22
92m4*u00028{37M9} 93r22
94m4*u00029{37M9} 95r22
96m4*u00030{37M9} 97r22
98m4*u00031{37M9} 99r22
100m4*u00032{37M9} 101r22
102m4*u00033{37M9} 103r22
104m4*u00034{37M9} 105r22
106m4*u00035{37M9} 107r22
108m4*u00036{37M9} 109r22
110m4*u00037{37M9} 111r22
112m4*u00038{37M9} 113r22
114m4*u00039{37M9} 115r22
116m4*u00040{37M9} 117r22
118m4*u00041{37M9} 119r22
120m4*u00042{37M9} 121r22
122m4*u00043{37M9} 123r22
124m4*u00044{37M9} 125r22
126m4*u00045{37M9} 127r22
128m4*u00046{37M9} 129r22
130m4*u00047{37M9} 131r22
132m4*u00048{37M9} 133r22
134m4*u00049{37M9} 135r22
136m4*u00050{37M9} 137r22
138m4*u00051{37M9} 139r22
140m4*u00052{37M9} 141r22
142m4*u00053{37M9} 143r22
144m4*u00054{37M9} 145r22
146m4*u00055{37M9} 147r22
148m4*u00056{37M9} 149r22
150m4*u00057{37M9} 151r22
152m4*u00058{37M9} 153r22
154m4*u00059{37M9} 155r22
156m4*u00060{37M9} 157r22
158m4*u00061{37M9} 159r22
160m4*u00062{37M9} 161r22
162m4*u00063{37M9} 163r22
164m4*u00064{37M9} 165r22
166m4*u00065{37M9} 167r22
168m4*u00066{37M9} 169r22
170m4*u00067{37M9} 171r22
172m4*u00068{37M9} 173r22
174m4*u00069{37M9} 175r22
176m4*u00070{37M9} 177r22
178m4*u00071{37M9} 179r22
180m4*u00072{37M9} 181r22
182m4*u00073{37M9} 183r22
184m4*u00074{37M9} 185r22
186m4*u00075{37M9} 187r22
188m4*u00076{37M9} 189r22
190m4*u00077{37M9} 191r22
192m4*u00078{37M9} 193r22
194m4*u00079{37M9} 195r22
196m4*u00080{37M9} 197r22
198m4*u00081{37M9} 199r22
200m4*u00082{37M9} 201r22
202m4*u00083{37M9} 203r22
204m4*u00084{37M9} 205r22
206m4*u00085{37M9} 207r22
208m4*u00086{37M9} 209r22
210m4*u00087{37M9} 211r22
212m4*u00088{37M9} 213r22
214m4*u00089{37M9} 215r22
216m4*u00090{37M9} 217r22
218m4*u00091{37M9} 219r22
220m4*u00092{37M9} 221r22
222m4*u00093{37M9} 223r22
224m4*u00094{37M9} 225r22
226m4*u00095{37M9} 227r22
228m4*u00096{37M9} 229r22
230m4*u00097{37M9} 231r22
232m4*u00098{37M9} 233r22
234m4*u00099{37M9} 235r22
236m4*u00100{37M9} 237r22
238m4*u00101{37M9} 239r22
240m4*u00102{37M9} 241r22
242m4*u00103{37M9} 243r22
244m4*u00104{37M9} 245r22
246m4*u00105{37M9} 247r22
248m4*u00106{37M9} 249r22
250m4*u00107{37M9} 251r22
252m4*u00108{37M9} 253r22
254m4*u00109{37M9} 255r22
256m4*u00110{37M9} 257r22
258m4*u00111{37M9} 259r22
260m4*u00112{37M9} 261r22
262m4*u00113{37M9} 263r22
264m4*u00114{37M9} 265r22
266m4*u00115{37M9} 267r22
268m4*u00116{37M9} 269r22
270m4*u00117{37M9} 271r22
272m4*u00118{37M9} 273r22
274m4*u00119{37M9} 275r22
276m4*u00120{37M9} 277r22
278m4*u00121{37M9} 279r22
280m4*u00122{37M9} 281r22
282m4*u00123{37M9} 283r22
284m4*u00124{37M9} 285r22
286m4*u00125{37M9} 287r22
288m4*u00126{37M9} 289r22
290m4*u00127{37M9} 291r22
292m4*u00128{37M9} 293r22
294m4*u00129{37M9} 295r22
296m4*u00130{37M9} 297r22
298m4*u00131{37M9} 299r22
300m4*u00132{37M9} 301r22
302m4*u00133{37M9} 303r22
304m4*u00134{37M9} 305r22
306m4*u00135{37M9} 307r22
308m4*u00136{37M9} 309r22
310m4*u00137{37M9} 311r22
312m4*u00138{37M9} 313r22
314m4*u00139{37M9} 315r22
316m4*u00140{37M9} 317r22
318m4*u00141{37M9} 319r22
320m4*u00142{37M9} 321r22
322m4*u00143{37M9} 323r22
324m4*u00144{37M9} 325r22
326m4*u00145{37M9} 327r22
328m4*u00146{37M9} 329r22
330m4*u00147{37M9} 331r22
332m4*u00148{37M9} 333r22
334m4*u00149{37M9} 335r22
336m4*u00150{37M9} 337r22
338m4*u00151{37M9} 339r22
340m4*u00152{37M9} 341r22
342m4*u00153{37M9} 343r22
344m4*u00154{37M9} 345r22
346m4*u00155{37M9} 347r22
348m4*u00156{37M9} 349r22
350m4*u00157{37M9} 351r22
352m4*u00158{37M9} 353r22
354m4*u00159{37M9} 355r22
356m4*u00160{37M9} 357r22
358m4*u00161{37M9} 359r22
360m4*u00162{37M9} 361r22
362m4*u00163{37M9} 363r22
364m4*u00164{37M9} 365r22
366m4*u00165{37M9} 367r22
368m4*u00166{37M9} 369r22
370m4*u00167{37M9} 371r22
372m4*u00168{37M9} 373r22
374m4*u00169{37M9} 375r22
376m4*u00170{37M9} 377r22
378m4*u00171{37M9} 379r22
380m4*u00172{37M9} 381r22
382m4*u00173{37M9} 383r22
384m4*u00174{37M9} 385r22
386m4*u00175{37M9} 387r22
388m4*u00176{37M9} 389r22
390m4*u00177{37M9} 391r22
392m4*u00178{37M9} 393r22
394m4*u00179{37M9} 395r22
396m4*u00180{37M9} 397r22
398m4*u00181{37M9} 399r22
400m4*u00182{37M9} 401r22
402m4*u00183{37M9} 403r22
404m4*u00184{37M9} 405r22
406m4*u00185{37M9} 407r22
408m4*u00186{37M9} 409r22
410m4*u00187{37M9} 411r22
412m4*u00188{37M9} 413r22
414m4*u00189{37M9} 415r22
416m4*u00190{37M9} 417r22
418m4*u00191{37M9} 419r22
X 5 b__makeefil.adb
9i4 E074{short_integer} 9m46 9r46 259m7 259r15
10i4 E013{short_integer} 10m46 10r46 257m7 257r15
11i4 E023{short_integer} 11m46 11r46 212m7 212r15
12i4 E050{short_integer} 12m46 12r46 214m7 214r15
13i4 E124{short_integer} 13m46 13r46 216m7 216r15
14i4 E126{short_integer} 14m46 14r46 255m7 255r15
15i4 E129{short_integer} 15m46 15r46 219m7 219r15
16i4 E052{short_integer} 16m46 16r46 254m7 254r15
17i4 E049{short_integer} 17m46 17r46 222m7 222r15
18i4 E070{short_integer} 18m46 18r46 252m7 252r15
19i4 E153{short_integer} 19m46 19r46 251m7 251r15
20i4 E029{short_integer} 20m46 20r46 226m7 226r15
21i4 E068{short_integer} 21m46 21r46 228m7 228r15
22i4 E066{short_integer} 22m46 22r46 230m7 230r15
23i4 E087{short_integer} 23m46 23r46 232m7 232r15
24i4 E079{short_integer} 24m46 24r46 79m7 79r15 250m7 250r15
25i4 E093{short_integer} 25m46 25r46 80m7 80r15 248m7 248r15
26i4 E102{short_integer} 26m46 26r46 237m7 237r15
27i4 E108{short_integer} 27m46 27r46 239m7 239r15
28i4 E089{short_integer} 28m46 28r46 102m7 102r15 241m7 241r15
29i4 E077{short_integer} 29m46 29r46 99m10 99r18 243m7 243r15
30i4 E064{short_integer} 30m46 30r46 85m10 85r18 247m7 247r15
31i4 E189{short_integer} 31m46 31r46 88m7 88r15 245m7 245r15
32i4 E017{short_integer} 32m46 32r46 261m7 261r15
33i4 E137{short_integer} 33m46 33r46 72m7 72r15 263m7 263r15
34i4 E100{short_integer} 34m46 34r46 58m7 58r15 268m7 268r15
35i4 E149{short_integer} 35m46 35r46 59m7 59r15 266m7 266r15
36i4 E006{short_integer} 36m46 36r46 51m7 51r15 271m7 271r15
37i4 E098{short_integer} 37m46 37r46 273m7 273r15
38i4 E187{short_integer} 38m46 38r46 274m7 274r15
39i4 E184{short_integer} 39m46 39r46 277m7 277r15
40i4 E180{short_integer} 40m46 40r46 278m7 278r15
41i4 E178{short_integer} 41m46 41r46 281m7 281r15
42i4 E158{short_integer} 42m46 42r46 283m7 283r15
44a4 Local_Priority_Specific_Dispatching{string} 194r9
45a4 Local_Interrupt_States{string} 197r27
47b4 Is_Elaborated{boolean} 133r14 136m7 183r10 186m7
49U14 finalize_library 49b14 127l8 127t24 208r35
53U20*F1 54b<ada,ada__text_io__finalize_spec>30 56s10
61U20*F2 62b<ada,system__regexp__finalize_spec>30 64s10
67U20*F3 68b<ada,ada__directories__finalize_spec>30 70s10
74U20*F4 75b<ada,ada__strings__unbounded__finalize_spec>30 77s10
82U20*F5 83b<ada,system__file_io__finalize_body>30 86s10
90U20*F6 91b<ada,system__direct_io__finalize_spec>30 93s10
96U20*F7 97b<ada,system__file_control_block__finalize_spec>30 100s10
104U20*F8 105b<ada,system__pool_global__finalize_spec>30 107s10
110U20*F9 111b<ada,system__storage_pools__subpools__finalize_spec>30 113s10
116U20*F10 117b<ada,system__finalization_masters__finalize_spec>30 119s10
122U20*Reraise_Library_Exception_If_Any 123b<ada,__gnat_reraise_library_exception_if_any>33
. 125s10
130U17*s_stalib_adafinal 131b<c,system__standard_library__adafinal>25 137s7
140P9 No_Param_Proc 180r34
143i7*Main_Priority{integer} 144m25 144r25 187m7
145i7*Time_Slice_Value{integer} 146m25 146r25 188m7
147e7*WC_Encoding{character} 148m25 148r25 189m7
149e7*Locking_Policy{character} 150m25 150r25 190m7
151e7*Queuing_Policy{character} 152m25 152r25 191m7
153e7*Task_Dispatching_Policy{character} 154m25 154r25 192m7
155m7*Priority_Specific_Dispatching{6|64M9} 156m25 156r25 193m7
157i7*Num_Specific_Dispatching{integer} 158m25 158r25 195m7
159i7*Main_CPU{integer} 160m25 160r25 196m7
161m7*Interrupt_States{6|64M9} 162m25 162r25 197m7
163i7*Num_Interrupt_States{integer} 164m25 164r25 198m7
165i7*Unreserve_All_Interrupts{integer} 166m25 166r25 199m7
167i7*Detect_Blocking{integer} 168m25 168r25 200m7
169i7*Default_Stack_Size{integer} 170m25 170r25 201m7
171i7*Leap_Seconds_Support{integer} 172m25 172r25 202m7
174U17*Install_Handler 175b<c,__gnat_install_handler>25 205s10
177i7*Handler_Installed{integer} 178m25 178r25 204r10
180p7*Finalize_Library_Objects{140P9} 181m25 181r25 208m7
286U14 Ada_Main_Program 287b<ada,_ada_makeefil>24 312s7
295U17*Initialize 295>29 296b<c,__gnat_initialize>25 310s7
295m29 Addr{6|64M9}
298U17*Finalize 299b<c,__gnat_finalize>25 314s7
300a7 SEH(integer) 310m19 310r19
302m7 Ensure_Reference{6|64M9} 303r24
X 6 system.ads
37K9*System 4|2w6 7r16 8r16 32r14 33r14 5|155r39 161r26 291r14 292r14 295r36
. 302r34 6|152e11
64M9*Address 4|7r23 8r23 32r21 33r21 5|155r46 161r33 291r21 292r21 295r43
. 302r41