# Check tz tables for consistency. # Contributed by Paul Eggert. This file is in the public domain. BEGIN { FS = "\t" if (!iso_table) iso_table = "iso3166.tab" if (!zone_table) zone_table = "zone1970.tab" if (!want_warnings) want_warnings = -1 while (getline >"/dev/stderr" status = 1 } cc = $1 name = $2 if (cc !~ /^[A-Z][A-Z]$/) { printf "%s:%d: invalid country code '%s'\n", \ iso_table, iso_NR, cc >>"/dev/stderr" status = 1 } if (cc <= cc0) { if (cc == cc0) { s = "duplicate"; } else { s = "out of order"; } printf "%s:%d: country code '%s' is %s\n", \ iso_table, iso_NR, cc, s \ >>"/dev/stderr" status = 1 } cc0 = cc if (name2cc[name]) { printf "%s:%d: '%s' and '%s' have the same name\n", \ iso_table, iso_NR, name2cc[name], cc \ >>"/dev/stderr" status = 1 } name2cc[name] = cc cc2name[cc] = name cc2NR[cc] = iso_NR } cc0 = "" while (getline >"/dev/stderr" status = 1 } ccs = input_ccs[zone_NR] = $1 coordinates = $2 tz = $3 comments = input_comments[zone_NR] = $4 split(ccs, cca, /,/) cc = cca[1] # Don't complain about a special case for Crimea in zone.tab. # FIXME: zone.tab should be removed, since it is obsolete. # Or at least put just "XX" in its country-code column. if (cc < cc0 \ && !(zone_table == "zone.tab" \ && tz0 == "Europe/Simferopol")) { printf "%s:%d: country code '%s' is out of order\n", \ zone_table, zone_NR, cc >>"/dev/stderr" status = 1 } cc0 = cc tz0 = tz tztab[tz] = 1 tz2NR[tz] = zone_NR for (i in cca) { cc = cca[i] if (cc2name[cc]) { cc_used[cc]++ } else if (! (cc == "XX" && zone_table == "zonenow.tab")) { printf "%s:%d: %s: unknown country code\n", \ zone_table, zone_NR, cc >>"/dev/stderr" status = 1 } } if (coordinates !~ /^[-+][0-9][0-9][0-5][0-9][-+][01][0-9][0-9][0-5][0-9]$/ \ && coordinates !~ /^[-+][0-9][0-9][0-5][0-9][0-5][0-9][-+][01][0-9][0-9][0-5][0-9][0-5][0-9]$/) { printf "%s:%d: %s: invalid coordinates\n", \ zone_table, zone_NR, coordinates >>"/dev/stderr" status = 1 } } for (i = 1; i <= zone_NR; i++) { ccs = input_ccs[i] if (!ccs) continue comments = input_comments[i] split(ccs, cca, /,/) used_max = 0 for (j in cca) { cc = cca[j] if (used_max < cc_used[cc]) { used_max = cc_used[cc] used_max_cc = cc } } if (used_max <= 1 && comments && zone_table != "zonenow.tab") { printf "%s:%d: unnecessary comment '%s'\n", \ zone_table, i, comments \ >>"/dev/stderr" status = 1 } else if (1 < used_max && !comments) { printf "%s:%d: missing comment for %s\n", \ zone_table, i, used_max_cc \ >>"/dev/stderr" status = 1 } } FS = " " } $1 ~ /^#/ { next } { tz = rules = "" if ($1 == "Zone") { tz = $2 ruleUsed[$4] = 1 if ($5 ~ /%/) rulePercentUsed[$4] = 1 } else if ($1 == "Link" && zone_table == "zone.tab") { # Ignore Link commands if source and destination basenames # are identical, e.g. Europe/Istanbul versus Asia/Istanbul. src = $2 dst = $3 while ((i = index(src, "/"))) src = substr(src, i+1) while ((i = index(dst, "/"))) dst = substr(dst, i+1) if (src != dst) tz = $3 } else if ($1 == "Rule") { ruleDefined[$2] = 1 if ($10 != "-") ruleLetters[$2] = 1 } else { ruleUsed[$2] = 1 if ($3 ~ /%/) rulePercentUsed[$2] = 1 } if (tz && tz ~ /\// && tz !~ /^Etc\//) { if (!tztab[tz] && FILENAME != "backward" \ && zone_table != "zonenow.tab") { printf "%s: no data for '%s'\n", zone_table, tz \ >>"/dev/stderr" status = 1 } zoneSeen[tz] = 1 } } END { for (tz in ruleDefined) { if (!ruleUsed[tz]) { printf "%s: Rule never used\n", tz status = 1 } } for (tz in ruleLetters) { if (!rulePercentUsed[tz]) { printf "%s: Rule contains letters never used\n", tz status = 1 } } for (tz in tztab) { if (!zoneSeen[tz] && tz !~ /^Etc\//) { printf "%s:%d: no Zone table for '%s'\n", \ zone_table, tz2NR[tz], tz >>"/dev/stderr" status = 1 } } if (0 < want_warnings) { for (cc in cc2name) { if (!cc_used[cc]) { printf "%s:%d: warning: " \ "no Zone entries for %s (%s)\n", \ iso_table, cc2NR[cc], cc, cc2name[cc] } } } exit status }