2 -- { dg-options "-O -gnatp" }
4 with Volatile11_Pkg
; use Volatile11_Pkg
;
6 procedure Volatile11
is
9 Bit1
: Boolean := false;
10 pragma Volatile
(Bit1
);
11 Bit2
: Boolean := false;
12 pragma Volatile
(Bit2
);
13 Bit3
: Boolean := false;
14 pragma Volatile
(Bit3
);
15 Bit4
: Boolean := false;
16 pragma Volatile
(Bit4
);
17 Bit5
: Boolean := false;
18 pragma Volatile
(Bit5
);
19 Bit6
: Boolean := false;
20 pragma Volatile
(Bit6
);
21 Bit7
: Boolean := false;
22 pragma Volatile
(Bit7
);
23 Bit8
: Boolean := false;
24 pragma Volatile
(Bit8
);
27 Bit_Test
(Input
=> Value
,
37 -- Check that F is invoked before Bit_Test