1/* SPDX-License-Identifier: LGPL-2.1-or-later */
2@@
3expression x;
4constant USEC_INFINITY = USEC_INFINITY;
5/* We want to stick with the literal expression in the implementation of timestamp_is_set(), i.e. in time-util.c */
6position p : script:python() { p[0].file != "src/basic/time-util.h" };
7@@
8(
9- x > 0 && x < USEC_INFINITY
10+ timestamp_is_set(x)
11|
12- x < USEC_INFINITY && x > 0
13+ timestamp_is_set(x)
14|
15- x@p > 0 && x != USEC_INFINITY
16+ timestamp_is_set(x)
17|
18- x != USEC_INFINITY && x > 0
19+ timestamp_is_set(x)
20|
21- x != 0 && x < USEC_INFINITY
22+ timestamp_is_set(x)
23|
24- x < USEC_INFINITY && x != 0
25+ timestamp_is_set(x)
26|
27- x != 0 && x != USEC_INFINITY
28+ timestamp_is_set(x)
29|
30- x != USEC_INFINITY && x != 0
31+ timestamp_is_set(x)
32|
33- !IN_SET(x, 0, USEC_INFINITY)
34+ timestamp_is_set(x)
35|
36- !IN_SET(x, USEC_INFINITY, 0)
37+ timestamp_is_set(x)
38)
39@@
40expression x;
41constant USEC_INFINITY = USEC_INFINITY;
42@@
43(
44- x <= 0 || x >= USEC_INFINITY
45+ !timestamp_is_set(x)
46|
47- x >= USEC_INFINITY || x <= 0
48+ !timestamp_is_set(x)
49|
50- x <= 0 || x == USEC_INFINITY
51+ !timestamp_is_set(x)
52|
53- x == USEC_INFINITY || x <= 0
54+ !timestamp_is_set(x)
55|
56- x == 0 || x >= USEC_INFINITY
57+ !timestamp_is_set(x)
58|
59- x >= USEC_INFINITY || x == 0
60+ !timestamp_is_set(x)
61|
62- x == 0 || x == USEC_INFINITY
63+ !timestamp_is_set(x)
64|
65- x == USEC_INFINITY || x == 0
66+ !timestamp_is_set(x)
67|
68- IN_SET(x, 0, USEC_INFINITY)
69+ !timestamp_is_set(x)
70|
71- IN_SET(x, USEC_INFINITY, 0)
72+ !timestamp_is_set(x)
73)
74