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