File: get_leap_second_info.pass.cpp

package info (click to toggle)
llvm-toolchain-20 1%3A20.1.6-1~exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,111,304 kB
  • sloc: cpp: 7,438,677; ansic: 1,393,822; asm: 1,012,926; python: 241,650; f90: 86,635; objc: 75,479; lisp: 42,144; pascal: 17,286; sh: 10,027; ml: 5,082; perl: 4,730; awk: 3,523; makefile: 3,349; javascript: 2,251; xml: 892; fortran: 672
file content (128 lines) | stat: -rw-r--r-- 6,246 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

// UNSUPPORTED: c++03, c++11, c++14, c++17
// UNSUPPORTED: no-filesystem, no-localization, no-tzdb

// XFAIL: libcpp-has-no-experimental-tzdb
// XFAIL: availability-tzdb-missing

// <chrono>
//
// class utc_clock;

// template<class Duration>
// leap_second_info get_leap_second_info(const utc_time<Duration>& ut);

#include <chrono>
#include <cassert>

#include "test_macros.h"
#include "assert_macros.h"
#include "concat_macros.h"

template <class Duration>
static void test_leap_second_info(
    std::chrono::time_point<std::chrono::utc_clock, Duration> time, bool is_leap_second, std::chrono::seconds elapsed) {
  std::chrono::leap_second_info result = std::chrono::get_leap_second_info(time);
  TEST_REQUIRE(
      result.is_leap_second == is_leap_second && result.elapsed == elapsed,
      TEST_WRITE_CONCATENATED(
          "\nExpected output [",
          is_leap_second,
          ", ",
          elapsed,
          "]\nActual output   [",
          result.is_leap_second,
          ", ",
          result.elapsed,
          "]\n"));
}

static std::chrono::utc_seconds get_utc_time(long long seconds_since_1900) {
  // The file leap-seconds.list stores dates since 1 January 1900, 00:00:00, we want
  // seconds since 1 January 1970.
  constexpr auto offset =
      std::chrono::sys_days{std::chrono::January / 1 / 1970} - std::chrono::sys_days{std::chrono::January / 1 / 1900};
  return std::chrono::utc_seconds{std::chrono::seconds{seconds_since_1900} - offset};
}

// Tests set of existing database entries at the time of writing.
int main(int, const char**) {
  using namespace std::literals::chrono_literals;

  test_leap_second_info(std::chrono::utc_seconds::min(), false, 0s);

  // Epoch transition no transitions.
  test_leap_second_info(std::chrono::utc_seconds{-1s}, false, 0s);
  test_leap_second_info(std::chrono::utc_seconds{0s}, false, 0s);
  test_leap_second_info(std::chrono::utc_seconds{1s}, false, 0s);

  // Transitions from the start of UTC.
  auto test_transition = [](std::chrono::utc_seconds time, std::chrono::seconds elapsed, bool positive) {
    // Note at the time of writing all leap seconds are positive so the else
    // branch is never executed. The private test for this function tests
    // negative leap seconds and uses the else branch.

    if (positive) {
      // Every transition has the following tests
      // - 1ns before the start of the transition is_leap_second -> false, elapsed -> elapsed
      // -         at the start of the transition is_leap_second -> true,  elapsed -> elapsed + 1
      // - 1ns after  the start of the transition is_leap_second -> true,  elapsed -> elapsed + 1
      // - 1ns before the end   of the transition is_leap_second -> true,  elapsed -> elapsed + 1
      // -         at the end   of the transition is_leap_second -> false, elapsed -> elapsed + 1

      test_leap_second_info(time - 1ns, false, elapsed);
      test_leap_second_info(time, true, elapsed + 1s);
      test_leap_second_info(time + 1ns, true, elapsed + 1s);
      test_leap_second_info(time + 1s - 1ns, true, elapsed + 1s);
      test_leap_second_info(time + 1s, false, elapsed + 1s);
    } else {
      // Every transition has the following tests
      // - 1ns before the transition is_leap_second -> false, elapsed -> elapsed
      // -         at the transition is_leap_second -> false  elapsed -> elapsed - 1
      // - 1ns after  the transition is_leap_second -> false, elapsed -> elapsed - 1
      test_leap_second_info(time - 1ns, false, elapsed);
      test_leap_second_info(time, false, elapsed - 1s);
      test_leap_second_info(time + 1ns, false, elapsed - 1s);
    }
  };

  // The timestamps are from leap-seconds.list in the IANA database.
  // Note the times stamps are timestamps without leap seconds so the number
  // here are incremented by x "leap seconds".
  test_transition(get_utc_time(2287785600 + 0), 0s, true);   // 1 Jul 1972
  test_transition(get_utc_time(2303683200 + 1), 1s, true);   // 1 Jan 1973
  test_transition(get_utc_time(2335219200 + 2), 2s, true);   // 1 Jan 1974
  test_transition(get_utc_time(2366755200 + 3), 3s, true);   // 1 Jan 1975
  test_transition(get_utc_time(2398291200 + 4), 4s, true);   // 1 Jan 1976
  test_transition(get_utc_time(2429913600 + 5), 5s, true);   // 1 Jan 1977
  test_transition(get_utc_time(2461449600 + 6), 6s, true);   // 1 Jan 1978
  test_transition(get_utc_time(2492985600 + 7), 7s, true);   // 1 Jan 1979
  test_transition(get_utc_time(2524521600 + 8), 8s, true);   // 1 Jan 1980
  test_transition(get_utc_time(2571782400 + 9), 9s, true);   // 1 Jul 1981
  test_transition(get_utc_time(2603318400 + 10), 10s, true); // 1 Jul 1982
  test_transition(get_utc_time(2634854400 + 11), 11s, true); // 1 Jul 1983
  test_transition(get_utc_time(2698012800 + 12), 12s, true); // 1 Jul 1985
  test_transition(get_utc_time(2776982400 + 13), 13s, true); // 1 Jan 1988
  test_transition(get_utc_time(2840140800 + 14), 14s, true); // 1 Jan 1990
  test_transition(get_utc_time(2871676800 + 15), 15s, true); // 1 Jan 1991
  test_transition(get_utc_time(2918937600 + 16), 16s, true); // 1 Jul 1992
  test_transition(get_utc_time(2950473600 + 17), 17s, true); // 1 Jul 1993
  test_transition(get_utc_time(2982009600 + 18), 18s, true); // 1 Jul 1994
  test_transition(get_utc_time(3029443200 + 19), 19s, true); // 1 Jan 1996
  test_transition(get_utc_time(3076704000 + 20), 20s, true); // 1 Jul 1997
  test_transition(get_utc_time(3124137600 + 21), 21s, true); // 1 Jan 1999
  test_transition(get_utc_time(3345062400 + 22), 22s, true); // 1 Jan 2006
  test_transition(get_utc_time(3439756800 + 23), 23s, true); // 1 Jan 2009
  test_transition(get_utc_time(3550089600 + 24), 24s, true); // 1 Jul 2012
  test_transition(get_utc_time(3644697600 + 25), 25s, true); // 1 Jul 2015
  test_transition(get_utc_time(3692217600 + 26), 26s, true); // 1 Jan 2017

  return 0;
}