This file is indexed.

/usr/lib/gcc-cross/arm-linux-gnueabi/5/adalib/gnatprj/sinfo-cn.ali is in libgnatprj5-dev-armel-cross 5.3.1-14ubuntu2cross1.

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
V "GNAT Lib v5"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -march=armv5t
A -mfloat-abi=soft
A -mtls-dialect=gnu
P ZX

RN
RV SPARK_05

U sinfo.cn%b		sinfo-cn.adb		638c356f NE OO PK
W atree%s		atree.adb		atree.ali
W sinfo%s		sinfo.adb		sinfo.ali
W snames%s		snames.adb		snames.ali

U sinfo.cn%s		sinfo-cn.ads		d8e83ced EE NE OO PK
W sinfo%s		sinfo.adb		sinfo.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20140730140058 5250cb69 ada.exceptions%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alloc.ads		20150107084147 61013b91 alloc%s
D aspects.ads		20150313132815 78c0fb99 aspects%s
D atree.ads		20150313134724 561167a4 atree%s
D atree.adb		20150313134724 6f4dcfa0 atree%b
D casing.ads		20140717063745 5c2a7161 casing%s
D debug.ads		20090420131856 3ea59655 debug%s
D einfo.ads		20150313134724 eedc4daa einfo%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D interfac.ads		20141120112812 6033a23f interfaces%s
D namet.ads		20150302110329 53fa811d namet%s
D nlists.ads		20140801095704 a6e0a57f nlists%s
D opt.ads		20150302110329 e5e8f770 opt%s
D output.ads		20140801093848 2d9479ad output%s
D sinfo.ads		20150324122610 65b0e0c9 sinfo%s
D sinfo.adb		20141030113441 f62c7b91 sinfo%b
D sinfo-cn.ads		20110804085917 bd58dc24 sinfo.cn%s
D sinfo-cn.adb		20121029105644 89a18964 sinfo.cn%b
D sinput.ads		20140730103741 ef954964 sinput%s
D snames.ads		20160414152332 0164078b snames%s
D system.ads		20141030114420 bb029e6a system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-imenne.ads		20140225151139 614c06c0 system.img_enum_new%s
D s-memory.ads		20140225151139 597d6634 system.memory%s
D s-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-stalib.ads		20150220094550 fa0a3617 system.standard_library%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D table.ads		20090506081141 e3a9ec16 table%s
D table.adb		20141107135941 9716557f table%b
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20150130153101 63969ace types%s
D uintp.ads		20160414152200 f3f1d794 uintp%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
D urealp.ads		20130411125352 e500ee51 urealp%s
X 7 atree.ads
44K9*Atree 4156e10 21|33w6 33r20 38r8
464U14*Change_Node 21|92s13 105s13 124s13
496V13*Relocate_Node{39|384I9} 21|122s45
543V13*Extend_Node{39|387I12} 21|53s12 75s12 140s12
624V13*Nkind{18|8119E9} 21|86s10 99s13 113s13
1069K12*Unchecked_Access 3811e24 21|38r14
2431U17*Set_Nkind 21|52s7 65s7 74s7 138s7 149s7 159s7
2557U17*Set_Node1 21|150s7
2560U17*Set_Node2 21|139s7
X 14 namet.ads
179I9*Name_Id<integer>
X 18 sinfo.ads
54K9*Sinfo 13177e10 20|33r9 73r5 21|36r14 163r5
8152n7*N_Defining_Character_Literal{8119E9} 21|52r21
8153n7*N_Defining_Identifier{8119E9} 21|74r21
8154n7*N_Defining_Operator_Symbol{8119E9} 21|138r21
8158n7*N_Expanded_Name{8119E9} 21|159r21
8227n7*N_Attribute_Reference{8119E9} 21|113r25
8241n7*N_Function_Call{8119E9} 21|99r25
8242n7*N_Procedure_Call_Statement{8119E9} 21|92r29 105r29 124r29
8254n7*N_String_Literal{8119E9} 21|149r21
8261n7*N_Indexed_Component{8119E9} 21|86r22
8276n7*N_Unchecked_Type_Conversion{8119E9} 21|65r21
8791V13*Attribute_Name{14|179I9} 21|114s47
8818V13*Chars{14|179I9} 21|160s21
9088V13*Expressions{39|433I9} 21|89s47
9399V13*Name{39|384I9} 21|101s47
9480V13*Parameter_Associations{39|433I9} 21|102s47
9510V13*Prefix{39|384I9} 21|88s47
9606V13*Selector_Name{39|384I9} 21|160s28
9840U14*Set_Chars 21|160s7
10014U14*Set_Do_Length_Check 21|64s7
10017U14*Set_Do_Overflow_Check 21|62s7
10026U14*Set_Do_Tag_Check 21|63s7
10419U14*Set_Name 21|93s13 106s13 125s13
10500U14*Set_Parameter_Associations 21|94s13 107s13
X 20 sinfo-cn.ads
33K15*CN 18|54k9 20|73l11 73e13 21|36b20 163l11 163t13
35U14*Change_Identifier_To_Defining_Identifier 35=56 21|72b14 76l8 76t48
35i56 N{39|384I9} 21|72b56 74r18 75m7 75r25
43U14*Change_Character_Literal_To_Defining_Character_Literal 44=7 21|48b14
. 54l8 54t62
44i7 N{39|384I9} 21|49b7 52r18 53m7 53r25
47U14*Change_Operator_Symbol_To_Defining_Operator_Symbol 48=7 21|134b14 141l8
. 141t58
48i7 N{39|384I9} 21|135b7 138r18 139r18 140m7 140r25
51U14*Change_Conversion_To_Unchecked 51>46 21|60b14 66l8 66t38
51i46 N{39|384I9} 21|60b46 62r30 63r25 64r28 65r18
55U14*Change_Operator_Symbol_To_String_Literal 55>56 21|147b14 151l8 151t48
55i56 N{39|384I9} 21|147b56 149r18 150r18
62U14*Change_Selected_Component_To_Expanded_Name 62>58 21|157b14 161l8 161t50
62i58 N{39|384I9} 21|157b58 159r18 160r18 160r43
68U14*Change_Name_To_Procedure_Call_Statement 68>55 21|82b14 128l8 128t47
68i55 N{39|384I9} 21|82b55 86r17 88r55 89r60 92r26 93r23 94r41 99r20 101r53
. 102r71 105r26 106r23 107r41 113r20 114r63 122r60 124r26 125r23
X 21 sinfo-cn.adb
88i13 Prefix_Node{39|384I9} 93r26
89i13 Exprs_Node{39|433I9} 94r44
101i13 Fname_Node{39|384I9} 106r26
102i13 Params_List{39|433I9} 107r44
122i13 Name_Node{39|384I9} 125r26
X 23 snames.ads
34K9*Snames 21|34w6 34r20 23|2115e11
1998V13*Is_Procedure_Attribute_Name{boolean} 21|114s18
X 24 system.ads
67M9*Address
X 28 s-memory.ads
53V13*Alloc{24|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{24|67M9} 105i<c,__gnat_realloc>22
X 39 types.ads
384I9*Node_Id<integer> 20|35r67 44r18 48r18 51r50 55r60 62r62 68r59 21|49r18
. 60r50 72r67 82r59 88r36 101r36 122r34 135r18 147r60 157r62
387I12*Entity_Id{384I9}
399i4*Empty{384I9} 21|139r21 150r21
433I9*List_Id<integer> 21|89r36 102r36