V "GNAT Lib v8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=pentium
A -march=pentium
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.rident%s	s-rident.ads		77adb181 NE OL PR PK GE
W system%s		system.ads		system.ali

D system.ads		20180111105526 27426ea2 system%s
D s-rident.ads		20180111105526 50efdf23 system.rident%s
X 1 system.ads
37K9*System 148e11 2|75r9 643r5
X 2 s-rident.ads
75k16*Rident 1|37k9 2|643l12 643e18
85E9*Restriction_Id 225e28 230r29 231r29 232r29 233r29 234r29 235r29 237r32
. 241r40 260r6 265r6
91n7*Simple_Barriers{85E9} 230r52 238r6 242r6 246r6 537r28 631r28
92n7*Pure_Barriers{85E9} 579r28
93n7*No_Abort_Statements{85E9} 438r28 469r28 511r28 555r28 605r28
94n7*No_Access_Parameter_Allocators{85E9}
95n7*No_Access_Subprograms{85E9}
96n7*No_Allocators{85E9}
97n7*No_Anonymous_Allocators{85E9}
98n7*No_Asynchronous_Control{85E9} 439r28 470r28 512r28 556r28 606r28
99n7*No_Calendar{85E9} 530r28 624r28
100n7*No_Coextensions{85E9}
101n7*No_Default_Stream_Attributes{85E9}
102n7*No_Delay{85E9}
103n7*No_Direct_Boolean_Operators{85E9}
104n7*No_Dispatch{85E9}
105n7*No_Dispatching_Calls{85E9}
106n7*No_Dynamic_Attachment{85E9} 232r52 440r28 471r28 513r28 557r28 607r28
107n7*No_Dynamic_Priorities{85E9} 441r28 472r28 514r28 558r28 608r28
108n7*No_Enumeration_Maps{85E9}
109n7*No_Entry_Calls_In_Elaboration_Code{85E9}
110n7*No_Entry_Queue{85E9} 473r28 515r28 609r28
111n7*No_Exception_Handlers{85E9}
112n7*No_Exception_Propagation{85E9}
113n7*No_Exception_Registration{85E9}
114n7*No_Exceptions{85E9}
115n7*No_Finalization{85E9}
116n7*No_Fixed_IO{85E9}
117n7*No_Fixed_Point{85E9}
118n7*No_Floating_Point{85E9}
119n7*No_IO{85E9}
120n7*No_Implicit_Conditionals{85E9}
121n7*No_Implicit_Dynamic_Code{85E9}
122n7*No_Implicit_Heap_Allocations{85E9} 531r28 625r28
123n7*No_Implicit_Task_Allocations{85E9} 572r28
124n7*No_Implicit_Protected_Object_Allocations{85E9} 573r28
125n7*No_Initialize_Scalars{85E9}
126n7*No_Local_Allocators{85E9}
127n7*No_Local_Timing_Events{85E9} 532r28 575r28 626r28
128n7*No_Local_Protected_Objects{85E9} 442r28 474r28 516r28 559r28 610r28
129n7*No_Long_Long_Integers{85E9}
130n7*No_Multiple_Elaboration{85E9}
131n7*No_Nested_Finalization{85E9}
132n7*No_Protected_Type_Allocators{85E9} 443r28 475r28 517r28 560r28 611r28
133n7*No_Protected_Types{85E9}
134n7*No_Recursion{85E9}
135n7*No_Reentrancy{85E9}
136n7*No_Relative_Delay{85E9} 533r28 627r28
137n7*No_Requeue_Statements{85E9} 233r52 444r28 476r28 518r28 561r28 612r28
138n7*No_Secondary_Stack{85E9}
139n7*No_Select_Statements{85E9} 534r28 576r28 628r28
140n7*No_Specific_Termination_Handlers{85E9} 535r28 577r28 629r28
141n7*No_Standard_Allocators_After_Elaboration{85E9}
142n7*No_Standard_Storage_Pools{85E9}
143n7*No_Stream_Optimizations{85E9}
144n7*No_Streams{85E9}
145n7*No_Task_Allocators{85E9} 445r28 477r28 519r28 562r28 613r28
146n7*No_Task_Attributes_Package{85E9} 234r52 446r28 478r28 520r28 563r28
. 614r28
147n7*No_Task_At_Interrupt_Priority{85E9}
148n7*No_Task_Hierarchy{85E9} 447r28 479r28 521r28 564r28 615r28
149n7*No_Task_Termination{85E9} 536r28 578r28 630r28
150n7*No_Tasking{85E9}
151n7*No_Terminate_Alternatives{85E9} 448r28 480r28 522r28 565r28 616r28
152n7*No_Unchecked_Access{85E9}
153n7*No_Unchecked_Conversion{85E9}
154n7*No_Unchecked_Deallocation{85E9}
155n7*Static_Priorities{85E9}
156n7*Static_Storage_Size{85E9} 246r25
161n7*No_Default_Initialization{85E9}
173n7*Immediate_Reclamation{85E9} 253r6
174n7*No_Dynamic_Sized_Objects{85E9}
175n7*No_Implementation_Aspect_Specifications{85E9} 419r28
176n7*No_Implementation_Attributes{85E9} 420r28
177n7*No_Implementation_Identifiers{85E9} 421r28
178n7*No_Implementation_Pragmas{85E9} 422r28
179n7*No_Implementation_Restrictions{85E9}
180n7*No_Implementation_Units{85E9} 423r28
181n7*No_Implicit_Aliasing{85E9}
182n7*No_Implicit_Loops{85E9}
183n7*No_Elaboration_Code{85E9}
184n7*No_Obsolescent_Features{85E9}
185n7*No_Wide_Characters{85E9}
186n7*Static_Dispatch_Tables{85E9}
187n7*SPARK_05{85E9} 235r52 242r25 253r31
191n7*No_Specification_Of_Aspect{85E9} 261r8
192n7*No_Use_Of_Attribute{85E9}
193n7*No_Use_Of_Pragma{85E9}
201n7*Max_Protected_Entries{85E9} 266r8 271r8 278r8 292r8 482r28 491r28 524r28
. 544r28 618r28 638r28
202n7*Max_Select_Alternatives{85E9} 450r28 458r28 483r28 492r28 525r28 545r28
. 567r28 586r28 619r28 639r28
203n7*Max_Task_Entries{85E9} 278r33 451r28 459r28 484r28 493r28 526r28 546r28
. 568r28 587r28 620r28 640r28
211n7*Max_Tasks{85E9} 285r8 285r21 292r33
218n7*Max_Asynchronous_Select_Nesting{85E9} 298r8 449r28 457r28 481r28 490r28
. 523r28 543r28 566r28 585r28 617r28 637r28
219n7*Max_Entry_Queue_Length{85E9} 231r52 271r33 298r43
223n7*Max_Storage_At_Blocking{85E9} 238r25 261r38 266r33 305r8 305r35
225n7*Not_A_Restriction_Id{85E9}
230e4*Boolean_Entry_Barriers=230:52{85E9}
231e4*Max_Entry_Queue_Depth=231:52{85E9}
232e4*No_Dynamic_Interrupts=232:52{85E9}
233e4*No_Requeue=233:52{85E9}
234e4*No_Task_Attributes=234:52{85E9}
235e4*SPARK=235:52{85E9}
237E12*All_Restrictions{85E9} 318r38
241E12*All_Boolean_Restrictions{85E9} 245r46 252r42
245E12*Partition_Boolean_Restrictions{241E12}
252E12*Cunit_Boolean_Restrictions{241E12}
259E12*All_Parameter_Restrictions{85E9} 270r6 304r6 319r38 320r38
264E12*Integer_Parameter_Restrictions{85E9}
269E12*Checked_Parameter_Restrictions{259E12} 277r6 284r6 291r6 297r6
276E12*Checked_Max_Parameter_Restrictions{269E12}
283E12*Checked_Add_Parameter_Restrictions{269E12}
290E12*Checked_Val_Parameter_Restrictions{269E12}
296E12*Checked_Zero_Parameter_Restrictions{269E12}
303E12*Unchecked_Parameter_Restrictions{259E12}
318A9*Restriction_Flags(boolean)<85E9> 323r13 336r18 399r13
319A9*Restriction_Values(natural)<85E9> 329r15 341r15 406r15
320A9*Parameter_Flags(boolean)<85E9> 349r17
322R9*Restrictions_Info 361e14 363r31
323a7 Set{318A9} 364m7
329a7 Value{319A9} 365m7
336a7 Violated{318A9} 366m7
341a7 Count{319A9} 367m7
349a7 Unknown{320A9} 368m7
363r4*No_Restrictions{322R9}
379E9*Profile_Name 386e26 394r35 395r44
380n7*No_Profile{379E9}
381n7*No_Implementation_Extensions{379E9} 395r12 416r22
382n7*Restricted_Tasking{379E9} 433r22
383n7*Restricted{379E9} 464r22
384n7*Ravenscar{379E9} 506r22
385n7*GNAT_Extended_Ravenscar{379E9} 549r22
386n7*GNAT_Ravenscar_EDF{379E9} 600r22
394E12*Profile_Name_Actual{379E9} 412r35
398R9*Profile_Data 410e14 412r59
399a7 Set{318A9} 418m25 437m25 468m25 510m25 554m25 604m25
406a7 Value{319A9} 428m25 456m25 489m25 542m25 584m25 636m25
412a4*Profile_Info(398R9)