]> git.ipfire.org Git - thirdparty/glibc.git/blobdiff - time/tzfile.c
time/tst-strftime2.c: Make the file easier to maintain
[thirdparty/glibc.git] / time / tzfile.c
index 497fe3f006fa48752032742708df24a7d9a9d67e..a7d05e2d55f84cde38742b0a63da9d13d3364e1c 100644 (file)
@@ -1,37 +1,42 @@
-/* Copyright (C) 1991, 92, 93, 95, 96, 97, 98 Free Software Foundation, Inc.
+/* Copyright (C) 1991-2019 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 
    The GNU C Library is free software; you can redistribute it and/or
-   modify it under the terms of the GNU Library General Public License as
-   published by the Free Software Foundation; either version 2 of the
-   License, or (at your option) any later version.
+   modify it under the terms of the GNU Lesser General Public
+   License as published by the Free Software Foundation; either
+   version 2.1 of the License, or (at your option) any later version.
 
    The GNU C Library is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-   Library General Public License for more details.
+   Lesser General Public License for more details.
 
-   You should have received a copy of the GNU Library General Public
-   License along with the GNU C Library; see the file COPYING.LIB.  If not,
-   write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
-   Boston, MA 02111-1307, USA.  */
+   You should have received a copy of the GNU Lesser General Public
+   License along with the GNU C Library; if not, see
+   <http://www.gnu.org/licenses/>.  */
 
 #include <assert.h>
 #include <limits.h>
 #include <stdio.h>
+#include <stdio_ext.h>
 #include <stdlib.h>
 #include <string.h>
 #include <time.h>
 #include <unistd.h>
+#include <sys/stat.h>
+#include <stdint.h>
+#include <alloc_buffer.h>
 
-#define        NOID
 #include <timezone/tzfile.h>
 
-int __use_tzfile = 0;
+int __use_tzfile;
+static dev_t tzfile_dev;
+static ino64_t tzfile_ino;
+static time_t tzfile_mtime;
 
 struct ttinfo
   {
-    long int offset;           /* Seconds east of GMT.  */
+    int offset;                        /* Seconds east of GMT.  */
     unsigned char isdst;       /* Used to set tm_isdst.  */
     unsigned char idx;         /* Index into `zone_names'.  */
     unsigned char isstd;       /* Transition times are in standard time.  */
@@ -40,85 +45,82 @@ struct ttinfo
 
 struct leap
   {
-    time_t transition;         /* Time the transition takes effect.  */
+    __time64_t transition;     /* Time the transition takes effect.  */
     long int change;           /* Seconds of correction to apply.  */
   };
 
-extern char * __tzstring (const char *); /* Defined in tzset.c.  */
-
-static struct ttinfo *find_transition (time_t timer) internal_function;
-static void compute_tzname_max (size_t) internal_function;
-
 static size_t num_transitions;
-static time_t *transitions = NULL;
-static unsigned char *type_idxs = NULL;
+libc_freeres_ptr (static __time64_t *transitions);
+static unsigned char *type_idxs;
 static size_t num_types;
-static struct ttinfo *types = NULL;
-static char *zone_names = NULL;
+static struct ttinfo *types;
+static char *zone_names;
 static long int rule_stdoff;
 static long int rule_dstoff;
 static size_t num_leaps;
-static struct leap *leaps = NULL;
+static struct leap *leaps;
+static char *tzspec;
 
 #include <endian.h>
 #include <byteswap.h>
 
 /* Decode the four bytes at PTR as a signed integer in network byte order.  */
 static inline int
+__attribute ((always_inline))
 decode (const void *ptr)
 {
-  if ((BYTE_ORDER == BIG_ENDIAN) && sizeof (int) == 4)
+  if (BYTE_ORDER == BIG_ENDIAN && sizeof (int) == 4)
     return *(const int *) ptr;
-  else if (BYTE_ORDER == LITTLE_ENDIAN && sizeof (int) == 4)
+  if (sizeof (int) == 4)
     return bswap_32 (*(const int *) ptr);
-  else
-    {
-      const unsigned char *p = ptr;
-      int result = *p & (1 << (CHAR_BIT - 1)) ? ~0 : 0;
 
-      result = (result << 8) | *p++;
-      result = (result << 8) | *p++;
-      result = (result << 8) | *p++;
-      result = (result << 8) | *p++;
+  const unsigned char *p = ptr;
+  int result = *p & (1 << (CHAR_BIT - 1)) ? ~0 : 0;
 
-      return result;
-    }
+  result = (result << 8) | *p++;
+  result = (result << 8) | *p++;
+  result = (result << 8) | *p++;
+  result = (result << 8) | *p++;
+
+  return result;
 }
 
+
+static inline int64_t
+__attribute ((always_inline))
+decode64 (const void *ptr)
+{
+  if ((BYTE_ORDER == BIG_ENDIAN))
+    return *(const int64_t *) ptr;
+
+  return bswap_64 (*(const int64_t *) ptr);
+}
+
+
 void
-__tzfile_read (const char *file)
+__tzfile_read (const char *file, size_t extra, char **extrap)
 {
   static const char default_tzdir[] = TZDIR;
   size_t num_isstd, num_isgmt;
-  register FILE *f;
+  FILE *f;
   struct tzhead tzhead;
   size_t chars;
-  register size_t i;
+  size_t i;
+  int was_using_tzfile = __use_tzfile;
+  int trans_width = 4;
+  char *new = NULL;
 
-  __use_tzfile = 0;
+  _Static_assert (sizeof (__time64_t) == 8,
+                 "__time64_t must be eight bytes");
 
-  if (transitions != NULL)
-    free ((void *) transitions);
-  transitions = NULL;
-  if (type_idxs != NULL)
-    free ((void *) type_idxs);
-  type_idxs = NULL;
-  if (types != NULL)
-    free ((void *) types);
-  types = NULL;
-  if (zone_names != NULL)
-    free ((void *) zone_names);
-  zone_names = NULL;
-  if (leaps != NULL)
-    free ((void *) leaps);
-  leaps = NULL;
+  __use_tzfile = 0;
 
   if (file == NULL)
     /* No user specification; use the site-wide default.  */
     file = TZDEFAULT;
   else if (*file == '\0')
     /* User specified the empty string; use UTC with no leap seconds.  */
-    return;
+    goto ret_free_transitions;
   else
     {
       /* We must not allow to read an arbitrary file in a setuid
@@ -132,36 +134,54 @@ __tzfile_read (const char *file)
              || strstr (file, "../") != NULL))
        /* This test is certainly a bit too restrictive but it should
           catch all critical cases.  */
-       return;
+       goto ret_free_transitions;
     }
 
   if (*file != '/')
     {
       const char *tzdir;
-      unsigned int len, tzdir_len;
-      char *new, *tmp;
 
-      tzdir = __secure_getenv ("TZDIR");
+      tzdir = getenv ("TZDIR");
       if (tzdir == NULL || *tzdir == '\0')
-       {
-         tzdir = default_tzdir;
-         tzdir_len = sizeof (default_tzdir) - 1;
-       }
-      else
-       tzdir_len = strlen (tzdir);
-      len = strlen (file) + 1;
-      new = (char *) __alloca (tzdir_len + 1 + len);
-      tmp = __mempcpy (new, tzdir, tzdir_len);
-      *tmp++ = '/';
-      __mempcpy (tmp, file, len);
+       tzdir = default_tzdir;
+      if (__asprintf (&new, "%s/%s", tzdir, file) == -1)
+       goto ret_free_transitions;
       file = new;
     }
 
-  f = fopen (file, "r");
+  /* If we were already using tzfile, check whether the file changed.  */
+  struct stat64 st;
+  if (was_using_tzfile
+      && stat64 (file, &st) == 0
+      && tzfile_ino == st.st_ino && tzfile_dev == st.st_dev
+      && tzfile_mtime == st.st_mtime)
+    goto done;  /* Nothing to do.  */
+
+  /* Note the file is opened with cancellation in the I/O functions
+     disabled and if available FD_CLOEXEC set.  */
+  f = fopen (file, "rce");
   if (f == NULL)
-    return;
+    goto ret_free_transitions;
 
-  if (fread_unlocked ((void *) &tzhead, sizeof (tzhead), 1, f) != 1)
+  /* Get information about the file we are actually using.  */
+  if (fstat64 (__fileno (f), &st) != 0)
+    goto lose;
+
+  free ((void *) transitions);
+  transitions = NULL;
+
+  /* Remember the inode and device number and modification time.  */
+  tzfile_dev = st.st_dev;
+  tzfile_ino = st.st_ino;
+  tzfile_mtime = st.st_mtime;
+
+  /* No threads reading this stream.  */
+  __fsetlocking (f, FSETLOCKING_BYCALLER);
+
+ read_again:
+  if (__builtin_expect (__fread_unlocked ((void *) &tzhead, sizeof (tzhead),
+                                         1, f) != 1, 0)
+      || memcmp (tzhead.tzh_magic, TZ_MAGIC, sizeof (tzhead.tzh_magic)) != 0)
     goto lose;
 
   num_transitions = (size_t) decode (tzhead.tzh_timecnt);
@@ -171,90 +191,183 @@ __tzfile_read (const char *file)
   num_isstd = (size_t) decode (tzhead.tzh_ttisstdcnt);
   num_isgmt = (size_t) decode (tzhead.tzh_ttisgmtcnt);
 
-  if (num_transitions > 0)
+  if (__glibc_unlikely (num_isstd > num_types || num_isgmt > num_types))
+    goto lose;
+
+  if (trans_width == 4 && tzhead.tzh_version[0] != '\0')
     {
-      transitions = (time_t *) malloc (num_transitions * sizeof (time_t));
-      if (transitions == NULL)
-       goto lose;
-      type_idxs = (unsigned char *) malloc (num_transitions);
-      if (type_idxs == NULL)
+      /* We use the 8-byte format.  */
+      trans_width = 8;
+
+      /* Position the stream before the second header.  */
+      size_t to_skip = (num_transitions * (4 + 1)
+                       + num_types * 6
+                       + chars
+                       + num_leaps * 8
+                       + num_isstd
+                       + num_isgmt);
+      if (fseek (f, to_skip, SEEK_CUR) != 0)
        goto lose;
+
+      goto read_again;
     }
-  if (num_types > 0)
+
+  /* Compute the size of the POSIX time zone specification in the
+     file.  */
+  size_t tzspec_len;
+  if (trans_width == 8)
     {
-      types = (struct ttinfo *) malloc (num_types * sizeof (struct ttinfo));
-      if (types == NULL)
+      off_t rem = st.st_size - __ftello (f);
+      if (__builtin_expect (rem < 0
+                           || (size_t) rem < (num_transitions * (8 + 1)
+                                              + num_types * 6
+                                              + chars), 0))
        goto lose;
-    }
-  if (chars > 0)
-    {
-      zone_names = (char *) malloc (chars);
-      if (zone_names == NULL)
+      tzspec_len = (size_t) rem - (num_transitions * (8 + 1)
+                                  + num_types * 6
+                                  + chars);
+      if (__builtin_expect (num_leaps > SIZE_MAX / 12
+                           || tzspec_len < num_leaps * 12, 0))
        goto lose;
-    }
-  if (num_leaps > 0)
-    {
-      leaps = (struct leap *) malloc (num_leaps * sizeof (struct leap));
-      if (leaps == NULL)
+      tzspec_len -= num_leaps * 12;
+      if (__glibc_unlikely (tzspec_len < num_isstd))
+       goto lose;
+      tzspec_len -= num_isstd;
+      if (__glibc_unlikely (tzspec_len == 0 || tzspec_len - 1 < num_isgmt))
+       goto lose;
+      tzspec_len -= num_isgmt + 1;
+      if (tzspec_len == 0)
        goto lose;
     }
-
-  if (sizeof (time_t) < 4)
-      abort ();
-
-  if (fread_unlocked (transitions, 4, num_transitions, f) != num_transitions
-      || fread_unlocked (type_idxs, 1, num_transitions, f) != num_transitions)
+  else
+    tzspec_len = 0;
+
+  /* The file is parsed into a single heap allocation, comprising of
+     the following arrays:
+
+     __time64_t transitions[num_transitions];
+     struct leap leaps[num_leaps];
+     struct ttinfo types[num_types];
+     unsigned char type_idxs[num_types];
+     char zone_names[chars];
+     char tzspec[tzspec_len];
+     char extra_array[extra]; // Stored into *pextras if requested.
+
+     The piece-wise allocations from buf below verify that no
+     overflow/wraparound occurred in these computations.
+
+     The order of the suballocations is important for alignment
+     purposes.  __time64_t outside a struct may require more alignment
+     then inside a struct on some architectures, so it must come
+     first. */
+  _Static_assert (__alignof (__time64_t) >= __alignof (struct leap),
+                 "alignment of __time64_t");
+  _Static_assert (__alignof (struct leap) >= __alignof (struct ttinfo),
+                 "alignment of struct leap");
+  struct alloc_buffer buf;
+  {
+    size_t total_size = (num_transitions * sizeof (__time64_t)
+                        + num_leaps * sizeof (struct leap)
+                        + num_types * sizeof (struct ttinfo)
+                        + num_transitions /* type_idxs */
+                        + chars /* zone_names */
+                        + tzspec_len + extra);
+    transitions = malloc (total_size);
+    if (transitions == NULL)
+      goto lose;
+    buf = alloc_buffer_create (transitions, total_size);
+  }
+
+  /* The address of the first allocation is already stored in the
+     pointer transitions.  */
+  (void) alloc_buffer_alloc_array (&buf, __time64_t, num_transitions);
+  leaps = alloc_buffer_alloc_array (&buf, struct leap, num_leaps);
+  types = alloc_buffer_alloc_array (&buf, struct ttinfo, num_types);
+  type_idxs = alloc_buffer_alloc_array (&buf, unsigned char, num_transitions);
+  zone_names = alloc_buffer_alloc_array (&buf, char, chars);
+  if (trans_width == 8)
+    tzspec = alloc_buffer_alloc_array (&buf, char, tzspec_len);
+  else
+    tzspec = NULL;
+  if (extra > 0)
+    *extrap = alloc_buffer_alloc_array (&buf, char, extra);
+  if (alloc_buffer_has_failed (&buf))
     goto lose;
 
+  if (__glibc_unlikely (__fread_unlocked (transitions, trans_width,
+                                         num_transitions, f)
+                       != num_transitions)
+      || __glibc_unlikely (__fread_unlocked (type_idxs, 1, num_transitions, f)
+                          != num_transitions))
+       goto lose;
+
   /* Check for bogus indices in the data file, so we can hereafter
      safely use type_idxs[T] as indices into `types' and never crash.  */
   for (i = 0; i < num_transitions; ++i)
-    if (type_idxs[i] >= num_types)
+    if (__glibc_unlikely (type_idxs[i] >= num_types))
       goto lose;
 
-  if (BYTE_ORDER != BIG_ENDIAN || sizeof (time_t) != 4)
+  if (trans_width == 4)
     {
       /* Decode the transition times, stored as 4-byte integers in
-        network (big-endian) byte order.  We work from the end of
-        the array so as not to clobber the next element to be
-        processed when sizeof (time_t) > 4.  */
+        network (big-endian) byte order.  We work from the end of the
+        array so as not to clobber the next element to be
+        processed.  */
       i = num_transitions;
       while (i-- > 0)
        transitions[i] = decode ((char *) transitions + i * 4);
     }
+  else if (BYTE_ORDER != BIG_ENDIAN)
+    {
+      /* Decode the transition times, stored as 8-byte integers in
+        network (big-endian) byte order.  */
+      for (i = 0; i < num_transitions; ++i)
+       transitions[i] = decode64 ((char *) transitions + i * 8);
+    }
 
   for (i = 0; i < num_types; ++i)
     {
       unsigned char x[4];
-      if (fread_unlocked (x, 1, 4, f) != 4
-         || fread_unlocked (&types[i].isdst, 1, 1, f) != 1
-         || fread_unlocked (&types[i].idx, 1, 1, f) != 1)
+      int c;
+      if (__builtin_expect (__fread_unlocked (x, 1,
+                                             sizeof (x), f) != sizeof (x),
+                           0))
        goto lose;
-      if (types[i].isdst > 1)
+      c = __getc_unlocked (f);
+      if (__glibc_unlikely ((unsigned int) c > 1u))
        goto lose;
-      if (types[i].idx >= chars) /* Bogus index in data file.  */
+      types[i].isdst = c;
+      c = __getc_unlocked (f);
+      if (__glibc_unlikely ((size_t) c > chars))
+       /* Bogus index in data file.  */
        goto lose;
-      types[i].offset = (long int) decode (x);
+      types[i].idx = c;
+      types[i].offset = decode (x);
     }
 
-  if (fread_unlocked (zone_names, 1, chars, f) != chars)
+  if (__glibc_unlikely (__fread_unlocked (zone_names, 1, chars, f) != chars))
     goto lose;
 
   for (i = 0; i < num_leaps; ++i)
     {
-      unsigned char x[4];
-      if (fread_unlocked (x, 1, sizeof (x), f) != sizeof (x))
+      unsigned char x[8];
+      if (__builtin_expect (__fread_unlocked (x, 1, trans_width, f)
+                           != trans_width, 0))
        goto lose;
-      leaps[i].transition = (time_t) decode (x);
-      if (fread_unlocked (x, 1, sizeof (x), f) != sizeof (x))
+      if (trans_width == 4)
+       leaps[i].transition = decode (x);
+      else
+       leaps[i].transition = decode64 (x);
+
+      if (__glibc_unlikely (__fread_unlocked (x, 1, 4, f) != 4))
        goto lose;
       leaps[i].change = (long int) decode (x);
     }
 
   for (i = 0; i < num_isstd; ++i)
     {
-      int c = getc_unlocked (f);
-      if (c == EOF)
+      int c = __getc_unlocked (f);
+      if (__glibc_unlikely (c == EOF))
        goto lose;
       types[i].isstd = c != 0;
     }
@@ -263,19 +376,37 @@ __tzfile_read (const char *file)
 
   for (i = 0; i < num_isgmt; ++i)
     {
-      int c = getc_unlocked (f);
-      if (c == EOF)
+      int c = __getc_unlocked (f);
+      if (__glibc_unlikely (c == EOF))
        goto lose;
       types[i].isgmt = c != 0;
     }
   while (i < num_types)
     types[i++].isgmt = 0;
 
+  /* Read the POSIX TZ-style information if possible.  */
+  if (tzspec != NULL)
+    {
+      assert (tzspec_len > 0);
+      /* Skip over the newline first.  */
+      if (__getc_unlocked (f) != '\n'
+         || (__fread_unlocked (tzspec, 1, tzspec_len - 1, f)
+             != tzspec_len - 1))
+       tzspec = NULL;
+      else
+       tzspec[tzspec_len - 1] = '\0';
+    }
+
+  /* Don't use an empty TZ string.  */
+  if (tzspec != NULL && tzspec[0] == '\0')
+    tzspec = NULL;
+
   fclose (f);
 
   /* First "register" all timezone names.  */
   for (i = 0; i < num_types; ++i)
-    (void) __tzstring (&zone_names[types[i].idx]);
+    if (__tzstring (&zone_names[types[i].idx]) == NULL)
+      goto ret_free_transitions;
 
   /* Find the standard and daylight time offsets used by the rule file.
      We choose the offsets in the types of each flavor that are
@@ -286,10 +417,11 @@ __tzfile_read (const char *file)
     {
       int type = type_idxs[--i];
       int dst = types[type].isdst;
-      int idx = types[type].idx;
 
       if (__tzname[dst] == NULL)
        {
+         int idx = types[type].idx;
+
          __tzname[dst] = __tzstring (&zone_names[idx]);
 
          if (__tzname[1 - dst] != NULL)
@@ -306,33 +438,49 @@ __tzfile_read (const char *file)
   if (__tzname[1] == NULL)
     __tzname[1] = __tzname[0];
 
-  compute_tzname_max (chars);
-
   if (num_transitions == 0)
     /* Use the first rule (which should also be the only one).  */
     rule_stdoff = rule_dstoff = types[0].offset;
   else
     {
+      int stdoff_set = 0, dstoff_set = 0;
       rule_stdoff = rule_dstoff = 0;
-      for (i = 0; i < num_transitions; ++i)
+      i = num_transitions - 1;
+      do
        {
-         if (!rule_stdoff && !types[type_idxs[i]].isdst)
-           rule_stdoff = types[type_idxs[i]].offset;
-         if (!rule_dstoff && types[type_idxs[i]].isdst)
-           rule_dstoff = types[type_idxs[i]].offset;
-         if (rule_stdoff && rule_dstoff)
+         if (!stdoff_set && !types[type_idxs[i]].isdst)
+           {
+             stdoff_set = 1;
+             rule_stdoff = types[type_idxs[i]].offset;
+           }
+         else if (!dstoff_set && types[type_idxs[i]].isdst)
+           {
+             dstoff_set = 1;
+             rule_dstoff = types[type_idxs[i]].offset;
+           }
+         if (stdoff_set && dstoff_set)
            break;
        }
+      while (i-- > 0);
+
+      if (!dstoff_set)
+       rule_dstoff = rule_stdoff;
     }
 
   __daylight = rule_stdoff != rule_dstoff;
   __timezone = -rule_stdoff;
 
+ done:
   __use_tzfile = 1;
+  free (new);
   return;
 
  lose:
   fclose (f);
+ ret_free_transitions:
+  free (new);
+  free ((void *) transitions);
+  transitions = NULL;
 }
 \f
 /* The user specified a hand-made timezone, but not its DST rules.
@@ -341,12 +489,15 @@ __tzfile_read (const char *file)
 
 void
 __tzfile_default (const char *std, const char *dst,
-                 long int stdoff, long int dstoff)
+                 int stdoff, int dstoff)
 {
-  size_t stdlen, dstlen, i;
+  size_t stdlen = strlen (std) + 1;
+  size_t dstlen = strlen (dst) + 1;
+  size_t i;
   int isdst;
+  char *cp;
 
-  __tzfile_read (TZDEFRULES);
+  __tzfile_read (TZDEFRULES, stdlen + dstlen, &cp);
   if (!__use_tzfile)
     return;
 
@@ -356,19 +507,10 @@ __tzfile_default (const char *std, const char *dst,
       return;
     }
 
-  /* Ignore the zone names read from the file.  */
-  free (zone_names);
-
-  /* Use the names the user specified.  */
-  stdlen = strlen (std) + 1;
-  dstlen = strlen (dst) + 1;
-  zone_names = malloc (stdlen + dstlen);
-  if (zone_names == NULL)
-    {
-      __use_tzfile = 0;
-      return;
-    }
-  __mempcpy (__mempcpy (zone_names, std, stdlen), dst, dstlen);
+  /* Ignore the zone names read from the file and use the given ones
+     instead.  */
+  __mempcpy (__mempcpy (cp, std, stdlen), dst, dstlen);
+  zone_names = cp;
 
   /* Now there are only two zones, regardless of what the file contained.  */
   num_types = 2;
@@ -405,6 +547,12 @@ __tzfile_default (const char *std, const char *dst,
       isdst = trans_type->isdst;
     }
 
+  /* Now that we adjusted the transitions to the requested offsets,
+     reset the rule_stdoff and rule_dstoff values appropriately.  They
+     are used elsewhere.  */
+  rule_stdoff = stdoff;
+  rule_dstoff = dstoff;
+
   /* Reset types 0 and 1 to describe the user's settings.  */
   types[0].idx = 0;
   types[0].offset = stdoff;
@@ -420,67 +568,172 @@ __tzfile_default (const char *std, const char *dst,
   /* Set the timezone.  */
   __timezone = -types[0].offset;
 
-  compute_tzname_max (stdlen + dstlen);
+  /* Invalidate the tzfile attribute cache to force rereading
+     TZDEFRULES the next time it is used.  */
+  tzfile_dev = 0;
+  tzfile_ino = 0;
+  tzfile_mtime = 0;
 }
 \f
-static struct ttinfo *
-internal_function
-find_transition (time_t timer)
-{
-  size_t i;
-
-  if (num_transitions == 0 || timer < transitions[0])
-    {
-      /* TIMER is before any transition (or there are no transitions).
-        Choose the first non-DST type
-        (or the first if they're all DST types).  */
-      i = 0;
-      while (i < num_types && types[i].isdst)
-       ++i;
-      if (i == num_types)
-       i = 0;
-    }
-  else
-    {
-      /* Find the first transition after TIMER, and
-        then pick the type of the transition before it.  */
-      for (i = 1; i < num_transitions; ++i)
-       if (timer < transitions[i])
-         break;
-      i = type_idxs[i - 1];
-    }
-
-  return &types[i];
-}
-\f
-int
-__tzfile_compute (time_t timer, int use_localtime,
+void
+__tzfile_compute (__time64_t timer, int use_localtime,
                  long int *leap_correct, int *leap_hit,
                  struct tm *tp)
 {
-  register size_t i;
+  size_t i;
 
   if (use_localtime)
     {
-      struct ttinfo *info = find_transition (timer);
-      __daylight = rule_stdoff != rule_dstoff;
-      __timezone = -rule_stdoff;
       __tzname[0] = NULL;
       __tzname[1] = NULL;
-      for (i = num_transitions; i > 0; )
+
+      if (__glibc_unlikely (num_transitions == 0 || timer < transitions[0]))
        {
-         int type = type_idxs[--i];
-         int dst = types[type].isdst;
-         int idx = types[type].idx;
+         /* TIMER is before any transition (or there are no transitions).
+            Choose the first non-DST type
+            (or the first if they're all DST types).  */
+         i = 0;
+         while (i < num_types && types[i].isdst)
+           {
+             if (__tzname[1] == NULL)
+               __tzname[1] = __tzstring (&zone_names[types[i].idx]);
+
+             ++i;
+           }
+
+         if (i == num_types)
+           i = 0;
+         __tzname[0] = __tzstring (&zone_names[types[i].idx]);
+         if (__tzname[1] == NULL)
+           {
+             size_t j = i;
+             while (j < num_types)
+               if (types[j].isdst)
+                 {
+                   __tzname[1] = __tzstring (&zone_names[types[j].idx]);
+                   break;
+                 }
+               else
+                 ++j;
+           }
+       }
+      else if (__glibc_unlikely (timer >= transitions[num_transitions - 1]))
+       {
+         if (__glibc_unlikely (tzspec == NULL))
+           {
+           use_last:
+             i = num_transitions;
+             goto found;
+           }
+
+         /* Parse the POSIX TZ-style string.  */
+         __tzset_parse_tz (tzspec);
+
+         /* Convert to broken down structure.  If this fails do not
+            use the string.  */
+         if (__glibc_unlikely (! __offtime (timer, 0, tp)))
+           goto use_last;
 
-         if (__tzname[dst] == NULL)
+         /* Use the rules from the TZ string to compute the change.  */
+         __tz_compute (timer, tp, 1);
+
+         /* If tzspec comes from posixrules loaded by __tzfile_default,
+            override the STD and DST zone names with the ones user
+            requested in TZ envvar.  */
+         if (__glibc_unlikely (zone_names == (char *) &leaps[num_leaps]))
            {
-             __tzname[dst] = __tzstring (&zone_names[idx]);
+             assert (num_types == 2);
+             __tzname[0] = __tzstring (zone_names);
+             __tzname[1] = __tzstring (&zone_names[strlen (zone_names) + 1]);
+           }
+
+         goto leap;
+       }
+      else
+       {
+         /* Find the first transition after TIMER, and
+            then pick the type of the transition before it.  */
+         size_t lo = 0;
+         size_t hi = num_transitions - 1;
+         /* Assume that DST is changing twice a year and guess
+            initial search spot from it.  Half of a gregorian year
+            has on average 365.2425 * 86400 / 2 = 15778476 seconds.
+            The value i can be truncated if size_t is smaller than
+            __time64_t, but this is harmless because it is just
+            a guess.  */
+         i = (transitions[num_transitions - 1] - timer) / 15778476;
+         if (i < num_transitions)
+           {
+             i = num_transitions - 1 - i;
+             if (timer < transitions[i])
+               {
+                 if (i < 10 || timer >= transitions[i - 10])
+                   {
+                     /* Linear search.  */
+                     while (timer < transitions[i - 1])
+                       --i;
+                     goto found;
+                   }
+                 hi = i - 10;
+               }
+             else
+               {
+                 if (i + 10 >= num_transitions || timer < transitions[i + 10])
+                   {
+                     /* Linear search.  */
+                     while (timer >= transitions[i])
+                       ++i;
+                     goto found;
+                   }
+                 lo = i + 10;
+               }
+           }
+
+         /* Binary search.  */
+         /* assert (timer >= transitions[lo] && timer < transitions[hi]); */
+         while (lo + 1 < hi)
+           {
+             i = (lo + hi) / 2;
+             if (timer < transitions[i])
+               hi = i;
+             else
+               lo = i;
+           }
+         i = hi;
+
+       found:
+         /* assert (timer >= transitions[i - 1]
+            && (i == num_transitions || timer < transitions[i])); */
+         __tzname[types[type_idxs[i - 1]].isdst]
+           = __tzstring (&zone_names[types[type_idxs[i - 1]].idx]);
+         size_t j = i;
+         while (j < num_transitions)
+           {
+             int type = type_idxs[j];
+             int dst = types[type].isdst;
+             int idx = types[type].idx;
+
+             if (__tzname[dst] == NULL)
+               {
+                 __tzname[dst] = __tzstring (&zone_names[idx]);
+
+                 if (__tzname[1 - dst] != NULL)
+                   break;
+               }
 
-             if (__tzname[1 - dst] != NULL)
-               break;
+             ++j;
            }
+
+         if (__glibc_unlikely (__tzname[0] == NULL))
+           __tzname[0] = __tzname[1];
+
+         i = type_idxs[i - 1];
        }
+
+      struct ttinfo *info = &types[i];
+      __daylight = rule_stdoff != rule_dstoff;
+      __timezone = -rule_stdoff;
+
       if (__tzname[0] == NULL)
        {
          /* This should only happen if there are no transition rules.
@@ -492,10 +745,12 @@ __tzfile_compute (time_t timer, int use_localtime,
        /* There is no daylight saving time.  */
        __tzname[1] = __tzname[0];
       tp->tm_isdst = info->isdst;
-      tp->tm_zone = &zone_names[info->idx];
+      assert (strcmp (&zone_names[info->idx], __tzname[tp->tm_isdst]) == 0);
+      tp->tm_zone = __tzname[tp->tm_isdst];
       tp->tm_gmtoff = info->offset;
     }
 
+ leap:
   *leap_correct = 0L;
   *leap_hit = 0;
 
@@ -503,15 +758,15 @@ __tzfile_compute (time_t timer, int use_localtime,
   i = num_leaps;
   do
     if (i-- == 0)
-      return 1;
+      return;
   while (timer < leaps[i].transition);
 
   /* Apply its correction.  */
   *leap_correct = leaps[i].change;
 
-  if (timer == leaps[i].transition && /* Exactly at the transition time.  */
-      ((i == 0 && leaps[i].change > 0) ||
-       leaps[i].change > leaps[i - 1].change))
+  if (timer == leaps[i].transition /* Exactly at the transition time.  */
+      && ((i == 0 && leaps[i].change > 0)
+         || leaps[i].change > leaps[i - 1].change))
     {
       *leap_hit = 1;
       while (i > 0
@@ -522,26 +777,4 @@ __tzfile_compute (time_t timer, int use_localtime,
          --i;
        }
     }
-
-  return 1;
-}
-\f
-static void
-internal_function
-compute_tzname_max (size_t chars)
-{
-  extern size_t __tzname_cur_max; /* Defined in tzset.c. */
-
-  const char *p;
-
-  p = zone_names;
-  do
-    {
-      const char *start = p;
-      while (*p != '\0')
-       ++p;
-      if ((size_t) (p - start) > __tzname_cur_max)
-       __tzname_cur_max = p - start;
-    }
-  while (++p < &zone_names[chars]);
 }