2 -- { dg-options "-gnato -O" }
4 with Interfaces
; use Interfaces
;
8 procedure Shift_Left_Bool
10 U8
: out Interfaces
.Unsigned_8
)
13 U8
:= Shift_Left
(Boolean'Pos (Bool
), 6);
16 procedure Shift_Left_Not_Bool
18 U8
: out Interfaces
.Unsigned_8
)
21 U8
:= Shift_Left
(Boolean'Pos (not Bool
), 6);
22 end Shift_Left_Not_Bool
;
24 Bool
: constant Boolean := True;
25 Byte1
, Byte2
: Interfaces
.Unsigned_8
;
29 Shift_Left_Bool
(Bool
, Byte1
);
31 Shift_Left_Not_Bool
(Bool
, Byte2
);
33 if Byte1
+ Byte2
/= 64 then