gcc/testsuite/gnat.dg/wide_boolean.adb

   1 -- { dg-do run }
   2
   3 with Wide_Boolean_Pkg; use Wide_Boolean_Pkg;
   4
   5 procedure Wide_Boolean is
   6
   7    R : TREC;
   8    LB_TEST_BOOL : TBOOL;
   9
  10 begin
  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
  26 end;