/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
|