1V "GNAT Lib v5" 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_IMPLICIT_LOOPS 18RV NO_LOCAL_ALLOCATORS 19RV NO_STANDARD_STORAGE_POOLS 20RV NO_DEFAULT_INITIALIZATION 21RV NO_IMPLEMENTATION_ATTRIBUTES 22RV NO_IMPLEMENTATION_PRAGMAS 23RV NO_OBSOLESCENT_FEATURES 24RV SPARK_05 25 26U system.stack_usage%b s-stausa.adb 118e865d NE OL PK 27W system%s system.ads system.ali 28W system.crtl%s s-crtl.ads s-crtl.ali 29W system.img_int%s s-imgint.adb s-imgint.ali 30W system.io%s s-io.adb s-io.ali 31W system.parameters%s s-parame.adb s-parame.ali 32 33U system.stack_usage%s s-stausa.ads 00bc3311 BN NE OL PR PK 34W interfaces%s interfac.ads interfac.ali 35W system%s system.ads system.ali 36W system.address_to_access_conversions%s 37W system.storage_elements%s s-stoele.adb s-stoele.ali 38 39D ada.ads 20070406091342 3ffc8e18 ada%s 40D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s 41D interfac.ads 20141120112812 6033a23f interfaces%s 42D system.ads 20150428105438 bf8979bc system%s 43D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s 44D s-crtl.ads 20141120112812 0ebbdb71 system.crtl%s 45D s-imgint.ads 20090409150019 02dbe0c2 system.img_int%s 46D s-io.ads 20090409150019 9e42f74f system.io%s 47D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s 48D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s 49D s-stausa.adb 20110804135050 fe27ad19 system.stack_usage%b 50D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s 51D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b 52X 3 interfac.ads 5338K9*Interfaces 178e15 10|35w6 231r26 277r48 279r28 11|40r8 276r26 5468M9*Unsigned_32 10|231r37 277r59 279r39 11|276r37 55X 4 system.ads 5637K9*System 144e11 10|32w6 33r6 34r6 37r9 40r24 46r15 47r15 277r10 308r33 57. 339r5 11|32r6 33r6 34r6 36r14 37r8 38r8 39r8 124r26 141r27 153r30 253r13 58. 350r10 566r5 5964M9*Address 10|46r22 308r40 11|124r33 6066m4*Null_Address{64M9} 11|148r30 6168N4*Storage_Unit 10|280r63 6275V14*"<="{boolean} 11|290r27 6376V14*">"{boolean} 11|431r30 6478V14*"="{boolean} 11|148r27 65X 5 s-atacco.ads 6639k16*Address_To_Access_Conversions 63e41 10|34w13 277r17 67X 6 s-crtl.ads 6838K16*CRTL 241e16 11|33w13 141r34 153r37 6995V13*atoi{integer} 11|153s42 70165V13*getenv{4|64M9} 11|141s39 71X 8 s-io.ads 7237K16*IO 64e14 11|34w13 39r15 7344U14*Put 11|399s7 400s7 401s7 402s7 403s7 404s7 405s7 475s13 494s10 7447U14*New_Line 11|406s7 481s10 497s10 7551V13*Standard_Error{49E9} 11|398s19 424s19 7654U14*Set_Output 11|398s7 424s7 77X 9 s-parame.ads 7851K16*Parameters 210e22 11|32w13 191r10 253r20 334r10 350r17 79101b4*Stack_Grows_Down{boolean} 11|191r21 253r31 334r21 350r28 80X 10 s-stausa.ads 8137K16*Stack_Usage 4|37k9 10|276E12 339l12 339e23 11|36b21 566l12 566t23 8240K12*SSE=40:31 42r29 8342M12*Stack_Address{12|105M9} 46r38 229r26 286r20 299r23 302r30 331r17 332r17 84. 11|192r35 202r34 217r35 227r34 242r26 274r26 306r17 307r17 336r37 339r37 8545V13*To_Stack_Address=47:39{12|105M9} 11|193s15 205s15 210s24 218s15 230s12 86. 237s20 354s18 363s18 8746m7 Value{4|64M9} 8849N4*Task_Name_Length 54r32 283r32 11|290r30 295r41 420r36 8953R9*Task_Result 62e14 64r59 11|110r28 377r28 506r16 9054a7*Task_Name{string} 11|132m13 401r19 506m32 9156i7*Value{natural} 11|133m13 383r65 439r33 440r52 508m32 515m17 518m17 533r54 9260i7*Stack_Size{natural} 11|134m13 382r65 443r33 444r51 507m32 9364A9*Result_Array_Type(53R9)<integer> 321r40 11|129r27 9466R9*Stack_Analyzer 209r44 226r33 242r48 262r40 282c9 315e14 317r32 11|178r44 95. 271r33 321r48 505r40 96203U14*Initialize 203>26 204i<c,__gnat_stack_usage_initialize>22 11|123b14 97. 172l8 172t18 98203i26 Buffer_Size{natural} 11|123b26 129r51 99209U14*Fill_Stack 209=26 11|162s13 178b14 264l8 264t18 100209r26 Analyzer{66R9} 11|178b26 192r13 192r50 197m13 201m10 202r12 202r49 101. 204r13 209m13 211r28 214m10 215r24 217r13 217r50 222m13 226m10 227r12 227r49 102. 229r13 234m13 236r18 240m10 241r24 242r41 249r28 250r34 255r31 260r31 103225U14*Initialize_Analyzer 226=7 227>7 228>7 229>7 230>7 231>7 11|155s13 104. 270b14 299l8 299t27 105226r7 Analyzer{66R9} 11|271b7 281m7 282m7 283m7 284m7 285m7 286m7 291m10 106. 293m10 107227a7 Task_Name{string} 11|272b7 290r10 291r35 291r56 294r12 294r23 295r23 108228i7 Stack_Size{natural} 11|273b7 282r33 109229m7 Stack_Base{42M12} 11|274b7 281r33 110230i7 Pattern_Size{natural} 11|275b7 283r33 111231m7 Pattern{3|68M9} 11|276b7 284r33 112239b4*Is_Enabled{boolean} 11|139m7 113242U14*Compute_Result 242=30 11|321b14 369l8 369t22 427s10 114242r30 Analyzer{66R9} 11|321b30 328r33 329r29 335m10 336r12 336r52 338m10 115. 339r12 339r52 342r10 352r29 353m16 361r29 362m16 116262U14*Report_Result 262>29 11|428s10 505b14 564l8 564t21 117262r29 Analyzer{66R9} 11|505b29 506r46 507r46 510r10 515r26 518r38 519r38 118. 522r10 526r24 535r47 558r16 119268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22 11|413b14 120. 499l8 499t22 121276K12 Unsigned_32_Addr[5|39] 122279M12 Pattern_Type{3|68M9} 280r36 296r17 11|50r52 51r39 123280N4 Bytes_Per_Pattern 11|249r52 328r57 124283a7*Task_Name{string} 11|286m16 291m19 293m19 506r55 125286m7*Stack_Base{42M12} 11|192r22 202r21 204r22 217r22 227r21 229r22 281m16 126. 519r47 127290i7*Stack_Size{natural} 11|282m16 507r55 515r35 535r56 128293i7*Pattern_Size{natural} 11|192r59 197m22 202r58 209m22 217r59 222m22 129. 227r58 234m22 242r50 249r37 283m16 328r42 336r61 339r61 342r19 510r19 130296m7*Pattern{279M12} 11|255r40 260r40 284m16 352r38 361r38 131299m7*Pattern_Limit{42M12} 11|201m19 211r37 215r33 226m19 236r27 241r33 336r21 132. 339r21 133302m7*Topmost_Touched_Mark{42M12} 11|335m19 338m19 353m25 362m25 518r47 134308m7*Pattern_Overlay_Address{4|64M9} 11|214m19 240m19 250r43 329r38 135312i7*Result_Id{positive} 11|285m16 522r19 526r33 558r25 136317r4 Environment_Task_Analyzer{66R9} 11|156m16 156r16 162m25 162r25 427m26 137. 427r26 428r25 138319b4 Compute_Environment_Task{boolean} 11|164m13 170m10 426r10 139321P9 Result_Array_Ptr(64A9) 323r19 140323p4 Result_Array{321P9} 324m22 324r22 11|129m7 130r7 431r10 436r19 439r16 141. 440r35 443r16 444r34 485r19 488r19 522r32 526r10 142327i4 Next_Id{positive} 11|285r33 298m7 298r18 437r28 486r28 143330V13 Stack_Size{natural} 331>7 332>7 333r19 11|305b13 315l8 315t18 518s26 144331m7 SP_Low{42M12} 11|306b7 310r10 311r26 313r36 145332m7 SP_High{42M12} 11|307b7 310r19 311r35 313r26 146X 11 s-stausa.adb 14750A9 Stack_Slots(10|279M12)<integer> 51r8 56r36 248r28 328r15 148103a4 Index_Str{string} 386r22 476r16 495r13 149104a4 Task_Name_Str{string} 420r55 476r36 495r33 150105a4 Stack_Size_Str{string} 458r51 467r16 468r38 477r18 496r15 545r34 547r21 151106a4 Actual_Size_Str{string} 463r51 471r16 472r38 478r39 496r40 553r36 555r21 152108U14 Output_Result 109>7 110>7 111>7 112>7 375b14 407l8 407t21 487s13 557s13 153109i7 Result_Id{natural} 376b7 381r58 399r46 154110r7 Result{10|53R9} 377b7 382r58 383r58 401r12 155111i7 Max_Stack_Size_Len{natural} 378b7 390r22 156112i7 Max_Actual_Use_Len{natural} 379b7 394r22 157124m7 Stack_Size_Chars{4|64M9} 141m7 148r10 153r48 158150i13 My_Stack_Size{integer} 153m13 158r16 160r16 159185i7 Current_Stack_Level{integer} 193m33 193r33 205m33 205r33 210m42 210r42 160. 218m33 218r33 230m30 230r30 237m38 237r38 161187N7 Guard 193r64 205r64 210r73 218r64 230r61 237r69 162248a10 Pattern{50A9} 250m14 250r14 254r30 255m16 259r22 260m16 163254i17 J{integer} 255r25 164259i17 J{integer} 260r25 165328a7 Stack{50A9} 329m11 329r11 351r19 352r16 354m36 354r36 360r27 361r16 166. 363m36 363r36 167351i14 J{integer} 352r23 354r43 168360i14 J{integer} 361r23 363r43 169381a7 Result_Id_Str{string} 386r41 170382a7 Stack_Size_Str{string} 390r43 403r32 171383a7 Actual_Use_Str{string} 394r43 405r32 172385a7 Result_Id_Blanks{string} 399r12 173389a7 Stack_Size_Blanks{string} 403r12 174393a7 Actual_Use_Blanks{string} 405r12 175414i7 Max_Stack_Size{natural} 443r46 444m16 448r47 176415i7 Max_Stack_Usage{natural} 439r41 440m16 450r47 177416i7 Max_Stack_Size_Len{natural} 448m10 457r49 467r40 468m16 488r37 178416i27 Max_Actual_Use_Len{natural} 450m10 462r49 471r41 472m16 488r57 179418a7 Task_Name_Blanks{string} 476r52 495r49 180436i14 J{integer} 437r23 439r30 440r49 443r30 444r48 181456a13 Stack_Size_Blanks{string} 477r35 182461a13 Stack_Usage_Blanks{string} 478r18 183485i14 J{integer} 486r23 488r16 488r33 184506r7 Result{10|53R9} 515m10 518m10 526r47 533r47 559r16 185532i13 Result_Str_Len{natural} 553r19 554r21 186534i13 Size_Str_Len{natural} 545r19 546r21 187537i13 Max_Stack_Size_Len{natural} 544m13 560r16 188538i13 Max_Actual_Use_Len{natural} 552m13 561r16 189X 12 s-stoele.ads 19042K16*Storage_Elements 10|33w13 40r31 47r22 11|37r15 12|117e28 191105M9*Integer_Address 10|42r33 192107V13*To_Address{4|64M9} 11|215s12 241s12 193112V13*To_Integer{105M9} 10|47r39 194 195