This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[Ada] Add leap seconds for 2015 and 2016
- From: Pierre-Marie de Rodat <derodat at adacore dot com>
- To: gcc-patches at gcc dot gnu dot org
- Cc: Hristian Kirtchev <kirtchev at adacore dot com>
- Date: Mon, 3 Dec 2018 10:52:32 -0500
- Subject: [Ada] Add leap seconds for 2015 and 2016
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.
--- 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);
---------
-- "+" --