diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/conv_real.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/conv_real.adb | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/conv_real.adb b/gcc/testsuite/gnat.dg/conv_real.adb new file mode 100644 index 000000000..99808e7ad --- /dev/null +++ b/gcc/testsuite/gnat.dg/conv_real.adb @@ -0,0 +1,18 @@ +-- { dg-do run } + +with Interfaces; use Interfaces; +procedure Conv_Real is + Small : constant := 10.0**(-9); + type Time_Type is delta Small range -2**63 * Small .. (2**63-1) * Small; + for Time_Type'Small use Small; + for Time_Type'Size use 64; + procedure Cache (Seconds_Per_GDS_Cycle : in Time_Type) is + Cycles_Per_Second : constant Time_Type := (1.0 / Seconds_Per_GDS_Cycle); + begin + if Integer_32 (Seconds_Per_GDS_Cycle * Cycles_Per_Second) /= 1 then + raise Program_Error; + end if; + end Cache; +begin + Cache (0.035); +end; |