Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  localtime.c   Sprache: C

 
/*
** This file is in the public domain, so clarified as of
** 1996-06-05 by Arthur David Olson.
*/


/*
** Leap second handling from Bradley White.
** POSIX-style TZ environment variable handling from Guy Harris.
*/


/*LINTLIBRARY*/

#include <stdbool.h>

#include "private.h"
#include "tzfile.h"
#include "fcntl.h"

#ifndef TZ_ABBR_MAX_LEN
#define TZ_ABBR_MAX_LEN 16
#endif /* !defined TZ_ABBR_MAX_LEN */

#ifndef TZ_ABBR_CHAR_SET
#define TZ_ABBR_CHAR_SET \
 "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 :+-._"
#endif /* !defined TZ_ABBR_CHAR_SET */

#ifndef TZ_ABBR_ERR_CHAR
#define TZ_ABBR_ERR_CHAR '_'
#endif /* !defined TZ_ABBR_ERR_CHAR */

/*
** SunOS 4.1.1 headers lack O_BINARY.
*/


#ifdef O_BINARY
#define OPEN_MODE (O_RDONLY | O_BINARY)
#endif /* defined O_BINARY */
#ifndef O_BINARY
#define OPEN_MODE O_RDONLY
#endif /* !defined O_BINARY */

#ifndef WILDABBR
/*
** Someone might make incorrect use of a time zone abbreviation:
** 1. They might reference tzname[0] before calling tzset (explicitly
** or implicitly).
** 2. They might reference tzname[1] before calling tzset (explicitly
** or implicitly).
** 3. They might reference tzname[1] after setting to a time zone
** in which Daylight Saving Time is never observed.
** 4. They might reference tzname[0] after setting to a time zone
** in which Standard Time is never observed.
** 5. They might reference tm.TM_ZONE after calling offtime.
** What's best to do in the above cases is open to debate;
** for now, we just set things up so that in any of the five cases
** WILDABBR is used. Another possibility: initialize tzname[0] to the
** string "tzname[0] used before set", and similarly for the other cases.
** And another: initialize tzname[0] to "ERA", with an explanation in the
** manual page of what this "time zone abbreviation" means (doing this so
** that tzname[0] has the "normal" length of three characters).
*/

#define WILDABBR " "
#endif /* !defined WILDABBR */

static const char wildabbr[] = WILDABBR;

static const char gmt[] = "GMT";

/*
** The DST rules to use if TZ has no rules and we can't load TZDEFRULES.
** We default to US rules as of 1999-08-17.
** POSIX 1003.1 section 8.1.1 says that the default DST rules are
** implementation dependent; for historical reasons, US rules are a
** common default.
*/

#ifndef TZDEFRULESTRING
#define TZDEFRULESTRING ",M4.1.0,M10.5.0"
#endif /* !defined TZDEFDST */

struct ttinfo {    /* time type information */
 int_fast32_t tt_gmtoff; /* UT offset in seconds */
 int  tt_isdst; /* used to set tm_isdst */
 int  tt_abbrind; /* abbreviation list index */
 int  tt_ttisstd; /* true if transition is std time */
 int  tt_ttisgmt; /* true if transition is UT */
};

struct lsinfo {    /* leap second information */
 time_t  ls_trans; /* transition time */
 int_fast64_t ls_corr; /* correction to apply */
};

#define BIGGEST(a, b) (((a) > (b)) ? (a) : (b))

#ifdef TZNAME_MAX
#define MY_TZNAME_MAX TZNAME_MAX
#endif /* defined TZNAME_MAX */
#ifndef TZNAME_MAX
#define MY_TZNAME_MAX 255
#endif /* !defined TZNAME_MAX */

struct state {
 int  leapcnt;
 int  timecnt;
 int  typecnt;
 int  charcnt;
 int  goback;
 int  goahead;
 time_t  ats[TZ_MAX_TIMES];
 unsigned char types[TZ_MAX_TIMES];
 struct ttinfo ttis[TZ_MAX_TYPES];
 char  chars[BIGGEST(BIGGEST(TZ_MAX_CHARS + 1, sizeof gmt),
    (2 * (MY_TZNAME_MAX + 1)))];
 struct lsinfo lsis[TZ_MAX_LEAPS];
 int  defaulttype; /* for early times or if no transitions */
};

struct rule {
 int  r_type;  /* type of rule--see below */
 int  r_day;  /* day number of rule */
 int  r_week;  /* week number of rule */
 int  r_mon;  /* month number of rule */
 int_fast32_t r_time;  /* transition time of rule */
};

#define JULIAN_DAY  0 /* Jn - Julian day */
#define DAY_OF_YEAR  1 /* n - day of year */
#define MONTH_NTH_DAY_OF_WEEK 2 /* Mm.n.d - month, week, day of week */

/*
** Prototypes for static functions.
*/


static int_fast32_t detzcode(const char * codep);
static int_fast64_t detzcode64(const char * codep);
static int  differ_by_repeat(time_t t1, time_t t0);
static const char * getzname(const char * strp) ATTRIBUTE_PURE;
static const char * getqzname(const char * strp, const int delim)
  ATTRIBUTE_PURE;
static const char * getnum(const char * strp, int * nump, int min,
    int max);
static const char * getsecs(const char * strp, int_fast32_t * secsp);
static const char * getoffset(const char * strp, int_fast32_t * offsetp);
static const char * getrule(const char * strp, struct rule * rulep);
static void  gmtload(struct state * sp);
static struct tm * gmtsub(const time_t * timep, int_fast32_t offset,
    struct tm * tmp);
static struct tm * localsub(const time_t * timep, int_fast32_t offset,
    struct tm * tmp);
static int  increment_overflow(int * number, int delta);
static int  leaps_thru_end_of(int y) ATTRIBUTE_PURE;
static int  increment_overflow32(int_fast32_t * number, int delta);
static int  increment_overflow_time(time_t *t, int_fast32_t delta);
static int  normalize_overflow32(int_fast32_t * tensptr,
    int * unitsptr, int base);
static int  normalize_overflow(int * tensptr, int * unitsptr,
    int base);
static void  settzname(void);
static time_t  time1(struct tm * tmp,
    struct tm * (*funcp)(const time_t *,
    int_fast32_t, struct tm *),
    int_fast32_t offset);
static time_t  time2(struct tm *tmp,
    struct tm * (*funcp)(const time_t *,
    int_fast32_t, struct tm*),
    int_fast32_t offset, int * okayp);
static time_t  time2sub(struct tm *tmp,
    struct tm * (*funcp)(const time_t *,
    int_fast32_t, struct tm*),
    int_fast32_t offset, int * okayp, int do_norm_secs);
static struct tm * timesub(const time_t * timep, int_fast32_t offset,
    const struct state * sp, struct tm * tmp);
static int  tmcomp(const struct tm * atmp,
    const struct tm * btmp);
static int_fast32_t transtime(int year, const struct rule * rulep,
      int_fast32_t offset)
  ATTRIBUTE_PURE;
static int  typesequiv(const struct state * sp, int a, int b);
static int  tzload(const char * name, struct state * sp,
    int doextend);
static int  tzparse(const char * name, struct state * sp,
    int lastditch);

#ifdef ALL_STATE
static struct state * lclptr;
static struct state * gmtptr;
#endif /* defined ALL_STATE */

#ifndef ALL_STATE
static struct state lclmem;
static struct state gmtmem;
#define lclptr  (&lclmem)
#define gmtptr  (&gmtmem)
#endif /* State Farm */

#ifndef TZ_STRLEN_MAX
#define TZ_STRLEN_MAX 255
#endif /* !defined TZ_STRLEN_MAX */

static char  lcl_TZname[TZ_STRLEN_MAX + 1];
static int  lcl_is_set;
static int  gmt_is_set;

char *   tzname[2] = {
 (char *) wildabbr,
 (char *) wildabbr
};

/*
** Section 4.12.3 of X3.159-1989 requires that
** Except for the strftime function, these functions [asctime,
** ctime, gmtime, localtime] return values in one of two static
** objects: a broken-down time structure and an array of char.
** Thanks to Paul Eggert for noting this.
*/


static struct tm tm;

#ifdef USG_COMPAT
long   timezone = 0;
int   daylight = 0;
#endif /* defined USG_COMPAT */

#ifdef ALTZONE
long   altzone = 0;
#endif /* defined ALTZONE */

static int_fast32_t
detzcode(const char *const codep)
{
 register int_fast32_t result;
 register int  i;

 result = (codep[0] & 0x80) ? -1 : 0;
 for (i = 0; i < 4; ++i)
  result = (result << 8) | (codep[i] & 0xff);
 return result;
}

static int_fast64_t
detzcode64(const char *const codep)
{
 register int_fast64_t result;
 register int i;

 result = (codep[0] & 0x80) ? -1 : 0;
 for (i = 0; i < 8; ++i)
  result = (result << 8) | (codep[i] & 0xff);
 return result;
}

static void
settzname(void)
{
 register struct state * const sp = lclptr;
 register int   i;

 tzname[0] = tzname[1] = (char *) wildabbr;
#ifdef USG_COMPAT
 daylight = 0;
 timezone = 0;
#endif /* defined USG_COMPAT */
#ifdef ALTZONE
 altzone = 0;
#endif /* defined ALTZONE */
 if (sp == NULL) {
  tzname[0] = tzname[1] = (char *) gmt;
  return;
 }
 /*
** And to get the latest zone names into tzname. . .
*/

 for (i = 0; i < sp->typecnt; ++i) {
  register const struct ttinfo * const ttisp = &sp->ttis[i];

  tzname[ttisp->tt_isdst] = &sp->chars[ttisp->tt_abbrind];
 }
 for (i = 0; i < sp->timecnt; ++i) {
  register const struct ttinfo * const ttisp =
       &sp->ttis[
        sp->types[i]];

  tzname[ttisp->tt_isdst] =
   &sp->chars[ttisp->tt_abbrind];
#ifdef USG_COMPAT
  if (ttisp->tt_isdst)
   daylight = 1;
  if (!ttisp->tt_isdst)
   timezone = -(ttisp->tt_gmtoff);
#endif /* defined USG_COMPAT */
#ifdef ALTZONE
  if (ttisp->tt_isdst)
   altzone = -(ttisp->tt_gmtoff);
#endif /* defined ALTZONE */
 }
 /*
** Finally, scrub the abbreviations.
** First, replace bogus characters.
*/

 for (i = 0; i < sp->charcnt; ++i)
  if (strchr(TZ_ABBR_CHAR_SET, sp->chars[i]) == NULL)
   sp->chars[i] = TZ_ABBR_ERR_CHAR;
 /*
** Second, truncate long abbreviations.
*/

 for (i = 0; i < sp->typecnt; ++i) {
  register const struct ttinfo * const ttisp = &sp->ttis[i];
  register char *    cp = &sp->chars[ttisp->tt_abbrind];

  if (strlen(cp) > TZ_ABBR_MAX_LEN &&
   strcmp(cp, GRANDPARENTED) != 0)
    *(cp + TZ_ABBR_MAX_LEN) = '\0';
 }
}

static int
differ_by_repeat(const time_t t1, const time_t t0)
{
 if (TYPE_BIT(time_t) - TYPE_SIGNED(time_t) < SECSPERREPEAT_BITS)
  return 0;
 return t1 - t0 == SECSPERREPEAT;
}

static int
tzload(register const char *name, register struct state *const sp,
       register const int doextend)
{
 register const char *  p;
 register int   i;
 register int   fid;
 register int   stored;
 register int   nread;
 typedef union {
  struct tzhead tzhead;
  char  buf[2 * sizeof(struct tzhead) +
     2 * sizeof *sp +
     4 * TZ_MAX_TIMES];
 } u_t;
#ifdef ALL_STATE
 register u_t * const  up = malloc(sizeof *up);
#else /* !defined ALL_STATE */
 u_t    u;
 register u_t * const  up = &u;
#endif /* !defined ALL_STATE */

 sp->goback = sp->goahead = false;

 if (up == NULL)
  return -1;

 if (name == NULL && (name = TZDEFAULT) == NULL)
  goto oops;
 {
  register int doaccess;
  /*
** Section 4.9.1 of the C standard says that
** "FILENAME_MAX expands to an integral constant expression
** that is the size needed for an array of char large enough
** to hold the longest file name string that the implementation
** guarantees can be opened."
*/

  char  fullname[FILENAME_MAX + 1];

  if (name[0] == ':')
   ++name;
  doaccess = name[0] == '/';
  if (!doaccess) {
   if ((p = TZDIR) == NULL)
    goto oops;
   if ((strlen(p) + strlen(name) + 1) >= sizeof fullname)
    goto oops;
   (void) strcpy(fullname, p);
   (void) strcat(fullname, "/");
   (void) strcat(fullname, name);
   /*
** Set doaccess if '.' (as in "../") shows up in name.
*/

   if (strchr(name, '.') != NULL)
    doaccess = true;
   name = fullname;
  }
  if (doaccess && access(name, R_OK) != 0)
   goto oops;
  if ((fid = open(name, OPEN_MODE)) == -1)
   goto oops;
 }
 nread = read(fid, up->buf, sizeof up->buf);
 if (close(fid) < 0 || nread <= 0)
  goto oops;
 for (stored = 4; stored <= 8; stored *= 2) {
  int  ttisstdcnt;
  int  ttisgmtcnt;
  int  timecnt;

  ttisstdcnt = (int) detzcode(up->tzhead.tzh_ttisstdcnt);
  ttisgmtcnt = (int) detzcode(up->tzhead.tzh_ttisgmtcnt);
  sp->leapcnt = (int) detzcode(up->tzhead.tzh_leapcnt);
  sp->timecnt = (int) detzcode(up->tzhead.tzh_timecnt);
  sp->typecnt = (int) detzcode(up->tzhead.tzh_typecnt);
  sp->charcnt = (int) detzcode(up->tzhead.tzh_charcnt);
  p = up->tzhead.tzh_charcnt + sizeof up->tzhead.tzh_charcnt;
  if (sp->leapcnt < 0 || sp->leapcnt > TZ_MAX_LEAPS ||
   sp->typecnt <= 0 || sp->typecnt > TZ_MAX_TYPES ||
   sp->timecnt < 0 || sp->timecnt > TZ_MAX_TIMES ||
   sp->charcnt < 0 || sp->charcnt > TZ_MAX_CHARS ||
   (ttisstdcnt != sp->typecnt && ttisstdcnt != 0) ||
   (ttisgmtcnt != sp->typecnt && ttisgmtcnt != 0))
    goto oops;
  if (nread - (p - up->buf) <
   sp->timecnt * stored +  /* ats */
   sp->timecnt +   /* types */
   sp->typecnt * 6 +  /* ttinfos */
   sp->charcnt +   /* chars */
   sp->leapcnt * (stored + 4) + /* lsinfos */
   ttisstdcnt +   /* ttisstds */
   ttisgmtcnt)   /* ttisgmts */
    goto oops;
  timecnt = 0;
  for (i = 0; i < sp->timecnt; ++i) {
   int_fast64_t at
     = stored == 4 ? detzcode(p) : detzcode64(p);
   sp->types[i] = ((TYPE_SIGNED(time_t)
      ? time_t_min <= at
      : 0 <= at)
     && at <= time_t_max);
   if (sp->types[i]) {
    if (i && !timecnt && at != time_t_min) {
     /*
** Keep the earlier record, but tweak
** it so that it starts with the
** minimum time_t value.
*/

     sp->types[i - 1] = 1;
     sp->ats[timecnt++] = time_t_min;
    }
    sp->ats[timecnt++] = at;
   }
   p += stored;
  }
  timecnt = 0;
  for (i = 0; i < sp->timecnt; ++i) {
   unsigned char typ = *p++;
   if (sp->typecnt <= typ)
    goto oops;
   if (sp->types[i])
    sp->types[timecnt++] = typ;
  }
  sp->timecnt = timecnt;
  for (i = 0; i < sp->typecnt; ++i) {
   register struct ttinfo * ttisp;

   ttisp = &sp->ttis[i];
   ttisp->tt_gmtoff = detzcode(p);
   p += 4;
   ttisp->tt_isdst = (unsigned char) *p++;
   if (ttisp->tt_isdst != 0 && ttisp->tt_isdst != 1)
    goto oops;
   ttisp->tt_abbrind = (unsigned char) *p++;
   if (ttisp->tt_abbrind < 0 ||
    ttisp->tt_abbrind > sp->charcnt)
     goto oops;
  }
  for (i = 0; i < sp->charcnt; ++i)
   sp->chars[i] = *p++;
  sp->chars[i] = '\0'/* ensure '\0' at end */
  for (i = 0; i < sp->leapcnt; ++i) {
   register struct lsinfo * lsisp;

   lsisp = &sp->lsis[i];
   lsisp->ls_trans = (stored == 4) ?
    detzcode(p) : detzcode64(p);
   p += stored;
   lsisp->ls_corr = detzcode(p);
   p += 4;
  }
  for (i = 0; i < sp->typecnt; ++i) {
   register struct ttinfo * ttisp;

   ttisp = &sp->ttis[i];
   if (ttisstdcnt == 0)
    ttisp->tt_ttisstd = false;
   else {
    ttisp->tt_ttisstd = *p++;
    if (ttisp->tt_ttisstd != true &&
     ttisp->tt_ttisstd != false)
      goto oops;
   }
  }
  for (i = 0; i < sp->typecnt; ++i) {
   register struct ttinfo * ttisp;

   ttisp = &sp->ttis[i];
   if (ttisgmtcnt == 0)
    ttisp->tt_ttisgmt = false;
   else {
    ttisp->tt_ttisgmt = *p++;
    if (ttisp->tt_ttisgmt != true &&
     ttisp->tt_ttisgmt != false)
      goto oops;
   }
  }
  /*
** If this is an old file, we're done.
*/

  if (up->tzhead.tzh_version[0] == '\0')
   break;
  nread -= p - up->buf;
  for (i = 0; i < nread; ++i)
   up->buf[i] = p[i];
  /*
** If this is a signed narrow time_t system, we're done.
*/

  if (TYPE_SIGNED(time_t) && stored >= (intsizeof(time_t))
   break;
 }
 if (doextend && nread > 2 &&
  up->buf[0] == '\n' && up->buf[nread - 1] == '\n' &&
  sp->typecnt + 2 <= TZ_MAX_TYPES) {
   struct state ts;
   register int result;

   up->buf[nread - 1] = '\0';
   result = tzparse(&up->buf[1], &ts, false);
   if (result == 0 && ts.typecnt == 2 &&
    sp->charcnt + ts.charcnt <= TZ_MAX_CHARS) {
     for (i = 0; i < 2; ++i)
      ts.ttis[i].tt_abbrind +=
       sp->charcnt;
     for (i = 0; i < ts.charcnt; ++i)
      sp->chars[sp->charcnt++] =
       ts.chars[i];
     i = 0;
     while (i < ts.timecnt &&
      ts.ats[i] <=
      sp->ats[sp->timecnt - 1])
       ++i;
     while (i < ts.timecnt &&
         sp->timecnt < TZ_MAX_TIMES) {
      sp->ats[sp->timecnt] =
       ts.ats[i];
      sp->types[sp->timecnt] =
       sp->typecnt +
       ts.types[i];
      ++sp->timecnt;
      ++i;
     }
     sp->ttis[sp->typecnt++] = ts.ttis[0];
     sp->ttis[sp->typecnt++] = ts.ttis[1];
   }
 }
 if (sp->timecnt > 1) {
  for (i = 1; i < sp->timecnt; ++i)
   if (typesequiv(sp, sp->types[i], sp->types[0]) &&
    differ_by_repeat(sp->ats[i], sp->ats[0])) {
     sp->goback = true;
     break;
    }
  for (i = sp->timecnt - 2; i >= 0; --i)
   if (typesequiv(sp, sp->types[sp->timecnt - 1],
    sp->types[i]) &&
    differ_by_repeat(sp->ats[sp->timecnt - 1],
    sp->ats[i])) {
     sp->goahead = true;
     break;
  }
 }
 /*
** If type 0 is unused in transitions,
** it's the type to use for early times.
*/

 for (i = 0; i < sp->typecnt; ++i)
  if (sp->types[i] == 0)
   break;
 i = (i >= sp->typecnt) ? 0 : -1;
 /*
** Absent the above,
** if there are transition times
** and the first transition is to a daylight time
** find the standard type less than and closest to
** the type of the first transition.
*/

 if (i < 0 && sp->timecnt > 0 && sp->ttis[sp->types[0]].tt_isdst) {
  i = sp->types[0];
  while (--i >= 0)
   if (!sp->ttis[i].tt_isdst)
    break;
 }
 /*
** If no result yet, find the first standard type.
** If there is none, punt to type zero.
*/

 if (i < 0) {
  i = 0;
  while (sp->ttis[i].tt_isdst)
   if (++i >= sp->typecnt) {
    i = 0;
    break;
   }
 }
 sp->defaulttype = i;
#ifdef ALL_STATE
 free(up);
#endif /* defined ALL_STATE */
 return 0;
oops:
#ifdef ALL_STATE
 free(up);
#endif /* defined ALL_STATE */
 return -1;
}

static int
typesequiv(const struct state *const sp, const int a, const int b)
{
 register int result;

 if (sp == NULL ||
  a < 0 || a >= sp->typecnt ||
  b < 0 || b >= sp->typecnt)
   result = false;
 else {
  register const struct ttinfo * ap = &sp->ttis[a];
  register const struct ttinfo * bp = &sp->ttis[b];
  result = ap->tt_gmtoff == bp->tt_gmtoff &&
   ap->tt_isdst == bp->tt_isdst &&
   ap->tt_ttisstd == bp->tt_ttisstd &&
   ap->tt_ttisgmt == bp->tt_ttisgmt &&
   strcmp(&sp->chars[ap->tt_abbrind],
   &sp->chars[bp->tt_abbrind]) == 0;
 }
 return result;
}

static const int mon_lengths[2][MONSPERYEAR] = {
 { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 },
 { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 }
};

static const int year_lengths[2] = {
 DAYSPERNYEAR, DAYSPERLYEAR
};

/*
** Given a pointer into a time zone string, scan until a character that is not
** a valid character in a zone name is found. Return a pointer to that
** character.
*/


static const char *
getzname(register const char *strp)
{
 register char c;

 while ((c = *strp) != '\0' && !is_digit(c) && c != ',' && c != '-' &&
  c != '+')
   ++strp;
 return strp;
}

/*
** Given a pointer into an extended time zone string, scan until the ending
** delimiter of the zone name is located. Return a pointer to the delimiter.
**
** As with getzname above, the legal character set is actually quite
** restricted, with other characters producing undefined results.
** We don't do any checking here; checking is done later in common-case code.
*/


static const char *
getqzname(register const char *strp, const int delim)
{
 register int c;

 while ((c = *strp) != '\0' && c != delim)
  ++strp;
 return strp;
}

/*
** Given a pointer into a time zone string, extract a number from that string.
** Check that the number is within a specified range; if it is not, return
** NULL.
** Otherwise, return a pointer to the first character not part of the number.
*/


static const char *
getnum(register const char *strp, int *const nump, const int min, const int max)
{
 register char c;
 register int num;

 if (strp == NULL || !is_digit(c = *strp))
  return NULL;
 num = 0;
 do {
  num = num * 10 + (c - '0');
  if (num > max)
   return NULL; /* illegal value */
  c = *++strp;
 } while (is_digit(c));
 if (num < min)
  return NULL;  /* illegal value */
 *nump = num;
 return strp;
}

/*
** Given a pointer into a time zone string, extract a number of seconds,
** in hh[:mm[:ss]] form, from the string.
** If any error occurs, return NULL.
** Otherwise, return a pointer to the first character not part of the number
** of seconds.
*/


static const char *
getsecs(register const char *strp, int_fast32_t *const secsp)
{
 int num;

 /*
** `HOURSPERDAY * DAYSPERWEEK - 1' allows quasi-Posix rules like
** "M10.4.6/26", which does not conform to Posix,
** but which specifies the equivalent of
** ``02:00 on the first Sunday on or after 23 Oct''.
*/

 strp = getnum(strp, &num, 0, HOURSPERDAY * DAYSPERWEEK - 1);
 if (strp == NULL)
  return NULL;
 *secsp = num * (int_fast32_t) SECSPERHOUR;
 if (*strp == ':') {
  ++strp;
  strp = getnum(strp, &num, 0, MINSPERHOUR - 1);
  if (strp == NULL)
   return NULL;
  *secsp += num * SECSPERMIN;
  if (*strp == ':') {
   ++strp;
   /* `SECSPERMIN' allows for leap seconds. */
   strp = getnum(strp, &num, 0, SECSPERMIN);
   if (strp == NULL)
    return NULL;
   *secsp += num;
  }
 }
 return strp;
}

/*
** Given a pointer into a time zone string, extract an offset, in
** [+-]hh[:mm[:ss]] form, from the string.
** If any error occurs, return NULL.
** Otherwise, return a pointer to the first character not part of the time.
*/


static const char *
getoffset(register const char *strp, int_fast32_t *const offsetp)
{
 register int neg = 0;

 if (*strp == '-') {
  neg = 1;
  ++strp;
 } else if (*strp == '+')
  ++strp;
 strp = getsecs(strp, offsetp);
 if (strp == NULL)
  return NULL;  /* illegal time */
 if (neg)
  *offsetp = -*offsetp;
 return strp;
}

/*
** Given a pointer into a time zone string, extract a rule in the form
** date[/time]. See POSIX section 8 for the format of "date" and "time".
** If a valid rule is not found, return NULL.
** Otherwise, return a pointer to the first character not part of the rule.
*/


static const char *
getrule(const char *strp, register struct rule *const rulep)
{
 if (*strp == 'J') {
  /*
** Julian day.
*/

  rulep->r_type = JULIAN_DAY;
  ++strp;
  strp = getnum(strp, &rulep->r_day, 1, DAYSPERNYEAR);
 } else if (*strp == 'M') {
  /*
** Month, week, day.
*/

  rulep->r_type = MONTH_NTH_DAY_OF_WEEK;
  ++strp;
  strp = getnum(strp, &rulep->r_mon, 1, MONSPERYEAR);
  if (strp == NULL)
   return NULL;
  if (*strp++ != '.')
   return NULL;
  strp = getnum(strp, &rulep->r_week, 1, 5);
  if (strp == NULL)
   return NULL;
  if (*strp++ != '.')
   return NULL;
  strp = getnum(strp, &rulep->r_day, 0, DAYSPERWEEK - 1);
 } else if (is_digit(*strp)) {
  /*
** Day of year.
*/

  rulep->r_type = DAY_OF_YEAR;
  strp = getnum(strp, &rulep->r_day, 0, DAYSPERLYEAR - 1);
 } else return NULL;  /* invalid format */
 if (strp == NULL)
  return NULL;
 if (*strp == '/') {
  /*
** Time specified.
*/

  ++strp;
  strp = getoffset(strp, &rulep->r_time);
 } else rulep->r_time = 2 * SECSPERHOUR; /* default = 2:00:00 */
 return strp;
}

/*
** Given a year, a rule, and the offset from UT at the time that rule takes
** effect, calculate the year-relative time that rule takes effect.
*/


static int_fast32_t
transtime(const int year, register const struct rule *const rulep,
   const int_fast32_t offset)
{
 register int leapyear;
 register int_fast32_t value;
 register int i;
 int  d, m1, yy0, yy1, yy2, dow;

 INITIALIZE(value);
 leapyear = isleap(year);
 switch (rulep->r_type) {

 case JULIAN_DAY:
  /*
** Jn - Julian day, 1 == January 1, 60 == March 1 even in leap
** years.
** In non-leap years, or if the day number is 59 or less, just
** add SECSPERDAY times the day number-1 to the time of
** January 1, midnight, to get the day.
*/

  value = (rulep->r_day - 1) * SECSPERDAY;
  if (leapyear && rulep->r_day >= 60)
   value += SECSPERDAY;
  break;

 case DAY_OF_YEAR:
  /*
** n - day of year.
** Just add SECSPERDAY times the day number to the time of
** January 1, midnight, to get the day.
*/

  value = rulep->r_day * SECSPERDAY;
  break;

 case MONTH_NTH_DAY_OF_WEEK:
  /*
** Mm.n.d - nth "dth day" of month m.
*/


  /*
** Use Zeller's Congruence to get day-of-week of first day of
** month.
*/

  m1 = (rulep->r_mon + 9) % 12 + 1;
  yy0 = (rulep->r_mon <= 2) ? (year - 1) : year;
  yy1 = yy0 / 100;
  yy2 = yy0 % 100;
  dow = ((26 * m1 - 2) / 10 +
   1 + yy2 + yy2 / 4 + yy1 / 4 - 2 * yy1) % 7;
  if (dow < 0)
   dow += DAYSPERWEEK;

  /*
** "dow" is the day-of-week of the first day of the month. Get
** the day-of-month (zero-origin) of the first "dow" day of the
** month.
*/

  d = rulep->r_day - dow;
  if (d < 0)
   d += DAYSPERWEEK;
  for (i = 1; i < rulep->r_week; ++i) {
   if (d + DAYSPERWEEK >=
    mon_lengths[leapyear][rulep->r_mon - 1])
     break;
   d += DAYSPERWEEK;
  }

  /*
** "d" is the day-of-month (zero-origin) of the day we want.
*/

  value = d * SECSPERDAY;
  for (i = 0; i < rulep->r_mon - 1; ++i)
   value += mon_lengths[leapyear][i] * SECSPERDAY;
  break;
 }

 /*
** "value" is the year-relative time of 00:00:00 UT on the day in
** question. To get the year-relative time of the specified local
** time on that day, add the transition time and the current offset
** from UT.
*/

 return value + rulep->r_time + offset;
}

/*
** Given a POSIX section 8-style TZ string, fill in the rule tables as
** appropriate.
*/


static int
tzparse(const char *name, register struct state *const sp,
 const int lastditch)
{
 const char *   stdname;
 const char *   dstname;
 size_t    stdlen;
 size_t    dstlen;
 int_fast32_t   stdoffset;
 int_fast32_t   dstoffset;
 register char *   cp;
 register int   load_result;
 static struct ttinfo  zttinfo;

 INITIALIZE(dstname);
 stdname = name;
 if (lastditch) {
  stdlen = strlen(name); /* length of standard zone name */
  name += stdlen;
  if (stdlen >= sizeof sp->chars)
   stdlen = (sizeof sp->chars) - 1;
  stdoffset = 0;
 } else {
  if (*name == '<') {
   name++;
   stdname = name;
   name = getqzname(name, '>');
   if (*name != '>')
    return (-1);
   stdlen = name - stdname;
   name++;
  } else {
   name = getzname(name);
   stdlen = name - stdname;
  }
  if (*name == '\0')
   return -1;
  name = getoffset(name, &stdoffset);
  if (name == NULL)
   return -1;
 }
 load_result = tzload(TZDEFRULES, sp, false);
 if (load_result != 0)
  sp->leapcnt = 0;  /* so, we're off a little */
 if (*name != '\0') {
  if (*name == '<') {
   dstname = ++name;
   name = getqzname(name, '>');
   if (*name != '>')
    return -1;
   dstlen = name - dstname;
   name++;
  } else {
   dstname = name;
   name = getzname(name);
   dstlen = name - dstname; /* length of DST zone name */
  }
  if (*name != '\0' && *name != ',' && *name != ';') {
   name = getoffset(name, &dstoffset);
   if (name == NULL)
    return -1;
  } else dstoffset = stdoffset - SECSPERHOUR;
  if (*name == '\0' && load_result != 0)
   name = TZDEFRULESTRING;
  if (*name == ',' || *name == ';') {
   struct rule start;
   struct rule end;
   register int year;
   register int yearlim;
   register int timecnt;
   time_t  janfirst;

   ++name;
   if ((name = getrule(name, &start)) == NULL)
    return -1;
   if (*name++ != ',')
    return -1;
   if ((name = getrule(name, &end)) == NULL)
    return -1;
   if (*name != '\0')
    return -1;
   sp->typecnt = 2; /* standard time and DST */
   /*
** Two transitions per year, from EPOCH_YEAR forward.
*/

   sp->ttis[0] = sp->ttis[1] = zttinfo;
   sp->ttis[0].tt_gmtoff = -dstoffset;
   sp->ttis[0].tt_isdst = 1;
   sp->ttis[0].tt_abbrind = stdlen + 1;
   sp->ttis[1].tt_gmtoff = -stdoffset;
   sp->ttis[1].tt_isdst = 0;
   sp->ttis[1].tt_abbrind = 0;
   sp->defaulttype = 0;
   timecnt = 0;
   janfirst = 0;
   yearlim = EPOCH_YEAR + YEARSPERREPEAT;
   for (year = EPOCH_YEAR; year < yearlim; year++) {
    int_fast32_t
      starttime = transtime(year, &start, stdoffset),
      endtime = transtime(year, &end, dstoffset);
    int_fast32_t
      yearsecs = (year_lengths[isleap(year)]
           * SECSPERDAY);
    int reversed = endtime < starttime;
    if (reversed) {
     int_fast32_t swap = starttime;
     starttime = endtime;
     endtime = swap;
    }
    if (reversed
        || (starttime < endtime
     && (endtime - starttime
         < (yearsecs
            + (stdoffset - dstoffset))))) {
     if (TZ_MAX_TIMES - 2 < timecnt)
      break;
     yearlim = year + YEARSPERREPEAT + 1;
     sp->ats[timecnt] = janfirst;
     if (increment_overflow_time
         (&sp->ats[timecnt], starttime))
      break;
     sp->types[timecnt++] = reversed;
     sp->ats[timecnt] = janfirst;
     if (increment_overflow_time
         (&sp->ats[timecnt], endtime))
      break;
     sp->types[timecnt++] = !reversed;
    }
    if (increment_overflow_time(&janfirst, yearsecs))
     break;
   }
   sp->timecnt = timecnt;
   if (!timecnt)
    sp->typecnt = 1; /* Perpetual DST.  */
  } else {
   register int_fast32_t theirstdoffset;
   register int_fast32_t theirdstoffset;
   register int_fast32_t theiroffset;
   register int  isdst;
   register int  i;
   register int  j;

   if (*name != '\0')
    return -1;
   /*
** Initial values of theirstdoffset and theirdstoffset.
*/

   theirstdoffset = 0;
   for (i = 0; i < sp->timecnt; ++i) {
    j = sp->types[i];
    if (!sp->ttis[j].tt_isdst) {
     theirstdoffset =
      -sp->ttis[j].tt_gmtoff;
     break;
    }
   }
   theirdstoffset = 0;
   for (i = 0; i < sp->timecnt; ++i) {
    j = sp->types[i];
    if (sp->ttis[j].tt_isdst) {
     theirdstoffset =
      -sp->ttis[j].tt_gmtoff;
     break;
    }
   }
   /*
** Initially we're assumed to be in standard time.
*/

   isdst = false;
   theiroffset = theirstdoffset;
   /*
** Now juggle transition times and types
** tracking offsets as you do.
*/

   for (i = 0; i < sp->timecnt; ++i) {
    j = sp->types[i];
    sp->types[i] = sp->ttis[j].tt_isdst;
    if (sp->ttis[j].tt_ttisgmt) {
     /* No adjustment to transition time */
    } else {
     /*
** If summer time is in effect, and the
** transition time was not specified as
** standard time, add the summer time
** offset to the transition time;
** otherwise, add the standard time
** offset to the transition time.
*/

     /*
** Transitions from DST to DDST
** will effectively disappear since
** POSIX provides for only one DST
** offset.
*/

     if (isdst && !sp->ttis[j].tt_ttisstd) {
      sp->ats[i] += dstoffset -
       theirdstoffset;
     } else {
      sp->ats[i] += stdoffset -
       theirstdoffset;
     }
    }
    theiroffset = -sp->ttis[j].tt_gmtoff;
    if (sp->ttis[j].tt_isdst)
     theirdstoffset = theiroffset;
    else theirstdoffset = theiroffset;
   }
   /*
** Finally, fill in ttis.
*/

   sp->ttis[0] = sp->ttis[1] = zttinfo;
   sp->ttis[0].tt_gmtoff = -stdoffset;
   sp->ttis[0].tt_isdst = false;
   sp->ttis[0].tt_abbrind = 0;
   sp->ttis[1].tt_gmtoff = -dstoffset;
   sp->ttis[1].tt_isdst = true;
   sp->ttis[1].tt_abbrind = stdlen + 1;
   sp->typecnt = 2;
   sp->defaulttype = 0;
  }
 } else {
  dstlen = 0;
  sp->typecnt = 1;  /* only standard time */
  sp->timecnt = 0;
  sp->ttis[0] = zttinfo;
  sp->ttis[0].tt_gmtoff = -stdoffset;
  sp->ttis[0].tt_isdst = 0;
  sp->ttis[0].tt_abbrind = 0;
  sp->defaulttype = 0;
 }
 sp->charcnt = stdlen + 1;
 if (dstlen != 0)
  sp->charcnt += dstlen + 1;
 if ((size_t) sp->charcnt > sizeof sp->chars)
  return -1;
 cp = sp->chars;
 (void) strncpy(cp, stdname, stdlen);
 cp += stdlen;
 *cp++ = '\0';
 if (dstlen != 0) {
  (void) strncpy(cp, dstname, dstlen);
  *(cp + dstlen) = '\0';
 }
 return 0;
}

static void
gmtload(struct state *const sp)
{
 if (tzload(gmt, sp, true) != 0)
  (void) tzparse(gmt, sp, true);
}

#ifndef STD_INSPIRED
/*
** A non-static declaration of tzsetwall in a system header file
** may cause a warning about this upcoming static declaration...
*/

static
#endif /* !defined STD_INSPIRED */
void
tzsetwall(void)
{
 if (lcl_is_set < 0)
  return;
 lcl_is_set = -1;

#ifdef ALL_STATE
 if (lclptr == NULL) {
  lclptr = malloc(sizeof *lclptr);
  if (lclptr == NULL) {
   settzname(); /* all we can do */
   return;
  }
 }
#endif /* defined ALL_STATE */
 if (tzload(NULL, lclptr, true) != 0)
  gmtload(lclptr);
 settzname();
}

void
tzset(void)
{
 register const char * name;

 name = getenv("TZ");
 if (name == NULL) {
  tzsetwall();
  return;
 }

 if (lcl_is_set > 0 && strcmp(lcl_TZname, name) == 0)
  return;
 lcl_is_set = strlen(name) < sizeof lcl_TZname;
 if (lcl_is_set)
  (void) strcpy(lcl_TZname, name);

#ifdef ALL_STATE
 if (lclptr == NULL) {
  lclptr = malloc(sizeof *lclptr);
  if (lclptr == NULL) {
   settzname(); /* all we can do */
   return;
  }
 }
#endif /* defined ALL_STATE */
 if (*name == '\0') {
  /*
** User wants it fast rather than right.
*/

  lclptr->leapcnt = 0;  /* so, we're off a little */
  lclptr->timecnt = 0;
  lclptr->typecnt = 0;
  lclptr->ttis[0].tt_isdst = 0;
  lclptr->ttis[0].tt_gmtoff = 0;
  lclptr->ttis[0].tt_abbrind = 0;
  (void) strcpy(lclptr->chars, gmt);
 } else if (tzload(name, lclptr, true) != 0)
  if (name[0] == ':' || tzparse(name, lclptr, false) != 0)
   (void) gmtload(lclptr);
 settzname();
}

/*
** The easy way to behave "as if no library function calls" localtime
** is to not call it--so we drop its guts into "localsub", which can be
** freely called. (And no, the PANS doesn't require the above behavior--
** but it *is* desirable.)
**
** The unused offset argument is for the benefit of mktime variants.
*/


/*ARGSUSED*/
static struct tm *
localsub(const time_t *const timep, const int_fast32_t offset,
  struct tm *const tmp)
{
 register struct state *  sp;
 register const struct ttinfo * ttisp;
 register int   i;
 register struct tm *  result;
 const time_t   t = *timep;

 sp = lclptr;
 if (sp == NULL)
  return gmtsub(timep, offset, tmp);
 if ((sp->goback && t < sp->ats[0]) ||
  (sp->goahead && t > sp->ats[sp->timecnt - 1])) {
   time_t   newt = t;
   register time_t  seconds;
   register time_t  years;

   if (t < sp->ats[0])
    seconds = sp->ats[0] - t;
   else seconds = t - sp->ats[sp->timecnt - 1];
   --seconds;
   years = (seconds / SECSPERREPEAT + 1) * YEARSPERREPEAT;
   seconds = years * AVGSECSPERYEAR;
   if (t < sp->ats[0])
    newt += seconds;
   else newt -= seconds;
   if (newt < sp->ats[0] ||
    newt > sp->ats[sp->timecnt - 1])
     return NULL; /* "cannot happen" */
   result = localsub(&newt, offset, tmp);
   if (result == tmp) {
    register time_t newy;

    newy = tmp->tm_year;
    if (t < sp->ats[0])
     newy -= years;
    else newy += years;
    tmp->tm_year = newy;
    if (tmp->tm_year != newy)
     return NULL;
   }
   return result;
 }
 if (sp->timecnt == 0 || t < sp->ats[0]) {
  i = sp->defaulttype;
 } else {
  register int lo = 1;
  register int hi = sp->timecnt;

  while (lo < hi) {
   register int mid = (lo + hi) >> 1;

   if (t < sp->ats[mid])
    hi = mid;
   else lo = mid + 1;
  }
  i = (int) sp->types[lo - 1];
 }
 ttisp = &sp->ttis[i];
 /*
** To get (wrong) behavior that's compatible with System V Release 2.0
** you'd replace the statement below with
** t += ttisp->tt_gmtoff;
** timesub(&t, 0L, sp, tmp);
*/

 result = timesub(&t, ttisp->tt_gmtoff, sp, tmp);
 tmp->tm_isdst = ttisp->tt_isdst;
 tzname[tmp->tm_isdst] = &sp->chars[ttisp->tt_abbrind];
#ifdef TM_ZONE
 tmp->TM_ZONE = &sp->chars[ttisp->tt_abbrind];
#endif /* defined TM_ZONE */
 return result;
}

struct tm *
localtime(const time_t *const timep)
{
 tzset();
 return localsub(timep, 0L, &tm);
}

/*
** Re-entrant version of localtime.
*/


struct tm *
localtime_r(const time_t *const timep, struct tm *tmp)
{
 return localsub(timep, 0L, tmp);
}

/*
** gmtsub is to gmtime as localsub is to localtime.
*/


static struct tm *
gmtsub(const time_t *const timep, const int_fast32_t offset,
       struct tm *const tmp)
{
 register struct tm * result;

 if (!gmt_is_set) {
  gmt_is_set = true;
#ifdef ALL_STATE
  gmtptr = malloc(sizeof *gmtptr);
#endif /* defined ALL_STATE */
  if (gmtptr != NULL)
   gmtload(gmtptr);
 }
 result = timesub(timep, offset, gmtptr, tmp);
#ifdef TM_ZONE
 /*
** Could get fancy here and deliver something such as
** "UT+xxxx" or "UT-xxxx" if offset is non-zero,
** but this is no time for a treasure hunt.
*/

 tmp->TM_ZONE = offset ? wildabbr : gmtptr ? gmtptr->chars : gmt;
#endif /* defined TM_ZONE */
 return result;
}

struct tm *
gmtime(const time_t *const timep)
{
 return gmtsub(timep, 0L, &tm);
}

/*
* Re-entrant version of gmtime.
*/


struct tm *
gmtime_r(const time_t *const timep, struct tm *tmp)
{
 return gmtsub(timep, 0L, tmp);
}

#ifdef STD_INSPIRED

struct tm *
offtime(const time_t *const timep, const long offset)
{
 return gmtsub(timep, offset, &tm);
}

#endif /* defined STD_INSPIRED */

/*
** Return the number of leap years through the end of the given year
** where, to make the math easy, the answer for year zero is defined as zero.
*/


static int
leaps_thru_end_of(register const int y)
{
 return (y >= 0) ? (y / 4 - y / 100 + y / 400) :
  -(leaps_thru_end_of(-(y + 1)) + 1);
}

static struct tm *
timesub(const time_t *const timep, const int_fast32_t offset,
 register const struct state *const sp,
 register struct tm *const tmp)
{
 register const struct lsinfo * lp;
 register time_t   tdays;
 register int   idays; /* unsigned would be so 2003 */
 register int_fast64_t  rem;
 int    y;
 register const int *  ip;
 register int_fast64_t  corr;
 register int   hit;
 register int   i;

 corr = 0;
 hit = 0;
 i = (sp == NULL) ? 0 : sp->leapcnt;
 while (--i >= 0) {
  lp = &sp->lsis[i];
  if (*timep >= lp->ls_trans) {
   if (*timep == lp->ls_trans) {
    hit = ((i == 0 && lp->ls_corr > 0) ||
     lp->ls_corr > sp->lsis[i - 1].ls_corr);
    if (hit)
     while (i > 0 &&
      sp->lsis[i].ls_trans ==
      sp->lsis[i - 1].ls_trans + 1 &&
      sp->lsis[i].ls_corr ==
      sp->lsis[i - 1].ls_corr + 1) {
       ++hit;
       --i;
     }
   }
   corr = lp->ls_corr;
   break;
  }
 }
 y = EPOCH_YEAR;
 tdays = *timep / SECSPERDAY;
 rem = *timep - tdays * SECSPERDAY;
 while (tdays < 0 || tdays >= year_lengths[isleap(y)]) {
  int  newy;
  register time_t tdelta;
  register int idelta;
  register int leapdays;

  tdelta = tdays / DAYSPERLYEAR;
  if (! ((! TYPE_SIGNED(time_t) || INT_MIN <= tdelta)
         && tdelta <= INT_MAX))
   return NULL;
  idelta = tdelta;
  if (idelta == 0)
   idelta = (tdays < 0) ? -1 : 1;
  newy = y;
  if (increment_overflow(&newy, idelta))
   return NULL;
  leapdays = leaps_thru_end_of(newy - 1) -
   leaps_thru_end_of(y - 1);
  tdays -= ((time_t) newy - y) * DAYSPERNYEAR;
  tdays -= leapdays;
  y = newy;
 }
 {
  register int_fast32_t seconds;

  seconds = tdays * SECSPERDAY;
  tdays = seconds / SECSPERDAY;
  rem += seconds - tdays * SECSPERDAY;
 }
 /*
** Given the range, we can now fearlessly cast...
*/

 idays = tdays;
 rem += offset - corr;
 while (rem < 0) {
  rem += SECSPERDAY;
  --idays;
 }
 while (rem >= SECSPERDAY) {
  rem -= SECSPERDAY;
  ++idays;
 }
 while (idays < 0) {
  if (increment_overflow(&y, -1))
   return NULL;
  idays += year_lengths[isleap(y)];
 }
 while (idays >= year_lengths[isleap(y)]) {
  idays -= year_lengths[isleap(y)];
  if (increment_overflow(&y, 1))
   return NULL;
 }
 tmp->tm_year = y;
 if (increment_overflow(&tmp->tm_year, -TM_YEAR_BASE))
  return NULL;
 tmp->tm_yday = idays;
 /*
** The "extra" mods below avoid overflow problems.
*/

 tmp->tm_wday = EPOCH_WDAY +
  ((y - EPOCH_YEAR) % DAYSPERWEEK) *
  (DAYSPERNYEAR % DAYSPERWEEK) +
  leaps_thru_end_of(y - 1) -
  leaps_thru_end_of(EPOCH_YEAR - 1) +
  idays;
 tmp->tm_wday %= DAYSPERWEEK;
 if (tmp->tm_wday < 0)
  tmp->tm_wday += DAYSPERWEEK;
 tmp->tm_hour = (int) (rem / SECSPERHOUR);
 rem %= SECSPERHOUR;
 tmp->tm_min = (int) (rem / SECSPERMIN);
 /*
** A positive leap second requires a special
** representation. This uses "... ??:59:60" et seq.
*/

 tmp->tm_sec = (int) (rem % SECSPERMIN) + hit;
 ip = mon_lengths[isleap(y)];
 for (tmp->tm_mon = 0; idays >= ip[tmp->tm_mon]; ++(tmp->tm_mon))
  idays -= ip[tmp->tm_mon];
 tmp->tm_mday = idays + 1;
 tmp->tm_isdst = 0;
#ifdef TM_GMTOFF
 tmp->TM_GMTOFF = offset;
#endif /* defined TM_GMTOFF */
 return tmp;
}

char *
ctime(const time_t *const timep)
{
/*
** Section 4.12.3.2 of X3.159-1989 requires that
** The ctime function converts the calendar time pointed to by timer
** to local time in the form of a string. It is equivalent to
** asctime(localtime(timer))
*/

 return asctime(localtime(timep));
}

char *
ctime_r(const time_t *const timep, char *buf)
{
 struct tm mytm;

 return asctime_r(localtime_r(timep, &mytm), buf);
}

/*
** Adapted from code provided by Robert Elz, who writes:
** The "best" way to do mktime I think is based on an idea of Bob
** Kridle's (so its said...) from a long time ago.
** It does a binary search of the time_t space. Since time_t's are
** just 32 bits, its a max of 32 iterations (even at 64 bits it
** would still be very reasonable).
*/


#ifndef WRONG
#define WRONG (-1)
#endif /* !defined WRONG */

/*
** Normalize logic courtesy Paul Eggert.
*/


static int
increment_overflow(int *const ip, int j)
{
 register int const i = *ip;

 /*
** If i >= 0 there can only be overflow if i + j > INT_MAX
** or if j > INT_MAX - i; given i >= 0, INT_MAX - i cannot overflow.
** If i < 0 there can only be overflow if i + j < INT_MIN
** or if j < INT_MIN - i; given i < 0, INT_MIN - i cannot overflow.
*/

 if ((i >= 0) ? (j > INT_MAX - i) : (j < INT_MIN - i))
  return true;
 *ip += j;
 return false;
}

static int
increment_overflow32(int_fast32_t *const lp, int const m)
{
 register int_fast32_t const l = *lp;

 if ((l >= 0) ? (m > INT_FAST32_MAX - l) : (m < INT_FAST32_MIN - l))
  return true;
 *lp += m;
 return false;
}

static int
increment_overflow_time(time_t *tp, int_fast32_t j)
{
 /*
** This is like
** 'if (! (time_t_min <= *tp + j && *tp + j <= time_t_max)) ...',
** except that it does the right thing even if *tp + j would overflow.
*/

 if (! (j < 0
        ? (TYPE_SIGNED(time_t) ? time_t_min - j <= *tp : -1 - j < *tp)
        : *tp <= time_t_max - j))
  return true;
 *tp += j;
 return false;
}

static int
normalize_overflow(int *const tensptr, int *const unitsptr, const int base)
{
 register int tensdelta;

 tensdelta = (*unitsptr >= 0) ?
  (*unitsptr / base) :
  (-1 - (-1 - *unitsptr) / base);
 *unitsptr -= tensdelta * base;
 return increment_overflow(tensptr, tensdelta);
}

static int
normalize_overflow32(int_fast32_t *const tensptr, int *const unitsptr,
       const int base)
{
 register int tensdelta;

 tensdelta = (*unitsptr >= 0) ?
  (*unitsptr / base) :
  (-1 - (-1 - *unitsptr) / base);
 *unitsptr -= tensdelta * base;
 return increment_overflow32(tensptr, tensdelta);
}

static int
tmcomp(register const struct tm *const atmp,
       register const struct tm *const btmp)
{
 register int result;

 if (atmp->tm_year != btmp->tm_year)
  return atmp->tm_year < btmp->tm_year ? -1 : 1;
 if ((result = (atmp->tm_mon - btmp->tm_mon)) == 0 &&
  (result = (atmp->tm_mday - btmp->tm_mday)) == 0 &&
  (result = (atmp->tm_hour - btmp->tm_hour)) == 0 &&
  (result = (atmp->tm_min - btmp->tm_min)) == 0)
   result = atmp->tm_sec - btmp->tm_sec;
 return result;
}

static time_t
time2sub(struct tm *const tmp,
  struct tm *(*const funcp)(const time_t *, int_fast32_t, struct tm *),
  const int_fast32_t offset,
  int *const okayp,
  const int do_norm_secs)
{
 register const struct state * sp;
 register int   dir;
 register int   i, j;
 register int   saved_seconds;
 register int_fast32_t   li;
 register time_t   lo;
 register time_t   hi;
 int_fast32_t    y;
 time_t    newt;
 time_t    t;
 struct tm   yourtm, mytm;

 *okayp = false;
 yourtm = *tmp;
 if (do_norm_secs) {
  if (normalize_overflow(&yourtm.tm_min, &yourtm.tm_sec,
   SECSPERMIN))
    return WRONG;
 }
 if (normalize_overflow(&yourtm.tm_hour, &yourtm.tm_min, MINSPERHOUR))
  return WRONG;
 if (normalize_overflow(&yourtm.tm_mday, &yourtm.tm_hour, HOURSPERDAY))
  return WRONG;
 y = yourtm.tm_year;
 if (normalize_overflow32(&y, &yourtm.tm_mon, MONSPERYEAR))
  return WRONG;
 /*
** Turn y into an actual year number for now.
** It is converted back to an offset from TM_YEAR_BASE later.
*/

 if (increment_overflow32(&y, TM_YEAR_BASE))
  return WRONG;
 while (yourtm.tm_mday <= 0) {
  if (increment_overflow32(&y, -1))
   return WRONG;
  li = y + (1 < yourtm.tm_mon);
  yourtm.tm_mday += year_lengths[isleap(li)];
 }
 while (yourtm.tm_mday > DAYSPERLYEAR) {
  li = y + (1 < yourtm.tm_mon);
  yourtm.tm_mday -= year_lengths[isleap(li)];
  if (increment_overflow32(&y, 1))
   return WRONG;
 }
 for ( ; ; ) {
  i = mon_lengths[isleap(y)][yourtm.tm_mon];
  if (yourtm.tm_mday <= i)
   break;
  yourtm.tm_mday -= i;
  if (++yourtm.tm_mon >= MONSPERYEAR) {
   yourtm.tm_mon = 0;
   if (increment_overflow32(&y, 1))
    return WRONG;
  }
 }
 if (increment_overflow32(&y, -TM_YEAR_BASE))
  return WRONG;
 yourtm.tm_year = y;
 if (yourtm.tm_year != y)
  return WRONG;
 if (yourtm.tm_sec >= 0 && yourtm.tm_sec < SECSPERMIN)
  saved_seconds = 0;
 else if (y + TM_YEAR_BASE < EPOCH_YEAR) {
  /*
** We can't set tm_sec to 0, because that might push the
** time below the minimum representable time.
** Set tm_sec to 59 instead.
** This assumes that the minimum representable time is
** not in the same minute that a leap second was deleted from,
** which is a safer assumption than using 58 would be.
*/

  if (increment_overflow(&yourtm.tm_sec, 1 - SECSPERMIN))
   return WRONG;
  saved_seconds = yourtm.tm_sec;
  yourtm.tm_sec = SECSPERMIN - 1;
 } else {
  saved_seconds = yourtm.tm_sec;
  yourtm.tm_sec = 0;
 }
 /*
** Do a binary search (this works whatever time_t's type is).
*/

 if (!TYPE_SIGNED(time_t)) {
  lo = 0;
  hi = lo - 1;
 } else {
  lo = 1;
  for (i = 0; i < (int) TYPE_BIT(time_t) - 1; ++i)
   lo *= 2;
  hi = -(lo + 1);
 }
 for ( ; ; ) {
  t = lo / 2 + hi / 2;
  if (t < lo)
   t = lo;
  else if (t > hi)
   t = hi;
  if ((*funcp)(&t, offset, &mytm) == NULL) {
   /*
** Assume that t is too extreme to be represented in
** a struct tm; arrange things so that it is less
** extreme on the next pass.
*/

   dir = (t > 0) ? 1 : -1;
  } else dir = tmcomp(&mytm, &yourtm);
  if (dir != 0) {
   if (t == lo) {
    if (t == time_t_max)
     return WRONG;
    ++t;
    ++lo;
   } else if (t == hi) {
    if (t == time_t_min)
     return WRONG;
    --t;
    --hi;
   }
   if (lo > hi)
    return WRONG;
   if (dir > 0)
    hi = t;
   else lo = t;
   continue;
  }
  if (yourtm.tm_isdst < 0 || mytm.tm_isdst == yourtm.tm_isdst)
   break;
  /*
** Right time, wrong type.
** Hunt for right time, right type.
** It's okay to guess wrong since the guess
** gets checked.
*/

  sp = (const struct state *)
   ((funcp == localsub) ? lclptr : gmtptr);
  if (sp == NULL)
   return WRONG;
  for (i = sp->typecnt - 1; i >= 0; --i) {
   if (sp->ttis[i].tt_isdst != yourtm.tm_isdst)
    continue;
   for (j = sp->typecnt - 1; j >= 0; --j) {
    if (sp->ttis[j].tt_isdst == yourtm.tm_isdst)
     continue;
    newt = t + sp->ttis[j].tt_gmtoff -
     sp->ttis[i].tt_gmtoff;
    if ((*funcp)(&newt, offset, &mytm) == NULL)
     continue;
    if (tmcomp(&mytm, &yourtm) != 0)
     continue;
    if (mytm.tm_isdst != yourtm.tm_isdst)
     continue;
    /*
** We have a match.
*/

    t = newt;
    goto label;
   }
  }
  return WRONG;
 }
label:
 newt = t + saved_seconds;
 if ((newt < t) != (saved_seconds < 0))
  return WRONG;
 t = newt;
 if ((*funcp)(&t, offset, tmp))
  *okayp = true;
 return t;
}

static time_t
time2(struct tm * const tmp,
      struct tm * (*const funcp)(const time_t *, int_fast32_t, struct tm *),
      const int_fast32_t offset,
      int *const okayp)
{
 time_t t;

 /*
** First try without normalization of seconds
** (in case tm_sec contains a value associated with a leap second).
** If that fails, try with normalization of seconds.
*/

 t = time2sub(tmp, funcp, offset, okayp, false);
 return *okayp ? t : time2sub(tmp, funcp, offset, okayp, true);
}

static time_t
time1(struct tm *const tmp,
      struct tm *(*const funcp) (const time_t *, int_fast32_t, struct tm *),
      const int_fast32_t offset)
{
 register time_t   t;
 register const struct state * sp;
 register int   samei, otheri;
 register int   sameind, otherind;
 register int   i;
 register int   nseen;
 int    seen[TZ_MAX_TYPES];
 int    types[TZ_MAX_TYPES];
 int    okay;

 if (tmp == NULL) {
  errno = EINVAL;
  return WRONG;
 }
 if (tmp->tm_isdst > 1)
  tmp->tm_isdst = 1;
 t = time2(tmp, funcp, offset, &okay);
 if (okay)
  return t;
 if (tmp->tm_isdst < 0)
#ifdef PCTS
  /*
** POSIX Conformance Test Suite code courtesy Grant Sullivan.
*/

  tmp->tm_isdst = 0; /* reset to std and try again */
#else
  return t;
#endif /* !defined PCTS */
 /*
** We're supposed to assume that somebody took a time of one type
** and did some math on it that yielded a "struct tm" that's bad.
** We try to divine the type they started from and adjust to the
** type they need.
*/

 sp = (const struct state *) ((funcp == localsub) ?  lclptr : gmtptr);
 if (sp == NULL)
  return WRONG;
 for (i = 0; i < sp->typecnt; ++i)
  seen[i] = false;
 nseen = 0;
 for (i = sp->timecnt - 1; i >= 0; --i)
  if (!seen[sp->types[i]]) {
   seen[sp->types[i]] = true;
   types[nseen++] = sp->types[i];
  }
 for (sameind = 0; sameind < nseen; ++sameind) {
  samei = types[sameind];
  if (sp->ttis[samei].tt_isdst != tmp->tm_isdst)
   continue;
  for (otherind = 0; otherind < nseen; ++otherind) {
   otheri = types[otherind];
   if (sp->ttis[otheri].tt_isdst == tmp->tm_isdst)
    continue;
   tmp->tm_sec += sp->ttis[otheri].tt_gmtoff -
     sp->ttis[samei].tt_gmtoff;
   tmp->tm_isdst = !tmp->tm_isdst;
   t = time2(tmp, funcp, offset, &okay);
   if (okay)
    return t;
   tmp->tm_sec -= sp->ttis[otheri].tt_gmtoff -
     sp->ttis[samei].tt_gmtoff;
   tmp->tm_isdst = !tmp->tm_isdst;
  }
 }
 return WRONG;
}

time_t
mktime(struct tm *const tmp)
{
 tzset();
 return time1(tmp, localsub, 0L);
}

#ifdef STD_INSPIRED

time_t
timelocal(struct tm *const tmp)
{
 if (tmp != NULL)
  tmp->tm_isdst = -1; /* in case it wasn't initialized */
 return mktime(tmp);
}

time_t
timegm(struct tm *const tmp)
{
 if (tmp != NULL)
  tmp->tm_isdst = 0;
 return time1(tmp, gmtsub, 0L);
}

time_t
timeoff(struct tm *const tmp, const long offset)
{
 if (tmp != NULL)
  tmp->tm_isdst = 0;
 return time1(tmp, gmtsub, offset);
}

#endif /* defined STD_INSPIRED */

#ifdef CMUCS

/*
** The following is supplied for compatibility with
** previous versions of the CMUCS runtime library.
*/


long
gtime(struct tm *const tmp)
{
 const time_t t = mktime(tmp);

 if (t == WRONG)
  return -1;
 return t;
}

#endif /* defined CMUCS */

/*
** XXX--is the below the right way to conditionalize??
*/


#ifdef STD_INSPIRED

/*
** IEEE Std 1003.1-1988 (POSIX) legislates that 536457599
** shall correspond to "Wed Dec 31 23:59:59 UTC 1986", which
** is not the case if we are accounting for leap seconds.
** So, we provide the following conversion routines for use
** when exchanging timestamps with POSIX conforming systems.
*/


static int_fast64_t
leapcorr(time_t *timep)
{
 register struct state *  sp;
 register struct lsinfo * lp;
 register int   i;

 sp = lclptr;
 i = sp->leapcnt;
 while (--i >= 0) {
  lp = &sp->lsis[i];
  if (*timep >= lp->ls_trans)
   return lp->ls_corr;
 }
 return 0;
}

time_t
time2posix(time_t t)
{
 tzset();
 return t - leapcorr(&t);
}

time_t
posix2time(time_t t)
{
 time_t x;
 time_t y;

 tzset();
 /*
** For a positive leap second hit, the result
** is not unique. For a negative leap second
** hit, the corresponding time doesn't exist,
** so we return an adjacent second.
*/

 x = t + leapcorr(&t);
 y = x - leapcorr(&x);
 if (y < t) {
  do {
   x++;
   y = x - leapcorr(&x);
  } while (y < t);
  if (t != y)
   return x - 1;
 } else if (y > t) {
  do {
   --x;
   y = x - leapcorr(&x);
  } while (y > t);
  if (t != y)
   return x + 1;
 }
 return x;
}

#endif /* defined STD_INSPIRED */

Messung V0.5
C=93 H=89 G=90

¤ Dauer der Verarbeitung: 0.10 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge