diff options
Diffstat (limited to 'gcc/ada/libgnat/s-arit64.adb')
| -rw-r--r-- | gcc/ada/libgnat/s-arit64.adb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/libgnat/s-arit64.adb b/gcc/ada/libgnat/s-arit64.adb index 62f7f42..a60e0bb 100644 --- a/gcc/ada/libgnat/s-arit64.adb +++ b/gcc/ada/libgnat/s-arit64.adb @@ -28,6 +28,7 @@ -- Extensive contributions were provided by Ada Core Technologies Inc. -- -- -- ------------------------------------------------------------------------------ +pragma Assertion_Policy (Ghost => Ignore); with System.Arith_Double; @@ -51,6 +52,9 @@ is function Multiply_With_Ovflo_Check64 (X, Y : Int64) return Int64 renames Impl.Multiply_With_Ovflo_Check; + function Round_Quotient (X, Y, Q, R : Big_Integer) return Big_Integer + renames Impl.Round_Quotient; + procedure Scaled_Divide64 (X, Y, Z : Int64; Q, R : out Int64; |