This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatvsn/opt.ali is in libgnatvsn7-dev 7.3.0-16ubuntu3.

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
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
V "GNAT Lib v7"
A -nostdinc
A -O2
A -fPIC
A -gnatn
A -g
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE
RV SPARK_05

U opt%b			opt.adb			f93c8bb0 NE OO PK
W gnatvsn%s		gnatvsn.adb		gnatvsn.ali
W system%s		system.ads		system.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W tree_io%s		tree_io.adb		tree_io.ali

U opt%s			opt.ads			5fc55828 EE OO PK
W hostparm%s		hostparm.ads		hostparm.ali
W system%s		system.ads		system.ali
W system.strings%s	s-string.adb		s-string.ali
W system.wch_con%s	s-wchcon.adb		s-wchcon.ali
W types%s		types.adb		types.ali

D ada.ads		20170106103348 76789da1 ada%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnatvsn.ads		20170101180836 dd90e7a7 gnatvsn%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D opt.ads		20170123115126 120d082a opt%s
D opt.adb		20151125151052 1d746715 opt%b
D system.ads		20170510173650 4635ec04 system%s
D s-conca2.ads		20140225151544 02a0d7d0 system.concat_2%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-os_lib.ads		20180415045213 4e0c17b8 system.os_lib%s
D s-secsta.ads		20170112134946 9751b57e system.secondary_stack%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
D tree_io.ads		20140718093624 6de0ef2c tree_io%s
D types.ads		20160622103147 7b5c9ba8 types%s
D unchconv.ads		20070406091342 ca2f9e18 unchecked_conversion%s
D unchdeal.ads		20070406091342 214516a4 unchecked_deallocation%s
X 4 gnatvsn.ads
35K9*Gnatvsn 98e12 7|32w6 32r19
54V13*Gnat_Version_String{string} 7|378s34
X 5 hostparm.ads
38K9*Hostparm 73e13 6|41w6 41r20
65b4*Tag_Errors{boolean} 6|1576r34
X 6 opt.ads
50K9*Opt 2277E9 2323l5 2323e8 7|36b14 423l5 423t8
90b4*Checksum_Accumulate_Token_Checksum{boolean}
96b4*Checksum_GNAT_6_3{boolean}
100b4*Checksum_GNAT_5_03{boolean}
104b4*Checksum_Accumulate_Limited_Checksum{boolean}
120b4*Latest_Ada_Only{boolean}
125E9*Ada_Version_Type 125e75 126r20 132r35 138r18 148r27 156r26 1902r25
. 1915r34 2278r40 2279r40 7|336r9 338r9 395r24 396r24
125n30*Ada_83{125E9}
125n38*Ada_95{125E9}
125n46*Ada_2005{125E9}
125n56*Ada_2012{125E9} 132r55 156r46
125n66*Ada_2020{125E9}
132e4*Ada_Version_Default{125E9} 133r26 138r38 148r47
138e4*Ada_Version{125E9} 7|89r48 128m7 169r46 214m10 258m10
144i4*Ada_Version_Pragma{19|385I9} 7|90r48 129m7 170r46 215m10 259m10
148e4*Ada_Version_Explicit{125E9} 7|91r48 130m7 171r46 260m10
156e4*Ada_Version_Runtime{125E9} 7|214r41
161a4*Ada_Final_Suffix{string} 162r57
162p4*Ada_Final_Name{19|113P9}
167a4*Ada_Init_Suffix{string} 168r56
168p4*Ada_Init_Name{19|113P9}
173a4*Ada_Main_Name_Suffix{string} 180r55
180p4*Ada_Main_Name{19|113P9}
185b4*Address_Clause_Overlay_Warnings{boolean}
190b4*Address_Is_Private{boolean} 7|313m23 383r24
194b4*All_Errors_Mode{boolean} 7|328m23 398r24
200b4*Allow_Integer_Address{boolean}
206b4*All_Sources{boolean}
211p4*Alternate_Main_Name{19|113P9}
216b4*ASIS_GNSA_Mode{boolean}
221b4*ASIS_Mode{boolean}
231b4*Assertions_Enabled{boolean} 7|92r48 131m7 172r46 238m13 245m16 247m16
. 261m10 329m23 399r24
238b4*Assume_No_Invalid_Values{boolean} 7|93r48 132m7 173r46 239m13 249m13
. 262m10
246b4*Back_Annotate_Rep_Info{boolean}
254b4*Back_End_Handles_Limited_Types{boolean}
264b4*Back_End_Inlining{boolean}
271b4*Bind_Alternate_Main_Name{boolean}
276b4*Bind_Main_Program{boolean}
280b4*Bind_For_Library{boolean}
285b4*Bind_Only{boolean}
290b4*Blank_Deleted_Lines{boolean}
295b4*Brief_Output{boolean} 7|314m23 384r24
300b4*Build_Bind_And_Link_Full_Project{boolean}
305b4*Check_Aliasing_Of_Parameters{boolean}
310b4*Check_Float_Overflow{boolean} 7|94r48 133m7 174r46 263m10 330m23 400r24
317b4*Check_Object_Consistency{boolean}
327b4*Check_Only{boolean}
331i4*Check_Policy_List{19|385I9} 7|95r48 134m7 175r46 240m13 250m13 264m10
. 331m28 331r28 401r29
340b4*Check_Readonly_Files{boolean}
344b4*Check_Source_Files{boolean}
351b4*Check_Switches{boolean}
355b4*Check_Unreferenced{boolean}
361b4*Check_Unreferenced_Formals{boolean}
366b4*Check_Validity_Of_Parameters{boolean}
371b4*Check_Withs{boolean}
377b4*CodePeer_Mode{boolean}
382b4*Commands_To_Stdout{boolean}
386b4*Comment_Deleted_Lines{boolean}
391a4*Compilation_Time{string}
395b4*Compile_Only{boolean}
403b4*Compiler_Unit{boolean}
412b4*Config_File{boolean}
416p4*Config_File_Names{15|55P9}
420b4*Configurable_Run_Time_Mode{boolean} 7|362m23 412r24
427b4*Constant_Condition_Warnings{boolean}
432b4*Create_Mapping_File{boolean}
437I12*Debug_Level_Value{19|62I12} 438r21
438i4*Debugger_Level{437I12}
445i4*Default_Exit_Status{19|59I9}
450b4*Debug_Generated_Code{boolean}
456i4*Default_Pool{19|385I9} 7|96r48 135m7 176r46 293m7 332m28 332r28 402r29
465i4*Default_Stack_Size{19|59I9}
471i4*Default_Sec_Stack_Size{19|59I9}
478e4*Default_SSO{character} 7|97r48 136m7 177r46 216m10 265m10
484b4*Detect_Blocking{boolean}
489b4*Directories_Must_Exist_In_Projects{boolean}
493b4*Display_Compilation_Progress{boolean}
498E9*Distribution_Stub_Mode_Type 507e33 511r29
500n7*No_Stubs{498E9} 511r60
503n7*Generate_Receiver_Stub_Body{498E9}
507n7*Generate_Caller_Stub_Body{498E9}
511e4*Distribution_Stub_Mode{498E9} 7|356m23 356r23 357r24 406m24 406r24
. 407r25
516b4*Do_Not_Execute{boolean}
520b4*Dump_Source_Text{boolean}
525b4*Dynamic_Elaboration_Checks{boolean} 7|98r48 137m7 178r46 217m10 266m10
530b4*Dynamic_Stack_Measurement{boolean}
534i4*Dynamic_Stack_Measurement_Array_Size{19|62I12}
541b4*Elab_Dependency_Output{boolean}
545b4*Elab_Order_Output{boolean}
549b4*Elab_Info_Messages{boolean}
553b4*Elab_Warnings{boolean}
557i4*Error_Msg_Line_Length{19|62I12}
566b4*Error_To_Warning{boolean}
573b4*Exception_Handler_Encountered{boolean}
579b4*Exception_Extra_Info{boolean}
585b4*Exception_Locations_Suppressed{boolean} 7|99r48 138m7 179r46 294m7
590E9*Exception_Mechanism_Type 607e21 612r26 614r26
593n7*Front_End_SJLJ{590E9} 614r54 7|59r36 71r31
599n7*Back_End_ZCX{590E9} 7|50r31 80r36
607n7*Back_End_SJLJ{590E9} 7|48r31 69r31
614e4*Exception_Mechanism{590E9} 7|48r9 50r9 59r14 69r9 71r9 80r14
620V13*Back_End_Exceptions{boolean} 7|45b13 51l8 51t27
621V13*Front_End_Exceptions{boolean} 7|57b13 60l8 60t28
622V13*ZCX_Exceptions{boolean} 7|78b13 81l8 81t22
623V13*SJLJ_Exceptions{boolean} 7|66b13 72l8 72t23
627b4*Exception_Tracebacks{boolean}
631b4*Exception_Tracebacks_Symbolic{boolean}
636b4*Extensions_Allowed{boolean} 7|100r48 139m7 180r46 218m10 267m10
641E9*External_Casing_Type 644e16 646r31 655r31 1977r38 1988r38 2290r40 2291r40
642n6*As_Is{641E9} 655r55 7|219r41
643n6*Uppercase{641E9}
644n6*Lowercase{641E9} 646r55 7|220r41
646e4*External_Name_Imp_Casing{641E9} 7|102r48 141m7 182r46 220m10 269m10
655e4*External_Name_Exp_Casing{641E9} 7|101r48 140m7 181r46 219m10 268m10
668b4*External_Unit_Compilation_Allowed{boolean}
673b4*Fast_Math{boolean} 7|103r48 142m7 183r46 270m10 295m7
678b4*Force_ALI_Tree_File{boolean} 7|370m23 420r24
683b4*Disable_ALI_File{boolean}
687b4*Follow_Links_For_Files{boolean}
695b4*Follow_Links_For_Dirs{boolean}
701b4*Force_Checking_Of_Elaboration_Flags{boolean}
706b4*Force_Compilations{boolean}
710p4*Force_Elab_Order_File{19|113P9}
714b4*Front_End_Inlining{boolean}
721b4*Full_Path_Name_For_Brief_Errors{boolean}
727b4*Full_List{boolean} 7|333m23 403r24
731p4*Full_List_File_Name{19|113P9}
737b4*Generate_C_Code{boolean}
742b4*Generate_CodePeer_Messages{boolean}
747b4*Generate_Processed_File{boolean}
752b4*Generate_SCIL{boolean}
756b4*Generate_SCO{boolean}
762b4*Generate_SCO_Instance_Table{boolean}
767b4*Generating_Code{boolean}
772E9*Ghost_Mode_Type 772e49 776r17
772n29*None{772E9} 776r36
772n35*Check{772E9}
772n42*Ignore{772E9}
776e4*Ghost_Mode{772E9}
780b4*Global_Discard_Names{boolean}
785i4*GNAT_Encodings{19|59I9} 786m22 786r22
790i4*DWARF_GNAT_Encodings_All{19|59I9}
791i4*DWARF_GNAT_Encodings_GDB{19|59I9}
792i4*DWARF_GNAT_Encodings_Minimal{19|59I9}
794e4*Identifier_Character_Set{character} 7|316m23 386r24
817b4*Ignore_Pragma_SPARK_Mode{boolean}
823b4*Ignore_Rep_Clauses{boolean} 7|317m23 387r24
829b4*Ignore_Style_Checks_Pragmas{boolean} 7|318m23 388r24
834b4*Ignore_Unrecognized_VWY_Switches{boolean}
840b4*Implementation_Unit_Warnings{boolean}
845b4*Implicit_Packing{boolean}
851b4*Ineffective_Inline_Warnings{boolean}
859b4*Init_Or_Norm_Scalars{boolean} 7|160m7 288m10
864b4*Initialize_Scalars{boolean} 7|104r48 143m7 160r31 184r46 271m10 288r34
869e4*Initialize_Scalars_Mode1{character}
870e4*Initialize_Scalars_Mode2{character}
875b4*Inline_Active{boolean} 7|358m23 408r24
880i4*Inline_Level{19|62I12}
887b4*Interface_Library_Unit{boolean}
893b4*Invalid_Value_Used{boolean}
897b4*Inline_Processing_Required{boolean} 7|359m23 409r24
903b4*In_Place_Mode{boolean}
909b4*Keep_Going{boolean}
914b4*Keep_Temporary_Files{boolean}
919b4*Leap_Seconds_Support{boolean}
924b4*Link_Only{boolean}
929b4*List_Body_Required_Info{boolean}
934b4*List_Inherited_Aspects{boolean}
940b4*List_Restrictions{boolean}
944b4*List_Units{boolean} 7|360m23 410r24
948b4*List_Closure{boolean}
952b4*List_Closure_All{boolean}
957b4*List_Dependencies{boolean}
963i4*List_Representation_Info{19|59I9}
973b4*List_Representation_Info_To_File{boolean}
980b4*List_Representation_Info_Mechanisms{boolean}
985b4*List_Preprocessing_Symbols{boolean}
991P9*Create_Repinfo_File_Proc 991>55 996r33
991a55 Src{string}
992P9*Write_Repinfo_Line_Proc 992>55 997r33
992a55 Info{string}
993P9*Close_Repinfo_File_Proc 998r33
996p4*Create_Repinfo_File_Access{991P9}
997p4*Write_Repinfo_Line_Access{992P9}
998p4*Close_Repinfo_File_Access{993P9}
1006P9*Create_List_File_Proc 1006>52 1011r30
1006a52 S{string}
1007P9*Write_List_Info_Proc 1007>52 1012r30
1007a52 S{string}
1008P9*Close_List_File_Proc 1013r30
1011p4*Create_List_File_Access{1006P9}
1012p4*Write_List_Info_Access{1007P9}
1013p4*Close_List_File_Access{1008P9}
1022e4*Locking_Policy{character}
1028i4*Locking_Policy_Sloc{19|213I12}
1034b4*Look_In_Primary_Dir{boolean}
1040b4*Make_Steps{boolean}
1045i4*Main_Index{19|59I9}
1050p4*Mapping_File_Name{19|113P9}
1055i4*Maximum_Messages{19|59I9}
1061i4*Maximum_File_Name_Length{19|59I9} 7|319m23 389r24
1067i4*Maximum_Instantiations{19|59I9}
1073i4*Maximum_Processes{positive}
1078b4*Minimal_Recompilation{boolean}
1082b4*Minimize_Expression_With_Actions{boolean}
1088b4*Modify_Tree_For_C{boolean}
1095i4*Multiple_Unit_Index{19|59I9} 7|361m23 411r24
1103b4*No_Backup{boolean}
1107b4*No_Deletion{boolean}
1113i4*No_Elab_Code_All_Pragma{19|385I9}
1118b4*No_Main_Subprogram{boolean}
1123b4*No_Run_Time_Mode{boolean}
1128b4*No_Split_Units{boolean}
1134b4*No_Stdinc{boolean}
1138b4*No_Stdlib{boolean}
1142b4*No_Strict_Aliasing{boolean}
1146i4*No_Tagged_Streams{19|385I9}
1151b4*Normalize_Scalars{boolean} 7|160r53 288r56
1156b4*Object_Directory_Present{boolean}
1160p4*Object_Path_File_Name{19|113P9}
1165b4*One_Compilation_Per_Obj_Dir{boolean}
1171E9*Operating_Mode_Type 1171e78 1172r20 1173r21 1196r30
1171n33*Check_Syntax{1171E9}
1171n47*Check_Semantics{1171E9}
1171n64*Generate_Code{1171E9} 1173r44 1196r53
1173e4*Operating_Mode{1171E9} 7|363m23 363r23 364r24 413m24 413r24 414r25
1184e4*Optimize_Alignment{character} 7|105r48 144m7 185r46 221m10 272m10
. 296m7
1188b4*Optimize_Alignment_Local{boolean} 7|119m7 145m7 186r46 226m10 273m10
1196e4*Original_Operating_Mode{1171E9}
1202i4*Optimization_Level{19|59I9} 1203m22 1203r22
1206i4*Optimize_Size{19|59I9} 1207m22 1207r22
1211b4*Output_File_Name_Present{boolean}
1217b4*Output_Linker_Option_List{boolean}
1221b4*Output_ALI_List{boolean}
1222p4*ALI_List_Filename{19|113P9}
1227b4*Output_Object_List{boolean}
1228p4*Object_List_Filename{19|113P9}
1233e4*Partition_Elaboration_Policy{character}
1239i4*Partition_Elaboration_Policy_Sloc{19|213I12}
1245b4*Persistent_BSS_Mode{boolean} 7|106r48 146m7 187r46 222m10 274m10
1250b4*Pessimistic_Elab_Order{boolean}
1254b4*Polling_Required{boolean} 7|107r48 147m7 188r46 297m7
1259b4*Prefix_Exception_Messages{boolean} 7|108r48 148m7 189r46 223m10 275m10
1263p4*Preprocessing_Data_File{19|113P9}
1267p4*Preprocessing_Symbol_Defs{15|55P9}
1272i4*Preprocessing_Symbol_Last{natural}
1275b4*Print_Generated_Code{boolean}
1280b4*Print_Standard{boolean}
1285E9*Usage 1285e47 1286r26
1285n19*Unknown{1285E9} 1286r35
1285n28*Not_In_Use{1285E9}
1285n40*In_Use{1285E9}
1286e4*Project_File_In_Use{1285E9}
1291e4*Queuing_Policy{character}
1297i4*Queuing_Policy_Sloc{19|213I12}
1303b4*Quiet_Output{boolean}
1308b4*Overriding_Renamings{boolean}
1313b4*Relaxed_RM_Semantics{boolean}
1323b4*Replace_In_Comments{boolean}
1327p4*RTS_Lib_Path_Name{19|113P9}
1328p4*RTS_Src_Path_Name{19|113P9}
1333b4*RTS_Switch{boolean}
1337b4*Run_Path_Option{boolean}
1341b4*Search_Directory_Present{boolean}
1350b4*Sec_Stack_Used{boolean}
1355b4*Setup_Projects{boolean}
1360b4*Shared_Libgnat{boolean}
1366b4*Short_Circuit_And_Or{boolean}
1370E9*SPARK_Mode_Type 1370e43 1374r17 2046r24 2300r40
1370n29*None{1370E9} 1374r36 2046r43 7|251r41
1370n35*Off{1370E9}
1370n40*On{1370E9}
1374e4*SPARK_Mode{1370E9} 7|109r48 149m7 190r46 241m13 251m13 276m10
1378i4*SPARK_Mode_Pragma{19|385I9} 7|110r48 150m7 191r46 242m13 252m13 277m10
1383p4*SPARK_Switches_File_Name{19|113P9}
1388b4*Special_Exception_Package_Used{boolean}
1394i4*Sprint_Line_Limit{19|62I12}
1399b4*Stack_Checking_Enabled{boolean}
1405b4*Style_Check{boolean}
1412b4*Style_Check_Main{boolean}
1419b4*Disable_FE_Inline{boolean}
1420b4*Disable_FE_Inline_Always{boolean}
1428b4*Suppress_Control_Flow_Optimizations{boolean}
1433i4*System_Extend_Pragma_Arg{19|385I9}
1439i4*System_Extend_Unit{19|385I9}
1447b4*Subunits_Missing{boolean}
1452b4*Suppress_Checks{boolean} 7|365m23 415r24
1456r4*Suppress_Options{19|756R9} 7|320m23 320r23 321r24 390m24 390r24 391r25
1463i4*Table_Factor{19|59I9}
1471b4*Tagged_Type_Expansion{boolean}
1477p4*Target_Dependent_Info_Read_Name{19|113P9}
1484p4*Target_Dependent_Info_Write_Name{19|113P9}
1491E9*Origin_Of_Target 1491e58 1493r20
1491n30*Unknown{1491E9} 1493r40
1491n39*Default{1491E9}
1491n48*Specified{1491E9}
1493e4*Target_Origin{1491E9}
1497p4*Target_Value{15|45P9}
1501e4*Task_Dispatching_Policy{character}
1507i4*Task_Dispatching_Policy_Sloc{19|213I12}
1513b4*Tasking_Used{boolean}
1517b4*Time_Slice_Set{boolean}
1522i4*Time_Slice_Value{19|62I12}
1530b4*Tolerate_Consistency_Errors{boolean}
1535b4*Treat_Categorization_Errors_As_Warnings{boolean}
1542b4*Treat_Restrictions_As_Warnings{boolean}
1547b4*Tree_Output{boolean}
1551b4*Try_Semantics{boolean} 7|366m23 416r24
1558b4*Unchecked_Shared_Lib_Imports{boolean}
1564b4*Undefined_Symbols_Are_False{boolean}
1570e4*Uneval_Old{character} 7|111r48 151m7 192r46 224m10 278m10
1576b4*Unique_Error_Tag{boolean}
1581b4*Unnest_Subprogram_Mode{boolean}
1585b4*Unreserve_All_Interrupts{boolean}
1591b4*Upper_Half_Encoding{boolean} 7|369m23 419r24
1599b4*Use_Include_Path_File{boolean}
1604b4*Usage_Requested{boolean}
1609b4*Use_Pragma_Linker_Constructor{boolean}
1613b4*Use_VADS_Size{boolean} 7|112r48 152m7 193r46 225m10 279m10
1617b4*Validity_Checks_On{boolean}
1628b4*Verbose_Mode{boolean} 7|322m23 392r24
1634E9*Verbosity_Level_Type 1634e58 1635r20 1636r22
1634n34*None{1634E9}
1634n40*Low{1634E9}
1634n45*Medium{1634E9}
1634n53*High{1634E9} 1636r46
1636e4*Verbosity_Level{1634E9}
1650b4*Warn_On_Ada_2005_Compatibility{boolean}
1656b4*Warn_On_Ada_2012_Compatibility{boolean}
1662b4*Warn_On_All_Unread_Out_Parameters{boolean}
1669b4*Warn_On_Assertion_Failure{boolean}
1674b4*Warn_On_Assumed_Low_Bound{boolean}
1680b4*Warn_On_Atomic_Synchronization{boolean}
1685b4*Warn_On_Bad_Fixed_Value{boolean}
1691b4*Warn_On_Biased_Representation{boolean}
1697b4*Warn_On_Constant{boolean}
1702b4*Warn_On_Deleted_Code{boolean}
1708b4*Warn_On_Dereference{boolean}
1713b4*Warn_On_Export_Import{boolean}
1718b4*Warn_On_Elab_Access{boolean}
1725b4*Warn_On_Hiding{boolean}
1731b4*Warn_On_Modified_Unread{boolean}
1739b4*Warn_On_No_Value_Assigned{boolean}
1746b4*Warn_On_Non_Local_Exception{boolean}
1756b4*No_Warn_On_Non_Local_Exception{boolean}
1762b4*Warn_On_Object_Renames_Function{boolean}
1768b4*Warn_On_Obsolescent_Feature{boolean}
1774b4*Warn_On_Overlap{boolean}
1781b4*Warn_On_Questionable_Missing_Parens{boolean}
1787b4*Warn_On_Parameter_Order{boolean}
1793b4*Warn_On_Redundant_Constructs{boolean}
1799b4*Warn_On_Reverse_Bit_Order{boolean}
1805b4*Warn_On_Suspicious_Contract{boolean}
1813b4*Warn_On_Suspicious_Modulus_Value{boolean}
1818b4*Warn_On_Unchecked_Conversion{boolean}
1824b4*Warn_On_Unordered_Enumeration_Type{boolean}
1831b4*Warn_On_Unrecognized_Pragma{boolean}
1836b4*Warn_On_Unrepped_Components{boolean}
1842b4*Warn_On_Warnings_Off{boolean}
1851E9*Warning_Mode_Type 1851e64 1852r19
1851n31*Suppress{1851E9}
1851n41*Normal{1851E9} 1852r40
1851n49*Treat_As_Error{1851E9}
1852e4*Warning_Mode{1851E9} 7|323m23 323r23 324r24 393m24 393r24 394r25
1862i4*Warnings_As_Errors_Count{natural} 7|113r48 153m7 194r46 280m10
1866i4*Wide_Character_Encoding_Method{17|94I9} 7|367m23 367r23 368r24 417m24
. 417r24 418r25
1878b4*Wide_Character_Encoding_Method_Specified{boolean}
1883b4*Xref_Active{boolean}
1887b4*Zero_Formatting{boolean}
1902e4*Ada_Version_Config{125E9} 7|89m7 258r41 335m7 395r46
1912i4*Ada_Version_Pragma_Config{19|385I9} 7|90m7 259r41
1915e4*Ada_Version_Explicit_Config{125E9} 7|91m7 260r41 337m7 396r46
1922b4*Assertions_Enabled_Config{boolean} 7|92m7 238r41 245r41 261r41 339m7
. 397r37
1928b4*Assume_No_Invalid_Values_Config{boolean} 7|93m7 239r41 262r41
1935b4*Check_Float_Overflow_Config{boolean} 7|94m7 263r41
1942i4*Check_Policy_List_Config{19|385I9} 7|95m7 240r41 264r41
1949i4*Default_Pool_Config{19|385I9} 7|96m7 293r41
1954e4*Default_SSO_Config{character} 7|97m7 265r41
1960b4*Dynamic_Elaboration_Checks_Config{boolean} 7|98m7 266r41
1965b4*Exception_Locations_Suppressed_Config{boolean} 7|99m7 294r41
1969b4*Extensions_Allowed_Config{boolean} 7|100m7 267r41
1977e4*External_Name_Exp_Casing_Config{641E9} 7|101m7 268r41
1988e4*External_Name_Imp_Casing_Config{641E9} 7|102m7 269r41
1999b4*Fast_Math_Config{boolean} 7|103m7 270r41 295r41
2006b4*Initialize_Scalars_Config{boolean} 7|104m7 271r41
2013b4*No_Exit_Message{boolean}
2018e4*Optimize_Alignment_Config{character} 7|105m7 272r41 296r41
2026b4*Persistent_BSS_Mode_Config{boolean} 7|106m7 274r41
2035b4*Polling_Required_Config{boolean} 7|107m7 297r41
2043b4*Prefix_Exception_Messages_Config{boolean} 7|108m7 275r41
2046e4*SPARK_Mode_Config{1370E9} 7|109m7 241r41 276r41
2050i4*SPARK_Mode_Pragma_Config{19|385I9} 7|110m7 242r41 277r41
2054e4*Uneval_Old_Config{character} 7|111m7 278r41
2058b4*Use_VADS_Size_Config{boolean} 7|112m7 279r41
2068i4*Warnings_As_Errors_Count_Config{natural} 7|113m7 280r41
2072R9*Config_Switches_Type 2075r51 2092r50 2277c9 2305e14 7|126r50 167r51
2075U14*Save_Opt_Config_Switches 2075<40 7|167b14 195l8 195t32
2075r40 Save{2072R9} 7|167b40 169m7 170m7 171m7 172m7 173m7 174m7 175m7 176m7
. 177m7 178m7 179m7 180m7 181m7 182m7 183m7 184m7 185m7 186m7 187m7 188m7
. 189m7 190m7 191m7 192m7 193m7 194m7
2080U14*Set_Opt_Config_Switches 2081>7 2082>7 7|201b14 298l8 298t31
2081b7 Internal_Unit{boolean} 7|202b7 208r10
2082b7 Main_Unit{boolean} 7|203b7 237r13
2092U14*Restore_Opt_Config_Switches 2092>43 7|126b14 161l8 161t35
2092r43 Save{2072R9} 7|126b43 128r41 129r41 130r41 131r41 132r41 133r41 134r41
. 135r41 136r41 137r41 138r41 139r41 140r41 141r41 142r41 143r41 144r41 145r41
. 146r41 147r41 148r41 149r41 150r41 151r41 152r41 153r41
2096U14*Register_Opt_Config_Switches 7|87b14 120l8 120t36
2106b4*Expander_Active{boolean}
2116b4*Static_Dispatch_Tables{boolean}
2132U14*Tree_Read 7|304b14 371l8 371t17
2135U14*Tree_Write 7|377b14 421l8 421t18
2151p4*Tree_Version_String{15|45P9} 7|351m31 351r31 352m16 352r16 353m10
2160i4*Tree_ASIS_Version_Number{19|59I9} 7|311m23
2168b4*GNATprove_Mode{boolean}
2184a4*Warnings_As_Errors(19|113P9)
2195b4*GNAT_Mode{boolean} 7|315m23 385r24
2199b4*GNAT_Mode_Config{boolean} 7|244r16
2278e7*Ada_Version{125E9} 7|128r46 169m12
2279e7*Ada_Version_Explicit{125E9} 7|130r46 171m12
2280i7*Ada_Version_Pragma{19|385I9} 7|129r46 170m12
2281b7*Assertions_Enabled{boolean} 7|131r46 172m12
2282b7*Assume_No_Invalid_Values{boolean} 7|132r46 173m12
2283b7*Check_Float_Overflow{boolean} 7|133r46 174m12
2284i7*Check_Policy_List{19|385I9} 7|134r46 175m12
2285i7*Default_Pool{19|385I9} 7|135r46 176m12
2286e7*Default_SSO{character} 7|136r46 177m12
2287b7*Dynamic_Elaboration_Checks{boolean} 7|137r46 178m12
2288b7*Exception_Locations_Suppressed{boolean} 7|138r46 179m12
2289b7*Extensions_Allowed{boolean} 7|139r46 180m12
2290e7*External_Name_Exp_Casing{641E9} 7|140r46 181m12
2291e7*External_Name_Imp_Casing{641E9} 7|141r46 182m12
2292b7*Fast_Math{boolean} 7|142r46 183m12
2293b7*Initialize_Scalars{boolean} 7|143r46 184m12
2294b7*Normalize_Scalars{boolean}
2295e7*Optimize_Alignment{character} 7|144r46 185m12
2296b7*Optimize_Alignment_Local{boolean} 7|145r46 186m12
2297b7*Persistent_BSS_Mode{boolean} 7|146r46 187m12
2298b7*Polling_Required{boolean} 7|147r46 188m12
2299b7*Prefix_Exception_Messages{boolean} 7|148r46 189m12
2300e7*SPARK_Mode{1370E9} 7|149r46 190m12
2301i7*SPARK_Mode_Pragma{19|385I9} 7|150r46 191m12
2302e7*Uneval_Old{character} 7|151r46 192m12
2303b7*Use_VADS_Size{boolean} 7|152r46 193m12
2304i7*Warnings_As_Errors_Count{natural} 7|153r46 194m12
2315V13 get_gcc_version{19|59I9} 2316b<c,get_gcc_version>22 2318s34
2318i4 GCC_Version{19|62I12}
X 7 opt.adb
38N4 SU 321r48 321r58 324r44 324r54 357r54 364r46 368r62 368r72 391r49 391r59
. 394r45 407r55 407r65 414r47 414r57 418r63 418r73
305i7 Tree_Version_String_Len{19|62I12} 344m22 347r38 350r26
306i7 Ada_Version_Config_Val{19|62I12} 325m23 336r31
307i7 Ada_Version_Explicit_Config_Val{19|62I12} 326m23 338r31
308i7 Assertions_Enabled_Config_Val{19|62I12} 327m23 340r22
347a10 Tmp{string} 350m13 350r13 353r45
378a7 Version_String{string} 404r29 405r24 405r48
X 8 system.ads
37K9*System 6|46r6 46r26 47r6 47r26 7|33w6 33r19 351r10 8|156e11
71N4*Storage_Unit 7|38r21 357r64 364r56 394r55
X 15 s-string.ads
42K16*Strings 6|46w13 46r33 7|351r17 15|63e19
45P9*String_Access(string) 6|1497r19 2151r26
49U14*Free[3|20] 7|351s25 352s10
54A9*String_List(45P9)<integer> 6|1267r58
55P9*String_List_Access(54A9) 6|416r24 1267r32
X 17 s-wchcon.ads
41K16*WCh_Con 6|47w13 47r33 17|220e19
94I9*WC_Encoding_Method<short_short_integer> 6|1866r37
156i4*WCEM_Brackets{94I9} 6|1866r59
X 18 tree_io.ads
45K9*Tree_IO 7|34w6 34r19 18|128e12
50N4*ASIS_Version_Number 7|381r24
76U14*Tree_Read_Data 7|320s7 323s7 349s10 356s7 363s7 367s7
83U14*Tree_Read_Bool 7|313s7 314s7 315s7 317s7 318s7 322s7 328s7 329s7 330s7
. 333s7 358s7 359s7 360s7 362s7 365s7 366s7 369s7 370s7
87U14*Tree_Read_Char 7|316s7
91U14*Tree_Read_Int 7|311s7 319s7 325s7 326s7 327s7 331s7 332s7 344s7 361s7
108U14*Tree_Write_Data 7|390s7 393s7 405s7 406s7 413s7 417s7
112U14*Tree_Write_Bool 7|383s7 384s7 385s7 387s7 388s7 392s7 398s7 399s7
. 400s7 403s7 408s7 409s7 410s7 412s7 415s7 416s7 419s7 420s7
115U14*Tree_Write_Char 7|386s7
118U14*Tree_Write_Int 7|381s7 389s7 395s7 396s7 397s7 401s7 402s7 404s7 411s7
X 19 types.ads
52K9*Types 6|42w6 42r20 19|941e10
59I9*Int<integer> 6|445r26 465r25 471r29 785r21 790r44 791r44 792r44 963r31
. 1045r17 1055r23 1061r31 1067r29 1095r26 1202r25 1206r20 1463r19 2160r31
. 2315r36 7|331r23 332r23 401r24 402r24 404r24
62I12*Nat{59I9} 6|437r33 534r43 557r28 880r19 1394r24 1522r23 2318r27 7|305r41
. 306r41 307r41 308r41
113P9*String_Ptr(string) 6|162r23 168r22 180r20 211r26 710r28 731r26 1050r24
. 1160r28 1222r24 1228r27 1263r30 1327r24 1328r24 1383r31 1477r38 1484r39
. 2184r48
145I9*Text_Ptr<59I9>
213I12*Source_Ptr{145I9} 6|1028r26 1239r40 1297r26 1507r35
220i4*No_Location{213I12} 6|1028r40 1239r54 1297r40 1507r49
385I9*Node_Id<integer> 6|144r25 331r24 456r19 1113r30 1146r24 1378r24 1433r31
. 1439r25 1912r32 1942r31 1949r26 2050r31 2280r40 2284r40 2285r40 2301r40
400i4*Empty{385I9} 6|144r36 331r35 456r30 1113r41 1146r35 1378r35 1433r42
. 1439r36 1949r37 2050r42 7|215r41 250r41 252r41
756R9*Suppress_Record 6|1456r23 19|769e14