MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ALLOCATORS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV SPARK

U gnat.dynamic_htables%b  g-dynhta.adb		2b44ecec NE OL PK
W gnat%s		gnat.ads		gnat.ali

U gnat.dynamic_htables%s  g-dynhta.ads		ae829bc6 BN EE NE OL PK
W ada%s			ada.ads			ada.ali
W ada.unchecked_deallocation%s
W gnat%s		gnat.ads		gnat.ali

D ada.ads		20121213103024 3ffc8e18
D a-uncdea.ads		20121213103024 f15a5ed1
D gnat.ads		20121213103024 fd2ad2f1
D g-dynhta.ads		20121213103024 a2f217e6
D g-dynhta.adb		20121213103024 89b6fb0a
D system.ads		20121213103024 90249111
X 1 ada.ads
16K9*Ada 19e8 4|49r6 217r9 5|180r16
X 2 a-uncdea.ads
20u15*Unchecked_Deallocation 4|49w10 217r13 5|180r20
X 3 gnat.ads
34K9*GNAT 37e9 4|50r9 240r5 5|32r14 346r5
X 4 g-dynhta.ads
50K14*Dynamic_HTables 3|34k9 4|240l10 240e25 5|32b19 346l10 346t25
75I12 Header_Num 95r51 224r10 5|40r33 44r29 139r31 199r18
78+12 Element 225r10
81+12 Elmt_Ptr 85r18 88r36 88r53 89r36 89r53 94r34 112r47 115r51 123r48 128r47
. 226r10 5|40r48 45r29 49r51 58r52 59r18 85r48 101r47 115r51 140r22 141r22
. 198r47
85*7 Null_Ptr{81+12} 227r10 5|63r20 69r23 70r23 88r20 104r20 118r20 121r33
. 124r23 150r20 160r31 188r28
88U22 Set_Next 88>32 88>46 228r10 5|164s19 207s10
88*32 E{81+12}
88*46 Next{81+12}
89V22 Next{81+12} 89>32 229r10 5|76s24 107s28 154s32 158s30 164s35
89*32 E{81+12}
93+12 Key 94r51 95r34 96r39 115r39 119r43 230r10 5|58r40 138r44
94V21 Get_Key{93+12} 94>30 231r10 5|72s26 153s23 163s29 206s25
94*30 E{81+12}
95V21 Hash{75I12} 95>30 232r10 5|66s27 139s45 206s19
95*30 F{93+12}
96V21 Equal{boolean} 96>30 96>34 233r10 5|72s19 153s16 163s22
96*30 F1{93+12}
96*34 F2{93+12}
98k12*Static_HTable 75z12 78z12 81z12 85z7 88z22 89z22 93z12 94z21 95z21
. 96z21 141l8 141e21 223r26 5|38b17 211l8 211t21
100P12*Instance(137R12) 101r22 103r35 112r33 115r25 119r29 123r31 128r30
. 138c12 139r22 235r32[223] 5|49r34 58r26 85r31 101r30 115r34 138r30 178r35
. 180r59 198r33 231r30[4|223] 245r56[4|223] 269r55[4|223] 295r30[4|223] 298r29[4|223]
. 311r35[4|223] 313r37[4|223] 318r25[4|223] 326r50[4|223] 329r26[4|223]
101p7*Nil{100P12} 139c7 236r48[223]
103U17*Reset 103=24 5|178b17 192l11 192t16 318s14[4|223]
103p24 T{100P12} 5|178b24 183r13 187r19 188m13 188r13 191m16
112U17*Set 112=22 112>43 5|198b17 209l11 209t14 329s17[4|223]
112p22 T{100P12} 5|198b22 202r13 203m13 207r23 208m10 208r10
112*43 E{81+12} 5|198b43 206r34 207r20 208r29
115V16*Get{81+12} 115>21 115>35 5|58b17 79l11 79t14 231s21[4|223] 295s21[4|223]
. 326s41[4|223]
115p21 T{100P12} 5|58b22 62r13 66r18
115*35 K{93+12} 5|58b36 66r33 72r42
119U17*Remove 119>25 119>39 5|138b17 172l11 172t17 298s17[4|223]
119p25 T{100P12} 5|138b26 144r13 148r18 154m13 154r13
119*39 K{93+12} 5|138b40 139r51 153r39 163r50
123V16*Get_First{81+12} 123>27 5|85b16 95l11 95t20 245s41[4|223] 311s20[4|223]
123p27 T{100P12} 5|85b27 87r13 91m10 91r10 92m10 92r10 92r30 93m10 93r10
. 93r28 93r37 94r31
128V16*Get_Next{81+12} 128>26 5|101b16 109l11 109t19 269s41[4|223] 313s23[4|223]
128p26 T{100P12} 5|101b26 103r13 103r34 107m10 107r10 107r34 108r31
137R12 Instance_Data 138r35 5|42c12 47e17 180r44 203r22
154I12 Header_Num 165r49 224r24
157+12 Element 160r20 173r56 182r51 190r48 196r47 212r17 5|223r52 244r48
. 268r47 325r56
160*7 No_Element{157+12} 5|228r20 234r20 249r20 272r20
164+12 Key 165r32 166r37 173r47 182r39 186r43 211r17 221r48 230r24 5|223r40
. 259r46 291r44 325r47
165V21 Hash{154I12} 165>28 232r24
165*28 F{164+12}
166V21 Equal{boolean} 166>28 166>32 233r24
166*28 F1{164+12}
166*32 F2{164+12}
168k12*Simple_HTable 154z12 157z12 160z7 164z12 165z21 166z21 238l8 238e21
. 5|217b17 344l8 344t21
170P12*Instance 171r22 173r33 177r35 182r25 186r29 190r31 196r30 235c12 236r22
. 236r34 5|223r26 244r31 268r30 291r30 307r35 325r33
171p7*Nil{170P12} 236c7 5|227r17
173U17*Set 173=22 173>43 173>52 5|325b17 333l11 333t14
173p22 T{170P12} 5|325b22 326r60 329m36 329r36
173*43 K{164+12} 5|325b43 326r64 329r61
173*52 E{157+12} 5|325b52 329r64 331r22
177U17*Reset<103p17> 177=24 5|307b17 319l11 319t16
177p24 T{170P12} 5|307b24 311r45 313r47 318m35 318r35
182V16*Get{157+12} 182>21 182>35 5|223b17 238l11 238t14
182p21 T{170P12} 5|223b22 227r13 231r40
182*35 K{164+12} 5|223b36 231r44
186U17*Remove<119p17> 186>25 186>39 5|291b17 301l11 301t17
186p25 T{170P12} 5|291b26 295r40 298r39
186*39 K{164+12} 5|291b40 295r44 298r43
190V16*Get_First{157+12} 190>27 5|244b16 253l11 253t20
190p27 T{170P12} 5|244b27 245r66
196V16*Get_Next{157+12} 196>26 5|268b16 276l11 276t19
196p26 T{170P12} 5|268b26 269r65
208R12 Element_Wrapper 209r35 210c12 214e17 217r37 225r24 5|329r44
209P12 Elmt_Ptr(208R12) 213r17 217r54 219r31 219r48 220r31 220r48 221r31
. 226r24 5|224r16 245r25 259r29 269r25 282r26 282r43 292r16 308r19 326r25
. 339r31 339r48
211*10 K{164+12} 5|261r19
212*10 E{157+12} 5|236r24 251r24 274r24 331m17
213p10 Next{209P12} 5|284r19 341m12
216U17 Free[2|20] 5|299s13 314s13
219U17 Set_Next 219>27 219>41 228r24 5|339b17 342l11 342t19
219p27 E{209P12} 5|339b27 341m10 341r10
219p41 Next{209P12} 5|339b41 341r20
220V17 Next{209P12} 220>27 229r24 5|282b16 285l11 285t15
220p27 E{209P12} 5|282b22 284r17
221V17 Get_Key{164+12} 221>27 231r24 5|259b16 262l11 262t18
221p27 E{209P12} 5|259b25 261r17
223K15 Tab[98] 235r28 236r44 5|231r17 231r26 245r37 245r52 269r37 269r51
. 295r17 295r26 298r13 298r25 311r16 311r31 313r19 313r33 318r10 318r21 326r37
. 326r46 329r13 329r22
X 5 g-dynhta.adb
40A12 Table_Type(4|81+12)<4|75I12> 43r29
43a10 Table{40A12} 66r20 92r32 93r30 122r37 128r35 148r20 154m15 187r21 188m15
. 207r25 208m12
44*10 Iterator_Index{4|75I12} 92m12 93r39 122r18 127m15 127r35 128r44
45*10 Iterator_Ptr{4|81+12} 93m12 107m12 107r36 121r18 128m15 131r19
46b10 Iterator_Started{boolean} 91m12 103r36 123m18
49V16 Get_Non_Null{4|81+12} 49>30 94s17 108s17 115b16 132l11 132t23
49p30 T{4|100P12} 115b30 117r13 121r16 122r16 122r35 123m16 123r16 127m13
. 127r13 127r33 128m13 128r13 128r33 128r42 131r17
59*10 Elmt{4|81+12} 66m10 69r16 72r35 73r23 76m16 76r30
139*10 Index{4|75I12} 148r27 154r22
140*10 Elmt{4|81+12} 148m10 150r13 153r32 154r38 158r36 164r29 168m19
141*10 Next_Elmt{4|81+12} 158m16 160r19 163r38 164r41 168r27
179U20 Free[2|20] 191s10
187i14 J 188r22
199*10 Index{4|75I12} 206m10 207r32 208r19
224p10 Tmp{4|209P12} 231m10 233r13 236r20
245p10 Tmp{4|209P12} 248r13 251r20
269p10 Tmp{4|209P12} 271r13 274r20
292p10 Tmp{4|209P12} 295m10 297r13 299m19 299r19
308p10 E1{4|209P12} 311m10 312r16 314m19 314r19 315m13
308p14 E2{4|209P12} 313m13 315r19
326p10 Tmp{4|209P12} 328r13 331m13 331r13