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

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U system.rident%s	s-rident.ads		57fc5ca1 NE OL PR PK GE
W system%s		system.ads		system.ali

D system.ads		20151123113124 57e20cd7 system%s
D s-rident.ads		20151113130851 001e5076 system.rident%s
X 1 system.ads
37K9*System 148e11 2|75r9 558r5
X 2 s-rident.ads
75k16*Rident 1|37k9 2|558l12 558e18
85E9*Restriction_Id 224e28 229r29 230r29 231r29 232r29 233r29 234r29 236r32
. 240r40 259r6 264r6
91n7*Simple_Barriers{85E9} 229r52 237r6 241r6 245r6 500r28
92n7*No_Abort_Statements{85E9} 432r28 474r28 518r28
93n7*No_Access_Parameter_Allocators{85E9}
94n7*No_Access_Subprograms{85E9}
95n7*No_Allocators{85E9}
96n7*No_Anonymous_Allocators{85E9}
97n7*No_Asynchronous_Control{85E9} 433r28 475r28 519r28
98n7*No_Calendar{85E9} 493r28 537r28
99n7*No_Coextensions{85E9}
100n7*No_Default_Stream_Attributes{85E9}
101n7*No_Delay{85E9}
102n7*No_Direct_Boolean_Operators{85E9}
103n7*No_Dispatch{85E9}
104n7*No_Dispatching_Calls{85E9}
105n7*No_Dynamic_Attachment{85E9} 231r52 434r28 476r28 520r28
106n7*No_Dynamic_Priorities{85E9} 435r28 477r28 521r28
107n7*No_Enumeration_Maps{85E9}
108n7*No_Entry_Calls_In_Elaboration_Code{85E9}
109n7*No_Entry_Queue{85E9} 436r28 478r28 522r28
110n7*No_Exception_Handlers{85E9}
111n7*No_Exception_Propagation{85E9}
112n7*No_Exception_Registration{85E9}
113n7*No_Exceptions{85E9}
114n7*No_Finalization{85E9}
115n7*No_Fixed_IO{85E9}
116n7*No_Fixed_Point{85E9}
117n7*No_Floating_Point{85E9}
118n7*No_IO{85E9}
119n7*No_Implicit_Conditionals{85E9}
120n7*No_Implicit_Dynamic_Code{85E9}
121n7*No_Implicit_Heap_Allocations{85E9} 494r28
122n7*No_Implicit_Task_Allocations{85E9} 538r28
123n7*No_Implicit_Protected_Object_Allocations{85E9} 539r28
124n7*No_Implicit_Loops{85E9}
125n7*No_Initialize_Scalars{85E9}
126n7*No_Local_Allocators{85E9}
127n7*No_Local_Timing_Events{85E9} 495r28 541r28
128n7*No_Local_Protected_Objects{85E9} 437r28 479r28 523r28
129n7*No_Long_Long_Integers{85E9}
130n7*No_Multiple_Elaboration{85E9}
131n7*No_Nested_Finalization{85E9}
132n7*No_Protected_Type_Allocators{85E9} 438r28 480r28 524r28
133n7*No_Protected_Types{85E9}
134n7*No_Recursion{85E9}
135n7*No_Reentrancy{85E9}
136n7*No_Relative_Delay{85E9} 496r28 542r28
137n7*No_Requeue_Statements{85E9} 232r52 439r28 481r28 525r28
138n7*No_Secondary_Stack{85E9}
139n7*No_Select_Statements{85E9} 497r28 543r28
140n7*No_Specific_Termination_Handlers{85E9} 498r28 544r28
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} 440r28 482r28 526r28
146n7*No_Task_Attributes_Package{85E9} 233r52 441r28 483r28 527r28
147n7*No_Task_At_Interrupt_Priority{85E9}
148n7*No_Task_Hierarchy{85E9} 442r28 484r28 528r28
149n7*No_Task_Termination{85E9} 499r28 545r28
150n7*No_Tasking{85E9}
151n7*No_Terminate_Alternatives{85E9} 443r28 485r28 529r28
152n7*No_Unchecked_Access{85E9}
153n7*No_Unchecked_Conversion{85E9}
154n7*No_Unchecked_Deallocation{85E9}
155n7*Static_Priorities{85E9}
156n7*Static_Storage_Size{85E9} 245r25
161n7*No_Default_Initialization{85E9}
173n7*Immediate_Reclamation{85E9} 252r6
174n7*No_Dynamic_Sized_Objects{85E9}
175n7*No_Implementation_Aspect_Specifications{85E9} 413r28
176n7*No_Implementation_Attributes{85E9} 414r28
177n7*No_Implementation_Identifiers{85E9} 415r28
178n7*No_Implementation_Pragmas{85E9} 416r28
179n7*No_Implementation_Restrictions{85E9}
180n7*No_Implementation_Units{85E9} 417r28
181n7*No_Implicit_Aliasing{85E9}
182n7*No_Elaboration_Code{85E9}
183n7*No_Obsolescent_Features{85E9}
184n7*No_Wide_Characters{85E9}
185n7*Pure_Barriers{85E9} 546r28
186n7*SPARK_05{85E9} 234r52 241r25 252r31
190n7*No_Specification_Of_Aspect{85E9} 260r8
191n7*No_Use_Of_Attribute{85E9}
192n7*No_Use_Of_Pragma{85E9}
200n7*Max_Protected_Entries{85E9} 265r8 270r8 277r8 291r8 445r28 454r28 487r28
. 507r28 531r28 553r28
201n7*Max_Select_Alternatives{85E9} 446r28 455r28 488r28 508r28 532r28 554r28
202n7*Max_Task_Entries{85E9} 277r33 447r28 456r28 489r28 509r28 533r28 555r28
210n7*Max_Tasks{85E9} 284r8 284r21 291r33
217n7*Max_Asynchronous_Select_Nesting{85E9} 297r8 444r28 453r28 486r28 506r28
. 530r28 552r28
218n7*Max_Entry_Queue_Length{85E9} 230r52 270r33 297r43
222n7*Max_Storage_At_Blocking{85E9} 237r25 260r38 265r33 304r8 304r35
224n7*Not_A_Restriction_Id{85E9}
229e4*Boolean_Entry_Barriers=229:52{85E9}
230e4*Max_Entry_Queue_Depth=230:52{85E9}
231e4*No_Dynamic_Interrupts=231:52{85E9}
232e4*No_Requeue=232:52{85E9}
233e4*No_Task_Attributes=233:52{85E9}
234e4*SPARK=234:52{85E9}
236E12*All_Restrictions{85E9} 317r38
240E12*All_Boolean_Restrictions{85E9} 244r46 251r42
244E12*Partition_Boolean_Restrictions{240E12}
251E12*Cunit_Boolean_Restrictions{240E12}
258E12*All_Parameter_Restrictions{85E9} 269r6 303r6 318r38 319r38
263E12*Integer_Parameter_Restrictions{85E9}
268E12*Checked_Parameter_Restrictions{258E12} 276r6 283r6 290r6 296r6
275E12*Checked_Max_Parameter_Restrictions{268E12}
282E12*Checked_Add_Parameter_Restrictions{268E12}
289E12*Checked_Val_Parameter_Restrictions{268E12}
295E12*Checked_Zero_Parameter_Restrictions{268E12}
302E12*Unchecked_Parameter_Restrictions{258E12}
317A9*Restriction_Flags(boolean)<85E9> 322r13 335r18 393r13
318A9*Restriction_Values(natural)<85E9> 328r15 340r15 400r15
319A9*Parameter_Flags(boolean)<85E9> 348r17
321R9*Restrictions_Info 360e14 362r31
322a7 Set{317A9} 363m7
328a7 Value{318A9} 364m7
335a7 Violated{317A9} 365m7
340a7 Count{318A9} 366m7
348a7 Unknown{319A9} 367m7
362r4*No_Restrictions{321R9}
378E9*Profile_Name 383e18 388r35
379n7*No_Profile{378E9}
380n7*No_Implementation_Extensions{378E9} 389r12 410r22
381n7*Ravenscar{378E9} 469r22
382n7*GNAT_Extended_Ravenscar{378E9} 512r22
383n7*Restricted{378E9} 389r44 427r22
388E12*Profile_Name_Actual{378E9} 406r35
392R9*Profile_Data 404e14 406r59
393a7 Set{317A9} 412m25 431m25 473m25 517m25
400a7 Value{318A9} 422m25 452m25 505m25 551m25
406a4*Profile_Info(392R9)

