[Ada] Add leap seconds for 2015 and 2016
authorHristian Kirtchev <kirtchev@adacore.com>
Mon, 3 Dec 2018 15:49:42 +0000 (15:49 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 3 Dec 2018 15:49:42 +0000 (15:49 +0000)
The following patch updates Ada.Calendar and helper utility Xleaps to
include the leap seconds for years 2015 and 2016.

2018-12-03  Hristian Kirtchev  <kirtchev@adacore.com>

gcc/ada/

* libgnat/a-calend.adb: Update the number of leap seconds. Add
the hard time values for year 2015 and 2016.

From-SVN: r266757

gcc/ada/ChangeLog
gcc/ada/libgnat/a-calend.adb

index 73627f0..0736bb3 100644 (file)
@@ -1,3 +1,8 @@
+2018-12-03  Hristian Kirtchev  <kirtchev@adacore.com>
+
+       * libgnat/a-calend.adb: Update the number of leap seconds. Add
+       the hard time values for year 2015 and 2016.
+
 2018-12-03  Gary Dismukes  <dismukes@adacore.com>
 
        * exp_ch3.adb, libgnarl/s-taasde.adb, libgnarl/s-taenca.adb,
index 8bf5e7a..d585b7a 100644 (file)
@@ -38,7 +38,6 @@ with System.OS_Primitives;
 package body Ada.Calendar with
   SPARK_Mode => Off
 is
-
    --------------------------
    -- Implementation Notes --
    --------------------------
@@ -157,7 +156,7 @@ is
    Leap_Support : constant Boolean := (Flag = 1);
    --  Flag to controls the usage of leap seconds in all Ada.Calendar routines
 
-   Leap_Seconds_Count : constant Natural := 25;
+   Leap_Seconds_Count : constant Natural := 27;
 
    ---------------------
    -- Local Constants --
@@ -236,7 +235,9 @@ is
       -4765132779000000000,
       -4544207978000000000,
       -4449513577000000000,
-      -4339180776000000000);
+      -4339180776000000000,
+      -4244572775000000000,
+      -4197052774000000000);
 
    ---------
    -- "+" --