/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-pools.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 | V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P SS ZX
RN
RV SIMPLE_BARRIERS
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_PROTECTED_TYPES
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_PROTECTED_ENTRIES=1+
RV MAX_ENTRY_QUEUE_LENGTH=1+
U gnatcoll.pools%b gnatcoll-pools.adb 3c523bbc NE OO PK GE IU
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.unchecked_deallocation%s
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W gnatcoll.refcount%s gnatcoll-refcount.adb gnatcoll-refcount.ali
W gnatcoll.refcount.weakref%s gnatcoll-refcount-weakref.adb gnatcoll-refcount-weakref.ali
W gnatcoll.traces%s gnatcoll-traces.adb gnatcoll-traces.ali
W interfaces%s interfac.ads interfac.ali
W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali
U gnatcoll.pools%s gnatcoll-pools.ads ba536cf3 BN EE NE OO PK GE
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W gnatcoll.refcount%s gnatcoll-refcount.adb gnatcoll-refcount.ali
W gnatcoll.refcount.weakref%s gnatcoll-refcount-weakref.adb gnatcoll-refcount-weakref.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.ali
D ada.ads 20070406091342 3ffc8e18
D a-calend.ads 20120515092648 d86d6c8c
D a-contai.ads 20101025135029 61e5e089
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-os_lib.ads 20090409150019 0db74523
D g-souinf.ads 20140204144939 a510dad3
D g-string.ads 20090409150019 c6abc540
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-io.ads 20140810010057 54261358
D gnatcoll-io-native.ads 20140810010057 6e98f0b4
D gnatcoll-path.ads 20140810010057 44783065
D gnatcoll-pools.ads 20140810010057 7670fbcd
D gnatcoll-pools.adb 20141006220326 9142c7fa
D gnatcoll-refcount.ads 20140810010057 b9955a59
D gnatcoll-refcount.adb 20140810010057 e0f89537
D gnatcoll-refcount-sync_counters.adb 20141006220415 aac7ffcb gnatcoll.refcount.sync_counters
D gnatcoll-refcount-weakref.ads 20140810010057 a67e3347
D gnatcoll-refcount-weakref.adb 20140810010057 15d472da
D gnatcoll-traces.ads 20140810010057 f6bb7e36
D gnatcoll-vfs.ads 20140810010057 34a2f66e
D gnatcoll-vfs_types.ads 20140810010057 14be4a8d
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D i-cstrin.ads 20130104124955 341d0ddf
D system.ads 20140921225607 90249111
D s-atacco.ads 20120515093410 4c36d12f
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-linux.ads 20140409145429 5b2f79a5
D s-memory.ads 20140225151139 597d6634
D s-multip.ads 20101011073009 38ac9f73
D s-oscons.ads 20140921225608 a445b120
D s-osinte.ads 20140409145429 59011f13
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stausa.ads 20110804134155 017a0a05
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stposu.ads 20121005142121 ffeba1c5
D s-stratt.ads 20131014135145 aedef97e
D s-string.ads 20140225151139 8fe54fb7
D s-tasinf.ads 20120730151500 21316953
D s-taspri.ads 20110927094500 15f617a8
D s-taskin.ads 20140131154341 3f821f32
D s-taprob.ads 20110927094500 502249e3
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 19|24r6 47r36 49r36 51r36
X 9 a-uncdea.ads
20u15*Unchecked_Deallocation 19|24w10 47r40 49r40 51r40
X 14 gnatcoll.ads
24K9*GNATCOLL 26e13 18|49r14 86r9 168r30 174r28 190r5 19|25r6 25r39 26r6
. 26r39 27r6 27r39 30r14 363r5
X 18 gnatcoll-pools.ads
52+9 Element_Type 56r57 71r39 74r45 98r53 159r35 19|254r53
55+9 Factory_Param 56r35 82r45 120r22 146r56 19|40r27 67r25 79r44 92r25 116r44
. 337r22 349r56
56V18 Factory{52+9} 56>27 19|153s40
56*27 Param{55+9}
60E9 Resource_Set 88r27 122r22 128r14 146r13 166r27 166r43 171r19 19|44r24
. 55r18 62r55 69r25 79r16 94r25 97r35 116r16 125r29 188r55 267r40 339r22
. 349r13
71U19 Free 71=25 19|202s13 226s25
71*25 Self{52+9}
74U19 On_Release 74=31 19|321s7
74*31 Self{52+9}
82U19 Free_Param 82=31 19|234s19
82*31 Data{55+9}
86k18*Pools 14|24k9 18|52z9 55z9 56z18 60z9 71z19 74z19 82z19 158E9 190l14
. 190e19 19|30b23 363l14 363t19
88*4*Default_Set{60E9} 122r38 128r30 146r29 166c4 19|267r56 339r38 349r29
90R9*Resource<20|71R12[23|73[18|174]]> 5|51P14 18|91r27 98p13 98r29 105r30
. 106r51 127r18 142P13 142r34 179c9 179e54 180r27 181r6 19|55r47 125r58 254r29
. 267r18 276r30 287r51 358r45
91r4*No_Resource{90R9} 180c4
98V13*Element(52+9) 98>22 19|254b13 260l8 260t15
98r22 Self{90R9} 19|254b22 255r50
103R9*Weak_Resource 104r34 105r53 106r26 116r31 183c9 185e14 187r34 19|276r53
. 280r14 287r26 296r31
104r4*Null_Weak_Resource{103R9} 187c4
105V13*Get_Weak{103R9} 105>23 19|276b13 281l8 281t16
105c23 Self<90R9> 19|276b23 279r26
106U14*Get 106>19 106<41 19|287b14 290l8 290t11
106r19 Self{103R9} 19|287b19 289r12
106c41 Res<90R9> 19|287b41 289m22
116V13*Was_Freed{boolean} 116>24 19|296b13 299l8 299t17
116r24 Self{103R9} 19|296b24 298r34
119U14*Set_Factory 120>7 121>7 122>7 19|336b14 342l8 342t19
120*7 Param{55+9} 19|337b7 341r32
121i7 Max_Elements{positive} 19|338b7 341r39
122*7 Set{60E9} 19|339b7 341r53
126U14*Get 127<7 128>7 19|266b14 270l8 270t11
127c7 Self<90R9> 19|267b7 269m30
128*7 Set{60E9} 19|267b34 269r24
136U14*Free 19|305b14 308l8 308t12
142V13*Get_Refcount{natural}<20|96p16> 142>27 19|358b24 361l8 361t20
142r27 Self{90R9} 19|358b38 360r69
145V13*Get_Factory_Param(55+9) 146>7 19|348b13 352l8 352t25
146*7 Set{60E9} 19|349b7 351r45
158R9 Pool_Resource 161e14 162r44 19|48r7 152r51
159*7 Element{52+9} 19|153m19 202m27 226m33 259m25 321m31
160b7 Available{boolean} 19|154m19 163r47 168m44 196m21 223r35
162P9 Pool_Resource_Access(158R9) 170r19 19|35r52 48r22 62r27 188r27 212r14
168R9 Resource_Data<23|42R9> 172e17 173P25 173r45 175r7 19|156r31 170r31
. 314r45
170p10 In_Set{162P9} 19|159m19 173m19 259r17 259r18 321r23 321r24 324m36
171*10 Set{60E9} 19|158m19 172m19 324m49
173U25 Free<23|46p25> 173=31 19|314b25 330l8 330t12
173r31 Self{168R9} 19|314b31 316m30 316r30 321r19 324m31 324r31 324r44
174K12 Pointers[23|72] 179r25 181r16 184r13 188r14 19|31r8 128r20 298r14
. 360r14 360r46
184r7 Ref{23|91R15[174]} 188m7 19|280m29 289r17 298r39
X 19 gnatcoll-pools.adb
33p4 Me{25|36P9} 144r23 164r27 165r26 195r20 214r27 225r32 230r28 242r27
. 257r15 327r20 328r20
35A9 Pool_Array(18|162P9)<integer> 36r41 50r7 102r32
36P9 Pool_Array_Access(35A9) 39r19 50r19
38R9 Resource_Set_Data 42e14 44r50
39p7 Elements{36P9} 100r28 102m16 136r34 137r30 137r31 152r30 152r31 159r43
. 159r44 163r33 163r34 168r30 168r31 173r43 173r44 218r34 219r43 220r41 220r42
. 235m50
40*7 Param{18|55+9} 104m16 118m32 153r64 234m46
41i7 Available{28|51I9} 103m16 126r29 130m25 130r53 197m28 197r56
44A9 Sets(38R9)<18|60E9> 45r35 52r7 97r29
45P9 Sets_Access(44A9) 52r13 82r19
47U14 Unchecked_Free[9|20] 203s13 227s25
49U14 Unchecked_Free[9|20] 235s19
51U14 Unchecked_Free[9|20] 239s13
54W19 Pool 82E7 83l8 83e12 85b19 244l8 244t12 246r18
55Y13 Get 55<33 125b13 181l11 181t14 269r19
55c33 Element<18|90R9> 160m16 160r16 174m16 174r16
61U17 Release 62=10 62>49 187b17 205l11 205t18 324s22
62p10 In_Pool{18|162P9} 188b10 196r13 202r19 203m29
62*49 Set{18|60E9} 188b49 197r23 197r51
66U17 Set_Factory 67>10 68>10 69>10 91b17 109l11 109t22 341s19
67*10 Descr{18|55+9} 92b10 104r29
68i10 Max_Elements{positive} 93b10 102r49 103r41
69*10 Set{18|60E9} 94b10 100r23 101r23
73U17 Free 211b17 243l11 243t15 307s19
78V16 Get_Factory_Param(18|55+9) 79>10 115b16 119l11 119t28 351s26
79*10 Set{18|60E9} 116b10 118r27
82p7 Elements{45P9} 96r13 97m13 100r13 101r13 118r17 126r14 130r10 130r38
. 136r19 137r16 152r16 153r49 159r29 163r19 168r16 173r29 194r13 197r13 197r41
. 216r13 217r24 218r19 219r28 220r27 234r31 235r35 239m29 239r29
125*22 Set 126r24 130r20 130r48 136r29 137r26 152r26 153r59 158r29 159r39
. 163r29 165r45 168r26 172r29 173r39
125c44 Element<18|90R9>
128p10 In_Pool{23|74P15[18|174]} 156m16 160r29 170m16 174r29
136i14 E{integer} 137r41 144r64 152r41 159r54 163r44 166r62 168r41 173r54
212p10 R{18|162P9} 220m22 222r25 223r33 226r31 227m41 227r41 228r28
217e17 Set 218r29 219r38 220r37 234r41 235r45
219i23 E{integer} 220r52
246w4 Global_Pool{54W19} 269r7 307r7 324r10 341r7 351r14
255p7 Enc{23|74P15[18|174]} 257r19 259r14
277r7 W{23|91R15[18|174]} 279m7 280r36
326r15 E{4|62R9} 328r24
X 20 gnatcoll-refcount.ads
36K18*Refcount 18|49r23 168r39 174r37 19|25w15 25r48 26r15 26r48 20|124e22
69P12 Encapsulated_Access(18|168R9)
71R12*Ref<5|48R9> 19|360r64[23|73[18|174]]
75U17 Set 19|160R24[23|73[18|174]] 174R24[23|73[18|174]]
87V16 Get{69P12[23|73[18|174]]} 19|255s45[23|73[18|174]]
96V16 Get_Refcount{natural} 19|360s32[23|73[18|174]]
X 23 gnatcoll-refcount-weakref.ads
40K27*Weakref 18|49w32 168r48 174r46 19|26w24 26r57 23|147e30
42H9*Weak_Refcounted<20|38R9> 18|168r56 19|157r19 171r19 316r13 23|145e14
46U25*Free<20|49p14> 19|316s7
72k12*Weakref_Pointers 18|174r54 23|137e24
73K15 Pointers[20|68] 19|360r23[18|174] 360r55[18|174]
74P15 Encapsulated_Access{20|69P12[73[18|174]]} 19|128r29[18|174] 255r22[18|174]
76R15 Ref{20|71R12[73[18|174]]} 18|179r34[174]
77r7 Null_Ref{76R15[18|174]} 18|181r25[174]
87V17 "="=88:26{boolean} 19|257r23[18|174]
91R15 Weak_Ref{20|71R12[53]} 18|184r22[174] 19|277r11[18|174]
92r7 Null_Weak_Ref{91R15[18|174]} 18|188r23[174]
96V16 Get_Weak_Ref{91R15[18|174]} 19|279s12[18|174]
103V16 Was_Freed{boolean} 19|298s23[18|174]
110U17 Get 19|289s7[18|174]
X 25 gnatcoll-traces.ads
33K18*Traces 19|27w15 27r48 25|512e20
36P9*Trace_Handle(35R9) 19|33r18
162V13*Create{36P9} 19|33s34
238U14*Trace 19|328s13
258U14*Trace 19|144s16 165s19 195s13 225s25 229s25 327s13
280U14*Assert 19|257s7
302V13*Active{boolean} 19|164s19
316U14*Increase_Indent 19|214s10
318U14*Decrease_Indent 19|242s10
X 28 interfac.ads
38K9*Interfaces 19|28w6 28r39 28|179e15
51I9*Integer_32<integer> 19|41r27 103r29
X 31 system.ads
64M9*Address
X 37 s-memory.ads
53V13*Alloc{31|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{31|64M9} 105i<c,__gnat_realloc>22
X 47 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|