diff mbox series

[Ada] Add leap seconds for 2015 and 2016

Message ID 20181203155232.GA28534@adacore.com
State New
Headers show
Series [Ada] Add leap seconds for 2015 and 2016 | expand

Commit Message

Pierre-Marie de Rodat Dec. 3, 2018, 3:52 p.m. UTC 
The following patch updates Ada.Calendar and helper utility Xleaps to
include the leap seconds for years 2015 and 2016.

Tested on x86_64-pc-linux-gnu, committed on trunk

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.
diff mbox series

Patch

--- gcc/ada/libgnat/a-calend.adb
+++ gcc/ada/libgnat/a-calend.adb
@@ -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);
 
    ---------
    -- "+" --