blob: 6cbbcf14c9171e735bd2625017727bde04c56621 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
-- { dg-do run }
with Wide_Boolean_Pkg; use Wide_Boolean_Pkg;
procedure Wide_Boolean is
R : TREC;
LB_TEST_BOOL : TBOOL;
begin
R.B := FALSE;
LB_TEST_BOOL := FALSE;
Modify (R.H, R.B);
if (R.B /= TRUE) then
raise Program_Error;
end if;
Modify (R.H, LB_TEST_BOOL);
R.B := LB_TEST_BOOL;
if (R.B /= TRUE) then
raise Program_Error;
end if;
end;
|