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