[Ada] Prevent crash in Put_Scaled

This patch fixes a bug in Put_Scaled, which causes a crash when checks
are on.

2019-08-12  Bob Duff  <duff@adacore.com>

gcc/ada/

	* libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
	negative, since Field is range 0 .. something.

From-SVN: r274300

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1bf7e6da5d3ba75dc89479067dd17e28e78ed4dd..97f3141463913321a9363c1c72a4ad84c4a2ff56 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-12  Bob Duff  <duff@adacore.com>
+
+       * libgnat/a-tifiio.adb (Put_Scaled): Prevent AA from being
+       negative, since Field is range 0 .. something.
+
 2019-08-12  Bob Duff  <duff@adacore.com>
 
        * doc/gnat_ugn/gnat_utility_programs.rst (gnatmetric, gnatpp,

diff --git a/gcc/ada/libgnat/a-tifiio.adb b/gcc/ada/libgnat/a-tifiio.adb
index 1c817ea8a24621daad71b96a403c93a9d9d485c4..d0486460ecdd6ab09328bb77ad9ba894caefcea7 100644 (file)
--- a/gcc/ada/libgnat/a-tifiio.adb
+++ b/gcc/ada/libgnat/a-tifiio.adb
@@ -560,7 +560,7 @@ package body Ada.Text_IO.Fixed_IO is
          E       : Integer)
       is
          pragma Assert (E >= -Max_Digits);
-         AA : constant Field := E + A;
+         AA : constant Field := Integer'Max (E + A, 0);
          N  : constant Natural := (AA + Max_Digits - 1) / Max_Digits + 1;
 
          Q  : array (0 .. N - 1) of Int64 := (others => 0);