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