/usr/lib/ada/adalib/gnatprj/sinfo-cn.ali is in libgnatprj4.8-dev 4.8.2-8ubuntu3.
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 | V "GNAT Lib v4.8"
A -nostdinc
A -O2
A -fPIC
A -g
A -gnatn
A -mtune=generic
A -march=x86-64
P ZX
RN
RV SPARK
U sinfo.cn%b sinfo-cn.adb 5c21d696 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 80a46a48 EE NE OO PK
W sinfo%s sinfo.adb sinfo.ali
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20120716125141 10fcae55
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D alloc.ads 20120330092659 daf1344a
D aspects.ads 20130129140721 450982f5
D atree.ads 20130129140121 ce7e6162
D atree.adb 20130129140121 725d87a6
D casing.ads 20100909094434 5c2a7161
D debug.ads 20090420131856 3ea59655
D einfo.ads 20130206111307 867ce801
D hostparm.ads 20120315091549 c164ed60
D interfac.ads 20110906094621 129923ea
D namet.ads 20121001081109 ef58bb56
D nlists.ads 20100909093511 986e68a0
D opt.ads 20130206104433 983485a0
D output.ads 20100622132632 de75f4b4
D sinfo.ads 20130129140721 3dfcb66c
D sinfo.adb 20130129140721 361d7b7b
D sinfo-cn.ads 20110804085917 bd58dc24
D sinfo-cn.adb 20121029105644 89a18964
D sinput.ads 20121001092146 78ce5f33
D snames.ads 20140416143834 a6a6e2b4
D system.ads 20140416144310 90249111
D s-exctab.ads 20090417131547 66e51330
D s-imenne.ads 20130104124955 8707cbf0
D s-memory.ads 20090417131547 ca8bbc15
D s-os_lib.ads 20120709131452 cf6cfdbf
D s-parame.ads 20110830140625 b6e20cc0
D s-stalib.ads 20130104124955 f78bcf95
D s-string.ads 20130104124955 46b01415
D s-traent.ads 20090417130712 5221ee41
D s-unstyp.ads 20090409150019 6ae15c76
D s-wchcon.ads 20090417130712 bfeb2e3d
D table.ads 20090506081141 e3a9ec16
D table.adb 20130104091825 d2a5ae47
D tree_io.ads 20130102100426 30335df9
D types.ads 20130104092849 a33fd65d
D uintp.ads 20121106101120 2762e44a
D unchconv.ads 20070406091342 ca2f9e18
D unchdeal.ads 20070406091342 214516a4
D urealp.ads 20121205110635 e500ee51
X 7 atree.ads
44K9*Atree 3867e10 21|33w6 33r20 38r8
444U14*Change_Node 21|92s13 105s13 124s13
476V13*Relocate_Node{38|378I9} 21|122s45
515V13*Extend_Node{38|381I12} 21|53s12 75s12 140s12
580V13*Nkind{18|7522E9} 21|86s10 99s13 113s13
965K12*Unchecked_Access 3569e24 21|38r14
2258U17*Set_Nkind 21|52s7 65s7 74s7 138s7 149s7 159s7
2366U17*Set_Node1 21|150s7
2369U17*Set_Node2 21|139s7
X 14 namet.ads
149I9*Name_Id<integer>
X 18 sinfo.ads
54K9*Sinfo 12447e10 20|33r9 73r5 21|36r14 163r5
7555n7*N_Defining_Character_Literal{7522E9} 21|52r21
7556n7*N_Defining_Identifier{7522E9} 21|74r21
7557n7*N_Defining_Operator_Symbol{7522E9} 21|138r21
7561n7*N_Expanded_Name{7522E9} 21|159r21
7630n7*N_Attribute_Reference{7522E9} 21|113r25
7644n7*N_Function_Call{7522E9} 21|99r25
7645n7*N_Procedure_Call_Statement{7522E9} 21|92r29 105r29 124r29
7658n7*N_Indexed_Component{7522E9} 21|86r22
7672n7*N_String_Literal{7522E9} 21|149r21
7676n7*N_Unchecked_Type_Conversion{7522E9} 21|65r21
8185V13*Attribute_Name{14|149I9} 21|114s47
8212V13*Chars{14|149I9} 21|160s21
8470V13*Expressions{38|427I9} 21|89s47
8761V13*Name{38|378I9} 21|101s47
8836V13*Parameter_Associations{38|427I9} 21|102s47
8866V13*Prefix{38|378I9} 21|88s47
8962V13*Selector_Name{38|378I9} 21|160s28
9193U14*Set_Chars 21|160s7
9352U14*Set_Do_Length_Check 21|64s7
9355U14*Set_Do_Overflow_Check 21|62s7
9364U14*Set_Do_Tag_Check 21|63s7
9739U14*Set_Name 21|93s13 106s13 125s13
9814U14*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{38|378I9} 21|72b56 74r18 75m7 75r25
43U14*Change_Character_Literal_To_Defining_Character_Literal 44=7 21|48b14
. 54l8 54t62
44i7 N{38|378I9} 21|49b7 52r18 53m7 53r25
47U14*Change_Operator_Symbol_To_Defining_Operator_Symbol 48=7 21|134b14 141l8
. 141t58
48i7 N{38|378I9} 21|135b7 138r18 139r18 140m7 140r25
51U14*Change_Conversion_To_Unchecked 51>46 21|60b14 66l8 66t38
51i46 N{38|378I9} 21|60b46 62r30 63r25 64r28 65r18
55U14*Change_Operator_Symbol_To_String_Literal 55>56 21|147b14 151l8 151t48
55i56 N{38|378I9} 21|147b56 149r18 150r18
62U14*Change_Selected_Component_To_Expanded_Name 62>58 21|157b14 161l8 161t50
62i58 N{38|378I9} 21|157b58 159r18 160r18 160r43
68U14*Change_Name_To_Procedure_Call_Statement 68>55 21|82b14 128l8 128t47
68i55 N{38|378I9} 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{38|378I9} 93r26
89i13 Exprs_Node{38|427I9} 94r44
101i13 Fname_Node{38|378I9} 106r26
102i13 Params_List{38|427I9} 107r44
122i13 Name_Node{38|378I9} 125r26
X 23 snames.ads
34K9*Snames 21|34w6 34r20 23|2051e11
1932V13*Is_Procedure_Attribute_Name{boolean} 21|114s18
X 24 system.ads
64M9*Address
X 27 s-memory.ads
53V13*Alloc{24|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{24|64M9} 105i<c,__gnat_realloc>22
X 38 types.ads
378I9*Node_Id<integer> 20|35r67 44r18 48r18 51r50 55r60 62r62 68r59 21|49r18
. 60r50 72r67 82r59 88r36 101r36 122r34 135r18 147r60 157r62
381I12*Entity_Id{378I9}
393i4*Empty{378I9} 21|139r21 150r21
427I9*List_Id<integer> 21|89r36 102r36
|