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_ALLOCATORS RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_LOCAL_ALLOCATORS RV NO_LONG_LONG_INTEGERS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE RV SPARK_05 U system.secondary_stack%b s-secsta.adb 0f0cb66d OL PK W ada%s ada.ads ada.ali W ada.unchecked_conversion%s W ada.unchecked_deallocation%s W system%s system.ads system.ali W system.parameters%s s-parame.adb s-parame.ali W system.soft_links%s s-soflin.adb s-soflin.ali U system.secondary_stack%s s-secsta.ads 86c45f51 BN EE NE OL PK 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-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D system.ads 20151123113124 2da59038 system%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s D s-secsta.adb 20140225151139 ebd404c4 system.secondary_stack%b 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-traent.ads 20140730135025 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 19e8 8|37r6 38r6 120r26 124r6 126r6 170r6 307r19 X 3 a-unccon.ads 20v14*Unchecked_Conversion 8|37w10 124r10 126r10 170r10 X 4 a-uncdea.ads 20u15*Unchecked_Deallocation 8|38w10 120r30 307r23 X 5 system.ads 37K9*System 200e11 7|34r6 36r9 38r24 112r14 119r5 8|34r6 35r6 40r14 42r24 . 45r13 463r23 532r10 537r10 540r5 67M9*Address 7|46r21 67r26 72r36 112r21 8|124r32 126r43 170r32 178r26 292r36 . 420r21 463r30 508r23 69m4*Null_Address{67M9} 8|323r20 X 6 s-parame.ads 51K16*Parameters 210e22 8|35w13 45r20 48r25 48r59 58I9*Task_Storage_Size 61I9*Size_Type<58I9> 8|45r31 67I12*Percentage{61I9} 68i4*Dynamic{61I9} 8|48r70 75i4*Sec_Stack_Percentage{67I12} 8|48r36 X 7 s-secsta.ads 36K16*Secondary_Stack 5|37k9 7|104E4 119l12 119e27 8|40b21 540l12 540t27 38K12*SSE=38:31 68r22 108r23 8|44r13 58r46 112r23 179r22 256r22 410r25 452r36 . 531r12 40i4*Default_Secondary_Stack_Size{natural} 47r25 8|421r25 512r10 524r37 531r32 . 536r34 45U14*SS_Init 46=7 47>7 8|419b14 456l8 456t15 536s10 46m7 Stk{5|67M9} 8|420b7 429r49 453m13 47i7 Size{natural} 8|421b7 435r16 439r26 450r61 452r55 66U14*SS_Allocate 67<7 68>7 8|177b14 286l8 286t19 67m7 Addr{5|67M9} 8|178b7 212m13 281m13 68i7 Storage_Size{12|62I12} 8|179b7 183r34 72U14*SS_Free 72=23 8|292b14 326l8 326t15 72m23 Stk{5|67M9} 8|292b23 303r48 323m13 77R9*Mark_Id 80r28 83r30 111c9 114e14 8|462r28 476r30 80V13*SS_Mark{77R9} 8|462b13 470l8 470t15 83U14*SS_Release 83>26 8|476b14 483l8 483t18 83r26 M{77R9} 8|476b26 479r24 479r39 481r30 481r45 88V13*SS_Get_Max{long_long_integer} 8|332b13 344l8 344t18 97U22 Put_Line 97>32 8|352s7 362s13 367s13 394s13 399s13 404s13 408s13 97a32 S{string} 98u14*SS_Info 8|350b14 413l8 413t15 104i4 SS_Pool{integer} 108M9 SS_Ptr<12|105M9> 113r14 8|58r26 102r33 105r33 111r23 138r13 142r14 . 147r13 181r31 181r41 182r31 183r26 260r46 364r25 369r25 396r25 401r25 439r18 . 450r53 524r29 112m7*Sstk{5|67M9} 8|466m18 468m18 479r26 481r32 113m7*Sptr{108M9} 8|466m32 468m32 479r41 481r47 X 8 s-secsta.adb 42K12 SSL=42:31 192r49 221r37 339r49 359r49 378r41 463r41 47b4 SS_Ratio_Dynamic{boolean} 189r14 296r14 334r10 356r14 426r14 465r10 . 478r10 527r10 58A9 Memory(12|64M9)<7|108M9> 59r8 107r20 152r13 102R9 Chunk_Id 102d19 102d26 103r33 105c9 108e14 120r54 258r25 268r25 450r40 . 501r20 524r16 102m19 First{7|108M9} 105r19 102m26 Last{7|108M9} 105r26 103P9 Chunk_Ptr(102R9) 106r20 113r23 120r64 222r21 224r36 304r21 380r25 509r23 105R9 Chunk_Id 105m19*First{7|108M9} 107r28 232r25 245r56 276r35 105m26*Last{7|108M9} 107r37 240r25 259r39 260r39 269r39 270r39 396r45 106p7*Prev{103P9} 233r31 245r28 247r37 249m48 262m30 272m30 312r25 313r31 . 318m28 383r25 384r31 106p13*Next{103P9} 241r25 248m28 248r57 249r43 257m25 262r25 267m25 272r25 . 275r35 316r25 317r31 387r25 389r31 107a7*Mem{58A9} 281m42 110R9 Stack_Id 114e14 116r29 307r47 449r40 494r20 111m7*Top{7|108M9} 232r39 240r38 245r70 276m22 281r53 282m19 282r42 401r45 . 451m19 466r60 479m32 528m16 112i7*Default_Size{12|62I12} 256r60 260r60 410r56 452m19 530m16 113p7*Current_Chunk{103P9} 227r28 283m19 310r28 380r44 450m19 529m16 116P9 Stack_Ptr(110R9) 124r41 126r32 220r30 303r21 307r57 377r34 447r21 120U14 Free[4|20] 250s22 318s16 321s13 123V13 To_Stack_Ptr[3|20]{116P9} 221s23 303s34 378s27 466s40 479s10 125V13 To_Addr[3|20]{5|67M9} 453s20 137R9 Fixed_Stack_Id 157e14 159r24 166r35 138m7*Top{7|108M9} 197r28 201r31 207r47 212r50 213m25 213r44 369r51 432m25 . 468r66 481m38 142m7*Last{7|108M9} 201r60 364r51 436m28 438m28 147m7*Max{7|108M9} 197r57 207m28 341r51 433m25 152a7*Mem{58A9} 212m33 435r41 439r52 159r4 Dummy_Fixed_Stack{137R9} 160r26 435r23 439r34 166P9 Fixed_Stack_Ptr(137R9) 170r41 191r36 338r36 358r36 428r36 169V13 To_Fixed_Stack_Ptr[3|20]{166P9} 192s29 339s29 359s29 429s29 468s40 . 481s10 181m7 Max_Align{7|108M9} 183r50 183r67 184r28 182m7 Max_Size{7|108M9} 197r34 201r37 207r53 213r50 240r48 256r41 270r46 . 282r48 191p13 Fixed_Stack{166P9} 197r16 197r45 201r19 201r48 207r16 207r35 212r21 . 212r38 213r13 213r32 220p13 Stack{116P9} 227r22 232r33 240r32 245r64 256r54 260r54 276r16 281r47 . 282r13 282r36 283r13 222p13 Chunk{103P9} 227m13 232r19 233m16 233r25 240r19 241r19 245r22 245r50 . 246r46 247m22 247r31 248r22 249r56 257r19 259r33 260r33 262r19 262r38 267r19 . 269r33 270r33 272r19 272r38 275m16 275r29 276r29 281r36 283r36 224p13 To_Be_Released_Chunk{103P9} 246m22 248r36 249r22 250m28 250r28 303p13 Stack{116P9} 310r22 322m19 322r19 304p13 Chunk{103P9} 310m13 312r19 313m16 313r25 316r19 317m16 317r25 318r22 . 321m19 321r19 306U23 Free[4|20] 322s13 338p13 Fixed_Stack{166P9} 341r39 358p13 Fixed_Stack{166P9} 364r39 369r39 377p13 Stack{116P9} 380r38 401r39 410r50 379i13 Nb_Chunks{integer} 388m16 388r29 406r40 380p13 Chunk{103P9} 383r19 384m16 384r25 387r19 389m16 389r25 396r39 428p13 Fixed_Stack{166P9} 432r13 433r13 436r16 438r16 447p13 Stack{116P9} 449m13 450r13 451r13 452r13 453r29 463m7 Sstk{5|67M9} 466r26 466r54 468r26 468r60 494r4 Stack{110R9} 495r8 528m10 529m10 530m10 532m51 532r51 497N4 Static_Secondary_Stack_Size 501r33 512r42 501r4 Chunk{105R9} 502r8 517m26 517r26 508m7 Chunk_Address{5|67M9} 535m10 536m19 536r19 537r51 509p7 Chunk_Access{103P9} 517m10 523m10 529r33 535r27 X 9 s-soflin.ads 45K16*Soft_Links 8|34w13 42r31 532r17 537r17 9|399e22 72P9*Get_Address_Call(5|67M9) 232U14*Set_Sec_Stack_Addr_NT 8|532s28 537s28 234p4*Get_Sec_Stack_Addr{72P9} 8|192r53 221r41 339r53 359r53 378r45 463r45 X 12 s-stoele.ads 42K16*Storage_Elements 7|34w13 38r31 12|117e28 54I9*Storage_Offset 8|44r17 531r16 62I12*Storage_Count{54I9} 7|68r26 8|112r27 179r26 256r26 410r29 452r40 64M9*Storage_Element 8|58r50 105M9*Integer_Address 7|108r27