This file is indexed.

/usr/lib/gcc-cross/arm-linux-gnueabi/5/adalib/gnatvsn/opt.ali is in libgnatvsn5-dev-armel-cross 5.5.0-12ubuntu1cross1.

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

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

U opt%b			opt.adb			ad82670c 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			b0eaa614 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		20070406091342 3ffc8e18 ada%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnatvsn.ads		20150106085906 aa00e04c gnatvsn%s
D hostparm.ads		20140801100131 a20ca6cf hostparm%s
D opt.ads		20150302110329 e5e8f770 opt%s
D opt.adb		20150220142606 34880176 opt%b
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-os_lib.ads		20150220113817 5853d835 system.os_lib%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads		20150220094550 fa0a3617 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		20140731130224 9d58a4c0 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		20150130153101 63969ace 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
41V13*Gnat_Version_String{string} 7|336s34
X 5 hostparm.ads
38K9*Hostparm 73e13 6|41w6 41r20
65b4*Tag_Errors{boolean} 6|1531r34
X 6 opt.ads
50K9*Opt 2239E9 2285l5 2285e8 7|36b14 381l5 381t8
90b4*Checksum_Accumulate_Token_Checksum{boolean}
96b4*Checksum_GNAT_6_3{boolean}
100b4*Checksum_GNAT_5_03{boolean}
115E9*Ada_Version_Type 115e65 116r20 122r35 128r18 138r27 146r26 1864r25
. 1877r34 2240r40 2241r40 7|294r9 296r9 353r24 354r24
115n30*Ada_83{115E9}
115n38*Ada_95{115E9}
115n46*Ada_2005{115E9}
115n56*Ada_2012{115E9} 122r55 146r46
122e4*Ada_Version_Default{115E9} 123r26 128r38 138r47
128e4*Ada_Version{115E9} 7|47r48 86m7 127r46 172m10 216m10
134i4*Ada_Version_Pragma{19|384I9} 7|48r48 87m7 128r46 173m10 217m10
138e4*Ada_Version_Explicit{115E9} 7|49r48 88m7 129r46 218m10
146e4*Ada_Version_Runtime{115E9} 7|172r41
151a4*Ada_Final_Suffix{string} 152r57
152p4*Ada_Final_Name{19|113P9}
157a4*Ada_Init_Suffix{string} 158r56
158p4*Ada_Init_Name{19|113P9}
163a4*Ada_Main_Name_Suffix{string} 170r55
170p4*Ada_Main_Name{19|113P9}
175b4*Address_Clause_Overlay_Warnings{boolean}
180b4*Address_Is_Private{boolean} 7|271m23 341r24
184b4*All_Errors_Mode{boolean} 7|286m23 356r24
190b4*Allow_Integer_Address{boolean}
196b4*All_Sources{boolean}
201p4*Alternate_Main_Name{19|113P9}
206b4*ASIS_Mode{boolean}
216b4*Assertions_Enabled{boolean} 7|50r48 89m7 130r46 196m13 203m16 205m16
. 219m10 287m23 357r24
223b4*Assume_No_Invalid_Values{boolean} 7|51r48 90m7 131r46 197m13 207m13
. 220m10
231b4*Back_Annotate_Rep_Info{boolean}
239b4*Back_End_Handles_Limited_Types{boolean}
249b4*Back_End_Inlining{boolean}
256b4*Bind_Alternate_Main_Name{boolean}
261b4*Bind_Main_Program{boolean}
265b4*Bind_For_Library{boolean}
270b4*Bind_Only{boolean}
275b4*Blank_Deleted_Lines{boolean}
280b4*Brief_Output{boolean} 7|272m23 342r24
285b4*Build_Bind_And_Link_Full_Project{boolean}
290b4*Check_Aliasing_Of_Parameters{boolean}
295b4*Check_Float_Overflow{boolean} 7|52r48 91m7 132r46 221m10 288m23 358r24
302b4*Check_Object_Consistency{boolean}
312b4*Check_Only{boolean}
316i4*Check_Policy_List{19|384I9} 7|53r48 92m7 133r46 198m13 208m13 222m10
. 289m28 289r28 359r29
325b4*Check_Readonly_Files{boolean}
329b4*Check_Source_Files{boolean}
336b4*Check_Switches{boolean}
340b4*Check_Unreferenced{boolean}
346b4*Check_Unreferenced_Formals{boolean}
351b4*Check_Validity_Of_Parameters{boolean}
356b4*Check_Withs{boolean}
362b4*CodePeer_Mode{boolean}
367b4*Commands_To_Stdout{boolean}
371b4*Comment_Deleted_Lines{boolean}
376a4*Compilation_Time{string}
380b4*Compile_Only{boolean}
388b4*Compiler_Unit{boolean}
397b4*Config_File{boolean}
401p4*Config_File_Names{15|55P9}
405b4*Configurable_Run_Time_Mode{boolean} 7|320m23 370r24
412b4*Constant_Condition_Warnings{boolean}
417b4*Create_Mapping_File{boolean}
422I12*Debug_Level_Value{19|62I12} 423r21
423i4*Debugger_Level{422I12}
428i4*Default_Exit_Status{19|59I9}
433b4*Debug_Generated_Code{boolean}
439i4*Default_Pool{19|384I9} 7|54r48 93m7 134r46 251m7 290m28 290r28 360r29
448i4*Default_Stack_Size{19|59I9}
454i4*Default_Sec_Stack_Size{19|59I9}
461e4*Default_SSO{character} 7|55r48 94m7 135r46 174m10 223m10
467b4*Detect_Blocking{boolean}
472b4*Directories_Must_Exist_In_Projects{boolean}
476b4*Display_Compilation_Progress{boolean}
481E9*Distribution_Stub_Mode_Type 490e33 494r29
483n7*No_Stubs{481E9} 494r60
486n7*Generate_Receiver_Stub_Body{481E9}
490n7*Generate_Caller_Stub_Body{481E9}
494e4*Distribution_Stub_Mode{481E9} 7|314m23 314r23 315r24 364m24 364r24
. 365r25
499b4*Do_Not_Execute{boolean}
503b4*Dump_Source_Text{boolean}
508b4*Dynamic_Elaboration_Checks{boolean} 7|56r48 95m7 136r46 175m10 224m10
513b4*Dynamic_Stack_Measurement{boolean}
517i4*Dynamic_Stack_Measurement_Array_Size{19|62I12}
524b4*Elab_Dependency_Output{boolean}
528b4*Elab_Order_Output{boolean}
532b4*Elab_Info_Messages{boolean}
536b4*Elab_Warnings{boolean}
540i4*Error_Msg_Line_Length{19|62I12}
549b4*Error_To_Warning{boolean}
556b4*Exception_Handler_Encountered{boolean}
562b4*Exception_Extra_Info{boolean}
568b4*Exception_Locations_Suppressed{boolean} 7|57r48 96m7 137r46 252m7
573E9*Exception_Mechanism_Type 582e27 587r26 589r26
576n7*Front_End_Setjmp_Longjmp_Exceptions{573E9} 590r28
582n7*Back_End_Exceptions{573E9}
589e4*Exception_Mechanism{573E9}
596b4*Exception_Tracebacks{boolean}
600b4*Extensions_Allowed{boolean} 7|58r48 97m7 138r46 176m10 225m10
605E9*External_Casing_Type 608e16 610r31 619r31 1939r38 1950r38 2252r40 2253r40
606n6*As_Is{605E9} 619r55 7|177r41
607n6*Uppercase{605E9}
608n6*Lowercase{605E9} 610r55 7|178r41
610e4*External_Name_Imp_Casing{605E9} 7|60r48 99m7 140r46 178m10 227m10
619e4*External_Name_Exp_Casing{605E9} 7|59r48 98m7 139r46 177m10 226m10
632b4*External_Unit_Compilation_Allowed{boolean}
637b4*Fast_Math{boolean} 7|61r48 100m7 141r46 228m10 253m7
642b4*Force_ALI_Tree_File{boolean} 7|328m23 378r24
647b4*Disable_ALI_File{boolean}
651b4*Follow_Links_For_Files{boolean}
659b4*Follow_Links_For_Dirs{boolean}
665b4*Force_Checking_Of_Elaboration_Flags{boolean}
670b4*Force_Compilations{boolean}
674b4*Front_End_Inlining{boolean}
681b4*Full_Path_Name_For_Brief_Errors{boolean}
687b4*Full_List{boolean} 7|291m23 361r24
691p4*Full_List_File_Name{19|113P9}
697b4*Generate_CodePeer_Messages{boolean}
702b4*Generate_Processed_File{boolean}
707b4*Generate_SCIL{boolean}
711b4*Generate_SCO{boolean}
717b4*Generate_SCO_Instance_Table{boolean}
722b4*Generating_Code{boolean}
727E9*Ghost_Mode_Type 727e49 731r17
727n29*None{727E9} 731r36
727n35*Check{727E9}
727n42*Ignore{727E9}
731e4*Ghost_Mode{727E9}
735b4*Global_Discard_Names{boolean}
740i4*GNAT_Encodings{19|59I9} 741m22 741r22
747i4*DWARF_GNAT_Encodings_All{19|59I9}
748i4*DWARF_GNAT_Encodings_GDB{19|59I9}
749i4*DWARF_GNAT_Encodings_Minimal{19|59I9}
751e4*Identifier_Character_Set{character} 7|274m23 344r24
774b4*Ignore_Pragma_SPARK_Mode{boolean}
780b4*Ignore_Rep_Clauses{boolean} 7|275m23 345r24
786b4*Ignore_Style_Checks_Pragmas{boolean} 7|276m23 346r24
791b4*Ignore_Unrecognized_VWY_Switches{boolean}
797b4*Implementation_Unit_Warnings{boolean}
802b4*Implicit_Packing{boolean}
808b4*Ineffective_Inline_Warnings{boolean}
816b4*Init_Or_Norm_Scalars{boolean} 7|118m7 246m10
821b4*Initialize_Scalars{boolean} 7|62r48 101m7 118r31 142r46 229m10 246r34
826e4*Initialize_Scalars_Mode1{character}
827e4*Initialize_Scalars_Mode2{character}
832b4*Inline_Active{boolean} 7|316m23 366r24
837i4*Inline_Level{19|62I12}
844b4*Interface_Library_Unit{boolean}
850b4*Invalid_Value_Used{boolean}
854b4*Inline_Processing_Required{boolean} 7|317m23 367r24
860b4*In_Place_Mode{boolean}
866b4*Keep_Going{boolean}
871b4*Keep_Temporary_Files{boolean}
876b4*Leap_Seconds_Support{boolean}
881b4*Link_Only{boolean}
886b4*List_Body_Required_Info{boolean}
891b4*List_Inherited_Aspects{boolean}
897b4*List_Restrictions{boolean}
901b4*List_Units{boolean} 7|318m23 368r24
905b4*List_Closure{boolean}
909b4*List_Closure_All{boolean}
914b4*List_Dependencies{boolean}
920i4*List_Representation_Info{19|59I9}
930b4*List_Representation_Info_To_File{boolean}
937b4*List_Representation_Info_Mechanisms{boolean}
942b4*List_Preprocessing_Symbols{boolean}
948P9*Create_Repinfo_File_Proc 948>55 953r33
948a55 Src{string}
949P9*Write_Repinfo_Line_Proc 949>55 954r33
949a55 Info{string}
950P9*Close_Repinfo_File_Proc 955r33
953p4*Create_Repinfo_File_Access{948P9}
954p4*Write_Repinfo_Line_Access{949P9}
955p4*Close_Repinfo_File_Access{950P9}
963P9*Create_List_File_Proc 963>52 968r30
963a52 S{string}
964P9*Write_List_Info_Proc 964>52 969r30
964a52 S{string}
965P9*Close_List_File_Proc 970r30
968p4*Create_List_File_Access{963P9}
969p4*Write_List_Info_Access{964P9}
970p4*Close_List_File_Access{965P9}
979e4*Locking_Policy{character}
985i4*Locking_Policy_Sloc{19|212I12}
991b4*Look_In_Primary_Dir{boolean}
997b4*Make_Steps{boolean}
1002i4*Main_Index{19|59I9}
1007p4*Mapping_File_Name{19|113P9}
1012i4*Maximum_Messages{19|59I9}
1018i4*Maximum_File_Name_Length{19|59I9} 7|277m23 347r24
1024i4*Maximum_Instantiations{19|59I9}
1030i4*Maximum_Processes{positive}
1035b4*Minimal_Recompilation{boolean}
1039b4*Modify_Tree_For_C{boolean}
1046i4*Multiple_Unit_Index{19|59I9} 7|319m23 369r24
1054b4*No_Backup{boolean}
1058b4*No_Deletion{boolean}
1064i4*No_Elab_Code_All_Pragma{19|384I9}
1069b4*No_Main_Subprogram{boolean}
1074b4*No_Run_Time_Mode{boolean}
1079b4*No_Split_Units{boolean}
1085b4*No_Stdinc{boolean}
1089b4*No_Stdlib{boolean}
1093b4*No_Strict_Aliasing{boolean}
1097i4*No_Tagged_Streams{19|384I9}
1102b4*Normalize_Scalars{boolean} 7|118r53 246r56
1107b4*Object_Directory_Present{boolean}
1111p4*Object_Path_File_Name{19|113P9}
1116b4*One_Compilation_Per_Obj_Dir{boolean}
1122E9*Operating_Mode_Type 1122e78 1123r20 1124r21 1147r30
1122n33*Check_Syntax{1122E9}
1122n47*Check_Semantics{1122E9}
1122n64*Generate_Code{1122E9} 1124r44 1147r53
1124e4*Operating_Mode{1122E9} 7|321m23 321r23 322r24 371m24 371r24 372r25
1135e4*Optimize_Alignment{character} 7|63r48 102m7 143r46 179m10 230m10 254m7
1139b4*Optimize_Alignment_Local{boolean} 7|77m7 103m7 144r46 184m10 231m10
1147e4*Original_Operating_Mode{1122E9}
1153i4*Optimization_Level{19|59I9} 1154m22 1154r22
1159i4*Optimize_Size{19|59I9} 1160m22 1160r22
1165b4*Output_File_Name_Present{boolean}
1171b4*Output_Linker_Option_List{boolean}
1175b4*Output_ALI_List{boolean}
1176p4*ALI_List_Filename{19|113P9}
1181b4*Output_Object_List{boolean}
1182p4*Object_List_Filename{19|113P9}
1187e4*Partition_Elaboration_Policy{character}
1193i4*Partition_Elaboration_Policy_Sloc{19|212I12}
1199b4*Persistent_BSS_Mode{boolean} 7|64r48 104m7 145r46 180m10 232m10
1204b4*Pessimistic_Elab_Order{boolean}
1208b4*Polling_Required{boolean} 7|65r48 105m7 146r46 255m7
1213b4*Prefix_Exception_Messages{boolean} 7|66r48 106m7 147r46 181m10 233m10
1217p4*Preprocessing_Data_File{19|113P9}
1221p4*Preprocessing_Symbol_Defs{15|55P9}
1226i4*Preprocessing_Symbol_Last{natural}
1229b4*Print_Generated_Code{boolean}
1234b4*Print_Standard{boolean}
1239E9*Usage 1239e47 1240r26
1239n19*Unknown{1239E9} 1240r35
1239n28*Not_In_Use{1239E9}
1239n40*In_Use{1239E9}
1240e4*Project_File_In_Use{1239E9}
1245e4*Queuing_Policy{character}
1251i4*Queuing_Policy_Sloc{19|212I12}
1257b4*Quiet_Output{boolean}
1262b4*Overriding_Renamings{boolean}
1267b4*Relaxed_RM_Semantics{boolean}
1277b4*Replace_In_Comments{boolean}
1281p4*RTS_Lib_Path_Name{19|113P9}
1282p4*RTS_Src_Path_Name{19|113P9}
1287b4*RTS_Switch{boolean}
1291b4*Run_Path_Option{boolean}
1295b4*Search_Directory_Present{boolean}
1304b4*Sec_Stack_Used{boolean}
1309b4*Setup_Projects{boolean}
1314b4*Shared_Libgnat{boolean}
1320b4*Short_Circuit_And_Or{boolean}
1324E9*SPARK_Mode_Type 1324e43 1328r17 2008r24 2262r40
1324n29*None{1324E9} 1328r36 2008r43 7|209r41
1324n35*Off{1324E9}
1324n40*On{1324E9}
1328e4*SPARK_Mode{1324E9} 7|67r48 107m7 148r46 199m13 209m13 234m10
1332i4*SPARK_Mode_Pragma{19|384I9} 7|68r48 108m7 149r46 200m13 210m13 235m10
1337p4*SPARK_Switches_File_Name{19|113P9}
1342b4*Special_Exception_Package_Used{boolean}
1348i4*Sprint_Line_Limit{19|62I12}
1353b4*Stack_Checking_Enabled{boolean}
1359b4*Style_Check{boolean}
1366b4*Style_Check_Main{boolean}
1373b4*Disable_FE_Inline{boolean}
1374b4*Disable_FE_Inline_Always{boolean}
1382b4*Suppress_Control_Flow_Optimizations{boolean}
1387i4*System_Extend_Pragma_Arg{19|384I9}
1393i4*System_Extend_Unit{19|384I9}
1401b4*Subunits_Missing{boolean}
1406b4*Suppress_Checks{boolean} 7|323m23 373r24
1410r4*Suppress_Options{19|753R9} 7|278m23 278r23 279r24 348m24 348r24 349r25
1417i4*Table_Factor{19|59I9}
1425b4*Tagged_Type_Expansion{boolean}
1432p4*Target_Dependent_Info_Read_Name{19|113P9}
1439p4*Target_Dependent_Info_Write_Name{19|113P9}
1446E9*Origin_Of_Target 1446e58 1448r20
1446n30*Unknown{1446E9} 1448r40
1446n39*Default{1446E9}
1446n48*Specified{1446E9}
1448e4*Target_Origin{1446E9}
1452p4*Target_Value{15|45P9}
1456e4*Task_Dispatching_Policy{character}
1462i4*Task_Dispatching_Policy_Sloc{19|212I12}
1468b4*Tasking_Used{boolean}
1472b4*Time_Slice_Set{boolean}
1477i4*Time_Slice_Value{19|62I12}
1485b4*Tolerate_Consistency_Errors{boolean}
1490b4*Treat_Categorization_Errors_As_Warnings{boolean}
1497b4*Treat_Restrictions_As_Warnings{boolean}
1502b4*Tree_Output{boolean}
1506b4*Try_Semantics{boolean} 7|324m23 374r24
1513b4*Unchecked_Shared_Lib_Imports{boolean}
1519b4*Undefined_Symbols_Are_False{boolean}
1525e4*Uneval_Old{character} 7|69r48 109m7 150r46 182m10 236m10
1531b4*Unique_Error_Tag{boolean}
1536b4*Unnest_Subprogram_Mode{boolean}
1540b4*Universal_Addressing_On_AAMP{boolean}
1547b4*Unreserve_All_Interrupts{boolean}
1553b4*Upper_Half_Encoding{boolean} 7|327m23 377r24
1561b4*Use_Include_Path_File{boolean}
1566b4*Usage_Requested{boolean}
1571b4*Use_Pragma_Linker_Constructor{boolean}
1575b4*Use_VADS_Size{boolean} 7|70r48 110m7 151r46 183m10 237m10
1579b4*Validity_Checks_On{boolean}
1590b4*Verbose_Mode{boolean} 7|280m23 350r24
1596E9*Verbosity_Level_Type 1596e58 1597r20 1598r22
1596n34*None{1596E9}
1596n40*Low{1596E9}
1596n45*Medium{1596E9}
1596n53*High{1596E9} 1598r46
1598e4*Verbosity_Level{1596E9}
1612b4*Warn_On_Ada_2005_Compatibility{boolean}
1618b4*Warn_On_Ada_2012_Compatibility{boolean}
1624b4*Warn_On_All_Unread_Out_Parameters{boolean}
1631b4*Warn_On_Assertion_Failure{boolean}
1636b4*Warn_On_Assumed_Low_Bound{boolean}
1642b4*Warn_On_Atomic_Synchronization{boolean}
1647b4*Warn_On_Bad_Fixed_Value{boolean}
1653b4*Warn_On_Biased_Representation{boolean}
1659b4*Warn_On_Constant{boolean}
1664b4*Warn_On_Deleted_Code{boolean}
1670b4*Warn_On_Dereference{boolean}
1675b4*Warn_On_Export_Import{boolean}
1680b4*Warn_On_Elab_Access{boolean}
1687b4*Warn_On_Hiding{boolean}
1693b4*Warn_On_Modified_Unread{boolean}
1701b4*Warn_On_No_Value_Assigned{boolean}
1708b4*Warn_On_Non_Local_Exception{boolean}
1718b4*No_Warn_On_Non_Local_Exception{boolean}
1724b4*Warn_On_Object_Renames_Function{boolean}
1730b4*Warn_On_Obsolescent_Feature{boolean}
1736b4*Warn_On_Overlap{boolean}
1743b4*Warn_On_Questionable_Missing_Parens{boolean}
1749b4*Warn_On_Parameter_Order{boolean}
1755b4*Warn_On_Redundant_Constructs{boolean}
1761b4*Warn_On_Reverse_Bit_Order{boolean}
1767b4*Warn_On_Suspicious_Contract{boolean}
1775b4*Warn_On_Suspicious_Modulus_Value{boolean}
1780b4*Warn_On_Unchecked_Conversion{boolean}
1786b4*Warn_On_Unordered_Enumeration_Type{boolean}
1793b4*Warn_On_Unrecognized_Pragma{boolean}
1798b4*Warn_On_Unrepped_Components{boolean}
1804b4*Warn_On_Warnings_Off{boolean}
1813E9*Warning_Mode_Type 1813e64 1814r19
1813n31*Suppress{1813E9}
1813n41*Normal{1813E9} 1814r40
1813n49*Treat_As_Error{1813E9}
1814e4*Warning_Mode{1813E9} 7|281m23 281r23 282r24 351m24 351r24 352r25
1824i4*Warnings_As_Errors_Count{natural} 7|71r48 111m7 152r46 238m10
1828i4*Wide_Character_Encoding_Method{17|94I9} 7|325m23 325r23 326r24 375m24
. 375r24 376r25
1840b4*Wide_Character_Encoding_Method_Specified{boolean}
1845b4*Xref_Active{boolean}
1849b4*Zero_Formatting{boolean}
1864e4*Ada_Version_Config{115E9} 7|47m7 216r41 293m7 353r46
1874i4*Ada_Version_Pragma_Config{19|384I9} 7|48m7 217r41
1877e4*Ada_Version_Explicit_Config{115E9} 7|49m7 218r41 295m7 354r46
1884b4*Assertions_Enabled_Config{boolean} 7|50m7 196r41 203r41 219r41 297m7
. 355r37
1890b4*Assume_No_Invalid_Values_Config{boolean} 7|51m7 197r41 220r41
1897b4*Check_Float_Overflow_Config{boolean} 7|52m7 221r41
1904i4*Check_Policy_List_Config{19|384I9} 7|53m7 198r41 222r41
1911i4*Default_Pool_Config{19|384I9} 7|54m7 251r41
1916e4*Default_SSO_Config{character} 7|55m7 223r41
1922b4*Dynamic_Elaboration_Checks_Config{boolean} 7|56m7 224r41
1927b4*Exception_Locations_Suppressed_Config{boolean} 7|57m7 252r41
1931b4*Extensions_Allowed_Config{boolean} 7|58m7 225r41
1939e4*External_Name_Exp_Casing_Config{605E9} 7|59m7 226r41
1950e4*External_Name_Imp_Casing_Config{605E9} 7|60m7 227r41
1961b4*Fast_Math_Config{boolean} 7|61m7 228r41 253r41
1968b4*Initialize_Scalars_Config{boolean} 7|62m7 229r41
1975b4*No_Exit_Message{boolean}
1980e4*Optimize_Alignment_Config{character} 7|63m7 230r41 254r41
1988b4*Persistent_BSS_Mode_Config{boolean} 7|64m7 232r41
1997b4*Polling_Required_Config{boolean} 7|65m7 255r41
2005b4*Prefix_Exception_Messages_Config{boolean} 7|66m7 233r41
2008e4*SPARK_Mode_Config{1324E9} 7|67m7 199r41 234r41
2012i4*SPARK_Mode_Pragma_Config{19|384I9} 7|68m7 200r41 235r41
2016e4*Uneval_Old_Config{character} 7|69m7 236r41
2020b4*Use_VADS_Size_Config{boolean} 7|70m7 237r41
2030i4*Warnings_As_Errors_Count_Config{natural} 7|71m7 238r41
2034R9*Config_Switches_Type 2037r51 2054r50 2239c9 2267e14 7|84r50 125r51
2037U14*Save_Opt_Config_Switches 2037<40 7|125b14 153l8 153t32
2037r40 Save{2034R9} 7|125b40 127m7 128m7 129m7 130m7 131m7 132m7 133m7 134m7
. 135m7 136m7 137m7 138m7 139m7 140m7 141m7 142m7 143m7 144m7 145m7 146m7
. 147m7 148m7 149m7 150m7 151m7 152m7
2042U14*Set_Opt_Config_Switches 2043>7 2044>7 7|159b14 256l8 256t31
2043b7 Internal_Unit{boolean} 7|160b7 166r10
2044b7 Main_Unit{boolean} 7|161b7 195r13
2054U14*Restore_Opt_Config_Switches 2054>43 7|84b14 119l8 119t35
2054r43 Save{2034R9} 7|84b43 86r41 87r41 88r41 89r41 90r41 91r41 92r41 93r41
. 94r41 95r41 96r41 97r41 98r41 99r41 100r41 101r41 102r41 103r41 104r41
. 105r41 106r41 107r41 108r41 109r41 110r41 111r41
2058U14*Register_Opt_Config_Switches 7|45b14 78l8 78t36
2068b4*Expander_Active{boolean}
2078b4*Static_Dispatch_Tables{boolean}
2094U14*Tree_Read 7|262b14 329l8 329t17
2097U14*Tree_Write 7|335b14 379l8 379t18
2113p4*Tree_Version_String{15|45P9} 7|309m31 309r31 310m16 310r16 311m10
2122i4*Tree_ASIS_Version_Number{19|59I9} 7|269m23
2130b4*GNATprove_Mode{boolean}
2146a4*Warnings_As_Errors(19|113P9)
2157b4*GNAT_Mode{boolean} 7|273m23 343r24
2161b4*GNAT_Mode_Config{boolean} 7|202r16
2240e7*Ada_Version{115E9} 7|86r46 127m12
2241e7*Ada_Version_Explicit{115E9} 7|88r46 129m12
2242i7*Ada_Version_Pragma{19|384I9} 7|87r46 128m12
2243b7*Assertions_Enabled{boolean} 7|89r46 130m12
2244b7*Assume_No_Invalid_Values{boolean} 7|90r46 131m12
2245b7*Check_Float_Overflow{boolean} 7|91r46 132m12
2246i7*Check_Policy_List{19|384I9} 7|92r46 133m12
2247i7*Default_Pool{19|384I9} 7|93r46 134m12
2248e7*Default_SSO{character} 7|94r46 135m12
2249b7*Dynamic_Elaboration_Checks{boolean} 7|95r46 136m12
2250b7*Exception_Locations_Suppressed{boolean} 7|96r46 137m12
2251b7*Extensions_Allowed{boolean} 7|97r46 138m12
2252e7*External_Name_Exp_Casing{605E9} 7|98r46 139m12
2253e7*External_Name_Imp_Casing{605E9} 7|99r46 140m12
2254b7*Fast_Math{boolean} 7|100r46 141m12
2255b7*Initialize_Scalars{boolean} 7|101r46 142m12
2256b7*Normalize_Scalars{boolean}
2257e7*Optimize_Alignment{character} 7|102r46 143m12
2258b7*Optimize_Alignment_Local{boolean} 7|103r46 144m12
2259b7*Persistent_BSS_Mode{boolean} 7|104r46 145m12
2260b7*Polling_Required{boolean} 7|105r46 146m12
2261b7*Prefix_Exception_Messages{boolean} 7|106r46 147m12
2262e7*SPARK_Mode{1324E9} 7|107r46 148m12
2263i7*SPARK_Mode_Pragma{19|384I9} 7|108r46 149m12
2264e7*Uneval_Old{character} 7|109r46 150m12
2265b7*Use_VADS_Size{boolean} 7|110r46 151m12
2266i7*Warnings_As_Errors_Count{natural} 7|111r46 152m12
2277V13 get_gcc_version{19|59I9} 2278b<c,get_gcc_version>22 2280s34
2280i4 GCC_Version{19|62I12}
X 7 opt.adb
38N4 SU 279r48 279r58 282r44 282r54 315r54 322r46 326r62 326r72 349r49 349r59
. 352r45 365r55 365r65 372r47 372r57 376r63 376r73
263i7 Tree_Version_String_Len{19|62I12} 302m22 305r38 308r26
264i7 Ada_Version_Config_Val{19|62I12} 283m23 294r31
265i7 Ada_Version_Explicit_Config_Val{19|62I12} 284m23 296r31
266i7 Assertions_Enabled_Config_Val{19|62I12} 285m23 298r22
305a10 Tmp{string} 308m13 308r13 311r45
336a7 Version_String{string} 362r29 363r24 363r48
X 8 system.ads
37K9*System 6|46r6 46r26 47r6 47r26 7|33w6 33r19 309r10 8|154e11
71N4*Storage_Unit 7|38r21 315r64 322r56 352r55
X 15 s-string.ads
42K16*Strings 6|46w13 46r33 7|309r17 15|63e19
45P9*String_Access(string) 6|1452r19 2113r26
49U14*Free[3|20] 7|309s25 310s10
54A9*String_List(45P9)<integer> 6|1221r58
55P9*String_List_Access(54A9) 6|401r24 1221r32
X 17 s-wchcon.ads
41K16*WCh_Con 6|47w13 47r33 17|220e19
94I9*WC_Encoding_Method<short_short_integer> 6|1828r37
156i4*WCEM_Brackets{94I9} 6|1828r59
X 18 tree_io.ads
45K9*Tree_IO 7|34w6 34r19 18|128e12
50N4*ASIS_Version_Number 7|339r24
76U14*Tree_Read_Data 7|278s7 281s7 307s10 314s7 321s7 325s7
83U14*Tree_Read_Bool 7|271s7 272s7 273s7 275s7 276s7 280s7 286s7 287s7 288s7
. 291s7 316s7 317s7 318s7 320s7 323s7 324s7 327s7 328s7
87U14*Tree_Read_Char 7|274s7
91U14*Tree_Read_Int 7|269s7 277s7 283s7 284s7 285s7 289s7 290s7 302s7 319s7
108U14*Tree_Write_Data 7|348s7 351s7 363s7 364s7 371s7 375s7
112U14*Tree_Write_Bool 7|341s7 342s7 343s7 345s7 346s7 350s7 356s7 357s7
. 358s7 361s7 366s7 367s7 368s7 370s7 373s7 374s7 377s7 378s7
115U14*Tree_Write_Char 7|344s7
118U14*Tree_Write_Int 7|339s7 347s7 353s7 354s7 355s7 359s7 360s7 362s7 369s7
X 19 types.ads
52K9*Types 6|42w6 42r20 19|942e10
59I9*Int<integer> 6|428r26 448r25 454r29 740r21 747r44 748r44 749r44 920r31
. 1002r17 1012r23 1018r31 1024r29 1046r26 1153r25 1159r20 1417r19 2122r31
. 2277r36 7|289r23 290r23 359r24 360r24 362r24
62I12*Nat{59I9} 6|422r33 517r43 540r28 837r19 1348r24 1477r23 2280r27 7|263r41
. 264r41 265r41 266r41
113P9*String_Ptr(string) 6|152r23 158r22 170r20 201r26 691r26 1007r24 1111r28
. 1176r24 1182r27 1217r30 1281r24 1282r24 1337r31 1432r38 1439r39 2146r48
144I9*Text_Ptr<59I9>
212I12*Source_Ptr{144I9} 6|985r26 1193r40 1251r26 1462r35
219i4*No_Location{212I12} 6|985r40 1193r54 1251r40 1462r49
384I9*Node_Id<integer> 6|134r25 316r24 439r19 1064r30 1097r24 1332r24 1387r31
. 1393r25 1874r32 1904r31 1911r26 2012r31 2242r40 2246r40 2247r40 2263r40
399i4*Empty{384I9} 6|134r36 316r35 439r30 1064r41 1097r35 1332r35 1387r42
. 1393r36 1911r37 2012r42 7|173r41 208r41 210r41
753R9*Suppress_Record 6|1410r23 19|766e14