gcc-4.9/gcc/testsuite/gnat.dg/wide_boolean.adb


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;