/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-storage_pools-alignment.ali is in libgnatcoll16.1.0-dev 17.0.2017-3.
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 | V "GNAT Lib v7"
A -O2
A -O2
A -gnatA
A -gnatn
A -gnatwa
A -gnatwC
A -gnatwJ
A -g
A -fdebug-prefix-map=/build/libgnatcoll-6424vb/libgnatcoll-17.0.2017=.
A -fstack-protector-strong
A -fPIC
A -mtune=generic
A -march=x86-64
P ZX
RN
RV NO_ALLOCATORS
RV NO_DISPATCHING_CALLS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_CONVERSION
RV NO_UNCHECKED_DEALLOCATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U gnatcoll.storage_pools.alignment%b gnatcoll-storage_pools-alignment.adb 935fe811 NE OO PK IU
W ada%s ada.ads ada.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.unchecked_conversion%s
W ada.unchecked_deallocation%s
W gnatcoll.storage_pools%s gnatcoll-storage_pools.ads gnatcoll-storage_pools.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.storage_pools%s s-stopoo.adb s-stopoo.ali
U gnatcoll.storage_pools.alignment%s gnatcoll-storage_pools-alignment.ads 2fb69806 EB EE OO PF PK IU
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll.storage_pools%s gnatcoll-storage_pools.ads gnatcoll-storage_pools.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 20170106103348 76789da1 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 20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnatcoll.ads 20170516111831 6a5da479 gnatcoll%s
D gnatcoll-storage_pools.ads 20170516111831 f82e283b gnatcoll.storage_pools%s
D gnatcoll-storage_pools-alignment.ads 20170516111831 4b3aaefb gnatcoll.storage_pools.alignment%s
D gnatcoll-storage_pools-alignment.adb 20170516111831 84d5406a gnatcoll.storage_pools.alignment%b
D interfac.ads 20160502101001 5ab55268 interfaces%s
D system.ads 20170510173650 4635ec04 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-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 20e8 11|26r6 27r6 32r28 93r39 95r31
X 3 a-finali.ads
53U14*Initialize<15|44p14>
54U14*Finalize<15|43p14>
X 6 a-unccon.ads
20v14*Unchecked_Conversion 11|27w10 32r32 95r35
X 7 a-uncdea.ads
20u15*Unchecked_Deallocation 11|26w10 93r43
X 8 gnatcoll.ads
24K9*GNATCOLL 27e13 10|36r9 67r5 11|29r14 127r5
X 9 gnatcoll-storage_pools.ads
29K18*Storage_Pools 8|24k9 9|31e27 10|36r18 67r14 11|29r23 127r14
X 10 gnatcoll-storage_pools-alignment.ads
36K32*Alignment 9|29k18 10|47E9 67l28 67e37 11|29b37 127l28 127t37
40R9*Unbounded_No_Reclaim_Align_Pool<22|42R9> 3|53P14 54P14 10|41d7 47c9
. 49e68 51P13 52r14 55P14 56r29 61P14 62r29 11|40r29 81r29 118r15 15|42p14
41i7*Alignment{20|62I12} 48r7 11|58r47 89r29
51V13 Storage_Size{20|62I12}<22|60p13> 52>7 11|117b13 126l8 126t20
52r7 Pool{40R9} 11|118b7 120r28
55U14 Allocate<22|46p14> 56=7 57<7 58>7 59>7 11|39b14 74l8 74t16
56r7 Pool{40R9} 11|40b7 58r42
57m7 Address{13|67M9} 11|41b7 73m7
58i7 Storage_Size{20|62I12} 11|42b7 60r9
59i7 Alignment{20|62I12} 11|43b7 45r28
61U14 Deallocate<22|53p14> 62=7 63>7 64>7 65>7 11|80b14 111l8 111t18
62r7 Pool{40R9} 11|81b7 89r24
63m7 Address{13|67M9} 11|82b7 98r59 99r59 100r59 106r49
64i7 Storage_Size{20|62I12} 11|83b7 89r9
65i7 Alignment{20|62I12} 11|84b7 86r28
X 11 gnatcoll-storage_pools-alignment.adb
31P9 Storage_Element_Access(20|64M9) 33r23
32V13 Convert[6|20]{31P9} 98s50 99s50 100s50
56N7 Bytes_For_Offset 60r32
58i7 Align{20|62I12} 60r24 67r9 67r43
59i7 Size{20|54I9} 62r58
62A15 Local_Storage_Array{20|70A9}<20|54I9> 63r26 65r39
63P12 Ptr(62A15) 65r28
65p7 Allocated{63P12} 67r17 70r7 71r7 72r7 73r18
66i7 Offset{20|62I12} 70r18 70r50 71r18 71r51 72r18 72r46 73r42
88i7 Size{20|54I9} 90r58
90A15 Local_Storage_Array{20|70A9}<20|54I9> 91r26 94r10
91P12 Ptr(90A15) 94r31 96r26 107r13
93U17 Unchecked_Free[7|20] 110s7
95V16 Convert[6|20]{91P12} 107s20
98m7 Offset_High2{20|64M9} 102r25
99m7 Offset_High{20|64M9} 103r27
100m7 Offset_Low{20|64M9} 104r27
101i7 Offset{20|62I12} 106r59
106m7 Real_Address{13|67M9} 107r29
107p7 Var{91P12} 110m23 110r23
X 13 system.ads
37K9*System 10|33r6 34r6 41r19 42r13 48r19 49r13 53r14 57r26 58r22 59r22
. 63r22 64r22 65r22 11|24r6 24r38 24r46 25r6 25r38 33r7 41r26 82r22 96r10
. 106r31 13|156e11
67M9*Address 10|57r33 63r29 11|33r14 41r33 82r29 96r17 106r38
X 15 s-finroo.ads
42U14*Adjust
X 20 s-stoele.ads
42K16*Storage_Elements 10|34w13 41r26 48r26 53r21 58r29 59r29 64r29 65r29
. 11|25w13 25r45 20|117e28
54I9*Storage_Offset<long_integer> 11|59r24 88r23
62I12*Storage_Count{54I9} 10|41r43 48r43 53r38 58r46 59r46 64r46 65r46 11|42r22
. 43r22 58r24 66r28 83r22 84r22 101r25 102r10 103r12 104r12 118r55 125r14
64M9*Storage_Element 11|31r42 70r33 71r33 72r29 98r31 99r31 100r31
70A9*Storage_Array(64M9)<54I9> 11|62r38 90r38
76V14*"+"{13|67M9} 11|73s40
86V14*"-"{13|67M9} 11|98s67 99s67 100s67 106s57
96V14*"mod"{54I9} 11|67s39
X 22 s-stopoo.ads
39K16*Storage_Pools 10|33w13 42r20 49r20 11|24w13 24r53 22|100e25
42H9*Root_Storage_Pool<3|50R9> 10|42r34 49r34 22|67e62
|