zic.c revision 1.42 1 /* $NetBSD: zic.c,v 1.42 2013/08/06 05:48:39 christos Exp $ */
2 /*
3 ** This file is in the public domain, so clarified as of
4 ** 2006-07-17 by Arthur David Olson.
5 */
6
7 #if HAVE_NBTOOL_CONFIG_H
8 #include "nbtool_config.h"
9 #endif
10
11 #include <sys/cdefs.h>
12 #ifndef lint
13 __RCSID("$NetBSD: zic.c,v 1.42 2013/08/06 05:48:39 christos Exp $");
14 #endif /* !defined lint */
15
16 #include "version.h"
17 #include "private.h"
18 #include "locale.h"
19 #include "tzfile.h"
20
21 #define ZIC_VERSION '2'
22
23 typedef int_fast64_t zic_t;
24 #define ZIC_MIN INT_FAST64_MIN
25 #define ZIC_MAX INT_FAST64_MAX
26 #define SCNdZIC SCNdFAST64
27
28 #ifndef ZIC_MAX_ABBR_LEN_WO_WARN
29 #define ZIC_MAX_ABBR_LEN_WO_WARN 6
30 #endif /* !defined ZIC_MAX_ABBR_LEN_WO_WARN */
31
32 #if HAVE_SYS_STAT_H
33 #include "sys/stat.h"
34 #endif
35 #ifdef S_IRUSR
36 #define MKDIR_UMASK (S_IRUSR|S_IWUSR|S_IXUSR|S_IRGRP|S_IXGRP|S_IROTH|S_IXOTH)
37 #else
38 #define MKDIR_UMASK 0755
39 #endif
40
41 #include "unistd.h"
42
43 /*
44 ** On some ancient hosts, predicates like `isspace(C)' are defined
45 ** only if isascii(C) || C == EOF. Modern hosts obey the C Standard,
46 ** which says they are defined only if C == ((unsigned char) C) || C == EOF.
47 ** Neither the C Standard nor Posix require that `isascii' exist.
48 ** For portability, we check both ancient and modern requirements.
49 ** If isascii is not defined, the isascii check succeeds trivially.
50 */
51 #include "ctype.h"
52 #ifndef isascii
53 #define isascii(x) 1
54 #endif
55
56 #define end(cp) (strchr((cp), '\0'))
57
58 struct rule {
59 const char * r_filename;
60 int r_linenum;
61 const char * r_name;
62
63 zic_t r_loyear; /* for example, 1986 */
64 zic_t r_hiyear; /* for example, 1986 */
65 const char * r_yrtype;
66 int r_lowasnum;
67 int r_hiwasnum;
68
69 int r_month; /* 0..11 */
70
71 int r_dycode; /* see below */
72 int r_dayofmonth;
73 int r_wday;
74
75 zic_t r_tod; /* time from midnight */
76 int r_todisstd; /* above is standard time if TRUE */
77 /* or wall clock time if FALSE */
78 int r_todisgmt; /* above is GMT if TRUE */
79 /* or local time if FALSE */
80 zic_t r_stdoff; /* offset from standard time */
81 const char * r_abbrvar; /* variable part of abbreviation */
82
83 int r_todo; /* a rule to do (used in outzone) */
84 zic_t r_temp; /* used in outzone */
85 };
86
87 /*
88 ** r_dycode r_dayofmonth r_wday
89 */
90
91 #define DC_DOM 0 /* 1..31 */ /* unused */
92 #define DC_DOWGEQ 1 /* 1..31 */ /* 0..6 (Sun..Sat) */
93 #define DC_DOWLEQ 2 /* 1..31 */ /* 0..6 (Sun..Sat) */
94
95 struct zone {
96 const char * z_filename;
97 int z_linenum;
98
99 const char * z_name;
100 zic_t z_gmtoff;
101 const char * z_rule;
102 const char * z_format;
103
104 zic_t z_stdoff;
105
106 struct rule * z_rules;
107 int z_nrules;
108
109 struct rule z_untilrule;
110 zic_t z_untiltime;
111 };
112
113 extern int getopt(int argc, char * const argv[],
114 const char * options);
115 extern int link(const char * fromname, const char * toname);
116 extern char * optarg;
117 extern int optind;
118
119 static void addtt(zic_t starttime, int type);
120 static int addtype(zic_t gmtoff, const char * abbr, int isdst,
121 int ttisstd, int ttisgmt);
122 static void leapadd(zic_t t, int positive, int rolling, int count);
123 static void adjleap(void);
124 static void associate(void);
125 static void dolink(const char * fromfield, const char * tofield);
126 static char ** getfields(char * buf);
127 static zic_t gethms(const char * string, const char * errstrng,
128 int signable);
129 static void infile(const char * filename);
130 static void inleap(char ** fields, int nfields);
131 static void inlink(char ** fields, int nfields);
132 static void inrule(char ** fields, int nfields);
133 static int inzcont(char ** fields, int nfields);
134 static int inzone(char ** fields, int nfields);
135 static int inzsub(char ** fields, int nfields, int iscont);
136 static int itsdir(const char * name);
137 static int lowerit(int c);
138 int main(int, char **);
139 static int mkdirs(char * filename);
140 static void newabbr(const char * abbr);
141 static zic_t oadd(zic_t t1, zic_t t2);
142 static void outzone(const struct zone * zp, int ntzones);
143 static int rcomp(const void * leftp, const void * rightp);
144 static zic_t rpytime(const struct rule * rp, zic_t wantedy);
145 static void rulesub(struct rule * rp,
146 const char * loyearp, const char * hiyearp,
147 const char * typep, const char * monthp,
148 const char * dayp, const char * timep);
149 static zic_t tadd(zic_t t1, zic_t t2);
150 static int yearistype(int year, const char * type);
151 static int atcomp(const void *avp, const void *bvp);
152 static void updateminmax(zic_t x);
153
154 static int charcnt;
155 static int errors;
156 static const char * filename;
157 static int leapcnt;
158 static int leapseen;
159 static zic_t leapminyear;
160 static zic_t leapmaxyear;
161 static int linenum;
162 static size_t max_abbrvar_len;
163 static size_t max_format_len;
164 static zic_t max_year;
165 static zic_t min_year;
166 static int noise;
167 static const char * rfilename;
168 static int rlinenum;
169 static const char * progname;
170 static int timecnt;
171 static int typecnt;
172
173 /*
174 ** Line codes.
175 */
176
177 #define LC_RULE 0
178 #define LC_ZONE 1
179 #define LC_LINK 2
180 #define LC_LEAP 3
181
182 /*
183 ** Which fields are which on a Zone line.
184 */
185
186 #define ZF_NAME 1
187 #define ZF_GMTOFF 2
188 #define ZF_RULE 3
189 #define ZF_FORMAT 4
190 #define ZF_TILYEAR 5
191 #define ZF_TILMONTH 6
192 #define ZF_TILDAY 7
193 #define ZF_TILTIME 8
194 #define ZONE_MINFIELDS 5
195 #define ZONE_MAXFIELDS 9
196
197 /*
198 ** Which fields are which on a Zone continuation line.
199 */
200
201 #define ZFC_GMTOFF 0
202 #define ZFC_RULE 1
203 #define ZFC_FORMAT 2
204 #define ZFC_TILYEAR 3
205 #define ZFC_TILMONTH 4
206 #define ZFC_TILDAY 5
207 #define ZFC_TILTIME 6
208 #define ZONEC_MINFIELDS 3
209 #define ZONEC_MAXFIELDS 7
210
211 /*
212 ** Which files are which on a Rule line.
213 */
214
215 #define RF_NAME 1
216 #define RF_LOYEAR 2
217 #define RF_HIYEAR 3
218 #define RF_COMMAND 4
219 #define RF_MONTH 5
220 #define RF_DAY 6
221 #define RF_TOD 7
222 #define RF_STDOFF 8
223 #define RF_ABBRVAR 9
224 #define RULE_FIELDS 10
225
226 /*
227 ** Which fields are which on a Link line.
228 */
229
230 #define LF_FROM 1
231 #define LF_TO 2
232 #define LINK_FIELDS 3
233
234 /*
235 ** Which fields are which on a Leap line.
236 */
237
238 #define LP_YEAR 1
239 #define LP_MONTH 2
240 #define LP_DAY 3
241 #define LP_TIME 4
242 #define LP_CORR 5
243 #define LP_ROLL 6
244 #define LEAP_FIELDS 7
245
246 /*
247 ** Year synonyms.
248 */
249
250 #define YR_MINIMUM 0
251 #define YR_MAXIMUM 1
252 #define YR_ONLY 2
253
254 static struct rule * rules;
255 static int nrules; /* number of rules */
256
257 static struct zone * zones;
258 static int nzones; /* number of zones */
259
260 struct link {
261 const char * l_filename;
262 int l_linenum;
263 const char * l_from;
264 const char * l_to;
265 };
266
267 static struct link * links;
268 static int nlinks;
269
270 struct lookup {
271 const char * l_word;
272 const int l_value;
273 };
274
275 static struct lookup const * byword(const char * string,
276 const struct lookup * lp);
277
278 static struct lookup const line_codes[] = {
279 { "Rule", LC_RULE },
280 { "Zone", LC_ZONE },
281 { "Link", LC_LINK },
282 { "Leap", LC_LEAP },
283 { NULL, 0}
284 };
285
286 static struct lookup const mon_names[] = {
287 { "January", TM_JANUARY },
288 { "February", TM_FEBRUARY },
289 { "March", TM_MARCH },
290 { "April", TM_APRIL },
291 { "May", TM_MAY },
292 { "June", TM_JUNE },
293 { "July", TM_JULY },
294 { "August", TM_AUGUST },
295 { "September", TM_SEPTEMBER },
296 { "October", TM_OCTOBER },
297 { "November", TM_NOVEMBER },
298 { "December", TM_DECEMBER },
299 { NULL, 0 }
300 };
301
302 static struct lookup const wday_names[] = {
303 { "Sunday", TM_SUNDAY },
304 { "Monday", TM_MONDAY },
305 { "Tuesday", TM_TUESDAY },
306 { "Wednesday", TM_WEDNESDAY },
307 { "Thursday", TM_THURSDAY },
308 { "Friday", TM_FRIDAY },
309 { "Saturday", TM_SATURDAY },
310 { NULL, 0 }
311 };
312
313 static struct lookup const lasts[] = {
314 { "last-Sunday", TM_SUNDAY },
315 { "last-Monday", TM_MONDAY },
316 { "last-Tuesday", TM_TUESDAY },
317 { "last-Wednesday", TM_WEDNESDAY },
318 { "last-Thursday", TM_THURSDAY },
319 { "last-Friday", TM_FRIDAY },
320 { "last-Saturday", TM_SATURDAY },
321 { NULL, 0 }
322 };
323
324 static struct lookup const begin_years[] = {
325 { "minimum", YR_MINIMUM },
326 { "maximum", YR_MAXIMUM },
327 { NULL, 0 }
328 };
329
330 static struct lookup const end_years[] = {
331 { "minimum", YR_MINIMUM },
332 { "maximum", YR_MAXIMUM },
333 { "only", YR_ONLY },
334 { NULL, 0 }
335 };
336
337 static struct lookup const leap_types[] = {
338 { "Rolling", TRUE },
339 { "Stationary", FALSE },
340 { NULL, 0 }
341 };
342
343 static const int len_months[2][MONSPERYEAR] = {
344 { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 },
345 { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }
346 };
347
348 static const int len_years[2] = {
349 DAYSPERNYEAR, DAYSPERLYEAR
350 };
351
352 static struct attype {
353 zic_t at;
354 unsigned char type;
355 } attypes[TZ_MAX_TIMES];
356 static zic_t gmtoffs[TZ_MAX_TYPES];
357 static char isdsts[TZ_MAX_TYPES];
358 static unsigned char abbrinds[TZ_MAX_TYPES];
359 static char ttisstds[TZ_MAX_TYPES];
360 static char ttisgmts[TZ_MAX_TYPES];
361 static char chars[TZ_MAX_CHARS];
362 static zic_t trans[TZ_MAX_LEAPS];
363 static zic_t corr[TZ_MAX_LEAPS];
364 static char roll[TZ_MAX_LEAPS];
365
366 /*
367 ** Memory allocation.
368 */
369
370 static ATTRIBUTE_PURE void *
371 memcheck(void *const ptr)
372 {
373 if (ptr == NULL) {
374 const char *e = strerror(errno);
375
376 (void) fprintf(stderr, _("%s: Memory exhausted: %s\n"),
377 progname, e);
378 exit(EXIT_FAILURE);
379 }
380 return ptr;
381 }
382
383 #define emalloc(size) memcheck(malloc(size))
384 #define erealloc(ptr, size) memcheck(realloc((ptr), (size)))
385 #define ecpyalloc(ptr) memcheck(icpyalloc(ptr))
386 #define ecatalloc(oldp, newp) memcheck(icatalloc((oldp), (newp)))
387
388 /*
389 ** Error handling.
390 */
391
392 static void
393 eats(const char *const name, const int num, const char *const rname,
394 const int rnum)
395 {
396 filename = name;
397 linenum = num;
398 rfilename = rname;
399 rlinenum = rnum;
400 }
401
402 static void
403 eat(const char *const name, const int num)
404 {
405 eats(name, num, NULL, -1);
406 }
407
408 static void
409 error(const char *const string)
410 {
411 /*
412 ** Match the format of "cc" to allow sh users to
413 ** zic ... 2>&1 | error -t "*" -v
414 ** on BSD systems.
415 */
416 (void) fprintf(stderr, _("\"%s\", line %d: %s"),
417 filename, linenum, string);
418 if (rfilename != NULL)
419 (void) fprintf(stderr, _(" (rule from \"%s\", line %d)"),
420 rfilename, rlinenum);
421 (void) fprintf(stderr, "\n");
422 ++errors;
423 }
424
425 static void
426 warning(const char *const string)
427 {
428 char * cp;
429
430 cp = ecpyalloc(_("warning: "));
431 cp = ecatalloc(cp, string);
432 error(cp);
433 free(cp);
434 --errors;
435 }
436
437 static _Noreturn void
438 usage(FILE *stream, int status)
439 {
440 (void) fprintf(stream, _("%s: usage is %s \
441 [ --version ] [ --help ] [ -v ] [ -l localtime ] [ -p posixrules ] \\\n\
442 \t[ -d directory ] [ -L leapseconds ] [ -y yearistype ] [ filename ... ]\n\
443 \n\
444 Report bugs to %s.\n"),
445 progname, progname, REPORT_BUGS_TO);
446 exit(status);
447 }
448
449 static const char * psxrules;
450 static const char * lcltime;
451 static const char * directory;
452 static const char * leapsec;
453 static const char * yitcommand;
454
455 int
456 main(int argc, char *argv[])
457 {
458 int i;
459 int j;
460 int c;
461
462 #ifdef S_IWGRP
463 (void) umask(umask(S_IWGRP | S_IWOTH) | (S_IWGRP | S_IWOTH));
464 #endif
465 #if HAVE_GETTEXT - 0
466 (void) setlocale(LC_MESSAGES, "");
467 #ifdef TZ_DOMAINDIR
468 (void) bindtextdomain(TZ_DOMAIN, TZ_DOMAINDIR);
469 #endif /* defined TEXTDOMAINDIR */
470 (void) textdomain(TZ_DOMAIN);
471 #endif /* HAVE_GETTEXT */
472 progname = argv[0];
473 if (TYPE_BIT(zic_t) < 64) {
474 (void) fprintf(stderr, "%s: %s\n", progname,
475 _("wild compilation-time specification of zic_t"));
476 exit(EXIT_FAILURE);
477 }
478 for (i = 1; i < argc; ++i)
479 if (strcmp(argv[i], "--version") == 0) {
480 (void) printf("zic %s%s\n", PKGVERSION, TZVERSION);
481 exit(EXIT_SUCCESS);
482 } else if (strcmp(argv[i], "--help") == 0) {
483 usage(stdout, EXIT_SUCCESS);
484 }
485 while ((c = getopt(argc, argv, "d:l:p:L:vsy:")) != EOF && c != -1)
486 switch (c) {
487 default:
488 usage(stderr, EXIT_FAILURE);
489 case 'd':
490 if (directory == NULL)
491 directory = optarg;
492 else {
493 (void) fprintf(stderr,
494 _("%s: More than one -d option specified\n"),
495 progname);
496 exit(EXIT_FAILURE);
497 }
498 break;
499 case 'l':
500 if (lcltime == NULL)
501 lcltime = optarg;
502 else {
503 (void) fprintf(stderr,
504 _("%s: More than one -l option specified\n"),
505 progname);
506 exit(EXIT_FAILURE);
507 }
508 break;
509 case 'p':
510 if (psxrules == NULL)
511 psxrules = optarg;
512 else {
513 (void) fprintf(stderr,
514 _("%s: More than one -p option specified\n"),
515 progname);
516 exit(EXIT_FAILURE);
517 }
518 break;
519 case 'y':
520 if (yitcommand == NULL)
521 yitcommand = optarg;
522 else {
523 (void) fprintf(stderr,
524 _("%s: More than one -y option specified\n"),
525 progname);
526 exit(EXIT_FAILURE);
527 }
528 break;
529 case 'L':
530 if (leapsec == NULL)
531 leapsec = optarg;
532 else {
533 (void) fprintf(stderr,
534 _("%s: More than one -L option specified\n"),
535 progname);
536 exit(EXIT_FAILURE);
537 }
538 break;
539 case 'v':
540 noise = TRUE;
541 break;
542 case 's':
543 (void) printf("%s: -s ignored\n", progname);
544 break;
545 }
546 if (optind == argc - 1 && strcmp(argv[optind], "=") == 0)
547 usage(stderr, EXIT_FAILURE); /* usage message by request */
548 if (directory == NULL)
549 directory = TZDIR;
550 if (yitcommand == NULL)
551 yitcommand = "yearistype";
552
553 if (optind < argc && leapsec != NULL) {
554 infile(leapsec);
555 adjleap();
556 }
557
558 for (i = optind; i < argc; ++i)
559 infile(argv[i]);
560 if (errors)
561 exit(EXIT_FAILURE);
562 associate();
563 for (i = 0; i < nzones; i = j) {
564 /*
565 ** Find the next non-continuation zone entry.
566 */
567 for (j = i + 1; j < nzones && zones[j].z_name == NULL; ++j)
568 continue;
569 outzone(&zones[i], j - i);
570 }
571 /*
572 ** Make links.
573 */
574 for (i = 0; i < nlinks; ++i) {
575 eat(links[i].l_filename, links[i].l_linenum);
576 dolink(links[i].l_from, links[i].l_to);
577 if (noise)
578 for (j = 0; j < nlinks; ++j)
579 if (strcmp(links[i].l_to,
580 links[j].l_from) == 0)
581 warning(_("link to link"));
582 }
583 if (lcltime != NULL) {
584 eat("command line", 1);
585 dolink(lcltime, TZDEFAULT);
586 }
587 if (psxrules != NULL) {
588 eat("command line", 1);
589 dolink(psxrules, TZDEFRULES);
590 }
591 return (errors == 0) ? EXIT_SUCCESS : EXIT_FAILURE;
592 }
593
594 static void
595 dolink(const char *const fromfield, const char *const tofield)
596 {
597 char * fromname;
598 char * toname;
599
600 if (fromfield[0] == '/')
601 fromname = ecpyalloc(fromfield);
602 else {
603 fromname = ecpyalloc(directory);
604 fromname = ecatalloc(fromname, "/");
605 fromname = ecatalloc(fromname, fromfield);
606 }
607 if (tofield[0] == '/')
608 toname = ecpyalloc(tofield);
609 else {
610 toname = ecpyalloc(directory);
611 toname = ecatalloc(toname, "/");
612 toname = ecatalloc(toname, tofield);
613 }
614 /*
615 ** We get to be careful here since
616 ** there's a fair chance of root running us.
617 */
618 if (!itsdir(toname))
619 (void) remove(toname);
620 if (link(fromname, toname) != 0) {
621 int result;
622
623 if (mkdirs(toname) != 0)
624 exit(EXIT_FAILURE);
625
626 result = link(fromname, toname);
627 #if HAVE_SYMLINK
628 if (result != 0 &&
629 access(fromname, F_OK) == 0 &&
630 !itsdir(fromname)) {
631 const char *s = tofield;
632 char * symlinkcontents = NULL;
633
634 while ((s = strchr(s+1, '/')) != NULL)
635 symlinkcontents =
636 ecatalloc(symlinkcontents,
637 "../");
638 symlinkcontents =
639 ecatalloc(symlinkcontents,
640 fromname);
641 result = symlink(symlinkcontents,
642 toname);
643 if (result == 0)
644 warning(_("hard link failed, symbolic link used"));
645 free(symlinkcontents);
646 }
647 #endif /* HAVE_SYMLINK */
648 if (result != 0) {
649 const char *e = strerror(errno);
650
651 (void) fprintf(stderr,
652 _("%s: Can't link from %s to %s: %s\n"),
653 progname, fromname, toname, e);
654 exit(EXIT_FAILURE);
655 }
656 }
657 free(fromname);
658 free(toname);
659 }
660
661 #define TIME_T_BITS_IN_FILE 64
662
663 static const zic_t min_time = (zic_t) -1 << (TIME_T_BITS_IN_FILE - 1);
664 static const zic_t max_time = -1 - ((zic_t) -1 << (TIME_T_BITS_IN_FILE - 1));
665
666 static int
667 itsdir(const char *const name)
668 {
669 char * myname;
670 int accres;
671
672 myname = ecpyalloc(name);
673 myname = ecatalloc(myname, "/.");
674 accres = access(myname, F_OK);
675 free(myname);
676 return accres == 0;
677 }
678
679 /*
680 ** Associate sets of rules with zones.
681 */
682
683 /*
684 ** Sort by rule name.
685 */
686
687 static int
688 rcomp(const void *cp1, const void *cp2)
689 {
690 return strcmp(((const struct rule *) cp1)->r_name,
691 ((const struct rule *) cp2)->r_name);
692 }
693
694 static void
695 associate(void)
696 {
697 struct zone * zp;
698 struct rule * rp;
699 int base, out;
700 int i, j;
701
702 if (nrules != 0) {
703 (void) qsort(rules, (size_t)nrules, sizeof *rules, rcomp);
704 for (i = 0; i < nrules - 1; ++i) {
705 if (strcmp(rules[i].r_name,
706 rules[i + 1].r_name) != 0)
707 continue;
708 if (strcmp(rules[i].r_filename,
709 rules[i + 1].r_filename) == 0)
710 continue;
711 eat(rules[i].r_filename, rules[i].r_linenum);
712 warning(_("same rule name in multiple files"));
713 eat(rules[i + 1].r_filename, rules[i + 1].r_linenum);
714 warning(_("same rule name in multiple files"));
715 for (j = i + 2; j < nrules; ++j) {
716 if (strcmp(rules[i].r_name,
717 rules[j].r_name) != 0)
718 break;
719 if (strcmp(rules[i].r_filename,
720 rules[j].r_filename) == 0)
721 continue;
722 if (strcmp(rules[i + 1].r_filename,
723 rules[j].r_filename) == 0)
724 continue;
725 break;
726 }
727 i = j - 1;
728 }
729 }
730 for (i = 0; i < nzones; ++i) {
731 zp = &zones[i];
732 zp->z_rules = NULL;
733 zp->z_nrules = 0;
734 }
735 for (base = 0; base < nrules; base = out) {
736 rp = &rules[base];
737 for (out = base + 1; out < nrules; ++out)
738 if (strcmp(rp->r_name, rules[out].r_name) != 0)
739 break;
740 for (i = 0; i < nzones; ++i) {
741 zp = &zones[i];
742 if (strcmp(zp->z_rule, rp->r_name) != 0)
743 continue;
744 zp->z_rules = rp;
745 zp->z_nrules = out - base;
746 }
747 }
748 for (i = 0; i < nzones; ++i) {
749 zp = &zones[i];
750 if (zp->z_nrules == 0) {
751 /*
752 ** Maybe we have a local standard time offset.
753 */
754 eat(zp->z_filename, zp->z_linenum);
755 zp->z_stdoff = gethms(zp->z_rule, _("unruly zone"),
756 TRUE);
757 /*
758 ** Note, though, that if there's no rule,
759 ** a '%s' in the format is a bad thing.
760 */
761 if (strchr(zp->z_format, '%') != 0)
762 error(_("%s in ruleless zone"));
763 }
764 }
765 if (errors)
766 exit(EXIT_FAILURE);
767 }
768
769 static void
770 infile(const char *name)
771 {
772 FILE * fp;
773 char ** fields;
774 char * cp;
775 const struct lookup * lp;
776 int nfields;
777 int wantcont;
778 int num;
779 char buf[BUFSIZ];
780
781 if (strcmp(name, "-") == 0) {
782 name = _("standard input");
783 fp = stdin;
784 } else if ((fp = fopen(name, "r")) == NULL) {
785 const char *e = strerror(errno);
786
787 (void) fprintf(stderr, _("%s: Can't open %s: %s\n"),
788 progname, name, e);
789 exit(EXIT_FAILURE);
790 }
791 wantcont = FALSE;
792 for (num = 1; ; ++num) {
793 eat(name, num);
794 if (fgets(buf, (int) sizeof buf, fp) != buf)
795 break;
796 cp = strchr(buf, '\n');
797 if (cp == NULL) {
798 error(_("line too long"));
799 exit(EXIT_FAILURE);
800 }
801 *cp = '\0';
802 fields = getfields(buf);
803 nfields = 0;
804 while (fields[nfields] != NULL) {
805 static char nada;
806
807 if (strcmp(fields[nfields], "-") == 0)
808 fields[nfields] = &nada;
809 ++nfields;
810 }
811 if (nfields == 0) {
812 /* nothing to do */
813 } else if (wantcont) {
814 wantcont = inzcont(fields, nfields);
815 } else {
816 lp = byword(fields[0], line_codes);
817 if (lp == NULL)
818 error(_("input line of unknown type"));
819 else switch ((int) (lp->l_value)) {
820 case LC_RULE:
821 inrule(fields, nfields);
822 wantcont = FALSE;
823 break;
824 case LC_ZONE:
825 wantcont = inzone(fields, nfields);
826 break;
827 case LC_LINK:
828 inlink(fields, nfields);
829 wantcont = FALSE;
830 break;
831 case LC_LEAP:
832 if (name != leapsec)
833 (void) fprintf(stderr,
834 _("%s: Leap line in non leap seconds file %s\n"),
835 progname, name);
836 else inleap(fields, nfields);
837 wantcont = FALSE;
838 break;
839 default: /* "cannot happen" */
840 (void) fprintf(stderr,
841 _("%s: panic: Invalid l_value %d\n"),
842 progname, lp->l_value);
843 exit(EXIT_FAILURE);
844 }
845 }
846 free(fields);
847 }
848 if (ferror(fp)) {
849 (void) fprintf(stderr, _("%s: Error reading %s\n"),
850 progname, filename);
851 exit(EXIT_FAILURE);
852 }
853 if (fp != stdin && fclose(fp)) {
854 const char *e = strerror(errno);
855
856 (void) fprintf(stderr, _("%s: Error closing %s: %s\n"),
857 progname, filename, e);
858 exit(EXIT_FAILURE);
859 }
860 if (wantcont)
861 error(_("expected continuation line not found"));
862 }
863
864 /*
865 ** Convert a string of one of the forms
866 ** h -h hh:mm -hh:mm hh:mm:ss -hh:mm:ss
867 ** into a number of seconds.
868 ** A null string maps to zero.
869 ** Call error with errstring and return zero on errors.
870 */
871
872 static zic_t
873 gethms(const char *string, const char *const errstring, const int signable)
874 {
875 zic_t hh;
876 int mm, ss, sign;
877
878 if (string == NULL || *string == '\0')
879 return 0;
880 if (!signable)
881 sign = 1;
882 else if (*string == '-') {
883 sign = -1;
884 ++string;
885 } else sign = 1;
886 if (sscanf(string, scheck(string, "%"SCNdZIC), &hh) == 1)
887 mm = ss = 0;
888 else if (sscanf(string, scheck(string, "%"SCNdZIC":%d"), &hh, &mm) == 2)
889 ss = 0;
890 else if (sscanf(string, scheck(string, "%"SCNdZIC":%d:%d"),
891 &hh, &mm, &ss) != 3) {
892 error(errstring);
893 return 0;
894 }
895 if (hh < 0 ||
896 mm < 0 || mm >= MINSPERHOUR ||
897 ss < 0 || ss > SECSPERMIN) {
898 error(errstring);
899 return 0;
900 }
901 if (ZIC_MAX / SECSPERHOUR < hh) {
902 error(_("time overflow"));
903 return 0;
904 }
905 if (noise && hh == HOURSPERDAY && mm == 0 && ss == 0)
906 warning(_("24:00 not handled by pre-1998 versions of zic"));
907 if (noise && (hh > HOURSPERDAY ||
908 (hh == HOURSPERDAY && (mm != 0 || ss != 0))))
909 warning(_("values over 24 hours not handled by pre-2007 versions of zic"));
910 return oadd(sign * hh * SECSPERHOUR,
911 sign * (mm * SECSPERMIN + ss));
912 }
913
914 static void
915 inrule(char **const fields, const int nfields)
916 {
917 static struct rule r;
918
919 if (nfields != RULE_FIELDS) {
920 error(_("wrong number of fields on Rule line"));
921 return;
922 }
923 if (*fields[RF_NAME] == '\0') {
924 error(_("nameless rule"));
925 return;
926 }
927 r.r_filename = filename;
928 r.r_linenum = linenum;
929 r.r_stdoff = gethms(fields[RF_STDOFF], _("invalid saved time"), TRUE);
930 rulesub(&r, fields[RF_LOYEAR], fields[RF_HIYEAR], fields[RF_COMMAND],
931 fields[RF_MONTH], fields[RF_DAY], fields[RF_TOD]);
932 r.r_name = ecpyalloc(fields[RF_NAME]);
933 r.r_abbrvar = ecpyalloc(fields[RF_ABBRVAR]);
934 if (max_abbrvar_len < strlen(r.r_abbrvar))
935 max_abbrvar_len = strlen(r.r_abbrvar);
936 rules = erealloc(rules, (nrules + 1) * sizeof *rules);
937 rules[nrules++] = r;
938 }
939
940 static int
941 inzone(char **const fields, const int nfields)
942 {
943 int i;
944 static char * buf;
945
946 if (nfields < ZONE_MINFIELDS || nfields > ZONE_MAXFIELDS) {
947 error(_("wrong number of fields on Zone line"));
948 return FALSE;
949 }
950 if (strcmp(fields[ZF_NAME], TZDEFAULT) == 0 && lcltime != NULL) {
951 buf = erealloc(buf, 132 + strlen(TZDEFAULT));
952 (void)sprintf(buf, /* XXX: sprintf is safe */
953 _("\"Zone %s\" line and -l option are mutually exclusive"),
954 TZDEFAULT);
955 error(buf);
956 return FALSE;
957 }
958 if (strcmp(fields[ZF_NAME], TZDEFRULES) == 0 && psxrules != NULL) {
959 buf = erealloc(buf, 132 + strlen(TZDEFRULES));
960 (void)sprintf(buf, /* XXX: sprintf is safe */
961 _("\"Zone %s\" line and -p option are mutually exclusive"),
962 TZDEFRULES);
963 error(buf);
964 return FALSE;
965 }
966 for (i = 0; i < nzones; ++i)
967 if (zones[i].z_name != NULL &&
968 strcmp(zones[i].z_name, fields[ZF_NAME]) == 0) {
969 buf = erealloc(buf, 132 +
970 strlen(fields[ZF_NAME]) +
971 strlen(zones[i].z_filename));
972 (void)sprintf(buf, /* XXX: sprintf is safe */
973 _("duplicate zone name %s (file \"%s\", line %d)"),
974 fields[ZF_NAME],
975 zones[i].z_filename,
976 zones[i].z_linenum);
977 error(buf);
978 return FALSE;
979 }
980 return inzsub(fields, nfields, FALSE);
981 }
982
983 static int
984 inzcont(char **const fields, const int nfields)
985 {
986 if (nfields < ZONEC_MINFIELDS || nfields > ZONEC_MAXFIELDS) {
987 error(_("wrong number of fields on Zone continuation line"));
988 return FALSE;
989 }
990 return inzsub(fields, nfields, TRUE);
991 }
992
993 static int
994 inzsub(char **const fields, const int nfields, const int iscont)
995 {
996 char * cp;
997 static struct zone z;
998 int i_gmtoff, i_rule, i_format;
999 int i_untilyear, i_untilmonth;
1000 int i_untilday, i_untiltime;
1001 int hasuntil;
1002
1003 if (iscont) {
1004 i_gmtoff = ZFC_GMTOFF;
1005 i_rule = ZFC_RULE;
1006 i_format = ZFC_FORMAT;
1007 i_untilyear = ZFC_TILYEAR;
1008 i_untilmonth = ZFC_TILMONTH;
1009 i_untilday = ZFC_TILDAY;
1010 i_untiltime = ZFC_TILTIME;
1011 z.z_name = NULL;
1012 } else {
1013 i_gmtoff = ZF_GMTOFF;
1014 i_rule = ZF_RULE;
1015 i_format = ZF_FORMAT;
1016 i_untilyear = ZF_TILYEAR;
1017 i_untilmonth = ZF_TILMONTH;
1018 i_untilday = ZF_TILDAY;
1019 i_untiltime = ZF_TILTIME;
1020 z.z_name = ecpyalloc(fields[ZF_NAME]);
1021 }
1022 z.z_filename = filename;
1023 z.z_linenum = linenum;
1024 z.z_gmtoff = gethms(fields[i_gmtoff], _("invalid UTC offset"), TRUE);
1025 if ((cp = strchr(fields[i_format], '%')) != 0) {
1026 if (*++cp != 's' || strchr(cp, '%') != 0) {
1027 error(_("invalid abbreviation format"));
1028 return FALSE;
1029 }
1030 }
1031 z.z_rule = ecpyalloc(fields[i_rule]);
1032 z.z_format = ecpyalloc(fields[i_format]);
1033 if (max_format_len < strlen(z.z_format))
1034 max_format_len = strlen(z.z_format);
1035 hasuntil = nfields > i_untilyear;
1036 if (hasuntil) {
1037 z.z_untilrule.r_filename = filename;
1038 z.z_untilrule.r_linenum = linenum;
1039 rulesub(&z.z_untilrule,
1040 fields[i_untilyear],
1041 "only",
1042 "",
1043 (nfields > i_untilmonth) ?
1044 fields[i_untilmonth] : "Jan",
1045 (nfields > i_untilday) ? fields[i_untilday] : "1",
1046 (nfields > i_untiltime) ? fields[i_untiltime] : "0");
1047 z.z_untiltime = rpytime(&z.z_untilrule,
1048 z.z_untilrule.r_loyear);
1049 if (iscont && nzones > 0 &&
1050 z.z_untiltime > min_time &&
1051 z.z_untiltime < max_time &&
1052 zones[nzones - 1].z_untiltime > min_time &&
1053 zones[nzones - 1].z_untiltime < max_time &&
1054 zones[nzones - 1].z_untiltime >= z.z_untiltime) {
1055 error(_(
1056 "Zone continuation line end time is not after end time of previous line"
1057 ));
1058 return FALSE;
1059 }
1060 }
1061 zones = erealloc(zones, (nzones + 1) * sizeof *zones);
1062 zones[nzones++] = z;
1063 /*
1064 ** If there was an UNTIL field on this line,
1065 ** there's more information about the zone on the next line.
1066 */
1067 return hasuntil;
1068 }
1069
1070 static void
1071 inleap(char **const fields, const int nfields)
1072 {
1073 const char * cp;
1074 const struct lookup * lp;
1075 int i, j;
1076 zic_t year;
1077 int month, day;
1078 zic_t dayoff, tod;
1079 zic_t t;
1080
1081 if (nfields != LEAP_FIELDS) {
1082 error(_("wrong number of fields on Leap line"));
1083 return;
1084 }
1085 dayoff = 0;
1086 cp = fields[LP_YEAR];
1087 if (sscanf(cp, scheck(cp, "%"SCNdZIC), &year) != 1) {
1088 /*
1089 ** Leapin' Lizards!
1090 */
1091 error(_("invalid leaping year"));
1092 return;
1093 }
1094 if (!leapseen || leapmaxyear < year)
1095 leapmaxyear = year;
1096 if (!leapseen || leapminyear > year)
1097 leapminyear = year;
1098 leapseen = TRUE;
1099 j = EPOCH_YEAR;
1100 while (j != year) {
1101 if (year > j) {
1102 i = len_years[isleap(j)];
1103 ++j;
1104 } else {
1105 --j;
1106 i = -len_years[isleap(j)];
1107 }
1108 dayoff = oadd(dayoff, i);
1109 }
1110 if ((lp = byword(fields[LP_MONTH], mon_names)) == NULL) {
1111 error(_("invalid month name"));
1112 return;
1113 }
1114 month = lp->l_value;
1115 j = TM_JANUARY;
1116 while (j != month) {
1117 i = len_months[isleap(year)][j];
1118 dayoff = oadd(dayoff, i);
1119 ++j;
1120 }
1121 cp = fields[LP_DAY];
1122 if (sscanf(cp, scheck(cp, "%d"), &day) != 1 ||
1123 day <= 0 || day > len_months[isleap(year)][month]) {
1124 error(_("invalid day of month"));
1125 return;
1126 }
1127 dayoff = oadd(dayoff, day - 1);
1128 if (dayoff < 0 && !TYPE_SIGNED(zic_t)) {
1129 error(_("time before zero"));
1130 return;
1131 }
1132 if (dayoff < min_time / SECSPERDAY) {
1133 error(_("time too small"));
1134 return;
1135 }
1136 if (dayoff > max_time / SECSPERDAY) {
1137 error(_("time too large"));
1138 return;
1139 }
1140 t = (zic_t) dayoff * SECSPERDAY;
1141 tod = gethms(fields[LP_TIME], _("invalid time of day"), FALSE);
1142 cp = fields[LP_CORR];
1143 {
1144 int positive;
1145 int count;
1146
1147 if (strcmp(cp, "") == 0) { /* infile() turns "-" into "" */
1148 positive = FALSE;
1149 count = 1;
1150 } else if (strcmp(cp, "--") == 0) {
1151 positive = FALSE;
1152 count = 2;
1153 } else if (strcmp(cp, "+") == 0) {
1154 positive = TRUE;
1155 count = 1;
1156 } else if (strcmp(cp, "++") == 0) {
1157 positive = TRUE;
1158 count = 2;
1159 } else {
1160 error(_("illegal CORRECTION field on Leap line"));
1161 return;
1162 }
1163 if ((lp = byword(fields[LP_ROLL], leap_types)) == NULL) {
1164 error(_(
1165 "illegal Rolling/Stationary field on Leap line"
1166 ));
1167 return;
1168 }
1169 leapadd(tadd(t, tod), positive, lp->l_value, count);
1170 }
1171 }
1172
1173 static void
1174 inlink(char **const fields, const int nfields)
1175 {
1176 struct link l;
1177
1178 if (nfields != LINK_FIELDS) {
1179 error(_("wrong number of fields on Link line"));
1180 return;
1181 }
1182 if (*fields[LF_FROM] == '\0') {
1183 error(_("blank FROM field on Link line"));
1184 return;
1185 }
1186 if (*fields[LF_TO] == '\0') {
1187 error(_("blank TO field on Link line"));
1188 return;
1189 }
1190 l.l_filename = filename;
1191 l.l_linenum = linenum;
1192 l.l_from = ecpyalloc(fields[LF_FROM]);
1193 l.l_to = ecpyalloc(fields[LF_TO]);
1194 links = erealloc(links, (nlinks + 1) * sizeof *links);
1195 links[nlinks++] = l;
1196 }
1197
1198 static void
1199 rulesub(struct rule *const rp, const char *const loyearp,
1200 const char *const hiyearp, const char *const typep,
1201 const char *const monthp, const char *const dayp, const char *const timep)
1202 {
1203 const struct lookup * lp;
1204 const char * cp;
1205 char * dp;
1206 char * ep;
1207
1208 if ((lp = byword(monthp, mon_names)) == NULL) {
1209 error(_("invalid month name"));
1210 return;
1211 }
1212 rp->r_month = lp->l_value;
1213 rp->r_todisstd = FALSE;
1214 rp->r_todisgmt = FALSE;
1215 dp = ecpyalloc(timep);
1216 if (*dp != '\0') {
1217 ep = dp + strlen(dp) - 1;
1218 switch (lowerit(*ep)) {
1219 case 's': /* Standard */
1220 rp->r_todisstd = TRUE;
1221 rp->r_todisgmt = FALSE;
1222 *ep = '\0';
1223 break;
1224 case 'w': /* Wall */
1225 rp->r_todisstd = FALSE;
1226 rp->r_todisgmt = FALSE;
1227 *ep = '\0';
1228 break;
1229 case 'g': /* Greenwich */
1230 case 'u': /* Universal */
1231 case 'z': /* Zulu */
1232 rp->r_todisstd = TRUE;
1233 rp->r_todisgmt = TRUE;
1234 *ep = '\0';
1235 break;
1236 }
1237 }
1238 rp->r_tod = gethms(dp, _("invalid time of day"), FALSE);
1239 free(dp);
1240 /*
1241 ** Year work.
1242 */
1243 cp = loyearp;
1244 lp = byword(cp, begin_years);
1245 rp->r_lowasnum = lp == NULL;
1246 if (!rp->r_lowasnum) switch ((int) lp->l_value) {
1247 case YR_MINIMUM:
1248 rp->r_loyear = ZIC_MIN;
1249 break;
1250 case YR_MAXIMUM:
1251 rp->r_loyear = ZIC_MAX;
1252 break;
1253 default: /* "cannot happen" */
1254 (void) fprintf(stderr,
1255 _("%s: panic: Invalid l_value %d\n"),
1256 progname, lp->l_value);
1257 exit(EXIT_FAILURE);
1258 } else if (sscanf(cp, scheck(cp, "%"SCNdZIC), &rp->r_loyear) != 1) {
1259 error(_("invalid starting year"));
1260 return;
1261 }
1262 cp = hiyearp;
1263 lp = byword(cp, end_years);
1264 rp->r_hiwasnum = lp == NULL;
1265 if (!rp->r_hiwasnum) switch ((int) lp->l_value) {
1266 case YR_MINIMUM:
1267 rp->r_hiyear = ZIC_MIN;
1268 break;
1269 case YR_MAXIMUM:
1270 rp->r_hiyear = ZIC_MAX;
1271 break;
1272 case YR_ONLY:
1273 rp->r_hiyear = rp->r_loyear;
1274 break;
1275 default: /* "cannot happen" */
1276 (void) fprintf(stderr,
1277 _("%s: panic: Invalid l_value %d\n"),
1278 progname, lp->l_value);
1279 exit(EXIT_FAILURE);
1280 } else if (sscanf(cp, scheck(cp, "%"SCNdZIC), &rp->r_hiyear) != 1) {
1281 error(_("invalid ending year"));
1282 return;
1283 }
1284 if (rp->r_loyear > rp->r_hiyear) {
1285 error(_("starting year greater than ending year"));
1286 return;
1287 }
1288 if (*typep == '\0')
1289 rp->r_yrtype = NULL;
1290 else {
1291 if (rp->r_loyear == rp->r_hiyear) {
1292 error(_("typed single year"));
1293 return;
1294 }
1295 rp->r_yrtype = ecpyalloc(typep);
1296 }
1297 /*
1298 ** Day work.
1299 ** Accept things such as:
1300 ** 1
1301 ** last-Sunday
1302 ** Sun<=20
1303 ** Sun>=7
1304 */
1305 dp = ecpyalloc(dayp);
1306 if ((lp = byword(dp, lasts)) != NULL) {
1307 rp->r_dycode = DC_DOWLEQ;
1308 rp->r_wday = lp->l_value;
1309 rp->r_dayofmonth = len_months[1][rp->r_month];
1310 } else {
1311 if ((ep = strchr(dp, '<')) != 0)
1312 rp->r_dycode = DC_DOWLEQ;
1313 else if ((ep = strchr(dp, '>')) != 0)
1314 rp->r_dycode = DC_DOWGEQ;
1315 else {
1316 ep = dp;
1317 rp->r_dycode = DC_DOM;
1318 }
1319 if (rp->r_dycode != DC_DOM) {
1320 *ep++ = 0;
1321 if (*ep++ != '=') {
1322 error(_("invalid day of month"));
1323 free(dp);
1324 return;
1325 }
1326 if ((lp = byword(dp, wday_names)) == NULL) {
1327 error(_("invalid weekday name"));
1328 free(dp);
1329 return;
1330 }
1331 rp->r_wday = lp->l_value;
1332 }
1333 if (sscanf(ep, scheck(ep, "%d"), &rp->r_dayofmonth) != 1 ||
1334 rp->r_dayofmonth <= 0 ||
1335 (rp->r_dayofmonth > len_months[1][rp->r_month])) {
1336 error(_("invalid day of month"));
1337 free(dp);
1338 return;
1339 }
1340 }
1341 free(dp);
1342 }
1343
1344 static void
1345 convert(const zic_t val, char *const buf)
1346 {
1347 int i;
1348 int shift;
1349 unsigned char *const b = (unsigned char *) buf;
1350
1351 for (i = 0, shift = 24; i < 4; ++i, shift -= 8)
1352 b[i] = val >> shift;
1353 }
1354
1355 static void
1356 convert64(const zic_t val, char *const buf)
1357 {
1358 int i;
1359 int shift;
1360 unsigned char *const b = (unsigned char *) buf;
1361
1362 for (i = 0, shift = 56; i < 8; ++i, shift -= 8)
1363 b[i] = val >> shift;
1364 }
1365
1366 static void
1367 puttzcode(const zic_t val, FILE *const fp)
1368 {
1369 char buf[4];
1370
1371 convert(val, buf);
1372 (void) fwrite(buf, sizeof buf, (size_t) 1, fp);
1373 }
1374
1375 static void
1376 puttzcode64(const zic_t val, FILE *const fp)
1377 {
1378 char buf[8];
1379
1380 convert64(val, buf);
1381 (void) fwrite(buf, sizeof buf, (size_t) 1, fp);
1382 }
1383
1384 static int
1385 atcomp(const void *avp, const void *bvp)
1386 {
1387 const zic_t a = ((const struct attype *) avp)->at;
1388 const zic_t b = ((const struct attype *) bvp)->at;
1389
1390 return (a < b) ? -1 : (a > b);
1391 }
1392
1393 static int
1394 is32(const zic_t x)
1395 {
1396 return INT32_MIN <= x && x <= INT32_MAX;
1397 }
1398
1399 static void
1400 writezone(const char *const name, const char *const string)
1401 {
1402 FILE * fp;
1403 int i, j;
1404 int leapcnt32, leapi32;
1405 int timecnt32, timei32;
1406 int pass;
1407 static char * fullname;
1408 static const struct tzhead tzh0;
1409 static struct tzhead tzh;
1410 zic_t ats[TZ_MAX_TIMES];
1411 unsigned char types[TZ_MAX_TIMES];
1412
1413 /*
1414 ** Sort.
1415 */
1416 if (timecnt > 1)
1417 (void) qsort(attypes, (size_t) timecnt, sizeof *attypes,
1418 atcomp);
1419 /*
1420 ** Optimize.
1421 */
1422 {
1423 int fromi;
1424 int toi;
1425
1426 toi = 0;
1427 fromi = 0;
1428 while (fromi < timecnt && attypes[fromi].at < min_time)
1429 ++fromi;
1430 /*
1431 ** Remember that type 0 is reserved.
1432 */
1433 if (isdsts[1] == 0)
1434 while (fromi < timecnt && attypes[fromi].type == 1)
1435 ++fromi; /* handled by default rule */
1436 for ( ; fromi < timecnt; ++fromi) {
1437 if (toi != 0 && ((attypes[fromi].at +
1438 gmtoffs[attypes[toi - 1].type]) <=
1439 (attypes[toi - 1].at + gmtoffs[toi == 1 ? 0
1440 : attypes[toi - 2].type]))) {
1441 attypes[toi - 1].type =
1442 attypes[fromi].type;
1443 continue;
1444 }
1445 if (toi == 0 ||
1446 attypes[toi - 1].type != attypes[fromi].type)
1447 attypes[toi++] = attypes[fromi];
1448 }
1449 timecnt = toi;
1450 }
1451 /*
1452 ** Transfer.
1453 */
1454 for (i = 0; i < timecnt; ++i) {
1455 ats[i] = attypes[i].at;
1456 types[i] = attypes[i].type;
1457 }
1458 /*
1459 ** Correct for leap seconds.
1460 */
1461 for (i = 0; i < timecnt; ++i) {
1462 j = leapcnt;
1463 while (--j >= 0)
1464 if (ats[i] > trans[j] - corr[j]) {
1465 ats[i] = tadd(ats[i], corr[j]);
1466 break;
1467 }
1468 }
1469 /*
1470 ** Figure out 32-bit-limited starts and counts.
1471 */
1472 timecnt32 = timecnt;
1473 timei32 = 0;
1474 leapcnt32 = leapcnt;
1475 leapi32 = 0;
1476 while (timecnt32 > 0 && !is32(ats[timecnt32 - 1]))
1477 --timecnt32;
1478 while (timecnt32 > 0 && !is32(ats[timei32])) {
1479 --timecnt32;
1480 ++timei32;
1481 }
1482 while (leapcnt32 > 0 && !is32(trans[leapcnt32 - 1]))
1483 --leapcnt32;
1484 while (leapcnt32 > 0 && !is32(trans[leapi32])) {
1485 --leapcnt32;
1486 ++leapi32;
1487 }
1488 fullname = erealloc(fullname,
1489 strlen(directory) + 1 + strlen(name) + 1);
1490 (void) sprintf(fullname, "%s/%s", directory, name); /* XXX: sprintf is safe */
1491 /*
1492 ** Remove old file, if any, to snap links.
1493 */
1494 if (!itsdir(fullname) && remove(fullname) != 0 && errno != ENOENT) {
1495 const char *e = strerror(errno);
1496
1497 (void) fprintf(stderr, _("%s: Can't remove %s: %s\n"),
1498 progname, fullname, e);
1499 exit(EXIT_FAILURE);
1500 }
1501 if ((fp = fopen(fullname, "wb")) == NULL) {
1502 if (mkdirs(fullname) != 0)
1503 exit(EXIT_FAILURE);
1504 if ((fp = fopen(fullname, "wb")) == NULL) {
1505 const char *e = strerror(errno);
1506
1507 (void) fprintf(stderr, _("%s: Can't create %s: %s\n"),
1508 progname, fullname, e);
1509 exit(EXIT_FAILURE);
1510 }
1511 }
1512 for (pass = 1; pass <= 2; ++pass) {
1513 int thistimei, thistimecnt;
1514 int thisleapi, thisleapcnt;
1515 int thistimelim, thisleaplim;
1516 int writetype[TZ_MAX_TIMES];
1517 int typemap[TZ_MAX_TYPES];
1518 int thistypecnt;
1519 char thischars[TZ_MAX_CHARS];
1520 char thischarcnt;
1521 int indmap[TZ_MAX_CHARS];
1522
1523 if (pass == 1) {
1524 thistimei = timei32;
1525 thistimecnt = timecnt32;
1526 thisleapi = leapi32;
1527 thisleapcnt = leapcnt32;
1528 } else {
1529 thistimei = 0;
1530 thistimecnt = timecnt;
1531 thisleapi = 0;
1532 thisleapcnt = leapcnt;
1533 }
1534 thistimelim = thistimei + thistimecnt;
1535 thisleaplim = thisleapi + thisleapcnt;
1536 /*
1537 ** Remember that type 0 is reserved.
1538 */
1539 writetype[0] = FALSE;
1540 for (i = 1; i < typecnt; ++i)
1541 writetype[i] = thistimecnt == timecnt;
1542 if (thistimecnt == 0) {
1543 /*
1544 ** No transition times fall in the current
1545 ** (32- or 64-bit) window.
1546 */
1547 if (typecnt != 0)
1548 writetype[typecnt - 1] = TRUE;
1549 } else {
1550 for (i = thistimei - 1; i < thistimelim; ++i)
1551 if (i >= 0)
1552 writetype[types[i]] = TRUE;
1553 /*
1554 ** For America/Godthab and Antarctica/Palmer
1555 */
1556 /*
1557 ** Remember that type 0 is reserved.
1558 */
1559 if (thistimei == 0)
1560 writetype[1] = TRUE;
1561 }
1562 #ifndef LEAVE_SOME_PRE_2011_SYSTEMS_IN_THE_LURCH
1563 /*
1564 ** For some pre-2011 systems: if the last-to-be-written
1565 ** standard (or daylight) type has an offset different from the
1566 ** most recently used offset,
1567 ** append an (unused) copy of the most recently used type
1568 ** (to help get global "altzone" and "timezone" variables
1569 ** set correctly).
1570 */
1571 {
1572 int mrudst, mrustd, hidst, histd, type;
1573
1574 hidst = histd = mrudst = mrustd = -1;
1575 for (i = thistimei; i < thistimelim; ++i) {
1576 if (i < 0)
1577 continue;
1578 if (isdsts[types[i]])
1579 mrudst = types[i];
1580 else mrustd = types[i];
1581 }
1582 for (i = 0; i < typecnt; ++i)
1583 if (writetype[i]) {
1584 if (isdsts[i])
1585 hidst = i;
1586 else histd = i;
1587 }
1588 if (hidst >= 0 && mrudst >= 0 && hidst != mrudst &&
1589 gmtoffs[hidst] != gmtoffs[mrudst]) {
1590 isdsts[mrudst] = -1;
1591 type = addtype(gmtoffs[mrudst],
1592 &chars[abbrinds[mrudst]],
1593 TRUE,
1594 ttisstds[mrudst],
1595 ttisgmts[mrudst]);
1596 isdsts[mrudst] = TRUE;
1597 writetype[type] = TRUE;
1598 }
1599 if (histd >= 0 && mrustd >= 0 && histd != mrustd &&
1600 gmtoffs[histd] != gmtoffs[mrustd]) {
1601 isdsts[mrustd] = -1;
1602 type = addtype(gmtoffs[mrustd],
1603 &chars[abbrinds[mrustd]],
1604 FALSE,
1605 ttisstds[mrustd],
1606 ttisgmts[mrustd]);
1607 isdsts[mrustd] = FALSE;
1608 writetype[type] = TRUE;
1609 }
1610 }
1611 #endif /* !defined LEAVE_SOME_PRE_2011_SYSTEMS_IN_THE_LURCH */
1612 thistypecnt = 0;
1613 /*
1614 ** Potentially, set type 0 to that of lowest-valued time.
1615 */
1616 if (thistimei > 0) {
1617 for (i = 1; i < typecnt; ++i)
1618 if (writetype[i] && !isdsts[i])
1619 break;
1620 if (i != types[thistimei - 1]) {
1621 i = types[thistimei - 1];
1622 gmtoffs[0] = gmtoffs[i];
1623 isdsts[0] = isdsts[i];
1624 ttisstds[0] = ttisstds[i];
1625 ttisgmts[0] = ttisgmts[i];
1626 abbrinds[0] = abbrinds[i];
1627 writetype[0] = TRUE;
1628 writetype[i] = FALSE;
1629 }
1630 }
1631 for (i = 0; i < typecnt; ++i)
1632 typemap[i] = writetype[i] ? thistypecnt++ : 0;
1633 for (i = 0; i < (int)(sizeof indmap / sizeof indmap[0]); ++i)
1634 indmap[i] = -1;
1635 thischarcnt = 0;
1636 for (i = 0; i < typecnt; ++i) {
1637 char * thisabbr;
1638
1639 if (!writetype[i])
1640 continue;
1641 if (indmap[abbrinds[i]] >= 0)
1642 continue;
1643 thisabbr = &chars[abbrinds[i]];
1644 for (j = 0; j < thischarcnt; ++j)
1645 if (strcmp(&thischars[j], thisabbr) == 0)
1646 break;
1647 if (j == thischarcnt) {
1648 (void) strcpy(&thischars[(int) thischarcnt],
1649 thisabbr);
1650 thischarcnt += strlen(thisabbr) + 1;
1651 }
1652 indmap[abbrinds[i]] = j;
1653 }
1654 #define DO(field) (void) fwrite(tzh.field, \
1655 sizeof tzh.field, (size_t) 1, fp)
1656 tzh = tzh0;
1657 (void) strncpy(tzh.tzh_magic, TZ_MAGIC, sizeof tzh.tzh_magic);
1658 tzh.tzh_version[0] = ZIC_VERSION;
1659 convert(thistypecnt, tzh.tzh_ttisgmtcnt);
1660 convert(thistypecnt, tzh.tzh_ttisstdcnt);
1661 convert(thisleapcnt, tzh.tzh_leapcnt);
1662 convert(thistimecnt, tzh.tzh_timecnt);
1663 convert(thistypecnt, tzh.tzh_typecnt);
1664 convert(thischarcnt, tzh.tzh_charcnt);
1665 DO(tzh_magic);
1666 DO(tzh_version);
1667 DO(tzh_reserved);
1668 DO(tzh_ttisgmtcnt);
1669 DO(tzh_ttisstdcnt);
1670 DO(tzh_leapcnt);
1671 DO(tzh_timecnt);
1672 DO(tzh_typecnt);
1673 DO(tzh_charcnt);
1674 #undef DO
1675 for (i = thistimei; i < thistimelim; ++i)
1676 if (pass == 1)
1677 puttzcode(ats[i], fp);
1678 else puttzcode64(ats[i], fp);
1679 for (i = thistimei; i < thistimelim; ++i) {
1680 unsigned char uc;
1681
1682 uc = typemap[types[i]];
1683 (void) fwrite(&uc, sizeof uc, (size_t) 1, fp);
1684 }
1685 for (i = 0; i < typecnt; ++i)
1686 if (writetype[i]) {
1687 puttzcode(gmtoffs[i], fp);
1688 (void) putc(isdsts[i], fp);
1689 (void) putc((unsigned char) indmap[abbrinds[i]], fp);
1690 }
1691 if (thischarcnt != 0)
1692 (void) fwrite(thischars, sizeof thischars[0],
1693 (size_t) thischarcnt, fp);
1694 for (i = thisleapi; i < thisleaplim; ++i) {
1695 zic_t todo;
1696
1697 if (roll[i]) {
1698 if (timecnt == 0 || trans[i] < ats[0]) {
1699 j = 0;
1700 while (isdsts[j])
1701 if (++j >= typecnt) {
1702 j = 0;
1703 break;
1704 }
1705 } else {
1706 j = 1;
1707 while (j < timecnt &&
1708 trans[i] >= ats[j])
1709 ++j;
1710 j = types[j - 1];
1711 }
1712 todo = tadd(trans[i], -gmtoffs[j]);
1713 } else todo = trans[i];
1714 if (pass == 1)
1715 puttzcode(todo, fp);
1716 else puttzcode64(todo, fp);
1717 puttzcode(corr[i], fp);
1718 }
1719 for (i = 0; i < typecnt; ++i)
1720 if (writetype[i])
1721 (void) putc(ttisstds[i], fp);
1722 for (i = 0; i < typecnt; ++i)
1723 if (writetype[i])
1724 (void) putc(ttisgmts[i], fp);
1725 }
1726 (void) fprintf(fp, "\n%s\n", string);
1727 if (ferror(fp) || fclose(fp)) {
1728 (void) fprintf(stderr, _("%s: Error writing %s\n"),
1729 progname, fullname);
1730 exit(EXIT_FAILURE);
1731 }
1732 }
1733
1734 static void
1735 doabbr(char *const abbr, const int abbrlen, const char *const format,
1736 const char *const letters, const int isdst, const int doquotes)
1737 {
1738 char * cp;
1739 char * slashp;
1740 int len;
1741
1742 slashp = strchr(format, '/');
1743 if (slashp == NULL) {
1744 if (letters == NULL)
1745 (void) strlcpy(abbr, format, abbrlen);
1746 else (void) snprintf(abbr, abbrlen, format, letters);
1747 } else if (isdst) {
1748 (void) strlcpy(abbr, slashp + 1, abbrlen);
1749 } else {
1750 if (slashp > format)
1751 (void) strncpy(abbr, format, (size_t)(slashp - format));
1752 abbr[slashp - format] = '\0';
1753 }
1754 if (!doquotes)
1755 return;
1756 for (cp = abbr; *cp != '\0'; ++cp)
1757 if (strchr("ABCDEFGHIJKLMNOPQRSTUVWXYZ", *cp) == NULL &&
1758 strchr("abcdefghijklmnopqrstuvwxyz", *cp) == NULL)
1759 break;
1760 len = strlen(abbr);
1761 if (len > 0 && *cp == '\0')
1762 return;
1763 abbr[len + 2] = '\0';
1764 abbr[len + 1] = '>';
1765 for ( ; len > 0; --len)
1766 abbr[len] = abbr[len - 1];
1767 abbr[0] = '<';
1768 }
1769
1770 static void
1771 updateminmax(const zic_t x)
1772 {
1773 if (min_year > x)
1774 min_year = x;
1775 if (max_year < x)
1776 max_year = x;
1777 }
1778
1779 static int
1780 stringoffset(char *result, zic_t offset)
1781 {
1782 int hours;
1783 int minutes;
1784 int seconds;
1785
1786 result[0] = '\0';
1787 if (offset < 0) {
1788 (void) strcpy(result, "-");
1789 offset = -offset;
1790 }
1791 seconds = offset % SECSPERMIN;
1792 offset /= SECSPERMIN;
1793 minutes = offset % MINSPERHOUR;
1794 offset /= MINSPERHOUR;
1795 hours = offset;
1796 if (hours > HOURSPERDAY) {
1797 result[0] = '\0';
1798 return -1;
1799 }
1800 (void) sprintf(end(result), "%d", hours);
1801 if (minutes != 0 || seconds != 0) {
1802 (void) sprintf(end(result), ":%02d", minutes);
1803 if (seconds != 0)
1804 (void) sprintf(end(result), ":%02d", seconds);
1805 }
1806 return 0;
1807 }
1808
1809 static int
1810 stringrule(char *result, const struct rule *const rp, const zic_t dstoff,
1811 const zic_t gmtoff)
1812 {
1813 zic_t tod;
1814
1815 result = end(result);
1816 if (rp->r_dycode == DC_DOM) {
1817 int month, total;
1818
1819 if (rp->r_dayofmonth == 29 && rp->r_month == TM_FEBRUARY)
1820 return -1;
1821 total = 0;
1822 for (month = 0; month < rp->r_month; ++month)
1823 total += len_months[0][month];
1824 (void) sprintf(result, "J%d", total + rp->r_dayofmonth);
1825 } else {
1826 int week;
1827
1828 if (rp->r_dycode == DC_DOWGEQ) {
1829 if ((rp->r_dayofmonth % DAYSPERWEEK) != 1)
1830 return -1;
1831 week = 1 + rp->r_dayofmonth / DAYSPERWEEK;
1832 } else if (rp->r_dycode == DC_DOWLEQ) {
1833 if (rp->r_dayofmonth == len_months[1][rp->r_month])
1834 week = 5;
1835 else {
1836 if ((rp->r_dayofmonth % DAYSPERWEEK) != 0)
1837 return -1;
1838 week = rp->r_dayofmonth / DAYSPERWEEK;
1839 }
1840 } else return -1; /* "cannot happen" */
1841 (void) sprintf(result, "M%d.%d.%d",
1842 rp->r_month + 1, week, rp->r_wday);
1843 }
1844 tod = rp->r_tod;
1845 if (rp->r_todisgmt)
1846 tod += gmtoff;
1847 if (rp->r_todisstd && rp->r_stdoff == 0)
1848 tod += dstoff;
1849 if (tod < 0) {
1850 result[0] = '\0';
1851 return -1;
1852 }
1853 if (tod != 2 * SECSPERMIN * MINSPERHOUR) {
1854 (void) strcat(result, "/");
1855 if (stringoffset(end(result), tod) != 0)
1856 return -1;
1857 }
1858 return 0;
1859 }
1860
1861 static void
1862 stringzone(char *result, const int resultlen, const struct zone *const zpfirst,
1863 const int zonecount)
1864 {
1865 const struct zone * zp;
1866 struct rule * rp;
1867 struct rule * stdrp;
1868 struct rule * dstrp;
1869 int i;
1870 const char * abbrvar;
1871
1872 result[0] = '\0';
1873 zp = zpfirst + zonecount - 1;
1874 stdrp = dstrp = NULL;
1875 for (i = 0; i < zp->z_nrules; ++i) {
1876 rp = &zp->z_rules[i];
1877 if (rp->r_hiwasnum || rp->r_hiyear != ZIC_MAX)
1878 continue;
1879 if (rp->r_yrtype != NULL)
1880 continue;
1881 if (rp->r_stdoff == 0) {
1882 if (stdrp == NULL)
1883 stdrp = rp;
1884 else return;
1885 } else {
1886 if (dstrp == NULL)
1887 dstrp = rp;
1888 else return;
1889 }
1890 }
1891 if (stdrp == NULL && dstrp == NULL) {
1892 /*
1893 ** There are no rules running through "max".
1894 ** Let's find the latest rule.
1895 */
1896 for (i = 0; i < zp->z_nrules; ++i) {
1897 rp = &zp->z_rules[i];
1898 if (stdrp == NULL || rp->r_hiyear > stdrp->r_hiyear ||
1899 (rp->r_hiyear == stdrp->r_hiyear &&
1900 (rp->r_month > stdrp->r_month ||
1901 (rp->r_month == stdrp->r_month &&
1902 rp->r_dayofmonth > stdrp->r_dayofmonth))))
1903 stdrp = rp;
1904 }
1905 if (stdrp != NULL && stdrp->r_stdoff != 0)
1906 return; /* We end up in DST (a POSIX no-no). */
1907 /*
1908 ** Horrid special case: if year is 2037,
1909 ** presume this is a zone handled on a year-by-year basis;
1910 ** do not try to apply a rule to the zone.
1911 */
1912 if (stdrp != NULL && stdrp->r_hiyear == 2037)
1913 return;
1914 }
1915 if (stdrp == NULL && (zp->z_nrules != 0 || zp->z_stdoff != 0))
1916 return;
1917 abbrvar = (stdrp == NULL) ? "" : stdrp->r_abbrvar;
1918 doabbr(result, resultlen, zp->z_format, abbrvar, FALSE, TRUE);
1919 if (stringoffset(end(result), -zp->z_gmtoff) != 0) {
1920 result[0] = '\0';
1921 return;
1922 }
1923 if (dstrp == NULL)
1924 return;
1925 doabbr(end(result), resultlen - strlen(result),
1926 zp->z_format, dstrp->r_abbrvar, TRUE, TRUE);
1927 if (dstrp->r_stdoff != SECSPERMIN * MINSPERHOUR)
1928 if (stringoffset(end(result),
1929 -(zp->z_gmtoff + dstrp->r_stdoff)) != 0) {
1930 result[0] = '\0';
1931 return;
1932 }
1933 (void) strcat(result, ",");
1934 if (stringrule(result, dstrp, dstrp->r_stdoff, zp->z_gmtoff) != 0) {
1935 result[0] = '\0';
1936 return;
1937 }
1938 (void) strcat(result, ",");
1939 if (stringrule(result, stdrp, dstrp->r_stdoff, zp->z_gmtoff) != 0) {
1940 result[0] = '\0';
1941 return;
1942 }
1943 }
1944
1945 static void
1946 outzone(const struct zone *const zpfirst, const int zonecount)
1947 {
1948 const struct zone * zp;
1949 struct rule * rp;
1950 int i, j;
1951 int usestart, useuntil;
1952 zic_t starttime, untiltime;
1953 zic_t gmtoff;
1954 zic_t stdoff;
1955 zic_t year;
1956 zic_t startoff;
1957 int startttisstd;
1958 int startttisgmt;
1959 int type;
1960 char * startbuf;
1961 char * ab;
1962 char * envvar;
1963 size_t max_abbr_len;
1964 size_t max_envvar_len;
1965 int prodstic; /* all rules are min to max */
1966
1967 max_abbr_len = 2 + max_format_len + max_abbrvar_len;
1968 max_envvar_len = 2 * max_abbr_len + 5 * 9;
1969 startbuf = emalloc(max_abbr_len + 1);
1970 ab = emalloc(max_abbr_len + 1);
1971 envvar = emalloc(max_envvar_len + 1);
1972 INITIALIZE(untiltime);
1973 INITIALIZE(starttime);
1974 /*
1975 ** Now. . .finally. . .generate some useful data!
1976 */
1977 timecnt = 0;
1978 typecnt = 0;
1979 charcnt = 0;
1980 prodstic = zonecount == 1;
1981 /*
1982 ** Thanks to Earl Chew
1983 ** for noting the need to unconditionally initialize startttisstd.
1984 */
1985 startttisstd = FALSE;
1986 startttisgmt = FALSE;
1987 min_year = max_year = EPOCH_YEAR;
1988 if (leapseen) {
1989 updateminmax(leapminyear);
1990 updateminmax(leapmaxyear + (leapmaxyear < ZIC_MAX));
1991 }
1992 /*
1993 ** Reserve type 0.
1994 */
1995 gmtoffs[0] = isdsts[0] = ttisstds[0] = ttisgmts[0] = abbrinds[0] = -1;
1996 typecnt = 1;
1997 for (i = 0; i < zonecount; ++i) {
1998 zp = &zpfirst[i];
1999 if (i < zonecount - 1)
2000 updateminmax(zp->z_untilrule.r_loyear);
2001 for (j = 0; j < zp->z_nrules; ++j) {
2002 rp = &zp->z_rules[j];
2003 if (rp->r_lowasnum)
2004 updateminmax(rp->r_loyear);
2005 if (rp->r_hiwasnum)
2006 updateminmax(rp->r_hiyear);
2007 if (rp->r_lowasnum || rp->r_hiwasnum)
2008 prodstic = FALSE;
2009 }
2010 }
2011 /*
2012 ** Generate lots of data if a rule can't cover all future times.
2013 */
2014 stringzone(envvar, max_envvar_len+1, zpfirst, zonecount);
2015 if (noise && envvar[0] == '\0') {
2016 char * wp;
2017
2018 wp = ecpyalloc(_("no POSIX environment variable for zone"));
2019 wp = ecatalloc(wp, " ");
2020 wp = ecatalloc(wp, zpfirst->z_name);
2021 warning(wp);
2022 free(wp);
2023 }
2024 if (envvar[0] == '\0') {
2025 if (min_year >= ZIC_MIN + YEARSPERREPEAT)
2026 min_year -= YEARSPERREPEAT;
2027 else min_year = ZIC_MIN;
2028 if (max_year <= ZIC_MAX - YEARSPERREPEAT)
2029 max_year += YEARSPERREPEAT;
2030 else max_year = ZIC_MAX;
2031 /*
2032 ** Regardless of any of the above,
2033 ** for a "proDSTic" zone which specifies that its rules
2034 ** always have and always will be in effect,
2035 ** we only need one cycle to define the zone.
2036 */
2037 if (prodstic) {
2038 min_year = 1900;
2039 max_year = min_year + YEARSPERREPEAT;
2040 }
2041 }
2042 /*
2043 ** For the benefit of older systems,
2044 ** generate data from 1900 through 2037.
2045 */
2046 if (min_year > 1900)
2047 min_year = 1900;
2048 if (max_year < 2037)
2049 max_year = 2037;
2050 for (i = 0; i < zonecount; ++i) {
2051 /*
2052 ** A guess that may well be corrected later.
2053 */
2054 stdoff = 0;
2055 zp = &zpfirst[i];
2056 usestart = i > 0 && (zp - 1)->z_untiltime > min_time;
2057 useuntil = i < (zonecount - 1);
2058 if (useuntil && zp->z_untiltime <= min_time)
2059 continue;
2060 gmtoff = zp->z_gmtoff;
2061 eat(zp->z_filename, zp->z_linenum);
2062 *startbuf = '\0';
2063 startoff = zp->z_gmtoff;
2064 if (zp->z_nrules == 0) {
2065 stdoff = zp->z_stdoff;
2066 doabbr(startbuf, max_abbr_len + 1, zp->z_format,
2067 NULL, stdoff != 0, FALSE);
2068 type = addtype(oadd(zp->z_gmtoff, stdoff),
2069 startbuf, stdoff != 0, startttisstd,
2070 startttisgmt);
2071 if (usestart) {
2072 addtt(starttime, type);
2073 usestart = FALSE;
2074 } else if (stdoff != 0)
2075 addtt(min_time, type);
2076 } else for (year = min_year; year <= max_year; ++year) {
2077 if (useuntil && year > zp->z_untilrule.r_hiyear)
2078 break;
2079 /*
2080 ** Mark which rules to do in the current year.
2081 ** For those to do, calculate rpytime(rp, year);
2082 */
2083 for (j = 0; j < zp->z_nrules; ++j) {
2084 rp = &zp->z_rules[j];
2085 eats(zp->z_filename, zp->z_linenum,
2086 rp->r_filename, rp->r_linenum);
2087 rp->r_todo = year >= rp->r_loyear &&
2088 year <= rp->r_hiyear &&
2089 yearistype(year, rp->r_yrtype);
2090 if (rp->r_todo)
2091 rp->r_temp = rpytime(rp, year);
2092 }
2093 for ( ; ; ) {
2094 int k;
2095 zic_t jtime, ktime;
2096 zic_t offset;
2097
2098 INITIALIZE(ktime);
2099 if (useuntil) {
2100 /*
2101 ** Turn untiltime into UTC
2102 ** assuming the current gmtoff and
2103 ** stdoff values.
2104 */
2105 untiltime = zp->z_untiltime;
2106 if (!zp->z_untilrule.r_todisgmt)
2107 untiltime = tadd(untiltime,
2108 -gmtoff);
2109 if (!zp->z_untilrule.r_todisstd)
2110 untiltime = tadd(untiltime,
2111 -stdoff);
2112 }
2113 /*
2114 ** Find the rule (of those to do, if any)
2115 ** that takes effect earliest in the year.
2116 */
2117 k = -1;
2118 for (j = 0; j < zp->z_nrules; ++j) {
2119 rp = &zp->z_rules[j];
2120 if (!rp->r_todo)
2121 continue;
2122 eats(zp->z_filename, zp->z_linenum,
2123 rp->r_filename, rp->r_linenum);
2124 offset = rp->r_todisgmt ? 0 : gmtoff;
2125 if (!rp->r_todisstd)
2126 offset = oadd(offset, stdoff);
2127 jtime = rp->r_temp;
2128 if (jtime == min_time ||
2129 jtime == max_time)
2130 continue;
2131 jtime = tadd(jtime, -offset);
2132 if (k < 0 || jtime < ktime) {
2133 k = j;
2134 ktime = jtime;
2135 }
2136 }
2137 if (k < 0)
2138 break; /* go on to next year */
2139 rp = &zp->z_rules[k];
2140 rp->r_todo = FALSE;
2141 if (useuntil && ktime >= untiltime)
2142 break;
2143 stdoff = rp->r_stdoff;
2144 if (usestart && ktime == starttime)
2145 usestart = FALSE;
2146 if (usestart) {
2147 if (ktime < starttime) {
2148 startoff = oadd(zp->z_gmtoff,
2149 stdoff);
2150 doabbr(startbuf,
2151 max_abbr_len + 1,
2152 zp->z_format,
2153 rp->r_abbrvar,
2154 rp->r_stdoff != 0,
2155 FALSE);
2156 continue;
2157 }
2158 if (*startbuf == '\0' &&
2159 startoff == oadd(zp->z_gmtoff,
2160 stdoff)) {
2161 doabbr(startbuf,
2162 max_abbr_len + 1,
2163 zp->z_format,
2164 rp->r_abbrvar,
2165 rp->r_stdoff !=
2166 0,
2167 FALSE);
2168 }
2169 }
2170 eats(zp->z_filename, zp->z_linenum,
2171 rp->r_filename, rp->r_linenum);
2172 doabbr(ab, max_abbr_len+1, zp->z_format, rp->r_abbrvar,
2173 rp->r_stdoff != 0, FALSE);
2174 offset = oadd(zp->z_gmtoff, rp->r_stdoff);
2175 type = addtype(offset, ab, rp->r_stdoff != 0,
2176 rp->r_todisstd, rp->r_todisgmt);
2177 addtt(ktime, type);
2178 }
2179 }
2180 if (usestart) {
2181 if (*startbuf == '\0' &&
2182 zp->z_format != NULL &&
2183 strchr(zp->z_format, '%') == NULL &&
2184 strchr(zp->z_format, '/') == NULL)
2185 (void)strncpy(startbuf, zp->z_format,
2186 max_abbr_len + 1 - 1);
2187 eat(zp->z_filename, zp->z_linenum);
2188 if (*startbuf == '\0')
2189 error(_("can't determine time zone abbreviation to use just after until time"));
2190 else addtt(starttime,
2191 addtype(startoff, startbuf,
2192 startoff != zp->z_gmtoff,
2193 startttisstd,
2194 startttisgmt));
2195 }
2196 /*
2197 ** Now we may get to set starttime for the next zone line.
2198 */
2199 if (useuntil) {
2200 startttisstd = zp->z_untilrule.r_todisstd;
2201 startttisgmt = zp->z_untilrule.r_todisgmt;
2202 starttime = zp->z_untiltime;
2203 if (!startttisstd)
2204 starttime = tadd(starttime, -stdoff);
2205 if (!startttisgmt)
2206 starttime = tadd(starttime, -gmtoff);
2207 }
2208 }
2209 writezone(zpfirst->z_name, envvar);
2210 free(startbuf);
2211 free(ab);
2212 free(envvar);
2213 }
2214
2215 static void
2216 addtt(const zic_t starttime, int type)
2217 {
2218 if (starttime <= min_time ||
2219 (timecnt == 1 && attypes[0].at < min_time)) {
2220 gmtoffs[0] = gmtoffs[type];
2221 isdsts[0] = isdsts[type];
2222 ttisstds[0] = ttisstds[type];
2223 ttisgmts[0] = ttisgmts[type];
2224 if (abbrinds[type] != 0)
2225 (void) strcpy(chars, &chars[abbrinds[type]]);
2226 abbrinds[0] = 0;
2227 charcnt = strlen(chars) + 1;
2228 typecnt = 1;
2229 timecnt = 0;
2230 type = 0;
2231 }
2232 if (timecnt >= TZ_MAX_TIMES) {
2233 error(_("too many transitions?!"));
2234 exit(EXIT_FAILURE);
2235 }
2236 attypes[timecnt].at = starttime;
2237 attypes[timecnt].type = type;
2238 ++timecnt;
2239 }
2240
2241 static int
2242 addtype(const zic_t gmtoff, const char *const abbr, const int isdst,
2243 const int ttisstd, const int ttisgmt)
2244 {
2245 int i, j;
2246
2247 if (isdst != TRUE && isdst != FALSE) {
2248 error(_("internal error - addtype called with bad isdst"));
2249 exit(EXIT_FAILURE);
2250 }
2251 if (ttisstd != TRUE && ttisstd != FALSE) {
2252 error(_("internal error - addtype called with bad ttisstd"));
2253 exit(EXIT_FAILURE);
2254 }
2255 if (ttisgmt != TRUE && ttisgmt != FALSE) {
2256 error(_("internal error - addtype called with bad ttisgmt"));
2257 exit(EXIT_FAILURE);
2258 }
2259 /*
2260 ** See if there's already an entry for this zone type.
2261 ** If so, just return its index.
2262 */
2263 for (i = 0; i < typecnt; ++i) {
2264 if (gmtoff == gmtoffs[i] && isdst == isdsts[i] &&
2265 strcmp(abbr, &chars[abbrinds[i]]) == 0 &&
2266 ttisstd == ttisstds[i] &&
2267 ttisgmt == ttisgmts[i])
2268 return i;
2269 }
2270 /*
2271 ** There isn't one; add a new one, unless there are already too
2272 ** many.
2273 */
2274 if (typecnt >= TZ_MAX_TYPES) {
2275 error(_("too many local time types"));
2276 exit(EXIT_FAILURE);
2277 }
2278 if (! (-1L - 2147483647L <= gmtoff && gmtoff <= 2147483647L)) {
2279 error(_("UTC offset out of range"));
2280 exit(EXIT_FAILURE);
2281 }
2282 gmtoffs[i] = gmtoff;
2283 isdsts[i] = isdst;
2284 ttisstds[i] = ttisstd;
2285 ttisgmts[i] = ttisgmt;
2286
2287 for (j = 0; j < charcnt; ++j)
2288 if (strcmp(&chars[j], abbr) == 0)
2289 break;
2290 if (j == charcnt)
2291 newabbr(abbr);
2292 abbrinds[i] = j;
2293 ++typecnt;
2294 return i;
2295 }
2296
2297 static void
2298 leapadd(const zic_t t, const int positive, const int rolling, int count)
2299 {
2300 int i, j;
2301
2302 if (leapcnt + (positive ? count : 1) > TZ_MAX_LEAPS) {
2303 error(_("too many leap seconds"));
2304 exit(EXIT_FAILURE);
2305 }
2306 for (i = 0; i < leapcnt; ++i)
2307 if (t <= trans[i]) {
2308 if (t == trans[i]) {
2309 error(_("repeated leap second moment"));
2310 exit(EXIT_FAILURE);
2311 }
2312 break;
2313 }
2314 do {
2315 for (j = leapcnt; j > i; --j) {
2316 trans[j] = trans[j - 1];
2317 corr[j] = corr[j - 1];
2318 roll[j] = roll[j - 1];
2319 }
2320 trans[i] = t;
2321 corr[i] = positive ? 1 : -count;
2322 roll[i] = rolling;
2323 ++leapcnt;
2324 } while (positive && --count != 0);
2325 }
2326
2327 static void
2328 adjleap(void)
2329 {
2330 int i;
2331 zic_t last = 0;
2332
2333 /*
2334 ** propagate leap seconds forward
2335 */
2336 for (i = 0; i < leapcnt; ++i) {
2337 trans[i] = tadd(trans[i], last);
2338 last = corr[i] += last;
2339 }
2340 }
2341
2342 static int
2343 yearistype(const int year, const char *const type)
2344 {
2345 static char * buf;
2346 int result;
2347
2348 if (type == NULL || *type == '\0')
2349 return TRUE;
2350 buf = erealloc(buf, 132 + strlen(yitcommand) + strlen(type));
2351 (void)sprintf(buf, "%s %d %s", yitcommand, year, type); /* XXX: sprintf is safe */
2352 result = system(buf);
2353 if (WIFEXITED(result)) switch (WEXITSTATUS(result)) {
2354 case 0:
2355 return TRUE;
2356 case 1:
2357 return FALSE;
2358 }
2359 error(_("Wild result from command execution"));
2360 (void) fprintf(stderr, _("%s: command was '%s', result was %d\n"),
2361 progname, buf, result);
2362 for ( ; ; )
2363 exit(EXIT_FAILURE);
2364 }
2365
2366 static int
2367 lowerit(int a)
2368 {
2369 a = (unsigned char) a;
2370 return (isascii(a) && isupper(a)) ? tolower(a) : a;
2371 }
2372
2373 /* case-insensitive equality */
2374 static ATTRIBUTE_PURE int
2375 ciequal(const char *ap, const char *bp)
2376 {
2377 while (lowerit(*ap) == lowerit(*bp++))
2378 if (*ap++ == '\0')
2379 return TRUE;
2380 return FALSE;
2381 }
2382
2383 static ATTRIBUTE_PURE int
2384 itsabbr(const char *abbr, const char *word)
2385 {
2386 if (lowerit(*abbr) != lowerit(*word))
2387 return FALSE;
2388 ++word;
2389 while (*++abbr != '\0')
2390 do {
2391 if (*word == '\0')
2392 return FALSE;
2393 } while (lowerit(*word++) != lowerit(*abbr));
2394 return TRUE;
2395 }
2396
2397 static ATTRIBUTE_PURE const struct lookup *
2398 byword(const char *const word, const struct lookup *const table)
2399 {
2400 const struct lookup * foundlp;
2401 const struct lookup * lp;
2402
2403 if (word == NULL || table == NULL)
2404 return NULL;
2405 /*
2406 ** Look for exact match.
2407 */
2408 for (lp = table; lp->l_word != NULL; ++lp)
2409 if (ciequal(word, lp->l_word))
2410 return lp;
2411 /*
2412 ** Look for inexact match.
2413 */
2414 foundlp = NULL;
2415 for (lp = table; lp->l_word != NULL; ++lp)
2416 if (itsabbr(word, lp->l_word)) {
2417 if (foundlp == NULL)
2418 foundlp = lp;
2419 else return NULL; /* multiple inexact matches */
2420 }
2421 return foundlp;
2422 }
2423
2424 static char **
2425 getfields(char *cp)
2426 {
2427 char * dp;
2428 char ** array;
2429 int nsubs;
2430
2431 if (cp == NULL)
2432 return NULL;
2433 array = emalloc((strlen(cp) + 1) * sizeof *array);
2434 nsubs = 0;
2435 for ( ; ; ) {
2436 while (isascii((unsigned char) *cp) &&
2437 isspace((unsigned char) *cp))
2438 ++cp;
2439 if (*cp == '\0' || *cp == '#')
2440 break;
2441 array[nsubs++] = dp = cp;
2442 do {
2443 if ((*dp = *cp++) != '"')
2444 ++dp;
2445 else while ((*dp = *cp++) != '"')
2446 if (*dp != '\0')
2447 ++dp;
2448 else {
2449 error(_(
2450 "Odd number of quotation marks"
2451 ));
2452 exit(1);
2453 }
2454 } while (*cp != '\0' && *cp != '#' &&
2455 (!isascii(*cp) || !isspace((unsigned char) *cp)));
2456 if (isascii(*cp) && isspace((unsigned char) *cp))
2457 ++cp;
2458 *dp = '\0';
2459 }
2460 array[nsubs] = NULL;
2461 return array;
2462 }
2463
2464 static ATTRIBUTE_PURE zic_t
2465 oadd(const zic_t t1, const zic_t t2)
2466 {
2467 if (t1 < 0 ? t2 < ZIC_MIN - t1 : ZIC_MAX - t1 < t2) {
2468 error(_("time overflow"));
2469 exit(EXIT_FAILURE);
2470 }
2471 return t1 + t2;
2472 }
2473
2474 static zic_t
2475 tadd(const zic_t t1, const zic_t t2)
2476 {
2477 if (t1 == max_time && t2 > 0)
2478 return max_time;
2479 if (t1 == min_time && t2 < 0)
2480 return min_time;
2481 if (t1 < 0 ? t2 < min_time - t1 : max_time - t1 < t2) {
2482 error(_("time overflow"));
2483 exit(EXIT_FAILURE);
2484 }
2485 return t1 + t2;
2486 }
2487
2488 /*
2489 ** Given a rule, and a year, compute the date - in seconds since January 1,
2490 ** 1970, 00:00 LOCAL time - in that year that the rule refers to.
2491 */
2492
2493 static zic_t
2494 rpytime(const struct rule *const rp, const zic_t wantedy)
2495 {
2496 int m, i;
2497 zic_t dayoff; /* with a nod to Margaret O. */
2498 zic_t t, y;
2499
2500 if (wantedy == ZIC_MIN)
2501 return min_time;
2502 if (wantedy == ZIC_MAX)
2503 return max_time;
2504 dayoff = 0;
2505 m = TM_JANUARY;
2506 y = EPOCH_YEAR;
2507 while (wantedy != y) {
2508 if (wantedy > y) {
2509 i = len_years[isleap(y)];
2510 ++y;
2511 } else {
2512 --y;
2513 i = -len_years[isleap(y)];
2514 }
2515 dayoff = oadd(dayoff, i);
2516 }
2517 while (m != rp->r_month) {
2518 i = len_months[isleap(y)][m];
2519 dayoff = oadd(dayoff, i);
2520 ++m;
2521 }
2522 i = rp->r_dayofmonth;
2523 if (m == TM_FEBRUARY && i == 29 && !isleap(y)) {
2524 if (rp->r_dycode == DC_DOWLEQ)
2525 --i;
2526 else {
2527 error(_("use of 2/29 in non leap-year"));
2528 exit(EXIT_FAILURE);
2529 }
2530 }
2531 --i;
2532 dayoff = oadd(dayoff, i);
2533 if (rp->r_dycode == DC_DOWGEQ || rp->r_dycode == DC_DOWLEQ) {
2534 zic_t wday;
2535
2536 #define LDAYSPERWEEK ((zic_t) DAYSPERWEEK)
2537 wday = EPOCH_WDAY;
2538 /*
2539 ** Don't trust mod of negative numbers.
2540 */
2541 if (dayoff >= 0)
2542 wday = (wday + dayoff) % LDAYSPERWEEK;
2543 else {
2544 wday -= ((-dayoff) % LDAYSPERWEEK);
2545 if (wday < 0)
2546 wday += LDAYSPERWEEK;
2547 }
2548 while (wday != rp->r_wday)
2549 if (rp->r_dycode == DC_DOWGEQ) {
2550 dayoff = oadd(dayoff, (zic_t) 1);
2551 if (++wday >= LDAYSPERWEEK)
2552 wday = 0;
2553 ++i;
2554 } else {
2555 dayoff = oadd(dayoff, (zic_t) -1);
2556 if (--wday < 0)
2557 wday = LDAYSPERWEEK - 1;
2558 --i;
2559 }
2560 if (i < 0 || i >= len_months[isleap(y)][m]) {
2561 if (noise)
2562 warning(_("rule goes past start/end of month--\
2563 will not work with pre-2004 versions of zic"));
2564 }
2565 }
2566 if (dayoff < min_time / SECSPERDAY)
2567 return min_time;
2568 if (dayoff > max_time / SECSPERDAY)
2569 return max_time;
2570 t = (zic_t) dayoff * SECSPERDAY;
2571 return tadd(t, rp->r_tod);
2572 }
2573
2574 static void
2575 newabbr(const char *const string)
2576 {
2577 int i;
2578
2579 if (strcmp(string, GRANDPARENTED) != 0) {
2580 const char * cp;
2581 const char * mp;
2582
2583 /*
2584 ** Want one to ZIC_MAX_ABBR_LEN_WO_WARN alphabetics
2585 ** optionally followed by a + or - and a number from 1 to 14.
2586 */
2587 cp = string;
2588 mp = NULL;
2589 while (isascii((unsigned char) *cp) &&
2590 isalpha((unsigned char) *cp))
2591 ++cp;
2592 if (cp - string == 0)
2593 mp = _("time zone abbreviation lacks alphabetic at start");
2594 if (noise && cp - string < 3)
2595 mp = _("time zone abbreviation has fewer than 3 alphabetics");
2596 if (cp - string > ZIC_MAX_ABBR_LEN_WO_WARN)
2597 mp = _("time zone abbreviation has too many alphabetics");
2598 if (mp == NULL && (*cp == '+' || *cp == '-')) {
2599 ++cp;
2600 if (isascii((unsigned char) *cp) &&
2601 isdigit((unsigned char) *cp))
2602 if (*cp++ == '1' &&
2603 *cp >= '0' && *cp <= '4')
2604 ++cp;
2605 }
2606 if (*cp != '\0')
2607 mp = _("time zone abbreviation differs from POSIX standard");
2608 if (mp != NULL) {
2609 char *wp = ecpyalloc(mp);
2610 wp = ecatalloc(wp, " (");
2611 wp = ecatalloc(wp, string);
2612 wp = ecatalloc(wp, ")");
2613 warning(wp);
2614 free(wp);
2615 }
2616 }
2617 i = strlen(string) + 1;
2618 if (charcnt + i > TZ_MAX_CHARS) {
2619 error(_("too many, or too long, time zone abbreviations"));
2620 exit(EXIT_FAILURE);
2621 }
2622 (void)strncpy(&chars[charcnt], string, sizeof(chars) - charcnt - 1);
2623 charcnt += i;
2624 }
2625
2626 static int
2627 mkdirs(char *argname)
2628 {
2629 char * name;
2630 char * cp;
2631
2632 if (argname == NULL || *argname == '\0')
2633 return 0;
2634 cp = name = ecpyalloc(argname);
2635 while ((cp = strchr(cp + 1, '/')) != 0) {
2636 *cp = '\0';
2637 #ifdef HAVE_DOS_FILE_NAMES
2638 /*
2639 ** DOS drive specifier?
2640 */
2641 if (isalpha((unsigned char) name[0]) &&
2642 name[1] == ':' && name[2] == '\0') {
2643 *cp = '/';
2644 continue;
2645 }
2646 #endif
2647 if (!itsdir(name)) {
2648 /*
2649 ** It doesn't seem to exist, so we try to create it.
2650 ** Creation may fail because of the directory being
2651 ** created by some other multiprocessor, so we get
2652 ** to do extra checking.
2653 */
2654 if (mkdir(name, MKDIR_UMASK) != 0) {
2655 const char *e = strerror(errno);
2656
2657 if (errno != EEXIST || !itsdir(name)) {
2658 (void) fprintf(stderr,
2659 _("%s: Can't create directory %s: %s\n"),
2660 progname, name, e);
2661 free(name);
2662 return -1;
2663 }
2664 }
2665 }
2666 *cp = '/';
2667 }
2668 free(name);
2669 return 0;
2670 }
2671
2672 /*
2673 ** UNIX was a registered trademark of The Open Group in 2003.
2674 */
2675