zic.c revision 1.85 1 1.85 christos /* $NetBSD: zic.c,v 1.85 2022/11/02 12:49:10 christos Exp $ */
2 1.25 mlelstv /*
3 1.25 mlelstv ** This file is in the public domain, so clarified as of
4 1.25 mlelstv ** 2006-07-17 by Arthur David Olson.
5 1.25 mlelstv */
6 1.75 christos /* Compile .zi time zone data into TZif binary files. */
7 1.2 jtc
8 1.26 tsutsui #if HAVE_NBTOOL_CONFIG_H
9 1.26 tsutsui #include "nbtool_config.h"
10 1.26 tsutsui #endif
11 1.26 tsutsui
12 1.9 christos #include <sys/cdefs.h>
13 1.1 jtc #ifndef lint
14 1.85 christos __RCSID("$NetBSD: zic.c,v 1.85 2022/11/02 12:49:10 christos Exp $");
15 1.1 jtc #endif /* !defined lint */
16 1.1 jtc
17 1.79 christos /* Use the system 'time' function, instead of any private replacement.
18 1.79 christos This avoids creating an unnecessary dependency on localtime.c. */
19 1.79 christos #undef EPOCH_LOCAL
20 1.79 christos #undef EPOCH_OFFSET
21 1.79 christos #undef RESERVE_STD_EXT_IDS
22 1.79 christos #undef time_tz
23 1.79 christos
24 1.1 jtc #include "private.h"
25 1.1 jtc #include "tzfile.h"
26 1.19 kleink
27 1.68 christos #include <fcntl.h>
28 1.68 christos #include <locale.h>
29 1.79 christos #include <signal.h>
30 1.43 christos #include <stdarg.h>
31 1.69 christos #include <stdio.h>
32 1.43 christos #include <unistd.h>
33 1.63 christos #include <util.h>
34 1.43 christos
35 1.41 christos typedef int_fast64_t zic_t;
36 1.84 christos static zic_t const
37 1.84 christos ZIC_MIN = INT_FAST64_MIN,
38 1.84 christos ZIC_MAX = INT_FAST64_MAX,
39 1.84 christos ZIC32_MIN = -1 - (zic_t) 0x7fffffff,
40 1.84 christos ZIC32_MAX = 0x7fffffff;
41 1.41 christos #define SCNdZIC SCNdFAST64
42 1.25 mlelstv
43 1.25 mlelstv #ifndef ZIC_MAX_ABBR_LEN_WO_WARN
44 1.82 christos # define ZIC_MAX_ABBR_LEN_WO_WARN 6
45 1.25 mlelstv #endif /* !defined ZIC_MAX_ABBR_LEN_WO_WARN */
46 1.25 mlelstv
47 1.57 christos #ifdef HAVE_DIRECT_H
48 1.57 christos # include <direct.h>
49 1.57 christos # include <io.h>
50 1.57 christos # undef mkdir
51 1.57 christos # define mkdir(name, mode) _mkdir(name)
52 1.57 christos #endif
53 1.57 christos
54 1.84 christos #if HAVE_GETRANDOM
55 1.84 christos # include <sys/random.h>
56 1.84 christos #endif
57 1.84 christos
58 1.19 kleink #if HAVE_SYS_STAT_H
59 1.82 christos # include <sys/stat.h>
60 1.19 kleink #endif
61 1.19 kleink #ifdef S_IRUSR
62 1.82 christos # define MKDIR_UMASK (S_IRUSR|S_IWUSR|S_IXUSR|S_IRGRP|S_IXGRP|S_IROTH|S_IXOTH)
63 1.19 kleink #else
64 1.82 christos # define MKDIR_UMASK 0755
65 1.19 kleink #endif
66 1.69 christos
67 1.65 christos /* The maximum ptrdiff_t value, for pre-C99 platforms. */
68 1.65 christos #ifndef PTRDIFF_MAX
69 1.65 christos static ptrdiff_t const PTRDIFF_MAX = MAXVAL(ptrdiff_t, TYPE_BIT(ptrdiff_t));
70 1.65 christos #endif
71 1.65 christos
72 1.84 christos /* The minimum alignment of a type, for pre-C23 platforms. */
73 1.72 christos #if __STDC_VERSION__ < 201112
74 1.84 christos # define alignof(type) offsetof(struct { char a; type b; }, b)
75 1.84 christos #elif __STDC_VERSION__ < 202311
76 1.84 christos # include <stdalign.h>
77 1.72 christos #endif
78 1.72 christos
79 1.82 christos /* The maximum length of a text line, including the trailing newline. */
80 1.82 christos #ifndef _POSIX2_LINE_MAX
81 1.82 christos # define _POSIX2_LINE_MAX 2048
82 1.82 christos #endif
83 1.82 christos
84 1.69 christos /* The type for line numbers. Use PRIdMAX to format them; formerly
85 1.69 christos there was also "#define PRIdLINENO PRIdMAX" and formats used
86 1.69 christos PRIdLINENO, but xgettext cannot grok that. */
87 1.65 christos typedef intmax_t lineno;
88 1.65 christos
89 1.1 jtc struct rule {
90 1.84 christos int r_filenum;
91 1.65 christos lineno r_linenum;
92 1.1 jtc const char * r_name;
93 1.1 jtc
94 1.41 christos zic_t r_loyear; /* for example, 1986 */
95 1.41 christos zic_t r_hiyear; /* for example, 1986 */
96 1.51 christos bool r_lowasnum;
97 1.51 christos bool r_hiwasnum;
98 1.1 jtc
99 1.1 jtc int r_month; /* 0..11 */
100 1.1 jtc
101 1.1 jtc int r_dycode; /* see below */
102 1.1 jtc int r_dayofmonth;
103 1.1 jtc int r_wday;
104 1.1 jtc
105 1.38 christos zic_t r_tod; /* time from midnight */
106 1.75 christos bool r_todisstd; /* is r_tod standard time? */
107 1.75 christos bool r_todisut; /* is r_tod UT? */
108 1.71 christos bool r_isdst; /* is this daylight saving time? */
109 1.75 christos zic_t r_save; /* offset from standard time */
110 1.1 jtc const char * r_abbrvar; /* variable part of abbreviation */
111 1.1 jtc
112 1.65 christos bool r_todo; /* a rule to do (used in outzone) */
113 1.25 mlelstv zic_t r_temp; /* used in outzone */
114 1.1 jtc };
115 1.1 jtc
116 1.1 jtc /*
117 1.82 christos ** r_dycode r_dayofmonth r_wday
118 1.1 jtc */
119 1.82 christos enum {
120 1.82 christos DC_DOM, /* 1..31 */ /* unused */
121 1.82 christos DC_DOWGEQ, /* 1..31 */ /* 0..6 (Sun..Sat) */
122 1.82 christos DC_DOWLEQ /* 1..31 */ /* 0..6 (Sun..Sat) */
123 1.82 christos };
124 1.1 jtc
125 1.1 jtc struct zone {
126 1.84 christos int z_filenum;
127 1.65 christos lineno z_linenum;
128 1.1 jtc
129 1.1 jtc const char * z_name;
130 1.75 christos zic_t z_stdoff;
131 1.71 christos char * z_rule;
132 1.1 jtc const char * z_format;
133 1.55 christos char z_format_specifier;
134 1.1 jtc
135 1.71 christos bool z_isdst;
136 1.75 christos zic_t z_save;
137 1.1 jtc
138 1.1 jtc struct rule * z_rules;
139 1.65 christos ptrdiff_t z_nrules;
140 1.1 jtc
141 1.1 jtc struct rule z_untilrule;
142 1.25 mlelstv zic_t z_untiltime;
143 1.1 jtc };
144 1.1 jtc
145 1.57 christos #if !HAVE_POSIX_DECLS
146 1.25 mlelstv extern int getopt(int argc, char * const argv[],
147 1.25 mlelstv const char * options);
148 1.77 christos extern int link(const char * target, const char * linkname);
149 1.1 jtc extern char * optarg;
150 1.1 jtc extern int optind;
151 1.57 christos #endif
152 1.1 jtc
153 1.44 christos #if ! HAVE_SYMLINK
154 1.84 christos static ssize_t
155 1.84 christos readlink(char const *restrict file, char *restrict buf, size_t size)
156 1.84 christos {
157 1.84 christos errno = ENOTSUP;
158 1.84 christos return -1;
159 1.84 christos }
160 1.84 christos static int
161 1.84 christos symlink(char const *target, char const *linkname)
162 1.84 christos {
163 1.84 christos errno = ENOTSUP;
164 1.84 christos return -1;
165 1.84 christos }
166 1.44 christos #endif
167 1.68 christos #ifndef AT_SYMLINK_FOLLOW
168 1.84 christos # if HAVE_LINK
169 1.84 christos # define linkat(targetdir, target, linknamedir, linkname, flag) \
170 1.84 christos (itssymlink(target) ? (errno = ENOTSUP, -1) : link(target, linkname))
171 1.84 christos # else
172 1.84 christos # define linkat(targetdir, target, linknamedir, linkname, flag) \
173 1.84 christos (errno = ENOTSUP, -1)
174 1.84 christos # endif
175 1.68 christos #endif
176 1.44 christos
177 1.25 mlelstv static void addtt(zic_t starttime, int type);
178 1.57 christos static int addtype(zic_t, char const *, bool, bool, bool);
179 1.76 christos static void leapadd(zic_t, int, int);
180 1.25 mlelstv static void adjleap(void);
181 1.25 mlelstv static void associate(void);
182 1.63 christos static void dolink(const char *, const char *, bool);
183 1.82 christos static int getfields(char *, char **, int);
184 1.74 christos static zic_t gethms(const char * string, const char * errstring);
185 1.75 christos static zic_t getsave(char *, bool *);
186 1.76 christos static void inexpires(char **, int);
187 1.84 christos static void infile(int, char const *);
188 1.25 mlelstv static void inleap(char ** fields, int nfields);
189 1.25 mlelstv static void inlink(char ** fields, int nfields);
190 1.25 mlelstv static void inrule(char ** fields, int nfields);
191 1.51 christos static bool inzcont(char ** fields, int nfields);
192 1.51 christos static bool inzone(char ** fields, int nfields);
193 1.74 christos static bool inzsub(char **, int, bool);
194 1.74 christos static bool itssymlink(char const *);
195 1.51 christos static bool is_alpha(char a);
196 1.47 christos static char lowerit(char);
197 1.63 christos static void mkdirs(char const *, bool);
198 1.25 mlelstv static void newabbr(const char * abbr);
199 1.38 christos static zic_t oadd(zic_t t1, zic_t t2);
200 1.65 christos static void outzone(const struct zone * zp, ptrdiff_t ntzones);
201 1.41 christos static zic_t rpytime(const struct rule * rp, zic_t wantedy);
202 1.79 christos static bool rulesub(struct rule * rp,
203 1.1 jtc const char * loyearp, const char * hiyearp,
204 1.1 jtc const char * typep, const char * monthp,
205 1.25 mlelstv const char * dayp, const char * timep);
206 1.38 christos static zic_t tadd(zic_t t1, zic_t t2);
207 1.5 jtc
208 1.55 christos /* Bound on length of what %z can expand to. */
209 1.55 christos enum { PERCENT_Z_LEN_BOUND = sizeof "+995959" - 1 };
210 1.55 christos
211 1.1 jtc static int charcnt;
212 1.51 christos static bool errors;
213 1.51 christos static bool warnings;
214 1.84 christos static int filenum;
215 1.1 jtc static int leapcnt;
216 1.51 christos static bool leapseen;
217 1.41 christos static zic_t leapminyear;
218 1.41 christos static zic_t leapmaxyear;
219 1.65 christos static lineno linenum;
220 1.55 christos static size_t max_abbrvar_len = PERCENT_Z_LEN_BOUND;
221 1.36 christos static size_t max_format_len;
222 1.41 christos static zic_t max_year;
223 1.41 christos static zic_t min_year;
224 1.51 christos static bool noise;
225 1.84 christos static int rfilenum;
226 1.65 christos static lineno rlinenum;
227 1.1 jtc static const char * progname;
228 1.84 christos static char const * leapsec;
229 1.84 christos static char *const * main_argv;
230 1.65 christos static ptrdiff_t timecnt;
231 1.65 christos static ptrdiff_t timecnt_alloc;
232 1.1 jtc static int typecnt;
233 1.79 christos static int unspecifiedtype;
234 1.1 jtc
235 1.1 jtc /*
236 1.1 jtc ** Line codes.
237 1.1 jtc */
238 1.1 jtc
239 1.82 christos enum {
240 1.82 christos LC_RULE,
241 1.82 christos LC_ZONE,
242 1.82 christos LC_LINK,
243 1.82 christos LC_LEAP,
244 1.82 christos LC_EXPIRES
245 1.82 christos };
246 1.1 jtc
247 1.1 jtc /*
248 1.1 jtc ** Which fields are which on a Zone line.
249 1.1 jtc */
250 1.1 jtc
251 1.82 christos enum {
252 1.82 christos ZF_NAME = 1,
253 1.82 christos ZF_STDOFF,
254 1.82 christos ZF_RULE,
255 1.82 christos ZF_FORMAT,
256 1.82 christos ZF_TILYEAR,
257 1.82 christos ZF_TILMONTH,
258 1.82 christos ZF_TILDAY,
259 1.82 christos ZF_TILTIME,
260 1.82 christos ZONE_MAXFIELDS,
261 1.82 christos ZONE_MINFIELDS = ZF_TILYEAR
262 1.82 christos };
263 1.1 jtc
264 1.1 jtc /*
265 1.1 jtc ** Which fields are which on a Zone continuation line.
266 1.1 jtc */
267 1.1 jtc
268 1.82 christos enum {
269 1.82 christos ZFC_STDOFF,
270 1.82 christos ZFC_RULE,
271 1.82 christos ZFC_FORMAT,
272 1.82 christos ZFC_TILYEAR,
273 1.82 christos ZFC_TILMONTH,
274 1.82 christos ZFC_TILDAY,
275 1.82 christos ZFC_TILTIME,
276 1.82 christos ZONEC_MAXFIELDS,
277 1.82 christos ZONEC_MINFIELDS = ZFC_TILYEAR
278 1.82 christos };
279 1.1 jtc
280 1.1 jtc /*
281 1.1 jtc ** Which files are which on a Rule line.
282 1.1 jtc */
283 1.1 jtc
284 1.82 christos enum {
285 1.82 christos RF_NAME = 1,
286 1.82 christos RF_LOYEAR,
287 1.82 christos RF_HIYEAR,
288 1.82 christos RF_COMMAND,
289 1.82 christos RF_MONTH,
290 1.82 christos RF_DAY,
291 1.82 christos RF_TOD,
292 1.82 christos RF_SAVE,
293 1.82 christos RF_ABBRVAR,
294 1.82 christos RULE_FIELDS
295 1.82 christos };
296 1.1 jtc
297 1.1 jtc /*
298 1.1 jtc ** Which fields are which on a Link line.
299 1.1 jtc */
300 1.1 jtc
301 1.82 christos enum {
302 1.82 christos LF_TARGET = 1,
303 1.82 christos LF_LINKNAME,
304 1.82 christos LINK_FIELDS
305 1.82 christos };
306 1.1 jtc
307 1.1 jtc /*
308 1.1 jtc ** Which fields are which on a Leap line.
309 1.1 jtc */
310 1.1 jtc
311 1.82 christos enum {
312 1.82 christos LP_YEAR = 1,
313 1.82 christos LP_MONTH,
314 1.82 christos LP_DAY,
315 1.82 christos LP_TIME,
316 1.82 christos LP_CORR,
317 1.82 christos LP_ROLL,
318 1.82 christos LEAP_FIELDS,
319 1.1 jtc
320 1.82 christos /* Expires lines are like Leap lines, except without CORR and ROLL fields. */
321 1.82 christos EXPIRES_FIELDS = LP_TIME + 1
322 1.82 christos };
323 1.82 christos
324 1.82 christos /* The maximum number of fields on any of the above lines.
325 1.82 christos (The "+"s pacify gcc -Wenum-compare.) */
326 1.82 christos enum {
327 1.82 christos MAX_FIELDS = max(max(+RULE_FIELDS, +LINK_FIELDS),
328 1.82 christos max(+LEAP_FIELDS, +EXPIRES_FIELDS))
329 1.82 christos };
330 1.76 christos
331 1.1 jtc /*
332 1.1 jtc ** Year synonyms.
333 1.1 jtc */
334 1.1 jtc
335 1.82 christos enum {
336 1.82 christos YR_MINIMUM,
337 1.82 christos YR_MAXIMUM,
338 1.82 christos YR_ONLY
339 1.82 christos };
340 1.1 jtc
341 1.1 jtc static struct rule * rules;
342 1.65 christos static ptrdiff_t nrules; /* number of rules */
343 1.65 christos static ptrdiff_t nrules_alloc;
344 1.1 jtc
345 1.1 jtc static struct zone * zones;
346 1.65 christos static ptrdiff_t nzones; /* number of zones */
347 1.65 christos static ptrdiff_t nzones_alloc;
348 1.1 jtc
349 1.1 jtc struct link {
350 1.84 christos int l_filenum;
351 1.65 christos lineno l_linenum;
352 1.77 christos const char * l_target;
353 1.77 christos const char * l_linkname;
354 1.1 jtc };
355 1.1 jtc
356 1.1 jtc static struct link * links;
357 1.65 christos static ptrdiff_t nlinks;
358 1.65 christos static ptrdiff_t nlinks_alloc;
359 1.1 jtc
360 1.1 jtc struct lookup {
361 1.1 jtc const char * l_word;
362 1.1 jtc const int l_value;
363 1.1 jtc };
364 1.1 jtc
365 1.25 mlelstv static struct lookup const * byword(const char * string,
366 1.25 mlelstv const struct lookup * lp);
367 1.1 jtc
368 1.69 christos static struct lookup const zi_line_codes[] = {
369 1.1 jtc { "Rule", LC_RULE },
370 1.1 jtc { "Zone", LC_ZONE },
371 1.1 jtc { "Link", LC_LINK },
372 1.69 christos { NULL, 0 }
373 1.69 christos };
374 1.69 christos static struct lookup const leap_line_codes[] = {
375 1.1 jtc { "Leap", LC_LEAP },
376 1.76 christos { "Expires", LC_EXPIRES },
377 1.1 jtc { NULL, 0}
378 1.1 jtc };
379 1.1 jtc
380 1.1 jtc static struct lookup const mon_names[] = {
381 1.1 jtc { "January", TM_JANUARY },
382 1.1 jtc { "February", TM_FEBRUARY },
383 1.1 jtc { "March", TM_MARCH },
384 1.1 jtc { "April", TM_APRIL },
385 1.1 jtc { "May", TM_MAY },
386 1.1 jtc { "June", TM_JUNE },
387 1.1 jtc { "July", TM_JULY },
388 1.1 jtc { "August", TM_AUGUST },
389 1.1 jtc { "September", TM_SEPTEMBER },
390 1.1 jtc { "October", TM_OCTOBER },
391 1.1 jtc { "November", TM_NOVEMBER },
392 1.1 jtc { "December", TM_DECEMBER },
393 1.1 jtc { NULL, 0 }
394 1.1 jtc };
395 1.1 jtc
396 1.1 jtc static struct lookup const wday_names[] = {
397 1.1 jtc { "Sunday", TM_SUNDAY },
398 1.1 jtc { "Monday", TM_MONDAY },
399 1.1 jtc { "Tuesday", TM_TUESDAY },
400 1.1 jtc { "Wednesday", TM_WEDNESDAY },
401 1.1 jtc { "Thursday", TM_THURSDAY },
402 1.1 jtc { "Friday", TM_FRIDAY },
403 1.1 jtc { "Saturday", TM_SATURDAY },
404 1.1 jtc { NULL, 0 }
405 1.1 jtc };
406 1.1 jtc
407 1.1 jtc static struct lookup const lasts[] = {
408 1.1 jtc { "last-Sunday", TM_SUNDAY },
409 1.1 jtc { "last-Monday", TM_MONDAY },
410 1.1 jtc { "last-Tuesday", TM_TUESDAY },
411 1.1 jtc { "last-Wednesday", TM_WEDNESDAY },
412 1.1 jtc { "last-Thursday", TM_THURSDAY },
413 1.1 jtc { "last-Friday", TM_FRIDAY },
414 1.1 jtc { "last-Saturday", TM_SATURDAY },
415 1.1 jtc { NULL, 0 }
416 1.1 jtc };
417 1.1 jtc
418 1.1 jtc static struct lookup const begin_years[] = {
419 1.1 jtc { "minimum", YR_MINIMUM },
420 1.1 jtc { "maximum", YR_MAXIMUM },
421 1.1 jtc { NULL, 0 }
422 1.1 jtc };
423 1.1 jtc
424 1.1 jtc static struct lookup const end_years[] = {
425 1.1 jtc { "minimum", YR_MINIMUM },
426 1.1 jtc { "maximum", YR_MAXIMUM },
427 1.1 jtc { "only", YR_ONLY },
428 1.1 jtc { NULL, 0 }
429 1.1 jtc };
430 1.1 jtc
431 1.1 jtc static struct lookup const leap_types[] = {
432 1.51 christos { "Rolling", true },
433 1.51 christos { "Stationary", false },
434 1.1 jtc { NULL, 0 }
435 1.1 jtc };
436 1.1 jtc
437 1.1 jtc static const int len_months[2][MONSPERYEAR] = {
438 1.1 jtc { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 },
439 1.1 jtc { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }
440 1.1 jtc };
441 1.1 jtc
442 1.1 jtc static const int len_years[2] = {
443 1.1 jtc DAYSPERNYEAR, DAYSPERLYEAR
444 1.1 jtc };
445 1.1 jtc
446 1.5 jtc static struct attype {
447 1.25 mlelstv zic_t at;
448 1.63 christos bool dontmerge;
449 1.5 jtc unsigned char type;
450 1.45 christos } * attypes;
451 1.75 christos static zic_t utoffs[TZ_MAX_TYPES];
452 1.1 jtc static char isdsts[TZ_MAX_TYPES];
453 1.75 christos static unsigned char desigidx[TZ_MAX_TYPES];
454 1.51 christos static bool ttisstds[TZ_MAX_TYPES];
455 1.75 christos static bool ttisuts[TZ_MAX_TYPES];
456 1.1 jtc static char chars[TZ_MAX_CHARS];
457 1.25 mlelstv static zic_t trans[TZ_MAX_LEAPS];
458 1.38 christos static zic_t corr[TZ_MAX_LEAPS];
459 1.1 jtc static char roll[TZ_MAX_LEAPS];
460 1.1 jtc
461 1.1 jtc /*
462 1.1 jtc ** Memory allocation.
463 1.1 jtc */
464 1.1 jtc
465 1.45 christos static _Noreturn void
466 1.45 christos memory_exhausted(const char *msg)
467 1.45 christos {
468 1.45 christos fprintf(stderr, _("%s: Memory exhausted: %s\n"), progname, msg);
469 1.45 christos exit(EXIT_FAILURE);
470 1.45 christos }
471 1.45 christos
472 1.45 christos static ATTRIBUTE_PURE size_t
473 1.45 christos size_product(size_t nitems, size_t itemsize)
474 1.45 christos {
475 1.45 christos if (SIZE_MAX / itemsize < nitems)
476 1.51 christos memory_exhausted(_("size overflow"));
477 1.45 christos return nitems * itemsize;
478 1.45 christos }
479 1.45 christos
480 1.72 christos static ATTRIBUTE_PURE size_t
481 1.72 christos align_to(size_t size, size_t alignment)
482 1.72 christos {
483 1.72 christos size_t aligned_size = size + alignment - 1;
484 1.72 christos aligned_size -= aligned_size % alignment;
485 1.72 christos if (aligned_size < size)
486 1.72 christos memory_exhausted(_("alignment overflow"));
487 1.72 christos return aligned_size;
488 1.72 christos }
489 1.72 christos
490 1.53 christos #if !HAVE_STRDUP
491 1.53 christos static char *
492 1.53 christos strdup(char const *str)
493 1.53 christos {
494 1.53 christos char *result = malloc(strlen(str) + 1);
495 1.53 christos return result ? strcpy(result, str) : result;
496 1.53 christos }
497 1.53 christos #endif
498 1.53 christos
499 1.69 christos static void *
500 1.53 christos memcheck(void *ptr)
501 1.1 jtc {
502 1.45 christos if (ptr == NULL)
503 1.79 christos memory_exhausted(strerror(HAVE_MALLOC_ERRNO ? errno : ENOMEM));
504 1.1 jtc return ptr;
505 1.1 jtc }
506 1.1 jtc
507 1.71 christos static void * ATTRIBUTE_MALLOC
508 1.53 christos zic_malloc(size_t size)
509 1.53 christos {
510 1.53 christos return memcheck(malloc(size));
511 1.53 christos }
512 1.53 christos
513 1.53 christos static void *
514 1.53 christos zic_realloc(void *ptr, size_t size)
515 1.53 christos {
516 1.53 christos return memcheck(realloc(ptr, size));
517 1.53 christos }
518 1.53 christos
519 1.71 christos static char * ATTRIBUTE_MALLOC
520 1.53 christos ecpyalloc(char const *str)
521 1.53 christos {
522 1.53 christos return memcheck(strdup(str));
523 1.53 christos }
524 1.1 jtc
525 1.45 christos static void *
526 1.65 christos growalloc(void *ptr, size_t itemsize, ptrdiff_t nitems, ptrdiff_t *nitems_alloc)
527 1.45 christos {
528 1.45 christos if (nitems < *nitems_alloc)
529 1.45 christos return ptr;
530 1.45 christos else {
531 1.84 christos ptrdiff_t amax = min(PTRDIFF_MAX, SIZE_MAX);
532 1.45 christos if ((amax - 1) / 3 * 2 < *nitems_alloc)
533 1.65 christos memory_exhausted(_("integer overflow"));
534 1.65 christos *nitems_alloc += (*nitems_alloc >> 1) + 1;
535 1.53 christos return zic_realloc(ptr, size_product(*nitems_alloc, itemsize));
536 1.45 christos }
537 1.45 christos }
538 1.45 christos
539 1.1 jtc /*
540 1.1 jtc ** Error handling.
541 1.1 jtc */
542 1.1 jtc
543 1.84 christos /* In most of the code, an input file name is represented by its index
544 1.84 christos into the main argument vector, except that LEAPSEC_FILENUM stands
545 1.84 christos for leapsec and COMMAND_LINE_FILENUM stands for the command line. */
546 1.84 christos enum { LEAPSEC_FILENUM = -2, COMMAND_LINE_FILENUM = -1 };
547 1.84 christos
548 1.84 christos /* Return the name of the Ith input file, for diagnostics. */
549 1.84 christos static char const *
550 1.84 christos filename(int i)
551 1.84 christos {
552 1.84 christos if (i == COMMAND_LINE_FILENUM)
553 1.84 christos return _("command line");
554 1.84 christos else {
555 1.84 christos char const *fname = i == LEAPSEC_FILENUM ? leapsec : main_argv[i];
556 1.84 christos return strcmp(fname, "-") == 0 ? _("standard input") : fname;
557 1.84 christos }
558 1.84 christos }
559 1.84 christos
560 1.1 jtc static void
561 1.84 christos eats(int fnum, lineno num, int rfnum, lineno rnum)
562 1.1 jtc {
563 1.84 christos filenum = fnum;
564 1.1 jtc linenum = num;
565 1.84 christos rfilenum = rfnum;
566 1.1 jtc rlinenum = rnum;
567 1.1 jtc }
568 1.1 jtc
569 1.1 jtc static void
570 1.84 christos eat(int fnum, lineno num)
571 1.1 jtc {
572 1.84 christos eats(fnum, num, 0, -1);
573 1.1 jtc }
574 1.1 jtc
575 1.43 christos static void ATTRIBUTE_FORMAT((printf, 1, 0))
576 1.43 christos verror(const char *const string, va_list args)
577 1.1 jtc {
578 1.1 jtc /*
579 1.1 jtc ** Match the format of "cc" to allow sh users to
580 1.1 jtc ** zic ... 2>&1 | error -t "*" -v
581 1.1 jtc ** on BSD systems.
582 1.1 jtc */
583 1.84 christos if (filenum)
584 1.84 christos fprintf(stderr, _("\"%s\", line %"PRIdMAX": "),
585 1.84 christos filename(filenum), linenum);
586 1.43 christos vfprintf(stderr, string, args);
587 1.84 christos if (rfilenum)
588 1.69 christos fprintf(stderr, _(" (rule from \"%s\", line %"PRIdMAX")"),
589 1.84 christos filename(rfilenum), rlinenum);
590 1.51 christos fprintf(stderr, "\n");
591 1.1 jtc }
592 1.1 jtc
593 1.43 christos static void ATTRIBUTE_FORMAT((printf, 1, 2))
594 1.43 christos error(const char *const string, ...)
595 1.5 jtc {
596 1.43 christos va_list args;
597 1.43 christos va_start(args, string);
598 1.43 christos verror(string, args);
599 1.43 christos va_end(args);
600 1.51 christos errors = true;
601 1.43 christos }
602 1.43 christos
603 1.43 christos static void ATTRIBUTE_FORMAT((printf, 1, 2))
604 1.43 christos warning(const char *const string, ...)
605 1.43 christos {
606 1.43 christos va_list args;
607 1.43 christos fprintf(stderr, _("warning: "));
608 1.43 christos va_start(args, string);
609 1.43 christos verror(string, args);
610 1.43 christos va_end(args);
611 1.51 christos warnings = true;
612 1.51 christos }
613 1.51 christos
614 1.79 christos /* Close STREAM. If it had an I/O error, report it against DIR/NAME,
615 1.79 christos remove TEMPNAME if nonnull, and then exit. */
616 1.51 christos static void
617 1.79 christos close_file(FILE *stream, char const *dir, char const *name,
618 1.79 christos char const *tempname)
619 1.51 christos {
620 1.51 christos char const *e = (ferror(stream) ? _("I/O error")
621 1.51 christos : fclose(stream) != 0 ? strerror(errno) : NULL);
622 1.51 christos if (e) {
623 1.63 christos fprintf(stderr, "%s: %s%s%s%s%s\n", progname,
624 1.63 christos dir ? dir : "", dir ? "/" : "",
625 1.63 christos name ? name : "", name ? ": " : "",
626 1.63 christos e);
627 1.79 christos if (tempname)
628 1.79 christos remove(tempname);
629 1.51 christos exit(EXIT_FAILURE);
630 1.51 christos }
631 1.5 jtc }
632 1.5 jtc
633 1.41 christos static _Noreturn void
634 1.25 mlelstv usage(FILE *stream, int status)
635 1.1 jtc {
636 1.51 christos fprintf(stream,
637 1.51 christos _("%s: usage is %s [ --version ] [ --help ] [ -v ] \\\n"
638 1.75 christos "\t[ -b {slim|fat} ] [ -d directory ] [ -l localtime ]"
639 1.75 christos " [ -L leapseconds ] \\\n"
640 1.82 christos "\t[ -p posixrules ] [ -r '[@lo][/@hi]' ] [ -R '@hi' ] \\\n"
641 1.82 christos "\t[ -t localtime-link ] \\\n"
642 1.74 christos "\t[ filename ... ]\n\n"
643 1.51 christos "Report bugs to %s.\n"),
644 1.51 christos progname, progname, REPORT_BUGS_TO);
645 1.51 christos if (status == EXIT_SUCCESS)
646 1.79 christos close_file(stream, NULL, NULL, NULL);
647 1.51 christos exit(status);
648 1.1 jtc }
649 1.1 jtc
650 1.63 christos /* Change the working directory to DIR, possibly creating DIR and its
651 1.63 christos ancestors. After this is done, all files are accessed with names
652 1.63 christos relative to DIR. */
653 1.63 christos static void
654 1.79 christos change_directory(char const *dir)
655 1.63 christos {
656 1.63 christos if (chdir(dir) != 0) {
657 1.63 christos int chdir_errno = errno;
658 1.63 christos if (chdir_errno == ENOENT) {
659 1.63 christos mkdirs(dir, false);
660 1.63 christos chdir_errno = chdir(dir) == 0 ? 0 : errno;
661 1.63 christos }
662 1.63 christos if (chdir_errno != 0) {
663 1.63 christos fprintf(stderr, _("%s: Can't chdir to %s: %s\n"),
664 1.63 christos progname, dir, strerror(chdir_errno));
665 1.63 christos exit(EXIT_FAILURE);
666 1.63 christos }
667 1.63 christos }
668 1.63 christos }
669 1.63 christos
670 1.84 christos /* Compare the two links A and B, for a stable sort by link name. */
671 1.84 christos static int
672 1.84 christos qsort_linkcmp(void const *a, void const *b)
673 1.84 christos {
674 1.84 christos struct link const *l = a;
675 1.84 christos struct link const *m = b;
676 1.84 christos int cmp = strcmp(l->l_linkname, m->l_linkname);
677 1.84 christos if (cmp)
678 1.84 christos return cmp;
679 1.84 christos
680 1.84 christos /* The link names are the same. Make the sort stable by comparing
681 1.84 christos file numbers (where subtraction cannot overflow) and possibly
682 1.84 christos line numbers (where it can). */
683 1.84 christos cmp = l->l_filenum - m->l_filenum;
684 1.84 christos if (cmp)
685 1.84 christos return cmp;
686 1.84 christos return (l->l_linenum > m->l_linenum) - (l->l_linenum < m->l_linenum);
687 1.84 christos }
688 1.84 christos
689 1.84 christos /* Compare the string KEY to the link B, for bsearch. */
690 1.84 christos static int
691 1.84 christos bsearch_linkcmp(void const *key, void const *b)
692 1.84 christos {
693 1.84 christos struct link const *m = b;
694 1.84 christos return strcmp(key, m->l_linkname);
695 1.84 christos }
696 1.84 christos
697 1.84 christos /* Make the links specified by the Link lines. */
698 1.84 christos static void
699 1.84 christos make_links(void)
700 1.84 christos {
701 1.84 christos ptrdiff_t i, j, nalinks, pass_size;
702 1.84 christos if (1 < nlinks)
703 1.84 christos qsort(links, nlinks, sizeof *links, qsort_linkcmp);
704 1.84 christos
705 1.84 christos /* Ignore each link superseded by a later link with the same name. */
706 1.84 christos j = 0;
707 1.84 christos for (i = 0; i < nlinks; i++) {
708 1.84 christos while (i + 1 < nlinks
709 1.84 christos && strcmp(links[i].l_linkname, links[i + 1].l_linkname) == 0)
710 1.84 christos i++;
711 1.84 christos links[j++] = links[i];
712 1.84 christos }
713 1.84 christos nlinks = pass_size = j;
714 1.84 christos
715 1.84 christos /* Walk through the link array making links. However,
716 1.84 christos if a link's target has not been made yet, append a copy to the
717 1.84 christos end of the array. The end of the array will gradually fill
718 1.84 christos up with a small sorted subsequence of not-yet-made links.
719 1.84 christos nalinks counts all the links in the array, including copies.
720 1.84 christos When we reach the copied subsequence, it may still contain
721 1.84 christos a link to a not-yet-made link, so the process repeats.
722 1.84 christos At any given point in time, the link array consists of the
723 1.84 christos following subregions, where 0 <= i <= j <= nalinks and
724 1.84 christos 0 <= nlinks <= nalinks:
725 1.84 christos
726 1.84 christos 0 .. (i - 1):
727 1.84 christos links that either have been made, or have been copied to a
728 1.84 christos later point point in the array (this later point can be in
729 1.84 christos any of the three subregions)
730 1.84 christos i .. (j - 1):
731 1.84 christos not-yet-made links for this pass
732 1.84 christos j .. (nalinks - 1):
733 1.84 christos not-yet-made links that this pass has skipped because
734 1.84 christos they were links to not-yet-made links
735 1.84 christos
736 1.84 christos The first subregion might not be sorted if nlinks < i;
737 1.84 christos the other two subregions are sorted. This algorithm does
738 1.84 christos not alter entries 0 .. (nlinks - 1), which remain sorted.
739 1.84 christos
740 1.84 christos If there are L links, this algorithm is O(C*L*log(L)) where
741 1.84 christos C is the length of the longest link chain. Usually C is
742 1.84 christos short (e.g., 3) though its worst-case value is L. */
743 1.84 christos
744 1.84 christos j = nalinks = nlinks;
745 1.84 christos
746 1.84 christos for (i = 0; i < nalinks; i++) {
747 1.84 christos struct link *l;
748 1.84 christos
749 1.84 christos eat(links[i].l_filenum, links[i].l_linenum);
750 1.84 christos
751 1.84 christos /* If this pass examined all its links, start the next pass. */
752 1.84 christos if (i == j) {
753 1.84 christos if (nalinks - i == pass_size) {
754 1.84 christos error(_("\"Link %s %s\" is part of a link cycle"),
755 1.84 christos links[i].l_target, links[i].l_linkname);
756 1.84 christos break;
757 1.84 christos }
758 1.84 christos j = nalinks;
759 1.84 christos pass_size = nalinks - i;
760 1.84 christos }
761 1.84 christos
762 1.84 christos /* Diagnose self links, which the cycle detection algorithm would not
763 1.84 christos otherwise catch. */
764 1.84 christos if (strcmp(links[i].l_target, links[i].l_linkname) == 0) {
765 1.84 christos error(_("link %s targets itself"), links[i].l_target);
766 1.84 christos continue;
767 1.84 christos }
768 1.84 christos
769 1.84 christos /* Make this link unless its target has not been made yet. */
770 1.84 christos l = bsearch(links[i].l_target, &links[i + 1], j - (i + 1),
771 1.84 christos sizeof *links, bsearch_linkcmp);
772 1.84 christos if (!l)
773 1.84 christos l = bsearch(links[i].l_target, &links[j], nalinks - j,
774 1.84 christos sizeof *links, bsearch_linkcmp);
775 1.84 christos if (!l)
776 1.84 christos dolink(links[i].l_target, links[i].l_linkname, false);
777 1.84 christos else {
778 1.84 christos /* The link target has not been made yet; copy the link to the end. */
779 1.84 christos links = growalloc(links, sizeof *links, nalinks, &nlinks_alloc);
780 1.84 christos links[nalinks++] = links[i];
781 1.84 christos }
782 1.84 christos
783 1.84 christos if (noise && i < nlinks) {
784 1.84 christos if (l)
785 1.84 christos warning(_("link %s targeting link %s mishandled by pre-2023 zic"),
786 1.84 christos links[i].l_linkname, links[i].l_target);
787 1.84 christos else if (bsearch(links[i].l_target, links, nlinks, sizeof *links,
788 1.84 christos bsearch_linkcmp))
789 1.84 christos warning(_("link %s targeting link %s"),
790 1.84 christos links[i].l_linkname, links[i].l_target);
791 1.84 christos }
792 1.84 christos }
793 1.84 christos }
794 1.84 christos
795 1.79 christos /* Simple signal handling: just set a flag that is checked
796 1.79 christos periodically outside critical sections. To set up the handler,
797 1.79 christos prefer sigaction if available to close a signal race. */
798 1.79 christos
799 1.79 christos static sig_atomic_t got_signal;
800 1.79 christos
801 1.79 christos static void
802 1.79 christos signal_handler(int sig)
803 1.79 christos {
804 1.79 christos #ifndef SA_SIGINFO
805 1.79 christos signal(sig, signal_handler);
806 1.79 christos #endif
807 1.79 christos got_signal = sig;
808 1.79 christos }
809 1.79 christos
810 1.79 christos /* Arrange for SIGINT etc. to be caught by the handler. */
811 1.79 christos static void
812 1.79 christos catch_signals(void)
813 1.79 christos {
814 1.79 christos static int const signals[] = {
815 1.79 christos #ifdef SIGHUP
816 1.79 christos SIGHUP,
817 1.79 christos #endif
818 1.79 christos SIGINT,
819 1.79 christos #ifdef SIGPIPE
820 1.79 christos SIGPIPE,
821 1.79 christos #endif
822 1.79 christos SIGTERM
823 1.79 christos };
824 1.79 christos size_t i;
825 1.79 christos for (i = 0; i < sizeof signals / sizeof signals[0]; i++) {
826 1.79 christos #ifdef SA_SIGINFO
827 1.79 christos struct sigaction act0, act;
828 1.79 christos act.sa_handler = signal_handler;
829 1.79 christos sigemptyset(&act.sa_mask);
830 1.79 christos act.sa_flags = 0;
831 1.79 christos if (sigaction(signals[i], &act, &act0) == 0
832 1.79 christos && ! (act0.sa_flags & SA_SIGINFO) && act0.sa_handler == SIG_IGN) {
833 1.79 christos sigaction(signals[i], &act0, NULL);
834 1.79 christos got_signal = 0;
835 1.79 christos }
836 1.79 christos #else
837 1.79 christos if (signal(signals[i], signal_handler) == SIG_IGN) {
838 1.79 christos signal(signals[i], SIG_IGN);
839 1.79 christos got_signal = 0;
840 1.79 christos }
841 1.79 christos #endif
842 1.79 christos }
843 1.79 christos }
844 1.79 christos
845 1.79 christos /* If a signal has arrived, terminate zic with appropriate status. */
846 1.79 christos static void
847 1.79 christos check_for_signal(void)
848 1.79 christos {
849 1.79 christos int sig = got_signal;
850 1.79 christos if (sig) {
851 1.79 christos signal(sig, SIG_DFL);
852 1.79 christos raise(sig);
853 1.79 christos abort(); /* A bug in 'raise'. */
854 1.79 christos }
855 1.79 christos }
856 1.79 christos
857 1.82 christos enum { TIME_T_BITS_IN_FILE = 64 };
858 1.74 christos
859 1.74 christos /* The minimum and maximum values representable in a TZif file. */
860 1.74 christos static zic_t const min_time = MINVAL(zic_t, TIME_T_BITS_IN_FILE);
861 1.74 christos static zic_t const max_time = MAXVAL(zic_t, TIME_T_BITS_IN_FILE);
862 1.74 christos
863 1.74 christos /* The minimum, and one less than the maximum, values specified by
864 1.74 christos the -r option. These default to MIN_TIME and MAX_TIME. */
865 1.74 christos static zic_t lo_time = MINVAL(zic_t, TIME_T_BITS_IN_FILE);
866 1.74 christos static zic_t hi_time = MAXVAL(zic_t, TIME_T_BITS_IN_FILE);
867 1.74 christos
868 1.82 christos /* The time specified by the -R option, defaulting to MIN_TIME. */
869 1.82 christos static zic_t redundant_time = MINVAL(zic_t, TIME_T_BITS_IN_FILE);
870 1.82 christos
871 1.76 christos /* The time specified by an Expires line, or negative if no such line. */
872 1.76 christos static zic_t leapexpires = -1;
873 1.76 christos
874 1.74 christos /* Set the time range of the output to TIMERANGE.
875 1.74 christos Return true if successful. */
876 1.74 christos static bool
877 1.74 christos timerange_option(char *timerange)
878 1.74 christos {
879 1.74 christos intmax_t lo = min_time, hi = max_time;
880 1.74 christos char *lo_end = timerange, *hi_end;
881 1.74 christos if (*timerange == '@') {
882 1.74 christos errno = 0;
883 1.79 christos lo = strtoimax(timerange + 1, &lo_end, 10);
884 1.74 christos if (lo_end == timerange + 1 || (lo == INTMAX_MAX && errno == ERANGE))
885 1.74 christos return false;
886 1.74 christos }
887 1.74 christos hi_end = lo_end;
888 1.74 christos if (lo_end[0] == '/' && lo_end[1] == '@') {
889 1.74 christos errno = 0;
890 1.79 christos hi = strtoimax(lo_end + 2, &hi_end, 10);
891 1.74 christos if (hi_end == lo_end + 2 || hi == INTMAX_MIN)
892 1.74 christos return false;
893 1.74 christos hi -= ! (hi == INTMAX_MAX && errno == ERANGE);
894 1.74 christos }
895 1.74 christos if (*hi_end || hi < lo || max_time < lo || hi < min_time)
896 1.74 christos return false;
897 1.82 christos lo_time = max(lo, min_time);
898 1.82 christos hi_time = min(hi, max_time);
899 1.74 christos return true;
900 1.74 christos }
901 1.74 christos
902 1.82 christos /* Generate redundant time stamps up to OPT. Return true if successful. */
903 1.82 christos static bool
904 1.82 christos redundant_time_option(char *opt)
905 1.82 christos {
906 1.82 christos if (*opt == '@') {
907 1.82 christos intmax_t redundant;
908 1.82 christos char *opt_end;
909 1.82 christos redundant = strtoimax(opt + 1, &opt_end, 10);
910 1.82 christos if (opt_end != opt + 1 && !*opt_end) {
911 1.82 christos redundant_time = max(redundant_time, redundant);
912 1.82 christos return true;
913 1.82 christos }
914 1.82 christos }
915 1.82 christos return false;
916 1.82 christos }
917 1.82 christos
918 1.1 jtc static const char * psxrules;
919 1.1 jtc static const char * lcltime;
920 1.1 jtc static const char * directory;
921 1.70 christos static const char * tzdefault;
922 1.1 jtc
923 1.75 christos /* -1 if the TZif output file should be slim, 0 if default, 1 if the
924 1.78 christos output should be fat for backward compatibility. ZIC_BLOAT_DEFAULT
925 1.78 christos determines the default. */
926 1.75 christos static int bloat;
927 1.75 christos
928 1.75 christos static bool
929 1.75 christos want_bloat(void)
930 1.75 christos {
931 1.75 christos return 0 <= bloat;
932 1.75 christos }
933 1.75 christos
934 1.75 christos #ifndef ZIC_BLOAT_DEFAULT
935 1.77 christos # define ZIC_BLOAT_DEFAULT "slim"
936 1.75 christos #endif
937 1.75 christos
938 1.1 jtc int
939 1.57 christos main(int argc, char **argv)
940 1.31 christos {
941 1.65 christos int c, k;
942 1.65 christos ptrdiff_t i, j;
943 1.74 christos bool timerange_given = false;
944 1.1 jtc
945 1.41 christos #ifdef S_IWGRP
946 1.57 christos umask(umask(S_IWGRP | S_IWOTH) | (S_IWGRP | S_IWOTH));
947 1.41 christos #endif
948 1.57 christos #if HAVE_GETTEXT
949 1.57 christos setlocale(LC_MESSAGES, "");
950 1.82 christos # ifdef TZ_DOMAINDIR
951 1.57 christos bindtextdomain(TZ_DOMAIN, TZ_DOMAINDIR);
952 1.82 christos # endif /* defined TEXTDOMAINDIR */
953 1.57 christos textdomain(TZ_DOMAIN);
954 1.25 mlelstv #endif /* HAVE_GETTEXT */
955 1.84 christos main_argv = argv;
956 1.1 jtc progname = argv[0];
957 1.25 mlelstv if (TYPE_BIT(zic_t) < 64) {
958 1.57 christos fprintf(stderr, "%s: %s\n", progname,
959 1.25 mlelstv _("wild compilation-time specification of zic_t"));
960 1.51 christos return EXIT_FAILURE;
961 1.25 mlelstv }
962 1.65 christos for (k = 1; k < argc; k++)
963 1.65 christos if (strcmp(argv[k], "--version") == 0) {
964 1.57 christos printf("zic %s%s\n", PKGVERSION, TZVERSION);
965 1.79 christos close_file(stdout, NULL, NULL, NULL);
966 1.51 christos return EXIT_SUCCESS;
967 1.65 christos } else if (strcmp(argv[k], "--help") == 0) {
968 1.25 mlelstv usage(stdout, EXIT_SUCCESS);
969 1.20 kleink }
970 1.82 christos while ((c = getopt(argc, argv, "b:d:l:L:p:r:R:st:vy:")) != EOF
971 1.82 christos && c != -1)
972 1.1 jtc switch (c) {
973 1.1 jtc default:
974 1.25 mlelstv usage(stderr, EXIT_FAILURE);
975 1.75 christos case 'b':
976 1.75 christos if (strcmp(optarg, "slim") == 0) {
977 1.75 christos if (0 < bloat)
978 1.75 christos error(_("incompatible -b options"));
979 1.75 christos bloat = -1;
980 1.75 christos } else if (strcmp(optarg, "fat") == 0) {
981 1.75 christos if (bloat < 0)
982 1.75 christos error(_("incompatible -b options"));
983 1.75 christos bloat = 1;
984 1.75 christos } else
985 1.75 christos error(_("invalid option: -b '%s'"), optarg);
986 1.75 christos break;
987 1.1 jtc case 'd':
988 1.1 jtc if (directory == NULL)
989 1.1 jtc directory = optarg;
990 1.1 jtc else {
991 1.51 christos fprintf(stderr,
992 1.5 jtc _("%s: More than one -d option specified\n"),
993 1.1 jtc progname);
994 1.51 christos return EXIT_FAILURE;
995 1.1 jtc }
996 1.1 jtc break;
997 1.1 jtc case 'l':
998 1.1 jtc if (lcltime == NULL)
999 1.1 jtc lcltime = optarg;
1000 1.1 jtc else {
1001 1.51 christos fprintf(stderr,
1002 1.5 jtc _("%s: More than one -l option specified\n"),
1003 1.1 jtc progname);
1004 1.51 christos return EXIT_FAILURE;
1005 1.1 jtc }
1006 1.1 jtc break;
1007 1.1 jtc case 'p':
1008 1.1 jtc if (psxrules == NULL)
1009 1.1 jtc psxrules = optarg;
1010 1.1 jtc else {
1011 1.51 christos fprintf(stderr,
1012 1.5 jtc _("%s: More than one -p option specified\n"),
1013 1.1 jtc progname);
1014 1.51 christos return EXIT_FAILURE;
1015 1.1 jtc }
1016 1.1 jtc break;
1017 1.70 christos case 't':
1018 1.70 christos if (tzdefault != NULL) {
1019 1.70 christos fprintf(stderr,
1020 1.70 christos _("%s: More than one -t option"
1021 1.70 christos " specified\n"),
1022 1.70 christos progname);
1023 1.70 christos return EXIT_FAILURE;
1024 1.70 christos }
1025 1.70 christos tzdefault = optarg;
1026 1.70 christos break;
1027 1.1 jtc case 'y':
1028 1.77 christos warning(_("-y ignored"));
1029 1.1 jtc break;
1030 1.1 jtc case 'L':
1031 1.1 jtc if (leapsec == NULL)
1032 1.1 jtc leapsec = optarg;
1033 1.1 jtc else {
1034 1.51 christos fprintf(stderr,
1035 1.5 jtc _("%s: More than one -L option specified\n"),
1036 1.1 jtc progname);
1037 1.51 christos return EXIT_FAILURE;
1038 1.1 jtc }
1039 1.1 jtc break;
1040 1.1 jtc case 'v':
1041 1.51 christos noise = true;
1042 1.1 jtc break;
1043 1.74 christos case 'r':
1044 1.74 christos if (timerange_given) {
1045 1.74 christos fprintf(stderr,
1046 1.74 christos _("%s: More than one -r option specified\n"),
1047 1.74 christos progname);
1048 1.74 christos return EXIT_FAILURE;
1049 1.74 christos }
1050 1.74 christos if (! timerange_option(optarg)) {
1051 1.74 christos fprintf(stderr,
1052 1.74 christos _("%s: invalid time range: %s\n"),
1053 1.74 christos progname, optarg);
1054 1.74 christos return EXIT_FAILURE;
1055 1.74 christos }
1056 1.74 christos timerange_given = true;
1057 1.74 christos break;
1058 1.82 christos case 'R':
1059 1.82 christos if (! redundant_time_option(optarg)) {
1060 1.82 christos fprintf(stderr, _("%s: invalid time: %s\n"),
1061 1.82 christos progname, optarg);
1062 1.82 christos return EXIT_FAILURE;
1063 1.82 christos }
1064 1.82 christos break;
1065 1.1 jtc case 's':
1066 1.54 christos warning(_("-s ignored"));
1067 1.1 jtc break;
1068 1.1 jtc }
1069 1.1 jtc if (optind == argc - 1 && strcmp(argv[optind], "=") == 0)
1070 1.25 mlelstv usage(stderr, EXIT_FAILURE); /* usage message by request */
1071 1.82 christos if (hi_time + (hi_time < ZIC_MAX) < redundant_time) {
1072 1.82 christos fprintf(stderr, _("%s: -R time exceeds -r cutoff\n"), progname);
1073 1.82 christos return EXIT_FAILURE;
1074 1.82 christos }
1075 1.78 christos if (bloat == 0) {
1076 1.78 christos static char const bloat_default[] = ZIC_BLOAT_DEFAULT;
1077 1.78 christos if (strcmp(bloat_default, "slim") == 0)
1078 1.78 christos bloat = -1;
1079 1.78 christos else if (strcmp(bloat_default, "fat") == 0)
1080 1.78 christos bloat = 1;
1081 1.78 christos else
1082 1.78 christos abort(); /* Configuration error. */
1083 1.78 christos }
1084 1.1 jtc if (directory == NULL)
1085 1.1 jtc directory = TZDIR;
1086 1.70 christos if (tzdefault == NULL)
1087 1.70 christos tzdefault = TZDEFAULT;
1088 1.1 jtc
1089 1.1 jtc if (optind < argc && leapsec != NULL) {
1090 1.84 christos infile(LEAPSEC_FILENUM, leapsec);
1091 1.1 jtc adjleap();
1092 1.1 jtc }
1093 1.1 jtc
1094 1.65 christos for (k = optind; k < argc; k++)
1095 1.84 christos infile(k, argv[k]);
1096 1.1 jtc if (errors)
1097 1.51 christos return EXIT_FAILURE;
1098 1.1 jtc associate();
1099 1.63 christos change_directory(directory);
1100 1.79 christos catch_signals();
1101 1.1 jtc for (i = 0; i < nzones; i = j) {
1102 1.1 jtc /*
1103 1.1 jtc ** Find the next non-continuation zone entry.
1104 1.1 jtc */
1105 1.1 jtc for (j = i + 1; j < nzones && zones[j].z_name == NULL; ++j)
1106 1.1 jtc continue;
1107 1.1 jtc outzone(&zones[i], j - i);
1108 1.1 jtc }
1109 1.84 christos make_links();
1110 1.15 kleink if (lcltime != NULL) {
1111 1.84 christos eat(COMMAND_LINE_FILENUM, 1);
1112 1.70 christos dolink(lcltime, tzdefault, true);
1113 1.15 kleink }
1114 1.15 kleink if (psxrules != NULL) {
1115 1.84 christos eat(COMMAND_LINE_FILENUM, 1);
1116 1.63 christos dolink(psxrules, TZDEFRULES, true);
1117 1.15 kleink }
1118 1.51 christos if (warnings && (ferror(stderr) || fclose(stderr) != 0))
1119 1.51 christos return EXIT_FAILURE;
1120 1.51 christos return errors ? EXIT_FAILURE : EXIT_SUCCESS;
1121 1.1 jtc }
1122 1.1 jtc
1123 1.54 christos static bool
1124 1.47 christos componentcheck(char const *name, char const *component,
1125 1.47 christos char const *component_end)
1126 1.47 christos {
1127 1.47 christos enum { component_len_max = 14 };
1128 1.65 christos ptrdiff_t component_len = component_end - component;
1129 1.53 christos if (component_len == 0) {
1130 1.54 christos if (!*name)
1131 1.79 christos error(_("empty file name"));
1132 1.54 christos else
1133 1.79 christos error(_(component == name
1134 1.54 christos ? "file name '%s' begins with '/'"
1135 1.54 christos : *component_end
1136 1.54 christos ? "file name '%s' contains '//'"
1137 1.54 christos : "file name '%s' ends with '/'"),
1138 1.54 christos name);
1139 1.54 christos return false;
1140 1.53 christos }
1141 1.47 christos if (0 < component_len && component_len <= 2
1142 1.47 christos && component[0] == '.' && component_end[-1] == '.') {
1143 1.65 christos int len = component_len;
1144 1.54 christos error(_("file name '%s' contains '%.*s' component"),
1145 1.65 christos name, len, component);
1146 1.54 christos return false;
1147 1.54 christos }
1148 1.54 christos if (noise) {
1149 1.54 christos if (0 < component_len && component[0] == '-')
1150 1.54 christos warning(_("file name '%s' component contains leading '-'"),
1151 1.54 christos name);
1152 1.54 christos if (component_len_max < component_len)
1153 1.54 christos warning(_("file name '%s' contains overlength component"
1154 1.54 christos " '%.*s...'"),
1155 1.54 christos name, component_len_max, component);
1156 1.47 christos }
1157 1.54 christos return true;
1158 1.47 christos }
1159 1.47 christos
1160 1.54 christos static bool
1161 1.47 christos namecheck(const char *name)
1162 1.47 christos {
1163 1.47 christos char const *cp;
1164 1.47 christos
1165 1.47 christos /* Benign characters in a portable file name. */
1166 1.47 christos static char const benign[] =
1167 1.47 christos "-/_"
1168 1.47 christos "abcdefghijklmnopqrstuvwxyz"
1169 1.47 christos "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
1170 1.47 christos
1171 1.47 christos /* Non-control chars in the POSIX portable character set,
1172 1.47 christos excluding the benign characters. */
1173 1.47 christos static char const printable_and_not_benign[] =
1174 1.47 christos " !\"#$%&'()*+,.0123456789:;<=>?@[\\]^`{|}~";
1175 1.47 christos
1176 1.47 christos char const *component = name;
1177 1.47 christos for (cp = name; *cp; cp++) {
1178 1.47 christos unsigned char c = *cp;
1179 1.47 christos if (noise && !strchr(benign, c)) {
1180 1.47 christos warning((strchr(printable_and_not_benign, c)
1181 1.47 christos ? _("file name '%s' contains byte '%c'")
1182 1.47 christos : _("file name '%s' contains byte '\\%o'")),
1183 1.47 christos name, c);
1184 1.47 christos }
1185 1.47 christos if (c == '/') {
1186 1.54 christos if (!componentcheck(name, component, cp))
1187 1.54 christos return false;
1188 1.47 christos component = cp + 1;
1189 1.47 christos }
1190 1.47 christos }
1191 1.54 christos return componentcheck(name, component, cp);
1192 1.47 christos }
1193 1.47 christos
1194 1.84 christos /* Return a random uint_fast64_t. */
1195 1.84 christos static uint_fast64_t
1196 1.84 christos get_rand_u64(void)
1197 1.84 christos {
1198 1.84 christos #if HAVE_GETRANDOM
1199 1.84 christos static uint_fast64_t entropy_buffer[max(1, 256 / sizeof(uint_fast64_t))];
1200 1.84 christos static int nwords;
1201 1.84 christos if (!nwords) {
1202 1.84 christos ssize_t s;
1203 1.84 christos do
1204 1.84 christos s = getrandom(entropy_buffer, sizeof entropy_buffer, 0);
1205 1.84 christos while (s < 0 && errno == EINTR);
1206 1.84 christos
1207 1.85 christos if (s < 0)
1208 1.85 christos nwords = -1;
1209 1.85 christos else
1210 1.85 christos nwords = s / sizeof *entropy_buffer;
1211 1.84 christos }
1212 1.84 christos if (0 < nwords)
1213 1.84 christos return entropy_buffer[--nwords];
1214 1.84 christos #endif
1215 1.84 christos
1216 1.84 christos /* getrandom didn't work, so fall back on portable code that is
1217 1.84 christos not the best because the seed doesn't necessarily have enough bits,
1218 1.84 christos the seed isn't cryptographically random on platforms lacking
1219 1.84 christos getrandom, and 'rand' might not be cryptographically secure. */
1220 1.84 christos {
1221 1.84 christos static bool initialized;
1222 1.84 christos if (!initialized) {
1223 1.84 christos unsigned seed;
1224 1.84 christos #ifdef CLOCK_REALTIME
1225 1.84 christos struct timespec now;
1226 1.84 christos clock_gettime (CLOCK_REALTIME, &now);
1227 1.84 christos seed = now.tv_sec ^ now.tv_nsec;
1228 1.84 christos #else
1229 1.84 christos seed = time(NULL);
1230 1.84 christos #endif
1231 1.84 christos srand(seed);
1232 1.84 christos initialized = true;
1233 1.84 christos }
1234 1.84 christos }
1235 1.84 christos
1236 1.84 christos /* Return a random number if rand() yields a random number and in
1237 1.84 christos the typical case where RAND_MAX is one less than a power of two.
1238 1.84 christos In other cases this code yields a sort-of-random number. */
1239 1.84 christos {
1240 1.84 christos uint_fast64_t
1241 1.84 christos rand_max = RAND_MAX,
1242 1.84 christos multiplier = rand_max + 1, /* It's OK if this overflows to 0. */
1243 1.84 christos r = 0, rmax = 0;
1244 1.84 christos do {
1245 1.84 christos uint_fast64_t rmax1 = rmax * multiplier + rand_max;
1246 1.84 christos r = r * multiplier + rand();
1247 1.84 christos rmax = rmax < rmax1 ? rmax1 : UINT_FAST64_MAX;
1248 1.84 christos } while (rmax < UINT_FAST64_MAX);
1249 1.84 christos
1250 1.84 christos return r;
1251 1.84 christos }
1252 1.84 christos }
1253 1.84 christos
1254 1.79 christos /* Generate a randomish name in the same directory as *NAME. If
1255 1.79 christos *NAMEALLOC, put the name into *NAMEALLOC which is assumed to be
1256 1.79 christos that returned by a previous call and is thus already almost set up
1257 1.79 christos and equal to *NAME; otherwise, allocate a new name and put its
1258 1.79 christos address into both *NAMEALLOC and *NAME. */
1259 1.79 christos static void
1260 1.79 christos random_dirent(char const **name, char **namealloc)
1261 1.79 christos {
1262 1.79 christos char const *src = *name;
1263 1.79 christos char *dst = *namealloc;
1264 1.79 christos static char const prefix[] = ".zic";
1265 1.81 christos static char const alphabet[] =
1266 1.81 christos "abcdefghijklmnopqrstuvwxyz"
1267 1.81 christos "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
1268 1.81 christos "0123456789";
1269 1.79 christos enum { prefixlen = sizeof prefix - 1, alphabetlen = sizeof alphabet - 1 };
1270 1.79 christos int suffixlen = 6;
1271 1.79 christos char const *lastslash = strrchr(src, '/');
1272 1.79 christos ptrdiff_t dirlen = lastslash ? lastslash + 1 - src : 0;
1273 1.79 christos int i;
1274 1.84 christos uint_fast64_t r;
1275 1.84 christos uint_fast64_t base = alphabetlen;
1276 1.84 christos
1277 1.84 christos /* BASE**6 */
1278 1.84 christos uint_fast64_t base__6 = base * base * base * base * base * base;
1279 1.84 christos
1280 1.84 christos /* The largest uintmax_t that is a multiple of BASE**6. Any random
1281 1.84 christos uintmax_t value that is this value or greater, yields a biased
1282 1.84 christos remainder when divided by BASE**6. UNFAIR_MIN equals the
1283 1.84 christos mathematical value of ((UINTMAX_MAX + 1) - (UINTMAX_MAX + 1) % BASE**6)
1284 1.84 christos computed without overflow. */
1285 1.84 christos uint_fast64_t unfair_min = - ((UINTMAX_MAX % base__6 + 1) % base__6);
1286 1.79 christos
1287 1.79 christos if (!dst) {
1288 1.79 christos dst = emalloc(dirlen + prefixlen + suffixlen + 1);
1289 1.79 christos memcpy(dst, src, dirlen);
1290 1.79 christos memcpy(dst + dirlen, prefix, prefixlen);
1291 1.79 christos dst[dirlen + prefixlen + suffixlen] = '\0';
1292 1.79 christos *name = *namealloc = dst;
1293 1.79 christos }
1294 1.79 christos
1295 1.84 christos do
1296 1.84 christos r = get_rand_u64();
1297 1.84 christos while (unfair_min <= r);
1298 1.84 christos
1299 1.84 christos for (i = 0; i < suffixlen; i++) {
1300 1.84 christos dst[dirlen + prefixlen + i] = alphabet[r % alphabetlen];
1301 1.84 christos r /= alphabetlen;
1302 1.79 christos }
1303 1.79 christos }
1304 1.79 christos
1305 1.79 christos /* Prepare to write to the file *OUTNAME, using *TEMPNAME to store the
1306 1.79 christos name of the temporary file that will eventually be renamed to
1307 1.79 christos *OUTNAME. Assign the temporary file's name to both *OUTNAME and
1308 1.79 christos *TEMPNAME. If *TEMPNAME is null, allocate the name of any such
1309 1.79 christos temporary file; otherwise, reuse *TEMPNAME's storage, which is
1310 1.79 christos already set up and only needs its trailing suffix updated. */
1311 1.79 christos static FILE *
1312 1.79 christos open_outfile(char const **outname, char **tempname)
1313 1.79 christos {
1314 1.79 christos #if __STDC_VERSION__ < 201112
1315 1.79 christos static char const fopen_mode[] = "wb";
1316 1.79 christos #else
1317 1.79 christos static char const fopen_mode[] = "wbx";
1318 1.79 christos #endif
1319 1.79 christos
1320 1.79 christos FILE *fp;
1321 1.79 christos bool dirs_made = false;
1322 1.79 christos if (!*tempname)
1323 1.79 christos random_dirent(outname, tempname);
1324 1.79 christos
1325 1.79 christos while (! (fp = fopen(*outname, fopen_mode))) {
1326 1.79 christos int fopen_errno = errno;
1327 1.79 christos if (fopen_errno == ENOENT && !dirs_made) {
1328 1.79 christos mkdirs(*outname, true);
1329 1.79 christos dirs_made = true;
1330 1.79 christos } else if (fopen_errno == EEXIST)
1331 1.79 christos random_dirent(outname, tempname);
1332 1.79 christos else {
1333 1.79 christos fprintf(stderr, _("%s: Can't create %s/%s: %s\n"),
1334 1.79 christos progname, directory, *outname, strerror(fopen_errno));
1335 1.79 christos exit(EXIT_FAILURE);
1336 1.79 christos }
1337 1.79 christos }
1338 1.79 christos
1339 1.79 christos return fp;
1340 1.79 christos }
1341 1.79 christos
1342 1.79 christos /* If TEMPNAME, the result is in the temporary file TEMPNAME even
1343 1.79 christos though the user wanted it in NAME, so rename TEMPNAME to NAME.
1344 1.79 christos Report an error and exit if there is trouble. Also, free TEMPNAME. */
1345 1.79 christos static void
1346 1.79 christos rename_dest(char *tempname, char const *name)
1347 1.79 christos {
1348 1.79 christos if (tempname) {
1349 1.79 christos if (rename(tempname, name) != 0) {
1350 1.79 christos int rename_errno = errno;
1351 1.79 christos remove(tempname);
1352 1.79 christos fprintf(stderr, _("%s: rename to %s/%s: %s\n"),
1353 1.79 christos progname, directory, name, strerror(rename_errno));
1354 1.79 christos exit(EXIT_FAILURE);
1355 1.79 christos }
1356 1.79 christos free(tempname);
1357 1.79 christos }
1358 1.79 christos }
1359 1.79 christos
1360 1.64 kre /* Create symlink contents suitable for symlinking FROM to TO, as a
1361 1.64 kre freshly allocated string. FROM should be a relative file name, and
1362 1.64 kre is relative to the global variable DIRECTORY. TO can be either
1363 1.64 kre relative or absolute. */
1364 1.64 kre static char *
1365 1.77 christos relname(char const *target, char const *linkname)
1366 1.64 kre {
1367 1.64 kre size_t i, taillen, dotdotetcsize;
1368 1.64 kre size_t dir_len = 0, dotdots = 0, linksize = SIZE_MAX;
1369 1.77 christos char const *f = target;
1370 1.64 kre char *result = NULL;
1371 1.77 christos if (*linkname == '/') {
1372 1.64 kre /* Make F absolute too. */
1373 1.64 kre size_t len = strlen(directory);
1374 1.64 kre bool needslash = len && directory[len - 1] != '/';
1375 1.77 christos linksize = len + needslash + strlen(target) + 1;
1376 1.64 kre f = result = emalloc(linksize);
1377 1.64 kre strcpy(result, directory);
1378 1.64 kre result[len] = '/';
1379 1.77 christos strcpy(result + len + needslash, target);
1380 1.64 kre }
1381 1.77 christos for (i = 0; f[i] && f[i] == linkname[i]; i++)
1382 1.64 kre if (f[i] == '/')
1383 1.64 kre dir_len = i + 1;
1384 1.77 christos for (; linkname[i]; i++)
1385 1.77 christos dotdots += linkname[i] == '/' && linkname[i - 1] != '/';
1386 1.68 christos taillen = strlen(f + dir_len);
1387 1.64 kre dotdotetcsize = 3 * dotdots + taillen + 1;
1388 1.64 kre if (dotdotetcsize <= linksize) {
1389 1.64 kre if (!result)
1390 1.64 kre result = emalloc(dotdotetcsize);
1391 1.64 kre for (i = 0; i < dotdots; i++)
1392 1.64 kre memcpy(result + 3 * i, "../", 3);
1393 1.64 kre memmove(result + 3 * dotdots, f + dir_len, taillen + 1);
1394 1.64 kre }
1395 1.64 kre return result;
1396 1.64 kre }
1397 1.64 kre
1398 1.47 christos static void
1399 1.77 christos dolink(char const *target, char const *linkname, bool staysymlink)
1400 1.1 jtc {
1401 1.77 christos bool linkdirs_made = false;
1402 1.63 christos int link_errno;
1403 1.79 christos char *tempname = NULL;
1404 1.79 christos char const *outname = linkname;
1405 1.79 christos
1406 1.79 christos check_for_signal();
1407 1.1 jtc
1408 1.79 christos if (strcmp(target, "-") == 0) {
1409 1.79 christos if (remove(linkname) == 0 || errno == ENOENT || errno == ENOTDIR)
1410 1.79 christos return;
1411 1.79 christos else {
1412 1.79 christos char const *e = strerror(errno);
1413 1.79 christos fprintf(stderr, _("%s: Can't remove %s/%s: %s\n"),
1414 1.79 christos progname, directory, linkname, e);
1415 1.79 christos exit(EXIT_FAILURE);
1416 1.79 christos }
1417 1.47 christos }
1418 1.79 christos
1419 1.79 christos while (true) {
1420 1.79 christos if (linkat(AT_FDCWD, target, AT_FDCWD, outname, AT_SYMLINK_FOLLOW)
1421 1.79 christos == 0) {
1422 1.79 christos link_errno = 0;
1423 1.79 christos break;
1424 1.79 christos }
1425 1.79 christos link_errno = errno;
1426 1.79 christos if (link_errno == EXDEV || link_errno == ENOTSUP)
1427 1.79 christos break;
1428 1.79 christos
1429 1.79 christos if (link_errno == EEXIST) {
1430 1.79 christos staysymlink &= !tempname;
1431 1.79 christos random_dirent(&outname, &tempname);
1432 1.79 christos if (staysymlink && itssymlink(linkname))
1433 1.79 christos break;
1434 1.79 christos } else if (link_errno == ENOENT && !linkdirs_made) {
1435 1.79 christos mkdirs(linkname, true);
1436 1.79 christos linkdirs_made = true;
1437 1.79 christos } else {
1438 1.79 christos fprintf(stderr, _("%s: Can't link %s/%s to %s/%s: %s\n"),
1439 1.79 christos progname, directory, target, directory, outname,
1440 1.79 christos strerror(link_errno));
1441 1.79 christos exit(EXIT_FAILURE);
1442 1.79 christos }
1443 1.63 christos }
1444 1.63 christos if (link_errno != 0) {
1445 1.77 christos bool absolute = *target == '/';
1446 1.77 christos char *linkalloc = absolute ? NULL : relname(target, linkname);
1447 1.77 christos char const *contents = absolute ? target : linkalloc;
1448 1.79 christos int symlink_errno;
1449 1.79 christos
1450 1.79 christos while (true) {
1451 1.79 christos if (symlink(contents, outname) == 0) {
1452 1.79 christos symlink_errno = 0;
1453 1.79 christos break;
1454 1.79 christos }
1455 1.79 christos symlink_errno = errno;
1456 1.79 christos if (symlink_errno == EEXIST)
1457 1.79 christos random_dirent(&outname, &tempname);
1458 1.79 christos else if (symlink_errno == ENOENT && !linkdirs_made) {
1459 1.79 christos mkdirs(linkname, true);
1460 1.79 christos linkdirs_made = true;
1461 1.79 christos } else
1462 1.79 christos break;
1463 1.63 christos }
1464 1.64 kre free(linkalloc);
1465 1.63 christos if (symlink_errno == 0) {
1466 1.79 christos if (link_errno != ENOTSUP && link_errno != EEXIST)
1467 1.63 christos warning(_("symbolic link used because hard link failed: %s"),
1468 1.63 christos strerror(link_errno));
1469 1.63 christos } else {
1470 1.63 christos FILE *fp, *tp;
1471 1.63 christos int c;
1472 1.77 christos fp = fopen(target, "rb");
1473 1.63 christos if (!fp) {
1474 1.63 christos char const *e = strerror(errno);
1475 1.63 christos fprintf(stderr, _("%s: Can't read %s/%s: %s\n"),
1476 1.77 christos progname, directory, target, e);
1477 1.63 christos exit(EXIT_FAILURE);
1478 1.63 christos }
1479 1.79 christos tp = open_outfile(&outname, &tempname);
1480 1.63 christos while ((c = getc(fp)) != EOF)
1481 1.63 christos putc(c, tp);
1482 1.79 christos close_file(tp, directory, linkname, tempname);
1483 1.79 christos close_file(fp, directory, target, NULL);
1484 1.63 christos if (link_errno != ENOTSUP)
1485 1.63 christos warning(_("copy used because hard link failed: %s"),
1486 1.63 christos strerror(link_errno));
1487 1.63 christos else if (symlink_errno != ENOTSUP)
1488 1.63 christos warning(_("copy used because symbolic link failed: %s"),
1489 1.63 christos strerror(symlink_errno));
1490 1.57 christos }
1491 1.1 jtc }
1492 1.79 christos rename_dest(tempname, linkname);
1493 1.68 christos }
1494 1.68 christos
1495 1.68 christos /* Return true if NAME is a symbolic link. */
1496 1.68 christos static bool
1497 1.68 christos itssymlink(char const *name)
1498 1.68 christos {
1499 1.68 christos char c;
1500 1.68 christos return 0 <= readlink(name, &c, 1);
1501 1.1 jtc }
1502 1.1 jtc
1503 1.1 jtc /*
1504 1.1 jtc ** Associate sets of rules with zones.
1505 1.1 jtc */
1506 1.1 jtc
1507 1.1 jtc /*
1508 1.1 jtc ** Sort by rule name.
1509 1.1 jtc */
1510 1.1 jtc
1511 1.1 jtc static int
1512 1.31 christos rcomp(const void *cp1, const void *cp2)
1513 1.1 jtc {
1514 1.79 christos struct rule const *r1 = cp1, *r2 = cp2;
1515 1.79 christos return strcmp(r1->r_name, r2->r_name);
1516 1.1 jtc }
1517 1.1 jtc
1518 1.1 jtc static void
1519 1.25 mlelstv associate(void)
1520 1.1 jtc {
1521 1.31 christos struct zone * zp;
1522 1.31 christos struct rule * rp;
1523 1.75 christos ptrdiff_t i, j, base, out;
1524 1.1 jtc
1525 1.84 christos if (1 < nrules) {
1526 1.57 christos qsort(rules, (size_t)nrules, sizeof *rules, rcomp);
1527 1.5 jtc for (i = 0; i < nrules - 1; ++i) {
1528 1.5 jtc if (strcmp(rules[i].r_name,
1529 1.5 jtc rules[i + 1].r_name) != 0)
1530 1.5 jtc continue;
1531 1.84 christos if (rules[i].r_filenum == rules[i + 1].r_filenum)
1532 1.5 jtc continue;
1533 1.84 christos eat(rules[i].r_filenum, rules[i].r_linenum);
1534 1.5 jtc warning(_("same rule name in multiple files"));
1535 1.84 christos eat(rules[i + 1].r_filenum, rules[i + 1].r_linenum);
1536 1.5 jtc warning(_("same rule name in multiple files"));
1537 1.5 jtc for (j = i + 2; j < nrules; ++j) {
1538 1.5 jtc if (strcmp(rules[i].r_name,
1539 1.5 jtc rules[j].r_name) != 0)
1540 1.5 jtc break;
1541 1.84 christos if (rules[i].r_filenum == rules[j].r_filenum)
1542 1.5 jtc continue;
1543 1.84 christos if (rules[i + 1].r_filenum
1544 1.84 christos == rules[j].r_filenum)
1545 1.5 jtc continue;
1546 1.5 jtc break;
1547 1.5 jtc }
1548 1.5 jtc i = j - 1;
1549 1.5 jtc }
1550 1.5 jtc }
1551 1.1 jtc for (i = 0; i < nzones; ++i) {
1552 1.1 jtc zp = &zones[i];
1553 1.1 jtc zp->z_rules = NULL;
1554 1.1 jtc zp->z_nrules = 0;
1555 1.1 jtc }
1556 1.1 jtc for (base = 0; base < nrules; base = out) {
1557 1.1 jtc rp = &rules[base];
1558 1.1 jtc for (out = base + 1; out < nrules; ++out)
1559 1.1 jtc if (strcmp(rp->r_name, rules[out].r_name) != 0)
1560 1.1 jtc break;
1561 1.1 jtc for (i = 0; i < nzones; ++i) {
1562 1.1 jtc zp = &zones[i];
1563 1.1 jtc if (strcmp(zp->z_rule, rp->r_name) != 0)
1564 1.1 jtc continue;
1565 1.1 jtc zp->z_rules = rp;
1566 1.1 jtc zp->z_nrules = out - base;
1567 1.1 jtc }
1568 1.1 jtc }
1569 1.1 jtc for (i = 0; i < nzones; ++i) {
1570 1.1 jtc zp = &zones[i];
1571 1.1 jtc if (zp->z_nrules == 0) {
1572 1.1 jtc /*
1573 1.1 jtc ** Maybe we have a local standard time offset.
1574 1.1 jtc */
1575 1.84 christos eat(zp->z_filenum, zp->z_linenum);
1576 1.75 christos zp->z_save = getsave(zp->z_rule, &zp->z_isdst);
1577 1.1 jtc /*
1578 1.1 jtc ** Note, though, that if there's no rule,
1579 1.1 jtc ** a '%s' in the format is a bad thing.
1580 1.1 jtc */
1581 1.55 christos if (zp->z_format_specifier == 's')
1582 1.43 christos error("%s", _("%s in ruleless zone"));
1583 1.1 jtc }
1584 1.1 jtc }
1585 1.1 jtc if (errors)
1586 1.25 mlelstv exit(EXIT_FAILURE);
1587 1.1 jtc }
1588 1.1 jtc
1589 1.82 christos /* Read a text line from FP into BUF, which is of size BUFSIZE.
1590 1.82 christos Terminate it with a NUL byte instead of a newline.
1591 1.82 christos Return the line's length, not counting the NUL byte.
1592 1.82 christos On EOF, return a negative number.
1593 1.82 christos On error, report the error and exit. */
1594 1.82 christos static ptrdiff_t
1595 1.82 christos inputline(FILE *fp, char *buf, ptrdiff_t bufsize)
1596 1.82 christos {
1597 1.82 christos ptrdiff_t linelen = 0, ch;
1598 1.82 christos while ((ch = getc(fp)) != '\n') {
1599 1.82 christos if (ch < 0) {
1600 1.82 christos if (ferror(fp)) {
1601 1.82 christos error(_("input error"));
1602 1.82 christos exit(EXIT_FAILURE);
1603 1.82 christos }
1604 1.82 christos if (linelen == 0)
1605 1.82 christos return -1;
1606 1.82 christos error(_("unterminated line"));
1607 1.82 christos exit(EXIT_FAILURE);
1608 1.82 christos }
1609 1.82 christos if (!ch) {
1610 1.82 christos error(_("NUL input byte"));
1611 1.82 christos exit(EXIT_FAILURE);
1612 1.82 christos }
1613 1.82 christos buf[linelen++] = ch;
1614 1.82 christos if (linelen == bufsize) {
1615 1.82 christos error(_("line too long"));
1616 1.82 christos exit(EXIT_FAILURE);
1617 1.82 christos }
1618 1.82 christos }
1619 1.82 christos buf[linelen] = '\0';
1620 1.82 christos return linelen;
1621 1.82 christos }
1622 1.82 christos
1623 1.1 jtc static void
1624 1.84 christos infile(int fnum, char const *name)
1625 1.1 jtc {
1626 1.31 christos FILE * fp;
1627 1.31 christos const struct lookup * lp;
1628 1.51 christos bool wantcont;
1629 1.65 christos lineno num;
1630 1.1 jtc
1631 1.1 jtc if (strcmp(name, "-") == 0) {
1632 1.1 jtc fp = stdin;
1633 1.1 jtc } else if ((fp = fopen(name, "r")) == NULL) {
1634 1.5 jtc const char *e = strerror(errno);
1635 1.7 jtc
1636 1.51 christos fprintf(stderr, _("%s: Can't open %s: %s\n"),
1637 1.5 jtc progname, name, e);
1638 1.25 mlelstv exit(EXIT_FAILURE);
1639 1.1 jtc }
1640 1.51 christos wantcont = false;
1641 1.1 jtc for (num = 1; ; ++num) {
1642 1.82 christos ptrdiff_t linelen;
1643 1.82 christos char buf[_POSIX2_LINE_MAX];
1644 1.82 christos int nfields;
1645 1.82 christos char *fields[MAX_FIELDS];
1646 1.84 christos eat(fnum, num);
1647 1.82 christos linelen = inputline(fp, buf, sizeof buf);
1648 1.82 christos if (linelen < 0)
1649 1.82 christos break;
1650 1.82 christos nfields = getfields(buf, fields,
1651 1.82 christos sizeof fields / sizeof *fields);
1652 1.1 jtc if (nfields == 0) {
1653 1.79 christos /* nothing to do */
1654 1.1 jtc } else if (wantcont) {
1655 1.1 jtc wantcont = inzcont(fields, nfields);
1656 1.1 jtc } else {
1657 1.69 christos struct lookup const *line_codes
1658 1.84 christos = fnum < 0 ? leap_line_codes : zi_line_codes;
1659 1.1 jtc lp = byword(fields[0], line_codes);
1660 1.1 jtc if (lp == NULL)
1661 1.5 jtc error(_("input line of unknown type"));
1662 1.65 christos else switch (lp->l_value) {
1663 1.1 jtc case LC_RULE:
1664 1.1 jtc inrule(fields, nfields);
1665 1.51 christos wantcont = false;
1666 1.1 jtc break;
1667 1.1 jtc case LC_ZONE:
1668 1.1 jtc wantcont = inzone(fields, nfields);
1669 1.1 jtc break;
1670 1.1 jtc case LC_LINK:
1671 1.1 jtc inlink(fields, nfields);
1672 1.51 christos wantcont = false;
1673 1.1 jtc break;
1674 1.1 jtc case LC_LEAP:
1675 1.69 christos inleap(fields, nfields);
1676 1.51 christos wantcont = false;
1677 1.1 jtc break;
1678 1.76 christos case LC_EXPIRES:
1679 1.76 christos inexpires(fields, nfields);
1680 1.76 christos wantcont = false;
1681 1.76 christos break;
1682 1.84 christos default: unreachable();
1683 1.1 jtc }
1684 1.1 jtc }
1685 1.1 jtc }
1686 1.84 christos close_file(fp, NULL, filename(fnum), NULL);
1687 1.1 jtc if (wantcont)
1688 1.5 jtc error(_("expected continuation line not found"));
1689 1.1 jtc }
1690 1.1 jtc
1691 1.1 jtc /*
1692 1.1 jtc ** Convert a string of one of the forms
1693 1.1 jtc ** h -h hh:mm -hh:mm hh:mm:ss -hh:mm:ss
1694 1.1 jtc ** into a number of seconds.
1695 1.1 jtc ** A null string maps to zero.
1696 1.1 jtc ** Call error with errstring and return zero on errors.
1697 1.1 jtc */
1698 1.1 jtc
1699 1.38 christos static zic_t
1700 1.74 christos gethms(char const *string, char const *errstring)
1701 1.1 jtc {
1702 1.38 christos zic_t hh;
1703 1.71 christos int sign, mm = 0, ss = 0;
1704 1.71 christos char hhx, mmx, ssx, xr = '0', xs;
1705 1.71 christos int tenths = 0;
1706 1.71 christos bool ok = true;
1707 1.1 jtc
1708 1.1 jtc if (string == NULL || *string == '\0')
1709 1.1 jtc return 0;
1710 1.74 christos if (*string == '-') {
1711 1.1 jtc sign = -1;
1712 1.1 jtc ++string;
1713 1.1 jtc } else sign = 1;
1714 1.71 christos switch (sscanf(string,
1715 1.71 christos "%"SCNdZIC"%c%d%c%d%c%1d%*[0]%c%*[0123456789]%c",
1716 1.71 christos &hh, &hhx, &mm, &mmx, &ss, &ssx, &tenths, &xr, &xs)) {
1717 1.71 christos default: ok = false; break;
1718 1.71 christos case 8:
1719 1.71 christos ok = '0' <= xr && xr <= '9';
1720 1.71 christos /* fallthrough */
1721 1.71 christos case 7:
1722 1.71 christos ok &= ssx == '.';
1723 1.71 christos if (ok && noise)
1724 1.71 christos warning(_("fractional seconds rejected by"
1725 1.71 christos " pre-2018 versions of zic"));
1726 1.71 christos /* fallthrough */
1727 1.71 christos case 5: ok &= mmx == ':'; /* fallthrough */
1728 1.71 christos case 3: ok &= hhx == ':'; /* fallthrough */
1729 1.71 christos case 1: break;
1730 1.71 christos }
1731 1.71 christos if (!ok) {
1732 1.43 christos error("%s", errstring);
1733 1.1 jtc return 0;
1734 1.1 jtc }
1735 1.25 mlelstv if (hh < 0 ||
1736 1.1 jtc mm < 0 || mm >= MINSPERHOUR ||
1737 1.25 mlelstv ss < 0 || ss > SECSPERMIN) {
1738 1.43 christos error("%s", errstring);
1739 1.1 jtc return 0;
1740 1.1 jtc }
1741 1.41 christos if (ZIC_MAX / SECSPERHOUR < hh) {
1742 1.25 mlelstv error(_("time overflow"));
1743 1.25 mlelstv return 0;
1744 1.25 mlelstv }
1745 1.71 christos ss += 5 + ((ss ^ 1) & (xr == '0')) <= tenths; /* Round to even. */
1746 1.25 mlelstv if (noise && (hh > HOURSPERDAY ||
1747 1.25 mlelstv (hh == HOURSPERDAY && (mm != 0 || ss != 0))))
1748 1.25 mlelstv warning(_("values over 24 hours not handled by pre-2007 versions of zic"));
1749 1.41 christos return oadd(sign * hh * SECSPERHOUR,
1750 1.41 christos sign * (mm * SECSPERMIN + ss));
1751 1.1 jtc }
1752 1.1 jtc
1753 1.71 christos static zic_t
1754 1.75 christos getsave(char *field, bool *isdst)
1755 1.71 christos {
1756 1.71 christos int dst = -1;
1757 1.75 christos zic_t save;
1758 1.71 christos size_t fieldlen = strlen(field);
1759 1.71 christos if (fieldlen != 0) {
1760 1.71 christos char *ep = field + fieldlen - 1;
1761 1.71 christos switch (*ep) {
1762 1.71 christos case 'd': dst = 1; *ep = '\0'; break;
1763 1.71 christos case 's': dst = 0; *ep = '\0'; break;
1764 1.71 christos }
1765 1.71 christos }
1766 1.75 christos save = gethms(field, _("invalid saved time"));
1767 1.75 christos *isdst = dst < 0 ? save != 0 : dst;
1768 1.75 christos return save;
1769 1.71 christos }
1770 1.71 christos
1771 1.1 jtc static void
1772 1.55 christos inrule(char **fields, int nfields)
1773 1.1 jtc {
1774 1.79 christos struct rule r;
1775 1.1 jtc
1776 1.1 jtc if (nfields != RULE_FIELDS) {
1777 1.5 jtc error(_("wrong number of fields on Rule line"));
1778 1.1 jtc return;
1779 1.1 jtc }
1780 1.74 christos switch (*fields[RF_NAME]) {
1781 1.74 christos case '\0':
1782 1.74 christos case ' ': case '\f': case '\n': case '\r': case '\t': case '\v':
1783 1.74 christos case '+': case '-':
1784 1.74 christos case '0': case '1': case '2': case '3': case '4':
1785 1.74 christos case '5': case '6': case '7': case '8': case '9':
1786 1.74 christos error(_("Invalid rule name \"%s\""), fields[RF_NAME]);
1787 1.1 jtc return;
1788 1.1 jtc }
1789 1.84 christos r.r_filenum = filenum;
1790 1.1 jtc r.r_linenum = linenum;
1791 1.75 christos r.r_save = getsave(fields[RF_SAVE], &r.r_isdst);
1792 1.79 christos if (!rulesub(&r, fields[RF_LOYEAR], fields[RF_HIYEAR],
1793 1.79 christos fields[RF_COMMAND], fields[RF_MONTH], fields[RF_DAY],
1794 1.79 christos fields[RF_TOD]))
1795 1.79 christos return;
1796 1.1 jtc r.r_name = ecpyalloc(fields[RF_NAME]);
1797 1.1 jtc r.r_abbrvar = ecpyalloc(fields[RF_ABBRVAR]);
1798 1.25 mlelstv if (max_abbrvar_len < strlen(r.r_abbrvar))
1799 1.25 mlelstv max_abbrvar_len = strlen(r.r_abbrvar);
1800 1.45 christos rules = growalloc(rules, sizeof *rules, nrules, &nrules_alloc);
1801 1.1 jtc rules[nrules++] = r;
1802 1.1 jtc }
1803 1.1 jtc
1804 1.51 christos static bool
1805 1.55 christos inzone(char **fields, int nfields)
1806 1.1 jtc {
1807 1.65 christos ptrdiff_t i;
1808 1.1 jtc
1809 1.1 jtc if (nfields < ZONE_MINFIELDS || nfields > ZONE_MAXFIELDS) {
1810 1.5 jtc error(_("wrong number of fields on Zone line"));
1811 1.51 christos return false;
1812 1.1 jtc }
1813 1.70 christos if (lcltime != NULL && strcmp(fields[ZF_NAME], tzdefault) == 0) {
1814 1.43 christos error(
1815 1.5 jtc _("\"Zone %s\" line and -l option are mutually exclusive"),
1816 1.70 christos tzdefault);
1817 1.51 christos return false;
1818 1.1 jtc }
1819 1.1 jtc if (strcmp(fields[ZF_NAME], TZDEFRULES) == 0 && psxrules != NULL) {
1820 1.43 christos error(
1821 1.5 jtc _("\"Zone %s\" line and -p option are mutually exclusive"),
1822 1.1 jtc TZDEFRULES);
1823 1.51 christos return false;
1824 1.1 jtc }
1825 1.1 jtc for (i = 0; i < nzones; ++i)
1826 1.1 jtc if (zones[i].z_name != NULL &&
1827 1.65 christos strcmp(zones[i].z_name, fields[ZF_NAME]) == 0) {
1828 1.65 christos error(_("duplicate zone name %s"
1829 1.69 christos " (file \"%s\", line %"PRIdMAX")"),
1830 1.84 christos fields[ZF_NAME],
1831 1.84 christos filename(zones[i].z_filenum),
1832 1.84 christos zones[i].z_linenum);
1833 1.65 christos return false;
1834 1.1 jtc }
1835 1.51 christos return inzsub(fields, nfields, false);
1836 1.1 jtc }
1837 1.1 jtc
1838 1.51 christos static bool
1839 1.55 christos inzcont(char **fields, int nfields)
1840 1.1 jtc {
1841 1.1 jtc if (nfields < ZONEC_MINFIELDS || nfields > ZONEC_MAXFIELDS) {
1842 1.5 jtc error(_("wrong number of fields on Zone continuation line"));
1843 1.51 christos return false;
1844 1.1 jtc }
1845 1.51 christos return inzsub(fields, nfields, true);
1846 1.1 jtc }
1847 1.1 jtc
1848 1.51 christos static bool
1849 1.74 christos inzsub(char **fields, int nfields, bool iscont)
1850 1.1 jtc {
1851 1.31 christos char * cp;
1852 1.55 christos char * cp1;
1853 1.79 christos struct zone z;
1854 1.79 christos size_t format_len;
1855 1.75 christos int i_stdoff, i_rule, i_format;
1856 1.31 christos int i_untilyear, i_untilmonth;
1857 1.31 christos int i_untilday, i_untiltime;
1858 1.51 christos bool hasuntil;
1859 1.1 jtc
1860 1.1 jtc if (iscont) {
1861 1.75 christos i_stdoff = ZFC_STDOFF;
1862 1.1 jtc i_rule = ZFC_RULE;
1863 1.1 jtc i_format = ZFC_FORMAT;
1864 1.1 jtc i_untilyear = ZFC_TILYEAR;
1865 1.1 jtc i_untilmonth = ZFC_TILMONTH;
1866 1.1 jtc i_untilday = ZFC_TILDAY;
1867 1.1 jtc i_untiltime = ZFC_TILTIME;
1868 1.54 christos } else if (!namecheck(fields[ZF_NAME]))
1869 1.54 christos return false;
1870 1.54 christos else {
1871 1.75 christos i_stdoff = ZF_STDOFF;
1872 1.1 jtc i_rule = ZF_RULE;
1873 1.1 jtc i_format = ZF_FORMAT;
1874 1.1 jtc i_untilyear = ZF_TILYEAR;
1875 1.1 jtc i_untilmonth = ZF_TILMONTH;
1876 1.1 jtc i_untilday = ZF_TILDAY;
1877 1.1 jtc i_untiltime = ZF_TILTIME;
1878 1.1 jtc }
1879 1.84 christos z.z_filenum = filenum;
1880 1.1 jtc z.z_linenum = linenum;
1881 1.75 christos z.z_stdoff = gethms(fields[i_stdoff], _("invalid UT offset"));
1882 1.1 jtc if ((cp = strchr(fields[i_format], '%')) != 0) {
1883 1.55 christos if ((*++cp != 's' && *cp != 'z') || strchr(cp, '%')
1884 1.55 christos || strchr(fields[i_format], '/')) {
1885 1.5 jtc error(_("invalid abbreviation format"));
1886 1.51 christos return false;
1887 1.1 jtc }
1888 1.1 jtc }
1889 1.55 christos z.z_format_specifier = cp ? *cp : '\0';
1890 1.79 christos format_len = strlen(fields[i_format]);
1891 1.79 christos if (max_format_len < format_len)
1892 1.79 christos max_format_len = format_len;
1893 1.1 jtc hasuntil = nfields > i_untilyear;
1894 1.1 jtc if (hasuntil) {
1895 1.84 christos z.z_untilrule.r_filenum = filenum;
1896 1.1 jtc z.z_untilrule.r_linenum = linenum;
1897 1.79 christos if (!rulesub(
1898 1.79 christos &z.z_untilrule,
1899 1.1 jtc fields[i_untilyear],
1900 1.1 jtc "only",
1901 1.1 jtc "",
1902 1.1 jtc (nfields > i_untilmonth) ?
1903 1.1 jtc fields[i_untilmonth] : "Jan",
1904 1.1 jtc (nfields > i_untilday) ? fields[i_untilday] : "1",
1905 1.79 christos (nfields > i_untiltime) ? fields[i_untiltime] : "0"))
1906 1.79 christos return false;
1907 1.1 jtc z.z_untiltime = rpytime(&z.z_untilrule,
1908 1.1 jtc z.z_untilrule.r_loyear);
1909 1.1 jtc if (iscont && nzones > 0 &&
1910 1.1 jtc z.z_untiltime > min_time &&
1911 1.1 jtc z.z_untiltime < max_time &&
1912 1.1 jtc zones[nzones - 1].z_untiltime > min_time &&
1913 1.1 jtc zones[nzones - 1].z_untiltime < max_time &&
1914 1.1 jtc zones[nzones - 1].z_untiltime >= z.z_untiltime) {
1915 1.25 mlelstv error(_(
1916 1.25 mlelstv "Zone continuation line end time is not after end time of previous line"
1917 1.25 mlelstv ));
1918 1.51 christos return false;
1919 1.1 jtc }
1920 1.1 jtc }
1921 1.79 christos z.z_name = iscont ? NULL : ecpyalloc(fields[ZF_NAME]);
1922 1.79 christos z.z_rule = ecpyalloc(fields[i_rule]);
1923 1.79 christos z.z_format = cp1 = ecpyalloc(fields[i_format]);
1924 1.79 christos if (z.z_format_specifier == 'z') {
1925 1.79 christos cp1[cp - fields[i_format]] = 's';
1926 1.79 christos if (noise)
1927 1.79 christos warning(_("format '%s' not handled by pre-2015 versions of zic"),
1928 1.79 christos fields[i_format]);
1929 1.79 christos }
1930 1.45 christos zones = growalloc(zones, sizeof *zones, nzones, &nzones_alloc);
1931 1.1 jtc zones[nzones++] = z;
1932 1.1 jtc /*
1933 1.1 jtc ** If there was an UNTIL field on this line,
1934 1.1 jtc ** there's more information about the zone on the next line.
1935 1.1 jtc */
1936 1.1 jtc return hasuntil;
1937 1.1 jtc }
1938 1.1 jtc
1939 1.76 christos static zic_t
1940 1.76 christos getleapdatetime(char **fields, int nfields, bool expire_line)
1941 1.31 christos {
1942 1.31 christos const char * cp;
1943 1.31 christos const struct lookup * lp;
1944 1.65 christos zic_t i, j;
1945 1.41 christos zic_t year;
1946 1.41 christos int month, day;
1947 1.41 christos zic_t dayoff, tod;
1948 1.41 christos zic_t t;
1949 1.53 christos char xs;
1950 1.1 jtc
1951 1.1 jtc dayoff = 0;
1952 1.1 jtc cp = fields[LP_YEAR];
1953 1.53 christos if (sscanf(cp, "%"SCNdZIC"%c", &year, &xs) != 1) {
1954 1.25 mlelstv /*
1955 1.25 mlelstv ** Leapin' Lizards!
1956 1.25 mlelstv */
1957 1.25 mlelstv error(_("invalid leaping year"));
1958 1.76 christos return -1;
1959 1.1 jtc }
1960 1.76 christos if (!expire_line) {
1961 1.76 christos if (!leapseen || leapmaxyear < year)
1962 1.25 mlelstv leapmaxyear = year;
1963 1.76 christos if (!leapseen || leapminyear > year)
1964 1.25 mlelstv leapminyear = year;
1965 1.76 christos leapseen = true;
1966 1.76 christos }
1967 1.1 jtc j = EPOCH_YEAR;
1968 1.1 jtc while (j != year) {
1969 1.1 jtc if (year > j) {
1970 1.1 jtc i = len_years[isleap(j)];
1971 1.1 jtc ++j;
1972 1.1 jtc } else {
1973 1.1 jtc --j;
1974 1.1 jtc i = -len_years[isleap(j)];
1975 1.1 jtc }
1976 1.41 christos dayoff = oadd(dayoff, i);
1977 1.1 jtc }
1978 1.1 jtc if ((lp = byword(fields[LP_MONTH], mon_names)) == NULL) {
1979 1.5 jtc error(_("invalid month name"));
1980 1.76 christos return -1;
1981 1.1 jtc }
1982 1.1 jtc month = lp->l_value;
1983 1.1 jtc j = TM_JANUARY;
1984 1.1 jtc while (j != month) {
1985 1.1 jtc i = len_months[isleap(year)][j];
1986 1.41 christos dayoff = oadd(dayoff, i);
1987 1.1 jtc ++j;
1988 1.1 jtc }
1989 1.1 jtc cp = fields[LP_DAY];
1990 1.53 christos if (sscanf(cp, "%d%c", &day, &xs) != 1 ||
1991 1.1 jtc day <= 0 || day > len_months[isleap(year)][month]) {
1992 1.5 jtc error(_("invalid day of month"));
1993 1.76 christos return -1;
1994 1.1 jtc }
1995 1.41 christos dayoff = oadd(dayoff, day - 1);
1996 1.34 martin if (dayoff < min_time / SECSPERDAY) {
1997 1.20 kleink error(_("time too small"));
1998 1.76 christos return -1;
1999 1.20 kleink }
2000 1.34 martin if (dayoff > max_time / SECSPERDAY) {
2001 1.20 kleink error(_("time too large"));
2002 1.76 christos return -1;
2003 1.1 jtc }
2004 1.46 christos t = dayoff * SECSPERDAY;
2005 1.74 christos tod = gethms(fields[LP_TIME], _("invalid time of day"));
2006 1.76 christos t = tadd(t, tod);
2007 1.76 christos if (t < 0)
2008 1.76 christos error(_("leap second precedes Epoch"));
2009 1.76 christos return t;
2010 1.76 christos }
2011 1.76 christos
2012 1.76 christos static void
2013 1.76 christos inleap(char **fields, int nfields)
2014 1.76 christos {
2015 1.76 christos if (nfields != LEAP_FIELDS)
2016 1.76 christos error(_("wrong number of fields on Leap line"));
2017 1.76 christos else {
2018 1.76 christos zic_t t = getleapdatetime(fields, nfields, false);
2019 1.76 christos if (0 <= t) {
2020 1.76 christos struct lookup const *lp = byword(fields[LP_ROLL], leap_types);
2021 1.76 christos if (!lp)
2022 1.76 christos error(_("invalid Rolling/Stationary field on Leap line"));
2023 1.76 christos else {
2024 1.76 christos int correction = 0;
2025 1.76 christos if (!fields[LP_CORR][0]) /* infile() turns "-" into "". */
2026 1.76 christos correction = -1;
2027 1.76 christos else if (strcmp(fields[LP_CORR], "+") == 0)
2028 1.76 christos correction = 1;
2029 1.76 christos else
2030 1.76 christos error(_("invalid CORRECTION field on Leap line"));
2031 1.76 christos if (correction)
2032 1.76 christos leapadd(t, correction, lp->l_value);
2033 1.76 christos }
2034 1.76 christos }
2035 1.76 christos }
2036 1.76 christos }
2037 1.1 jtc
2038 1.76 christos static void
2039 1.76 christos inexpires(char **fields, int nfields)
2040 1.76 christos {
2041 1.76 christos if (nfields != EXPIRES_FIELDS)
2042 1.76 christos error(_("wrong number of fields on Expires line"));
2043 1.76 christos else if (0 <= leapexpires)
2044 1.76 christos error(_("multiple Expires lines"));
2045 1.76 christos else
2046 1.76 christos leapexpires = getleapdatetime(fields, nfields, true);
2047 1.1 jtc }
2048 1.1 jtc
2049 1.1 jtc static void
2050 1.57 christos inlink(char **fields, int nfields)
2051 1.1 jtc {
2052 1.1 jtc struct link l;
2053 1.1 jtc
2054 1.1 jtc if (nfields != LINK_FIELDS) {
2055 1.5 jtc error(_("wrong number of fields on Link line"));
2056 1.1 jtc return;
2057 1.1 jtc }
2058 1.77 christos if (*fields[LF_TARGET] == '\0') {
2059 1.77 christos error(_("blank TARGET field on Link line"));
2060 1.1 jtc return;
2061 1.1 jtc }
2062 1.77 christos if (! namecheck(fields[LF_LINKNAME]))
2063 1.54 christos return;
2064 1.84 christos l.l_filenum = filenum;
2065 1.1 jtc l.l_linenum = linenum;
2066 1.77 christos l.l_target = ecpyalloc(fields[LF_TARGET]);
2067 1.77 christos l.l_linkname = ecpyalloc(fields[LF_LINKNAME]);
2068 1.45 christos links = growalloc(links, sizeof *links, nlinks, &nlinks_alloc);
2069 1.1 jtc links[nlinks++] = l;
2070 1.1 jtc }
2071 1.1 jtc
2072 1.79 christos static bool
2073 1.55 christos rulesub(struct rule *rp, const char *loyearp, const char *hiyearp,
2074 1.55 christos const char *typep, const char *monthp, const char *dayp,
2075 1.55 christos const char *timep)
2076 1.31 christos {
2077 1.31 christos const struct lookup * lp;
2078 1.31 christos const char * cp;
2079 1.31 christos char * dp;
2080 1.31 christos char * ep;
2081 1.53 christos char xs;
2082 1.1 jtc
2083 1.1 jtc if ((lp = byword(monthp, mon_names)) == NULL) {
2084 1.5 jtc error(_("invalid month name"));
2085 1.79 christos return false;
2086 1.1 jtc }
2087 1.1 jtc rp->r_month = lp->l_value;
2088 1.51 christos rp->r_todisstd = false;
2089 1.75 christos rp->r_todisut = false;
2090 1.1 jtc dp = ecpyalloc(timep);
2091 1.1 jtc if (*dp != '\0') {
2092 1.1 jtc ep = dp + strlen(dp) - 1;
2093 1.1 jtc switch (lowerit(*ep)) {
2094 1.1 jtc case 's': /* Standard */
2095 1.51 christos rp->r_todisstd = true;
2096 1.75 christos rp->r_todisut = false;
2097 1.1 jtc *ep = '\0';
2098 1.1 jtc break;
2099 1.1 jtc case 'w': /* Wall */
2100 1.51 christos rp->r_todisstd = false;
2101 1.75 christos rp->r_todisut = false;
2102 1.1 jtc *ep = '\0';
2103 1.7 jtc break;
2104 1.1 jtc case 'g': /* Greenwich */
2105 1.1 jtc case 'u': /* Universal */
2106 1.1 jtc case 'z': /* Zulu */
2107 1.51 christos rp->r_todisstd = true;
2108 1.75 christos rp->r_todisut = true;
2109 1.1 jtc *ep = '\0';
2110 1.1 jtc break;
2111 1.1 jtc }
2112 1.1 jtc }
2113 1.74 christos rp->r_tod = gethms(dp, _("invalid time of day"));
2114 1.31 christos free(dp);
2115 1.1 jtc /*
2116 1.1 jtc ** Year work.
2117 1.1 jtc */
2118 1.1 jtc cp = loyearp;
2119 1.1 jtc lp = byword(cp, begin_years);
2120 1.25 mlelstv rp->r_lowasnum = lp == NULL;
2121 1.65 christos if (!rp->r_lowasnum) switch (lp->l_value) {
2122 1.1 jtc case YR_MINIMUM:
2123 1.41 christos rp->r_loyear = ZIC_MIN;
2124 1.1 jtc break;
2125 1.1 jtc case YR_MAXIMUM:
2126 1.41 christos rp->r_loyear = ZIC_MAX;
2127 1.1 jtc break;
2128 1.84 christos default: unreachable();
2129 1.53 christos } else if (sscanf(cp, "%"SCNdZIC"%c", &rp->r_loyear, &xs) != 1) {
2130 1.5 jtc error(_("invalid starting year"));
2131 1.79 christos return false;
2132 1.11 jtc }
2133 1.1 jtc cp = hiyearp;
2134 1.25 mlelstv lp = byword(cp, end_years);
2135 1.25 mlelstv rp->r_hiwasnum = lp == NULL;
2136 1.65 christos if (!rp->r_hiwasnum) switch (lp->l_value) {
2137 1.1 jtc case YR_MINIMUM:
2138 1.41 christos rp->r_hiyear = ZIC_MIN;
2139 1.1 jtc break;
2140 1.1 jtc case YR_MAXIMUM:
2141 1.41 christos rp->r_hiyear = ZIC_MAX;
2142 1.1 jtc break;
2143 1.1 jtc case YR_ONLY:
2144 1.1 jtc rp->r_hiyear = rp->r_loyear;
2145 1.1 jtc break;
2146 1.84 christos default: unreachable();
2147 1.53 christos } else if (sscanf(cp, "%"SCNdZIC"%c", &rp->r_hiyear, &xs) != 1) {
2148 1.5 jtc error(_("invalid ending year"));
2149 1.79 christos return false;
2150 1.11 jtc }
2151 1.1 jtc if (rp->r_loyear > rp->r_hiyear) {
2152 1.5 jtc error(_("starting year greater than ending year"));
2153 1.79 christos return false;
2154 1.1 jtc }
2155 1.77 christos if (*typep != '\0') {
2156 1.77 christos error(_("year type \"%s\" is unsupported; use \"-\" instead"),
2157 1.69 christos typep);
2158 1.79 christos return false;
2159 1.1 jtc }
2160 1.1 jtc /*
2161 1.1 jtc ** Day work.
2162 1.1 jtc ** Accept things such as:
2163 1.1 jtc ** 1
2164 1.69 christos ** lastSunday
2165 1.69 christos ** last-Sunday (undocumented; warn about this)
2166 1.1 jtc ** Sun<=20
2167 1.1 jtc ** Sun>=7
2168 1.1 jtc */
2169 1.1 jtc dp = ecpyalloc(dayp);
2170 1.1 jtc if ((lp = byword(dp, lasts)) != NULL) {
2171 1.1 jtc rp->r_dycode = DC_DOWLEQ;
2172 1.1 jtc rp->r_wday = lp->l_value;
2173 1.1 jtc rp->r_dayofmonth = len_months[1][rp->r_month];
2174 1.1 jtc } else {
2175 1.1 jtc if ((ep = strchr(dp, '<')) != 0)
2176 1.1 jtc rp->r_dycode = DC_DOWLEQ;
2177 1.1 jtc else if ((ep = strchr(dp, '>')) != 0)
2178 1.1 jtc rp->r_dycode = DC_DOWGEQ;
2179 1.1 jtc else {
2180 1.1 jtc ep = dp;
2181 1.1 jtc rp->r_dycode = DC_DOM;
2182 1.1 jtc }
2183 1.1 jtc if (rp->r_dycode != DC_DOM) {
2184 1.1 jtc *ep++ = 0;
2185 1.1 jtc if (*ep++ != '=') {
2186 1.5 jtc error(_("invalid day of month"));
2187 1.31 christos free(dp);
2188 1.79 christos return false;
2189 1.1 jtc }
2190 1.1 jtc if ((lp = byword(dp, wday_names)) == NULL) {
2191 1.5 jtc error(_("invalid weekday name"));
2192 1.31 christos free(dp);
2193 1.79 christos return false;
2194 1.1 jtc }
2195 1.1 jtc rp->r_wday = lp->l_value;
2196 1.1 jtc }
2197 1.53 christos if (sscanf(ep, "%d%c", &rp->r_dayofmonth, &xs) != 1 ||
2198 1.1 jtc rp->r_dayofmonth <= 0 ||
2199 1.1 jtc (rp->r_dayofmonth > len_months[1][rp->r_month])) {
2200 1.5 jtc error(_("invalid day of month"));
2201 1.31 christos free(dp);
2202 1.79 christos return false;
2203 1.1 jtc }
2204 1.1 jtc }
2205 1.31 christos free(dp);
2206 1.79 christos return true;
2207 1.1 jtc }
2208 1.1 jtc
2209 1.1 jtc static void
2210 1.79 christos convert(uint_fast32_t val, char *buf)
2211 1.1 jtc {
2212 1.31 christos int i;
2213 1.31 christos int shift;
2214 1.31 christos unsigned char *const b = (unsigned char *) buf;
2215 1.1 jtc
2216 1.1 jtc for (i = 0, shift = 24; i < 4; ++i, shift -= 8)
2217 1.79 christos b[i] = (val >> shift) & 0xff;
2218 1.1 jtc }
2219 1.1 jtc
2220 1.1 jtc static void
2221 1.79 christos convert64(uint_fast64_t val, char *buf)
2222 1.25 mlelstv {
2223 1.31 christos int i;
2224 1.31 christos int shift;
2225 1.31 christos unsigned char *const b = (unsigned char *) buf;
2226 1.25 mlelstv
2227 1.25 mlelstv for (i = 0, shift = 56; i < 8; ++i, shift -= 8)
2228 1.79 christos b[i] = (val >> shift) & 0xff;
2229 1.25 mlelstv }
2230 1.25 mlelstv
2231 1.25 mlelstv static void
2232 1.74 christos puttzcode(const int_fast32_t val, FILE *const fp)
2233 1.1 jtc {
2234 1.1 jtc char buf[4];
2235 1.1 jtc
2236 1.1 jtc convert(val, buf);
2237 1.57 christos fwrite(buf, sizeof buf, (size_t) 1, fp);
2238 1.1 jtc }
2239 1.1 jtc
2240 1.25 mlelstv static void
2241 1.74 christos puttzcodepass(zic_t val, FILE *fp, int pass)
2242 1.25 mlelstv {
2243 1.74 christos if (pass == 1)
2244 1.74 christos puttzcode(val, fp);
2245 1.74 christos else {
2246 1.25 mlelstv char buf[8];
2247 1.25 mlelstv
2248 1.25 mlelstv convert64(val, buf);
2249 1.57 christos fwrite(buf, sizeof buf, (size_t) 1, fp);
2250 1.74 christos }
2251 1.25 mlelstv }
2252 1.25 mlelstv
2253 1.5 jtc static int
2254 1.31 christos atcomp(const void *avp, const void *bvp)
2255 1.5 jtc {
2256 1.79 christos struct attype const *ap = avp, *bp = bvp;
2257 1.79 christos zic_t a = ap->at, b = bp->at;
2258 1.79 christos return a < b ? -1 : a > b;
2259 1.25 mlelstv }
2260 1.25 mlelstv
2261 1.74 christos struct timerange {
2262 1.74 christos int defaulttype;
2263 1.74 christos ptrdiff_t base, count;
2264 1.74 christos int leapbase, leapcount;
2265 1.82 christos bool leapexpiry;
2266 1.74 christos };
2267 1.74 christos
2268 1.74 christos static struct timerange
2269 1.82 christos limitrange(struct timerange r, zic_t lo, zic_t hi,
2270 1.74 christos zic_t const *ats, unsigned char const *types)
2271 1.74 christos {
2272 1.79 christos /* Omit ordinary transitions < LO. */
2273 1.74 christos while (0 < r.count && ats[r.base] < lo) {
2274 1.74 christos r.defaulttype = types[r.base];
2275 1.74 christos r.count--;
2276 1.74 christos r.base++;
2277 1.74 christos }
2278 1.79 christos
2279 1.79 christos /* Omit as many initial leap seconds as possible, such that the
2280 1.79 christos first leap second in the truncated list is <= LO, and is a
2281 1.79 christos positive leap second if and only if it has a positive correction.
2282 1.79 christos This supports common TZif readers that assume that the first leap
2283 1.79 christos second is positive if and only if its correction is positive. */
2284 1.79 christos while (1 < r.leapcount && trans[r.leapbase + 1] <= lo) {
2285 1.74 christos r.leapcount--;
2286 1.74 christos r.leapbase++;
2287 1.74 christos }
2288 1.79 christos while (0 < r.leapbase
2289 1.79 christos && ((corr[r.leapbase - 1] < corr[r.leapbase])
2290 1.79 christos != (0 < corr[r.leapbase]))) {
2291 1.79 christos r.leapcount++;
2292 1.79 christos r.leapbase--;
2293 1.79 christos }
2294 1.79 christos
2295 1.74 christos
2296 1.79 christos /* Omit ordinary and leap second transitions greater than HI + 1. */
2297 1.79 christos if (hi < max_time) {
2298 1.74 christos while (0 < r.count && hi + 1 < ats[r.base + r.count - 1])
2299 1.74 christos r.count--;
2300 1.74 christos while (0 < r.leapcount && hi + 1 < trans[r.leapbase + r.leapcount - 1])
2301 1.74 christos r.leapcount--;
2302 1.74 christos }
2303 1.74 christos
2304 1.79 christos /* Determine whether to append an expiration to the leap second table. */
2305 1.79 christos r.leapexpiry = 0 <= leapexpires && leapexpires - 1 <= hi;
2306 1.79 christos
2307 1.74 christos return r;
2308 1.74 christos }
2309 1.74 christos
2310 1.74 christos static void
2311 1.74 christos writezone(const char *const name, const char *const string, char version,
2312 1.74 christos int defaulttype)
2313 1.31 christos {
2314 1.31 christos FILE * fp;
2315 1.65 christos ptrdiff_t i, j;
2316 1.31 christos int pass;
2317 1.79 christos char *tempname = NULL;
2318 1.79 christos char const *outname = name;
2319 1.72 christos
2320 1.72 christos /* Allocate the ATS and TYPES arrays via a single malloc,
2321 1.72 christos as this is a bit faster. */
2322 1.84 christos zic_t *ats = emalloc(align_to(size_product(timecnt, sizeof *ats + 1),
2323 1.84 christos alignof(zic_t)));
2324 1.84 christos void *typesptr = ats + timecnt;
2325 1.45 christos unsigned char *types = typesptr;
2326 1.82 christos struct timerange rangeall = {0}, range32, range64;
2327 1.5 jtc
2328 1.5 jtc /*
2329 1.5 jtc ** Sort.
2330 1.5 jtc */
2331 1.5 jtc if (timecnt > 1)
2332 1.57 christos qsort(attypes, (size_t) timecnt, sizeof *attypes, atcomp);
2333 1.5 jtc /*
2334 1.5 jtc ** Optimize.
2335 1.5 jtc */
2336 1.5 jtc {
2337 1.65 christos ptrdiff_t fromi, toi;
2338 1.1 jtc
2339 1.5 jtc toi = 0;
2340 1.5 jtc fromi = 0;
2341 1.5 jtc for ( ; fromi < timecnt; ++fromi) {
2342 1.75 christos if (toi != 0
2343 1.75 christos && ((attypes[fromi].at
2344 1.75 christos + utoffs[attypes[toi - 1].type])
2345 1.75 christos <= (attypes[toi - 1].at
2346 1.75 christos + utoffs[toi == 1 ? 0
2347 1.75 christos : attypes[toi - 2].type]))) {
2348 1.25 mlelstv attypes[toi - 1].type =
2349 1.25 mlelstv attypes[fromi].type;
2350 1.25 mlelstv continue;
2351 1.5 jtc }
2352 1.63 christos if (toi == 0
2353 1.63 christos || attypes[fromi].dontmerge
2354 1.75 christos || (utoffs[attypes[toi - 1].type]
2355 1.75 christos != utoffs[attypes[fromi].type])
2356 1.75 christos || (isdsts[attypes[toi - 1].type]
2357 1.75 christos != isdsts[attypes[fromi].type])
2358 1.75 christos || (desigidx[attypes[toi - 1].type]
2359 1.75 christos != desigidx[attypes[fromi].type]))
2360 1.5 jtc attypes[toi++] = attypes[fromi];
2361 1.5 jtc }
2362 1.5 jtc timecnt = toi;
2363 1.5 jtc }
2364 1.65 christos
2365 1.65 christos if (noise && timecnt > 1200) {
2366 1.65 christos if (timecnt > TZ_MAX_TIMES)
2367 1.65 christos warning(_("reference clients mishandle"
2368 1.65 christos " more than %d transition times"),
2369 1.65 christos TZ_MAX_TIMES);
2370 1.65 christos else
2371 1.45 christos warning(_("pre-2014 clients may mishandle"
2372 1.45 christos " more than 1200 transition times"));
2373 1.65 christos }
2374 1.5 jtc /*
2375 1.5 jtc ** Transfer.
2376 1.5 jtc */
2377 1.5 jtc for (i = 0; i < timecnt; ++i) {
2378 1.5 jtc ats[i] = attypes[i].at;
2379 1.5 jtc types[i] = attypes[i].type;
2380 1.5 jtc }
2381 1.59 christos
2382 1.25 mlelstv /*
2383 1.25 mlelstv ** Correct for leap seconds.
2384 1.25 mlelstv */
2385 1.25 mlelstv for (i = 0; i < timecnt; ++i) {
2386 1.25 mlelstv j = leapcnt;
2387 1.25 mlelstv while (--j >= 0)
2388 1.25 mlelstv if (ats[i] > trans[j] - corr[j]) {
2389 1.25 mlelstv ats[i] = tadd(ats[i], corr[j]);
2390 1.25 mlelstv break;
2391 1.25 mlelstv }
2392 1.25 mlelstv }
2393 1.72 christos
2394 1.74 christos rangeall.defaulttype = defaulttype;
2395 1.74 christos rangeall.count = timecnt;
2396 1.74 christos rangeall.leapcount = leapcnt;
2397 1.82 christos range64 = limitrange(rangeall, lo_time,
2398 1.82 christos max(hi_time,
2399 1.82 christos redundant_time - (ZIC_MIN < redundant_time)),
2400 1.82 christos ats, types);
2401 1.84 christos range32 = limitrange(range64, ZIC32_MIN, ZIC32_MAX, ats, types);
2402 1.79 christos
2403 1.79 christos /* TZif version 4 is needed if a no-op transition is appended to
2404 1.79 christos indicate the expiration of the leap second table, or if the first
2405 1.79 christos leap second transition is not to a +1 or -1 correction. */
2406 1.79 christos for (pass = 1; pass <= 2; pass++) {
2407 1.79 christos struct timerange const *r = pass == 1 ? &range32 : &range64;
2408 1.79 christos if (pass == 1 && !want_bloat())
2409 1.79 christos continue;
2410 1.79 christos if (r->leapexpiry) {
2411 1.79 christos if (noise)
2412 1.79 christos warning(_("%s: pre-2021b clients may mishandle"
2413 1.79 christos " leap second expiry"),
2414 1.79 christos name);
2415 1.79 christos version = '4';
2416 1.79 christos }
2417 1.79 christos if (0 < r->leapcount
2418 1.79 christos && corr[r->leapbase] != 1 && corr[r->leapbase] != -1) {
2419 1.79 christos if (noise)
2420 1.79 christos warning(_("%s: pre-2021b clients may mishandle"
2421 1.79 christos " leap second table truncation"),
2422 1.79 christos name);
2423 1.79 christos version = '4';
2424 1.79 christos }
2425 1.79 christos if (version == '4')
2426 1.79 christos break;
2427 1.79 christos }
2428 1.74 christos
2429 1.79 christos fp = open_outfile(&outname, &tempname);
2430 1.7 jtc
2431 1.25 mlelstv for (pass = 1; pass <= 2; ++pass) {
2432 1.65 christos ptrdiff_t thistimei, thistimecnt, thistimelim;
2433 1.65 christos int thisleapi, thisleapcnt, thisleaplim;
2434 1.79 christos struct tzhead tzh;
2435 1.82 christos int pretranstype = -1, thisdefaulttype;
2436 1.82 christos bool locut, hicut, thisleapexpiry;
2437 1.82 christos zic_t lo, thismin, thismax;
2438 1.74 christos int old0;
2439 1.74 christos char omittype[TZ_MAX_TYPES];
2440 1.25 mlelstv int typemap[TZ_MAX_TYPES];
2441 1.75 christos int thistypecnt, stdcnt, utcnt;
2442 1.25 mlelstv char thischars[TZ_MAX_CHARS];
2443 1.65 christos int thischarcnt;
2444 1.65 christos bool toomanytimes;
2445 1.51 christos int indmap[TZ_MAX_CHARS];
2446 1.25 mlelstv
2447 1.25 mlelstv if (pass == 1) {
2448 1.82 christos thisdefaulttype = range32.defaulttype;
2449 1.74 christos thistimei = range32.base;
2450 1.74 christos thistimecnt = range32.count;
2451 1.65 christos toomanytimes = thistimecnt >> 31 >> 1 != 0;
2452 1.74 christos thisleapi = range32.leapbase;
2453 1.74 christos thisleapcnt = range32.leapcount;
2454 1.79 christos thisleapexpiry = range32.leapexpiry;
2455 1.84 christos thismin = ZIC32_MIN;
2456 1.84 christos thismax = ZIC32_MAX;
2457 1.25 mlelstv } else {
2458 1.74 christos thisdefaulttype = range64.defaulttype;
2459 1.74 christos thistimei = range64.base;
2460 1.74 christos thistimecnt = range64.count;
2461 1.65 christos toomanytimes = thistimecnt >> 31 >> 31 >> 2 != 0;
2462 1.74 christos thisleapi = range64.leapbase;
2463 1.74 christos thisleapcnt = range64.leapcount;
2464 1.79 christos thisleapexpiry = range64.leapexpiry;
2465 1.82 christos thismin = min_time;
2466 1.82 christos thismax = max_time;
2467 1.25 mlelstv }
2468 1.65 christos if (toomanytimes)
2469 1.65 christos error(_("too many transition times"));
2470 1.74 christos
2471 1.82 christos locut = thismin < lo_time && lo_time <= thismax;
2472 1.82 christos hicut = thismin <= hi_time && hi_time < thismax;
2473 1.25 mlelstv thistimelim = thistimei + thistimecnt;
2474 1.74 christos memset(omittype, true, typecnt);
2475 1.82 christos
2476 1.82 christos /* Determine whether to output a transition before the first
2477 1.82 christos transition in range. This is needed when the output is
2478 1.82 christos truncated at the start, and is also useful when catering to
2479 1.82 christos buggy 32-bit clients that do not use time type 0 for
2480 1.82 christos timestamps before the first transition. */
2481 1.82 christos if ((locut || (pass == 1 && thistimei))
2482 1.82 christos && ! (thistimecnt && ats[thistimei] == lo_time)) {
2483 1.82 christos pretranstype = thisdefaulttype;
2484 1.82 christos omittype[pretranstype] = false;
2485 1.82 christos }
2486 1.82 christos
2487 1.82 christos /* Arguably the default time type in the 32-bit data
2488 1.82 christos should be range32.defaulttype, which is suited for
2489 1.84 christos timestamps just before ZIC32_MIN. However, zic
2490 1.82 christos traditionally used the time type of the indefinite
2491 1.82 christos past instead. Internet RFC 8532 says readers should
2492 1.82 christos ignore 32-bit data, so this discrepancy matters only
2493 1.82 christos to obsolete readers where the traditional type might
2494 1.82 christos be more appropriate even if it's "wrong". So, use
2495 1.82 christos the historical zic value, unless -r specifies a low
2496 1.82 christos cutoff that excludes some 32-bit timestamps. */
2497 1.82 christos if (pass == 1 && lo_time <= thismin)
2498 1.82 christos thisdefaulttype = range64.defaulttype;
2499 1.82 christos
2500 1.82 christos if (locut)
2501 1.82 christos thisdefaulttype = unspecifiedtype;
2502 1.74 christos omittype[thisdefaulttype] = false;
2503 1.82 christos for (i = thistimei; i < thistimelim; i++)
2504 1.74 christos omittype[types[i]] = false;
2505 1.79 christos if (hicut)
2506 1.79 christos omittype[unspecifiedtype] = false;
2507 1.74 christos
2508 1.74 christos /* Reorder types to make THISDEFAULTTYPE type 0.
2509 1.74 christos Use TYPEMAP to swap OLD0 and THISDEFAULTTYPE so that
2510 1.74 christos THISDEFAULTTYPE appears as type 0 in the output instead
2511 1.74 christos of OLD0. TYPEMAP also omits unused types. */
2512 1.74 christos old0 = strlen(omittype);
2513 1.74 christos
2514 1.29 christos #ifndef LEAVE_SOME_PRE_2011_SYSTEMS_IN_THE_LURCH
2515 1.29 christos /*
2516 1.29 christos ** For some pre-2011 systems: if the last-to-be-written
2517 1.29 christos ** standard (or daylight) type has an offset different from the
2518 1.29 christos ** most recently used offset,
2519 1.29 christos ** append an (unused) copy of the most recently used type
2520 1.29 christos ** (to help get global "altzone" and "timezone" variables
2521 1.29 christos ** set correctly).
2522 1.29 christos */
2523 1.75 christos if (want_bloat()) {
2524 1.31 christos int mrudst, mrustd, hidst, histd, type;
2525 1.29 christos
2526 1.29 christos hidst = histd = mrudst = mrustd = -1;
2527 1.82 christos if (0 <= pretranstype) {
2528 1.82 christos if (isdsts[pretranstype])
2529 1.82 christos mrudst = pretranstype;
2530 1.82 christos else
2531 1.82 christos mrustd = pretranstype;
2532 1.82 christos }
2533 1.82 christos for (i = thistimei; i < thistimelim; i++)
2534 1.29 christos if (isdsts[types[i]])
2535 1.29 christos mrudst = types[i];
2536 1.29 christos else mrustd = types[i];
2537 1.75 christos for (i = old0; i < typecnt; i++) {
2538 1.75 christos int h = (i == old0 ? thisdefaulttype
2539 1.75 christos : i == thisdefaulttype ? old0 : i);
2540 1.75 christos if (!omittype[h]) {
2541 1.75 christos if (isdsts[h])
2542 1.75 christos hidst = i;
2543 1.75 christos else
2544 1.75 christos histd = i;
2545 1.75 christos }
2546 1.75 christos }
2547 1.29 christos if (hidst >= 0 && mrudst >= 0 && hidst != mrudst &&
2548 1.75 christos utoffs[hidst] != utoffs[mrudst]) {
2549 1.29 christos isdsts[mrudst] = -1;
2550 1.75 christos type = addtype(utoffs[mrudst],
2551 1.75 christos &chars[desigidx[mrudst]],
2552 1.51 christos true,
2553 1.29 christos ttisstds[mrudst],
2554 1.75 christos ttisuts[mrudst]);
2555 1.51 christos isdsts[mrudst] = 1;
2556 1.74 christos omittype[type] = false;
2557 1.29 christos }
2558 1.29 christos if (histd >= 0 && mrustd >= 0 && histd != mrustd &&
2559 1.75 christos utoffs[histd] != utoffs[mrustd]) {
2560 1.29 christos isdsts[mrustd] = -1;
2561 1.75 christos type = addtype(utoffs[mrustd],
2562 1.75 christos &chars[desigidx[mrustd]],
2563 1.51 christos false,
2564 1.29 christos ttisstds[mrustd],
2565 1.75 christos ttisuts[mrustd]);
2566 1.51 christos isdsts[mrustd] = 0;
2567 1.75 christos omittype[type] = false;
2568 1.29 christos }
2569 1.29 christos }
2570 1.29 christos #endif /* !defined LEAVE_SOME_PRE_2011_SYSTEMS_IN_THE_LURCH */
2571 1.74 christos thistypecnt = 0;
2572 1.74 christos for (i = old0; i < typecnt; i++)
2573 1.74 christos if (!omittype[i])
2574 1.74 christos typemap[i == old0 ? thisdefaulttype
2575 1.74 christos : i == thisdefaulttype ? old0 : i]
2576 1.74 christos = thistypecnt++;
2577 1.74 christos
2578 1.36 christos for (i = 0; i < (int)(sizeof indmap / sizeof indmap[0]); ++i)
2579 1.25 mlelstv indmap[i] = -1;
2580 1.75 christos thischarcnt = stdcnt = utcnt = 0;
2581 1.74 christos for (i = old0; i < typecnt; i++) {
2582 1.31 christos char * thisabbr;
2583 1.25 mlelstv
2584 1.74 christos if (omittype[i])
2585 1.25 mlelstv continue;
2586 1.75 christos if (ttisstds[i])
2587 1.75 christos stdcnt = thistypecnt;
2588 1.75 christos if (ttisuts[i])
2589 1.75 christos utcnt = thistypecnt;
2590 1.75 christos if (indmap[desigidx[i]] >= 0)
2591 1.25 mlelstv continue;
2592 1.75 christos thisabbr = &chars[desigidx[i]];
2593 1.25 mlelstv for (j = 0; j < thischarcnt; ++j)
2594 1.25 mlelstv if (strcmp(&thischars[j], thisabbr) == 0)
2595 1.25 mlelstv break;
2596 1.25 mlelstv if (j == thischarcnt) {
2597 1.65 christos strcpy(&thischars[thischarcnt], thisabbr);
2598 1.25 mlelstv thischarcnt += strlen(thisabbr) + 1;
2599 1.25 mlelstv }
2600 1.75 christos indmap[desigidx[i]] = j;
2601 1.75 christos }
2602 1.75 christos if (pass == 1 && !want_bloat()) {
2603 1.82 christos hicut = thisleapexpiry = false;
2604 1.82 christos pretranstype = -1;
2605 1.79 christos thistimecnt = thisleapcnt = 0;
2606 1.75 christos thistypecnt = thischarcnt = 1;
2607 1.25 mlelstv }
2608 1.57 christos #define DO(field) fwrite(tzh.field, sizeof tzh.field, (size_t) 1, fp)
2609 1.80 christos memset(&tzh, 0, sizeof(tzh));
2610 1.70 christos memcpy(tzh.tzh_magic, TZ_MAGIC, sizeof tzh.tzh_magic);
2611 1.43 christos tzh.tzh_version[0] = version;
2612 1.75 christos convert(utcnt, tzh.tzh_ttisutcnt);
2613 1.75 christos convert(stdcnt, tzh.tzh_ttisstdcnt);
2614 1.79 christos convert(thisleapcnt + thisleapexpiry, tzh.tzh_leapcnt);
2615 1.82 christos convert((0 <= pretranstype) + thistimecnt + hicut,
2616 1.82 christos tzh.tzh_timecnt);
2617 1.41 christos convert(thistypecnt, tzh.tzh_typecnt);
2618 1.41 christos convert(thischarcnt, tzh.tzh_charcnt);
2619 1.25 mlelstv DO(tzh_magic);
2620 1.25 mlelstv DO(tzh_version);
2621 1.25 mlelstv DO(tzh_reserved);
2622 1.75 christos DO(tzh_ttisutcnt);
2623 1.25 mlelstv DO(tzh_ttisstdcnt);
2624 1.25 mlelstv DO(tzh_leapcnt);
2625 1.25 mlelstv DO(tzh_timecnt);
2626 1.25 mlelstv DO(tzh_typecnt);
2627 1.25 mlelstv DO(tzh_charcnt);
2628 1.1 jtc #undef DO
2629 1.75 christos if (pass == 1 && !want_bloat()) {
2630 1.75 christos /* Output a minimal data block with just one time type. */
2631 1.75 christos puttzcode(0, fp); /* utoff */
2632 1.75 christos putc(0, fp); /* dst */
2633 1.75 christos putc(0, fp); /* index of abbreviation */
2634 1.75 christos putc(0, fp); /* empty-string abbreviation */
2635 1.75 christos continue;
2636 1.75 christos }
2637 1.75 christos
2638 1.74 christos /* Output a LO_TIME transition if needed; see limitrange.
2639 1.74 christos But do not go below the minimum representable value
2640 1.74 christos for this pass. */
2641 1.84 christos lo = pass == 1 && lo_time < ZIC32_MIN ? ZIC32_MIN : lo_time;
2642 1.74 christos
2643 1.82 christos if (0 <= pretranstype)
2644 1.74 christos puttzcodepass(lo, fp, pass);
2645 1.74 christos for (i = thistimei; i < thistimelim; ++i) {
2646 1.79 christos puttzcodepass(ats[i], fp, pass);
2647 1.74 christos }
2648 1.74 christos if (hicut)
2649 1.74 christos puttzcodepass(hi_time + 1, fp, pass);
2650 1.82 christos if (0 <= pretranstype)
2651 1.82 christos putc(typemap[pretranstype], fp);
2652 1.82 christos for (i = thistimei; i < thistimelim; i++)
2653 1.79 christos putc(typemap[types[i]], fp);
2654 1.74 christos if (hicut)
2655 1.79 christos putc(typemap[unspecifiedtype], fp);
2656 1.25 mlelstv
2657 1.75 christos for (i = old0; i < typecnt; i++) {
2658 1.75 christos int h = (i == old0 ? thisdefaulttype
2659 1.75 christos : i == thisdefaulttype ? old0 : i);
2660 1.75 christos if (!omittype[h]) {
2661 1.75 christos puttzcode(utoffs[h], fp);
2662 1.75 christos putc(isdsts[h], fp);
2663 1.75 christos putc(indmap[desigidx[h]], fp);
2664 1.75 christos }
2665 1.75 christos }
2666 1.25 mlelstv if (thischarcnt != 0)
2667 1.57 christos fwrite(thischars, sizeof thischars[0],
2668 1.25 mlelstv (size_t) thischarcnt, fp);
2669 1.79 christos thisleaplim = thisleapi + thisleapcnt;
2670 1.25 mlelstv for (i = thisleapi; i < thisleaplim; ++i) {
2671 1.31 christos zic_t todo;
2672 1.25 mlelstv
2673 1.25 mlelstv if (roll[i]) {
2674 1.25 mlelstv if (timecnt == 0 || trans[i] < ats[0]) {
2675 1.25 mlelstv j = 0;
2676 1.25 mlelstv while (isdsts[j])
2677 1.25 mlelstv if (++j >= typecnt) {
2678 1.25 mlelstv j = 0;
2679 1.25 mlelstv break;
2680 1.25 mlelstv }
2681 1.25 mlelstv } else {
2682 1.25 mlelstv j = 1;
2683 1.25 mlelstv while (j < timecnt &&
2684 1.25 mlelstv trans[i] >= ats[j])
2685 1.25 mlelstv ++j;
2686 1.25 mlelstv j = types[j - 1];
2687 1.25 mlelstv }
2688 1.75 christos todo = tadd(trans[i], -utoffs[j]);
2689 1.25 mlelstv } else todo = trans[i];
2690 1.74 christos puttzcodepass(todo, fp, pass);
2691 1.25 mlelstv puttzcode(corr[i], fp);
2692 1.25 mlelstv }
2693 1.79 christos if (thisleapexpiry) {
2694 1.79 christos /* Append a no-op leap correction indicating when the leap
2695 1.79 christos second table expires. Although this does not conform to
2696 1.79 christos Internet RFC 8536, most clients seem to accept this and
2697 1.79 christos the plan is to amend the RFC to allow this in version 4
2698 1.79 christos TZif files. */
2699 1.79 christos puttzcodepass(leapexpires, fp, pass);
2700 1.79 christos puttzcode(thisleaplim ? corr[thisleaplim - 1] : 0, fp);
2701 1.79 christos }
2702 1.75 christos if (stdcnt != 0)
2703 1.75 christos for (i = old0; i < typecnt; i++)
2704 1.74 christos if (!omittype[i])
2705 1.57 christos putc(ttisstds[i], fp);
2706 1.75 christos if (utcnt != 0)
2707 1.75 christos for (i = old0; i < typecnt; i++)
2708 1.74 christos if (!omittype[i])
2709 1.75 christos putc(ttisuts[i], fp);
2710 1.1 jtc }
2711 1.57 christos fprintf(fp, "\n%s\n", string);
2712 1.79 christos close_file(fp, directory, name, tempname);
2713 1.79 christos rename_dest(tempname, name);
2714 1.45 christos free(ats);
2715 1.1 jtc }
2716 1.1 jtc
2717 1.55 christos static char const *
2718 1.55 christos abbroffset(char *buf, zic_t offset)
2719 1.55 christos {
2720 1.55 christos char sign = '+';
2721 1.55 christos int seconds, minutes;
2722 1.55 christos
2723 1.55 christos if (offset < 0) {
2724 1.55 christos offset = -offset;
2725 1.55 christos sign = '-';
2726 1.55 christos }
2727 1.55 christos
2728 1.55 christos seconds = offset % SECSPERMIN;
2729 1.55 christos offset /= SECSPERMIN;
2730 1.55 christos minutes = offset % MINSPERHOUR;
2731 1.55 christos offset /= MINSPERHOUR;
2732 1.55 christos if (100 <= offset) {
2733 1.70 christos error(_("%%z UT offset magnitude exceeds 99:59:59"));
2734 1.55 christos return "%z";
2735 1.55 christos } else {
2736 1.55 christos char *p = buf;
2737 1.55 christos *p++ = sign;
2738 1.55 christos *p++ = '0' + offset / 10;
2739 1.55 christos *p++ = '0' + offset % 10;
2740 1.55 christos if (minutes | seconds) {
2741 1.55 christos *p++ = '0' + minutes / 10;
2742 1.55 christos *p++ = '0' + minutes % 10;
2743 1.55 christos if (seconds) {
2744 1.55 christos *p++ = '0' + seconds / 10;
2745 1.55 christos *p++ = '0' + seconds % 10;
2746 1.55 christos }
2747 1.55 christos }
2748 1.55 christos *p = '\0';
2749 1.55 christos return buf;
2750 1.55 christos }
2751 1.55 christos }
2752 1.55 christos
2753 1.82 christos static char const disable_percent_s[] = "";
2754 1.82 christos
2755 1.53 christos static size_t
2756 1.79 christos doabbr(char *abbr, size_t abbrlen, struct zone const *zp, const char *letters,
2757 1.75 christos bool isdst, zic_t save, bool doquotes)
2758 1.31 christos {
2759 1.31 christos char * cp;
2760 1.31 christos char * slashp;
2761 1.53 christos size_t len;
2762 1.55 christos char const *format = zp->z_format;
2763 1.25 mlelstv
2764 1.25 mlelstv slashp = strchr(format, '/');
2765 1.25 mlelstv if (slashp == NULL) {
2766 1.55 christos char letterbuf[PERCENT_Z_LEN_BOUND + 1];
2767 1.55 christos if (zp->z_format_specifier == 'z')
2768 1.75 christos letters = abbroffset(letterbuf, zp->z_stdoff + save);
2769 1.55 christos else if (!letters)
2770 1.55 christos letters = "%s";
2771 1.82 christos else if (letters == disable_percent_s)
2772 1.82 christos return 0;
2773 1.57 christos snprintf(abbr, abbrlen, format, letters);
2774 1.71 christos } else if (isdst) {
2775 1.57 christos strlcpy(abbr, slashp + 1, abbrlen);
2776 1.25 mlelstv } else {
2777 1.57 christos memcpy(abbr, format, slashp - format);
2778 1.25 mlelstv abbr[slashp - format] = '\0';
2779 1.25 mlelstv }
2780 1.53 christos len = strlen(abbr);
2781 1.25 mlelstv if (!doquotes)
2782 1.53 christos return len;
2783 1.47 christos for (cp = abbr; is_alpha(*cp); cp++)
2784 1.47 christos continue;
2785 1.25 mlelstv if (len > 0 && *cp == '\0')
2786 1.53 christos return len;
2787 1.25 mlelstv abbr[len + 2] = '\0';
2788 1.25 mlelstv abbr[len + 1] = '>';
2789 1.53 christos memmove(abbr + 1, abbr, len);
2790 1.25 mlelstv abbr[0] = '<';
2791 1.53 christos return len + 2;
2792 1.25 mlelstv }
2793 1.25 mlelstv
2794 1.25 mlelstv static void
2795 1.41 christos updateminmax(const zic_t x)
2796 1.25 mlelstv {
2797 1.25 mlelstv if (min_year > x)
2798 1.25 mlelstv min_year = x;
2799 1.25 mlelstv if (max_year < x)
2800 1.25 mlelstv max_year = x;
2801 1.25 mlelstv }
2802 1.25 mlelstv
2803 1.53 christos static int
2804 1.79 christos stringoffset(char *result, int resultlen, zic_t offset)
2805 1.31 christos {
2806 1.31 christos int hours;
2807 1.31 christos int minutes;
2808 1.31 christos int seconds;
2809 1.53 christos bool negative = offset < 0;
2810 1.53 christos int len = negative;
2811 1.25 mlelstv
2812 1.53 christos if (negative) {
2813 1.25 mlelstv offset = -offset;
2814 1.53 christos result[0] = '-';
2815 1.25 mlelstv }
2816 1.25 mlelstv seconds = offset % SECSPERMIN;
2817 1.25 mlelstv offset /= SECSPERMIN;
2818 1.25 mlelstv minutes = offset % MINSPERHOUR;
2819 1.25 mlelstv offset /= MINSPERHOUR;
2820 1.25 mlelstv hours = offset;
2821 1.43 christos if (hours >= HOURSPERDAY * DAYSPERWEEK) {
2822 1.25 mlelstv result[0] = '\0';
2823 1.53 christos return 0;
2824 1.25 mlelstv }
2825 1.79 christos len += snprintf(result + len, resultlen - len, "%d", hours);
2826 1.25 mlelstv if (minutes != 0 || seconds != 0) {
2827 1.79 christos len += snprintf(result + len, resultlen - len,
2828 1.79 christos ":%02d", minutes);
2829 1.25 mlelstv if (seconds != 0)
2830 1.79 christos len += snprintf(result + len, resultlen - len,
2831 1.79 christos ":%02d", seconds);
2832 1.25 mlelstv }
2833 1.53 christos return len;
2834 1.25 mlelstv }
2835 1.25 mlelstv
2836 1.25 mlelstv static int
2837 1.79 christos stringrule(char *result, int resultlen, struct rule *const rp, zic_t save, const zic_t stdoff)
2838 1.25 mlelstv {
2839 1.43 christos zic_t tod = rp->r_tod;
2840 1.79 christos int compat = 0, len = 0;
2841 1.25 mlelstv
2842 1.25 mlelstv if (rp->r_dycode == DC_DOM) {
2843 1.31 christos int month, total;
2844 1.25 mlelstv
2845 1.25 mlelstv if (rp->r_dayofmonth == 29 && rp->r_month == TM_FEBRUARY)
2846 1.25 mlelstv return -1;
2847 1.25 mlelstv total = 0;
2848 1.25 mlelstv for (month = 0; month < rp->r_month; ++month)
2849 1.25 mlelstv total += len_months[0][month];
2850 1.43 christos /* Omit the "J" in Jan and Feb, as that's shorter. */
2851 1.43 christos if (rp->r_month <= 1)
2852 1.79 christos len += snprintf(result + len, resultlen - len, "%d", total + rp->r_dayofmonth - 1);
2853 1.43 christos else
2854 1.79 christos len += snprintf(result + len, resultlen - len, "J%d", total + rp->r_dayofmonth);
2855 1.25 mlelstv } else {
2856 1.31 christos int week;
2857 1.43 christos int wday = rp->r_wday;
2858 1.43 christos int wdayoff;
2859 1.25 mlelstv
2860 1.25 mlelstv if (rp->r_dycode == DC_DOWGEQ) {
2861 1.43 christos wdayoff = (rp->r_dayofmonth - 1) % DAYSPERWEEK;
2862 1.43 christos if (wdayoff)
2863 1.43 christos compat = 2013;
2864 1.43 christos wday -= wdayoff;
2865 1.43 christos tod += wdayoff * SECSPERDAY;
2866 1.43 christos week = 1 + (rp->r_dayofmonth - 1) / DAYSPERWEEK;
2867 1.25 mlelstv } else if (rp->r_dycode == DC_DOWLEQ) {
2868 1.25 mlelstv if (rp->r_dayofmonth == len_months[1][rp->r_month])
2869 1.25 mlelstv week = 5;
2870 1.25 mlelstv else {
2871 1.43 christos wdayoff = rp->r_dayofmonth % DAYSPERWEEK;
2872 1.43 christos if (wdayoff)
2873 1.43 christos compat = 2013;
2874 1.43 christos wday -= wdayoff;
2875 1.43 christos tod += wdayoff * SECSPERDAY;
2876 1.29 christos week = rp->r_dayofmonth / DAYSPERWEEK;
2877 1.25 mlelstv }
2878 1.25 mlelstv } else return -1; /* "cannot happen" */
2879 1.43 christos if (wday < 0)
2880 1.43 christos wday += DAYSPERWEEK;
2881 1.79 christos len += snprintf(result + len, resultlen - len, "M%d.%d.%d",
2882 1.53 christos rp->r_month + 1, week, wday);
2883 1.25 mlelstv }
2884 1.75 christos if (rp->r_todisut)
2885 1.75 christos tod += stdoff;
2886 1.71 christos if (rp->r_todisstd && !rp->r_isdst)
2887 1.75 christos tod += save;
2888 1.25 mlelstv if (tod != 2 * SECSPERMIN * MINSPERHOUR) {
2889 1.79 christos if (len + 1 < resultlen)
2890 1.79 christos result[len++] = '/';
2891 1.79 christos if (! stringoffset(result + len, resultlen - len, tod))
2892 1.25 mlelstv return -1;
2893 1.43 christos if (tod < 0) {
2894 1.43 christos if (compat < 2013)
2895 1.43 christos compat = 2013;
2896 1.43 christos } else if (SECSPERDAY <= tod) {
2897 1.43 christos if (compat < 1994)
2898 1.43 christos compat = 1994;
2899 1.43 christos }
2900 1.25 mlelstv }
2901 1.43 christos return compat;
2902 1.43 christos }
2903 1.43 christos
2904 1.43 christos static int
2905 1.43 christos rule_cmp(struct rule const *a, struct rule const *b)
2906 1.43 christos {
2907 1.43 christos if (!a)
2908 1.43 christos return -!!b;
2909 1.43 christos if (!b)
2910 1.43 christos return 1;
2911 1.43 christos if (a->r_hiyear != b->r_hiyear)
2912 1.43 christos return a->r_hiyear < b->r_hiyear ? -1 : 1;
2913 1.79 christos if (a->r_hiyear == ZIC_MAX)
2914 1.79 christos return 0;
2915 1.43 christos if (a->r_month - b->r_month != 0)
2916 1.43 christos return a->r_month - b->r_month;
2917 1.43 christos return a->r_dayofmonth - b->r_dayofmonth;
2918 1.25 mlelstv }
2919 1.25 mlelstv
2920 1.43 christos static int
2921 1.75 christos stringzone(char *result, int resultlen, const struct zone *const zpfirst,
2922 1.31 christos const int zonecount)
2923 1.31 christos {
2924 1.31 christos const struct zone * zp;
2925 1.31 christos struct rule * rp;
2926 1.31 christos struct rule * stdrp;
2927 1.31 christos struct rule * dstrp;
2928 1.65 christos ptrdiff_t i;
2929 1.43 christos int compat = 0;
2930 1.43 christos int c;
2931 1.53 christos size_t len;
2932 1.53 christos int offsetlen;
2933 1.43 christos struct rule stdr, dstr;
2934 1.79 christos int dstcmp;
2935 1.79 christos struct rule *lastrp[2] = { NULL, NULL };
2936 1.79 christos struct zone zstr[2];
2937 1.79 christos struct zone const *stdzp;
2938 1.79 christos struct zone const *dstzp;
2939 1.25 mlelstv
2940 1.25 mlelstv result[0] = '\0';
2941 1.74 christos
2942 1.74 christos /* Internet RFC 8536 section 5.1 says to use an empty TZ string if
2943 1.74 christos future timestamps are truncated. */
2944 1.74 christos if (hi_time < max_time)
2945 1.74 christos return -1;
2946 1.74 christos
2947 1.25 mlelstv zp = zpfirst + zonecount - 1;
2948 1.25 mlelstv for (i = 0; i < zp->z_nrules; ++i) {
2949 1.79 christos struct rule **last;
2950 1.79 christos int cmp;
2951 1.25 mlelstv rp = &zp->z_rules[i];
2952 1.79 christos last = &lastrp[rp->r_isdst];
2953 1.79 christos cmp = rule_cmp(*last, rp);
2954 1.79 christos if (cmp < 0)
2955 1.79 christos *last = rp;
2956 1.79 christos else if (cmp == 0)
2957 1.79 christos return -1;
2958 1.79 christos }
2959 1.79 christos stdrp = lastrp[false];
2960 1.79 christos dstrp = lastrp[true];
2961 1.79 christos dstcmp = zp->z_nrules ? rule_cmp(dstrp, stdrp) : zp->z_isdst ? 1 : -1;
2962 1.79 christos stdzp = dstzp = zp;
2963 1.79 christos
2964 1.79 christos if (dstcmp < 0) {
2965 1.79 christos /* Standard time all year. */
2966 1.79 christos dstrp = NULL;
2967 1.79 christos } else if (0 < dstcmp) {
2968 1.79 christos /* DST all year. Use an abbreviation like
2969 1.79 christos "XXX3EDT4,0/0,J365/23" for EDT (-04) all year. */
2970 1.79 christos zic_t save = dstrp ? dstrp->r_save : zp->z_save;
2971 1.79 christos if (0 <= save)
2972 1.79 christos {
2973 1.79 christos /* Positive DST, the typical case for all-year DST.
2974 1.79 christos Fake a timezone with negative DST. */
2975 1.79 christos stdzp = &zstr[0];
2976 1.79 christos dstzp = &zstr[1];
2977 1.79 christos zstr[0].z_stdoff = zp->z_stdoff + 2 * save;
2978 1.79 christos zstr[0].z_format = "XXX"; /* Any 3 letters will do. */
2979 1.79 christos zstr[0].z_format_specifier = 0;
2980 1.79 christos zstr[1].z_stdoff = zstr[0].z_stdoff;
2981 1.79 christos zstr[1].z_format = zp->z_format;
2982 1.79 christos zstr[1].z_format_specifier = zp->z_format_specifier;
2983 1.79 christos }
2984 1.79 christos dstr.r_month = TM_JANUARY;
2985 1.79 christos dstr.r_dycode = DC_DOM;
2986 1.79 christos dstr.r_dayofmonth = 1;
2987 1.79 christos dstr.r_tod = 0;
2988 1.79 christos dstr.r_todisstd = dstr.r_todisut = false;
2989 1.79 christos dstr.r_isdst = true;
2990 1.79 christos dstr.r_save = save < 0 ? save : -save;
2991 1.79 christos dstr.r_abbrvar = dstrp ? dstrp->r_abbrvar : NULL;
2992 1.79 christos stdr.r_month = TM_DECEMBER;
2993 1.79 christos stdr.r_dycode = DC_DOM;
2994 1.79 christos stdr.r_dayofmonth = 31;
2995 1.79 christos stdr.r_tod = SECSPERDAY + dstr.r_save;
2996 1.79 christos stdr.r_todisstd = stdr.r_todisut = false;
2997 1.79 christos stdr.r_isdst = false;
2998 1.79 christos stdr.r_save = 0;
2999 1.79 christos stdr.r_abbrvar = save < 0 && stdrp ? stdrp->r_abbrvar : NULL;
3000 1.79 christos dstrp = &dstr;
3001 1.79 christos stdrp = &stdr;
3002 1.79 christos }
3003 1.79 christos len = doabbr(result, resultlen, stdzp, stdrp ? stdrp->r_abbrvar : NULL,
3004 1.79 christos false, 0, true);
3005 1.79 christos offsetlen = stringoffset(result + len, resultlen - len,
3006 1.79 christos -stdzp->z_stdoff);
3007 1.53 christos if (! offsetlen) {
3008 1.25 mlelstv result[0] = '\0';
3009 1.43 christos return -1;
3010 1.25 mlelstv }
3011 1.53 christos len += offsetlen;
3012 1.25 mlelstv if (dstrp == NULL)
3013 1.43 christos return compat;
3014 1.79 christos len += doabbr(result + len, resultlen - len, dstzp, dstrp->r_abbrvar,
3015 1.75 christos dstrp->r_isdst, dstrp->r_save, true);
3016 1.75 christos if (dstrp->r_save != SECSPERMIN * MINSPERHOUR) {
3017 1.79 christos offsetlen = stringoffset(result + len, resultlen - len,
3018 1.79 christos - (dstzp->z_stdoff + dstrp->r_save));
3019 1.53 christos if (! offsetlen) {
3020 1.51 christos result[0] = '\0';
3021 1.51 christos return -1;
3022 1.25 mlelstv }
3023 1.53 christos len += offsetlen;
3024 1.53 christos }
3025 1.53 christos result[len++] = ',';
3026 1.79 christos c = stringrule(result + len, resultlen - len, dstrp, dstrp->r_save, stdzp->z_stdoff);
3027 1.43 christos if (c < 0) {
3028 1.25 mlelstv result[0] = '\0';
3029 1.43 christos return -1;
3030 1.25 mlelstv }
3031 1.43 christos if (compat < c)
3032 1.43 christos compat = c;
3033 1.53 christos len += strlen(result + len);
3034 1.53 christos result[len++] = ',';
3035 1.79 christos c = stringrule(result + len, resultlen - len, stdrp, dstrp->r_save, stdzp->z_stdoff);
3036 1.43 christos if (c < 0) {
3037 1.25 mlelstv result[0] = '\0';
3038 1.43 christos return -1;
3039 1.1 jtc }
3040 1.43 christos if (compat < c)
3041 1.43 christos compat = c;
3042 1.43 christos return compat;
3043 1.1 jtc }
3044 1.1 jtc
3045 1.1 jtc static void
3046 1.65 christos outzone(const struct zone *zpfirst, ptrdiff_t zonecount)
3047 1.31 christos {
3048 1.65 christos ptrdiff_t i, j;
3049 1.31 christos zic_t starttime, untiltime;
3050 1.51 christos bool startttisstd;
3051 1.75 christos bool startttisut;
3052 1.31 christos char * startbuf;
3053 1.31 christos char * ab;
3054 1.31 christos char * envvar;
3055 1.36 christos size_t max_abbr_len;
3056 1.36 christos size_t max_envvar_len;
3057 1.51 christos bool prodstic; /* all rules are min to max */
3058 1.43 christos int compat;
3059 1.51 christos bool do_extend;
3060 1.75 christos char version;
3061 1.65 christos ptrdiff_t lastatmax = -1;
3062 1.68 christos zic_t max_year0;
3063 1.74 christos int defaulttype = -1;
3064 1.25 mlelstv
3065 1.79 christos check_for_signal();
3066 1.79 christos
3067 1.25 mlelstv max_abbr_len = 2 + max_format_len + max_abbrvar_len;
3068 1.25 mlelstv max_envvar_len = 2 * max_abbr_len + 5 * 9;
3069 1.53 christos startbuf = zic_malloc(max_abbr_len + 1);
3070 1.53 christos ab = zic_malloc(max_abbr_len + 1);
3071 1.53 christos envvar = zic_malloc(max_envvar_len + 1);
3072 1.1 jtc INITIALIZE(untiltime);
3073 1.1 jtc INITIALIZE(starttime);
3074 1.1 jtc /*
3075 1.1 jtc ** Now. . .finally. . .generate some useful data!
3076 1.1 jtc */
3077 1.1 jtc timecnt = 0;
3078 1.1 jtc typecnt = 0;
3079 1.1 jtc charcnt = 0;
3080 1.29 christos prodstic = zonecount == 1;
3081 1.1 jtc /*
3082 1.25 mlelstv ** Thanks to Earl Chew
3083 1.1 jtc ** for noting the need to unconditionally initialize startttisstd.
3084 1.1 jtc */
3085 1.51 christos startttisstd = false;
3086 1.75 christos startttisut = false;
3087 1.25 mlelstv min_year = max_year = EPOCH_YEAR;
3088 1.25 mlelstv if (leapseen) {
3089 1.25 mlelstv updateminmax(leapminyear);
3090 1.41 christos updateminmax(leapmaxyear + (leapmaxyear < ZIC_MAX));
3091 1.25 mlelstv }
3092 1.25 mlelstv for (i = 0; i < zonecount; ++i) {
3093 1.82 christos struct zone const *zp = &zpfirst[i];
3094 1.25 mlelstv if (i < zonecount - 1)
3095 1.25 mlelstv updateminmax(zp->z_untilrule.r_loyear);
3096 1.25 mlelstv for (j = 0; j < zp->z_nrules; ++j) {
3097 1.82 christos struct rule *rp = &zp->z_rules[j];
3098 1.25 mlelstv if (rp->r_lowasnum)
3099 1.25 mlelstv updateminmax(rp->r_loyear);
3100 1.25 mlelstv if (rp->r_hiwasnum)
3101 1.25 mlelstv updateminmax(rp->r_hiyear);
3102 1.41 christos if (rp->r_lowasnum || rp->r_hiwasnum)
3103 1.51 christos prodstic = false;
3104 1.25 mlelstv }
3105 1.25 mlelstv }
3106 1.25 mlelstv /*
3107 1.25 mlelstv ** Generate lots of data if a rule can't cover all future times.
3108 1.25 mlelstv */
3109 1.43 christos compat = stringzone(envvar, max_envvar_len + 1, zpfirst, zonecount);
3110 1.79 christos version = compat < 2013 ? '2' : '3';
3111 1.75 christos do_extend = compat < 0;
3112 1.44 christos if (noise) {
3113 1.44 christos if (!*envvar)
3114 1.43 christos warning("%s %s",
3115 1.43 christos _("no POSIX environment variable for zone"),
3116 1.43 christos zpfirst->z_name);
3117 1.75 christos else if (compat != 0) {
3118 1.43 christos /* Circa-COMPAT clients, and earlier clients, might
3119 1.43 christos not work for this zone when given dates before
3120 1.43 christos 1970 or after 2038. */
3121 1.43 christos warning(_("%s: pre-%d clients may mishandle"
3122 1.43 christos " distant timestamps"),
3123 1.43 christos zpfirst->z_name, compat);
3124 1.43 christos }
3125 1.43 christos }
3126 1.43 christos if (do_extend) {
3127 1.43 christos /*
3128 1.43 christos ** Search through a couple of extra years past the obvious
3129 1.43 christos ** 400, to avoid edge cases. For example, suppose a non-POSIX
3130 1.43 christos ** rule applies from 2012 onwards and has transitions in March
3131 1.43 christos ** and September, plus some one-off transitions in November
3132 1.43 christos ** 2013. If zic looked only at the last 400 years, it would
3133 1.43 christos ** set max_year=2413, with the intent that the 400 years 2014
3134 1.43 christos ** through 2413 will be repeated. The last transition listed
3135 1.43 christos ** in the tzfile would be in 2413-09, less than 400 years
3136 1.43 christos ** after the last one-off transition in 2013-11. Two years
3137 1.43 christos ** might be overkill, but with the kind of edge cases
3138 1.43 christos ** available we're not sure that one year would suffice.
3139 1.43 christos */
3140 1.43 christos enum { years_of_observations = YEARSPERREPEAT + 2 };
3141 1.43 christos
3142 1.43 christos if (min_year >= ZIC_MIN + years_of_observations)
3143 1.43 christos min_year -= years_of_observations;
3144 1.41 christos else min_year = ZIC_MIN;
3145 1.43 christos if (max_year <= ZIC_MAX - years_of_observations)
3146 1.43 christos max_year += years_of_observations;
3147 1.41 christos else max_year = ZIC_MAX;
3148 1.29 christos /*
3149 1.29 christos ** Regardless of any of the above,
3150 1.29 christos ** for a "proDSTic" zone which specifies that its rules
3151 1.29 christos ** always have and always will be in effect,
3152 1.29 christos ** we only need one cycle to define the zone.
3153 1.29 christos */
3154 1.29 christos if (prodstic) {
3155 1.29 christos min_year = 1900;
3156 1.43 christos max_year = min_year + years_of_observations;
3157 1.29 christos }
3158 1.25 mlelstv }
3159 1.82 christos max_year = max(max_year, (redundant_time / (SECSPERDAY * DAYSPERNYEAR)
3160 1.82 christos + EPOCH_YEAR + 1));
3161 1.75 christos max_year0 = max_year;
3162 1.75 christos if (want_bloat()) {
3163 1.75 christos /* For the benefit of older systems,
3164 1.75 christos generate data from 1900 through 2038. */
3165 1.75 christos if (min_year > 1900)
3166 1.25 mlelstv min_year = 1900;
3167 1.75 christos if (max_year < 2038)
3168 1.68 christos max_year = 2038;
3169 1.75 christos }
3170 1.75 christos
3171 1.79 christos if (min_time < lo_time || hi_time < max_time)
3172 1.79 christos unspecifiedtype = addtype(0, "-00", false, false, false);
3173 1.79 christos
3174 1.1 jtc for (i = 0; i < zonecount; ++i) {
3175 1.75 christos struct rule *prevrp = NULL;
3176 1.19 kleink /*
3177 1.19 kleink ** A guess that may well be corrected later.
3178 1.19 kleink */
3179 1.82 christos zic_t save = 0;
3180 1.82 christos struct zone const *zp = &zpfirst[i];
3181 1.82 christos bool usestart = i > 0 && (zp - 1)->z_untiltime > min_time;
3182 1.82 christos bool useuntil = i < (zonecount - 1);
3183 1.82 christos zic_t stdoff = zp->z_stdoff;
3184 1.82 christos zic_t startoff = stdoff;
3185 1.82 christos zic_t prevktime;
3186 1.82 christos INITIALIZE(prevktime);
3187 1.74 christos if (useuntil && zp->z_untiltime <= min_time)
3188 1.1 jtc continue;
3189 1.84 christos eat(zp->z_filenum, zp->z_linenum);
3190 1.5 jtc *startbuf = '\0';
3191 1.1 jtc if (zp->z_nrules == 0) {
3192 1.82 christos int type;
3193 1.75 christos save = zp->z_save;
3194 1.75 christos doabbr(startbuf, max_abbr_len + 1,
3195 1.75 christos zp, NULL, zp->z_isdst, save, false);
3196 1.75 christos type = addtype(oadd(zp->z_stdoff, save),
3197 1.74 christos startbuf, zp->z_isdst, startttisstd,
3198 1.75 christos startttisut);
3199 1.5 jtc if (usestart) {
3200 1.1 jtc addtt(starttime, type);
3201 1.51 christos usestart = false;
3202 1.74 christos } else
3203 1.74 christos defaulttype = type;
3204 1.82 christos } else {
3205 1.82 christos zic_t year;
3206 1.82 christos for (year = min_year; year <= max_year; ++year) {
3207 1.1 jtc if (useuntil && year > zp->z_untilrule.r_hiyear)
3208 1.1 jtc break;
3209 1.1 jtc /*
3210 1.1 jtc ** Mark which rules to do in the current year.
3211 1.1 jtc ** For those to do, calculate rpytime(rp, year);
3212 1.77 christos ** The former TYPE field was also considered here.
3213 1.1 jtc */
3214 1.1 jtc for (j = 0; j < zp->z_nrules; ++j) {
3215 1.82 christos zic_t one = 1;
3216 1.82 christos zic_t y2038_boundary = one << 31;
3217 1.82 christos struct rule *rp = &zp->z_rules[j];
3218 1.84 christos eats(zp->z_filenum, zp->z_linenum,
3219 1.84 christos rp->r_filenum, rp->r_linenum);
3220 1.1 jtc rp->r_todo = year >= rp->r_loyear &&
3221 1.77 christos year <= rp->r_hiyear;
3222 1.68 christos if (rp->r_todo) {
3223 1.1 jtc rp->r_temp = rpytime(rp, year);
3224 1.68 christos rp->r_todo
3225 1.68 christos = (rp->r_temp < y2038_boundary
3226 1.68 christos || year <= max_year0);
3227 1.68 christos }
3228 1.1 jtc }
3229 1.1 jtc for ( ; ; ) {
3230 1.65 christos ptrdiff_t k;
3231 1.31 christos zic_t jtime, ktime;
3232 1.38 christos zic_t offset;
3233 1.82 christos struct rule *rp;
3234 1.82 christos int type;
3235 1.1 jtc
3236 1.1 jtc INITIALIZE(ktime);
3237 1.1 jtc if (useuntil) {
3238 1.1 jtc /*
3239 1.43 christos ** Turn untiltime into UT
3240 1.75 christos ** assuming the current stdoff and
3241 1.75 christos ** save values.
3242 1.1 jtc */
3243 1.1 jtc untiltime = zp->z_untiltime;
3244 1.75 christos if (!zp->z_untilrule.r_todisut)
3245 1.1 jtc untiltime = tadd(untiltime,
3246 1.75 christos -stdoff);
3247 1.1 jtc if (!zp->z_untilrule.r_todisstd)
3248 1.1 jtc untiltime = tadd(untiltime,
3249 1.75 christos -save);
3250 1.49 christos }
3251 1.1 jtc /*
3252 1.1 jtc ** Find the rule (of those to do, if any)
3253 1.1 jtc ** that takes effect earliest in the year.
3254 1.1 jtc */
3255 1.1 jtc k = -1;
3256 1.1 jtc for (j = 0; j < zp->z_nrules; ++j) {
3257 1.82 christos struct rule *r = &zp->z_rules[j];
3258 1.82 christos if (!r->r_todo)
3259 1.1 jtc continue;
3260 1.84 christos eats(zp->z_filenum, zp->z_linenum,
3261 1.84 christos r->r_filenum, r->r_linenum);
3262 1.82 christos offset = r->r_todisut ? 0 : stdoff;
3263 1.82 christos if (!r->r_todisstd)
3264 1.75 christos offset = oadd(offset, save);
3265 1.82 christos jtime = r->r_temp;
3266 1.1 jtc if (jtime == min_time ||
3267 1.1 jtc jtime == max_time)
3268 1.1 jtc continue;
3269 1.1 jtc jtime = tadd(jtime, -offset);
3270 1.1 jtc if (k < 0 || jtime < ktime) {
3271 1.1 jtc k = j;
3272 1.1 jtc ktime = jtime;
3273 1.55 christos } else if (jtime == ktime) {
3274 1.55 christos char const *dup_rules_msg =
3275 1.55 christos _("two rules for same instant");
3276 1.84 christos eats(zp->z_filenum, zp->z_linenum,
3277 1.84 christos r->r_filenum, r->r_linenum);
3278 1.55 christos warning("%s", dup_rules_msg);
3279 1.82 christos r = &zp->z_rules[k];
3280 1.84 christos eats(zp->z_filenum, zp->z_linenum,
3281 1.84 christos r->r_filenum, r->r_linenum);
3282 1.55 christos error("%s", dup_rules_msg);
3283 1.1 jtc }
3284 1.1 jtc }
3285 1.1 jtc if (k < 0)
3286 1.1 jtc break; /* go on to next year */
3287 1.1 jtc rp = &zp->z_rules[k];
3288 1.51 christos rp->r_todo = false;
3289 1.82 christos if (useuntil && ktime >= untiltime) {
3290 1.82 christos if (!*startbuf
3291 1.82 christos && (oadd(zp->z_stdoff, rp->r_save)
3292 1.82 christos == startoff))
3293 1.82 christos doabbr(startbuf, max_abbr_len + 1,
3294 1.82 christos zp, rp->r_abbrvar,
3295 1.82 christos rp->r_isdst, rp->r_save,
3296 1.82 christos false);
3297 1.1 jtc break;
3298 1.82 christos }
3299 1.75 christos save = rp->r_save;
3300 1.5 jtc if (usestart && ktime == starttime)
3301 1.51 christos usestart = false;
3302 1.1 jtc if (usestart) {
3303 1.5 jtc if (ktime < starttime) {
3304 1.75 christos startoff = oadd(zp->z_stdoff,
3305 1.75 christos save);
3306 1.25 mlelstv doabbr(startbuf,
3307 1.25 mlelstv max_abbr_len + 1,
3308 1.55 christos zp,
3309 1.5 jtc rp->r_abbrvar,
3310 1.71 christos rp->r_isdst,
3311 1.75 christos rp->r_save,
3312 1.51 christos false);
3313 1.5 jtc continue;
3314 1.5 jtc }
3315 1.75 christos if (*startbuf == '\0'
3316 1.75 christos && startoff == oadd(zp->z_stdoff,
3317 1.75 christos save)) {
3318 1.25 mlelstv doabbr(startbuf,
3319 1.25 mlelstv max_abbr_len + 1,
3320 1.55 christos zp,
3321 1.25 mlelstv rp->r_abbrvar,
3322 1.71 christos rp->r_isdst,
3323 1.75 christos rp->r_save,
3324 1.51 christos false);
3325 1.1 jtc }
3326 1.1 jtc }
3327 1.84 christos eats(zp->z_filenum, zp->z_linenum,
3328 1.84 christos rp->r_filenum, rp->r_linenum);
3329 1.55 christos doabbr(ab, max_abbr_len + 1, zp, rp->r_abbrvar,
3330 1.75 christos rp->r_isdst, rp->r_save, false);
3331 1.75 christos offset = oadd(zp->z_stdoff, rp->r_save);
3332 1.75 christos if (!want_bloat() && !useuntil && !do_extend
3333 1.79 christos && prevrp && lo_time <= prevktime
3334 1.82 christos && redundant_time <= ktime
3335 1.75 christos && rp->r_hiyear == ZIC_MAX
3336 1.75 christos && prevrp->r_hiyear == ZIC_MAX)
3337 1.75 christos break;
3338 1.71 christos type = addtype(offset, ab, rp->r_isdst,
3339 1.75 christos rp->r_todisstd, rp->r_todisut);
3340 1.74 christos if (defaulttype < 0 && !rp->r_isdst)
3341 1.74 christos defaulttype = type;
3342 1.63 christos if (rp->r_hiyear == ZIC_MAX
3343 1.63 christos && ! (0 <= lastatmax
3344 1.63 christos && ktime < attypes[lastatmax].at))
3345 1.63 christos lastatmax = timecnt;
3346 1.1 jtc addtt(ktime, type);
3347 1.75 christos prevrp = rp;
3348 1.79 christos prevktime = ktime;
3349 1.1 jtc }
3350 1.82 christos }
3351 1.1 jtc }
3352 1.5 jtc if (usestart) {
3353 1.82 christos bool isdst = startoff != zp->z_stdoff;
3354 1.82 christos if (*startbuf == '\0' && zp->z_format)
3355 1.82 christos doabbr(startbuf, max_abbr_len + 1,
3356 1.82 christos zp, disable_percent_s,
3357 1.82 christos isdst, save, false);
3358 1.84 christos eat(zp->z_filenum, zp->z_linenum);
3359 1.5 jtc if (*startbuf == '\0')
3360 1.7 jtc error(_("can't determine time zone abbreviation to use just after until time"));
3361 1.74 christos else {
3362 1.82 christos int type = addtype(startoff, startbuf, isdst,
3363 1.82 christos startttisstd, startttisut);
3364 1.74 christos if (defaulttype < 0 && !isdst)
3365 1.74 christos defaulttype = type;
3366 1.74 christos addtt(starttime, type);
3367 1.74 christos }
3368 1.5 jtc }
3369 1.1 jtc /*
3370 1.1 jtc ** Now we may get to set starttime for the next zone line.
3371 1.1 jtc */
3372 1.1 jtc if (useuntil) {
3373 1.1 jtc startttisstd = zp->z_untilrule.r_todisstd;
3374 1.75 christos startttisut = zp->z_untilrule.r_todisut;
3375 1.5 jtc starttime = zp->z_untiltime;
3376 1.1 jtc if (!startttisstd)
3377 1.75 christos starttime = tadd(starttime, -save);
3378 1.75 christos if (!startttisut)
3379 1.75 christos starttime = tadd(starttime, -stdoff);
3380 1.1 jtc }
3381 1.1 jtc }
3382 1.74 christos if (defaulttype < 0)
3383 1.74 christos defaulttype = 0;
3384 1.63 christos if (0 <= lastatmax)
3385 1.63 christos attypes[lastatmax].dontmerge = true;
3386 1.43 christos if (do_extend) {
3387 1.43 christos /*
3388 1.43 christos ** If we're extending the explicitly listed observations
3389 1.43 christos ** for 400 years because we can't fill the POSIX-TZ field,
3390 1.43 christos ** check whether we actually ended up explicitly listing
3391 1.43 christos ** observations through that period. If there aren't any
3392 1.43 christos ** near the end of the 400-year period, add a redundant
3393 1.43 christos ** one at the end of the final year, to make it clear
3394 1.43 christos ** that we are claiming to have definite knowledge of
3395 1.43 christos ** the lack of transitions up to that point.
3396 1.43 christos */
3397 1.43 christos struct rule xr;
3398 1.43 christos struct attype *lastat;
3399 1.58 dholland memset(&xr, 0, sizeof(xr));
3400 1.43 christos xr.r_month = TM_JANUARY;
3401 1.43 christos xr.r_dycode = DC_DOM;
3402 1.43 christos xr.r_dayofmonth = 1;
3403 1.43 christos xr.r_tod = 0;
3404 1.74 christos for (lastat = attypes, i = 1; i < timecnt; i++)
3405 1.43 christos if (attypes[i].at > lastat->at)
3406 1.43 christos lastat = &attypes[i];
3407 1.74 christos if (!lastat || lastat->at < rpytime(&xr, max_year - 1)) {
3408 1.74 christos addtt(rpytime(&xr, max_year + 1),
3409 1.74 christos lastat ? lastat->type : defaulttype);
3410 1.63 christos attypes[timecnt - 1].dontmerge = true;
3411 1.43 christos }
3412 1.43 christos }
3413 1.74 christos writezone(zpfirst->z_name, envvar, version, defaulttype);
3414 1.31 christos free(startbuf);
3415 1.31 christos free(ab);
3416 1.31 christos free(envvar);
3417 1.1 jtc }
3418 1.1 jtc
3419 1.1 jtc static void
3420 1.55 christos addtt(zic_t starttime, int type)
3421 1.1 jtc {
3422 1.45 christos attypes = growalloc(attypes, sizeof *attypes, timecnt, &timecnt_alloc);
3423 1.5 jtc attypes[timecnt].at = starttime;
3424 1.63 christos attypes[timecnt].dontmerge = false;
3425 1.5 jtc attypes[timecnt].type = type;
3426 1.1 jtc ++timecnt;
3427 1.1 jtc }
3428 1.1 jtc
3429 1.1 jtc static int
3430 1.75 christos addtype(zic_t utoff, char const *abbr, bool isdst, bool ttisstd, bool ttisut)
3431 1.1 jtc {
3432 1.31 christos int i, j;
3433 1.1 jtc
3434 1.75 christos if (! (-1L - 2147483647L <= utoff && utoff <= 2147483647L)) {
3435 1.75 christos error(_("UT offset out of range"));
3436 1.75 christos exit(EXIT_FAILURE);
3437 1.75 christos }
3438 1.75 christos if (!want_bloat())
3439 1.75 christos ttisstd = ttisut = false;
3440 1.75 christos
3441 1.75 christos for (j = 0; j < charcnt; ++j)
3442 1.75 christos if (strcmp(&chars[j], abbr) == 0)
3443 1.75 christos break;
3444 1.75 christos if (j == charcnt)
3445 1.75 christos newabbr(abbr);
3446 1.75 christos else {
3447 1.75 christos /* If there's already an entry, return its index. */
3448 1.75 christos for (i = 0; i < typecnt; i++)
3449 1.75 christos if (utoff == utoffs[i] && isdst == isdsts[i] && j == desigidx[i]
3450 1.75 christos && ttisstd == ttisstds[i] && ttisut == ttisuts[i])
3451 1.75 christos return i;
3452 1.1 jtc }
3453 1.1 jtc /*
3454 1.1 jtc ** There isn't one; add a new one, unless there are already too
3455 1.1 jtc ** many.
3456 1.1 jtc */
3457 1.1 jtc if (typecnt >= TZ_MAX_TYPES) {
3458 1.5 jtc error(_("too many local time types"));
3459 1.25 mlelstv exit(EXIT_FAILURE);
3460 1.25 mlelstv }
3461 1.75 christos i = typecnt++;
3462 1.75 christos utoffs[i] = utoff;
3463 1.1 jtc isdsts[i] = isdst;
3464 1.1 jtc ttisstds[i] = ttisstd;
3465 1.75 christos ttisuts[i] = ttisut;
3466 1.75 christos desigidx[i] = j;
3467 1.1 jtc return i;
3468 1.1 jtc }
3469 1.1 jtc
3470 1.1 jtc static void
3471 1.76 christos leapadd(zic_t t, int correction, int rolling)
3472 1.1 jtc {
3473 1.76 christos int i;
3474 1.1 jtc
3475 1.76 christos if (TZ_MAX_LEAPS <= leapcnt) {
3476 1.5 jtc error(_("too many leap seconds"));
3477 1.25 mlelstv exit(EXIT_FAILURE);
3478 1.1 jtc }
3479 1.79 christos if (rolling && (lo_time != min_time || hi_time != max_time)) {
3480 1.79 christos error(_("Rolling leap seconds not supported with -r"));
3481 1.79 christos exit(EXIT_FAILURE);
3482 1.79 christos }
3483 1.1 jtc for (i = 0; i < leapcnt; ++i)
3484 1.69 christos if (t <= trans[i])
3485 1.1 jtc break;
3486 1.76 christos memmove(&trans[i + 1], &trans[i], (leapcnt - i) * sizeof *trans);
3487 1.76 christos memmove(&corr[i + 1], &corr[i], (leapcnt - i) * sizeof *corr);
3488 1.76 christos memmove(&roll[i + 1], &roll[i], (leapcnt - i) * sizeof *roll);
3489 1.76 christos trans[i] = t;
3490 1.76 christos corr[i] = correction;
3491 1.76 christos roll[i] = rolling;
3492 1.76 christos ++leapcnt;
3493 1.1 jtc }
3494 1.1 jtc
3495 1.1 jtc static void
3496 1.25 mlelstv adjleap(void)
3497 1.1 jtc {
3498 1.31 christos int i;
3499 1.38 christos zic_t last = 0;
3500 1.69 christos zic_t prevtrans = 0;
3501 1.1 jtc
3502 1.1 jtc /*
3503 1.1 jtc ** propagate leap seconds forward
3504 1.1 jtc */
3505 1.1 jtc for (i = 0; i < leapcnt; ++i) {
3506 1.69 christos if (trans[i] - prevtrans < 28 * SECSPERDAY) {
3507 1.69 christos error(_("Leap seconds too close together"));
3508 1.69 christos exit(EXIT_FAILURE);
3509 1.69 christos }
3510 1.69 christos prevtrans = trans[i];
3511 1.1 jtc trans[i] = tadd(trans[i], last);
3512 1.1 jtc last = corr[i] += last;
3513 1.1 jtc }
3514 1.76 christos
3515 1.76 christos if (0 <= leapexpires) {
3516 1.76 christos leapexpires = oadd(leapexpires, last);
3517 1.76 christos if (! (leapcnt == 0 || (trans[leapcnt - 1] < leapexpires))) {
3518 1.76 christos error(_("last Leap time does not precede Expires time"));
3519 1.76 christos exit(EXIT_FAILURE);
3520 1.76 christos }
3521 1.76 christos }
3522 1.1 jtc }
3523 1.1 jtc
3524 1.47 christos /* Is A a space character in the C locale? */
3525 1.51 christos static bool
3526 1.47 christos is_space(char a)
3527 1.1 jtc {
3528 1.47 christos switch (a) {
3529 1.47 christos default:
3530 1.51 christos return false;
3531 1.47 christos case ' ': case '\f': case '\n': case '\r': case '\t': case '\v':
3532 1.51 christos return true;
3533 1.47 christos }
3534 1.47 christos }
3535 1.47 christos
3536 1.47 christos /* Is A an alphabetic character in the C locale? */
3537 1.51 christos static bool
3538 1.47 christos is_alpha(char a)
3539 1.47 christos {
3540 1.47 christos switch (a) {
3541 1.47 christos default:
3542 1.74 christos return false;
3543 1.47 christos case 'A': case 'B': case 'C': case 'D': case 'E': case 'F': case 'G':
3544 1.47 christos case 'H': case 'I': case 'J': case 'K': case 'L': case 'M': case 'N':
3545 1.47 christos case 'O': case 'P': case 'Q': case 'R': case 'S': case 'T': case 'U':
3546 1.47 christos case 'V': case 'W': case 'X': case 'Y': case 'Z':
3547 1.47 christos case 'a': case 'b': case 'c': case 'd': case 'e': case 'f': case 'g':
3548 1.47 christos case 'h': case 'i': case 'j': case 'k': case 'l': case 'm': case 'n':
3549 1.47 christos case 'o': case 'p': case 'q': case 'r': case 's': case 't': case 'u':
3550 1.47 christos case 'v': case 'w': case 'x': case 'y': case 'z':
3551 1.51 christos return true;
3552 1.47 christos }
3553 1.47 christos }
3554 1.47 christos
3555 1.47 christos /* If A is an uppercase character in the C locale, return its lowercase
3556 1.47 christos counterpart. Otherwise, return A. */
3557 1.47 christos static char
3558 1.47 christos lowerit(char a)
3559 1.47 christos {
3560 1.47 christos switch (a) {
3561 1.47 christos default: return a;
3562 1.47 christos case 'A': return 'a'; case 'B': return 'b'; case 'C': return 'c';
3563 1.47 christos case 'D': return 'd'; case 'E': return 'e'; case 'F': return 'f';
3564 1.47 christos case 'G': return 'g'; case 'H': return 'h'; case 'I': return 'i';
3565 1.47 christos case 'J': return 'j'; case 'K': return 'k'; case 'L': return 'l';
3566 1.47 christos case 'M': return 'm'; case 'N': return 'n'; case 'O': return 'o';
3567 1.47 christos case 'P': return 'p'; case 'Q': return 'q'; case 'R': return 'r';
3568 1.47 christos case 'S': return 's'; case 'T': return 't'; case 'U': return 'u';
3569 1.47 christos case 'V': return 'v'; case 'W': return 'w'; case 'X': return 'x';
3570 1.47 christos case 'Y': return 'y'; case 'Z': return 'z';
3571 1.47 christos }
3572 1.1 jtc }
3573 1.1 jtc
3574 1.31 christos /* case-insensitive equality */
3575 1.73 christos static ATTRIBUTE_PURE bool
3576 1.31 christos ciequal(const char *ap, const char *bp)
3577 1.1 jtc {
3578 1.1 jtc while (lowerit(*ap) == lowerit(*bp++))
3579 1.1 jtc if (*ap++ == '\0')
3580 1.51 christos return true;
3581 1.51 christos return false;
3582 1.1 jtc }
3583 1.1 jtc
3584 1.73 christos static ATTRIBUTE_PURE bool
3585 1.31 christos itsabbr(const char *abbr, const char *word)
3586 1.1 jtc {
3587 1.1 jtc if (lowerit(*abbr) != lowerit(*word))
3588 1.51 christos return false;
3589 1.1 jtc ++word;
3590 1.1 jtc while (*++abbr != '\0')
3591 1.3 jtc do {
3592 1.3 jtc if (*word == '\0')
3593 1.51 christos return false;
3594 1.3 jtc } while (lowerit(*word++) != lowerit(*abbr));
3595 1.51 christos return true;
3596 1.1 jtc }
3597 1.1 jtc
3598 1.69 christos /* Return true if ABBR is an initial prefix of WORD, ignoring ASCII case. */
3599 1.69 christos
3600 1.73 christos static ATTRIBUTE_PURE bool
3601 1.69 christos ciprefix(char const *abbr, char const *word)
3602 1.69 christos {
3603 1.69 christos do
3604 1.69 christos if (!*abbr)
3605 1.69 christos return true;
3606 1.69 christos while (lowerit(*abbr++) == lowerit(*word++));
3607 1.69 christos
3608 1.69 christos return false;
3609 1.69 christos }
3610 1.69 christos
3611 1.69 christos static const struct lookup *
3612 1.55 christos byword(const char *word, const struct lookup *table)
3613 1.1 jtc {
3614 1.31 christos const struct lookup * foundlp;
3615 1.31 christos const struct lookup * lp;
3616 1.1 jtc
3617 1.1 jtc if (word == NULL || table == NULL)
3618 1.1 jtc return NULL;
3619 1.69 christos
3620 1.69 christos /* If TABLE is LASTS and the word starts with "last" followed
3621 1.69 christos by a non-'-', skip the "last" and look in WDAY_NAMES instead.
3622 1.69 christos Warn about any usage of the undocumented prefix "last-". */
3623 1.69 christos if (table == lasts && ciprefix("last", word) && word[4]) {
3624 1.69 christos if (word[4] == '-')
3625 1.69 christos warning(_("\"%s\" is undocumented; use \"last%s\" instead"),
3626 1.69 christos word, word + 5);
3627 1.69 christos else {
3628 1.69 christos word += 4;
3629 1.69 christos table = wday_names;
3630 1.69 christos }
3631 1.69 christos }
3632 1.69 christos
3633 1.1 jtc /*
3634 1.1 jtc ** Look for exact match.
3635 1.1 jtc */
3636 1.1 jtc for (lp = table; lp->l_word != NULL; ++lp)
3637 1.1 jtc if (ciequal(word, lp->l_word))
3638 1.1 jtc return lp;
3639 1.1 jtc /*
3640 1.1 jtc ** Look for inexact match.
3641 1.1 jtc */
3642 1.1 jtc foundlp = NULL;
3643 1.1 jtc for (lp = table; lp->l_word != NULL; ++lp)
3644 1.69 christos if (ciprefix(word, lp->l_word)) {
3645 1.1 jtc if (foundlp == NULL)
3646 1.1 jtc foundlp = lp;
3647 1.1 jtc else return NULL; /* multiple inexact matches */
3648 1.11 jtc }
3649 1.69 christos
3650 1.75 christos if (foundlp && noise) {
3651 1.75 christos /* Warn about any backward-compatibility issue with pre-2017c zic. */
3652 1.69 christos bool pre_2017c_match = false;
3653 1.69 christos for (lp = table; lp->l_word; lp++)
3654 1.69 christos if (itsabbr(word, lp->l_word)) {
3655 1.69 christos if (pre_2017c_match) {
3656 1.69 christos warning(_("\"%s\" is ambiguous in pre-2017c zic"), word);
3657 1.69 christos break;
3658 1.69 christos }
3659 1.69 christos pre_2017c_match = true;
3660 1.69 christos }
3661 1.69 christos }
3662 1.69 christos
3663 1.1 jtc return foundlp;
3664 1.1 jtc }
3665 1.1 jtc
3666 1.82 christos static int
3667 1.82 christos getfields(char *cp, char **array, int arrayelts)
3668 1.1 jtc {
3669 1.31 christos char * dp;
3670 1.31 christos int nsubs;
3671 1.1 jtc
3672 1.1 jtc nsubs = 0;
3673 1.1 jtc for ( ; ; ) {
3674 1.82 christos char *dstart;
3675 1.47 christos while (is_space(*cp))
3676 1.25 mlelstv ++cp;
3677 1.1 jtc if (*cp == '\0' || *cp == '#')
3678 1.1 jtc break;
3679 1.82 christos dstart = dp = cp;
3680 1.1 jtc do {
3681 1.1 jtc if ((*dp = *cp++) != '"')
3682 1.1 jtc ++dp;
3683 1.1 jtc else while ((*dp = *cp++) != '"')
3684 1.1 jtc if (*dp != '\0')
3685 1.1 jtc ++dp;
3686 1.25 mlelstv else {
3687 1.65 christos error(_("Odd number of quotation marks"));
3688 1.65 christos exit(EXIT_FAILURE);
3689 1.25 mlelstv }
3690 1.47 christos } while (*cp && *cp != '#' && !is_space(*cp));
3691 1.47 christos if (is_space(*cp))
3692 1.1 jtc ++cp;
3693 1.1 jtc *dp = '\0';
3694 1.82 christos if (nsubs == arrayelts) {
3695 1.82 christos error(_("Too many input fields"));
3696 1.82 christos exit(EXIT_FAILURE);
3697 1.82 christos }
3698 1.82 christos array[nsubs++] = dstart + (*dstart == '-' && dp == dstart + 1);
3699 1.1 jtc }
3700 1.82 christos return nsubs;
3701 1.1 jtc }
3702 1.1 jtc
3703 1.53 christos static _Noreturn void
3704 1.53 christos time_overflow(void)
3705 1.53 christos {
3706 1.53 christos error(_("time overflow"));
3707 1.53 christos exit(EXIT_FAILURE);
3708 1.53 christos }
3709 1.53 christos
3710 1.41 christos static ATTRIBUTE_PURE zic_t
3711 1.55 christos oadd(zic_t t1, zic_t t2)
3712 1.1 jtc {
3713 1.53 christos if (t1 < 0 ? t2 < ZIC_MIN - t1 : ZIC_MAX - t1 < t2)
3714 1.53 christos time_overflow();
3715 1.31 christos return t1 + t2;
3716 1.1 jtc }
3717 1.1 jtc
3718 1.43 christos static ATTRIBUTE_PURE zic_t
3719 1.55 christos tadd(zic_t t1, zic_t t2)
3720 1.1 jtc {
3721 1.53 christos if (t1 < 0) {
3722 1.53 christos if (t2 < min_time - t1) {
3723 1.53 christos if (t1 != min_time)
3724 1.53 christos time_overflow();
3725 1.53 christos return min_time;
3726 1.53 christos }
3727 1.53 christos } else {
3728 1.53 christos if (max_time - t1 < t2) {
3729 1.53 christos if (t1 != max_time)
3730 1.53 christos time_overflow();
3731 1.53 christos return max_time;
3732 1.53 christos }
3733 1.1 jtc }
3734 1.31 christos return t1 + t2;
3735 1.1 jtc }
3736 1.1 jtc
3737 1.1 jtc /*
3738 1.47 christos ** Given a rule, and a year, compute the date (in seconds since January 1,
3739 1.47 christos ** 1970, 00:00 LOCAL time) in that year that the rule refers to.
3740 1.1 jtc */
3741 1.1 jtc
3742 1.25 mlelstv static zic_t
3743 1.55 christos rpytime(const struct rule *rp, zic_t wantedy)
3744 1.31 christos {
3745 1.41 christos int m, i;
3746 1.38 christos zic_t dayoff; /* with a nod to Margaret O. */
3747 1.41 christos zic_t t, y;
3748 1.79 christos int yrem;
3749 1.1 jtc
3750 1.41 christos if (wantedy == ZIC_MIN)
3751 1.1 jtc return min_time;
3752 1.41 christos if (wantedy == ZIC_MAX)
3753 1.1 jtc return max_time;
3754 1.1 jtc m = TM_JANUARY;
3755 1.1 jtc y = EPOCH_YEAR;
3756 1.79 christos
3757 1.79 christos /* dayoff = floor((wantedy - y) / YEARSPERREPEAT) * DAYSPERREPEAT,
3758 1.79 christos sans overflow. */
3759 1.79 christos yrem = wantedy % YEARSPERREPEAT - y % YEARSPERREPEAT;
3760 1.79 christos dayoff = ((wantedy / YEARSPERREPEAT - y / YEARSPERREPEAT
3761 1.79 christos + yrem / YEARSPERREPEAT - (yrem % YEARSPERREPEAT < 0))
3762 1.79 christos * DAYSPERREPEAT);
3763 1.79 christos /* wantedy = y + ((wantedy - y) mod YEARSPERREPEAT), sans overflow. */
3764 1.79 christos wantedy = y + (yrem + 2 * YEARSPERREPEAT) % YEARSPERREPEAT;
3765 1.79 christos
3766 1.1 jtc while (wantedy != y) {
3767 1.79 christos i = len_years[isleap(y)];
3768 1.41 christos dayoff = oadd(dayoff, i);
3769 1.79 christos y++;
3770 1.1 jtc }
3771 1.1 jtc while (m != rp->r_month) {
3772 1.1 jtc i = len_months[isleap(y)][m];
3773 1.41 christos dayoff = oadd(dayoff, i);
3774 1.1 jtc ++m;
3775 1.1 jtc }
3776 1.1 jtc i = rp->r_dayofmonth;
3777 1.1 jtc if (m == TM_FEBRUARY && i == 29 && !isleap(y)) {
3778 1.1 jtc if (rp->r_dycode == DC_DOWLEQ)
3779 1.1 jtc --i;
3780 1.1 jtc else {
3781 1.5 jtc error(_("use of 2/29 in non leap-year"));
3782 1.25 mlelstv exit(EXIT_FAILURE);
3783 1.1 jtc }
3784 1.1 jtc }
3785 1.1 jtc --i;
3786 1.41 christos dayoff = oadd(dayoff, i);
3787 1.1 jtc if (rp->r_dycode == DC_DOWGEQ || rp->r_dycode == DC_DOWLEQ) {
3788 1.1 jtc /*
3789 1.1 jtc ** Don't trust mod of negative numbers.
3790 1.1 jtc */
3791 1.79 christos zic_t wday = ((EPOCH_WDAY + dayoff % DAYSPERWEEK + DAYSPERWEEK)
3792 1.79 christos % DAYSPERWEEK);
3793 1.41 christos while (wday != rp->r_wday)
3794 1.1 jtc if (rp->r_dycode == DC_DOWGEQ) {
3795 1.38 christos dayoff = oadd(dayoff, (zic_t) 1);
3796 1.79 christos if (++wday >= DAYSPERWEEK)
3797 1.1 jtc wday = 0;
3798 1.1 jtc ++i;
3799 1.1 jtc } else {
3800 1.38 christos dayoff = oadd(dayoff, (zic_t) -1);
3801 1.1 jtc if (--wday < 0)
3802 1.79 christos wday = DAYSPERWEEK - 1;
3803 1.1 jtc --i;
3804 1.1 jtc }
3805 1.1 jtc if (i < 0 || i >= len_months[isleap(y)][m]) {
3806 1.23 kleink if (noise)
3807 1.47 christos warning(_("rule goes past start/end of month; \
3808 1.25 mlelstv will not work with pre-2004 versions of zic"));
3809 1.1 jtc }
3810 1.1 jtc }
3811 1.34 martin if (dayoff < min_time / SECSPERDAY)
3812 1.20 kleink return min_time;
3813 1.34 martin if (dayoff > max_time / SECSPERDAY)
3814 1.20 kleink return max_time;
3815 1.25 mlelstv t = (zic_t) dayoff * SECSPERDAY;
3816 1.1 jtc return tadd(t, rp->r_tod);
3817 1.1 jtc }
3818 1.1 jtc
3819 1.1 jtc static void
3820 1.55 christos newabbr(const char *string)
3821 1.1 jtc {
3822 1.31 christos int i;
3823 1.1 jtc
3824 1.25 mlelstv if (strcmp(string, GRANDPARENTED) != 0) {
3825 1.31 christos const char * cp;
3826 1.31 christos const char * mp;
3827 1.25 mlelstv
3828 1.25 mlelstv cp = string;
3829 1.31 christos mp = NULL;
3830 1.55 christos while (is_alpha(*cp) || ('0' <= *cp && *cp <= '9')
3831 1.55 christos || *cp == '-' || *cp == '+')
3832 1.25 mlelstv ++cp;
3833 1.35 christos if (noise && cp - string < 3)
3834 1.55 christos mp = _("time zone abbreviation has fewer than 3 characters");
3835 1.25 mlelstv if (cp - string > ZIC_MAX_ABBR_LEN_WO_WARN)
3836 1.55 christos mp = _("time zone abbreviation has too many characters");
3837 1.25 mlelstv if (*cp != '\0')
3838 1.31 christos mp = _("time zone abbreviation differs from POSIX standard");
3839 1.43 christos if (mp != NULL)
3840 1.43 christos warning("%s (%s)", mp, string);
3841 1.25 mlelstv }
3842 1.1 jtc i = strlen(string) + 1;
3843 1.1 jtc if (charcnt + i > TZ_MAX_CHARS) {
3844 1.40 christos error(_("too many, or too long, time zone abbreviations"));
3845 1.25 mlelstv exit(EXIT_FAILURE);
3846 1.1 jtc }
3847 1.57 christos strncpy(&chars[charcnt], string, sizeof(chars) - charcnt - 1);
3848 1.41 christos charcnt += i;
3849 1.1 jtc }
3850 1.63 christos
3851 1.63 christos /* Ensure that the directories of ARGNAME exist, by making any missing
3852 1.63 christos ones. If ANCESTORS, do this only for ARGNAME's ancestors; otherwise,
3853 1.68 christos do it for ARGNAME too. Exit with failure if there is trouble.
3854 1.79 christos Do not consider an existing file to be trouble. */
3855 1.63 christos static void
3856 1.63 christos mkdirs(char const *argname, bool ancestors)
3857 1.1 jtc {
3858 1.31 christos char * name;
3859 1.31 christos char * cp;
3860 1.1 jtc
3861 1.1 jtc cp = name = ecpyalloc(argname);
3862 1.63 christos
3863 1.69 christos /* On MS-Windows systems, do not worry about drive letters or
3864 1.69 christos backslashes, as this should suffice in practice. Time zone
3865 1.69 christos names do not use drive letters and backslashes. If the -d
3866 1.69 christos option of zic does not name an already-existing directory,
3867 1.69 christos it can use slashes to separate the already-existing
3868 1.69 christos ancestor prefix from the to-be-created subdirectories. */
3869 1.69 christos
3870 1.63 christos /* Do not mkdir a root directory, as it must exist. */
3871 1.63 christos while (*cp == '/')
3872 1.63 christos cp++;
3873 1.63 christos
3874 1.63 christos while (cp && ((cp = strchr(cp, '/')) || !ancestors)) {
3875 1.63 christos if (cp)
3876 1.63 christos *cp = '\0';
3877 1.47 christos /*
3878 1.47 christos ** Try to create it. It's OK if creation fails because
3879 1.47 christos ** the directory already exists, perhaps because some
3880 1.63 christos ** other process just created it. For simplicity do
3881 1.63 christos ** not check first whether it already exists, as that
3882 1.63 christos ** is checked anyway if the mkdir fails.
3883 1.47 christos */
3884 1.47 christos if (mkdir(name, MKDIR_UMASK) != 0) {
3885 1.79 christos /* Do not report an error if err == EEXIST, because
3886 1.79 christos some other process might have made the directory
3887 1.81 christos in the meantime. Likewise for ENOSYS, because
3888 1.81 christos Solaris 10 mkdir fails with ENOSYS if the
3889 1.83 christos directory is an automounted mount point.
3890 1.83 christos Likewise for EACCES, since mkdir can fail
3891 1.83 christos with EACCES merely because the parent directory
3892 1.83 christos is unwritable. Likewise for most other error
3893 1.83 christos numbers. */
3894 1.47 christos int err = errno;
3895 1.83 christos if (err == ELOOP || err == ENAMETOOLONG
3896 1.83 christos || err == ENOENT || err == ENOTDIR) {
3897 1.63 christos error(_("%s: Can't create directory %s: %s"),
3898 1.63 christos progname, name, strerror(err));
3899 1.63 christos exit(EXIT_FAILURE);
3900 1.63 christos }
3901 1.1 jtc }
3902 1.63 christos if (cp)
3903 1.63 christos *cp++ = '/';
3904 1.1 jtc }
3905 1.31 christos free(name);
3906 1.1 jtc }
3907