summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/wide_boolean.adb
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;