Line data Source code
1 : /* Convert timestamp from pg_time_t to struct pg_tm. */
2 :
3 : /*
4 : * This file is in the public domain, so clarified as of
5 : * 1996-06-05 by Arthur David Olson.
6 : *
7 : * IDENTIFICATION
8 : * src/timezone/localtime.c
9 : */
10 :
11 : /*
12 : * Leap second handling from Bradley White.
13 : * POSIX-style TZ environment variable handling from Guy Harris.
14 : */
15 :
16 : /* this file needs to build in both frontend and backend contexts */
17 : #include "c.h"
18 :
19 : #include <fcntl.h>
20 :
21 : #include "datatype/timestamp.h"
22 : #include "pgtz.h"
23 :
24 : #include "private.h"
25 : #include "tzfile.h"
26 :
27 :
28 : #ifndef WILDABBR
29 : /*
30 : * Someone might make incorrect use of a time zone abbreviation:
31 : * 1. They might reference tzname[0] before calling tzset (explicitly
32 : * or implicitly).
33 : * 2. They might reference tzname[1] before calling tzset (explicitly
34 : * or implicitly).
35 : * 3. They might reference tzname[1] after setting to a time zone
36 : * in which Daylight Saving Time is never observed.
37 : * 4. They might reference tzname[0] after setting to a time zone
38 : * in which Standard Time is never observed.
39 : * 5. They might reference tm.tm_zone after calling offtime.
40 : * What's best to do in the above cases is open to debate;
41 : * for now, we just set things up so that in any of the five cases
42 : * WILDABBR is used. Another possibility: initialize tzname[0] to the
43 : * string "tzname[0] used before set", and similarly for the other cases.
44 : * And another: initialize tzname[0] to "ERA", with an explanation in the
45 : * manual page of what this "time zone abbreviation" means (doing this so
46 : * that tzname[0] has the "normal" length of three characters).
47 : */
48 : #define WILDABBR " "
49 : #endif /* !defined WILDABBR */
50 :
51 : static const char wildabbr[] = WILDABBR;
52 :
53 : static const char gmt[] = "GMT";
54 :
55 : /*
56 : * The DST rules to use if a POSIX TZ string has no rules.
57 : * Default to US rules as of 2017-05-07.
58 : * POSIX does not specify the default DST rules;
59 : * for historical reasons, US rules are a common default.
60 : */
61 : #define TZDEFRULESTRING ",M3.2.0,M11.1.0"
62 :
63 : /* structs ttinfo, lsinfo, state have been moved to pgtz.h */
64 :
65 : enum r_type
66 : {
67 : JULIAN_DAY, /* Jn = Julian day */
68 : DAY_OF_YEAR, /* n = day of year */
69 : MONTH_NTH_DAY_OF_WEEK /* Mm.n.d = month, week, day of week */
70 : };
71 :
72 : struct rule
73 : {
74 : enum r_type r_type; /* type of rule */
75 : int r_day; /* day number of rule */
76 : int r_week; /* week number of rule */
77 : int r_mon; /* month number of rule */
78 : int_fast32_t r_time; /* transition time of rule */
79 : };
80 :
81 : /*
82 : * Prototypes for static functions.
83 : */
84 :
85 : static struct pg_tm *gmtsub(pg_time_t const *timep, int_fast32_t offset,
86 : struct pg_tm *tmp);
87 : static bool increment_overflow(int *ip, int j);
88 : static bool increment_overflow_time(pg_time_t *tp, int_fast32_t j);
89 : static int_fast64_t leapcorr(struct state const *sp, pg_time_t);
90 : static struct pg_tm *timesub(pg_time_t const *timep,
91 : int_fast32_t offset, struct state const *sp,
92 : struct pg_tm *tmp);
93 : static bool typesequiv(struct state const *sp, int a, int b);
94 :
95 :
96 : /*
97 : * Section 4.12.3 of X3.159-1989 requires that
98 : * Except for the strftime function, these functions [asctime,
99 : * ctime, gmtime, localtime] return values in one of two static
100 : * objects: a broken-down time structure and an array of char.
101 : * Thanks to Paul Eggert for noting this.
102 : */
103 :
104 : static struct pg_tm tm;
105 :
106 : /* Initialize *S to a value based on UTOFF, ISDST, and DESIGIDX. */
107 : static void
108 32680 : init_ttinfo(struct ttinfo *s, int_fast32_t utoff, bool isdst, int desigidx)
109 : {
110 32680 : s->tt_utoff = utoff;
111 32680 : s->tt_isdst = isdst;
112 32680 : s->tt_desigidx = desigidx;
113 32680 : s->tt_ttisstd = false;
114 32680 : s->tt_ttisut = false;
115 32680 : }
116 :
117 : static int_fast32_t
118 336960 : detzcode(const char *const codep)
119 : {
120 : int_fast32_t result;
121 : int i;
122 336960 : int_fast32_t one = 1;
123 336960 : int_fast32_t halfmaxval = one << (32 - 2);
124 336960 : int_fast32_t maxval = halfmaxval - 1 + halfmaxval;
125 336960 : int_fast32_t minval = -1 - maxval;
126 :
127 336960 : result = codep[0] & 0x7f;
128 1347840 : for (i = 1; i < 4; ++i)
129 1010880 : result = (result << 8) | (codep[i] & 0xff);
130 :
131 336960 : if (codep[0] & 0x80)
132 : {
133 : /*
134 : * Do two's-complement negation even on non-two's-complement machines.
135 : * If the result would be minval - 1, return minval.
136 : */
137 56204 : result -= !TWOS_COMPLEMENT(int_fast32_t) && result != 0;
138 56204 : result += minval;
139 : }
140 336960 : return result;
141 : }
142 :
143 : static int_fast64_t
144 1372654 : detzcode64(const char *const codep)
145 : {
146 : uint_fast64_t result;
147 : int i;
148 1372654 : int_fast64_t one = 1;
149 1372654 : int_fast64_t halfmaxval = one << (64 - 2);
150 1372654 : int_fast64_t maxval = halfmaxval - 1 + halfmaxval;
151 1372654 : int_fast64_t minval = -TWOS_COMPLEMENT(int_fast64_t) - maxval;
152 :
153 1372654 : result = codep[0] & 0x7f;
154 10981232 : for (i = 1; i < 8; ++i)
155 9608578 : result = (result << 8) | (codep[i] & 0xff);
156 :
157 1372654 : if (codep[0] & 0x80)
158 : {
159 : /*
160 : * Do two's-complement negation even on non-two's-complement machines.
161 : * If the result would be minval - 1, return minval.
162 : */
163 527754 : result -= !TWOS_COMPLEMENT(int_fast64_t) && result != 0;
164 527754 : result += minval;
165 : }
166 1372654 : return result;
167 : }
168 :
169 : static bool
170 11395992 : differ_by_repeat(const pg_time_t t1, const pg_time_t t0)
171 : {
172 : if (TYPE_BIT(pg_time_t) - TYPE_SIGNED(pg_time_t) < SECSPERREPEAT_BITS)
173 : return 0;
174 11395992 : return t1 - t0 == SECSPERREPEAT;
175 : }
176 :
177 : /* Input buffer for data read from a compiled tz file. */
178 : union input_buffer
179 : {
180 : /* The first part of the buffer, interpreted as a header. */
181 : struct tzhead tzhead;
182 :
183 : /* The entire buffer. */
184 : char buf[2 * sizeof(struct tzhead) + 2 * sizeof(struct state)
185 : + 4 * TZ_MAX_TIMES];
186 : };
187 :
188 : /* Local storage needed for 'tzloadbody'. */
189 : union local_storage
190 : {
191 : /* The results of analyzing the file's contents after it is opened. */
192 : struct file_analysis
193 : {
194 : /* The input buffer. */
195 : union input_buffer u;
196 :
197 : /* A temporary state used for parsing a TZ string in the file. */
198 : struct state st;
199 : } u;
200 :
201 : /* We don't need the "fullname" member */
202 : };
203 :
204 : /* Load tz data from the file named NAME into *SP. Read extended
205 : * format if DOEXTEND. Use *LSP for temporary storage. Return 0 on
206 : * success, an errno value on failure.
207 : * PG: If "canonname" is not NULL, then on success the canonical spelling of
208 : * given name is stored there (the buffer must be > TZ_STRLEN_MAX bytes!).
209 : */
210 : static int
211 20000 : tzloadbody(char const *name, char *canonname, struct state *sp, bool doextend,
212 : union local_storage *lsp)
213 : {
214 : int i;
215 : int fid;
216 : int stored;
217 : ssize_t nread;
218 20000 : union input_buffer *up = &lsp->u.u;
219 20000 : int tzheadsize = sizeof(struct tzhead);
220 :
221 20000 : sp->goback = sp->goahead = false;
222 :
223 20000 : if (!name)
224 : {
225 0 : name = TZDEFAULT;
226 0 : if (!name)
227 0 : return EINVAL;
228 : }
229 :
230 20000 : if (name[0] == ':')
231 0 : ++name;
232 :
233 20000 : fid = pg_open_tzfile(name, canonname);
234 20000 : if (fid < 0)
235 460 : return ENOENT; /* pg_open_tzfile may not set errno */
236 :
237 19540 : nread = read(fid, up->buf, sizeof up->buf);
238 19540 : if (nread < tzheadsize)
239 : {
240 0 : int err = nread < 0 ? errno : EINVAL;
241 :
242 0 : close(fid);
243 0 : return err;
244 : }
245 19540 : if (close(fid) < 0)
246 0 : return errno;
247 58620 : for (stored = 4; stored <= 8; stored *= 2)
248 : {
249 39080 : int_fast32_t ttisstdcnt = detzcode(up->tzhead.tzh_ttisstdcnt);
250 39080 : int_fast32_t ttisutcnt = detzcode(up->tzhead.tzh_ttisutcnt);
251 39080 : int_fast64_t prevtr = 0;
252 39080 : int_fast32_t prevcorr = 0;
253 39080 : int_fast32_t leapcnt = detzcode(up->tzhead.tzh_leapcnt);
254 39080 : int_fast32_t timecnt = detzcode(up->tzhead.tzh_timecnt);
255 39080 : int_fast32_t typecnt = detzcode(up->tzhead.tzh_typecnt);
256 39080 : int_fast32_t charcnt = detzcode(up->tzhead.tzh_charcnt);
257 39080 : char const *p = up->buf + tzheadsize;
258 :
259 : /*
260 : * Although tzfile(5) currently requires typecnt to be nonzero,
261 : * support future formats that may allow zero typecnt in files that
262 : * have a TZ string and no transitions.
263 : */
264 78160 : if (!(0 <= leapcnt && leapcnt < TZ_MAX_LEAPS
265 39080 : && 0 <= typecnt && typecnt < TZ_MAX_TYPES
266 39080 : && 0 <= timecnt && timecnt < TZ_MAX_TIMES
267 39080 : && 0 <= charcnt && charcnt < TZ_MAX_CHARS
268 39080 : && (ttisstdcnt == typecnt || ttisstdcnt == 0)
269 39080 : && (ttisutcnt == typecnt || ttisutcnt == 0)))
270 0 : return EINVAL;
271 39080 : if (nread
272 : < (tzheadsize /* struct tzhead */
273 39080 : + timecnt * stored /* ats */
274 39080 : + timecnt /* types */
275 39080 : + typecnt * 6 /* ttinfos */
276 39080 : + charcnt /* chars */
277 39080 : + leapcnt * (stored + 4) /* lsinfos */
278 39080 : + ttisstdcnt /* ttisstds */
279 39080 : + ttisutcnt)) /* ttisuts */
280 0 : return EINVAL;
281 39080 : sp->leapcnt = leapcnt;
282 39080 : sp->timecnt = timecnt;
283 39080 : sp->typecnt = typecnt;
284 39080 : sp->charcnt = charcnt;
285 :
286 : /*
287 : * Read transitions, discarding those out of pg_time_t range. But
288 : * pretend the last transition before TIME_T_MIN occurred at
289 : * TIME_T_MIN.
290 : */
291 39080 : timecnt = 0;
292 1411734 : for (i = 0; i < sp->timecnt; ++i)
293 : {
294 1372654 : int_fast64_t at
295 1372654 : = stored == 4 ? detzcode(p) : detzcode64(p);
296 :
297 1372654 : sp->types[i] = at <= TIME_T_MAX;
298 1372654 : if (sp->types[i])
299 : {
300 1372654 : pg_time_t attime
301 : = ((TYPE_SIGNED(pg_time_t) ? at < TIME_T_MIN : at < 0)
302 : ? TIME_T_MIN : at);
303 :
304 1372654 : if (timecnt && attime <= sp->ats[timecnt - 1])
305 : {
306 0 : if (attime < sp->ats[timecnt - 1])
307 0 : return EINVAL;
308 0 : sp->types[i - 1] = 0;
309 0 : timecnt--;
310 : }
311 1372654 : sp->ats[timecnt++] = attime;
312 : }
313 1372654 : p += stored;
314 : }
315 :
316 39080 : timecnt = 0;
317 1411734 : for (i = 0; i < sp->timecnt; ++i)
318 : {
319 1372654 : unsigned char typ = *p++;
320 :
321 1372654 : if (sp->typecnt <= typ)
322 0 : return EINVAL;
323 1372654 : if (sp->types[i])
324 1372654 : sp->types[timecnt++] = typ;
325 : }
326 39080 : sp->timecnt = timecnt;
327 141560 : for (i = 0; i < sp->typecnt; ++i)
328 : {
329 : struct ttinfo *ttisp;
330 : unsigned char isdst,
331 : desigidx;
332 :
333 102480 : ttisp = &sp->ttis[i];
334 102480 : ttisp->tt_utoff = detzcode(p);
335 102480 : p += 4;
336 102480 : isdst = *p++;
337 102480 : if (!(isdst < 2))
338 0 : return EINVAL;
339 102480 : ttisp->tt_isdst = isdst;
340 102480 : desigidx = *p++;
341 102480 : if (!(desigidx < sp->charcnt))
342 0 : return EINVAL;
343 102480 : ttisp->tt_desigidx = desigidx;
344 : }
345 384540 : for (i = 0; i < sp->charcnt; ++i)
346 345460 : sp->chars[i] = *p++;
347 39080 : sp->chars[i] = '\0'; /* ensure '\0' at end */
348 :
349 : /* Read leap seconds, discarding those out of pg_time_t range. */
350 39080 : leapcnt = 0;
351 39080 : for (i = 0; i < sp->leapcnt; ++i)
352 : {
353 0 : int_fast64_t tr = stored == 4 ? detzcode(p) : detzcode64(p);
354 0 : int_fast32_t corr = detzcode(p + stored);
355 :
356 0 : p += stored + 4;
357 : /* Leap seconds cannot occur before the Epoch. */
358 0 : if (tr < 0)
359 0 : return EINVAL;
360 : if (tr <= TIME_T_MAX)
361 : {
362 : /*
363 : * Leap seconds cannot occur more than once per UTC month, and
364 : * UTC months are at least 28 days long (minus 1 second for a
365 : * negative leap second). Each leap second's correction must
366 : * differ from the previous one's by 1 second.
367 : */
368 0 : if (tr - prevtr < 28 * SECSPERDAY - 1
369 0 : || (corr != prevcorr - 1 && corr != prevcorr + 1))
370 0 : return EINVAL;
371 0 : sp->lsis[leapcnt].ls_trans = prevtr = tr;
372 0 : sp->lsis[leapcnt].ls_corr = prevcorr = corr;
373 0 : leapcnt++;
374 : }
375 : }
376 39080 : sp->leapcnt = leapcnt;
377 :
378 141560 : for (i = 0; i < sp->typecnt; ++i)
379 : {
380 : struct ttinfo *ttisp;
381 :
382 102480 : ttisp = &sp->ttis[i];
383 102480 : if (ttisstdcnt == 0)
384 102480 : ttisp->tt_ttisstd = false;
385 : else
386 : {
387 0 : if (*p != true && *p != false)
388 0 : return EINVAL;
389 0 : ttisp->tt_ttisstd = *p++;
390 : }
391 : }
392 141560 : for (i = 0; i < sp->typecnt; ++i)
393 : {
394 : struct ttinfo *ttisp;
395 :
396 102480 : ttisp = &sp->ttis[i];
397 102480 : if (ttisutcnt == 0)
398 102480 : ttisp->tt_ttisut = false;
399 : else
400 : {
401 0 : if (*p != true && *p != false)
402 0 : return EINVAL;
403 0 : ttisp->tt_ttisut = *p++;
404 : }
405 : }
406 :
407 : /*
408 : * If this is an old file, we're done.
409 : */
410 39080 : if (up->tzhead.tzh_version[0] == '\0')
411 0 : break;
412 39080 : nread -= p - up->buf;
413 39080 : memmove(up->buf, p, nread);
414 : }
415 19540 : if (doextend && nread > 2 &&
416 19540 : up->buf[0] == '\n' && up->buf[nread - 1] == '\n' &&
417 19540 : sp->typecnt + 2 <= TZ_MAX_TYPES)
418 : {
419 19540 : struct state *ts = &lsp->u.st;
420 :
421 19540 : up->buf[nread - 1] = '\0';
422 19540 : if (tzparse(&up->buf[1], ts, false))
423 : {
424 :
425 : /*
426 : * Attempt to reuse existing abbreviations. Without this,
427 : * America/Anchorage would be right on the edge after 2037 when
428 : * TZ_MAX_CHARS is 50, as sp->charcnt equals 40 (for LMT AST AWT
429 : * APT AHST AHDT YST AKDT AKST) and ts->charcnt equals 10 (for
430 : * AKST AKDT). Reusing means sp->charcnt can stay 40 in this
431 : * example.
432 : */
433 19540 : int gotabbr = 0;
434 19540 : int charcnt = sp->charcnt;
435 :
436 49568 : for (i = 0; i < ts->typecnt; i++)
437 : {
438 30028 : char *tsabbr = ts->chars + ts->ttis[i].tt_desigidx;
439 : int j;
440 :
441 248344 : for (j = 0; j < charcnt; j++)
442 248280 : if (strcmp(sp->chars + j, tsabbr) == 0)
443 : {
444 29964 : ts->ttis[i].tt_desigidx = j;
445 29964 : gotabbr++;
446 29964 : break;
447 : }
448 30028 : if (!(j < charcnt))
449 : {
450 64 : int tsabbrlen = strlen(tsabbr);
451 :
452 64 : if (j + tsabbrlen < TZ_MAX_CHARS)
453 : {
454 64 : strcpy(sp->chars + j, tsabbr);
455 64 : charcnt = j + tsabbrlen + 1;
456 64 : ts->ttis[i].tt_desigidx = j;
457 64 : gotabbr++;
458 : }
459 : }
460 : }
461 19540 : if (gotabbr == ts->typecnt)
462 : {
463 19540 : sp->charcnt = charcnt;
464 :
465 : /*
466 : * Ignore any trailing, no-op transitions generated by zic as
467 : * they don't help here and can run afoul of bugs in zic 2016j
468 : * or earlier.
469 : */
470 19540 : while (1 < sp->timecnt
471 19572 : && (sp->types[sp->timecnt - 1]
472 15706 : == sp->types[sp->timecnt - 2]))
473 32 : sp->timecnt--;
474 :
475 4990784 : for (i = 0; i < ts->timecnt; i++)
476 4981732 : if (sp->timecnt == 0
477 9963464 : || (sp->ats[sp->timecnt - 1]
478 4981732 : < ts->ats[i] + leapcorr(sp, ts->ats[i])))
479 : break;
480 19540 : while (i < ts->timecnt
481 16024296 : && sp->timecnt < TZ_MAX_TIMES)
482 : {
483 16004756 : sp->ats[sp->timecnt]
484 16004756 : = ts->ats[i] + leapcorr(sp, ts->ats[i]);
485 16004756 : sp->types[sp->timecnt] = (sp->typecnt
486 16004756 : + ts->types[i]);
487 16004756 : sp->timecnt++;
488 16004756 : i++;
489 : }
490 49568 : for (i = 0; i < ts->typecnt; i++)
491 30028 : sp->ttis[sp->typecnt++] = ts->ttis[i];
492 : }
493 : }
494 : }
495 19540 : if (sp->typecnt == 0)
496 0 : return EINVAL;
497 19540 : if (sp->timecnt > 1)
498 : {
499 17376658 : for (i = 1; i < sp->timecnt; ++i)
500 24513362 : if (typesequiv(sp, sp->types[i], sp->types[0]) &&
501 7152378 : differ_by_repeat(sp->ats[i], sp->ats[0]))
502 : {
503 0 : sp->goback = true;
504 0 : break;
505 : }
506 8559894 : for (i = sp->timecnt - 2; i >= 0; --i)
507 8554708 : if (typesequiv(sp, sp->types[sp->timecnt - 1],
508 12798322 : sp->types[i]) &&
509 4243614 : differ_by_repeat(sp->ats[sp->timecnt - 1],
510 : sp->ats[i]))
511 : {
512 10488 : sp->goahead = true;
513 10488 : break;
514 : }
515 : }
516 :
517 : /*
518 : * Infer sp->defaulttype from the data. Although this default type is
519 : * always zero for data from recent tzdb releases, things are trickier for
520 : * data from tzdb 2018e or earlier.
521 : *
522 : * The first set of heuristics work around bugs in 32-bit data generated
523 : * by tzdb 2013c or earlier. The workaround is for zones like
524 : * Australia/Macquarie where timestamps before the first transition have a
525 : * time type that is not the earliest standard-time type. See:
526 : * https://mm.icann.org/pipermail/tz/2013-May/019368.html
527 : */
528 :
529 : /*
530 : * If type 0 is unused in transitions, it's the type to use for early
531 : * times.
532 : */
533 17289506 : for (i = 0; i < sp->timecnt; ++i)
534 17270228 : if (sp->types[i] == 0)
535 262 : break;
536 19540 : i = i < sp->timecnt ? -1 : 0;
537 :
538 : /*
539 : * Absent the above, if there are transition times and the first
540 : * transition is to a daylight time find the standard type less than and
541 : * closest to the type of the first transition.
542 : */
543 19540 : if (i < 0 && sp->timecnt > 0 && sp->ttis[sp->types[0]].tt_isdst)
544 : {
545 0 : i = sp->types[0];
546 0 : while (--i >= 0)
547 0 : if (!sp->ttis[i].tt_isdst)
548 0 : break;
549 : }
550 :
551 : /*
552 : * The next heuristics are for data generated by tzdb 2018e or earlier,
553 : * for zones like EST5EDT where the first transition is to DST.
554 : */
555 :
556 : /*
557 : * If no result yet, find the first standard type. If there is none, punt
558 : * to type zero.
559 : */
560 19540 : if (i < 0)
561 : {
562 262 : i = 0;
563 262 : while (sp->ttis[i].tt_isdst)
564 0 : if (++i >= sp->typecnt)
565 : {
566 0 : i = 0;
567 0 : break;
568 : }
569 : }
570 :
571 : /*
572 : * A simple 'sp->defaulttype = 0;' would suffice here if we didn't have to
573 : * worry about 2018e-or-earlier data. Even simpler would be to remove the
574 : * defaulttype member and just use 0 in its place.
575 : */
576 19540 : sp->defaulttype = i;
577 :
578 19540 : return 0;
579 : }
580 :
581 : /* Load tz data from the file named NAME into *SP. Read extended
582 : * format if DOEXTEND. Return 0 on success, an errno value on failure.
583 : * PG: If "canonname" is not NULL, then on success the canonical spelling of
584 : * given name is stored there (the buffer must be > TZ_STRLEN_MAX bytes!).
585 : */
586 : int
587 20000 : tzload(char const *name, char *canonname, struct state *sp, bool doextend)
588 : {
589 20000 : union local_storage *lsp = malloc(sizeof *lsp);
590 :
591 20000 : if (!lsp)
592 0 : return errno;
593 : else
594 : {
595 20000 : int err = tzloadbody(name, canonname, sp, doextend, lsp);
596 :
597 20000 : free(lsp);
598 20000 : return err;
599 : }
600 : }
601 :
602 : static bool
603 25915692 : typesequiv(const struct state *sp, int a, int b)
604 : {
605 : bool result;
606 :
607 25915692 : if (sp == NULL ||
608 25915692 : a < 0 || a >= sp->typecnt ||
609 25915692 : b < 0 || b >= sp->typecnt)
610 0 : result = false;
611 : else
612 : {
613 25915692 : const struct ttinfo *ap = &sp->ttis[a];
614 25915692 : const struct ttinfo *bp = &sp->ttis[b];
615 :
616 25915692 : result = (ap->tt_utoff == bp->tt_utoff
617 11503610 : && ap->tt_isdst == bp->tt_isdst
618 11423614 : && ap->tt_ttisstd == bp->tt_ttisstd
619 11423614 : && ap->tt_ttisut == bp->tt_ttisut
620 37419302 : && (strcmp(&sp->chars[ap->tt_desigidx],
621 11423614 : &sp->chars[bp->tt_desigidx])
622 : == 0));
623 : }
624 25915692 : return result;
625 : }
626 :
627 : static const int mon_lengths[2][MONSPERYEAR] = {
628 : {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
629 : {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
630 : };
631 :
632 : static const int year_lengths[2] = {
633 : DAYSPERNYEAR, DAYSPERLYEAR
634 : };
635 :
636 : /*
637 : * Given a pointer into a timezone string, scan until a character that is not
638 : * a valid character in a time zone abbreviation is found.
639 : * Return a pointer to that character.
640 : */
641 :
642 : static const char *
643 26254 : getzname(const char *strp)
644 : {
645 : char c;
646 :
647 107858 : while ((c = *strp) != '\0' && !is_digit(c) && c != ',' && c != '-' &&
648 : c != '+')
649 81604 : ++strp;
650 26254 : return strp;
651 : }
652 :
653 : /*
654 : * Given a pointer into an extended timezone string, scan until the ending
655 : * delimiter of the time zone abbreviation is located.
656 : * Return a pointer to the delimiter.
657 : *
658 : * As with getzname above, the legal character set is actually quite
659 : * restricted, with other characters producing undefined results.
660 : * We don't do any checking here; checking is done later in common-case code.
661 : */
662 :
663 : static const char *
664 4254 : getqzname(const char *strp, const int delim)
665 : {
666 : int c;
667 :
668 17638 : while ((c = *strp) != '\0' && c != delim)
669 13384 : ++strp;
670 4254 : return strp;
671 : }
672 :
673 : /*
674 : * Given a pointer into a timezone string, extract a number from that string.
675 : * Check that the number is within a specified range; if it is not, return
676 : * NULL.
677 : * Otherwise, return a pointer to the first character not part of the number.
678 : */
679 :
680 : static const char *
681 86006 : getnum(const char *strp, int *const nump, const int min, const int max)
682 : {
683 : char c;
684 : int num;
685 :
686 86006 : if (strp == NULL || !is_digit(c = *strp))
687 0 : return NULL;
688 86006 : num = 0;
689 : do
690 : {
691 98792 : num = num * 10 + (c - '0');
692 98792 : if (num > max)
693 0 : return NULL; /* illegal value */
694 98792 : c = *++strp;
695 98792 : } while (is_digit(c));
696 86006 : if (num < min)
697 0 : return NULL; /* illegal value */
698 86006 : *nump = num;
699 86006 : return strp;
700 : }
701 :
702 : /*
703 : * Given a pointer into a timezone string, extract a number of seconds,
704 : * in hh[:mm[:ss]] form, from the string.
705 : * If any error occurs, return NULL.
706 : * Otherwise, return a pointer to the first character not part of the number
707 : * of seconds.
708 : */
709 :
710 : static const char *
711 22380 : getsecs(const char *strp, int_fast32_t *const secsp)
712 : {
713 : int num;
714 :
715 : /*
716 : * 'HOURSPERDAY * DAYSPERWEEK - 1' allows quasi-Posix rules like
717 : * "M10.4.6/26", which does not conform to Posix, but which specifies the
718 : * equivalent of "02:00 on the first Sunday on or after 23 Oct".
719 : */
720 22380 : strp = getnum(strp, &num, 0, HOURSPERDAY * DAYSPERWEEK - 1);
721 22380 : if (strp == NULL)
722 0 : return NULL;
723 22380 : *secsp = num * (int_fast32_t) SECSPERHOUR;
724 22380 : if (*strp == ':')
725 : {
726 578 : ++strp;
727 578 : strp = getnum(strp, &num, 0, MINSPERHOUR - 1);
728 578 : if (strp == NULL)
729 0 : return NULL;
730 578 : *secsp += num * SECSPERMIN;
731 578 : if (*strp == ':')
732 : {
733 0 : ++strp;
734 : /* 'SECSPERMIN' allows for leap seconds. */
735 0 : strp = getnum(strp, &num, 0, SECSPERMIN);
736 0 : if (strp == NULL)
737 0 : return NULL;
738 0 : *secsp += num;
739 : }
740 : }
741 22380 : return strp;
742 : }
743 :
744 : /*
745 : * Given a pointer into a timezone string, extract an offset, in
746 : * [+-]hh[:mm[:ss]] form, from the string.
747 : * If any error occurs, return NULL.
748 : * Otherwise, return a pointer to the first character not part of the time.
749 : */
750 :
751 : static const char *
752 22380 : getoffset(const char *strp, int_fast32_t *const offsetp)
753 : {
754 22380 : bool neg = false;
755 :
756 22380 : if (*strp == '-')
757 : {
758 5408 : neg = true;
759 5408 : ++strp;
760 : }
761 16972 : else if (*strp == '+')
762 140 : ++strp;
763 22380 : strp = getsecs(strp, offsetp);
764 22380 : if (strp == NULL)
765 0 : return NULL; /* illegal time */
766 22380 : if (neg)
767 5408 : *offsetp = -*offsetp;
768 22380 : return strp;
769 : }
770 :
771 : /*
772 : * Given a pointer into a timezone string, extract a rule in the form
773 : * date[/time]. See POSIX section 8 for the format of "date" and "time".
774 : * If a valid rule is not found, return NULL.
775 : * Otherwise, return a pointer to the first character not part of the rule.
776 : */
777 :
778 : static const char *
779 21016 : getrule(const char *strp, struct rule *const rulep)
780 : {
781 21016 : if (*strp == 'J')
782 : {
783 : /*
784 : * Julian day.
785 : */
786 0 : rulep->r_type = JULIAN_DAY;
787 0 : ++strp;
788 0 : strp = getnum(strp, &rulep->r_day, 1, DAYSPERNYEAR);
789 : }
790 21016 : else if (*strp == 'M')
791 : {
792 : /*
793 : * Month, week, day.
794 : */
795 21016 : rulep->r_type = MONTH_NTH_DAY_OF_WEEK;
796 21016 : ++strp;
797 21016 : strp = getnum(strp, &rulep->r_mon, 1, MONSPERYEAR);
798 21016 : if (strp == NULL)
799 0 : return NULL;
800 21016 : if (*strp++ != '.')
801 0 : return NULL;
802 21016 : strp = getnum(strp, &rulep->r_week, 1, 5);
803 21016 : if (strp == NULL)
804 0 : return NULL;
805 21016 : if (*strp++ != '.')
806 0 : return NULL;
807 21016 : strp = getnum(strp, &rulep->r_day, 0, DAYSPERWEEK - 1);
808 : }
809 0 : else if (is_digit(*strp))
810 : {
811 : /*
812 : * Day of year.
813 : */
814 0 : rulep->r_type = DAY_OF_YEAR;
815 0 : strp = getnum(strp, &rulep->r_day, 0, DAYSPERLYEAR - 1);
816 : }
817 : else
818 0 : return NULL; /* invalid format */
819 21016 : if (strp == NULL)
820 0 : return NULL;
821 21016 : if (*strp == '/')
822 : {
823 : /*
824 : * Time specified.
825 : */
826 2396 : ++strp;
827 2396 : strp = getoffset(strp, &rulep->r_time);
828 : }
829 : else
830 18620 : rulep->r_time = 2 * SECSPERHOUR; /* default = 2:00:00 */
831 21016 : return strp;
832 : }
833 :
834 : /*
835 : * Given a year, a rule, and the offset from UT at the time that rule takes
836 : * effect, calculate the year-relative time that rule takes effect.
837 : */
838 :
839 : static int_fast32_t
840 21037016 : transtime(const int year, const struct rule *const rulep,
841 : const int_fast32_t offset)
842 : {
843 : bool leapyear;
844 : int_fast32_t value;
845 : int i;
846 : int d,
847 : m1,
848 : yy0,
849 : yy1,
850 : yy2,
851 : dow;
852 :
853 21037016 : INITIALIZE(value);
854 21037016 : leapyear = isleap(year);
855 21037016 : switch (rulep->r_type)
856 : {
857 :
858 0 : case JULIAN_DAY:
859 :
860 : /*
861 : * Jn - Julian day, 1 == January 1, 60 == March 1 even in leap
862 : * years. In non-leap years, or if the day number is 59 or less,
863 : * just add SECSPERDAY times the day number-1 to the time of
864 : * January 1, midnight, to get the day.
865 : */
866 0 : value = (rulep->r_day - 1) * SECSPERDAY;
867 0 : if (leapyear && rulep->r_day >= 60)
868 0 : value += SECSPERDAY;
869 0 : break;
870 :
871 0 : case DAY_OF_YEAR:
872 :
873 : /*
874 : * n - day of year. Just add SECSPERDAY times the day number to
875 : * the time of January 1, midnight, to get the day.
876 : */
877 0 : value = rulep->r_day * SECSPERDAY;
878 0 : break;
879 :
880 21037016 : case MONTH_NTH_DAY_OF_WEEK:
881 :
882 : /*
883 : * Mm.n.d - nth "dth day" of month m.
884 : */
885 :
886 : /*
887 : * Use Zeller's Congruence to get day-of-week of first day of
888 : * month.
889 : */
890 21037016 : m1 = (rulep->r_mon + 9) % 12 + 1;
891 21037016 : yy0 = (rulep->r_mon <= 2) ? (year - 1) : year;
892 21037016 : yy1 = yy0 / 100;
893 21037016 : yy2 = yy0 % 100;
894 21037016 : dow = ((26 * m1 - 2) / 10 +
895 21037016 : 1 + yy2 + yy2 / 4 + yy1 / 4 - 2 * yy1) % 7;
896 21037016 : if (dow < 0)
897 3955264 : dow += DAYSPERWEEK;
898 :
899 : /*
900 : * "dow" is the day-of-week of the first day of the month. Get the
901 : * day-of-month (zero-origin) of the first "dow" day of the month.
902 : */
903 21037016 : d = rulep->r_day - dow;
904 21037016 : if (d < 0)
905 17744016 : d += DAYSPERWEEK;
906 39481802 : for (i = 1; i < rulep->r_week; ++i)
907 : {
908 20042022 : if (d + DAYSPERWEEK >=
909 20042022 : mon_lengths[leapyear][rulep->r_mon - 1])
910 1597236 : break;
911 18444786 : d += DAYSPERWEEK;
912 : }
913 :
914 : /*
915 : * "d" is the day-of-month (zero-origin) of the day we want.
916 : */
917 21037016 : value = d * SECSPERDAY;
918 145735590 : for (i = 0; i < rulep->r_mon - 1; ++i)
919 124698574 : value += mon_lengths[leapyear][i] * SECSPERDAY;
920 21037016 : break;
921 : }
922 :
923 : /*
924 : * "value" is the year-relative time of 00:00:00 UT on the day in
925 : * question. To get the year-relative time of the specified local time on
926 : * that day, add the transition time and the current offset from UT.
927 : */
928 21037016 : return value + rulep->r_time + offset;
929 : }
930 :
931 : /*
932 : * Given a POSIX section 8-style TZ string, fill in the rule tables as
933 : * appropriate.
934 : * Returns true on success, false on failure.
935 : */
936 : bool
937 22274 : tzparse(const char *name, struct state *sp, bool lastditch)
938 : {
939 : const char *stdname;
940 22274 : const char *dstname = NULL;
941 : size_t stdlen;
942 : size_t dstlen;
943 : size_t charcnt;
944 : int_fast32_t stdoffset;
945 : int_fast32_t dstoffset;
946 : char *cp;
947 : bool load_ok;
948 :
949 22274 : stdname = name;
950 22274 : if (lastditch)
951 : {
952 : /* Unlike IANA, don't assume name is exactly "GMT" */
953 2274 : stdlen = strlen(name); /* length of standard zone name */
954 2274 : name += stdlen;
955 2274 : stdoffset = 0;
956 : }
957 : else
958 : {
959 20000 : if (*name == '<')
960 : {
961 3996 : name++;
962 3996 : stdname = name;
963 3996 : name = getqzname(name, '>');
964 3996 : if (*name != '>')
965 0 : return false;
966 3996 : stdlen = name - stdname;
967 3996 : name++;
968 : }
969 : else
970 : {
971 16004 : name = getzname(name);
972 16004 : stdlen = name - stdname;
973 : }
974 20000 : if (*name == '\0') /* we allow empty STD abbrev, unlike IANA */
975 102 : return false;
976 19898 : name = getoffset(name, &stdoffset);
977 19898 : if (name == NULL)
978 0 : return false;
979 : }
980 22172 : charcnt = stdlen + 1;
981 22172 : if (sizeof sp->chars < charcnt)
982 0 : return false;
983 :
984 : /*
985 : * The IANA code always tries to tzload(TZDEFRULES) here. We do not want
986 : * to do that; it would be bad news in the lastditch case, where we can't
987 : * assume pg_open_tzfile() is sane yet. Moreover, if we did load it and
988 : * it contains leap-second-dependent info, that would cause problems too.
989 : * Finally, IANA has deprecated the TZDEFRULES feature, so it presumably
990 : * will die at some point. Desupporting it now seems like good
991 : * future-proofing.
992 : */
993 22172 : load_ok = false;
994 22172 : sp->goback = sp->goahead = false; /* simulate failed tzload() */
995 22172 : sp->leapcnt = 0; /* intentionally assume no leap seconds */
996 :
997 22172 : if (*name != '\0')
998 : {
999 10508 : if (*name == '<')
1000 : {
1001 258 : dstname = ++name;
1002 258 : name = getqzname(name, '>');
1003 258 : if (*name != '>')
1004 0 : return false;
1005 258 : dstlen = name - dstname;
1006 258 : name++;
1007 : }
1008 : else
1009 : {
1010 10250 : dstname = name;
1011 10250 : name = getzname(name);
1012 10250 : dstlen = name - dstname; /* length of DST abbr. */
1013 : }
1014 10508 : if (!dstlen)
1015 0 : return false;
1016 10508 : charcnt += dstlen + 1;
1017 10508 : if (sizeof sp->chars < charcnt)
1018 0 : return false;
1019 10508 : if (*name != '\0' && *name != ',' && *name != ';')
1020 : {
1021 86 : name = getoffset(name, &dstoffset);
1022 86 : if (name == NULL)
1023 0 : return false;
1024 : }
1025 : else
1026 10422 : dstoffset = stdoffset - SECSPERHOUR;
1027 10508 : if (*name == '\0' && !load_ok)
1028 6 : name = TZDEFRULESTRING;
1029 10508 : if (*name == ',' || *name == ';')
1030 10508 : {
1031 : struct rule start;
1032 : struct rule end;
1033 : int year;
1034 : int yearlim;
1035 : int timecnt;
1036 : pg_time_t janfirst;
1037 10508 : int_fast32_t janoffset = 0;
1038 : int yearbeg;
1039 :
1040 10508 : ++name;
1041 10508 : if ((name = getrule(name, &start)) == NULL)
1042 0 : return false;
1043 10508 : if (*name++ != ',')
1044 0 : return false;
1045 10508 : if ((name = getrule(name, &end)) == NULL)
1046 0 : return false;
1047 10508 : if (*name != '\0')
1048 0 : return false;
1049 10508 : sp->typecnt = 2; /* standard time and DST */
1050 :
1051 : /*
1052 : * Two transitions per year, from EPOCH_YEAR forward.
1053 : */
1054 10508 : init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
1055 10508 : init_ttinfo(&sp->ttis[1], -dstoffset, true, stdlen + 1);
1056 10508 : sp->defaulttype = 0;
1057 10508 : timecnt = 0;
1058 10508 : janfirst = 0;
1059 10508 : yearbeg = EPOCH_YEAR;
1060 :
1061 : do
1062 : {
1063 2101600 : int_fast32_t yearsecs
1064 2101600 : = year_lengths[isleap(yearbeg - 1)] * SECSPERDAY;
1065 :
1066 2101600 : yearbeg--;
1067 2101600 : if (increment_overflow_time(&janfirst, -yearsecs))
1068 : {
1069 0 : janoffset = -yearsecs;
1070 0 : break;
1071 : }
1072 2101600 : } while (EPOCH_YEAR - YEARSPERREPEAT / 2 < yearbeg);
1073 :
1074 10508 : yearlim = yearbeg + YEARSPERREPEAT + 1;
1075 10518508 : for (year = yearbeg; year < yearlim; year++)
1076 : {
1077 : int_fast32_t
1078 10518508 : starttime = transtime(year, &start, stdoffset),
1079 10518508 : endtime = transtime(year, &end, dstoffset);
1080 : int_fast32_t
1081 10518508 : yearsecs = (year_lengths[isleap(year)]
1082 : * SECSPERDAY);
1083 10518508 : bool reversed = endtime < starttime;
1084 :
1085 10518508 : if (reversed)
1086 : {
1087 488488 : int_fast32_t swap = starttime;
1088 :
1089 488488 : starttime = endtime;
1090 488488 : endtime = swap;
1091 : }
1092 10518508 : if (reversed
1093 10030020 : || (starttime < endtime
1094 10030020 : && (endtime - starttime
1095 : < (yearsecs
1096 10030020 : + (stdoffset - dstoffset)))))
1097 : {
1098 10518508 : if (TZ_MAX_TIMES - 2 < timecnt)
1099 10508 : break;
1100 10508000 : sp->ats[timecnt] = janfirst;
1101 10508000 : if (!increment_overflow_time
1102 : (&sp->ats[timecnt],
1103 : janoffset + starttime))
1104 10508000 : sp->types[timecnt++] = !reversed;
1105 10508000 : sp->ats[timecnt] = janfirst;
1106 10508000 : if (!increment_overflow_time
1107 : (&sp->ats[timecnt],
1108 : janoffset + endtime))
1109 : {
1110 10508000 : sp->types[timecnt++] = reversed;
1111 10508000 : yearlim = year + YEARSPERREPEAT + 1;
1112 : }
1113 : }
1114 10508000 : if (increment_overflow_time
1115 : (&janfirst, janoffset + yearsecs))
1116 0 : break;
1117 10508000 : janoffset = 0;
1118 : }
1119 10508 : sp->timecnt = timecnt;
1120 10508 : if (!timecnt)
1121 : {
1122 0 : sp->ttis[0] = sp->ttis[1];
1123 0 : sp->typecnt = 1; /* Perpetual DST. */
1124 : }
1125 10508 : else if (YEARSPERREPEAT < year - yearbeg)
1126 10508 : sp->goback = sp->goahead = true;
1127 : }
1128 : else
1129 : {
1130 : int_fast32_t theirstdoffset;
1131 : int_fast32_t theirdstoffset;
1132 : int_fast32_t theiroffset;
1133 : bool isdst;
1134 : int i;
1135 : int j;
1136 :
1137 0 : if (*name != '\0')
1138 0 : return false;
1139 :
1140 : /*
1141 : * Initial values of theirstdoffset and theirdstoffset.
1142 : */
1143 0 : theirstdoffset = 0;
1144 0 : for (i = 0; i < sp->timecnt; ++i)
1145 : {
1146 0 : j = sp->types[i];
1147 0 : if (!sp->ttis[j].tt_isdst)
1148 : {
1149 0 : theirstdoffset =
1150 0 : -sp->ttis[j].tt_utoff;
1151 0 : break;
1152 : }
1153 : }
1154 0 : theirdstoffset = 0;
1155 0 : for (i = 0; i < sp->timecnt; ++i)
1156 : {
1157 0 : j = sp->types[i];
1158 0 : if (sp->ttis[j].tt_isdst)
1159 : {
1160 0 : theirdstoffset =
1161 0 : -sp->ttis[j].tt_utoff;
1162 0 : break;
1163 : }
1164 : }
1165 :
1166 : /*
1167 : * Initially we're assumed to be in standard time.
1168 : */
1169 0 : isdst = false;
1170 0 : theiroffset = theirstdoffset;
1171 :
1172 : /*
1173 : * Now juggle transition times and types tracking offsets as you
1174 : * do.
1175 : */
1176 0 : for (i = 0; i < sp->timecnt; ++i)
1177 : {
1178 0 : j = sp->types[i];
1179 0 : sp->types[i] = sp->ttis[j].tt_isdst;
1180 0 : if (sp->ttis[j].tt_ttisut)
1181 : {
1182 : /* No adjustment to transition time */
1183 : }
1184 : else
1185 : {
1186 : /*
1187 : * If daylight saving time is in effect, and the
1188 : * transition time was not specified as standard time, add
1189 : * the daylight saving time offset to the transition time;
1190 : * otherwise, add the standard time offset to the
1191 : * transition time.
1192 : */
1193 : /*
1194 : * Transitions from DST to DDST will effectively disappear
1195 : * since POSIX provides for only one DST offset.
1196 : */
1197 0 : if (isdst && !sp->ttis[j].tt_ttisstd)
1198 : {
1199 0 : sp->ats[i] += dstoffset -
1200 : theirdstoffset;
1201 : }
1202 : else
1203 : {
1204 0 : sp->ats[i] += stdoffset -
1205 : theirstdoffset;
1206 : }
1207 : }
1208 0 : theiroffset = -sp->ttis[j].tt_utoff;
1209 0 : if (sp->ttis[j].tt_isdst)
1210 0 : theirdstoffset = theiroffset;
1211 : else
1212 0 : theirstdoffset = theiroffset;
1213 : }
1214 :
1215 : /*
1216 : * Finally, fill in ttis.
1217 : */
1218 0 : init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
1219 0 : init_ttinfo(&sp->ttis[1], -dstoffset, true, stdlen + 1);
1220 0 : sp->typecnt = 2;
1221 0 : sp->defaulttype = 0;
1222 : }
1223 : }
1224 : else
1225 : {
1226 11664 : dstlen = 0;
1227 11664 : sp->typecnt = 1; /* only standard time */
1228 11664 : sp->timecnt = 0;
1229 11664 : init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
1230 11664 : sp->defaulttype = 0;
1231 : }
1232 22172 : sp->charcnt = charcnt;
1233 22172 : cp = sp->chars;
1234 22172 : memcpy(cp, stdname, stdlen);
1235 22172 : cp += stdlen;
1236 22172 : *cp++ = '\0';
1237 22172 : if (dstlen != 0)
1238 : {
1239 10508 : memcpy(cp, dstname, dstlen);
1240 10508 : *(cp + dstlen) = '\0';
1241 : }
1242 22172 : return true;
1243 : }
1244 :
1245 : static void
1246 372 : gmtload(struct state *const sp)
1247 : {
1248 372 : if (tzload(gmt, NULL, sp, true) != 0)
1249 0 : tzparse(gmt, sp, true);
1250 372 : }
1251 :
1252 :
1253 : /*
1254 : * The easy way to behave "as if no library function calls" localtime
1255 : * is to not call it, so we drop its guts into "localsub", which can be
1256 : * freely called. (And no, the PANS doesn't require the above behavior,
1257 : * but it *is* desirable.)
1258 : */
1259 : static struct pg_tm *
1260 2041566 : localsub(struct state const *sp, pg_time_t const *timep,
1261 : struct pg_tm *const tmp)
1262 : {
1263 : const struct ttinfo *ttisp;
1264 : int i;
1265 : struct pg_tm *result;
1266 2041566 : const pg_time_t t = *timep;
1267 :
1268 2041566 : if (sp == NULL)
1269 0 : return gmtsub(timep, 0, tmp);
1270 2041566 : if ((sp->goback && t < sp->ats[0]) ||
1271 2041566 : (sp->goahead && t > sp->ats[sp->timecnt - 1]))
1272 : {
1273 66 : pg_time_t newt = t;
1274 : pg_time_t seconds;
1275 : pg_time_t years;
1276 :
1277 66 : if (t < sp->ats[0])
1278 0 : seconds = sp->ats[0] - t;
1279 : else
1280 66 : seconds = t - sp->ats[sp->timecnt - 1];
1281 66 : --seconds;
1282 66 : years = (seconds / SECSPERREPEAT + 1) * YEARSPERREPEAT;
1283 66 : seconds = years * AVGSECSPERYEAR;
1284 66 : if (t < sp->ats[0])
1285 0 : newt += seconds;
1286 : else
1287 66 : newt -= seconds;
1288 66 : if (newt < sp->ats[0] ||
1289 66 : newt > sp->ats[sp->timecnt - 1])
1290 0 : return NULL; /* "cannot happen" */
1291 66 : result = localsub(sp, &newt, tmp);
1292 66 : if (result)
1293 : {
1294 : int_fast64_t newy;
1295 :
1296 66 : newy = result->tm_year;
1297 66 : if (t < sp->ats[0])
1298 0 : newy -= years;
1299 : else
1300 66 : newy += years;
1301 66 : if (!(INT_MIN <= newy && newy <= INT_MAX))
1302 0 : return NULL;
1303 66 : result->tm_year = newy;
1304 : }
1305 66 : return result;
1306 : }
1307 2041500 : if (sp->timecnt == 0 || t < sp->ats[0])
1308 : {
1309 1917584 : i = sp->defaulttype;
1310 : }
1311 : else
1312 : {
1313 123916 : int lo = 1;
1314 123916 : int hi = sp->timecnt;
1315 :
1316 1376334 : while (lo < hi)
1317 : {
1318 1252418 : int mid = (lo + hi) >> 1;
1319 :
1320 1252418 : if (t < sp->ats[mid])
1321 768942 : hi = mid;
1322 : else
1323 483476 : lo = mid + 1;
1324 : }
1325 123916 : i = (int) sp->types[lo - 1];
1326 : }
1327 2041500 : ttisp = &sp->ttis[i];
1328 :
1329 : /*
1330 : * To get (wrong) behavior that's compatible with System V Release 2.0
1331 : * you'd replace the statement below with t += ttisp->tt_utoff;
1332 : * timesub(&t, 0L, sp, tmp);
1333 : */
1334 2041500 : result = timesub(&t, ttisp->tt_utoff, sp, tmp);
1335 2041500 : if (result)
1336 : {
1337 2041500 : result->tm_isdst = ttisp->tt_isdst;
1338 2041500 : result->tm_zone = unconstify(char *, &sp->chars[ttisp->tt_desigidx]);
1339 : }
1340 2041500 : return result;
1341 : }
1342 :
1343 :
1344 : struct pg_tm *
1345 2041500 : pg_localtime(const pg_time_t *timep, const pg_tz *tz)
1346 : {
1347 2041500 : return localsub(&tz->state, timep, &tm);
1348 : }
1349 :
1350 :
1351 : /*
1352 : * gmtsub is to gmtime as localsub is to localtime.
1353 : *
1354 : * Except we have a private "struct state" for GMT, so no sp is passed in.
1355 : */
1356 :
1357 : static struct pg_tm *
1358 347104 : gmtsub(pg_time_t const *timep, int_fast32_t offset,
1359 : struct pg_tm *tmp)
1360 : {
1361 : struct pg_tm *result;
1362 :
1363 : /* GMT timezone state data is kept here */
1364 : static struct state *gmtptr = NULL;
1365 :
1366 347104 : if (gmtptr == NULL)
1367 : {
1368 : /* Allocate on first use */
1369 372 : gmtptr = (struct state *) malloc(sizeof(struct state));
1370 372 : if (gmtptr == NULL)
1371 0 : return NULL; /* errno should be set by malloc */
1372 372 : gmtload(gmtptr);
1373 : }
1374 :
1375 347104 : result = timesub(timep, offset, gmtptr, tmp);
1376 :
1377 : /*
1378 : * Could get fancy here and deliver something such as "+xx" or "-xx" if
1379 : * offset is non-zero, but this is no time for a treasure hunt.
1380 : */
1381 347104 : if (offset != 0)
1382 0 : tmp->tm_zone = wildabbr;
1383 : else
1384 347104 : tmp->tm_zone = gmtptr->chars;
1385 :
1386 347104 : return result;
1387 : }
1388 :
1389 : struct pg_tm *
1390 347104 : pg_gmtime(const pg_time_t *timep)
1391 : {
1392 347104 : return gmtsub(timep, 0, &tm);
1393 : }
1394 :
1395 : /*
1396 : * Return the number of leap years through the end of the given year
1397 : * where, to make the math easy, the answer for year zero is defined as zero.
1398 : */
1399 :
1400 : static int
1401 9509676 : leaps_thru_end_of_nonneg(int y)
1402 : {
1403 9509676 : return y / 4 - y / 100 + y / 400;
1404 : }
1405 :
1406 : static int
1407 9509676 : leaps_thru_end_of(const int y)
1408 : {
1409 : return (y < 0
1410 2364 : ? -1 - leaps_thru_end_of_nonneg(-1 - y)
1411 9512040 : : leaps_thru_end_of_nonneg(y));
1412 : }
1413 :
1414 : static struct pg_tm *
1415 2388604 : timesub(const pg_time_t *timep, int_fast32_t offset,
1416 : const struct state *sp, struct pg_tm *tmp)
1417 : {
1418 : const struct lsinfo *lp;
1419 : pg_time_t tdays;
1420 : int idays; /* unsigned would be so 2003 */
1421 : int_fast64_t rem;
1422 : int y;
1423 : const int *ip;
1424 : int_fast64_t corr;
1425 : bool hit;
1426 : int i;
1427 :
1428 2388604 : corr = 0;
1429 2388604 : hit = false;
1430 2388604 : i = (sp == NULL) ? 0 : sp->leapcnt;
1431 2388604 : while (--i >= 0)
1432 : {
1433 0 : lp = &sp->lsis[i];
1434 0 : if (*timep >= lp->ls_trans)
1435 : {
1436 0 : corr = lp->ls_corr;
1437 0 : hit = (*timep == lp->ls_trans
1438 0 : && (i == 0 ? 0 : lp[-1].ls_corr) < corr);
1439 0 : break;
1440 : }
1441 : }
1442 2388604 : y = EPOCH_YEAR;
1443 2388604 : tdays = *timep / SECSPERDAY;
1444 2388604 : rem = *timep % SECSPERDAY;
1445 4754838 : while (tdays < 0 || tdays >= year_lengths[isleap(y)])
1446 : {
1447 : int newy;
1448 : pg_time_t tdelta;
1449 : int idelta;
1450 : int leapdays;
1451 :
1452 2366234 : tdelta = tdays / DAYSPERLYEAR;
1453 2366234 : if (!((!TYPE_SIGNED(pg_time_t) || INT_MIN <= tdelta)
1454 : && tdelta <= INT_MAX))
1455 0 : goto out_of_range;
1456 2366234 : idelta = tdelta;
1457 2366234 : if (idelta == 0)
1458 40954 : idelta = (tdays < 0) ? -1 : 1;
1459 2366234 : newy = y;
1460 2366234 : if (increment_overflow(&newy, idelta))
1461 0 : goto out_of_range;
1462 2366234 : leapdays = leaps_thru_end_of(newy - 1) -
1463 2366234 : leaps_thru_end_of(y - 1);
1464 2366234 : tdays -= ((pg_time_t) newy - y) * DAYSPERNYEAR;
1465 2366234 : tdays -= leapdays;
1466 2366234 : y = newy;
1467 : }
1468 :
1469 : /*
1470 : * Given the range, we can now fearlessly cast...
1471 : */
1472 2388604 : idays = tdays;
1473 2388604 : rem += offset - corr;
1474 2423948 : while (rem < 0)
1475 : {
1476 35344 : rem += SECSPERDAY;
1477 35344 : --idays;
1478 : }
1479 2390318 : while (rem >= SECSPERDAY)
1480 : {
1481 1714 : rem -= SECSPERDAY;
1482 1714 : ++idays;
1483 : }
1484 2402806 : while (idays < 0)
1485 : {
1486 14202 : if (increment_overflow(&y, -1))
1487 0 : goto out_of_range;
1488 14202 : idays += year_lengths[isleap(y)];
1489 : }
1490 2388616 : while (idays >= year_lengths[isleap(y)])
1491 : {
1492 12 : idays -= year_lengths[isleap(y)];
1493 12 : if (increment_overflow(&y, 1))
1494 0 : goto out_of_range;
1495 : }
1496 2388604 : tmp->tm_year = y;
1497 2388604 : if (increment_overflow(&tmp->tm_year, -TM_YEAR_BASE))
1498 0 : goto out_of_range;
1499 2388604 : tmp->tm_yday = idays;
1500 :
1501 : /*
1502 : * The "extra" mods below avoid overflow problems.
1503 : */
1504 2388604 : tmp->tm_wday = EPOCH_WDAY +
1505 2388604 : ((y - EPOCH_YEAR) % DAYSPERWEEK) *
1506 2388604 : (DAYSPERNYEAR % DAYSPERWEEK) +
1507 2388604 : leaps_thru_end_of(y - 1) -
1508 2388604 : leaps_thru_end_of(EPOCH_YEAR - 1) +
1509 : idays;
1510 2388604 : tmp->tm_wday %= DAYSPERWEEK;
1511 2388604 : if (tmp->tm_wday < 0)
1512 1686 : tmp->tm_wday += DAYSPERWEEK;
1513 2388604 : tmp->tm_hour = (int) (rem / SECSPERHOUR);
1514 2388604 : rem %= SECSPERHOUR;
1515 2388604 : tmp->tm_min = (int) (rem / SECSPERMIN);
1516 :
1517 : /*
1518 : * A positive leap second requires a special representation. This uses
1519 : * "... ??:59:60" et seq.
1520 : */
1521 2388604 : tmp->tm_sec = (int) (rem % SECSPERMIN) + hit;
1522 2388604 : ip = mon_lengths[isleap(y)];
1523 24688372 : for (tmp->tm_mon = 0; idays >= ip[tmp->tm_mon]; ++(tmp->tm_mon))
1524 22299768 : idays -= ip[tmp->tm_mon];
1525 2388604 : tmp->tm_mday = (int) (idays + 1);
1526 2388604 : tmp->tm_isdst = 0;
1527 2388604 : tmp->tm_gmtoff = offset;
1528 2388604 : return tmp;
1529 :
1530 0 : out_of_range:
1531 0 : errno = EOVERFLOW;
1532 0 : return NULL;
1533 : }
1534 :
1535 : /*
1536 : * Normalize logic courtesy Paul Eggert.
1537 : */
1538 :
1539 : static bool
1540 4769052 : increment_overflow(int *ip, int j)
1541 : {
1542 4769052 : int const i = *ip;
1543 :
1544 : /*----------
1545 : * If i >= 0 there can only be overflow if i + j > INT_MAX
1546 : * or if j > INT_MAX - i; given i >= 0, INT_MAX - i cannot overflow.
1547 : * If i < 0 there can only be overflow if i + j < INT_MIN
1548 : * or if j < INT_MIN - i; given i < 0, INT_MIN - i cannot overflow.
1549 : *----------
1550 : */
1551 4769052 : if ((i >= 0) ? (j > INT_MAX - i) : (j < INT_MIN - i))
1552 0 : return true;
1553 4769052 : *ip += j;
1554 4769052 : return false;
1555 : }
1556 :
1557 : static bool
1558 33625600 : increment_overflow_time(pg_time_t *tp, int_fast32_t j)
1559 : {
1560 : /*----------
1561 : * This is like
1562 : * 'if (! (TIME_T_MIN <= *tp + j && *tp + j <= TIME_T_MAX)) ...',
1563 : * except that it does the right thing even if *tp + j would overflow.
1564 : *----------
1565 : */
1566 67251200 : if (!(j < 0
1567 2101600 : ? (TYPE_SIGNED(pg_time_t) ? TIME_T_MIN - j <= *tp : -1 - j < *tp)
1568 31524000 : : *tp <= TIME_T_MAX - j))
1569 0 : return true;
1570 33625600 : *tp += j;
1571 33625600 : return false;
1572 : }
1573 :
1574 : static int_fast64_t
1575 20986488 : leapcorr(struct state const *sp, pg_time_t t)
1576 : {
1577 : struct lsinfo const *lp;
1578 : int i;
1579 :
1580 20986488 : i = sp->leapcnt;
1581 20986488 : while (--i >= 0)
1582 : {
1583 0 : lp = &sp->lsis[i];
1584 0 : if (t >= lp->ls_trans)
1585 0 : return lp->ls_corr;
1586 : }
1587 20986488 : return 0;
1588 : }
1589 :
1590 : /*
1591 : * Find the next DST transition time in the given zone after the given time
1592 : *
1593 : * *timep and *tz are input arguments, the other parameters are output values.
1594 : *
1595 : * When the function result is 1, *boundary is set to the pg_time_t
1596 : * representation of the next DST transition time after *timep,
1597 : * *before_gmtoff and *before_isdst are set to the GMT offset and isdst
1598 : * state prevailing just before that boundary (in particular, the state
1599 : * prevailing at *timep), and *after_gmtoff and *after_isdst are set to
1600 : * the state prevailing just after that boundary.
1601 : *
1602 : * When the function result is 0, there is no known DST transition
1603 : * after *timep, but *before_gmtoff and *before_isdst indicate the GMT
1604 : * offset and isdst state prevailing at *timep. (This would occur in
1605 : * DST-less time zones, or if a zone has permanently ceased using DST.)
1606 : *
1607 : * A function result of -1 indicates failure (this case does not actually
1608 : * occur in our current implementation).
1609 : */
1610 : int
1611 162096 : pg_next_dst_boundary(const pg_time_t *timep,
1612 : long int *before_gmtoff,
1613 : int *before_isdst,
1614 : pg_time_t *boundary,
1615 : long int *after_gmtoff,
1616 : int *after_isdst,
1617 : const pg_tz *tz)
1618 : {
1619 : const struct state *sp;
1620 : const struct ttinfo *ttisp;
1621 : int i;
1622 : int j;
1623 162096 : const pg_time_t t = *timep;
1624 :
1625 162096 : sp = &tz->state;
1626 162096 : if (sp->timecnt == 0)
1627 : {
1628 : /* non-DST zone, use the defaulttype */
1629 4530 : ttisp = &sp->ttis[sp->defaulttype];
1630 4530 : *before_gmtoff = ttisp->tt_utoff;
1631 4530 : *before_isdst = ttisp->tt_isdst;
1632 4530 : return 0;
1633 : }
1634 157566 : if ((sp->goback && t < sp->ats[0]) ||
1635 157566 : (sp->goahead && t > sp->ats[sp->timecnt - 1]))
1636 : {
1637 : /* For values outside the transition table, extrapolate */
1638 48918 : pg_time_t newt = t;
1639 : pg_time_t seconds;
1640 : pg_time_t tcycles;
1641 : int64 icycles;
1642 : int result;
1643 :
1644 48918 : if (t < sp->ats[0])
1645 0 : seconds = sp->ats[0] - t;
1646 : else
1647 48918 : seconds = t - sp->ats[sp->timecnt - 1];
1648 48918 : --seconds;
1649 48918 : tcycles = seconds / YEARSPERREPEAT / AVGSECSPERYEAR;
1650 48918 : ++tcycles;
1651 48918 : icycles = tcycles;
1652 48918 : if (tcycles - icycles >= 1 || icycles - tcycles >= 1)
1653 0 : return -1;
1654 48918 : seconds = icycles;
1655 48918 : seconds *= YEARSPERREPEAT;
1656 48918 : seconds *= AVGSECSPERYEAR;
1657 48918 : if (t < sp->ats[0])
1658 0 : newt += seconds;
1659 : else
1660 48918 : newt -= seconds;
1661 48918 : if (newt < sp->ats[0] ||
1662 48918 : newt > sp->ats[sp->timecnt - 1])
1663 0 : return -1; /* "cannot happen" */
1664 :
1665 48918 : result = pg_next_dst_boundary(&newt, before_gmtoff,
1666 : before_isdst,
1667 : boundary,
1668 : after_gmtoff,
1669 : after_isdst,
1670 : tz);
1671 48918 : if (t < sp->ats[0])
1672 0 : *boundary -= seconds;
1673 : else
1674 48918 : *boundary += seconds;
1675 48918 : return result;
1676 : }
1677 :
1678 108648 : if (t >= sp->ats[sp->timecnt - 1])
1679 : {
1680 : /* No known transition > t, so use last known segment's type */
1681 1080 : i = sp->types[sp->timecnt - 1];
1682 1080 : ttisp = &sp->ttis[i];
1683 1080 : *before_gmtoff = ttisp->tt_utoff;
1684 1080 : *before_isdst = ttisp->tt_isdst;
1685 1080 : return 0;
1686 : }
1687 107568 : if (t < sp->ats[0])
1688 : {
1689 : /* For "before", use the defaulttype */
1690 574 : ttisp = &sp->ttis[sp->defaulttype];
1691 574 : *before_gmtoff = ttisp->tt_utoff;
1692 574 : *before_isdst = ttisp->tt_isdst;
1693 574 : *boundary = sp->ats[0];
1694 : /* And for "after", use the first segment's type */
1695 574 : i = sp->types[0];
1696 574 : ttisp = &sp->ttis[i];
1697 574 : *after_gmtoff = ttisp->tt_utoff;
1698 574 : *after_isdst = ttisp->tt_isdst;
1699 574 : return 1;
1700 : }
1701 : /* Else search to find the boundary following t */
1702 : {
1703 106994 : int lo = 1;
1704 106994 : int hi = sp->timecnt - 1;
1705 :
1706 1262488 : while (lo < hi)
1707 : {
1708 1155494 : int mid = (lo + hi) >> 1;
1709 :
1710 1155494 : if (t < sp->ats[mid])
1711 657594 : hi = mid;
1712 : else
1713 497900 : lo = mid + 1;
1714 : }
1715 106994 : i = lo;
1716 : }
1717 106994 : j = sp->types[i - 1];
1718 106994 : ttisp = &sp->ttis[j];
1719 106994 : *before_gmtoff = ttisp->tt_utoff;
1720 106994 : *before_isdst = ttisp->tt_isdst;
1721 106994 : *boundary = sp->ats[i];
1722 106994 : j = sp->types[i];
1723 106994 : ttisp = &sp->ttis[j];
1724 106994 : *after_gmtoff = ttisp->tt_utoff;
1725 106994 : *after_isdst = ttisp->tt_isdst;
1726 106994 : return 1;
1727 : }
1728 :
1729 : /*
1730 : * Identify a timezone abbreviation's meaning in the given zone
1731 : *
1732 : * Determine the GMT offset and DST flag associated with the abbreviation.
1733 : * This is generally used only when the abbreviation has actually changed
1734 : * meaning over time; therefore, we also take a UTC cutoff time, and return
1735 : * the meaning in use at or most recently before that time, or the meaning
1736 : * in first use after that time if the abbrev was never used before that.
1737 : *
1738 : * On success, returns true and sets *gmtoff and *isdst. If the abbreviation
1739 : * was never used at all in this zone, returns false.
1740 : *
1741 : * Note: abbrev is matched case-sensitively; it should be all-upper-case.
1742 : */
1743 : bool
1744 1662 : pg_interpret_timezone_abbrev(const char *abbrev,
1745 : const pg_time_t *timep,
1746 : long int *gmtoff,
1747 : int *isdst,
1748 : const pg_tz *tz)
1749 : {
1750 : const struct state *sp;
1751 : const char *abbrs;
1752 : const struct ttinfo *ttisp;
1753 : int abbrind;
1754 : int cutoff;
1755 : int i;
1756 1662 : const pg_time_t t = *timep;
1757 :
1758 1662 : sp = &tz->state;
1759 :
1760 : /*
1761 : * Locate the abbreviation in the zone's abbreviation list. We assume
1762 : * there are not duplicates in the list.
1763 : */
1764 1662 : abbrs = sp->chars;
1765 1662 : abbrind = 0;
1766 8574 : while (abbrind < sp->charcnt)
1767 : {
1768 7404 : if (strcmp(abbrev, abbrs + abbrind) == 0)
1769 492 : break;
1770 28578 : while (abbrs[abbrind] != '\0')
1771 21666 : abbrind++;
1772 6912 : abbrind++;
1773 : }
1774 1662 : if (abbrind >= sp->charcnt)
1775 1170 : return false; /* not there! */
1776 :
1777 : /*
1778 : * Unlike pg_next_dst_boundary, we needn't sweat about extrapolation
1779 : * (goback/goahead zones). Finding the newest or oldest meaning of the
1780 : * abbreviation should get us what we want, since extrapolation would just
1781 : * be repeating the newest or oldest meanings.
1782 : *
1783 : * Use binary search to locate the first transition > cutoff time. (Note
1784 : * that sp->timecnt could be zero, in which case this loop does nothing
1785 : * and only the defaulttype entry will be checked.)
1786 : */
1787 : {
1788 492 : int lo = 0;
1789 492 : int hi = sp->timecnt;
1790 :
1791 4284 : while (lo < hi)
1792 : {
1793 3792 : int mid = (lo + hi) >> 1;
1794 :
1795 3792 : if (t < sp->ats[mid])
1796 1458 : hi = mid;
1797 : else
1798 2334 : lo = mid + 1;
1799 : }
1800 492 : cutoff = lo;
1801 : }
1802 :
1803 : /*
1804 : * Scan backwards to find the latest interval using the given abbrev
1805 : * before the cutoff time.
1806 : */
1807 20400 : for (i = cutoff - 1; i >= 0; i--)
1808 : {
1809 20358 : ttisp = &sp->ttis[sp->types[i]];
1810 20358 : if (ttisp->tt_desigidx == abbrind)
1811 : {
1812 450 : *gmtoff = ttisp->tt_utoff;
1813 450 : *isdst = ttisp->tt_isdst;
1814 450 : return true;
1815 : }
1816 : }
1817 :
1818 : /*
1819 : * Not found yet; check the defaulttype, which is notionally the era
1820 : * before any of the entries in sp->types[].
1821 : */
1822 42 : ttisp = &sp->ttis[sp->defaulttype];
1823 42 : if (ttisp->tt_desigidx == abbrind)
1824 : {
1825 42 : *gmtoff = ttisp->tt_utoff;
1826 42 : *isdst = ttisp->tt_isdst;
1827 42 : return true;
1828 : }
1829 :
1830 : /*
1831 : * Not there, so scan forwards to find the first one after the cutoff.
1832 : */
1833 0 : for (i = cutoff; i < sp->timecnt; i++)
1834 : {
1835 0 : ttisp = &sp->ttis[sp->types[i]];
1836 0 : if (ttisp->tt_desigidx == abbrind)
1837 : {
1838 0 : *gmtoff = ttisp->tt_utoff;
1839 0 : *isdst = ttisp->tt_isdst;
1840 0 : return true;
1841 : }
1842 : }
1843 :
1844 0 : return false; /* hm, not actually used in any interval? */
1845 : }
1846 :
1847 : /*
1848 : * Detect whether a timezone abbreviation is defined within the given zone.
1849 : *
1850 : * This is similar to pg_interpret_timezone_abbrev() but is not concerned
1851 : * with a specific point in time. We want to know if the abbreviation is
1852 : * known at all, and if so whether it has one meaning or several.
1853 : *
1854 : * Returns true if the abbreviation is known, false if not.
1855 : * If the abbreviation is known and has a single meaning (only one value
1856 : * of gmtoff/isdst), sets *isfixed = true and sets *gmtoff and *isdst.
1857 : * If there are multiple meanings, sets *isfixed = false.
1858 : *
1859 : * Note: abbrev is matched case-sensitively; it should be all-upper-case.
1860 : */
1861 : bool
1862 8258 : pg_timezone_abbrev_is_known(const char *abbrev,
1863 : bool *isfixed,
1864 : long int *gmtoff,
1865 : int *isdst,
1866 : const pg_tz *tz)
1867 : {
1868 8258 : bool result = false;
1869 8258 : const struct state *sp = &tz->state;
1870 : const char *abbrs;
1871 : int abbrind;
1872 :
1873 : /*
1874 : * Locate the abbreviation in the zone's abbreviation list. We assume
1875 : * there are not duplicates in the list.
1876 : */
1877 8258 : abbrs = sp->chars;
1878 8258 : abbrind = 0;
1879 47472 : while (abbrind < sp->charcnt)
1880 : {
1881 39460 : if (strcmp(abbrev, abbrs + abbrind) == 0)
1882 246 : break;
1883 156916 : while (abbrs[abbrind] != '\0')
1884 117702 : abbrind++;
1885 39214 : abbrind++;
1886 : }
1887 8258 : if (abbrind >= sp->charcnt)
1888 8012 : return false; /* definitely not there */
1889 :
1890 : /*
1891 : * Scan the ttinfo array to find uses of the abbreviation.
1892 : */
1893 1946 : for (int i = 0; i < sp->typecnt; i++)
1894 : {
1895 1700 : const struct ttinfo *ttisp = &sp->ttis[i];
1896 :
1897 1700 : if (ttisp->tt_desigidx == abbrind)
1898 : {
1899 468 : if (!result)
1900 : {
1901 : /* First usage */
1902 246 : *isfixed = true; /* for the moment */
1903 246 : *gmtoff = ttisp->tt_utoff;
1904 246 : *isdst = ttisp->tt_isdst;
1905 246 : result = true;
1906 : }
1907 : else
1908 : {
1909 : /* Second or later usage, does it match? */
1910 222 : if (*gmtoff != ttisp->tt_utoff ||
1911 222 : *isdst != ttisp->tt_isdst)
1912 : {
1913 0 : *isfixed = false;
1914 0 : break; /* no point in looking further */
1915 : }
1916 : }
1917 : }
1918 : }
1919 :
1920 246 : return result;
1921 : }
1922 :
1923 : /*
1924 : * Iteratively fetch all the abbreviations used in the given time zone.
1925 : *
1926 : * *indx is a state counter that the caller must initialize to zero
1927 : * before the first call, and not touch between calls.
1928 : *
1929 : * Returns the next known abbreviation, or NULL if there are no more.
1930 : *
1931 : * Note: the caller typically applies pg_interpret_timezone_abbrev()
1932 : * to each result. While that nominally results in O(N^2) time spent
1933 : * searching the sp->chars[] array, we don't expect any zone to have
1934 : * enough abbreviations to make that meaningful.
1935 : */
1936 : const char *
1937 252 : pg_get_next_timezone_abbrev(int *indx,
1938 : const pg_tz *tz)
1939 : {
1940 : const char *result;
1941 252 : const struct state *sp = &tz->state;
1942 : const char *abbrs;
1943 : int abbrind;
1944 :
1945 : /* If we're still in range, the result is the current abbrev. */
1946 252 : abbrs = sp->chars;
1947 252 : abbrind = *indx;
1948 252 : if (abbrind < 0 || abbrind >= sp->charcnt)
1949 42 : return NULL;
1950 210 : result = abbrs + abbrind;
1951 :
1952 : /* Advance *indx past this abbrev and its trailing null. */
1953 840 : while (abbrs[abbrind] != '\0')
1954 630 : abbrind++;
1955 210 : abbrind++;
1956 210 : *indx = abbrind;
1957 :
1958 210 : return result;
1959 : }
1960 :
1961 : /*
1962 : * If the given timezone uses only one GMT offset, store that offset
1963 : * into *gmtoff and return true, else return false.
1964 : */
1965 : bool
1966 1210 : pg_get_timezone_offset(const pg_tz *tz, long int *gmtoff)
1967 : {
1968 : /*
1969 : * The zone could have more than one ttinfo, if it's historically used
1970 : * more than one abbreviation. We return true as long as they all have
1971 : * the same gmtoff.
1972 : */
1973 : const struct state *sp;
1974 : int i;
1975 :
1976 1210 : sp = &tz->state;
1977 1244 : for (i = 1; i < sp->typecnt; i++)
1978 : {
1979 118 : if (sp->ttis[i].tt_utoff != sp->ttis[0].tt_utoff)
1980 84 : return false;
1981 : }
1982 1126 : *gmtoff = sp->ttis[0].tt_utoff;
1983 1126 : return true;
1984 : }
1985 :
1986 : /*
1987 : * Return the name of the current timezone
1988 : */
1989 : const char *
1990 70474 : pg_get_timezone_name(pg_tz *tz)
1991 : {
1992 70474 : if (tz)
1993 70474 : return tz->TZname;
1994 0 : return NULL;
1995 : }
1996 :
1997 : /*
1998 : * Check whether timezone is acceptable.
1999 : *
2000 : * What we are doing here is checking for leap-second-aware timekeeping.
2001 : * We need to reject such TZ settings because they'll wreak havoc with our
2002 : * date/time arithmetic.
2003 : */
2004 : bool
2005 36888 : pg_tz_acceptable(pg_tz *tz)
2006 : {
2007 : struct pg_tm *tt;
2008 : pg_time_t time2000;
2009 :
2010 : /*
2011 : * To detect leap-second timekeeping, run pg_localtime for what should be
2012 : * GMT midnight, 2000-01-01. Insist that the tm_sec value be zero; any
2013 : * other result has to be due to leap seconds.
2014 : */
2015 36888 : time2000 = (POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY;
2016 36888 : tt = pg_localtime(&time2000, tz);
2017 36888 : if (!tt || tt->tm_sec != 0)
2018 0 : return false;
2019 :
2020 36888 : return true;
2021 : }
|
