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_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE RV SPARK_05 U system.pool_size%b s-poosiz.adb 27da7a5e NE OL PK W ada%s ada.ads ada.ali W ada.tags%s a-tags.adb a-tags.ali W ada.unchecked_conversion%s W system%s system.ads system.ali W system.soft_links%s s-soflin.adb s-soflin.ali U system.pool_size%s s-poosiz.ads 2c8bd861 EB EE OL PF PK W ada.tags%s a-tags.adb a-tags.ali W system%s system.ads system.ali W system.soft_links%s s-soflin.adb s-soflin.ali W system.storage_elements%s s-stoele.adb s-stoele.ali W system.storage_pools%s s-stopoo.adb s-stopoo.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20151016123252 291912d5 ada.exceptions%s D a-finali.ads 20151020095656 bf4f806b ada.finalization%s D a-stream.ads 20141120112812 119b8fb3 ada.streams%s D a-tags.ads 20151016130316 01f5e3ef ada.tags%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-poosiz.ads 20130104124955 9d8c569f system.pool_size%s D s-poosiz.adb 20151020124036 575c48ab system.pool_size%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-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 19e8 12|34r6 52r10 X 3 a-finali.ads 54U14*Finalize<9|43p14> X 6 a-unccon.ads 20v14*Unchecked_Conversion 12|34w10 52r14 X 7 system.ads 37K9*System 200e11 11|32r6 33r6 35r9 53r19 54r19 55r19 57r11 58r30 59r30 . 60r30 61r30 66r41 70r26 71r22 72r22 76r22 77r22 78r22 82r5 12|32r6 36r14 . 38r24 48r24 54r58 68r29 74r25 87r26 125r22 220r17 229r29 286r17 298r25 . 412r5 67M9*Address 11|70r33 76r29 12|52r36 68r36 74r32 87r33 125r29 220r24 229r36 . 286r24 298r32 71N4*Storage_Unit 12|54r65 X 9 s-finroo.ads 42U14*Adjust X 11 s-poosiz.ads 35K16*Pool_Size 7|37k9 11|82l12 82e21 12|36b21 412l12 412t21 52R9*Stack_Bounded_Pool<18|42R9> 3|54P14 9|42p14 11|53d7 54d7 55d7 63e17 . 65P24 66r14 68P25 69r29 74P25 75r29 80P25 80r51 12|65r44 67r32 73r32 86r29 . 124r29 151r41 184r14 199r24 204r24 209r18 214r18 219r17 228r32 285r17 297r32 . 323r44 341r18 360r24 379r24 398r18 53i7*Pool_Size{16|62I12} 62r62 12|102r35 187r19 327r18 331r52 54i7*Elmt_Size{16|62I12} 12|94r15 132r15 163r15 175r21 55i7*Alignment{16|62I12} 12|160r54 58i10*First_Free{16|62I12} 12|97r18 98r41 99m15 136r56 137m15 167m15 248r29 . 314r50 315r31 325m15 328r34 328r51 329r34 330r34 332r34 59i10*First_Empty{16|62I12} 12|102r14 104r41 105m15 105r35 168m15 60i10*Aligned_Elmt_Size{16|62I12} 12|102r52 105r54 173m15 61a10*The_Pool{16|70A9} 12|98m26 104m26 137m44 277m26 289m38 350m25 369m18 . 388m18 406m47 65V24*Storage_Size{16|62I12}<18|60p13> 66>7 12|183b14 188l8 188t20 66r7 Pool{52R9} 12|184b7 187r14 68U25*Allocate<18|46p14> 69=7 70<7 71>7 72>7 12|85b14 117l8 117t16 69r7 Pool{52R9} 12|86b7 94r10 95m26 97r13 98m21 98r21 98r36 99m10 102r9 102r30 . 102r47 104m21 104r21 104r36 105m10 105r30 105r49 70m7 Address{7|67M9} 12|87b7 95m32 98m10 99r54 104m10 71i7 Storage_Size{16|62I12} 12|88b7 95r41 72i7 Alignment{16|62I12} 12|89b7 95r55 74U25*Deallocate<18|53p14> 75=7 76>7 77>7 78>7 12|123b14 145l8 145t18 75r7 Pool{52R9} 12|124b7 132r10 133m28 136r51 137m10 137m39 137r39 76m7 Address{7|67M9} 12|125b7 133r34 136r35 137r29 77i7 Storage_Size{16|62I12} 12|126b7 133r43 78i7 Alignment{16|62I12} 12|127b7 133r57 80U25*Initialize<3|53p14> 80=37 12|151b14 177l8 177t18 80r37 Pool{52R9} 12|151b27 160r49 163r10 164m28 167m10 168m10 173m10 175r16 X 12 s-poosiz.adb 38K12 SSE=38:31 39r13 50r40 54r26 69r25 70r25 75r25 76r25 88r22 89r22 126r22 . 127r22 158r24 159r17 160r20 174r12 184r41 200r24 205r24 210r18 210r44 215r18 . 215r44 220r40 230r25 231r25 233r23 234r23 235r23 236r32 237r25 237r48 239r32 . 240r25 286r40 299r25 300r25 304r32 307r27 313r26 342r18 342r44 361r24 380r24 . 399r18 399r44 48K12 SSL=48:31 92r7 111r7 115r10 130r7 140r7 143r10 50P9 Storage_Count_Access(16|62I12) 52r45 51V13 To_Storage_Count_Access[6|20]{50P9} 99s29 136s10 349s17 368s10 387s10 . 406s17 54N4 SC_Size 174r35 196r38 350r43 369r36 56K12 Variable_Size_Management 77l8 77e32 79r26 194b17 411l9 411t33 65U17*Initialize 65=30 164s16 323b17 334l11 334t21 65r30 Pool{11|52R9} 323b30 325m10 327r13 328r23 328r29 328r46 329r23 329r29 . 330r23 330r29 331r47 332r23 332r29 66U17*Allocate 67=10 68<10 69>10 70>10 95s16 227b17 278l11 278t19 67r10 Pool{11|52R9} 228b10 248r24 249r25 251r42 253r28 265r19 267r23 267r46 . 268r23 268r46 269r23 274r23 274r47 277m21 277r21 68m10 Address{7|67M9} 229b10 277m10 69i10 Storage_Size{16|62I12} 230b10 242r29 70i10 Alignment{16|62I12} 231b10 238r48 72U17*Deallocate 73=10 74>10 75>10 76>10 133s16 296b17 317l11 317t21 73r10 Pool{11|52R9} 297b10 302r32 307r58 312r20 314r20 314r39 314r45 315r20 . 315r26 74m10 Address{7|67M9} 298b10 307r64 75i10 Storage_Size{16|62I12} 299b10 305r27 76i10 Alignment{16|62I12} 300b10 305r42 305r59 306r66 79K12 Vsize=79:26 95r10 133r10 164r10 158i7 Align{16|62I12} 175r33 175r46 175r55 196N7 Minimum_Size 241r27 265r48 313r61 327r30 328r64 330r47 331r64 332r47 198U17 Set_Size 199>10 200>10 200>17 267s13 312s10 329s13 330s13 378b17 391l11 . 391t19 199r10 Pool{11|52R9} 379b10 388r13 200i10 Chunk{16|62I12} 380b10 388r28 200i17 Size{16|62I12} 380b17 388r51 203U17 Set_Next 204>10 205>10 205>17 268s13 269s13 274s13 314s10 315s10 328s13 . 332s13 359b17 372l11 372t19 204r10 Pool{11|52R9} 360b10 369r13 205i10 Chunk{16|62I12} 361b10 369r28 205i17 Next{16|62I12} 361b17 369r61 208V16 Size{16|62I12} 209>10 210>10 251s36 265s13 267s40 397b16 409l11 409t15 209r10 Pool{11|52R9} 398b10 406r42 210i10 Chunk{16|62I12} 399b10 406r57 213V16 Next{16|62I12} 214>10 215>10 249s19 253s22 268s40 274s41 314s33 340b16 . 353l11 353t15 214r10 Pool{11|52R9} 341b10 350r20 215i10 Chunk{16|62I12} 342b10 350r35 218V16 Chunk_Of{16|62I12} 219>10 220>10 284b16 290l11 290t19 307s48 219r10 Pool{11|52R9} 285b10 289r33 220m10 Addr{7|67M9} 286b10 289r26 233i10 Chunk{16|62I12} 249m10 251r16 251r48 252r27 253m13 253r34 258r13 265r25 . 266r26 267r52 268r52 274r53 277r36 234i10 New_Chunk{16|62I12} 266m13 267r29 268r29 269r41 235i10 Prev_Chunk{16|62I12} 248m10 249r31 252m13 269r29 274r29 236i10 Our_Align{16|62I12} 242r44 242r61 243r67 239i10 Align_Size{16|62I12} 251r57 265r34 266r34 267r61 304i10 Align_Size{16|62I12} 313r49 307i10 Chunk{16|62I12} 312r26 314r26 315r44 X 13 s-soflin.ads 45K16*Soft_Links 12|32w13 48r31 13|399e22 60P9*No_Param_Proc 178p4*Lock_Task{60P9} 12|92r11 130r11 188p4*Unlock_Task{60P9} 12|111r11 115r14 140r11 143r14 X 16 s-stoele.ads 42K16*Storage_Elements 11|33w13 53r26 54r26 55r26 58r37 59r37 60r37 61r37 . 66r48 71r29 72r29 77r29 78r29 12|38r31 16|117e28 54I9*Storage_Offset 12|39r17 62I12*Storage_Count{54I9} 11|53r43 54r43 55r43 58r54 59r54 60r54 66r65 71r46 . 72r46 77r46 78r46 12|50r44 54r30 69r29 70r29 75r29 76r29 88r26 89r26 126r26 . 127r26 158r28 159r21 160r24 174r16 184r45 200r28 205r28 210r22 210r48 215r22 . 215r48 220r44 230r29 231r29 233r27 234r27 235r27 236r36 237r29 237r52 239r36 . 240r29 286r44 299r29 300r29 304r36 307r31 313r30 342r22 342r48 361r28 380r28 . 399r22 399r48 64M9*Storage_Element 70A9*Storage_Array(64M9)<54I9> 11|61r54 91V14*"-"{54I9} 12|137s37 289s31 X 18 s-stopoo.ads 39K16*Storage_Pools 11|32w13 57r18 18|100e25 42H9*Root_Storage_Pool<3|50R9> 11|57r32 18|67e62