localtime.c revision 1.99 1 1.99 christos /* $NetBSD: localtime.c,v 1.99 2015/10/29 17:49:24 christos Exp $ */
2 1.7 jtc
3 1.7 jtc /*
4 1.7 jtc ** This file is in the public domain, so clarified as of
5 1.45 mlelstv ** 1996-06-05 by Arthur David Olson.
6 1.7 jtc */
7 1.2 jtc
8 1.11 christos #include <sys/cdefs.h>
9 1.24 msaitoh #if defined(LIBC_SCCS) && !defined(lint)
10 1.11 christos #if 0
11 1.58 christos static char elsieid[] = "@(#)localtime.c 8.17";
12 1.11 christos #else
13 1.99 christos __RCSID("$NetBSD: localtime.c,v 1.99 2015/10/29 17:49:24 christos Exp $");
14 1.11 christos #endif
15 1.24 msaitoh #endif /* LIBC_SCCS and not lint */
16 1.1 jtc
17 1.1 jtc /*
18 1.45 mlelstv ** Leap second handling from Bradley White.
19 1.45 mlelstv ** POSIX-style TZ environment variable handling from Guy Harris.
20 1.1 jtc */
21 1.1 jtc
22 1.1 jtc /*LINTLIBRARY*/
23 1.1 jtc
24 1.12 jtc #include "namespace.h"
25 1.78 christos #include <assert.h>
26 1.87 christos #define LOCALTIME_IMPLEMENTATION
27 1.1 jtc #include "private.h"
28 1.87 christos
29 1.1 jtc #include "tzfile.h"
30 1.1 jtc #include "fcntl.h"
31 1.19 kleink #include "reentrant.h"
32 1.12 jtc
33 1.87 christos #if NETBSD_INSPIRED
34 1.87 christos # define NETBSD_INSPIRED_EXTERN
35 1.87 christos #else
36 1.87 christos # define NETBSD_INSPIRED_EXTERN static
37 1.87 christos #endif
38 1.87 christos
39 1.42 christos #if defined(__weak_alias)
40 1.25 kleink __weak_alias(daylight,_daylight)
41 1.23 mycroft __weak_alias(tzname,_tzname)
42 1.12 jtc #endif
43 1.1 jtc
44 1.45 mlelstv #ifndef TZ_ABBR_MAX_LEN
45 1.45 mlelstv #define TZ_ABBR_MAX_LEN 16
46 1.45 mlelstv #endif /* !defined TZ_ABBR_MAX_LEN */
47 1.45 mlelstv
48 1.45 mlelstv #ifndef TZ_ABBR_CHAR_SET
49 1.45 mlelstv #define TZ_ABBR_CHAR_SET \
50 1.45 mlelstv "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 :+-._"
51 1.45 mlelstv #endif /* !defined TZ_ABBR_CHAR_SET */
52 1.45 mlelstv
53 1.45 mlelstv #ifndef TZ_ABBR_ERR_CHAR
54 1.45 mlelstv #define TZ_ABBR_ERR_CHAR '_'
55 1.45 mlelstv #endif /* !defined TZ_ABBR_ERR_CHAR */
56 1.45 mlelstv
57 1.1 jtc /*
58 1.1 jtc ** SunOS 4.1.1 headers lack O_BINARY.
59 1.1 jtc */
60 1.1 jtc
61 1.1 jtc #ifdef O_BINARY
62 1.86 christos #define OPEN_MODE (O_RDONLY | O_BINARY | O_CLOEXEC)
63 1.1 jtc #endif /* defined O_BINARY */
64 1.1 jtc #ifndef O_BINARY
65 1.86 christos #define OPEN_MODE (O_RDONLY | O_CLOEXEC)
66 1.1 jtc #endif /* !defined O_BINARY */
67 1.1 jtc
68 1.1 jtc #ifndef WILDABBR
69 1.1 jtc /*
70 1.1 jtc ** Someone might make incorrect use of a time zone abbreviation:
71 1.1 jtc ** 1. They might reference tzname[0] before calling tzset (explicitly
72 1.1 jtc ** or implicitly).
73 1.1 jtc ** 2. They might reference tzname[1] before calling tzset (explicitly
74 1.1 jtc ** or implicitly).
75 1.1 jtc ** 3. They might reference tzname[1] after setting to a time zone
76 1.1 jtc ** in which Daylight Saving Time is never observed.
77 1.1 jtc ** 4. They might reference tzname[0] after setting to a time zone
78 1.1 jtc ** in which Standard Time is never observed.
79 1.1 jtc ** 5. They might reference tm.TM_ZONE after calling offtime.
80 1.1 jtc ** What's best to do in the above cases is open to debate;
81 1.1 jtc ** for now, we just set things up so that in any of the five cases
82 1.45 mlelstv ** WILDABBR is used. Another possibility: initialize tzname[0] to the
83 1.1 jtc ** string "tzname[0] used before set", and similarly for the other cases.
84 1.45 mlelstv ** And another: initialize tzname[0] to "ERA", with an explanation in the
85 1.1 jtc ** manual page of what this "time zone abbreviation" means (doing this so
86 1.1 jtc ** that tzname[0] has the "normal" length of three characters).
87 1.1 jtc */
88 1.1 jtc #define WILDABBR " "
89 1.1 jtc #endif /* !defined WILDABBR */
90 1.1 jtc
91 1.45 mlelstv static const char wildabbr[] = WILDABBR;
92 1.1 jtc
93 1.71 christos static const char gmt[] = "GMT";
94 1.1 jtc
95 1.22 kleink /*
96 1.22 kleink ** The DST rules to use if TZ has no rules and we can't load TZDEFRULES.
97 1.22 kleink ** We default to US rules as of 1999-08-17.
98 1.22 kleink ** POSIX 1003.1 section 8.1.1 says that the default DST rules are
99 1.22 kleink ** implementation dependent; for historical reasons, US rules are a
100 1.22 kleink ** common default.
101 1.22 kleink */
102 1.22 kleink #ifndef TZDEFRULESTRING
103 1.22 kleink #define TZDEFRULESTRING ",M4.1.0,M10.5.0"
104 1.22 kleink #endif /* !defined TZDEFDST */
105 1.22 kleink
106 1.1 jtc struct ttinfo { /* time type information */
107 1.78 christos int_fast32_t tt_gmtoff; /* UT offset in seconds */
108 1.87 christos bool tt_isdst; /* used to set tm_isdst */
109 1.1 jtc int tt_abbrind; /* abbreviation list index */
110 1.87 christos bool tt_ttisstd; /* transition is std time */
111 1.87 christos bool tt_ttisgmt; /* transition is UT */
112 1.1 jtc };
113 1.1 jtc
114 1.1 jtc struct lsinfo { /* leap second information */
115 1.1 jtc time_t ls_trans; /* transition time */
116 1.74 christos int_fast64_t ls_corr; /* correction to apply */
117 1.1 jtc };
118 1.1 jtc
119 1.87 christos #define SMALLEST(a, b) (((a) < (b)) ? (a) : (b))
120 1.1 jtc #define BIGGEST(a, b) (((a) > (b)) ? (a) : (b))
121 1.1 jtc
122 1.1 jtc #ifdef TZNAME_MAX
123 1.1 jtc #define MY_TZNAME_MAX TZNAME_MAX
124 1.1 jtc #endif /* defined TZNAME_MAX */
125 1.1 jtc #ifndef TZNAME_MAX
126 1.1 jtc #define MY_TZNAME_MAX 255
127 1.1 jtc #endif /* !defined TZNAME_MAX */
128 1.1 jtc
129 1.87 christos #define state __state
130 1.87 christos struct state {
131 1.1 jtc int leapcnt;
132 1.1 jtc int timecnt;
133 1.1 jtc int typecnt;
134 1.1 jtc int charcnt;
135 1.87 christos bool goback;
136 1.87 christos bool goahead;
137 1.45 mlelstv time_t ats[TZ_MAX_TIMES];
138 1.1 jtc unsigned char types[TZ_MAX_TIMES];
139 1.1 jtc struct ttinfo ttis[TZ_MAX_TYPES];
140 1.69 christos char chars[/*CONSTCOND*/BIGGEST(BIGGEST(TZ_MAX_CHARS + 1,
141 1.69 christos sizeof gmt), (2 * (MY_TZNAME_MAX + 1)))];
142 1.1 jtc struct lsinfo lsis[TZ_MAX_LEAPS];
143 1.74 christos int defaulttype; /* for early times or if no transitions */
144 1.1 jtc };
145 1.1 jtc
146 1.96 christos enum r_type {
147 1.96 christos JULIAN_DAY, /* Jn = Julian day */
148 1.96 christos DAY_OF_YEAR, /* n = day of year */
149 1.96 christos MONTH_NTH_DAY_OF_WEEK /* Mm.n.d = month, week, day of week */
150 1.96 christos };
151 1.96 christos
152 1.1 jtc struct rule {
153 1.96 christos enum r_type r_type; /* type of rule */
154 1.1 jtc int r_day; /* day number of rule */
155 1.1 jtc int r_week; /* week number of rule */
156 1.1 jtc int r_mon; /* month number of rule */
157 1.74 christos int_fast32_t r_time; /* transition time of rule */
158 1.1 jtc };
159 1.1 jtc
160 1.87 christos static struct tm *gmtsub(struct state const *, time_t const *, int_fast32_t,
161 1.87 christos struct tm *);
162 1.87 christos static bool increment_overflow(int *, int);
163 1.87 christos static bool increment_overflow_time(time_t *, int_fast32_t);
164 1.87 christos static bool normalize_overflow32(int_fast32_t *, int *, int);
165 1.87 christos static struct tm *timesub(time_t const *, int_fast32_t, struct state const *,
166 1.87 christos struct tm *);
167 1.87 christos static bool typesequiv(struct state const *, int, int);
168 1.87 christos static bool tzparse(char const *, struct state *, bool);
169 1.1 jtc
170 1.49 christos static timezone_t lclptr;
171 1.49 christos static timezone_t gmtptr;
172 1.1 jtc
173 1.1 jtc #ifndef TZ_STRLEN_MAX
174 1.1 jtc #define TZ_STRLEN_MAX 255
175 1.1 jtc #endif /* !defined TZ_STRLEN_MAX */
176 1.1 jtc
177 1.45 mlelstv static char lcl_TZname[TZ_STRLEN_MAX + 1];
178 1.45 mlelstv static int lcl_is_set;
179 1.42 christos
180 1.42 christos #if !defined(__LIBC12_SOURCE__)
181 1.1 jtc
182 1.16 mycroft __aconst char * tzname[2] = {
183 1.37 christos (__aconst char *)__UNCONST(wildabbr),
184 1.37 christos (__aconst char *)__UNCONST(wildabbr)
185 1.1 jtc };
186 1.1 jtc
187 1.42 christos #else
188 1.42 christos
189 1.42 christos extern __aconst char * tzname[2];
190 1.42 christos
191 1.42 christos #endif
192 1.42 christos
193 1.33 christos #ifdef _REENTRANT
194 1.45 mlelstv static rwlock_t lcl_lock = RWLOCK_INITIALIZER;
195 1.19 kleink #endif
196 1.19 kleink
197 1.1 jtc /*
198 1.1 jtc ** Section 4.12.3 of X3.159-1989 requires that
199 1.1 jtc ** Except for the strftime function, these functions [asctime,
200 1.1 jtc ** ctime, gmtime, localtime] return values in one of two static
201 1.1 jtc ** objects: a broken-down time structure and an array of char.
202 1.45 mlelstv ** Thanks to Paul Eggert for noting this.
203 1.1 jtc */
204 1.1 jtc
205 1.1 jtc static struct tm tm;
206 1.1 jtc
207 1.1 jtc #ifdef USG_COMPAT
208 1.42 christos #if !defined(__LIBC12_SOURCE__)
209 1.42 christos long timezone = 0;
210 1.1 jtc int daylight = 0;
211 1.42 christos #else
212 1.42 christos extern int daylight;
213 1.42 christos extern long timezone __RENAME(__timezone13);
214 1.42 christos #endif
215 1.1 jtc #endif /* defined USG_COMPAT */
216 1.1 jtc
217 1.1 jtc #ifdef ALTZONE
218 1.81 christos long altzone = 0;
219 1.1 jtc #endif /* defined ALTZONE */
220 1.1 jtc
221 1.91 christos /* Initialize *S to a value based on GMTOFF, ISDST, and ABBRIND. */
222 1.91 christos static void
223 1.91 christos init_ttinfo(struct ttinfo *s, int_fast32_t gmtoff, bool isdst, int abbrind)
224 1.91 christos {
225 1.91 christos s->tt_gmtoff = gmtoff;
226 1.91 christos s->tt_isdst = isdst;
227 1.91 christos s->tt_abbrind = abbrind;
228 1.91 christos s->tt_ttisstd = false;
229 1.91 christos s->tt_ttisgmt = false;
230 1.91 christos }
231 1.91 christos
232 1.74 christos static int_fast32_t
233 1.49 christos detzcode(const char *const codep)
234 1.1 jtc {
235 1.95 christos int_fast32_t result;
236 1.95 christos int i;
237 1.95 christos int_fast32_t one = 1;
238 1.95 christos int_fast32_t halfmaxval = one << (32 - 2);
239 1.95 christos int_fast32_t maxval = halfmaxval - 1 + halfmaxval;
240 1.95 christos int_fast32_t minval = -1 - maxval;
241 1.45 mlelstv
242 1.95 christos result = codep[0] & 0x7f;
243 1.95 christos for (i = 1; i < 4; ++i)
244 1.45 mlelstv result = (result << 8) | (codep[i] & 0xff);
245 1.95 christos
246 1.95 christos if (codep[0] & 0x80) {
247 1.95 christos /* Do two's-complement negation even on non-two's-complement machines.
248 1.95 christos If the result would be minval - 1, return minval. */
249 1.95 christos result -= !TWOS_COMPLEMENT(int_fast32_t) && result != 0;
250 1.95 christos result += minval;
251 1.95 christos }
252 1.95 christos return result;
253 1.45 mlelstv }
254 1.45 mlelstv
255 1.81 christos static int_fast64_t
256 1.49 christos detzcode64(const char *const codep)
257 1.45 mlelstv {
258 1.87 christos int_fast64_t result;
259 1.49 christos int i;
260 1.95 christos int_fast64_t one = 1;
261 1.95 christos int_fast64_t halfmaxval = one << (64 - 2);
262 1.95 christos int_fast64_t maxval = halfmaxval - 1 + halfmaxval;
263 1.95 christos int_fast64_t minval = -TWOS_COMPLEMENT(int_fast64_t) - maxval;
264 1.1 jtc
265 1.95 christos result = codep[0] & 0x7f;
266 1.95 christos for (i = 1; i < 8; ++i)
267 1.81 christos result = (result << 8) | (codep[i] & 0xff);
268 1.95 christos
269 1.95 christos if (codep[0] & 0x80) {
270 1.95 christos /* Do two's-complement negation even on non-two's-complement machines.
271 1.95 christos If the result would be minval - 1, return minval. */
272 1.95 christos result -= !TWOS_COMPLEMENT(int_fast64_t) && result != 0;
273 1.95 christos result += minval;
274 1.95 christos }
275 1.95 christos return result;
276 1.1 jtc }
277 1.1 jtc
278 1.49 christos const char *
279 1.49 christos tzgetname(const timezone_t sp, int isdst)
280 1.49 christos {
281 1.49 christos int i;
282 1.49 christos for (i = 0; i < sp->timecnt; ++i) {
283 1.49 christos const struct ttinfo *const ttisp = &sp->ttis[sp->types[i]];
284 1.49 christos
285 1.49 christos if (ttisp->tt_isdst == isdst)
286 1.49 christos return &sp->chars[ttisp->tt_abbrind];
287 1.49 christos }
288 1.88 christos errno = ESRCH;
289 1.49 christos return NULL;
290 1.49 christos }
291 1.49 christos
292 1.99 christos long
293 1.99 christos tzgetgmtoff(const timezone_t sp, int isdst)
294 1.99 christos {
295 1.99 christos int i;
296 1.99 christos long l = -1;
297 1.99 christos for (i = 0; i < sp->timecnt; ++i) {
298 1.99 christos const struct ttinfo *const ttisp = &sp->ttis[sp->types[i]];
299 1.99 christos
300 1.99 christos if (ttisp->tt_isdst == isdst) {
301 1.99 christos l = ttisp->tt_gmtoff;
302 1.99 christos if (sp->types[i] != 0)
303 1.99 christos return l;
304 1.99 christos }
305 1.99 christos }
306 1.99 christos if (l == -1)
307 1.99 christos errno = ESRCH;
308 1.99 christos return l;
309 1.99 christos }
310 1.99 christos
311 1.49 christos static void
312 1.93 christos scrub_abbrs(struct state *sp)
313 1.49 christos {
314 1.93 christos int i;
315 1.49 christos
316 1.49 christos /*
317 1.49 christos ** First, replace bogus characters.
318 1.49 christos */
319 1.49 christos for (i = 0; i < sp->charcnt; ++i)
320 1.49 christos if (strchr(TZ_ABBR_CHAR_SET, sp->chars[i]) == NULL)
321 1.49 christos sp->chars[i] = TZ_ABBR_ERR_CHAR;
322 1.49 christos /*
323 1.49 christos ** Second, truncate long abbreviations.
324 1.49 christos */
325 1.49 christos for (i = 0; i < sp->typecnt; ++i) {
326 1.49 christos const struct ttinfo * const ttisp = &sp->ttis[i];
327 1.49 christos char * cp = &sp->chars[ttisp->tt_abbrind];
328 1.49 christos
329 1.49 christos if (strlen(cp) > TZ_ABBR_MAX_LEN &&
330 1.49 christos strcmp(cp, GRANDPARENTED) != 0)
331 1.49 christos *(cp + TZ_ABBR_MAX_LEN) = '\0';
332 1.49 christos }
333 1.49 christos }
334 1.49 christos
335 1.93 christos static void
336 1.93 christos update_tzname_etc(const struct state *sp, const struct ttinfo *ttisp)
337 1.92 christos {
338 1.93 christos tzname[ttisp->tt_isdst] = __UNCONST(&sp->chars[ttisp->tt_abbrind]);
339 1.92 christos #ifdef USG_COMPAT
340 1.93 christos if (!ttisp->tt_isdst)
341 1.93 christos timezone = - ttisp->tt_gmtoff;
342 1.93 christos #endif
343 1.92 christos #ifdef ALTZONE
344 1.93 christos if (ttisp->tt_isdst)
345 1.93 christos altzone = - ttisp->tt_gmtoff;
346 1.92 christos #endif /* defined ALTZONE */
347 1.92 christos }
348 1.92 christos
349 1.45 mlelstv static void
350 1.45 mlelstv settzname(void)
351 1.1 jtc {
352 1.49 christos timezone_t const sp = lclptr;
353 1.49 christos int i;
354 1.1 jtc
355 1.37 christos tzname[0] = (__aconst char *)__UNCONST(wildabbr);
356 1.37 christos tzname[1] = (__aconst char *)__UNCONST(wildabbr);
357 1.1 jtc #ifdef USG_COMPAT
358 1.1 jtc daylight = 0;
359 1.1 jtc timezone = 0;
360 1.1 jtc #endif /* defined USG_COMPAT */
361 1.1 jtc #ifdef ALTZONE
362 1.1 jtc altzone = 0;
363 1.1 jtc #endif /* defined ALTZONE */
364 1.1 jtc if (sp == NULL) {
365 1.37 christos tzname[0] = tzname[1] = (__aconst char *)__UNCONST(gmt);
366 1.1 jtc return;
367 1.1 jtc }
368 1.58 christos /*
369 1.58 christos ** And to get the latest zone names into tzname. . .
370 1.58 christos */
371 1.92 christos for (i = 0; i < sp->typecnt; ++i)
372 1.93 christos update_tzname_etc(sp, &sp->ttis[i]);
373 1.1 jtc
374 1.93 christos for (i = 0; i < sp->timecnt; ++i) {
375 1.93 christos const struct ttinfo * const ttisp = &sp->ttis[sp->types[i]];
376 1.93 christos update_tzname_etc(sp, ttisp);
377 1.93 christos #ifdef USG_COMPAT
378 1.93 christos if (ttisp->tt_isdst)
379 1.93 christos daylight = 1;
380 1.93 christos #endif /* defined USG_COMPAT */
381 1.93 christos }
382 1.1 jtc }
383 1.1 jtc
384 1.87 christos static bool
385 1.49 christos differ_by_repeat(const time_t t1, const time_t t0)
386 1.45 mlelstv {
387 1.78 christos if (TYPE_BIT(time_t) - TYPE_SIGNED(time_t) < SECSPERREPEAT_BITS)
388 1.78 christos return 0;
389 1.45 mlelstv return (int_fast64_t)t1 - (int_fast64_t)t0 == SECSPERREPEAT;
390 1.45 mlelstv }
391 1.45 mlelstv
392 1.91 christos union input_buffer {
393 1.91 christos /* The first part of the buffer, interpreted as a header. */
394 1.91 christos struct tzhead tzhead;
395 1.91 christos
396 1.91 christos /* The entire buffer. */
397 1.91 christos char buf[2 * sizeof(struct tzhead) + 2 * sizeof (struct state)
398 1.91 christos + 4 * TZ_MAX_TIMES];
399 1.91 christos };
400 1.91 christos
401 1.91 christos /* Local storage needed for 'tzloadbody'. */
402 1.91 christos union local_storage {
403 1.91 christos /* The file name to be opened. */
404 1.91 christos char fullname[FILENAME_MAX + 1];
405 1.91 christos
406 1.91 christos /* The results of analyzing the file's contents after it is opened. */
407 1.91 christos struct {
408 1.91 christos /* The input buffer. */
409 1.91 christos union input_buffer u;
410 1.91 christos
411 1.91 christos /* A temporary state used for parsing a TZ string in the file. */
412 1.91 christos struct state st;
413 1.91 christos } u;
414 1.91 christos };
415 1.91 christos
416 1.91 christos /* Load tz data from the file named NAME into *SP. Read extended
417 1.91 christos format if DOEXTEND. Use *LSP for temporary storage. Return 0 on
418 1.91 christos success, an errno value on failure. */
419 1.91 christos static int
420 1.91 christos tzloadbody(char const *name, struct state *sp, bool doextend,
421 1.91 christos union local_storage *lsp)
422 1.49 christos {
423 1.49 christos int i;
424 1.49 christos int fid;
425 1.49 christos int stored;
426 1.66 christos ssize_t nread;
427 1.91 christos bool doaccess;
428 1.91 christos char *fullname = lsp->fullname;
429 1.91 christos union input_buffer *up = &lsp->u.u;
430 1.91 christos size_t tzheadsize = sizeof(struct tzhead);
431 1.83 christos
432 1.87 christos sp->goback = sp->goahead = false;
433 1.83 christos
434 1.83 christos if (! name) {
435 1.83 christos name = TZDEFAULT;
436 1.83 christos if (! name)
437 1.91 christos return EINVAL;
438 1.83 christos }
439 1.83 christos
440 1.83 christos if (name[0] == ':')
441 1.83 christos ++name;
442 1.83 christos doaccess = name[0] == '/';
443 1.83 christos if (!doaccess) {
444 1.91 christos char const *p = TZDIR;
445 1.91 christos if (! p)
446 1.91 christos return EINVAL;
447 1.91 christos if (sizeof lsp->fullname - 1 <= strlen(p) + strlen(name))
448 1.91 christos return ENAMETOOLONG;
449 1.83 christos strcpy(fullname, p);
450 1.83 christos strcat(fullname, "/");
451 1.83 christos strcat(fullname, name);
452 1.83 christos /* Set doaccess if '.' (as in "../") shows up in name. */
453 1.83 christos if (strchr(name, '.'))
454 1.87 christos doaccess = true;
455 1.83 christos name = fullname;
456 1.1 jtc }
457 1.83 christos if (doaccess && access(name, R_OK) != 0)
458 1.91 christos return errno;
459 1.83 christos
460 1.83 christos fid = open(name, OPEN_MODE);
461 1.83 christos if (fid < 0)
462 1.91 christos return errno;
463 1.58 christos nread = read(fid, up->buf, sizeof up->buf);
464 1.91 christos if (nread < (ssize_t)tzheadsize) {
465 1.91 christos int err = nread < 0 ? errno : EINVAL;
466 1.91 christos close(fid);
467 1.91 christos return err;
468 1.91 christos }
469 1.91 christos if (close(fid) < 0)
470 1.91 christos return errno;
471 1.45 mlelstv for (stored = 4; stored <= 8; stored *= 2) {
472 1.87 christos int_fast32_t ttisstdcnt = detzcode(up->tzhead.tzh_ttisstdcnt);
473 1.87 christos int_fast32_t ttisgmtcnt = detzcode(up->tzhead.tzh_ttisgmtcnt);
474 1.87 christos int_fast32_t leapcnt = detzcode(up->tzhead.tzh_leapcnt);
475 1.87 christos int_fast32_t timecnt = detzcode(up->tzhead.tzh_timecnt);
476 1.87 christos int_fast32_t typecnt = detzcode(up->tzhead.tzh_typecnt);
477 1.87 christos int_fast32_t charcnt = detzcode(up->tzhead.tzh_charcnt);
478 1.91 christos char const *p = up->buf + tzheadsize;
479 1.87 christos if (! (0 <= leapcnt && leapcnt < TZ_MAX_LEAPS
480 1.87 christos && 0 < typecnt && typecnt < TZ_MAX_TYPES
481 1.87 christos && 0 <= timecnt && timecnt < TZ_MAX_TIMES
482 1.87 christos && 0 <= charcnt && charcnt < TZ_MAX_CHARS
483 1.87 christos && (ttisstdcnt == typecnt || ttisstdcnt == 0)
484 1.87 christos && (ttisgmtcnt == typecnt || ttisgmtcnt == 0)))
485 1.91 christos return EINVAL;
486 1.91 christos if ((size_t)nread
487 1.91 christos < (tzheadsize /* struct tzhead */
488 1.91 christos + timecnt * stored /* ats */
489 1.87 christos + timecnt /* types */
490 1.87 christos + typecnt * 6 /* ttinfos */
491 1.87 christos + charcnt /* chars */
492 1.87 christos + leapcnt * (stored + 4) /* lsinfos */
493 1.87 christos + ttisstdcnt /* ttisstds */
494 1.87 christos + ttisgmtcnt)) /* ttisgmts */
495 1.91 christos return EINVAL;
496 1.87 christos sp->leapcnt = leapcnt;
497 1.87 christos sp->timecnt = timecnt;
498 1.87 christos sp->typecnt = typecnt;
499 1.87 christos sp->charcnt = charcnt;
500 1.87 christos
501 1.87 christos /* Read transitions, discarding those out of time_t range.
502 1.87 christos But pretend the last transition before time_t_min
503 1.87 christos occurred at time_t_min. */
504 1.81 christos timecnt = 0;
505 1.1 jtc for (i = 0; i < sp->timecnt; ++i) {
506 1.81 christos int_fast64_t at
507 1.81 christos = stored == 4 ? detzcode(p) : detzcode64(p);
508 1.87 christos sp->types[i] = at <= time_t_max;
509 1.81 christos if (sp->types[i]) {
510 1.87 christos time_t attime
511 1.87 christos = ((TYPE_SIGNED(time_t) ?
512 1.87 christos at < time_t_min : at < 0)
513 1.87 christos ? time_t_min : (time_t)at);
514 1.87 christos if (timecnt && attime <= sp->ats[timecnt - 1]) {
515 1.87 christos if (attime < sp->ats[timecnt - 1])
516 1.91 christos return EINVAL;
517 1.87 christos sp->types[i - 1] = 0;
518 1.87 christos timecnt--;
519 1.81 christos }
520 1.87 christos sp->ats[timecnt++] = attime;
521 1.81 christos }
522 1.45 mlelstv p += stored;
523 1.1 jtc }
524 1.87 christos
525 1.81 christos timecnt = 0;
526 1.1 jtc for (i = 0; i < sp->timecnt; ++i) {
527 1.81 christos unsigned char typ = *p++;
528 1.81 christos if (sp->typecnt <= typ)
529 1.91 christos return EINVAL;
530 1.81 christos if (sp->types[i])
531 1.81 christos sp->types[timecnt++] = typ;
532 1.1 jtc }
533 1.87 christos sp->timecnt = timecnt;
534 1.1 jtc for (i = 0; i < sp->typecnt; ++i) {
535 1.49 christos struct ttinfo * ttisp;
536 1.87 christos unsigned char isdst, abbrind;
537 1.1 jtc
538 1.1 jtc ttisp = &sp->ttis[i];
539 1.1 jtc ttisp->tt_gmtoff = detzcode(p);
540 1.1 jtc p += 4;
541 1.87 christos isdst = *p++;
542 1.87 christos if (! (isdst < 2))
543 1.91 christos return EINVAL;
544 1.87 christos ttisp->tt_isdst = isdst;
545 1.87 christos abbrind = *p++;
546 1.87 christos if (! (abbrind < sp->charcnt))
547 1.91 christos return EINVAL;
548 1.87 christos ttisp->tt_abbrind = abbrind;
549 1.1 jtc }
550 1.1 jtc for (i = 0; i < sp->charcnt; ++i)
551 1.1 jtc sp->chars[i] = *p++;
552 1.1 jtc sp->chars[i] = '\0'; /* ensure '\0' at end */
553 1.87 christos
554 1.87 christos /* Read leap seconds, discarding those out of time_t range. */
555 1.87 christos leapcnt = 0;
556 1.1 jtc for (i = 0; i < sp->leapcnt; ++i) {
557 1.87 christos int_fast64_t tr = stored == 4 ? detzcode(p) :
558 1.87 christos detzcode64(p);
559 1.87 christos int_fast32_t corr = detzcode(p + stored);
560 1.87 christos p += stored + 4;
561 1.87 christos if (tr <= time_t_max) {
562 1.87 christos time_t trans = ((TYPE_SIGNED(time_t) ?
563 1.87 christos tr < time_t_min : tr < 0)
564 1.87 christos ? time_t_min : (time_t)tr);
565 1.87 christos if (leapcnt && trans <=
566 1.87 christos sp->lsis[leapcnt - 1].ls_trans) {
567 1.87 christos if (trans <
568 1.87 christos sp->lsis[leapcnt - 1].ls_trans)
569 1.91 christos return EINVAL;
570 1.87 christos leapcnt--;
571 1.87 christos }
572 1.87 christos sp->lsis[leapcnt].ls_trans = trans;
573 1.87 christos sp->lsis[leapcnt].ls_corr = corr;
574 1.87 christos leapcnt++;
575 1.87 christos }
576 1.87 christos }
577 1.87 christos sp->leapcnt = leapcnt;
578 1.1 jtc
579 1.1 jtc for (i = 0; i < sp->typecnt; ++i) {
580 1.49 christos struct ttinfo * ttisp;
581 1.1 jtc
582 1.1 jtc ttisp = &sp->ttis[i];
583 1.1 jtc if (ttisstdcnt == 0)
584 1.87 christos ttisp->tt_ttisstd = false;
585 1.1 jtc else {
586 1.87 christos if (*p != true && *p != false)
587 1.91 christos return EINVAL;
588 1.1 jtc ttisp->tt_ttisstd = *p++;
589 1.1 jtc }
590 1.1 jtc }
591 1.1 jtc for (i = 0; i < sp->typecnt; ++i) {
592 1.49 christos struct ttinfo * ttisp;
593 1.1 jtc
594 1.1 jtc ttisp = &sp->ttis[i];
595 1.1 jtc if (ttisgmtcnt == 0)
596 1.87 christos ttisp->tt_ttisgmt = false;
597 1.1 jtc else {
598 1.87 christos if (*p != true && *p != false)
599 1.91 christos return EINVAL;
600 1.1 jtc ttisp->tt_ttisgmt = *p++;
601 1.1 jtc }
602 1.1 jtc }
603 1.45 mlelstv /*
604 1.45 mlelstv ** If this is an old file, we're done.
605 1.45 mlelstv */
606 1.58 christos if (up->tzhead.tzh_version[0] == '\0')
607 1.45 mlelstv break;
608 1.58 christos nread -= p - up->buf;
609 1.91 christos memmove(up->buf, p, (size_t)nread);
610 1.45 mlelstv }
611 1.45 mlelstv if (doextend && nread > 2 &&
612 1.58 christos up->buf[0] == '\n' && up->buf[nread - 1] == '\n' &&
613 1.45 mlelstv sp->typecnt + 2 <= TZ_MAX_TYPES) {
614 1.87 christos struct state *ts = &lsp->u.st;
615 1.45 mlelstv
616 1.58 christos up->buf[nread - 1] = '\0';
617 1.87 christos if (tzparse(&up->buf[1], ts, false)
618 1.98 christos && ts->typecnt == 2) {
619 1.98 christos
620 1.98 christos /* Attempt to reuse existing abbreviations.
621 1.98 christos Without this, America/Anchorage would stop
622 1.98 christos working after 2037 when TZ_MAX_CHARS is 50, as
623 1.98 christos sp->charcnt equals 42 (for LMT CAT CAWT CAPT AHST
624 1.98 christos AHDT YST AKDT AKST) and ts->charcnt equals 10
625 1.98 christos (for AKST AKDT). Reusing means sp->charcnt can
626 1.98 christos stay 42 in this example. */
627 1.98 christos int gotabbr = 0;
628 1.98 christos int charcnt = sp->charcnt;
629 1.98 christos for (i = 0; i < 2; i++) {
630 1.98 christos char *tsabbr = ts->chars + ts->ttis[i].tt_abbrind;
631 1.98 christos int j;
632 1.98 christos for (j = 0; j < charcnt; j++)
633 1.98 christos if (strcmp(sp->chars + j, tsabbr) == 0) {
634 1.98 christos ts->ttis[i].tt_abbrind = j;
635 1.98 christos gotabbr++;
636 1.98 christos break;
637 1.98 christos }
638 1.98 christos if (! (j < charcnt)) {
639 1.99 christos size_t tsabbrlen = strlen(tsabbr);
640 1.98 christos if (j + tsabbrlen < TZ_MAX_CHARS) {
641 1.98 christos strcpy(sp->chars + j, tsabbr);
642 1.98 christos charcnt = j + tsabbrlen + 1;
643 1.98 christos ts->ttis[i].tt_abbrind = j;
644 1.98 christos gotabbr++;
645 1.98 christos }
646 1.98 christos }
647 1.98 christos }
648 1.98 christos if (gotabbr == 2) {
649 1.98 christos sp->charcnt = charcnt;
650 1.98 christos for (i = 0; i < ts->timecnt; i++)
651 1.98 christos if (sp->ats[sp->timecnt - 1] < ts->ats[i])
652 1.98 christos break;
653 1.98 christos while (i < ts->timecnt
654 1.98 christos && sp->timecnt < TZ_MAX_TIMES) {
655 1.98 christos sp->ats[sp->timecnt] = ts->ats[i];
656 1.98 christos sp->types[sp->timecnt] = (sp->typecnt
657 1.98 christos + ts->types[i]);
658 1.98 christos sp->timecnt++;
659 1.98 christos i++;
660 1.98 christos }
661 1.98 christos sp->ttis[sp->typecnt++] = ts->ttis[0];
662 1.98 christos sp->ttis[sp->typecnt++] = ts->ttis[1];
663 1.98 christos }
664 1.45 mlelstv }
665 1.45 mlelstv }
666 1.45 mlelstv if (sp->timecnt > 1) {
667 1.45 mlelstv for (i = 1; i < sp->timecnt; ++i)
668 1.45 mlelstv if (typesequiv(sp, sp->types[i], sp->types[0]) &&
669 1.45 mlelstv differ_by_repeat(sp->ats[i], sp->ats[0])) {
670 1.87 christos sp->goback = true;
671 1.45 mlelstv break;
672 1.45 mlelstv }
673 1.45 mlelstv for (i = sp->timecnt - 2; i >= 0; --i)
674 1.45 mlelstv if (typesequiv(sp, sp->types[sp->timecnt - 1],
675 1.45 mlelstv sp->types[i]) &&
676 1.45 mlelstv differ_by_repeat(sp->ats[sp->timecnt - 1],
677 1.45 mlelstv sp->ats[i])) {
678 1.87 christos sp->goahead = true;
679 1.45 mlelstv break;
680 1.45 mlelstv }
681 1.1 jtc }
682 1.74 christos /*
683 1.74 christos ** If type 0 is is unused in transitions,
684 1.74 christos ** it's the type to use for early times.
685 1.74 christos */
686 1.87 christos for (i = 0; i < sp->timecnt; ++i)
687 1.74 christos if (sp->types[i] == 0)
688 1.74 christos break;
689 1.87 christos i = i < sp->timecnt ? -1 : 0;
690 1.74 christos /*
691 1.74 christos ** Absent the above,
692 1.74 christos ** if there are transition times
693 1.74 christos ** and the first transition is to a daylight time
694 1.74 christos ** find the standard type less than and closest to
695 1.74 christos ** the type of the first transition.
696 1.74 christos */
697 1.74 christos if (i < 0 && sp->timecnt > 0 && sp->ttis[sp->types[0]].tt_isdst) {
698 1.74 christos i = sp->types[0];
699 1.74 christos while (--i >= 0)
700 1.74 christos if (!sp->ttis[i].tt_isdst)
701 1.74 christos break;
702 1.74 christos }
703 1.74 christos /*
704 1.74 christos ** If no result yet, find the first standard type.
705 1.74 christos ** If there is none, punt to type zero.
706 1.74 christos */
707 1.74 christos if (i < 0) {
708 1.74 christos i = 0;
709 1.74 christos while (sp->ttis[i].tt_isdst)
710 1.74 christos if (++i >= sp->typecnt) {
711 1.74 christos i = 0;
712 1.74 christos break;
713 1.74 christos }
714 1.74 christos }
715 1.74 christos sp->defaulttype = i;
716 1.91 christos return 0;
717 1.91 christos }
718 1.91 christos
719 1.91 christos /* Load tz data from the file named NAME into *SP. Read extended
720 1.91 christos format if DOEXTEND. Return 0 on success, an errno value on failure. */
721 1.91 christos static int
722 1.91 christos tzload(char const *name, struct state *sp, bool doextend)
723 1.91 christos {
724 1.91 christos union local_storage *lsp = malloc(sizeof *lsp);
725 1.91 christos if (!lsp)
726 1.91 christos return errno;
727 1.91 christos else {
728 1.91 christos int err = tzloadbody(name, sp, doextend, lsp);
729 1.91 christos free(lsp);
730 1.91 christos return err;
731 1.91 christos }
732 1.1 jtc }
733 1.1 jtc
734 1.87 christos static bool
735 1.96 christos typesequiv(const struct state *sp, int a, int b)
736 1.45 mlelstv {
737 1.87 christos bool result;
738 1.45 mlelstv
739 1.45 mlelstv if (sp == NULL ||
740 1.45 mlelstv a < 0 || a >= sp->typecnt ||
741 1.45 mlelstv b < 0 || b >= sp->typecnt)
742 1.87 christos result = false;
743 1.45 mlelstv else {
744 1.49 christos const struct ttinfo * ap = &sp->ttis[a];
745 1.49 christos const struct ttinfo * bp = &sp->ttis[b];
746 1.45 mlelstv result = ap->tt_gmtoff == bp->tt_gmtoff &&
747 1.45 mlelstv ap->tt_isdst == bp->tt_isdst &&
748 1.45 mlelstv ap->tt_ttisstd == bp->tt_ttisstd &&
749 1.45 mlelstv ap->tt_ttisgmt == bp->tt_ttisgmt &&
750 1.45 mlelstv strcmp(&sp->chars[ap->tt_abbrind],
751 1.45 mlelstv &sp->chars[bp->tt_abbrind]) == 0;
752 1.45 mlelstv }
753 1.45 mlelstv return result;
754 1.45 mlelstv }
755 1.45 mlelstv
756 1.1 jtc static const int mon_lengths[2][MONSPERYEAR] = {
757 1.1 jtc { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 },
758 1.1 jtc { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }
759 1.1 jtc };
760 1.1 jtc
761 1.1 jtc static const int year_lengths[2] = {
762 1.1 jtc DAYSPERNYEAR, DAYSPERLYEAR
763 1.1 jtc };
764 1.1 jtc
765 1.1 jtc /*
766 1.1 jtc ** Given a pointer into a time zone string, scan until a character that is not
767 1.45 mlelstv ** a valid character in a zone name is found. Return a pointer to that
768 1.1 jtc ** character.
769 1.1 jtc */
770 1.1 jtc
771 1.87 christos static const char * ATTRIBUTE_PURE
772 1.67 matt getzname(const char *strp)
773 1.1 jtc {
774 1.49 christos char c;
775 1.1 jtc
776 1.5 jtc while ((c = *strp) != '\0' && !is_digit(c) && c != ',' && c != '-' &&
777 1.1 jtc c != '+')
778 1.1 jtc ++strp;
779 1.1 jtc return strp;
780 1.1 jtc }
781 1.1 jtc
782 1.1 jtc /*
783 1.45 mlelstv ** Given a pointer into an extended time zone string, scan until the ending
784 1.45 mlelstv ** delimiter of the zone name is located. Return a pointer to the delimiter.
785 1.45 mlelstv **
786 1.45 mlelstv ** As with getzname above, the legal character set is actually quite
787 1.45 mlelstv ** restricted, with other characters producing undefined results.
788 1.45 mlelstv ** We don't do any checking here; checking is done later in common-case code.
789 1.45 mlelstv */
790 1.45 mlelstv
791 1.87 christos static const char * ATTRIBUTE_PURE
792 1.49 christos getqzname(const char *strp, const int delim)
793 1.45 mlelstv {
794 1.49 christos int c;
795 1.45 mlelstv
796 1.45 mlelstv while ((c = *strp) != '\0' && c != delim)
797 1.45 mlelstv ++strp;
798 1.45 mlelstv return strp;
799 1.45 mlelstv }
800 1.45 mlelstv
801 1.45 mlelstv /*
802 1.1 jtc ** Given a pointer into a time zone string, extract a number from that string.
803 1.1 jtc ** Check that the number is within a specified range; if it is not, return
804 1.1 jtc ** NULL.
805 1.1 jtc ** Otherwise, return a pointer to the first character not part of the number.
806 1.1 jtc */
807 1.1 jtc
808 1.1 jtc static const char *
809 1.68 christos getnum(const char *strp, int *const nump, const int min, const int max)
810 1.1 jtc {
811 1.49 christos char c;
812 1.49 christos int num;
813 1.1 jtc
814 1.46 christos if (strp == NULL || !is_digit(c = *strp)) {
815 1.46 christos errno = EINVAL;
816 1.1 jtc return NULL;
817 1.46 christos }
818 1.1 jtc num = 0;
819 1.5 jtc do {
820 1.1 jtc num = num * 10 + (c - '0');
821 1.46 christos if (num > max) {
822 1.46 christos errno = EOVERFLOW;
823 1.1 jtc return NULL; /* illegal value */
824 1.46 christos }
825 1.5 jtc c = *++strp;
826 1.5 jtc } while (is_digit(c));
827 1.46 christos if (num < min) {
828 1.46 christos errno = EINVAL;
829 1.1 jtc return NULL; /* illegal value */
830 1.46 christos }
831 1.1 jtc *nump = num;
832 1.1 jtc return strp;
833 1.1 jtc }
834 1.1 jtc
835 1.1 jtc /*
836 1.1 jtc ** Given a pointer into a time zone string, extract a number of seconds,
837 1.1 jtc ** in hh[:mm[:ss]] form, from the string.
838 1.1 jtc ** If any error occurs, return NULL.
839 1.1 jtc ** Otherwise, return a pointer to the first character not part of the number
840 1.1 jtc ** of seconds.
841 1.1 jtc */
842 1.1 jtc
843 1.1 jtc static const char *
844 1.74 christos getsecs(const char *strp, int_fast32_t *const secsp)
845 1.1 jtc {
846 1.1 jtc int num;
847 1.1 jtc
848 1.1 jtc /*
849 1.83 christos ** 'HOURSPERDAY * DAYSPERWEEK - 1' allows quasi-Posix rules like
850 1.1 jtc ** "M10.4.6/26", which does not conform to Posix,
851 1.1 jtc ** but which specifies the equivalent of
852 1.83 christos ** "02:00 on the first Sunday on or after 23 Oct".
853 1.1 jtc */
854 1.1 jtc strp = getnum(strp, &num, 0, HOURSPERDAY * DAYSPERWEEK - 1);
855 1.1 jtc if (strp == NULL)
856 1.1 jtc return NULL;
857 1.74 christos *secsp = num * (int_fast32_t) SECSPERHOUR;
858 1.1 jtc if (*strp == ':') {
859 1.1 jtc ++strp;
860 1.1 jtc strp = getnum(strp, &num, 0, MINSPERHOUR - 1);
861 1.1 jtc if (strp == NULL)
862 1.1 jtc return NULL;
863 1.1 jtc *secsp += num * SECSPERMIN;
864 1.1 jtc if (*strp == ':') {
865 1.1 jtc ++strp;
866 1.83 christos /* 'SECSPERMIN' allows for leap seconds. */
867 1.1 jtc strp = getnum(strp, &num, 0, SECSPERMIN);
868 1.1 jtc if (strp == NULL)
869 1.1 jtc return NULL;
870 1.1 jtc *secsp += num;
871 1.1 jtc }
872 1.1 jtc }
873 1.1 jtc return strp;
874 1.1 jtc }
875 1.1 jtc
876 1.1 jtc /*
877 1.1 jtc ** Given a pointer into a time zone string, extract an offset, in
878 1.1 jtc ** [+-]hh[:mm[:ss]] form, from the string.
879 1.1 jtc ** If any error occurs, return NULL.
880 1.1 jtc ** Otherwise, return a pointer to the first character not part of the time.
881 1.1 jtc */
882 1.1 jtc
883 1.1 jtc static const char *
884 1.74 christos getoffset(const char *strp, int_fast32_t *const offsetp)
885 1.1 jtc {
886 1.87 christos bool neg = false;
887 1.1 jtc
888 1.1 jtc if (*strp == '-') {
889 1.87 christos neg = true;
890 1.1 jtc ++strp;
891 1.5 jtc } else if (*strp == '+')
892 1.5 jtc ++strp;
893 1.1 jtc strp = getsecs(strp, offsetp);
894 1.1 jtc if (strp == NULL)
895 1.1 jtc return NULL; /* illegal time */
896 1.1 jtc if (neg)
897 1.1 jtc *offsetp = -*offsetp;
898 1.1 jtc return strp;
899 1.1 jtc }
900 1.1 jtc
901 1.1 jtc /*
902 1.1 jtc ** Given a pointer into a time zone string, extract a rule in the form
903 1.45 mlelstv ** date[/time]. See POSIX section 8 for the format of "date" and "time".
904 1.1 jtc ** If a valid rule is not found, return NULL.
905 1.1 jtc ** Otherwise, return a pointer to the first character not part of the rule.
906 1.1 jtc */
907 1.1 jtc
908 1.1 jtc static const char *
909 1.49 christos getrule(const char *strp, struct rule *const rulep)
910 1.1 jtc {
911 1.1 jtc if (*strp == 'J') {
912 1.1 jtc /*
913 1.1 jtc ** Julian day.
914 1.1 jtc */
915 1.1 jtc rulep->r_type = JULIAN_DAY;
916 1.1 jtc ++strp;
917 1.1 jtc strp = getnum(strp, &rulep->r_day, 1, DAYSPERNYEAR);
918 1.1 jtc } else if (*strp == 'M') {
919 1.1 jtc /*
920 1.1 jtc ** Month, week, day.
921 1.1 jtc */
922 1.1 jtc rulep->r_type = MONTH_NTH_DAY_OF_WEEK;
923 1.1 jtc ++strp;
924 1.1 jtc strp = getnum(strp, &rulep->r_mon, 1, MONSPERYEAR);
925 1.1 jtc if (strp == NULL)
926 1.1 jtc return NULL;
927 1.1 jtc if (*strp++ != '.')
928 1.1 jtc return NULL;
929 1.1 jtc strp = getnum(strp, &rulep->r_week, 1, 5);
930 1.1 jtc if (strp == NULL)
931 1.1 jtc return NULL;
932 1.1 jtc if (*strp++ != '.')
933 1.1 jtc return NULL;
934 1.1 jtc strp = getnum(strp, &rulep->r_day, 0, DAYSPERWEEK - 1);
935 1.5 jtc } else if (is_digit(*strp)) {
936 1.1 jtc /*
937 1.1 jtc ** Day of year.
938 1.1 jtc */
939 1.1 jtc rulep->r_type = DAY_OF_YEAR;
940 1.1 jtc strp = getnum(strp, &rulep->r_day, 0, DAYSPERLYEAR - 1);
941 1.1 jtc } else return NULL; /* invalid format */
942 1.1 jtc if (strp == NULL)
943 1.1 jtc return NULL;
944 1.1 jtc if (*strp == '/') {
945 1.1 jtc /*
946 1.1 jtc ** Time specified.
947 1.1 jtc */
948 1.1 jtc ++strp;
949 1.78 christos strp = getoffset(strp, &rulep->r_time);
950 1.1 jtc } else rulep->r_time = 2 * SECSPERHOUR; /* default = 2:00:00 */
951 1.1 jtc return strp;
952 1.1 jtc }
953 1.1 jtc
954 1.1 jtc /*
955 1.81 christos ** Given a year, a rule, and the offset from UT at the time that rule takes
956 1.81 christos ** effect, calculate the year-relative time that rule takes effect.
957 1.1 jtc */
958 1.1 jtc
959 1.87 christos static int_fast32_t ATTRIBUTE_PURE
960 1.81 christos transtime(const int year, const struct rule *const rulep,
961 1.81 christos const int_fast32_t offset)
962 1.49 christos {
963 1.87 christos bool leapyear;
964 1.87 christos int_fast32_t value;
965 1.49 christos int i;
966 1.1 jtc int d, m1, yy0, yy1, yy2, dow;
967 1.1 jtc
968 1.1 jtc INITIALIZE(value);
969 1.1 jtc leapyear = isleap(year);
970 1.1 jtc switch (rulep->r_type) {
971 1.1 jtc
972 1.1 jtc case JULIAN_DAY:
973 1.1 jtc /*
974 1.1 jtc ** Jn - Julian day, 1 == January 1, 60 == March 1 even in leap
975 1.1 jtc ** years.
976 1.1 jtc ** In non-leap years, or if the day number is 59 or less, just
977 1.1 jtc ** add SECSPERDAY times the day number-1 to the time of
978 1.1 jtc ** January 1, midnight, to get the day.
979 1.1 jtc */
980 1.81 christos value = (rulep->r_day - 1) * SECSPERDAY;
981 1.1 jtc if (leapyear && rulep->r_day >= 60)
982 1.1 jtc value += SECSPERDAY;
983 1.1 jtc break;
984 1.1 jtc
985 1.1 jtc case DAY_OF_YEAR:
986 1.1 jtc /*
987 1.1 jtc ** n - day of year.
988 1.1 jtc ** Just add SECSPERDAY times the day number to the time of
989 1.1 jtc ** January 1, midnight, to get the day.
990 1.1 jtc */
991 1.81 christos value = rulep->r_day * SECSPERDAY;
992 1.1 jtc break;
993 1.1 jtc
994 1.1 jtc case MONTH_NTH_DAY_OF_WEEK:
995 1.1 jtc /*
996 1.1 jtc ** Mm.n.d - nth "dth day" of month m.
997 1.1 jtc */
998 1.1 jtc
999 1.1 jtc /*
1000 1.1 jtc ** Use Zeller's Congruence to get day-of-week of first day of
1001 1.1 jtc ** month.
1002 1.1 jtc */
1003 1.1 jtc m1 = (rulep->r_mon + 9) % 12 + 1;
1004 1.1 jtc yy0 = (rulep->r_mon <= 2) ? (year - 1) : year;
1005 1.1 jtc yy1 = yy0 / 100;
1006 1.1 jtc yy2 = yy0 % 100;
1007 1.1 jtc dow = ((26 * m1 - 2) / 10 +
1008 1.1 jtc 1 + yy2 + yy2 / 4 + yy1 / 4 - 2 * yy1) % 7;
1009 1.1 jtc if (dow < 0)
1010 1.1 jtc dow += DAYSPERWEEK;
1011 1.1 jtc
1012 1.1 jtc /*
1013 1.45 mlelstv ** "dow" is the day-of-week of the first day of the month. Get
1014 1.1 jtc ** the day-of-month (zero-origin) of the first "dow" day of the
1015 1.1 jtc ** month.
1016 1.1 jtc */
1017 1.1 jtc d = rulep->r_day - dow;
1018 1.1 jtc if (d < 0)
1019 1.1 jtc d += DAYSPERWEEK;
1020 1.1 jtc for (i = 1; i < rulep->r_week; ++i) {
1021 1.1 jtc if (d + DAYSPERWEEK >=
1022 1.1 jtc mon_lengths[leapyear][rulep->r_mon - 1])
1023 1.1 jtc break;
1024 1.1 jtc d += DAYSPERWEEK;
1025 1.1 jtc }
1026 1.1 jtc
1027 1.1 jtc /*
1028 1.1 jtc ** "d" is the day-of-month (zero-origin) of the day we want.
1029 1.1 jtc */
1030 1.81 christos value = d * SECSPERDAY;
1031 1.81 christos for (i = 0; i < rulep->r_mon - 1; ++i)
1032 1.81 christos value += mon_lengths[leapyear][i] * SECSPERDAY;
1033 1.1 jtc break;
1034 1.1 jtc }
1035 1.1 jtc
1036 1.1 jtc /*
1037 1.81 christos ** "value" is the year-relative time of 00:00:00 UT on the day in
1038 1.81 christos ** question. To get the year-relative time of the specified local
1039 1.1 jtc ** time on that day, add the transition time and the current offset
1040 1.78 christos ** from UT.
1041 1.1 jtc */
1042 1.81 christos return value + rulep->r_time + offset;
1043 1.1 jtc }
1044 1.1 jtc
1045 1.1 jtc /*
1046 1.1 jtc ** Given a POSIX section 8-style TZ string, fill in the rule tables as
1047 1.1 jtc ** appropriate.
1048 1.1 jtc */
1049 1.1 jtc
1050 1.87 christos static bool
1051 1.96 christos tzparse(const char *name, struct state *sp, bool lastditch)
1052 1.87 christos {
1053 1.87 christos const char * stdname;
1054 1.87 christos const char * dstname;
1055 1.87 christos size_t stdlen;
1056 1.87 christos size_t dstlen;
1057 1.96 christos size_t charcnt;
1058 1.87 christos int_fast32_t stdoffset;
1059 1.87 christos int_fast32_t dstoffset;
1060 1.87 christos char * cp;
1061 1.87 christos bool load_ok;
1062 1.1 jtc
1063 1.84 martin dstname = NULL; /* XXX gcc */
1064 1.1 jtc stdname = name;
1065 1.1 jtc if (lastditch) {
1066 1.96 christos stdlen = sizeof gmt - 1;
1067 1.1 jtc name += stdlen;
1068 1.10 jtc stdoffset = 0;
1069 1.1 jtc } else {
1070 1.45 mlelstv if (*name == '<') {
1071 1.45 mlelstv name++;
1072 1.45 mlelstv stdname = name;
1073 1.45 mlelstv name = getqzname(name, '>');
1074 1.45 mlelstv if (*name != '>')
1075 1.87 christos return false;
1076 1.45 mlelstv stdlen = name - stdname;
1077 1.45 mlelstv name++;
1078 1.45 mlelstv } else {
1079 1.45 mlelstv name = getzname(name);
1080 1.45 mlelstv stdlen = name - stdname;
1081 1.45 mlelstv }
1082 1.96 christos if (!stdlen)
1083 1.87 christos return false;
1084 1.45 mlelstv name = getoffset(name, &stdoffset);
1085 1.1 jtc if (name == NULL)
1086 1.87 christos return false;
1087 1.1 jtc }
1088 1.96 christos charcnt = stdlen + 1;
1089 1.96 christos if (sizeof sp->chars < charcnt)
1090 1.96 christos return false;
1091 1.91 christos load_ok = tzload(TZDEFRULES, sp, false) == 0;
1092 1.87 christos if (!load_ok)
1093 1.1 jtc sp->leapcnt = 0; /* so, we're off a little */
1094 1.1 jtc if (*name != '\0') {
1095 1.45 mlelstv if (*name == '<') {
1096 1.45 mlelstv dstname = ++name;
1097 1.45 mlelstv name = getqzname(name, '>');
1098 1.45 mlelstv if (*name != '>')
1099 1.87 christos return false;
1100 1.45 mlelstv dstlen = name - dstname;
1101 1.45 mlelstv name++;
1102 1.45 mlelstv } else {
1103 1.45 mlelstv dstname = name;
1104 1.45 mlelstv name = getzname(name);
1105 1.45 mlelstv dstlen = name - dstname; /* length of DST zone name */
1106 1.45 mlelstv }
1107 1.96 christos if (!dstlen)
1108 1.96 christos return false;
1109 1.96 christos charcnt += dstlen + 1;
1110 1.96 christos if (sizeof sp->chars < charcnt)
1111 1.96 christos return false;
1112 1.1 jtc if (*name != '\0' && *name != ',' && *name != ';') {
1113 1.45 mlelstv name = getoffset(name, &dstoffset);
1114 1.1 jtc if (name == NULL)
1115 1.87 christos return false;
1116 1.1 jtc } else dstoffset = stdoffset - SECSPERHOUR;
1117 1.87 christos if (*name == '\0' && !load_ok)
1118 1.22 kleink name = TZDEFRULESTRING;
1119 1.1 jtc if (*name == ',' || *name == ';') {
1120 1.1 jtc struct rule start;
1121 1.1 jtc struct rule end;
1122 1.78 christos int year;
1123 1.78 christos int yearlim;
1124 1.81 christos int timecnt;
1125 1.78 christos time_t janfirst;
1126 1.1 jtc
1127 1.1 jtc ++name;
1128 1.45 mlelstv if ((name = getrule(name, &start)) == NULL)
1129 1.87 christos return false;
1130 1.1 jtc if (*name++ != ',')
1131 1.87 christos return false;
1132 1.45 mlelstv if ((name = getrule(name, &end)) == NULL)
1133 1.87 christos return false;
1134 1.1 jtc if (*name != '\0')
1135 1.87 christos return false;
1136 1.1 jtc sp->typecnt = 2; /* standard time and DST */
1137 1.1 jtc /*
1138 1.45 mlelstv ** Two transitions per year, from EPOCH_YEAR forward.
1139 1.1 jtc */
1140 1.91 christos init_ttinfo(&sp->ttis[0], -dstoffset, true,
1141 1.91 christos (int)(stdlen + 1));
1142 1.91 christos init_ttinfo(&sp->ttis[1], -stdoffset, false, 0);
1143 1.82 christos sp->defaulttype = 0;
1144 1.81 christos timecnt = 0;
1145 1.1 jtc janfirst = 0;
1146 1.78 christos yearlim = EPOCH_YEAR + YEARSPERREPEAT;
1147 1.78 christos for (year = EPOCH_YEAR; year < yearlim; year++) {
1148 1.81 christos int_fast32_t
1149 1.81 christos starttime = transtime(year, &start, stdoffset),
1150 1.81 christos endtime = transtime(year, &end, dstoffset);
1151 1.81 christos int_fast32_t
1152 1.81 christos yearsecs = (year_lengths[isleap(year)]
1153 1.81 christos * SECSPERDAY);
1154 1.87 christos bool reversed = endtime < starttime;
1155 1.81 christos if (reversed) {
1156 1.81 christos int_fast32_t swap = starttime;
1157 1.81 christos starttime = endtime;
1158 1.81 christos endtime = swap;
1159 1.81 christos }
1160 1.81 christos if (reversed
1161 1.78 christos || (starttime < endtime
1162 1.78 christos && (endtime - starttime
1163 1.78 christos < (yearsecs
1164 1.78 christos + (stdoffset - dstoffset))))) {
1165 1.81 christos if (TZ_MAX_TIMES - 2 < timecnt)
1166 1.78 christos break;
1167 1.78 christos yearlim = year + YEARSPERREPEAT + 1;
1168 1.81 christos sp->ats[timecnt] = janfirst;
1169 1.81 christos if (increment_overflow_time
1170 1.81 christos (&sp->ats[timecnt], starttime))
1171 1.81 christos break;
1172 1.81 christos sp->types[timecnt++] = reversed;
1173 1.81 christos sp->ats[timecnt] = janfirst;
1174 1.81 christos if (increment_overflow_time
1175 1.81 christos (&sp->ats[timecnt], endtime))
1176 1.81 christos break;
1177 1.81 christos sp->types[timecnt++] = !reversed;
1178 1.1 jtc }
1179 1.81 christos if (increment_overflow_time(&janfirst, yearsecs))
1180 1.45 mlelstv break;
1181 1.1 jtc }
1182 1.81 christos sp->timecnt = timecnt;
1183 1.81 christos if (!timecnt)
1184 1.78 christos sp->typecnt = 1; /* Perpetual DST. */
1185 1.1 jtc } else {
1186 1.74 christos int_fast32_t theirstdoffset;
1187 1.74 christos int_fast32_t theirdstoffset;
1188 1.74 christos int_fast32_t theiroffset;
1189 1.87 christos bool isdst;
1190 1.74 christos int i;
1191 1.74 christos int j;
1192 1.1 jtc
1193 1.1 jtc if (*name != '\0')
1194 1.87 christos return false;
1195 1.1 jtc /*
1196 1.69 christos ** Initial values of theirstdoffset and theirdstoffset.
1197 1.1 jtc */
1198 1.1 jtc theirstdoffset = 0;
1199 1.1 jtc for (i = 0; i < sp->timecnt; ++i) {
1200 1.1 jtc j = sp->types[i];
1201 1.1 jtc if (!sp->ttis[j].tt_isdst) {
1202 1.5 jtc theirstdoffset =
1203 1.5 jtc -sp->ttis[j].tt_gmtoff;
1204 1.1 jtc break;
1205 1.1 jtc }
1206 1.1 jtc }
1207 1.45 mlelstv theirdstoffset = 0;
1208 1.45 mlelstv for (i = 0; i < sp->timecnt; ++i) {
1209 1.45 mlelstv j = sp->types[i];
1210 1.45 mlelstv if (sp->ttis[j].tt_isdst) {
1211 1.45 mlelstv theirdstoffset =
1212 1.45 mlelstv -sp->ttis[j].tt_gmtoff;
1213 1.45 mlelstv break;
1214 1.45 mlelstv }
1215 1.45 mlelstv }
1216 1.1 jtc /*
1217 1.1 jtc ** Initially we're assumed to be in standard time.
1218 1.1 jtc */
1219 1.87 christos isdst = false;
1220 1.1 jtc theiroffset = theirstdoffset;
1221 1.1 jtc /*
1222 1.1 jtc ** Now juggle transition times and types
1223 1.1 jtc ** tracking offsets as you do.
1224 1.1 jtc */
1225 1.1 jtc for (i = 0; i < sp->timecnt; ++i) {
1226 1.1 jtc j = sp->types[i];
1227 1.1 jtc sp->types[i] = sp->ttis[j].tt_isdst;
1228 1.1 jtc if (sp->ttis[j].tt_ttisgmt) {
1229 1.1 jtc /* No adjustment to transition time */
1230 1.1 jtc } else {
1231 1.1 jtc /*
1232 1.1 jtc ** If summer time is in effect, and the
1233 1.1 jtc ** transition time was not specified as
1234 1.1 jtc ** standard time, add the summer time
1235 1.1 jtc ** offset to the transition time;
1236 1.1 jtc ** otherwise, add the standard time
1237 1.1 jtc ** offset to the transition time.
1238 1.1 jtc */
1239 1.1 jtc /*
1240 1.1 jtc ** Transitions from DST to DDST
1241 1.1 jtc ** will effectively disappear since
1242 1.1 jtc ** POSIX provides for only one DST
1243 1.1 jtc ** offset.
1244 1.1 jtc */
1245 1.45 mlelstv if (isdst && !sp->ttis[j].tt_ttisstd) {
1246 1.66 christos sp->ats[i] += (time_t)
1247 1.66 christos (dstoffset - theirdstoffset);
1248 1.45 mlelstv } else {
1249 1.66 christos sp->ats[i] += (time_t)
1250 1.66 christos (stdoffset - theirstdoffset);
1251 1.45 mlelstv }
1252 1.1 jtc }
1253 1.1 jtc theiroffset = -sp->ttis[j].tt_gmtoff;
1254 1.87 christos if (sp->ttis[j].tt_isdst)
1255 1.39 christos theirstdoffset = theiroffset;
1256 1.45 mlelstv else theirdstoffset = theiroffset;
1257 1.1 jtc }
1258 1.1 jtc /*
1259 1.1 jtc ** Finally, fill in ttis.
1260 1.1 jtc */
1261 1.91 christos init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
1262 1.91 christos init_ttinfo(&sp->ttis[1], -dstoffset, true,
1263 1.91 christos (int)(stdlen + 1));
1264 1.7 jtc sp->typecnt = 2;
1265 1.82 christos sp->defaulttype = 0;
1266 1.1 jtc }
1267 1.1 jtc } else {
1268 1.1 jtc dstlen = 0;
1269 1.1 jtc sp->typecnt = 1; /* only standard time */
1270 1.1 jtc sp->timecnt = 0;
1271 1.91 christos init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
1272 1.91 christos init_ttinfo(&sp->ttis[1], 0, false, 0);
1273 1.82 christos sp->defaulttype = 0;
1274 1.1 jtc }
1275 1.99 christos sp->charcnt = (int)charcnt;
1276 1.1 jtc cp = sp->chars;
1277 1.87 christos (void) memcpy(cp, stdname, stdlen);
1278 1.1 jtc cp += stdlen;
1279 1.1 jtc *cp++ = '\0';
1280 1.1 jtc if (dstlen != 0) {
1281 1.87 christos (void) memcpy(cp, dstname, dstlen);
1282 1.1 jtc *(cp + dstlen) = '\0';
1283 1.1 jtc }
1284 1.87 christos return true;
1285 1.1 jtc }
1286 1.1 jtc
1287 1.1 jtc static void
1288 1.87 christos gmtload(struct state *const sp)
1289 1.49 christos {
1290 1.91 christos if (tzload(gmt, sp, true) != 0)
1291 1.87 christos (void) tzparse(gmt, sp, true);
1292 1.49 christos }
1293 1.49 christos
1294 1.91 christos static int
1295 1.87 christos zoneinit(struct state *sp, char const *name)
1296 1.49 christos {
1297 1.87 christos if (name && ! name[0]) {
1298 1.91 christos /*
1299 1.91 christos ** User wants it fast rather than right.
1300 1.91 christos */
1301 1.91 christos sp->leapcnt = 0; /* so, we're off a little */
1302 1.87 christos sp->timecnt = 0;
1303 1.87 christos sp->typecnt = 0;
1304 1.91 christos sp->charcnt = 0;
1305 1.91 christos sp->goback = sp->goahead = false;
1306 1.91 christos init_ttinfo(&sp->ttis[0], 0, false, 0);
1307 1.87 christos strcpy(sp->chars, gmt);
1308 1.91 christos sp->defaulttype = 0;
1309 1.91 christos return 0;
1310 1.91 christos } else {
1311 1.91 christos int err = tzload(name, sp, true);
1312 1.91 christos if (err != 0 && name && name[0] != ':' &&
1313 1.91 christos tzparse(name, sp, false))
1314 1.93 christos err = 0;
1315 1.93 christos if (err == 0)
1316 1.93 christos scrub_abbrs(sp);
1317 1.91 christos return err;
1318 1.87 christos }
1319 1.49 christos }
1320 1.87 christos
1321 1.19 kleink static void
1322 1.87 christos tzsetlcl(char const *name)
1323 1.1 jtc {
1324 1.91 christos struct state *sp = lclptr;
1325 1.87 christos int lcl = name ? strlen(name) < sizeof lcl_TZname : -1;
1326 1.87 christos if (lcl < 0 ? lcl_is_set < 0
1327 1.87 christos : 0 < lcl_is_set && strcmp(lcl_TZname, name) == 0)
1328 1.1 jtc return;
1329 1.1 jtc
1330 1.91 christos if (! sp)
1331 1.91 christos lclptr = sp = malloc(sizeof *lclptr);
1332 1.91 christos if (sp) {
1333 1.91 christos if (zoneinit(sp, name) != 0)
1334 1.91 christos zoneinit(sp, "");
1335 1.91 christos if (0 < lcl)
1336 1.91 christos strcpy(lcl_TZname, name);
1337 1.89 christos }
1338 1.45 mlelstv settzname();
1339 1.87 christos lcl_is_set = lcl;
1340 1.1 jtc }
1341 1.1 jtc
1342 1.87 christos #ifdef STD_INSPIRED
1343 1.1 jtc void
1344 1.45 mlelstv tzsetwall(void)
1345 1.19 kleink {
1346 1.45 mlelstv rwlock_wrlock(&lcl_lock);
1347 1.87 christos tzsetlcl(NULL);
1348 1.45 mlelstv rwlock_unlock(&lcl_lock);
1349 1.19 kleink }
1350 1.87 christos #endif
1351 1.87 christos
1352 1.87 christos static void
1353 1.87 christos tzset_unlocked(void)
1354 1.87 christos {
1355 1.87 christos tzsetlcl(getenv("TZ"));
1356 1.87 christos }
1357 1.19 kleink
1358 1.45 mlelstv void
1359 1.87 christos tzset(void)
1360 1.1 jtc {
1361 1.87 christos rwlock_wrlock(&lcl_lock);
1362 1.87 christos tzset_unlocked();
1363 1.87 christos rwlock_unlock(&lcl_lock);
1364 1.87 christos }
1365 1.1 jtc
1366 1.87 christos static void
1367 1.87 christos gmtcheck(void)
1368 1.87 christos {
1369 1.87 christos static bool gmt_is_set;
1370 1.87 christos rwlock_wrlock(&lcl_lock);
1371 1.87 christos if (! gmt_is_set) {
1372 1.87 christos gmtptr = malloc(sizeof *gmtptr);
1373 1.87 christos if (gmtptr)
1374 1.87 christos gmtload(gmtptr);
1375 1.87 christos gmt_is_set = true;
1376 1.1 jtc }
1377 1.87 christos rwlock_unlock(&lcl_lock);
1378 1.87 christos }
1379 1.1 jtc
1380 1.87 christos #if NETBSD_INSPIRED
1381 1.1 jtc
1382 1.87 christos timezone_t
1383 1.87 christos tzalloc(const char *name)
1384 1.87 christos {
1385 1.87 christos timezone_t sp = malloc(sizeof *sp);
1386 1.91 christos if (sp) {
1387 1.91 christos int err = zoneinit(sp, name);
1388 1.91 christos if (err != 0) {
1389 1.91 christos free(sp);
1390 1.91 christos errno = err;
1391 1.91 christos return NULL;
1392 1.91 christos }
1393 1.91 christos }
1394 1.91 christos return sp;
1395 1.1 jtc }
1396 1.1 jtc
1397 1.19 kleink void
1398 1.87 christos tzfree(timezone_t sp)
1399 1.19 kleink {
1400 1.87 christos free(sp);
1401 1.19 kleink }
1402 1.19 kleink
1403 1.1 jtc /*
1404 1.87 christos ** NetBSD 6.1.4 has ctime_rz, but omit it because POSIX says ctime and
1405 1.87 christos ** ctime_r are obsolescent and have potential security problems that
1406 1.87 christos ** ctime_rz would share. Callers can instead use localtime_rz + strftime.
1407 1.87 christos **
1408 1.87 christos ** NetBSD 6.1.4 has tzgetname, but omit it because it doesn't work
1409 1.87 christos ** in zones with three or more time zone abbreviations.
1410 1.87 christos ** Callers can instead use localtime_rz + strftime.
1411 1.87 christos */
1412 1.87 christos
1413 1.87 christos #endif
1414 1.87 christos
1415 1.87 christos /*
1416 1.1 jtc ** The easy way to behave "as if no library function calls" localtime
1417 1.83 christos ** is to not call it, so we drop its guts into "localsub", which can be
1418 1.83 christos ** freely called. (And no, the PANS doesn't require the above behavior,
1419 1.1 jtc ** but it *is* desirable.)
1420 1.1 jtc **
1421 1.93 christos ** If successful and SETNAME is nonzero,
1422 1.91 christos ** set the applicable parts of tzname, timezone and altzone;
1423 1.91 christos ** however, it's OK to omit this step if the time zone is POSIX-compatible,
1424 1.91 christos ** since in that case tzset should have already done this step correctly.
1425 1.93 christos ** SETNAME's type is intfast32_t for compatibility with gmtsub,
1426 1.93 christos ** but it is actually a boolean and its value should be 0 or 1.
1427 1.1 jtc */
1428 1.1 jtc
1429 1.1 jtc /*ARGSUSED*/
1430 1.45 mlelstv static struct tm *
1431 1.93 christos localsub(struct state const *sp, time_t const *timep, int_fast32_t setname,
1432 1.87 christos struct tm *const tmp)
1433 1.49 christos {
1434 1.49 christos const struct ttinfo * ttisp;
1435 1.49 christos int i;
1436 1.49 christos struct tm * result;
1437 1.1 jtc const time_t t = *timep;
1438 1.1 jtc
1439 1.87 christos if (sp == NULL) {
1440 1.91 christos /* Don't bother to set tzname etc.; tzset has already done it. */
1441 1.91 christos return gmtsub(gmtptr, timep, 0, tmp);
1442 1.87 christos }
1443 1.45 mlelstv if ((sp->goback && t < sp->ats[0]) ||
1444 1.45 mlelstv (sp->goahead && t > sp->ats[sp->timecnt - 1])) {
1445 1.45 mlelstv time_t newt = t;
1446 1.49 christos time_t seconds;
1447 1.78 christos time_t years;
1448 1.45 mlelstv
1449 1.45 mlelstv if (t < sp->ats[0])
1450 1.45 mlelstv seconds = sp->ats[0] - t;
1451 1.45 mlelstv else seconds = t - sp->ats[sp->timecnt - 1];
1452 1.45 mlelstv --seconds;
1453 1.78 christos years = (time_t)((seconds / SECSPERREPEAT + 1) * YEARSPERREPEAT);
1454 1.78 christos seconds = (time_t)(years * AVGSECSPERYEAR);
1455 1.45 mlelstv if (t < sp->ats[0])
1456 1.45 mlelstv newt += seconds;
1457 1.45 mlelstv else newt -= seconds;
1458 1.45 mlelstv if (newt < sp->ats[0] ||
1459 1.88 christos newt > sp->ats[sp->timecnt - 1]) {
1460 1.88 christos errno = EINVAL;
1461 1.88 christos return NULL; /* "cannot happen" */
1462 1.88 christos }
1463 1.93 christos result = localsub(sp, &newt, setname, tmp);
1464 1.87 christos if (result) {
1465 1.87 christos int_fast64_t newy;
1466 1.45 mlelstv
1467 1.87 christos newy = result->tm_year;
1468 1.45 mlelstv if (t < sp->ats[0])
1469 1.78 christos newy -= years;
1470 1.78 christos else newy += years;
1471 1.88 christos if (! (INT_MIN <= newy && newy <= INT_MAX)) {
1472 1.88 christos errno = EOVERFLOW;
1473 1.45 mlelstv return NULL;
1474 1.88 christos }
1475 1.87 christos result->tm_year = (int)newy;
1476 1.45 mlelstv }
1477 1.45 mlelstv return result;
1478 1.1 jtc }
1479 1.1 jtc if (sp->timecnt == 0 || t < sp->ats[0]) {
1480 1.74 christos i = sp->defaulttype;
1481 1.1 jtc } else {
1482 1.49 christos int lo = 1;
1483 1.49 christos int hi = sp->timecnt;
1484 1.45 mlelstv
1485 1.45 mlelstv while (lo < hi) {
1486 1.49 christos int mid = (lo + hi) / 2;
1487 1.45 mlelstv
1488 1.45 mlelstv if (t < sp->ats[mid])
1489 1.45 mlelstv hi = mid;
1490 1.45 mlelstv else lo = mid + 1;
1491 1.45 mlelstv }
1492 1.45 mlelstv i = (int) sp->types[lo - 1];
1493 1.1 jtc }
1494 1.1 jtc ttisp = &sp->ttis[i];
1495 1.1 jtc /*
1496 1.1 jtc ** To get (wrong) behavior that's compatible with System V Release 2.0
1497 1.1 jtc ** you'd replace the statement below with
1498 1.1 jtc ** t += ttisp->tt_gmtoff;
1499 1.1 jtc ** timesub(&t, 0L, sp, tmp);
1500 1.1 jtc */
1501 1.87 christos result = timesub(&t, ttisp->tt_gmtoff, sp, tmp);
1502 1.87 christos if (result) {
1503 1.92 christos result->tm_isdst = ttisp->tt_isdst;
1504 1.92 christos #ifdef TM_ZONE
1505 1.93 christos result->TM_ZONE = __UNCONST(&sp->chars[ttisp->tt_abbrind]);
1506 1.92 christos #endif /* defined TM_ZONE */
1507 1.93 christos if (setname)
1508 1.93 christos update_tzname_etc(sp, ttisp);
1509 1.87 christos }
1510 1.45 mlelstv return result;
1511 1.1 jtc }
1512 1.1 jtc
1513 1.87 christos #if NETBSD_INSPIRED
1514 1.49 christos
1515 1.1 jtc struct tm *
1516 1.87 christos localtime_rz(timezone_t sp, time_t const *timep, struct tm *tmp)
1517 1.87 christos {
1518 1.87 christos return localsub(sp, timep, 0, tmp);
1519 1.87 christos }
1520 1.87 christos
1521 1.87 christos #endif
1522 1.87 christos
1523 1.87 christos static struct tm *
1524 1.87 christos localtime_tzset(time_t const *timep, struct tm *tmp, bool setname)
1525 1.1 jtc {
1526 1.87 christos rwlock_wrlock(&lcl_lock);
1527 1.87 christos if (setname || !lcl_is_set)
1528 1.87 christos tzset_unlocked();
1529 1.87 christos tmp = localsub(lclptr, timep, setname, tmp);
1530 1.45 mlelstv rwlock_unlock(&lcl_lock);
1531 1.49 christos return tmp;
1532 1.1 jtc }
1533 1.1 jtc
1534 1.49 christos struct tm *
1535 1.96 christos localtime(const time_t *timep)
1536 1.49 christos {
1537 1.87 christos return localtime_tzset(timep, &tm, true);
1538 1.49 christos }
1539 1.35 kleink
1540 1.18 kleink struct tm *
1541 1.87 christos localtime_r(const time_t * __restrict timep, struct tm *tmp)
1542 1.18 kleink {
1543 1.87 christos return localtime_tzset(timep, tmp, false);
1544 1.18 kleink }
1545 1.18 kleink
1546 1.18 kleink /*
1547 1.1 jtc ** gmtsub is to gmtime as localsub is to localtime.
1548 1.1 jtc */
1549 1.1 jtc
1550 1.45 mlelstv static struct tm *
1551 1.87 christos gmtsub(struct state const *sp, const time_t *timep, int_fast32_t offset,
1552 1.87 christos struct tm *tmp)
1553 1.1 jtc {
1554 1.49 christos struct tm * result;
1555 1.19 kleink
1556 1.87 christos result = timesub(timep, offset, gmtptr, tmp);
1557 1.1 jtc #ifdef TM_ZONE
1558 1.1 jtc /*
1559 1.1 jtc ** Could get fancy here and deliver something such as
1560 1.78 christos ** "UT+xxxx" or "UT-xxxx" if offset is non-zero,
1561 1.1 jtc ** but this is no time for a treasure hunt.
1562 1.1 jtc */
1563 1.88 christos if (result)
1564 1.88 christos result->TM_ZONE = offset ? __UNCONST(wildabbr) : gmtptr ?
1565 1.88 christos gmtptr->chars : __UNCONST(gmt);
1566 1.1 jtc #endif /* defined TM_ZONE */
1567 1.45 mlelstv return result;
1568 1.1 jtc }
1569 1.1 jtc
1570 1.1 jtc
1571 1.18 kleink /*
1572 1.35 kleink ** Re-entrant version of gmtime.
1573 1.35 kleink */
1574 1.35 kleink
1575 1.18 kleink struct tm *
1576 1.96 christos gmtime_r(const time_t *timep, struct tm *tmp)
1577 1.18 kleink {
1578 1.87 christos gmtcheck();
1579 1.90 christos return gmtsub(NULL, timep, 0, tmp);
1580 1.18 kleink }
1581 1.18 kleink
1582 1.96 christos struct tm *
1583 1.96 christos gmtime(const time_t *timep)
1584 1.96 christos {
1585 1.96 christos return gmtime_r(timep, &tm);
1586 1.96 christos }
1587 1.1 jtc #ifdef STD_INSPIRED
1588 1.1 jtc
1589 1.1 jtc struct tm *
1590 1.96 christos offtime(const time_t *timep, long offset)
1591 1.1 jtc {
1592 1.87 christos gmtcheck();
1593 1.90 christos return gmtsub(gmtptr, timep, (int_fast32_t)offset, &tm);
1594 1.49 christos }
1595 1.49 christos
1596 1.49 christos struct tm *
1597 1.49 christos offtime_r(const time_t *timep, long offset, struct tm *tmp)
1598 1.49 christos {
1599 1.87 christos gmtcheck();
1600 1.90 christos return gmtsub(NULL, timep, (int_fast32_t)offset, tmp);
1601 1.1 jtc }
1602 1.1 jtc
1603 1.1 jtc #endif /* defined STD_INSPIRED */
1604 1.1 jtc
1605 1.45 mlelstv /*
1606 1.45 mlelstv ** Return the number of leap years through the end of the given year
1607 1.45 mlelstv ** where, to make the math easy, the answer for year zero is defined as zero.
1608 1.45 mlelstv */
1609 1.45 mlelstv
1610 1.87 christos static int ATTRIBUTE_PURE
1611 1.49 christos leaps_thru_end_of(const int y)
1612 1.45 mlelstv {
1613 1.45 mlelstv return (y >= 0) ? (y / 4 - y / 100 + y / 400) :
1614 1.45 mlelstv -(leaps_thru_end_of(-(y + 1)) + 1);
1615 1.45 mlelstv }
1616 1.45 mlelstv
1617 1.45 mlelstv static struct tm *
1618 1.96 christos timesub(const time_t *timep, int_fast32_t offset,
1619 1.97 riz const struct state *sp, struct tm *tmp)
1620 1.49 christos {
1621 1.49 christos const struct lsinfo * lp;
1622 1.49 christos time_t tdays;
1623 1.49 christos int idays; /* unsigned would be so 2003 */
1624 1.74 christos int_fast64_t rem;
1625 1.49 christos int y;
1626 1.49 christos const int * ip;
1627 1.74 christos int_fast64_t corr;
1628 1.87 christos bool hit;
1629 1.49 christos int i;
1630 1.1 jtc
1631 1.1 jtc corr = 0;
1632 1.87 christos hit = false;
1633 1.1 jtc i = (sp == NULL) ? 0 : sp->leapcnt;
1634 1.1 jtc while (--i >= 0) {
1635 1.1 jtc lp = &sp->lsis[i];
1636 1.1 jtc if (*timep >= lp->ls_trans) {
1637 1.1 jtc if (*timep == lp->ls_trans) {
1638 1.1 jtc hit = ((i == 0 && lp->ls_corr > 0) ||
1639 1.1 jtc lp->ls_corr > sp->lsis[i - 1].ls_corr);
1640 1.1 jtc if (hit)
1641 1.1 jtc while (i > 0 &&
1642 1.1 jtc sp->lsis[i].ls_trans ==
1643 1.1 jtc sp->lsis[i - 1].ls_trans + 1 &&
1644 1.1 jtc sp->lsis[i].ls_corr ==
1645 1.1 jtc sp->lsis[i - 1].ls_corr + 1) {
1646 1.1 jtc ++hit;
1647 1.1 jtc --i;
1648 1.1 jtc }
1649 1.1 jtc }
1650 1.1 jtc corr = lp->ls_corr;
1651 1.1 jtc break;
1652 1.1 jtc }
1653 1.1 jtc }
1654 1.45 mlelstv y = EPOCH_YEAR;
1655 1.66 christos tdays = (time_t)(*timep / SECSPERDAY);
1656 1.96 christos rem = *timep % SECSPERDAY;
1657 1.45 mlelstv while (tdays < 0 || tdays >= year_lengths[isleap(y)]) {
1658 1.45 mlelstv int newy;
1659 1.49 christos time_t tdelta;
1660 1.49 christos int idelta;
1661 1.49 christos int leapdays;
1662 1.45 mlelstv
1663 1.45 mlelstv tdelta = tdays / DAYSPERLYEAR;
1664 1.78 christos if (! ((! TYPE_SIGNED(time_t) || INT_MIN <= tdelta)
1665 1.78 christos && tdelta <= INT_MAX))
1666 1.91 christos goto out_of_range;
1667 1.81 christos _DIAGASSERT(__type_fit(int, tdelta));
1668 1.81 christos idelta = (int)tdelta;
1669 1.45 mlelstv if (idelta == 0)
1670 1.45 mlelstv idelta = (tdays < 0) ? -1 : 1;
1671 1.45 mlelstv newy = y;
1672 1.51 christos if (increment_overflow(&newy, idelta))
1673 1.91 christos goto out_of_range;
1674 1.45 mlelstv leapdays = leaps_thru_end_of(newy - 1) -
1675 1.45 mlelstv leaps_thru_end_of(y - 1);
1676 1.45 mlelstv tdays -= ((time_t) newy - y) * DAYSPERNYEAR;
1677 1.45 mlelstv tdays -= leapdays;
1678 1.45 mlelstv y = newy;
1679 1.45 mlelstv }
1680 1.45 mlelstv /*
1681 1.45 mlelstv ** Given the range, we can now fearlessly cast...
1682 1.45 mlelstv */
1683 1.45 mlelstv idays = (int) tdays;
1684 1.45 mlelstv rem += offset - corr;
1685 1.1 jtc while (rem < 0) {
1686 1.1 jtc rem += SECSPERDAY;
1687 1.45 mlelstv --idays;
1688 1.1 jtc }
1689 1.1 jtc while (rem >= SECSPERDAY) {
1690 1.1 jtc rem -= SECSPERDAY;
1691 1.45 mlelstv ++idays;
1692 1.45 mlelstv }
1693 1.45 mlelstv while (idays < 0) {
1694 1.51 christos if (increment_overflow(&y, -1))
1695 1.91 christos goto out_of_range;
1696 1.45 mlelstv idays += year_lengths[isleap(y)];
1697 1.1 jtc }
1698 1.45 mlelstv while (idays >= year_lengths[isleap(y)]) {
1699 1.45 mlelstv idays -= year_lengths[isleap(y)];
1700 1.51 christos if (increment_overflow(&y, 1))
1701 1.91 christos goto out_of_range;
1702 1.45 mlelstv }
1703 1.45 mlelstv tmp->tm_year = y;
1704 1.51 christos if (increment_overflow(&tmp->tm_year, -TM_YEAR_BASE))
1705 1.91 christos goto out_of_range;
1706 1.45 mlelstv tmp->tm_yday = idays;
1707 1.45 mlelstv /*
1708 1.45 mlelstv ** The "extra" mods below avoid overflow problems.
1709 1.45 mlelstv */
1710 1.45 mlelstv tmp->tm_wday = EPOCH_WDAY +
1711 1.45 mlelstv ((y - EPOCH_YEAR) % DAYSPERWEEK) *
1712 1.45 mlelstv (DAYSPERNYEAR % DAYSPERWEEK) +
1713 1.45 mlelstv leaps_thru_end_of(y - 1) -
1714 1.45 mlelstv leaps_thru_end_of(EPOCH_YEAR - 1) +
1715 1.45 mlelstv idays;
1716 1.45 mlelstv tmp->tm_wday %= DAYSPERWEEK;
1717 1.45 mlelstv if (tmp->tm_wday < 0)
1718 1.45 mlelstv tmp->tm_wday += DAYSPERWEEK;
1719 1.1 jtc tmp->tm_hour = (int) (rem / SECSPERHOUR);
1720 1.45 mlelstv rem %= SECSPERHOUR;
1721 1.1 jtc tmp->tm_min = (int) (rem / SECSPERMIN);
1722 1.6 jtc /*
1723 1.6 jtc ** A positive leap second requires a special
1724 1.45 mlelstv ** representation. This uses "... ??:59:60" et seq.
1725 1.6 jtc */
1726 1.6 jtc tmp->tm_sec = (int) (rem % SECSPERMIN) + hit;
1727 1.45 mlelstv ip = mon_lengths[isleap(y)];
1728 1.45 mlelstv for (tmp->tm_mon = 0; idays >= ip[tmp->tm_mon]; ++(tmp->tm_mon))
1729 1.45 mlelstv idays -= ip[tmp->tm_mon];
1730 1.45 mlelstv tmp->tm_mday = (int) (idays + 1);
1731 1.1 jtc tmp->tm_isdst = 0;
1732 1.1 jtc #ifdef TM_GMTOFF
1733 1.1 jtc tmp->TM_GMTOFF = offset;
1734 1.1 jtc #endif /* defined TM_GMTOFF */
1735 1.45 mlelstv return tmp;
1736 1.91 christos out_of_range:
1737 1.88 christos errno = EOVERFLOW;
1738 1.88 christos return NULL;
1739 1.1 jtc }
1740 1.1 jtc
1741 1.1 jtc char *
1742 1.96 christos ctime(const time_t *timep)
1743 1.1 jtc {
1744 1.1 jtc /*
1745 1.1 jtc ** Section 4.12.3.2 of X3.159-1989 requires that
1746 1.18 kleink ** The ctime function converts the calendar time pointed to by timer
1747 1.45 mlelstv ** to local time in the form of a string. It is equivalent to
1748 1.1 jtc ** asctime(localtime(timer))
1749 1.1 jtc */
1750 1.91 christos struct tm *tmp = localtime(timep);
1751 1.91 christos return tmp ? asctime(tmp) : NULL;
1752 1.18 kleink }
1753 1.18 kleink
1754 1.18 kleink char *
1755 1.96 christos ctime_r(const time_t *timep, char *buf)
1756 1.18 kleink {
1757 1.91 christos struct tm mytm;
1758 1.91 christos struct tm *tmp = localtime_r(timep, &mytm);
1759 1.91 christos return tmp ? asctime_r(tmp, buf) : NULL;
1760 1.1 jtc }
1761 1.1 jtc
1762 1.49 christos char *
1763 1.49 christos ctime_rz(const timezone_t sp, const time_t * timep, char *buf)
1764 1.49 christos {
1765 1.49 christos struct tm mytm, *rtm;
1766 1.49 christos
1767 1.49 christos rtm = localtime_rz(sp, timep, &mytm);
1768 1.49 christos if (rtm == NULL)
1769 1.49 christos return NULL;
1770 1.49 christos return asctime_r(rtm, buf);
1771 1.49 christos }
1772 1.49 christos
1773 1.1 jtc /*
1774 1.1 jtc ** Adapted from code provided by Robert Elz, who writes:
1775 1.1 jtc ** The "best" way to do mktime I think is based on an idea of Bob
1776 1.7 jtc ** Kridle's (so its said...) from a long time ago.
1777 1.45 mlelstv ** It does a binary search of the time_t space. Since time_t's are
1778 1.1 jtc ** just 32 bits, its a max of 32 iterations (even at 64 bits it
1779 1.1 jtc ** would still be very reasonable).
1780 1.1 jtc */
1781 1.1 jtc
1782 1.1 jtc #ifndef WRONG
1783 1.51 christos #define WRONG ((time_t)-1)
1784 1.1 jtc #endif /* !defined WRONG */
1785 1.1 jtc
1786 1.1 jtc /*
1787 1.87 christos ** Normalize logic courtesy Paul Eggert.
1788 1.1 jtc */
1789 1.1 jtc
1790 1.87 christos static bool
1791 1.96 christos increment_overflow(int *ip, int j)
1792 1.1 jtc {
1793 1.87 christos int const i = *ip;
1794 1.1 jtc
1795 1.58 christos /*
1796 1.58 christos ** If i >= 0 there can only be overflow if i + j > INT_MAX
1797 1.58 christos ** or if j > INT_MAX - i; given i >= 0, INT_MAX - i cannot overflow.
1798 1.58 christos ** If i < 0 there can only be overflow if i + j < INT_MIN
1799 1.58 christos ** or if j < INT_MIN - i; given i < 0, INT_MIN - i cannot overflow.
1800 1.58 christos */
1801 1.58 christos if ((i >= 0) ? (j > INT_MAX - i) : (j < INT_MIN - i))
1802 1.87 christos return true;
1803 1.58 christos *ip += j;
1804 1.87 christos return false;
1805 1.1 jtc }
1806 1.1 jtc
1807 1.87 christos static bool
1808 1.74 christos increment_overflow32(int_fast32_t *const lp, int const m)
1809 1.45 mlelstv {
1810 1.87 christos int_fast32_t const l = *lp;
1811 1.45 mlelstv
1812 1.74 christos if ((l >= 0) ? (m > INT_FAST32_MAX - l) : (m < INT_FAST32_MIN - l))
1813 1.87 christos return true;
1814 1.58 christos *lp += m;
1815 1.87 christos return false;
1816 1.45 mlelstv }
1817 1.45 mlelstv
1818 1.87 christos static bool
1819 1.81 christos increment_overflow_time(time_t *tp, int_fast32_t j)
1820 1.81 christos {
1821 1.81 christos /*
1822 1.81 christos ** This is like
1823 1.81 christos ** 'if (! (time_t_min <= *tp + j && *tp + j <= time_t_max)) ...',
1824 1.81 christos ** except that it does the right thing even if *tp + j would overflow.
1825 1.81 christos */
1826 1.81 christos if (! (j < 0
1827 1.81 christos ? (TYPE_SIGNED(time_t) ? time_t_min - j <= *tp : -1 - j < *tp)
1828 1.81 christos : *tp <= time_t_max - j))
1829 1.87 christos return true;
1830 1.81 christos *tp += j;
1831 1.87 christos return false;
1832 1.81 christos }
1833 1.81 christos
1834 1.87 christos static bool
1835 1.49 christos normalize_overflow(int *const tensptr, int *const unitsptr, const int base)
1836 1.1 jtc {
1837 1.49 christos int tensdelta;
1838 1.1 jtc
1839 1.1 jtc tensdelta = (*unitsptr >= 0) ?
1840 1.1 jtc (*unitsptr / base) :
1841 1.1 jtc (-1 - (-1 - *unitsptr) / base);
1842 1.1 jtc *unitsptr -= tensdelta * base;
1843 1.1 jtc return increment_overflow(tensptr, tensdelta);
1844 1.1 jtc }
1845 1.1 jtc
1846 1.87 christos static bool
1847 1.96 christos normalize_overflow32(int_fast32_t *tensptr, int *unitsptr, int base)
1848 1.45 mlelstv {
1849 1.49 christos int tensdelta;
1850 1.45 mlelstv
1851 1.45 mlelstv tensdelta = (*unitsptr >= 0) ?
1852 1.45 mlelstv (*unitsptr / base) :
1853 1.45 mlelstv (-1 - (-1 - *unitsptr) / base);
1854 1.45 mlelstv *unitsptr -= tensdelta * base;
1855 1.74 christos return increment_overflow32(tensptr, tensdelta);
1856 1.45 mlelstv }
1857 1.45 mlelstv
1858 1.45 mlelstv static int
1859 1.87 christos tmcomp(const struct tm *const atmp,
1860 1.87 christos const struct tm *const btmp)
1861 1.1 jtc {
1862 1.49 christos int result;
1863 1.1 jtc
1864 1.78 christos if (atmp->tm_year != btmp->tm_year)
1865 1.78 christos return atmp->tm_year < btmp->tm_year ? -1 : 1;
1866 1.78 christos if ((result = (atmp->tm_mon - btmp->tm_mon)) == 0 &&
1867 1.1 jtc (result = (atmp->tm_mday - btmp->tm_mday)) == 0 &&
1868 1.1 jtc (result = (atmp->tm_hour - btmp->tm_hour)) == 0 &&
1869 1.1 jtc (result = (atmp->tm_min - btmp->tm_min)) == 0)
1870 1.1 jtc result = atmp->tm_sec - btmp->tm_sec;
1871 1.1 jtc return result;
1872 1.1 jtc }
1873 1.1 jtc
1874 1.1 jtc static time_t
1875 1.87 christos time2sub(struct tm *const tmp,
1876 1.87 christos struct tm *(*funcp)(struct state const *, time_t const *,
1877 1.87 christos int_fast32_t, struct tm *),
1878 1.87 christos struct state const *sp,
1879 1.87 christos const int_fast32_t offset,
1880 1.87 christos bool *okayp,
1881 1.87 christos bool do_norm_secs)
1882 1.49 christos {
1883 1.49 christos int dir;
1884 1.49 christos int i, j;
1885 1.49 christos int saved_seconds;
1886 1.74 christos int_fast32_t li;
1887 1.49 christos time_t lo;
1888 1.49 christos time_t hi;
1889 1.61 christos #ifdef NO_ERROR_IN_DST_GAP
1890 1.61 christos time_t ilo;
1891 1.61 christos #endif
1892 1.74 christos int_fast32_t y;
1893 1.74 christos time_t newt;
1894 1.74 christos time_t t;
1895 1.74 christos struct tm yourtm, mytm;
1896 1.1 jtc
1897 1.87 christos *okayp = false;
1898 1.1 jtc yourtm = *tmp;
1899 1.64 christos #ifdef NO_ERROR_IN_DST_GAP
1900 1.64 christos again:
1901 1.64 christos #endif
1902 1.13 jtc if (do_norm_secs) {
1903 1.13 jtc if (normalize_overflow(&yourtm.tm_min, &yourtm.tm_sec,
1904 1.60 christos SECSPERMIN))
1905 1.91 christos goto out_of_range;
1906 1.13 jtc }
1907 1.1 jtc if (normalize_overflow(&yourtm.tm_hour, &yourtm.tm_min, MINSPERHOUR))
1908 1.91 christos goto out_of_range;
1909 1.1 jtc if (normalize_overflow(&yourtm.tm_mday, &yourtm.tm_hour, HOURSPERDAY))
1910 1.91 christos goto out_of_range;
1911 1.45 mlelstv y = yourtm.tm_year;
1912 1.74 christos if (normalize_overflow32(&y, &yourtm.tm_mon, MONSPERYEAR))
1913 1.91 christos goto out_of_range;
1914 1.1 jtc /*
1915 1.45 mlelstv ** Turn y into an actual year number for now.
1916 1.1 jtc ** It is converted back to an offset from TM_YEAR_BASE later.
1917 1.1 jtc */
1918 1.74 christos if (increment_overflow32(&y, TM_YEAR_BASE))
1919 1.91 christos goto out_of_range;
1920 1.1 jtc while (yourtm.tm_mday <= 0) {
1921 1.74 christos if (increment_overflow32(&y, -1))
1922 1.91 christos goto out_of_range;
1923 1.45 mlelstv li = y + (1 < yourtm.tm_mon);
1924 1.45 mlelstv yourtm.tm_mday += year_lengths[isleap(li)];
1925 1.1 jtc }
1926 1.1 jtc while (yourtm.tm_mday > DAYSPERLYEAR) {
1927 1.45 mlelstv li = y + (1 < yourtm.tm_mon);
1928 1.45 mlelstv yourtm.tm_mday -= year_lengths[isleap(li)];
1929 1.74 christos if (increment_overflow32(&y, 1))
1930 1.91 christos goto out_of_range;
1931 1.1 jtc }
1932 1.1 jtc for ( ; ; ) {
1933 1.45 mlelstv i = mon_lengths[isleap(y)][yourtm.tm_mon];
1934 1.1 jtc if (yourtm.tm_mday <= i)
1935 1.1 jtc break;
1936 1.1 jtc yourtm.tm_mday -= i;
1937 1.1 jtc if (++yourtm.tm_mon >= MONSPERYEAR) {
1938 1.1 jtc yourtm.tm_mon = 0;
1939 1.74 christos if (increment_overflow32(&y, 1))
1940 1.91 christos goto out_of_range;
1941 1.1 jtc }
1942 1.1 jtc }
1943 1.74 christos if (increment_overflow32(&y, -TM_YEAR_BASE))
1944 1.91 christos goto out_of_range;
1945 1.87 christos if (! (INT_MIN <= y && y <= INT_MAX))
1946 1.91 christos goto out_of_range;
1947 1.66 christos yourtm.tm_year = (int)y;
1948 1.29 kleink if (yourtm.tm_sec >= 0 && yourtm.tm_sec < SECSPERMIN)
1949 1.29 kleink saved_seconds = 0;
1950 1.45 mlelstv else if (y + TM_YEAR_BASE < EPOCH_YEAR) {
1951 1.1 jtc /*
1952 1.1 jtc ** We can't set tm_sec to 0, because that might push the
1953 1.1 jtc ** time below the minimum representable time.
1954 1.1 jtc ** Set tm_sec to 59 instead.
1955 1.1 jtc ** This assumes that the minimum representable time is
1956 1.1 jtc ** not in the same minute that a leap second was deleted from,
1957 1.1 jtc ** which is a safer assumption than using 58 would be.
1958 1.1 jtc */
1959 1.1 jtc if (increment_overflow(&yourtm.tm_sec, 1 - SECSPERMIN))
1960 1.91 christos goto out_of_range;
1961 1.1 jtc saved_seconds = yourtm.tm_sec;
1962 1.1 jtc yourtm.tm_sec = SECSPERMIN - 1;
1963 1.1 jtc } else {
1964 1.1 jtc saved_seconds = yourtm.tm_sec;
1965 1.1 jtc yourtm.tm_sec = 0;
1966 1.1 jtc }
1967 1.1 jtc /*
1968 1.45 mlelstv ** Do a binary search (this works whatever time_t's type is).
1969 1.1 jtc */
1970 1.94 christos lo = time_t_min;
1971 1.94 christos hi = time_t_max;
1972 1.61 christos #ifdef NO_ERROR_IN_DST_GAP
1973 1.61 christos ilo = lo;
1974 1.61 christos #endif
1975 1.1 jtc for ( ; ; ) {
1976 1.45 mlelstv t = lo / 2 + hi / 2;
1977 1.45 mlelstv if (t < lo)
1978 1.45 mlelstv t = lo;
1979 1.45 mlelstv else if (t > hi)
1980 1.45 mlelstv t = hi;
1981 1.87 christos if (! funcp(sp, &t, offset, &mytm)) {
1982 1.45 mlelstv /*
1983 1.45 mlelstv ** Assume that t is too extreme to be represented in
1984 1.45 mlelstv ** a struct tm; arrange things so that it is less
1985 1.45 mlelstv ** extreme on the next pass.
1986 1.45 mlelstv */
1987 1.45 mlelstv dir = (t > 0) ? 1 : -1;
1988 1.45 mlelstv } else dir = tmcomp(&mytm, &yourtm);
1989 1.1 jtc if (dir != 0) {
1990 1.45 mlelstv if (t == lo) {
1991 1.78 christos if (t == time_t_max)
1992 1.91 christos goto out_of_range;
1993 1.45 mlelstv ++t;
1994 1.45 mlelstv ++lo;
1995 1.45 mlelstv } else if (t == hi) {
1996 1.78 christos if (t == time_t_min)
1997 1.91 christos goto out_of_range;
1998 1.45 mlelstv --t;
1999 1.45 mlelstv --hi;
2000 1.45 mlelstv }
2001 1.59 christos #ifdef NO_ERROR_IN_DST_GAP
2002 1.64 christos if (ilo != lo && lo - 1 == hi && yourtm.tm_isdst < 0 &&
2003 1.64 christos do_norm_secs) {
2004 1.59 christos for (i = sp->typecnt - 1; i >= 0; --i) {
2005 1.59 christos for (j = sp->typecnt - 1; j >= 0; --j) {
2006 1.64 christos time_t off;
2007 1.59 christos if (sp->ttis[j].tt_isdst ==
2008 1.59 christos sp->ttis[i].tt_isdst)
2009 1.59 christos continue;
2010 1.59 christos off = sp->ttis[j].tt_gmtoff -
2011 1.59 christos sp->ttis[i].tt_gmtoff;
2012 1.64 christos yourtm.tm_sec += off < 0 ?
2013 1.64 christos -off : off;
2014 1.64 christos goto again;
2015 1.59 christos }
2016 1.59 christos }
2017 1.59 christos }
2018 1.59 christos #endif
2019 1.45 mlelstv if (lo > hi)
2020 1.60 christos goto invalid;
2021 1.45 mlelstv if (dir > 0)
2022 1.45 mlelstv hi = t;
2023 1.45 mlelstv else lo = t;
2024 1.1 jtc continue;
2025 1.1 jtc }
2026 1.87 christos #if defined TM_GMTOFF && ! UNINIT_TRAP
2027 1.87 christos if (mytm.TM_GMTOFF != yourtm.TM_GMTOFF
2028 1.87 christos && (yourtm.TM_GMTOFF < 0
2029 1.87 christos ? (-SECSPERDAY <= yourtm.TM_GMTOFF
2030 1.87 christos && (mytm.TM_GMTOFF <=
2031 1.87 christos (/*CONSTCOND*/SMALLEST (INT_FAST32_MAX, LONG_MAX)
2032 1.87 christos + yourtm.TM_GMTOFF)))
2033 1.87 christos : (yourtm.TM_GMTOFF <= SECSPERDAY
2034 1.87 christos && ((/*CONSTCOND*/BIGGEST (INT_FAST32_MIN, LONG_MIN)
2035 1.87 christos + yourtm.TM_GMTOFF)
2036 1.87 christos <= mytm.TM_GMTOFF)))) {
2037 1.87 christos /* MYTM matches YOURTM except with the wrong UTC offset.
2038 1.87 christos YOURTM.TM_GMTOFF is plausible, so try it instead.
2039 1.87 christos It's OK if YOURTM.TM_GMTOFF contains uninitialized data,
2040 1.87 christos since the guess gets checked. */
2041 1.87 christos time_t altt = t;
2042 1.87 christos int_fast32_t diff = (int_fast32_t)
2043 1.87 christos (mytm.TM_GMTOFF - yourtm.TM_GMTOFF);
2044 1.87 christos if (!increment_overflow_time(&altt, diff)) {
2045 1.87 christos struct tm alttm;
2046 1.87 christos if (! funcp(sp, &altt, offset, &alttm)
2047 1.87 christos && alttm.tm_isdst == mytm.tm_isdst
2048 1.87 christos && alttm.TM_GMTOFF == yourtm.TM_GMTOFF
2049 1.87 christos && tmcomp(&alttm, &yourtm)) {
2050 1.87 christos t = altt;
2051 1.87 christos mytm = alttm;
2052 1.87 christos }
2053 1.87 christos }
2054 1.87 christos }
2055 1.87 christos #endif
2056 1.1 jtc if (yourtm.tm_isdst < 0 || mytm.tm_isdst == yourtm.tm_isdst)
2057 1.1 jtc break;
2058 1.1 jtc /*
2059 1.1 jtc ** Right time, wrong type.
2060 1.1 jtc ** Hunt for right time, right type.
2061 1.1 jtc ** It's okay to guess wrong since the guess
2062 1.1 jtc ** gets checked.
2063 1.1 jtc */
2064 1.1 jtc if (sp == NULL)
2065 1.60 christos goto invalid;
2066 1.5 jtc for (i = sp->typecnt - 1; i >= 0; --i) {
2067 1.1 jtc if (sp->ttis[i].tt_isdst != yourtm.tm_isdst)
2068 1.1 jtc continue;
2069 1.5 jtc for (j = sp->typecnt - 1; j >= 0; --j) {
2070 1.1 jtc if (sp->ttis[j].tt_isdst == yourtm.tm_isdst)
2071 1.1 jtc continue;
2072 1.66 christos newt = (time_t)(t + sp->ttis[j].tt_gmtoff -
2073 1.66 christos sp->ttis[i].tt_gmtoff);
2074 1.87 christos if (! funcp(sp, &newt, offset, &mytm))
2075 1.45 mlelstv continue;
2076 1.1 jtc if (tmcomp(&mytm, &yourtm) != 0)
2077 1.1 jtc continue;
2078 1.1 jtc if (mytm.tm_isdst != yourtm.tm_isdst)
2079 1.1 jtc continue;
2080 1.1 jtc /*
2081 1.1 jtc ** We have a match.
2082 1.1 jtc */
2083 1.1 jtc t = newt;
2084 1.1 jtc goto label;
2085 1.1 jtc }
2086 1.1 jtc }
2087 1.60 christos goto invalid;
2088 1.1 jtc }
2089 1.1 jtc label:
2090 1.1 jtc newt = t + saved_seconds;
2091 1.1 jtc if ((newt < t) != (saved_seconds < 0))
2092 1.91 christos goto out_of_range;
2093 1.1 jtc t = newt;
2094 1.87 christos if (funcp(sp, &t, offset, tmp)) {
2095 1.87 christos *okayp = true;
2096 1.51 christos return t;
2097 1.60 christos }
2098 1.91 christos out_of_range:
2099 1.60 christos errno = EOVERFLOW;
2100 1.60 christos return WRONG;
2101 1.60 christos invalid:
2102 1.60 christos errno = EINVAL;
2103 1.60 christos return WRONG;
2104 1.13 jtc }
2105 1.13 jtc
2106 1.13 jtc static time_t
2107 1.87 christos time2(struct tm * const tmp,
2108 1.87 christos struct tm *(*funcp)(struct state const *, time_t const *,
2109 1.87 christos int_fast32_t, struct tm *),
2110 1.87 christos struct state const *sp,
2111 1.87 christos const int_fast32_t offset,
2112 1.87 christos bool *okayp)
2113 1.13 jtc {
2114 1.13 jtc time_t t;
2115 1.13 jtc
2116 1.13 jtc /*
2117 1.13 jtc ** First try without normalization of seconds
2118 1.13 jtc ** (in case tm_sec contains a value associated with a leap second).
2119 1.13 jtc ** If that fails, try with normalization of seconds.
2120 1.13 jtc */
2121 1.87 christos t = time2sub(tmp, funcp, sp, offset, okayp, false);
2122 1.87 christos return *okayp ? t : time2sub(tmp, funcp, sp, offset, okayp, true);
2123 1.1 jtc }
2124 1.1 jtc
2125 1.1 jtc static time_t
2126 1.87 christos time1(struct tm *const tmp,
2127 1.87 christos struct tm *(*funcp) (struct state const *, time_t const *,
2128 1.87 christos int_fast32_t, struct tm *),
2129 1.87 christos struct state const *sp,
2130 1.87 christos const int_fast32_t offset)
2131 1.49 christos {
2132 1.49 christos time_t t;
2133 1.49 christos int samei, otheri;
2134 1.49 christos int sameind, otherind;
2135 1.49 christos int i;
2136 1.49 christos int nseen;
2137 1.90 christos int save_errno;
2138 1.83 christos char seen[TZ_MAX_TYPES];
2139 1.83 christos unsigned char types[TZ_MAX_TYPES];
2140 1.87 christos bool okay;
2141 1.1 jtc
2142 1.58 christos if (tmp == NULL) {
2143 1.58 christos errno = EINVAL;
2144 1.58 christos return WRONG;
2145 1.58 christos }
2146 1.1 jtc if (tmp->tm_isdst > 1)
2147 1.1 jtc tmp->tm_isdst = 1;
2148 1.90 christos save_errno = errno;
2149 1.87 christos t = time2(tmp, funcp, sp, offset, &okay);
2150 1.90 christos if (okay) {
2151 1.90 christos errno = save_errno;
2152 1.1 jtc return t;
2153 1.90 christos }
2154 1.1 jtc if (tmp->tm_isdst < 0)
2155 1.82 christos #ifdef PCTS
2156 1.82 christos /*
2157 1.82 christos ** POSIX Conformance Test Suite code courtesy Grant Sullivan.
2158 1.82 christos */
2159 1.1 jtc tmp->tm_isdst = 0; /* reset to std and try again */
2160 1.82 christos #else
2161 1.1 jtc return t;
2162 1.1 jtc #endif /* !defined PCTS */
2163 1.1 jtc /*
2164 1.1 jtc ** We're supposed to assume that somebody took a time of one type
2165 1.1 jtc ** and did some math on it that yielded a "struct tm" that's bad.
2166 1.1 jtc ** We try to divine the type they started from and adjust to the
2167 1.1 jtc ** type they need.
2168 1.1 jtc */
2169 1.60 christos if (sp == NULL) {
2170 1.60 christos errno = EINVAL;
2171 1.1 jtc return WRONG;
2172 1.60 christos }
2173 1.35 kleink for (i = 0; i < sp->typecnt; ++i)
2174 1.87 christos seen[i] = false;
2175 1.35 kleink nseen = 0;
2176 1.35 kleink for (i = sp->timecnt - 1; i >= 0; --i)
2177 1.35 kleink if (!seen[sp->types[i]]) {
2178 1.87 christos seen[sp->types[i]] = true;
2179 1.35 kleink types[nseen++] = sp->types[i];
2180 1.35 kleink }
2181 1.35 kleink for (sameind = 0; sameind < nseen; ++sameind) {
2182 1.35 kleink samei = types[sameind];
2183 1.1 jtc if (sp->ttis[samei].tt_isdst != tmp->tm_isdst)
2184 1.1 jtc continue;
2185 1.35 kleink for (otherind = 0; otherind < nseen; ++otherind) {
2186 1.35 kleink otheri = types[otherind];
2187 1.1 jtc if (sp->ttis[otheri].tt_isdst == tmp->tm_isdst)
2188 1.1 jtc continue;
2189 1.21 christos tmp->tm_sec += (int)(sp->ttis[otheri].tt_gmtoff -
2190 1.21 christos sp->ttis[samei].tt_gmtoff);
2191 1.1 jtc tmp->tm_isdst = !tmp->tm_isdst;
2192 1.87 christos t = time2(tmp, funcp, sp, offset, &okay);
2193 1.90 christos if (okay) {
2194 1.90 christos errno = save_errno;
2195 1.1 jtc return t;
2196 1.90 christos }
2197 1.21 christos tmp->tm_sec -= (int)(sp->ttis[otheri].tt_gmtoff -
2198 1.21 christos sp->ttis[samei].tt_gmtoff);
2199 1.1 jtc tmp->tm_isdst = !tmp->tm_isdst;
2200 1.1 jtc }
2201 1.1 jtc }
2202 1.60 christos errno = EOVERFLOW;
2203 1.1 jtc return WRONG;
2204 1.1 jtc }
2205 1.1 jtc
2206 1.87 christos static time_t
2207 1.87 christos mktime_tzname(timezone_t sp, struct tm *tmp, bool setname)
2208 1.87 christos {
2209 1.87 christos if (sp)
2210 1.87 christos return time1(tmp, localsub, sp, setname);
2211 1.87 christos else {
2212 1.87 christos gmtcheck();
2213 1.87 christos return time1(tmp, gmtsub, gmtptr, 0);
2214 1.87 christos }
2215 1.87 christos }
2216 1.87 christos
2217 1.87 christos #if NETBSD_INSPIRED
2218 1.87 christos
2219 1.1 jtc time_t
2220 1.87 christos mktime_z(timezone_t sp, struct tm *const tmp)
2221 1.49 christos {
2222 1.87 christos return mktime_tzname(sp, tmp, false);
2223 1.49 christos }
2224 1.49 christos
2225 1.87 christos #endif
2226 1.87 christos
2227 1.49 christos time_t
2228 1.96 christos mktime(struct tm *tmp)
2229 1.1 jtc {
2230 1.87 christos time_t t;
2231 1.19 kleink
2232 1.45 mlelstv rwlock_wrlock(&lcl_lock);
2233 1.45 mlelstv tzset_unlocked();
2234 1.87 christos t = mktime_tzname(lclptr, tmp, true);
2235 1.45 mlelstv rwlock_unlock(&lcl_lock);
2236 1.87 christos return t;
2237 1.1 jtc }
2238 1.1 jtc
2239 1.1 jtc #ifdef STD_INSPIRED
2240 1.1 jtc
2241 1.1 jtc time_t
2242 1.68 christos timelocal_z(const timezone_t sp, struct tm *const tmp)
2243 1.49 christos {
2244 1.49 christos if (tmp != NULL)
2245 1.49 christos tmp->tm_isdst = -1; /* in case it wasn't initialized */
2246 1.49 christos return mktime_z(sp, tmp);
2247 1.49 christos }
2248 1.49 christos
2249 1.49 christos time_t
2250 1.96 christos timelocal(struct tm *tmp)
2251 1.1 jtc {
2252 1.58 christos if (tmp != NULL)
2253 1.58 christos tmp->tm_isdst = -1; /* in case it wasn't initialized */
2254 1.1 jtc return mktime(tmp);
2255 1.1 jtc }
2256 1.1 jtc
2257 1.1 jtc time_t
2258 1.96 christos timegm(struct tm *tmp)
2259 1.1 jtc {
2260 1.51 christos
2261 1.87 christos return timeoff(tmp, 0);
2262 1.1 jtc }
2263 1.1 jtc
2264 1.1 jtc time_t
2265 1.96 christos timeoff(struct tm *tmp, long offset)
2266 1.1 jtc {
2267 1.87 christos if (tmp)
2268 1.58 christos tmp->tm_isdst = 0;
2269 1.87 christos gmtcheck();
2270 1.87 christos return time1(tmp, gmtsub, gmtptr, (int_fast32_t)offset);
2271 1.1 jtc }
2272 1.1 jtc
2273 1.1 jtc #endif /* defined STD_INSPIRED */
2274 1.1 jtc
2275 1.1 jtc /*
2276 1.1 jtc ** XXX--is the below the right way to conditionalize??
2277 1.1 jtc */
2278 1.1 jtc
2279 1.1 jtc #ifdef STD_INSPIRED
2280 1.1 jtc
2281 1.1 jtc /*
2282 1.1 jtc ** IEEE Std 1003.1-1988 (POSIX) legislates that 536457599
2283 1.14 jtc ** shall correspond to "Wed Dec 31 23:59:59 UTC 1986", which
2284 1.1 jtc ** is not the case if we are accounting for leap seconds.
2285 1.1 jtc ** So, we provide the following conversion routines for use
2286 1.1 jtc ** when exchanging timestamps with POSIX conforming systems.
2287 1.1 jtc */
2288 1.1 jtc
2289 1.74 christos static int_fast64_t
2290 1.87 christos leapcorr(const timezone_t sp, time_t t)
2291 1.1 jtc {
2292 1.87 christos struct lsinfo const * lp;
2293 1.49 christos int i;
2294 1.1 jtc
2295 1.1 jtc i = sp->leapcnt;
2296 1.1 jtc while (--i >= 0) {
2297 1.1 jtc lp = &sp->lsis[i];
2298 1.87 christos if (t >= lp->ls_trans)
2299 1.1 jtc return lp->ls_corr;
2300 1.1 jtc }
2301 1.1 jtc return 0;
2302 1.1 jtc }
2303 1.1 jtc
2304 1.87 christos NETBSD_INSPIRED_EXTERN time_t ATTRIBUTE_PURE
2305 1.87 christos time2posix_z(timezone_t sp, time_t t)
2306 1.49 christos {
2307 1.87 christos return (time_t)(t - leapcorr(sp, t));
2308 1.49 christos }
2309 1.49 christos
2310 1.49 christos time_t
2311 1.49 christos time2posix(time_t t)
2312 1.1 jtc {
2313 1.45 mlelstv rwlock_wrlock(&lcl_lock);
2314 1.87 christos if (!lcl_is_set)
2315 1.87 christos tzset_unlocked();
2316 1.87 christos if (lclptr)
2317 1.87 christos t = (time_t)(t - leapcorr(lclptr, t));
2318 1.45 mlelstv rwlock_unlock(&lcl_lock);
2319 1.87 christos return t;
2320 1.1 jtc }
2321 1.1 jtc
2322 1.87 christos NETBSD_INSPIRED_EXTERN time_t ATTRIBUTE_PURE
2323 1.87 christos posix2time_z(timezone_t sp, time_t t)
2324 1.1 jtc {
2325 1.1 jtc time_t x;
2326 1.1 jtc time_t y;
2327 1.1 jtc
2328 1.1 jtc /*
2329 1.1 jtc ** For a positive leap second hit, the result
2330 1.45 mlelstv ** is not unique. For a negative leap second
2331 1.1 jtc ** hit, the corresponding time doesn't exist,
2332 1.1 jtc ** so we return an adjacent second.
2333 1.1 jtc */
2334 1.87 christos x = (time_t)(t + leapcorr(sp, t));
2335 1.87 christos y = (time_t)(x - leapcorr(sp, x));
2336 1.1 jtc if (y < t) {
2337 1.1 jtc do {
2338 1.1 jtc x++;
2339 1.87 christos y = (time_t)(x - leapcorr(sp, x));
2340 1.1 jtc } while (y < t);
2341 1.87 christos x -= y != t;
2342 1.1 jtc } else if (y > t) {
2343 1.1 jtc do {
2344 1.1 jtc --x;
2345 1.87 christos y = (time_t)(x - leapcorr(sp, x));
2346 1.1 jtc } while (y > t);
2347 1.87 christos x += y != t;
2348 1.1 jtc }
2349 1.49 christos return x;
2350 1.49 christos }
2351 1.49 christos
2352 1.49 christos time_t
2353 1.49 christos posix2time(time_t t)
2354 1.49 christos {
2355 1.49 christos rwlock_wrlock(&lcl_lock);
2356 1.87 christos if (!lcl_is_set)
2357 1.87 christos tzset_unlocked();
2358 1.87 christos if (lclptr)
2359 1.87 christos t = posix2time_z(lclptr, t);
2360 1.45 mlelstv rwlock_unlock(&lcl_lock);
2361 1.87 christos return t;
2362 1.1 jtc }
2363 1.1 jtc
2364 1.1 jtc #endif /* defined STD_INSPIRED */
2365