diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/overflow_fixed.adb')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/overflow_fixed.adb | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/overflow_fixed.adb b/gcc-4.9/gcc/testsuite/gnat.dg/overflow_fixed.adb new file mode 100644 index 000000000..6ece51523 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/overflow_fixed.adb @@ -0,0 +1,19 @@ +-- { dg-do run } +-- { dg-options "-gnato -O" } + +procedure Overflow_Fixed is + + type Unsigned_8_Bit is mod 2**8; + + procedure Fixed_To_Eight (Value : Duration) is + Item : Unsigned_8_Bit; + begin + Item := Unsigned_8_Bit(Value); + raise Program_Error; + exception + when Constraint_Error => null; -- expected case + end; + +begin + Fixed_To_Eight (-0.5); +end; |