]> git.ipfire.org Git - thirdparty/systemd.git/blob - src/test/test-time-util.c
projects / thirdparty / systemd.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
Merge pull request #10493 from yuwata/parse-time-overflow
[thirdparty/systemd.git] / src / test / test-time-util.c
1 /* SPDX-License-Identifier: LGPL-2.1+ */
2
3 #include "random-util.h"
4 #include "string-util.h"
5 #include "strv.h"
6 #include "time-util.h"
7
8 static void test_parse_sec(void) {
9 usec_t u;
10
11 log_info("/* %s */", __func__);
12
13 assert_se(parse_sec("5s", &u) >= 0);
14 assert_se(u == 5 * USEC_PER_SEC);
15 assert_se(parse_sec("5s500ms", &u) >= 0);
16 assert_se(u == 5 * USEC_PER_SEC + 500 * USEC_PER_MSEC);
17 assert_se(parse_sec(" 5s 500ms ", &u) >= 0);
18 assert_se(u == 5 * USEC_PER_SEC + 500 * USEC_PER_MSEC);
19 assert_se(parse_sec(" 5.5s ", &u) >= 0);
20 assert_se(u == 5 * USEC_PER_SEC + 500 * USEC_PER_MSEC);
21 assert_se(parse_sec(" 5.5s 0.5ms ", &u) >= 0);
22 assert_se(u == 5 * USEC_PER_SEC + 500 * USEC_PER_MSEC + 500);
23 assert_se(parse_sec(" .22s ", &u) >= 0);
24 assert_se(u == 220 * USEC_PER_MSEC);
25 assert_se(parse_sec(" .50y ", &u) >= 0);
26 assert_se(u == USEC_PER_YEAR / 2);
27 assert_se(parse_sec("2.5", &u) >= 0);
28 assert_se(u == 2500 * USEC_PER_MSEC);
29 assert_se(parse_sec(".7", &u) >= 0);
30 assert_se(u == 700 * USEC_PER_MSEC);
31 assert_se(parse_sec("23us", &u) >= 0);
32 assert_se(u == 23);
33 assert_se(parse_sec("23µs", &u) >= 0);
34 assert_se(u == 23);
35 assert_se(parse_sec("infinity", &u) >= 0);
36 assert_se(u == USEC_INFINITY);
37 assert_se(parse_sec(" infinity ", &u) >= 0);
38 assert_se(u == USEC_INFINITY);
39 assert_se(parse_sec("+3.1s", &u) >= 0);
40 assert_se(u == 3100 * USEC_PER_MSEC);
41
42 assert_se(parse_sec(" xyz ", &u) < 0);
43 assert_se(parse_sec("", &u) < 0);
44 assert_se(parse_sec(" . ", &u) < 0);
45 assert_se(parse_sec(" 5. ", &u) < 0);
46 assert_se(parse_sec(".s ", &u) < 0);
47 assert_se(parse_sec("-5s ", &u) < 0);
48 assert_se(parse_sec("-0.3s ", &u) < 0);
49 assert_se(parse_sec("-0.0s ", &u) < 0);
50 assert_se(parse_sec("-0.-0s ", &u) < 0);
51 assert_se(parse_sec("0.-0s ", &u) < 0);
52 assert_se(parse_sec("3.-0s ", &u) < 0);
53 assert_se(parse_sec(" infinity .7", &u) < 0);
54 assert_se(parse_sec(".3 infinity", &u) < 0);
55 assert_se(parse_sec("3.+1s", &u) < 0);
56 assert_se(parse_sec("3. 1s", &u) < 0);
57 assert_se(parse_sec("3.s", &u) < 0);
58 }
59
60 static void test_parse_sec_fix_0(void) {
61 usec_t u;
62
63 log_info("/* %s */", __func__);
64
65 assert_se(parse_sec_fix_0("5s", &u) >= 0);
66 assert_se(u == 5 * USEC_PER_SEC);
67 assert_se(parse_sec_fix_0("0s", &u) >= 0);
68 assert_se(u == 0 * USEC_PER_SEC);
69 assert_se(parse_sec_fix_0("0", &u) >= 0);
70 assert_se(u == USEC_INFINITY);
71 assert_se(parse_sec_fix_0(" 0", &u) >= 0);
72 assert_se(u == USEC_INFINITY);
73 }
74
75 static void test_parse_time(void) {
76 usec_t u;
77
78 log_info("/* %s */", __func__);
79
80 assert_se(parse_time("5", &u, 1) >= 0);
81 assert_se(u == 5);
82
83 assert_se(parse_time("5", &u, USEC_PER_MSEC) >= 0);
84 assert_se(u == 5 * USEC_PER_MSEC);
85
86 assert_se(parse_time("5", &u, USEC_PER_SEC) >= 0);
87 assert_se(u == 5 * USEC_PER_SEC);
88
89 assert_se(parse_time("5s", &u, 1) >= 0);
90 assert_se(u == 5 * USEC_PER_SEC);
91
92 assert_se(parse_time("5s", &u, USEC_PER_SEC) >= 0);
93 assert_se(u == 5 * USEC_PER_SEC);
94
95 assert_se(parse_time("5s", &u, USEC_PER_MSEC) >= 0);
96 assert_se(u == 5 * USEC_PER_SEC);
97
98 assert_se(parse_time("11111111111111y", &u, 1) == -ERANGE);
99 assert_se(parse_time("1.1111111111111y", &u, 1) == -ERANGE);
100 }
101
102 static void test_parse_nsec(void) {
103 nsec_t u;
104
105 log_info("/* %s */", __func__);
106
107 assert_se(parse_nsec("5s", &u) >= 0);
108 assert_se(u == 5 * NSEC_PER_SEC);
109 assert_se(parse_nsec("5s500ms", &u) >= 0);
110 assert_se(u == 5 * NSEC_PER_SEC + 500 * NSEC_PER_MSEC);
111 assert_se(parse_nsec(" 5s 500ms ", &u) >= 0);
112 assert_se(u == 5 * NSEC_PER_SEC + 500 * NSEC_PER_MSEC);
113 assert_se(parse_nsec(" 5.5s ", &u) >= 0);
114 assert_se(u == 5 * NSEC_PER_SEC + 500 * NSEC_PER_MSEC);
115 assert_se(parse_nsec(" 5.5s 0.5ms ", &u) >= 0);
116 assert_se(u == 5 * NSEC_PER_SEC + 500 * NSEC_PER_MSEC + 500 * NSEC_PER_USEC);
117 assert_se(parse_nsec(" .22s ", &u) >= 0);
118 assert_se(u == 220 * NSEC_PER_MSEC);
119 assert_se(parse_nsec(" .50y ", &u) >= 0);
120 assert_se(u == NSEC_PER_YEAR / 2);
121 assert_se(parse_nsec("2.5", &u) >= 0);
122 assert_se(u == 2);
123 assert_se(parse_nsec(".7", &u) >= 0);
124 assert_se(u == 0);
125 assert_se(parse_nsec("infinity", &u) >= 0);
126 assert_se(u == NSEC_INFINITY);
127 assert_se(parse_nsec(" infinity ", &u) >= 0);
128 assert_se(u == NSEC_INFINITY);
129 assert_se(parse_nsec("+3.1s", &u) >= 0);
130 assert_se(u == 3100 * NSEC_PER_MSEC);
131
132 assert_se(parse_nsec(" xyz ", &u) < 0);
133 assert_se(parse_nsec("", &u) < 0);
134 assert_se(parse_nsec(" . ", &u) < 0);
135 assert_se(parse_nsec(" 5. ", &u) < 0);
136 assert_se(parse_nsec(".s ", &u) < 0);
137 assert_se(parse_nsec(" infinity .7", &u) < 0);
138 assert_se(parse_nsec(".3 infinity", &u) < 0);
139 assert_se(parse_nsec("-5s ", &u) < 0);
140 assert_se(parse_nsec("-0.3s ", &u) < 0);
141 assert_se(parse_nsec("-0.0s ", &u) < 0);
142 assert_se(parse_nsec("-0.-0s ", &u) < 0);
143 assert_se(parse_nsec("0.-0s ", &u) < 0);
144 assert_se(parse_nsec("3.-0s ", &u) < 0);
145 assert_se(parse_nsec(" infinity .7", &u) < 0);
146 assert_se(parse_nsec(".3 infinity", &u) < 0);
147 assert_se(parse_nsec("3.+1s", &u) < 0);
148 assert_se(parse_nsec("3. 1s", &u) < 0);
149 assert_se(parse_nsec("3.s", &u) < 0);
150 assert_se(parse_nsec("1111111111111y", &u) == -ERANGE);
151 assert_se(parse_nsec("1.111111111111y", &u) == -ERANGE);
152 }
153
154 static void test_format_timespan_one(usec_t x, usec_t accuracy) {
155 char l[FORMAT_TIMESPAN_MAX];
156 const char *t;
157 usec_t y;
158
159 log_info(USEC_FMT" (at accuracy "USEC_FMT")", x, accuracy);
160
161 assert_se(t = format_timespan(l, sizeof l, x, accuracy));
162 log_info(" = <%s>", t);
163
164 assert_se(parse_sec(t, &y) >= 0);
165 log_info(" = "USEC_FMT, y);
166
167 if (accuracy <= 0)
168 accuracy = 1;
169
170 assert_se(x / accuracy == y / accuracy);
171 }
172
173 static void test_format_timespan(usec_t accuracy) {
174 log_info("/* %s accuracy="USEC_FMT" */", __func__, accuracy);
175
176 test_format_timespan_one(0, accuracy);
177 test_format_timespan_one(1, accuracy);
178 test_format_timespan_one(1*USEC_PER_SEC, accuracy);
179 test_format_timespan_one(999*USEC_PER_MSEC, accuracy);
180 test_format_timespan_one(1234567, accuracy);
181 test_format_timespan_one(12, accuracy);
182 test_format_timespan_one(123, accuracy);
183 test_format_timespan_one(1234, accuracy);
184 test_format_timespan_one(12345, accuracy);
185 test_format_timespan_one(123456, accuracy);
186 test_format_timespan_one(1234567, accuracy);
187 test_format_timespan_one(12345678, accuracy);
188 test_format_timespan_one(1200000, accuracy);
189 test_format_timespan_one(1230000, accuracy);
190 test_format_timespan_one(1230000, accuracy);
191 test_format_timespan_one(1234000, accuracy);
192 test_format_timespan_one(1234500, accuracy);
193 test_format_timespan_one(1234560, accuracy);
194 test_format_timespan_one(1234567, accuracy);
195 test_format_timespan_one(986087, accuracy);
196 test_format_timespan_one(500 * USEC_PER_MSEC, accuracy);
197 test_format_timespan_one(9*USEC_PER_YEAR/5 - 23, accuracy);
198 test_format_timespan_one(USEC_INFINITY, accuracy);
199 }
200
201 static void test_timezone_is_valid(void) {
202 log_info("/* %s */", __func__);
203
204 assert_se(timezone_is_valid("Europe/Berlin", LOG_ERR));
205 assert_se(timezone_is_valid("Australia/Sydney", LOG_ERR));
206 assert_se(!timezone_is_valid("Europe/Do not exist", LOG_ERR));
207 }
208
209 static void test_get_timezones(void) {
210 _cleanup_strv_free_ char **zones = NULL;
211 int r;
212 char **zone;
213
214 log_info("/* %s */", __func__);
215
216 r = get_timezones(&zones);
217 assert_se(r == 0);
218
219 STRV_FOREACH(zone, zones)
220 assert_se(timezone_is_valid(*zone, LOG_ERR));
221 }
222
223 static void test_usec_add(void) {
224 log_info("/* %s */", __func__);
225
226 assert_se(usec_add(0, 0) == 0);
227 assert_se(usec_add(1, 4) == 5);
228 assert_se(usec_add(USEC_INFINITY, 5) == USEC_INFINITY);
229 assert_se(usec_add(5, USEC_INFINITY) == USEC_INFINITY);
230 assert_se(usec_add(USEC_INFINITY-5, 2) == USEC_INFINITY-3);
231 assert_se(usec_add(USEC_INFINITY-2, 2) == USEC_INFINITY);
232 assert_se(usec_add(USEC_INFINITY-1, 2) == USEC_INFINITY);
233 assert_se(usec_add(USEC_INFINITY, 2) == USEC_INFINITY);
234 }
235
236 static void test_usec_sub_unsigned(void) {
237 log_info("/* %s */", __func__);
238
239 assert_se(usec_sub_unsigned(0, 0) == 0);
240 assert_se(usec_sub_unsigned(0, 2) == 0);
241 assert_se(usec_sub_unsigned(0, USEC_INFINITY) == 0);
242 assert_se(usec_sub_unsigned(1, 0) == 1);
243 assert_se(usec_sub_unsigned(1, 1) == 0);
244 assert_se(usec_sub_unsigned(1, 2) == 0);
245 assert_se(usec_sub_unsigned(1, 3) == 0);
246 assert_se(usec_sub_unsigned(1, USEC_INFINITY) == 0);
247 assert_se(usec_sub_unsigned(USEC_INFINITY-1, 0) == USEC_INFINITY-1);
248 assert_se(usec_sub_unsigned(USEC_INFINITY-1, 1) == USEC_INFINITY-2);
249 assert_se(usec_sub_unsigned(USEC_INFINITY-1, 2) == USEC_INFINITY-3);
250 assert_se(usec_sub_unsigned(USEC_INFINITY-1, USEC_INFINITY-2) == 1);
251 assert_se(usec_sub_unsigned(USEC_INFINITY-1, USEC_INFINITY-1) == 0);
252 assert_se(usec_sub_unsigned(USEC_INFINITY-1, USEC_INFINITY) == 0);
253 assert_se(usec_sub_unsigned(USEC_INFINITY, 0) == USEC_INFINITY);
254 assert_se(usec_sub_unsigned(USEC_INFINITY, 1) == USEC_INFINITY);
255 assert_se(usec_sub_unsigned(USEC_INFINITY, 2) == USEC_INFINITY);
256 assert_se(usec_sub_unsigned(USEC_INFINITY, USEC_INFINITY) == USEC_INFINITY);
257 }
258
259 static void test_usec_sub_signed(void) {
260 log_info("/* %s */", __func__);
261
262 assert_se(usec_sub_signed(0, 0) == 0);
263 assert_se(usec_sub_signed(4, 1) == 3);
264 assert_se(usec_sub_signed(4, 4) == 0);
265 assert_se(usec_sub_signed(4, 5) == 0);
266 assert_se(usec_sub_signed(USEC_INFINITY-3, -3) == USEC_INFINITY);
267 assert_se(usec_sub_signed(USEC_INFINITY-3, -3) == USEC_INFINITY);
268 assert_se(usec_sub_signed(USEC_INFINITY-3, -4) == USEC_INFINITY);
269 assert_se(usec_sub_signed(USEC_INFINITY-3, -5) == USEC_INFINITY);
270 assert_se(usec_sub_signed(USEC_INFINITY, 5) == USEC_INFINITY);
271 }
272
273 static void test_format_timestamp(void) {
274 unsigned i;
275
276 log_info("/* %s */", __func__);
277
278 for (i = 0; i < 100; i++) {
279 char buf[MAX(FORMAT_TIMESTAMP_MAX, FORMAT_TIMESPAN_MAX)];
280 usec_t x, y;
281
282 random_bytes(&x, sizeof(x));
283 x = x % (2147483600 * USEC_PER_SEC) + 1;
284
285 assert_se(format_timestamp(buf, sizeof(buf), x));
286 log_info("%s", buf);
287 assert_se(parse_timestamp(buf, &y) >= 0);
288 assert_se(x / USEC_PER_SEC == y / USEC_PER_SEC);
289
290 assert_se(format_timestamp_utc(buf, sizeof(buf), x));
291 log_info("%s", buf);
292 assert_se(parse_timestamp(buf, &y) >= 0);
293 assert_se(x / USEC_PER_SEC == y / USEC_PER_SEC);
294
295 assert_se(format_timestamp_us(buf, sizeof(buf), x));
296 log_info("%s", buf);
297 assert_se(parse_timestamp(buf, &y) >= 0);
298 assert_se(x == y);
299
300 assert_se(format_timestamp_us_utc(buf, sizeof(buf), x));
301 log_info("%s", buf);
302 assert_se(parse_timestamp(buf, &y) >= 0);
303 assert_se(x == y);
304
305 assert_se(format_timestamp_relative(buf, sizeof(buf), x));
306 log_info("%s", buf);
307 assert_se(parse_timestamp(buf, &y) >= 0);
308
309 /* The two calls above will run with a slightly different local time. Make sure we are in the same
310 * range however, but give enough leeway that this is unlikely to explode. And of course,
311 * format_timestamp_relative() scales the accuracy with the distance from the current time up to one
312 * month, cover for that too. */
313 assert_se(y > x ? y - x : x - y <= USEC_PER_MONTH + USEC_PER_DAY);
314 }
315 }
316
317 static void test_format_timestamp_utc_one(usec_t val, const char *result) {
318 char buf[FORMAT_TIMESTAMP_MAX];
319 const char *t;
320
321 t = format_timestamp_utc(buf, sizeof(buf), val);
322 assert_se(streq_ptr(t, result));
323 }
324
325 static void test_format_timestamp_utc(void) {
326 log_info("/* %s */", __func__);
327
328 test_format_timestamp_utc_one(0, NULL);
329 test_format_timestamp_utc_one(1, "Thu 1970-01-01 00:00:00 UTC");
330 test_format_timestamp_utc_one(USEC_PER_SEC, "Thu 1970-01-01 00:00:01 UTC");
331
332 #if SIZEOF_TIME_T == 8
333 test_format_timestamp_utc_one(USEC_TIMESTAMP_FORMATTABLE_MAX, "Thu 9999-12-30 23:59:59 UTC");
334 test_format_timestamp_utc_one(USEC_TIMESTAMP_FORMATTABLE_MAX + 1, "--- XXXX-XX-XX XX:XX:XX");
335 #elif SIZEOF_TIME_T == 4
336 test_format_timestamp_utc_one(USEC_TIMESTAMP_FORMATTABLE_MAX, "Tue 2038-01-19 03:14:07 UTC");
337 test_format_timestamp_utc_one(USEC_TIMESTAMP_FORMATTABLE_MAX + 1, "--- XXXX-XX-XX XX:XX:XX");
338 #endif
339
340 test_format_timestamp_utc_one(USEC_INFINITY, NULL);
341 }
342
343 static void test_dual_timestamp_deserialize(void) {
344 int r;
345 dual_timestamp t;
346
347 log_info("/* %s */", __func__);
348
349 r = dual_timestamp_deserialize("1234 5678", &t);
350 assert_se(r == 0);
351 assert_se(t.realtime == 1234);
352 assert_se(t.monotonic == 5678);
353
354 r = dual_timestamp_deserialize("1234x 5678", &t);
355 assert_se(r == -EINVAL);
356
357 r = dual_timestamp_deserialize("1234 5678y", &t);
358 assert_se(r == -EINVAL);
359
360 r = dual_timestamp_deserialize("-1234 5678", &t);
361 assert_se(r == -EINVAL);
362
363 r = dual_timestamp_deserialize("1234 -5678", &t);
364 assert_se(r == -EINVAL);
365
366 /* Check that output wasn't modified. */
367 assert_se(t.realtime == 1234);
368 assert_se(t.monotonic == 5678);
369
370 r = dual_timestamp_deserialize("+123 567", &t);
371 assert_se(r == 0);
372 assert_se(t.realtime == 123);
373 assert_se(t.monotonic == 567);
374
375 /* Check that we get "infinity" on overflow. */
376 r = dual_timestamp_deserialize("18446744073709551617 0", &t);
377 assert_se(r == 0);
378 assert_se(t.realtime == USEC_INFINITY);
379 assert_se(t.monotonic == 0);
380 }
381
382 static void assert_similar(usec_t a, usec_t b) {
383 usec_t d;
384
385 if (a > b)
386 d = a - b;
387 else
388 d = b - a;
389
390 assert(d < 10*USEC_PER_SEC);
391 }
392
393 static void test_usec_shift_clock(void) {
394 usec_t rt, mn, bt;
395
396 log_info("/* %s */", __func__);
397
398 rt = now(CLOCK_REALTIME);
399 mn = now(CLOCK_MONOTONIC);
400 bt = now(clock_boottime_or_monotonic());
401
402 assert_se(usec_shift_clock(USEC_INFINITY, CLOCK_REALTIME, CLOCK_MONOTONIC) == USEC_INFINITY);
403
404 assert_similar(usec_shift_clock(rt + USEC_PER_HOUR, CLOCK_REALTIME, CLOCK_MONOTONIC), mn + USEC_PER_HOUR);
405 assert_similar(usec_shift_clock(rt + 2*USEC_PER_HOUR, CLOCK_REALTIME, clock_boottime_or_monotonic()), bt + 2*USEC_PER_HOUR);
406 assert_se(usec_shift_clock(rt + 3*USEC_PER_HOUR, CLOCK_REALTIME, CLOCK_REALTIME_ALARM) == rt + 3*USEC_PER_HOUR);
407
408 assert_similar(usec_shift_clock(mn + 4*USEC_PER_HOUR, CLOCK_MONOTONIC, CLOCK_REALTIME_ALARM), rt + 4*USEC_PER_HOUR);
409 assert_similar(usec_shift_clock(mn + 5*USEC_PER_HOUR, CLOCK_MONOTONIC, clock_boottime_or_monotonic()), bt + 5*USEC_PER_HOUR);
410 assert_se(usec_shift_clock(mn + 6*USEC_PER_HOUR, CLOCK_MONOTONIC, CLOCK_MONOTONIC) == mn + 6*USEC_PER_HOUR);
411
412 assert_similar(usec_shift_clock(bt + 7*USEC_PER_HOUR, clock_boottime_or_monotonic(), CLOCK_MONOTONIC), mn + 7*USEC_PER_HOUR);
413 assert_similar(usec_shift_clock(bt + 8*USEC_PER_HOUR, clock_boottime_or_monotonic(), CLOCK_REALTIME_ALARM), rt + 8*USEC_PER_HOUR);
414 assert_se(usec_shift_clock(bt + 9*USEC_PER_HOUR, clock_boottime_or_monotonic(), clock_boottime_or_monotonic()) == bt + 9*USEC_PER_HOUR);
415
416 if (mn > USEC_PER_MINUTE) {
417 assert_similar(usec_shift_clock(rt - 30 * USEC_PER_SEC, CLOCK_REALTIME_ALARM, CLOCK_MONOTONIC), mn - 30 * USEC_PER_SEC);
418 assert_similar(usec_shift_clock(rt - 50 * USEC_PER_SEC, CLOCK_REALTIME, clock_boottime_or_monotonic()), bt - 50 * USEC_PER_SEC);
419 }
420 }
421
422 static void test_in_utc_timezone(void) {
423 log_info("/* %s */", __func__);
424
425 assert_se(setenv("TZ", ":UTC", 1) >= 0);
426 assert_se(in_utc_timezone());
427 assert_se(streq(tzname[0], "UTC"));
428 assert_se(streq(tzname[1], "UTC"));
429 assert_se(timezone == 0);
430 assert_se(daylight == 0);
431
432 assert_se(setenv("TZ", "Europe/Berlin", 1) >= 0);
433 assert_se(!in_utc_timezone());
434 assert_se(streq(tzname[0], "CET"));
435 assert_se(streq(tzname[1], "CEST"));
436
437 assert_se(unsetenv("TZ") >= 0);
438 }
439
440 int main(int argc, char *argv[]) {
441 uintmax_t x;
442
443 log_info("realtime=" USEC_FMT "\n"
444 "monotonic=" USEC_FMT "\n"
445 "boottime=" USEC_FMT "\n",
446 now(CLOCK_REALTIME),
447 now(CLOCK_MONOTONIC),
448 now(clock_boottime_or_monotonic()));
449
450 test_parse_sec();
451 test_parse_sec_fix_0();
452 test_parse_time();
453 test_parse_nsec();
454 test_format_timespan(1);
455 test_format_timespan(USEC_PER_MSEC);
456 test_format_timespan(USEC_PER_SEC);
457 test_timezone_is_valid();
458 test_get_timezones();
459 test_usec_add();
460 test_usec_sub_signed();
461 test_usec_sub_unsigned();
462 test_format_timestamp();
463 test_format_timestamp_utc();
464 test_dual_timestamp_deserialize();
465 test_usec_shift_clock();
466 test_in_utc_timezone();
467
468 /* Ensure time_t is signed */
469 assert_cc((time_t) -1 < (time_t) 1);
470
471 /* Ensure TIME_T_MAX works correctly */
472 x = (uintmax_t) TIME_T_MAX;
473 x++;
474 assert((time_t) x < 0);
475
476 return 0;
477 }
Unnamed repository; edit this file 'description' to name the repository.