1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_IMPLEMENTATION_PRAGMAS 16RV SPARK_05 17 18U system.rident%s s-rident.ads 96de574c NE OL PR PK GE 19W system%s system.ads system.ali 20 21D system.ads 20190108095404 c631886f system%s 22D s-rident.ads 20190108095404 50efdf23 system.rident%s 23X 1 system.ads 2437K9*System 148e11 2|75r9 643r5 25X 2 s-rident.ads 2675k16*Rident 1|37k9 2|643l12 643e18 2785E9*Restriction_Id 225e28 230r29 231r29 232r29 233r29 234r29 235r29 237r32 28. 241r40 260r6 265r6 2991n7*Simple_Barriers{85E9} 230r52 238r6 242r6 246r6 537r28 631r28 3092n7*Pure_Barriers{85E9} 579r28 3193n7*No_Abort_Statements{85E9} 438r28 469r28 511r28 555r28 605r28 3294n7*No_Access_Parameter_Allocators{85E9} 3395n7*No_Access_Subprograms{85E9} 3496n7*No_Allocators{85E9} 3597n7*No_Anonymous_Allocators{85E9} 3698n7*No_Asynchronous_Control{85E9} 439r28 470r28 512r28 556r28 606r28 3799n7*No_Calendar{85E9} 530r28 624r28 38100n7*No_Coextensions{85E9} 39101n7*No_Default_Stream_Attributes{85E9} 40102n7*No_Delay{85E9} 41103n7*No_Direct_Boolean_Operators{85E9} 42104n7*No_Dispatch{85E9} 43105n7*No_Dispatching_Calls{85E9} 44106n7*No_Dynamic_Attachment{85E9} 232r52 440r28 471r28 513r28 557r28 607r28 45107n7*No_Dynamic_Priorities{85E9} 441r28 472r28 514r28 558r28 608r28 46108n7*No_Enumeration_Maps{85E9} 47109n7*No_Entry_Calls_In_Elaboration_Code{85E9} 48110n7*No_Entry_Queue{85E9} 473r28 515r28 609r28 49111n7*No_Exception_Handlers{85E9} 50112n7*No_Exception_Propagation{85E9} 51113n7*No_Exception_Registration{85E9} 52114n7*No_Exceptions{85E9} 53115n7*No_Finalization{85E9} 54116n7*No_Fixed_IO{85E9} 55117n7*No_Fixed_Point{85E9} 56118n7*No_Floating_Point{85E9} 57119n7*No_IO{85E9} 58120n7*No_Implicit_Conditionals{85E9} 59121n7*No_Implicit_Dynamic_Code{85E9} 60122n7*No_Implicit_Heap_Allocations{85E9} 531r28 625r28 61123n7*No_Implicit_Task_Allocations{85E9} 572r28 62124n7*No_Implicit_Protected_Object_Allocations{85E9} 573r28 63125n7*No_Initialize_Scalars{85E9} 64126n7*No_Local_Allocators{85E9} 65127n7*No_Local_Timing_Events{85E9} 532r28 575r28 626r28 66128n7*No_Local_Protected_Objects{85E9} 442r28 474r28 516r28 559r28 610r28 67129n7*No_Long_Long_Integers{85E9} 68130n7*No_Multiple_Elaboration{85E9} 69131n7*No_Nested_Finalization{85E9} 70132n7*No_Protected_Type_Allocators{85E9} 443r28 475r28 517r28 560r28 611r28 71133n7*No_Protected_Types{85E9} 72134n7*No_Recursion{85E9} 73135n7*No_Reentrancy{85E9} 74136n7*No_Relative_Delay{85E9} 533r28 627r28 75137n7*No_Requeue_Statements{85E9} 233r52 444r28 476r28 518r28 561r28 612r28 76138n7*No_Secondary_Stack{85E9} 77139n7*No_Select_Statements{85E9} 534r28 576r28 628r28 78140n7*No_Specific_Termination_Handlers{85E9} 535r28 577r28 629r28 79141n7*No_Standard_Allocators_After_Elaboration{85E9} 80142n7*No_Standard_Storage_Pools{85E9} 81143n7*No_Stream_Optimizations{85E9} 82144n7*No_Streams{85E9} 83145n7*No_Task_Allocators{85E9} 445r28 477r28 519r28 562r28 613r28 84146n7*No_Task_Attributes_Package{85E9} 234r52 446r28 478r28 520r28 563r28 85. 614r28 86147n7*No_Task_At_Interrupt_Priority{85E9} 87148n7*No_Task_Hierarchy{85E9} 447r28 479r28 521r28 564r28 615r28 88149n7*No_Task_Termination{85E9} 536r28 578r28 630r28 89150n7*No_Tasking{85E9} 90151n7*No_Terminate_Alternatives{85E9} 448r28 480r28 522r28 565r28 616r28 91152n7*No_Unchecked_Access{85E9} 92153n7*No_Unchecked_Conversion{85E9} 93154n7*No_Unchecked_Deallocation{85E9} 94155n7*Static_Priorities{85E9} 95156n7*Static_Storage_Size{85E9} 246r25 96161n7*No_Default_Initialization{85E9} 97173n7*Immediate_Reclamation{85E9} 253r6 98174n7*No_Dynamic_Sized_Objects{85E9} 99175n7*No_Implementation_Aspect_Specifications{85E9} 419r28 100176n7*No_Implementation_Attributes{85E9} 420r28 101177n7*No_Implementation_Identifiers{85E9} 421r28 102178n7*No_Implementation_Pragmas{85E9} 422r28 103179n7*No_Implementation_Restrictions{85E9} 104180n7*No_Implementation_Units{85E9} 423r28 105181n7*No_Implicit_Aliasing{85E9} 106182n7*No_Implicit_Loops{85E9} 107183n7*No_Elaboration_Code{85E9} 108184n7*No_Obsolescent_Features{85E9} 109185n7*No_Wide_Characters{85E9} 110186n7*Static_Dispatch_Tables{85E9} 111187n7*SPARK_05{85E9} 235r52 242r25 253r31 112191n7*No_Specification_Of_Aspect{85E9} 261r8 113192n7*No_Use_Of_Attribute{85E9} 114193n7*No_Use_Of_Pragma{85E9} 115201n7*Max_Protected_Entries{85E9} 266r8 271r8 278r8 292r8 482r28 491r28 524r28 116. 544r28 618r28 638r28 117202n7*Max_Select_Alternatives{85E9} 450r28 458r28 483r28 492r28 525r28 545r28 118. 567r28 586r28 619r28 639r28 119203n7*Max_Task_Entries{85E9} 278r33 451r28 459r28 484r28 493r28 526r28 546r28 120. 568r28 587r28 620r28 640r28 121211n7*Max_Tasks{85E9} 285r8 285r21 292r33 122218n7*Max_Asynchronous_Select_Nesting{85E9} 298r8 449r28 457r28 481r28 490r28 123. 523r28 543r28 566r28 585r28 617r28 637r28 124219n7*Max_Entry_Queue_Length{85E9} 231r52 271r33 298r43 125223n7*Max_Storage_At_Blocking{85E9} 238r25 261r38 266r33 305r8 305r35 126225n7*Not_A_Restriction_Id{85E9} 127230e4*Boolean_Entry_Barriers=230:52{85E9} 128231e4*Max_Entry_Queue_Depth=231:52{85E9} 129232e4*No_Dynamic_Interrupts=232:52{85E9} 130233e4*No_Requeue=233:52{85E9} 131234e4*No_Task_Attributes=234:52{85E9} 132235e4*SPARK=235:52{85E9} 133237E12*All_Restrictions{85E9} 318r38 134241E12*All_Boolean_Restrictions{85E9} 245r46 252r42 135245E12*Partition_Boolean_Restrictions{241E12} 136252E12*Cunit_Boolean_Restrictions{241E12} 137259E12*All_Parameter_Restrictions{85E9} 270r6 304r6 319r38 320r38 138264E12*Integer_Parameter_Restrictions{85E9} 139269E12*Checked_Parameter_Restrictions{259E12} 277r6 284r6 291r6 297r6 140276E12*Checked_Max_Parameter_Restrictions{269E12} 141283E12*Checked_Add_Parameter_Restrictions{269E12} 142290E12*Checked_Val_Parameter_Restrictions{269E12} 143296E12*Checked_Zero_Parameter_Restrictions{269E12} 144303E12*Unchecked_Parameter_Restrictions{259E12} 145318A9*Restriction_Flags(boolean)<85E9> 323r13 336r18 399r13 146319A9*Restriction_Values(natural)<85E9> 329r15 341r15 406r15 147320A9*Parameter_Flags(boolean)<85E9> 349r17 148322R9*Restrictions_Info 361e14 363r31 149323a7 Set{318A9} 364m7 150329a7 Value{319A9} 365m7 151336a7 Violated{318A9} 366m7 152341a7 Count{319A9} 367m7 153349a7 Unknown{320A9} 368m7 154363r4*No_Restrictions{322R9} 155379E9*Profile_Name 386e26 394r35 395r44 156380n7*No_Profile{379E9} 157381n7*No_Implementation_Extensions{379E9} 395r12 416r22 158382n7*Restricted_Tasking{379E9} 433r22 159383n7*Restricted{379E9} 464r22 160384n7*Ravenscar{379E9} 506r22 161385n7*GNAT_Extended_Ravenscar{379E9} 549r22 162386n7*GNAT_Ravenscar_EDF{379E9} 600r22 163394E12*Profile_Name_Actual{379E9} 412r35 164398R9*Profile_Data 410e14 412r59 165399a7 Set{318A9} 418m25 437m25 468m25 510m25 554m25 604m25 166406a7 Value{319A9} 428m25 456m25 489m25 542m25 584m25 636m25 167412a4*Profile_Info(398R9) 168 169