1V "GNAT Lib v9"
2A -gnatwa
3A -nostdinc
4A -O2
5A -Wextra
6A -Wall
7A -g
8A -gnatp
9A -gnatg
10A -mtune=generic
11A -march=x86-64
12P ZX
13
14RN
15RV NO_ALLOCATORS
16RV NO_IMPLICIT_CONDITIONALS
17RV NO_LOCAL_ALLOCATORS
18RV NO_STANDARD_STORAGE_POOLS
19RV NO_DEFAULT_INITIALIZATION
20RV NO_DYNAMIC_SIZED_OBJECTS
21RV NO_IMPLEMENTATION_ATTRIBUTES
22RV NO_IMPLEMENTATION_PRAGMAS
23RV NO_IMPLICIT_LOOPS
24RV NO_OBSOLESCENT_FEATURES
25RV SPARK_05
26
27U system.stack_usage%b	s-stausa.adb		6ec3c867 NE OL PK
28W system%s		system.ads		system.ali
29W system.crtl%s		s-crtl.ads		s-crtl.ali
30Z system.img_int%s	s-imgint.adb		s-imgint.ali
31W system.io%s		s-io.adb		s-io.ali
32W system.parameters%s	s-parame.adb		s-parame.ali
33
34U system.stack_usage%s	s-stausa.ads		3a3ac346 BN NE OL PR PK
35W interfaces%s		interfac.ads		interfac.ali
36W system%s		system.ads		system.ali
37W system.address_to_access_conversions%s
38W system.storage_elements%s  s-stoele.adb	s-stoele.ali
39
40D ada.ads		20170911084841 76789da1 ada%s
41D a-unccon.ads		20170908151217 0e9b276f ada.unchecked_conversion%s
42D interfac.ads		20190108095404 5ab55268 interfaces%s
43D system.ads		20190108095404 c631886f system%s
44D s-atacco.ads		20190108095404 4c36d12f system.address_to_access_conversions%s
45D s-crtl.ads		20190108095404 0ebbdb71 system.crtl%s
46D s-imgint.ads		20190108095404 02dbe0c2 system.img_int%s
47D s-io.ads		20190108095404 9e42f74f system.io%s
48D s-parame.ads		20190108095404 48ec542b system.parameters%s
49D s-stausa.ads		20190108095404 017a0a05 system.stack_usage%s
50D s-stausa.adb		20190108095404 b7acba77 system.stack_usage%b
51D s-stoele.ads		20190108095404 2dc34a04 system.storage_elements%s
52D s-stoele.adb		20190108095404 ed88f8fb system.storage_elements%b
53X 3 interfac.ads
5438K9*Interfaces 184e15 10|35w6 231r26 277r48 279r28 11|39r8 275r26
5574M9*Unsigned_32 10|231r37 277r59 279r39 11|275r37
56X 4 system.ads
5737K9*System 148e11 10|32w6 33r6 34r6 37r9 40r24 46r15 47r15 277r10 308r33
58. 339r5 11|32r6 33r6 34r6 36r14 37r8 38r8 123r26 140r27 152r30 252r13 349r10
59. 565r5
6067M9*Address 10|46r22 308r40 11|123r33
6169m4*Null_Address{67M9} 11|147r30
6271N4*Storage_Unit 10|280r63
6378V14*"<="{boolean} 11|289r27
6479V14*">"{boolean} 11|430r30
6581V14*"="{boolean} 11|147r27
66X 5 s-atacco.ads
6739k16*Address_To_Access_Conversions 63e41 10|34w13 277r17
68X 6 s-crtl.ads
6938K16*CRTL 241e16 11|33w13 140r34 152r37
7095V13*atoi{integer} 11|152s42
71165V13*getenv{4|67M9} 11|140s39
72X 8 s-io.ads
7337K16*IO 64e14 11|34w13 38r15
7444U14*Put 11|398s7 399s7 400s7 401s7 402s7 403s7 404s7 474s13 493s10
7547U14*New_Line 11|405s7 480s10 496s10
7651V13*Standard_Error{49E9} 11|397s19 423s19
7754U14*Set_Output 11|397s7 423s7
78X 9 s-parame.ads
7951K16*Parameters 198e22 11|32w13 190r10 252r20 333r10 349r17
8090b4*Stack_Grows_Down{boolean} 11|190r21 252r31 333r21 349r28
81X 10 s-stausa.ads
8237K16*Stack_Usage 4|37k9 10|276E12 339l12 339e23 11|36b21 565l12 565t23
8340K12*SSE=40:31 42r29
8442M12*Stack_Address{12|105M9} 46r38 229r26 286r20 299r23 302r30 331r17 332r17
85. 11|191r35 201r34 216r35 226r34 241r26 273r26 305r17 306r17 335r37 338r37
8645V13*To_Stack_Address=47:39{12|105M9} 11|192s15 204s15 209s24 217s15 229s12
87. 236s20 353s18 362s18
8846m7 Value{4|67M9}
8949N4*Task_Name_Length 54r32 283r32 11|289r30 294r41 419r36
9053R9*Task_Result 62e14 64r59 11|109r28 376r28 505r16
9154a7*Task_Name{string} 11|131m13 400r19 505m32
9256i7*Value{natural} 11|132m13 382r65 438r33 439r52 507m32 514m17 517m17 532r54
9360i7*Stack_Size{natural} 11|133m13 381r65 442r33 443r51 506m32
9464A9*Result_Array_Type(53R9)<integer> 321r40 11|128r27
9566R9*Stack_Analyzer 209r44 226r33 242r48 262r40 282c9 315e14 317r32 11|177r44
96. 270r33 320r48 504r40
97203U14*Initialize 203>26 204i<c,__gnat_stack_usage_initialize>22 11|122b14
98. 171l8 171t18
99203i26 Buffer_Size{natural} 11|122b26 128r51
100209U14*Fill_Stack 209=26 11|161s13 177b14 263l8 263t18
101209r26 Analyzer{66R9} 11|177b26 191r13 191r50 196m13 200m10 201r12 201r49
102. 203r13 208m13 210r28 213m10 214r24 216r13 216r50 221m13 225m10 226r12 226r49
103. 228r13 233m13 235r18 239m10 240r24 241r41 248r28 249r34 254r31 259r31
104225U14*Initialize_Analyzer 226=7 227>7 228>7 229>7 230>7 231>7 11|154s13
105. 269b14 298l8 298t27
106226r7 Analyzer{66R9} 11|270b7 280m7 281m7 282m7 283m7 284m7 285m7 290m10
107. 292m10
108227a7 Task_Name{string} 11|271b7 289r10 290r35 290r56 293r12 293r23 294r23
109228i7 Stack_Size{natural} 11|272b7 281r33
110229m7 Stack_Base{42M12} 11|273b7 280r33
111230i7 Pattern_Size{natural} 11|274b7 282r33
112231m7 Pattern{3|74M9} 11|275b7 283r33
113239b4*Is_Enabled{boolean} 11|138m7
114242U14*Compute_Result 242=30 11|320b14 368l8 368t22 426s10
115242r30 Analyzer{66R9} 11|320b30 327r33 328r29 334m10 335r12 335r52 337m10
116. 338r12 338r52 341r10 351r29 352m16 360r29 361m16
117262U14*Report_Result 262>29 11|427s10 504b14 563l8 563t21
118262r29 Analyzer{66R9} 11|504b29 505r46 506r46 509r10 514r26 517r38 518r38
119. 521r10 525r24 534r47 557r16
120268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22 11|412b14
121. 498l8 498t22
122276K12 Unsigned_32_Addr[5|39]
123279M12 Pattern_Type{3|74M9} 280r36 296r17 11|49r52 50r39
124280N4 Bytes_Per_Pattern 11|248r52 327r57
125283a7*Task_Name{string} 11|285m16 290m19 292m19 505r55
126286m7*Stack_Base{42M12} 11|191r22 201r21 203r22 216r22 226r21 228r22 280m16
127. 518r47
128290i7*Stack_Size{natural} 11|281m16 506r55 514r35 534r56
129293i7*Pattern_Size{natural} 11|191r59 196m22 201r58 208m22 216r59 221m22
130. 226r58 233m22 241r50 248r37 282m16 327r42 335r61 338r61 341r19 509r19
131296m7*Pattern{279M12} 11|254r40 259r40 283m16 351r38 360r38
132299m7*Pattern_Limit{42M12} 11|200m19 210r37 214r33 225m19 235r27 240r33 335r21
133. 338r21
134302m7*Topmost_Touched_Mark{42M12} 11|334m19 337m19 352m25 361m25 517r47
135308m7*Pattern_Overlay_Address{4|67M9} 11|213m19 239m19 249r43 328r38
136312i7*Result_Id{positive} 11|284m16 521r19 525r33 557r25
137317r4 Environment_Task_Analyzer{66R9} 11|155m16 155r16 161m25 161r25 426m26
138. 426r26 427r25
139319b4 Compute_Environment_Task{boolean} 11|163m13 169m10 425r10
140321P9 Result_Array_Ptr(64A9) 323r19
141323p4 Result_Array{321P9} 324m22 324r22 11|128m7 129r7 430r10 435r19 438r16
142. 439r35 442r16 443r34 484r19 487r19 521r32 525r10
143327i4 Next_Id{positive} 11|284r33 297m7 297r18 436r28 485r28
144330V13 Stack_Size{natural} 331>7 332>7 333r19 11|304b13 314l8 314t18 517s26
145331m7 SP_Low{42M12} 11|305b7 309r10 310r26 312r36
146332m7 SP_High{42M12} 11|306b7 309r19 310r35 312r26
147X 11 s-stausa.adb
14849A9 Stack_Slots(10|279M12)<integer> 50r8 55r36 247r28 327r15
149102a4 Index_Str{string} 385r22 475r16 494r13
150103a4 Task_Name_Str{string} 419r55 475r36 494r33
151104a4 Stack_Size_Str{string} 457r51 466r16 467r38 476r18 495r15 544r34 546r21
152105a4 Actual_Size_Str{string} 462r51 470r16 471r38 477r39 495r40 552r36 554r21
153107U14 Output_Result 108>7 109>7 110>7 111>7 374b14 406l8 406t21 486s13 556s13
154108i7 Result_Id{natural} 375b7 380r58 398r46
155109r7 Result{10|53R9} 376b7 381r58 382r58 400r12
156110i7 Max_Stack_Size_Len{natural} 377b7 389r22
157111i7 Max_Actual_Use_Len{natural} 378b7 393r22
158123m7 Stack_Size_Chars{4|67M9} 140m7 147r10 152r48
159149i13 My_Stack_Size{integer} 152m13 157r16 159r16
160184i7 Current_Stack_Level{integer} 192m33 192r33 204m33 204r33 209m42 209r42
161. 217m33 217r33 229m30 229r30 236m38 236r38
162186N7 Guard 192r64 204r64 209r73 217r64 229r61 236r69
163247a10 Pattern{49A9} 249m14 249r14 253r30 254m16 258r22 259m16
164253i17 J{integer} 254r25
165258i17 J{integer} 259r25
166327a7 Stack{49A9} 328m11 328r11 350r19 351r16 353m36 353r36 359r27 360r16
167. 362m36 362r36
168350i14 J{integer} 351r23 353r43
169359i14 J{integer} 360r23 362r43
170380a7 Result_Id_Str{string} 385r41
171381a7 Stack_Size_Str{string} 389r43 402r32
172382a7 Actual_Use_Str{string} 393r43 404r32
173384a7 Result_Id_Blanks{string} 398r12
174388a7 Stack_Size_Blanks{string} 402r12
175392a7 Actual_Use_Blanks{string} 404r12
176413i7 Max_Stack_Size{natural} 442r46 443m16 447r47
177414i7 Max_Stack_Usage{natural} 438r41 439m16 449r47
178415i7 Max_Stack_Size_Len{natural} 447m10 456r49 466r40 467m16 487r37
179415i27 Max_Actual_Use_Len{natural} 449m10 461r49 470r41 471m16 487r57
180417a7 Task_Name_Blanks{string} 475r52 494r49
181435i14 J{integer} 436r23 438r30 439r49 442r30 443r48
182455a13 Stack_Size_Blanks{string} 476r35
183460a13 Stack_Usage_Blanks{string} 477r18
184484i14 J{integer} 485r23 487r16 487r33
185505r7 Result{10|53R9} 514m10 517m10 525r47 532r47 558r16
186531i13 Result_Str_Len{natural} 552r19 553r21
187533i13 Size_Str_Len{natural} 544r19 545r21
188536i13 Max_Stack_Size_Len{natural} 543m13 559r16
189537i13 Max_Actual_Use_Len{natural} 551m13 560r16
190X 12 s-stoele.ads
19142K16*Storage_Elements 10|33w13 40r31 47r22 11|37r15 12|117e28
192105M9*Integer_Address 10|42r33
193107V13*To_Address{4|67M9} 11|214s12 240s12
194112V13*To_Integer{105M9} 10|47r39
195
196