ada: Fix rounding test with odd bases

The test as currently written is incorrect for odd bases.

gcc/ada/ChangeLog:

	* libgnat/s-valuer.adb (Round_Extra): Use multiplicative test.

diff --git a/gcc/ada/libgnat/s-valuer.adb b/gcc/ada/libgnat/s-valuer.adb
index 6f557e93207979ed1c1227ec0175b8bb75dc596a..93e292cc34f47237360935cc13940c3542701f5b 100644 (file)
--- a/gcc/ada/libgnat/s-valuer.adb
+++ b/gcc/ada/libgnat/s-valuer.adb
@@ -135,7 +135,9 @@ package body System.Value_R is
       B : constant Uns := Uns (Base);
 
    begin
-      if Digit >= Base / 2 then
+      --  Beware that Base may be odd
+
+      if 2 * Unsigned (Digit) >= Base then
 
          --  If Extra is maximum, round Value