a-reatim.ads: Makes Seconds_Count into a 64-bit integer, to accommodate all its possible values.

	* a-reatim.ads: Makes Seconds_Count into a 64-bit integer,
	to accommodate all its possible values.

	* a-reatim.adb (Split): Special-case handling of Time_Span_First
	and of small absolute values of T.

From-SVN: r46660

gcc/ada/ChangeLog

+2001-10-30  Ed Schonberg <schonber@gnat.com>
+
+	* a-reatim.ads: Makes Seconds_Count into a 64-bit integer, 
+	to accommodate all its possible values. 
+
+	* a-reatim.adb (Split): Special-case handling of Time_Span_First 
+	and of small absolute values of T.
+
 2001-10-30  Richard Kenner <kenner@gnat.com>
 
 	* misc.c (gnat_expand_expr, case NULL_EXPR): Remove call to 

gcc/ada/a-reatim.adb

@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 B o d y                                  --
 --                                                                          --
---                            $Revision: 1.34 $
+--                            $Revision$
 --                                                                          --
 --            Copyright (C) 1991-2001, Florida State University             --
 --                                                                          --
@@ -159,17 +159,33 @@ package body Ada.Real_Time is
    -----------
 
    procedure Split (T : Time; SC : out Seconds_Count; TS : out Time_Span) is
+      T_Val : Time;
+
    begin
-      --  Extract the integer part of T
+      --  Special-case for Time_First, whose absolute value is anomalous,
+      --  courtesy of two's complement.
+
+      if T = Time_First then
+         T_Val := abs (Time_Last);
+      else
+         T_Val := abs (T);
+      end if;
+
+      --  Extract the integer part of T, truncating towards zero.
+
+      if T_Val < 0.5 then
+            SC := 0;
 
-      if T = 0.0 then
-         SC := 0;
       else
-         SC := Seconds_Count (Time_Span'(T - 0.5));
+         SC := Seconds_Count (Time_Span' (T_Val - 0.5));
+      end if;
+
+      if T < 0.0 then
+         SC := -SC;
       end if;
 
-      --  Since we loose precision when converting a time value to float,
-      --  we need to add this check
+      --  If original time is negative, need to truncate towards negative
+      --  infinity, to make TS non-negative, as per ARM.
 
       if Time (SC) > T then
          SC := SC - 1;

gcc/ada/a-reatim.ads

@@ -6,9 +6,9 @@
 --                                                                          --
 --                                  S p e c                                 --
 --                                                                          --
---                             $Revision: 1.24 $                            --
+--                             $Revision$
 --                                                                          --
---          Copyright (C) 1992-1998 Free Software Foundation, Inc.          --
+--          Copyright (C) 1992-2001 Free Software Foundation, Inc.          --
 --                                                                          --
 -- This specification is derived from the Ada Reference Manual for use with --
 -- GNAT. The copyright notice above, and the license provisions that follow --
@@ -88,7 +88,11 @@ package Ada.Real_Time is
    function Microseconds (US : Integer) return Time_Span;
    function Milliseconds (MS : Integer) return Time_Span;
 
-   type Seconds_Count is new Integer range -Integer'Last .. Integer'Last;
+   --  With duration represented as a 64-bit number with a delta of
+   --  10 ** (-9), the number of seconds in Duration'Last does not fit
+   --  in 32 bits.
+
+   type Seconds_Count is  range -2 ** 63 .. 2 ** 63 - 1;
 
    procedure Split (T : Time; SC : out Seconds_Count; TS : out Time_Span);
    function Time_Of (SC : Seconds_Count; TS : Time_Span) return Time;