MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_DISPATCHING_CALLS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_ELABORATION_CODE
RV SPARK

U ada.synchronous_barriers%b  a-synbar.adb	056ab70e NE OL PK
W ada%s			ada.ads			ada.ali
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali

U ada.synchronous_barriers%s  a-synbar.ads	060ad920 EE OL PF PR PK
W ada%s			ada.ads			ada.ali
W ada.finalization%s	a-finali.adb		a-finali.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W interfaces%s		interfac.ads		interfac.ali
W interfaces.c%s	i-c.adb			i-c.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-synbar.ads		20121213103024 af1f0ba9
D a-synbar.adb		20121213103024 fe54ad3c
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-c.ads		20121213103024 5421119b
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 5|39r14 42r9 77r10 84r5 6|40r14 109r5
X 3 a-finali.ads
40K13*Finalization 73e21 5|39w18 77r14
55H9*Limited_Controlled 71e55 5|77r27
X 5 a-synbar.ads
42K13*Synchronous_Barriers 1|16k9 5|43r25 84l9 84e29 6|40b18 109l9 109t29
45I12*Barrier_Limit{positive} 47r50 76r50
47R9*Synchronous_Barrier 47d30 51r28 76c9 80e19 82r54 83r54 6|69r52 76r54
. 91r28
47i30 Release_Threshold{45I12} 76r30 6|82r39
50U14*Wait_For_Release 51=7 52<7 6|90b14 107l8 107t24
51r7 The_Barrier{47R9} 6|91b7 102m21 102r21
52b7 Notified{boolean} 6|92b7 106m7
57N4 SIZEOF_PTHREAD_BARRIER_T 69r53
63E9 pthread_barrier_t_view 63e60 65r35
63n36 size_based{63E9} 65r61 68r18
63n48 align_based{63E9} 70r18
65R9 pthread_barrier_t 65d28 73e17 74r28 79r36 6|47r33 56r33 61r33
65e28*Kind{63E9} 67r15
69a16*size{10|79A9}
71i16*align{10|37I9}
79r12*POSIX_Barrier{65R9} 6|72m50 80m29 102m33
82U25 Initialize<3|58p14> 82=37 6|76b25 84l8 84t18
82r37 Barrier{47R9} 6|76b37 80m21 80r21 82r31
83U25 Finalize<3|59p14> 83=37 6|69b25 74l8 74t16
83r37 Barrier{47R9} 6|69b35 72m42 72r42
X 6 a-synbar.adb
46V13 pthread_barrier_init{10|35I9} 47^7 48>7 49>7 50b<c,pthread_barrier_init>22
. 79s17
47p7 barrier(5|65R9) 80r10
48m7 attr{11|64M9} 81r10
49m7 count{10|43M9} 82r10
55V13 pthread_barrier_destroy{10|35I9} 56^7 57b<c,pthread_barrier_destroy>22
. 72s17
56p7 barrier(5|65R9)
60V13 pthread_barrier_wait{10|35I9} 61^7 62b<c,pthread_barrier_wait>22 101s17
61p7 barrier(5|65R9) 102r10
70i7 Result{10|35I9} 72m7 73r22
77i7 Result{10|35I9} 79m7 83r22
94i7 Result{10|35I9} 101m7 104r10 104r29 106r20
96N7 PTHREAD_BARRIER_SERIAL_THREAD 104r38 106r29
X 9 interfac.ads
36K9*Interfaces 5|40r14 69r23 71r24 6|38r6 38r24 9|175e15
X 10 i-c.ads
18K20*C 5|40w25 69r34 71r35 6|38w17 38r35 10|230e17
35I9*int<integer> 6|49r34 56r59 61r59 70r16 77r16 94r16
37I9*long<long_integer> 5|71r37
43M9*unsigned 6|49r17 82r21
72E9*char<character>
79A9*char_array(72E9)<60M9> 5|69r36
X 11 system.ads
37K9*System 5|38w6 58r10 6|48r17 48r35 81r21 11|152e11
64M9*Address 6|48r24
66m4*Null_Address{64M9} 6|48r42 81r28
69N4*Word_Size 5|58r17