diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/wide_boolean.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/wide_boolean.adb | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/wide_boolean.adb b/gcc/testsuite/gnat.dg/wide_boolean.adb new file mode 100644 index 000000000..6cbbcf14c --- /dev/null +++ b/gcc/testsuite/gnat.dg/wide_boolean.adb @@ -0,0 +1,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; |