-- { 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;