localtime.c File Reference

#include "c.h"
#include <fcntl.h>
#include "datatype/timestamp.h"
#include "pgtz.h"
#include "private.h"
#include "tzfile.h"

Include dependency graph for localtime.c:

Go to the source code of this file.

Data Structures
struct	rule
union	input_buffer
union	local_storage
struct	local_storage::file_analysis

Macros
#define	UNCONST(a)   unconstify(char *, a)
#define	WILDABBR   " "
#define	TZDEFRULESTRING   ",M3.2.0,M11.1.0"
#define	WRONG   (-1)

Enumerations
enum	r_type { JULIAN_DAY , DAY_OF_YEAR , MONTH_NTH_DAY_OF_WEEK }
enum	{ TZLOAD_FROMENV = 1 }
enum	{ TZLOAD_TZSTRING = 2 }
enum	{ TZLOAD_TZDIR_SUB = 4 }

Functions
static int	leapcount (ATTRIBUTE_MAYBE_UNUSED struct state const *sp)
static void	set_leapcount (ATTRIBUTE_MAYBE_UNUSED struct state *sp, ATTRIBUTE_MAYBE_UNUSED int leapcnt)
static struct lsinfo	lsinfo (ATTRIBUTE_MAYBE_UNUSED struct state const *sp, ATTRIBUTE_MAYBE_UNUSED int i)
static void	set_lsinfo (ATTRIBUTE_MAYBE_UNUSED struct state *sp, ATTRIBUTE_MAYBE_UNUSED int i, ATTRIBUTE_MAYBE_UNUSED struct lsinfo lsinfo)
static struct pg_tm *	gmtsub (pg_time_t const *timep, int_fast32_t offset, struct pg_tm *tmp)
static bool	increment_overflow (int *ip, int j)
static bool	increment_overflow_time (pg_time_t *tp, int_fast32_2s j)
static int_fast32_2s	leapcorr (struct state const *sp, pg_time_t t)
static struct pg_tm *	timesub (pg_time_t const *timep, int_fast32_t offset, struct state const *sp, struct pg_tm *tmp)
static bool	tzparse (const char *name, struct state *sp, struct state const *basep)
static void	init_ttinfo (struct ttinfo *s, int_fast32_t utoff, bool isdst, desigidx_type desigidx)
static int_fast32_2s	detzcode (const char *const codep)
static int_fast64_t	detzcode64 (const char *const codep)
static int	tzloadbody (char const *name, char *canonname, struct state *sp, char tzloadflags, union local_storage **lspp)
static int	tzload (char const *name, char *canonname, struct state *sp, char tzloadflags)
static bool	is_digit (char c)
static ATTRIBUTE_PURE_114833 const char *	getzname (const char *strp)
static ATTRIBUTE_PURE_114833 const char *	getqzname (const char *strp, const int delim)
static const char *	getnum (const char *strp, int *const nump, const int min, const int max)
static const char *	getsecs (const char *strp, int_fast32_t *const secsp)
static const char *	getoffset (const char *strp, int_fast32_t *const offsetp)
static const char *	getrule (const char *strp, struct rule *const rulep)
static int_fast32_t	transtime (const int year, const struct rule *const rulep, const int_fast32_t offset)
static void	gmtload (struct state *const sp)
static struct pg_tm *	localsub (struct state const *sp, pg_time_t const *timep, struct pg_tm *const tmp)
struct pg_tm *	pg_localtime (const pg_time_t *timep, const pg_tz *tz)
struct pg_tm *	pg_gmtime (const pg_time_t *timep)
static pg_time_t	leaps_thru_end_of_nonneg (pg_time_t y)
static pg_time_t	leaps_thru_end_of (pg_time_t y)
bool	pg_tzload (const char *name, char *canonname, struct state *sp)
int	pg_next_dst_boundary (const pg_time_t *timep, long int *before_gmtoff, int *before_isdst, pg_time_t *boundary, long int *after_gmtoff, int *after_isdst, const pg_tz *tz)
bool	pg_interpret_timezone_abbrev (const char *abbrev, const pg_time_t *timep, long int *gmtoff, int *isdst, const pg_tz *tz)
bool	pg_timezone_abbrev_is_known (const char *abbrev, bool *isfixed, long int *gmtoff, int *isdst, const pg_tz *tz)
const char *	pg_get_next_timezone_abbrev (int *indx, const pg_tz *tz)
bool	pg_get_timezone_offset (const pg_tz *tz, long int *gmtoff)
const char *	pg_get_timezone_name (pg_tz *tz)
bool	pg_tz_acceptable (pg_tz *tz)

Variables
static const char	wildabbr [] = WILDABBR
static struct pg_tm	tm
static const int	mon_lengths [2][MONSPERYEAR]
static const int	year_lengths [2]

Macro Definition Documentation

TZDEFRULESTRING

#define TZDEFRULESTRING   ",M3.2.0,M11.1.0"

Definition at line 67 of file localtime.c.

UNCONST

#define UNCONST

(

a

)

unconstify(char *, a)

Definition at line 33 of file localtime.c.

WILDABBR

#define WILDABBR   " "

Definition at line 55 of file localtime.c.

WRONG

#define WRONG   (-1)

Definition at line 1503 of file localtime.c.

Enumeration Type Documentation

anonymous enum

anonymous enum

Enumerator
TZLOAD_FROMENV

Definition at line 243 of file localtime.c.

{
TZLOAD_FROMENV = 1};            /* The TZ string came from the environment.  */

anonymous enum

anonymous enum

Enumerator
TZLOAD_TZSTRING

Definition at line 246 of file localtime.c.

{
TZLOAD_TZSTRING = 2};           /* Read any newline-surrounded TZ string.  */

anonymous enum

anonymous enum

Enumerator
TZLOAD_TZDIR_SUB

Definition at line 249 of file localtime.c.

{
TZLOAD_TZDIR_SUB = 4};          /* TZ should be a file under TZDIR.  */

r_type

enum r_type

Enumerator
JULIAN_DAY
DAY_OF_YEAR
MONTH_NTH_DAY_OF_WEEK

Definition at line 109 of file localtime.c.

{
    JULIAN_DAY,                 /* Jn = Julian day */
    DAY_OF_YEAR,                /* n = day of year */
    MONTH_NTH_DAY_OF_WEEK       /* Mm.n.d = month, week, day of week */
};

Function Documentation

detzcode()

static int_fast32_2s detzcode ( const char *const  codep )

static

Definition at line 163 of file localtime.c.

{
    int         i;
    int_fast32_2s
                maxval = TWO_31_MINUS_1,
                minval = -1 - maxval,
                result;
 
    result = codep[0] & 0x7f;
    for (i = 1; i < 4; ++i)
        result = (result << 8) | (codep[i] & 0xff);
 
    if (codep[0] & 0x80)
    {
        /*
         * Do two's-complement negation even on non-two's-complement machines.
         * This cannot overflow, as int_fast32_2s is wide enough.
         */
        result += minval;
    }
    return result;
}

References fb(), i, result, and TWO_31_MINUS_1.

Referenced by tzloadbody().

detzcode64()

static int_fast64_t detzcode64 ( const char *const  codep )

static

Definition at line 187 of file localtime.c.

{
    int_fast64_t result;
    int         i;
    int_fast64_t one = 1;
    int_fast64_t halfmaxval = one << (64 - 2);
    int_fast64_t maxval = halfmaxval - 1 + halfmaxval;
    int_fast64_t minval = -TWOS_COMPLEMENT(int_fast64_t) - maxval;
 
    result = codep[0] & 0x7f;
    for (i = 1; i < 8; ++i)
        result = (result << 8) | (codep[i] & 0xff);
 
    if (codep[0] & 0x80)
    {
        /*
         * Do two's-complement negation even on non-two's-complement machines.
         * If the result would be minval - 1, return minval.
         */
        result -= !TWOS_COMPLEMENT(int_fast64_t) && result != 0;
        result += minval;
    }
    return result;
}

References fb(), i, result, and TWOS_COMPLEMENT.

Referenced by tzloadbody().

getnum()

static const char * getnum ( const char *  strp, int *const  nump, const int  min, const int  max  )

static

Definition at line 689 of file localtime.c.

{
    char        c;
    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;
}

References fb(), is_digit(), max, and min.

Referenced by getrule(), and getsecs().

getoffset()

static const char * getoffset ( const char *  strp, int_fast32_t *const  offsetp  )

static

Definition at line 761 of file localtime.c.

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

References fb(), and getsecs().

Referenced by getrule(), and tzparse().

getqzname()

static ATTRIBUTE_PURE_114833 const char * getqzname ( const char *  strp, const int  delim  )

static

Definition at line 672 of file localtime.c.

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

References fb().

Referenced by tzparse().

getrule()

static const char * getrule ( const char *  strp, struct rule *const  rulep  )

static

Definition at line 789 of file localtime.c.

{
    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;
}

References DAY_OF_YEAR, DAYSPERLYEAR, DAYSPERNYEAR, DAYSPERWEEK, fb(), getnum(), getoffset(), is_digit(), JULIAN_DAY, MONSPERYEAR, MONTH_NTH_DAY_OF_WEEK, and SECSPERHOUR.

Referenced by tzparse().

getsecs()

static const char * getsecs ( const char *  strp, int_fast32_t *const  secsp  )

static

Definition at line 719 of file localtime.c.

{
    int         num;
    int_fast32_t secsperhour = SECSPERHOUR;
 
    /*
     * '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 * 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;
}

References DAYSPERWEEK, fb(), getnum(), HOURSPERDAY, MINSPERHOUR, SECSPERHOUR, and SECSPERMIN.

Referenced by getoffset().

getzname()

static ATTRIBUTE_PURE_114833 const char * getzname ( const char *  strp )

static

Definition at line 651 of file localtime.c.

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

References fb(), and is_digit().

Referenced by tzparse().

gmtload()

static void gmtload ( struct state *const  sp )

static

Definition at line 1172 of file localtime.c.

{
    /* PG: for historical compatibility, use "GMT" not "UTC" as TZ abbrev */
    tzparse("GMT0", sp, NULL);
}

References fb(), and tzparse().

Referenced by gmtsub(), and pg_tzload().

gmtsub()

static struct pg_tm * gmtsub ( pg_time_t const *  timep, int_fast32_t  offset, struct pg_tm *  tmp  )

static

Definition at line 1302 of file localtime.c.

{
    struct pg_tm *result;
 
    /* GMT timezone state data is kept here */
    static struct state *gmtptr = NULL;
 
    if (gmtptr == NULL)
    {
        /* Allocate on first use */
        gmtptr = (struct state *) malloc(sizeof(struct state));
        if (gmtptr == NULL)
            return NULL;        /* errno should be set by malloc */
        gmtload(gmtptr);
    }
 
    result = timesub(timep, offset, gmtptr, tmp);
#ifdef TM_ZONE
 
    /*
     * Could get fancy here and deliver something such as "+xx" or "-xx" if
     * offset is non-zero, but this is no time for a treasure hunt.
     */
    tmp->TM_ZONE = UNCONST(offset ? wildabbr
                           : gmtptr->chars);
#endif                          /* defined TM_ZONE */
    return result;
}

References fb(), gmtload(), malloc, result, timesub(), state::tmp, UNCONST, and wildabbr.

Referenced by localsub(), and pg_gmtime().

increment_overflow()

static bool increment_overflow ( int *  ip, int  j  )

static

Definition at line 1511 of file localtime.c.

{
#ifdef ckd_add
    return ckd_add(ip, *ip, j);
#else
    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;
#endif
}

References fb(), i, and j.

Referenced by tzparse().

increment_overflow_time()

static bool increment_overflow_time ( pg_time_t *  tp, int_fast32_2s  j  )

static

Definition at line 1533 of file localtime.c.

{
#ifdef ckd_add
    return ckd_add(tp, *tp, j);
#else
    /*----------
     * 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(pg_time_t) ? TIME_T_MIN - j <= *tp : -1 - j < *tp)
          : *tp <= TIME_T_MAX - j))
        return true;
    *tp += j;
    return false;
#endif
}

References fb(), j, TIME_T_MAX, TIME_T_MIN, and TYPE_SIGNED.

Referenced by tzloadbody(), and tzparse().

init_ttinfo()

static void init_ttinfo ( struct ttinfo *  s, int_fast32_t  utoff, bool  isdst, desigidx_type  desigidx  )

static

Definition at line 152 of file localtime.c.

{
    s->tt_utoff = utoff;
    s->tt_isdst = isdst;
    s->tt_desigidx = desigidx;
    s->tt_ttisstd = false;
    s->tt_ttisut = false;
}

References desigidx, fb(), ttinfo::tt_desigidx, ttinfo::tt_isdst, ttinfo::tt_ttisstd, ttinfo::tt_ttisut, and ttinfo::tt_utoff.

Referenced by tzparse().

is_digit()

static bool is_digit ( char  c )

static

Definition at line 639 of file localtime.c.

{
    return '0' <= c && c <= '9';
}

Referenced by getnum(), getrule(), and getzname().

leapcorr()

static int_fast32_2s leapcorr ( struct state const *  sp, pg_time_t  t  )

static

Definition at line 1554 of file localtime.c.

{
    int         i;
 
    i = leapcount(sp);
    while (--i >= 0)
    {
        struct lsinfo ls = lsinfo(sp, i);
 
        if (ls.ls_trans <= t)
            return ls.ls_corr;
    }
    return 0;
}

References fb(), i, and leapcount().

Referenced by tzloadbody().

leapcount()

static int leapcount ( ATTRIBUTE_MAYBE_UNUSED struct state const *  sp )

static

Definition at line 73 of file localtime.c.

{
#if TZ_RUNTIME_LEAPS
    return sp->leapcnt;
#else
    return 0;
#endif
}

References fb().

Referenced by leapcorr(), timesub(), tzloadbody(), and tzparse().

leaps_thru_end_of()

static pg_time_t leaps_thru_end_of ( pg_time_t  y )

static

Definition at line 1350 of file localtime.c.

{
    return (y < 0
            ? -1 - leaps_thru_end_of_nonneg(-1 - y)
            : leaps_thru_end_of_nonneg(y));
}

References leaps_thru_end_of_nonneg(), and y.

Referenced by timesub().

leaps_thru_end_of_nonneg()

static pg_time_t leaps_thru_end_of_nonneg ( pg_time_t  y )

static

Definition at line 1344 of file localtime.c.

{
    return y / 4 - y / 100 + y / 400;
}

References y.

Referenced by leaps_thru_end_of().

localsub()

static struct pg_tm * localsub ( struct state const *  sp, pg_time_t const *  timep, struct pg_tm *const  tmp  )

static

Definition at line 1186 of file localtime.c.

{
    const struct ttinfo *ttisp;
    int         i;
    struct pg_tm *result;
    const pg_time_t t = *timep;
 
    if (sp == NULL)
        return gmtsub(timep, 0, tmp);
    if ((sp->goback && t < sp->ats[0]) ||
        (sp->goahead && t > sp->ats[sp->timecnt - 1]))
    {
        pg_time_t   newt;
        pg_time_t   seconds;
        pg_time_t   years;
 
        if (t < sp->ats[0])
            seconds = sp->ats[0] - t;
        else
            seconds = t - sp->ats[sp->timecnt - 1];
        --seconds;
 
        /*
         * Beware integer overflow, as SECONDS might be close to the maximum
         * pg_time_t.
         */
        years = seconds / SECSPERREPEAT * YEARSPERREPEAT;
        seconds = years * AVGSECSPERYEAR;
        years += YEARSPERREPEAT;
        if (t < sp->ats[0])
            newt = t + seconds + SECSPERREPEAT;
        else
            newt = t - seconds - SECSPERREPEAT;
 
        if (newt < sp->ats[0] ||
            newt > sp->ats[sp->timecnt - 1])
            return NULL;        /* "cannot happen" */
        result = localsub(sp, &newt, tmp);
        if (result)
        {
#if defined ckd_add && defined ckd_sub
            if (t < sp->ats[0]
                ? ckd_sub(&result->tm_year,
                          result->tm_year, years)
                : ckd_add(&result->tm_year,
                          result->tm_year, years))
                return NULL;
#else
            int_fast64_t newy;
 
            newy = result->tm_year;
            if (t < sp->ats[0])
                newy -= years;
            else
                newy += years;
            if (!(INT_MIN <= newy && newy <= INT_MAX))
                return NULL;
            result->tm_year = newy;
#endif
        }
        return result;
    }
    if (sp->timecnt == 0 || t < sp->ats[0])
    {
        i = 0;
    }
    else
    {
        int         lo = 1;
        int         hi = sp->timecnt;
 
        while (lo < hi)
        {
            int         mid = (lo + hi) >> 1;
 
            if (t < sp->ats[mid])
                hi = mid;
            else
                lo = mid + 1;
        }
        i = 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_utoff;
     * timesub(&t, 0, sp, tmp);
     */
    result = timesub(&t, ttisp->tt_utoff, sp, tmp);
    if (result)
    {
        result->tm_isdst = ttisp->tt_isdst;
#ifdef TM_ZONE
        result->TM_ZONE = UNCONST(&sp->chars[ttisp->tt_desigidx]);
#endif
    }
    return result;
}

References AVGSECSPERYEAR, fb(), gmtsub(), i, localsub(), result, SECSPERREPEAT, timesub(), UNCONST, and YEARSPERREPEAT.

Referenced by localsub(), and pg_localtime().

lsinfo()

static struct lsinfo lsinfo ( ATTRIBUTE_MAYBE_UNUSED struct state const *  sp, ATTRIBUTE_MAYBE_UNUSED int  i  )

static

Definition at line 90 of file localtime.c.

{
#if TZ_RUNTIME_LEAPS
    return sp->lsis[i];
#else
    unreachable();
#endif
}

References fb(), i, and unreachable.

pg_get_next_timezone_abbrev()

const char * pg_get_next_timezone_abbrev	(	int *	indx,
		const pg_tz *	tz
	)

Definition at line 1960 of file localtime.c.

{
    const char *result;
    const struct state *sp = &tz->state;
    const char *abbrs;
    int         abbrind;
 
    /* If we're still in range, the result is the current abbrev. */
    abbrs = sp->chars;
    abbrind = *indx;
    if (abbrind < 0 || abbrind >= sp->charcnt)
        return NULL;
    result = abbrs + abbrind;
 
    /* Advance *indx past this abbrev and its trailing null. */
    while (abbrs[abbrind] != '\0')
        abbrind++;
    abbrind++;
    *indx = abbrind;
 
    return result;
}

References state::chars, fb(), result, and pg_tz::state.

Referenced by pg_timezone_abbrevs_zone().

pg_get_timezone_name()

const char * pg_get_timezone_name

(

pg_tz *

tz

)

Definition at line 2013 of file localtime.c.

{
    if (tz)
        return tz->TZname;
    return NULL;
}

References fb(), and pg_tz::TZname.

Referenced by pg_timezone_names(), show_log_timezone(), show_timezone(), and timetz_at_local().

pg_get_timezone_offset()

bool pg_get_timezone_offset	(	const pg_tz *	tz,
		long int *	gmtoff
	)

Definition at line 1989 of file localtime.c.

{
    /*
     * The zone could have more than one ttinfo, if it's historically used
     * more than one abbreviation.  We return true as long as they all have
     * the same gmtoff.
     */
    const struct state *sp;
    int         i;
 
    sp = &tz->state;
    for (i = 1; i < sp->typecnt; i++)
    {
        if (sp->ttis[i].tt_utoff != sp->ttis[0].tt_utoff)
            return false;
    }
    *gmtoff = sp->ttis[0].tt_utoff;
    return true;
}

References fb(), i, pg_tz::state, ttinfo::tt_utoff, and state::ttis.

Referenced by DecodeTimeOnly(), and TimestampTimestampTzRequiresRewrite().

pg_gmtime()

struct pg_tm * pg_gmtime

(

const pg_time_t *

timep

)

Definition at line 1333 of file localtime.c.

{
    return gmtsub(timep, 0, &tm);
}

References fb(), gmtsub(), and tm.

Referenced by AddFileToBackupManifest(), and GetEpochTime().

pg_interpret_timezone_abbrev()

bool pg_interpret_timezone_abbrev	(	const char *	abbrev,
		const pg_time_t *	timep,
		long int *	gmtoff,
		int *	isdst,
		const pg_tz *	tz
	)

Definition at line 1767 of file localtime.c.

{
    const struct state *sp;
    const char *abbrs;
    const struct ttinfo *ttisp;
    int         abbrind;
    int         cutoff;
    int         i;
    const pg_time_t t = *timep;
 
    sp = &tz->state;
 
    /*
     * Locate the abbreviation in the zone's abbreviation list.  We assume
     * there are not duplicates in the list.
     */
    abbrs = sp->chars;
    abbrind = 0;
    while (abbrind < sp->charcnt)
    {
        if (strcmp(abbrev, abbrs + abbrind) == 0)
            break;
        while (abbrs[abbrind] != '\0')
            abbrind++;
        abbrind++;
    }
    if (abbrind >= sp->charcnt)
        return false;           /* not there! */
 
    /*
     * Unlike pg_next_dst_boundary, we needn't sweat about extrapolation
     * (goback/goahead zones).  Finding the newest or oldest meaning of the
     * abbreviation should get us what we want, since extrapolation would just
     * be repeating the newest or oldest meanings.
     *
     * Use binary search to locate the first transition > cutoff time.  (Note
     * that sp->timecnt could be zero, in which case this loop does nothing
     * and only the defaulttype entry will be checked.)
     */
    {
        int         lo = 0;
        int         hi = sp->timecnt;
 
        while (lo < hi)
        {
            int         mid = (lo + hi) >> 1;
 
            if (t < sp->ats[mid])
                hi = mid;
            else
                lo = mid + 1;
        }
        cutoff = lo;
    }
 
    /*
     * Scan backwards to find the latest interval using the given abbrev
     * before the cutoff time.
     */
    for (i = cutoff - 1; i >= 0; i--)
    {
        ttisp = &sp->ttis[sp->types[i]];
        if (ttisp->tt_desigidx == abbrind)
        {
            *gmtoff = ttisp->tt_utoff;
            *isdst = ttisp->tt_isdst;
            return true;
        }
    }
 
    /*
     * Not found yet; check the defaulttype, which is notionally the era
     * before any of the entries in sp->types[].
     */
    ttisp = &sp->ttis[0];
    if (ttisp->tt_desigidx == abbrind)
    {
        *gmtoff = ttisp->tt_utoff;
        *isdst = ttisp->tt_isdst;
        return true;
    }
 
    /*
     * Not there, so scan forwards to find the first one after the cutoff.
     */
    for (i = cutoff; i < sp->timecnt; i++)
    {
        ttisp = &sp->ttis[sp->types[i]];
        if (ttisp->tt_desigidx == abbrind)
        {
            *gmtoff = ttisp->tt_utoff;
            *isdst = ttisp->tt_isdst;
            return true;
        }
    }
 
    return false;               /* hm, not actually used in any interval? */
}

References charcnt, state::chars, fb(), i, and pg_tz::state.

Referenced by DetermineTimeZoneAbbrevOffsetInternal(), and pg_timezone_abbrevs_zone().

pg_localtime()

struct pg_tm * pg_localtime	(	const pg_time_t *	timep,
		const pg_tz *	tz
	)

Definition at line 1289 of file localtime.c.

{
    return localsub(&tz->state, timep, &tm);
}

References fb(), localsub(), pg_tz::state, and tm.

Referenced by build_backup_content(), get_formatted_log_time(), get_formatted_start_time(), log_status_format(), logfile_getname(), pg_tz_acceptable(), score_timezone(), set_next_rotation_time(), str_time(), timeofday(), and timestamp2tm().

pg_next_dst_boundary()

int pg_next_dst_boundary	(	const pg_time_t *	timep,
		long int *	before_gmtoff,
		int *	before_isdst,
		pg_time_t *	boundary,
		long int *	after_gmtoff,
		int *	after_isdst,
		const pg_tz *	tz
	)

Definition at line 1634 of file localtime.c.

{
    const struct state *sp;
    const struct ttinfo *ttisp;
    int         i;
    int         j;
    const pg_time_t t = *timep;
 
    sp = &tz->state;
    if (sp->timecnt == 0)
    {
        /* non-DST zone, use the defaulttype (now always 0) */
        ttisp = &sp->ttis[0];
        *before_gmtoff = ttisp->tt_utoff;
        *before_isdst = ttisp->tt_isdst;
        return 0;
    }
    if ((sp->goback && t < sp->ats[0]) ||
        (sp->goahead && t > sp->ats[sp->timecnt - 1]))
    {
        /* For values outside the transition table, extrapolate */
        pg_time_t   newt = t;
        pg_time_t   seconds;
        pg_time_t   tcycles;
        int64       icycles;
        int         result;
 
        if (t < sp->ats[0])
            seconds = sp->ats[0] - t;
        else
            seconds = t - sp->ats[sp->timecnt - 1];
        --seconds;
        tcycles = seconds / YEARSPERREPEAT / AVGSECSPERYEAR;
        ++tcycles;
        icycles = tcycles;
        if (tcycles - icycles >= 1 || icycles - tcycles >= 1)
            return -1;
        seconds = icycles;
        seconds *= YEARSPERREPEAT;
        seconds *= AVGSECSPERYEAR;
        if (t < sp->ats[0])
            newt += seconds;
        else
            newt -= seconds;
        if (newt < sp->ats[0] ||
            newt > sp->ats[sp->timecnt - 1])
            return -1;          /* "cannot happen" */
 
        result = pg_next_dst_boundary(&newt, before_gmtoff,
                                      before_isdst,
                                      boundary,
                                      after_gmtoff,
                                      after_isdst,
                                      tz);
        if (t < sp->ats[0])
            *boundary -= seconds;
        else
            *boundary += seconds;
        return result;
    }
 
    if (t >= sp->ats[sp->timecnt - 1])
    {
        /* No known transition > t, so use last known segment's type */
        i = sp->types[sp->timecnt - 1];
        ttisp = &sp->ttis[i];
        *before_gmtoff = ttisp->tt_utoff;
        *before_isdst = ttisp->tt_isdst;
        return 0;
    }
    if (t < sp->ats[0])
    {
        /* For "before", use the defaulttype (now always 0) */
        ttisp = &sp->ttis[0];
        *before_gmtoff = ttisp->tt_utoff;
        *before_isdst = ttisp->tt_isdst;
        *boundary = sp->ats[0];
        /* And for "after", use the first segment's type */
        i = sp->types[0];
        ttisp = &sp->ttis[i];
        *after_gmtoff = ttisp->tt_utoff;
        *after_isdst = ttisp->tt_isdst;
        return 1;
    }
    /* Else search to find the boundary following t */
    {
        int         lo = 1;
        int         hi = sp->timecnt - 1;
 
        while (lo < hi)
        {
            int         mid = (lo + hi) >> 1;
 
            if (t < sp->ats[mid])
                hi = mid;
            else
                lo = mid + 1;
        }
        i = lo;
    }
    j = sp->types[i - 1];
    ttisp = &sp->ttis[j];
    *before_gmtoff = ttisp->tt_utoff;
    *before_isdst = ttisp->tt_isdst;
    *boundary = sp->ats[i];
    j = sp->types[i];
    ttisp = &sp->ttis[j];
    *after_gmtoff = ttisp->tt_utoff;
    *after_isdst = ttisp->tt_isdst;
    return 1;
}

References AVGSECSPERYEAR, fb(), i, j, pg_next_dst_boundary(), result, pg_tz::state, ttinfo::tt_utoff, state::ttis, and YEARSPERREPEAT.

Referenced by DetermineTimeZoneOffsetInternal(), and pg_next_dst_boundary().

pg_timezone_abbrev_is_known()

bool pg_timezone_abbrev_is_known	(	const char *	abbrev,
		bool *	isfixed,
		long int *	gmtoff,
		int *	isdst,
		const pg_tz *	tz
	)

Definition at line 1885 of file localtime.c.

{
    bool        result = false;
    const struct state *sp = &tz->state;
    const char *abbrs;
    int         abbrind;
 
    /*
     * Locate the abbreviation in the zone's abbreviation list.  We assume
     * there are not duplicates in the list.
     */
    abbrs = sp->chars;
    abbrind = 0;
    while (abbrind < sp->charcnt)
    {
        if (strcmp(abbrev, abbrs + abbrind) == 0)
            break;
        while (abbrs[abbrind] != '\0')
            abbrind++;
        abbrind++;
    }
    if (abbrind >= sp->charcnt)
        return false;           /* definitely not there */
 
    /*
     * Scan the ttinfo array to find uses of the abbreviation.
     */
    for (int i = 0; i < sp->typecnt; i++)
    {
        const struct ttinfo *ttisp = &sp->ttis[i];
 
        if (ttisp->tt_desigidx == abbrind)
        {
            if (!result)
            {
                /* First usage */
                *isfixed = true;    /* for the moment */
                *gmtoff = ttisp->tt_utoff;
                *isdst = ttisp->tt_isdst;
                result = true;
            }
            else
            {
                /* Second or later usage, does it match? */
                if (*gmtoff != ttisp->tt_utoff ||
                    *isdst != ttisp->tt_isdst)
                {
                    *isfixed = false;
                    break;      /* no point in looking further */
                }
            }
        }
    }
 
    return result;
}

References charcnt, state::chars, fb(), i, result, pg_tz::state, and ttinfo::tt_utoff.

Referenced by TimeZoneAbbrevIsKnown().

pg_tz_acceptable()

bool pg_tz_acceptable

(

pg_tz *

tz

)

Definition at line 2028 of file localtime.c.

{
    struct pg_tm *tt;
    pg_time_t   time2000;
 
    /*
     * To detect leap-second timekeeping, run pg_localtime for what should be
     * GMT midnight, 2000-01-01.  Insist that the tm_sec value be zero; any
     * other result has to be due to leap seconds.
     */
    time2000 = (POSTGRES_EPOCH_JDATE - UNIX_EPOCH_JDATE) * SECS_PER_DAY;
    tt = pg_localtime(&time2000, tz);
    if (!tt || tt->tm_sec != 0)
        return false;
 
    return true;
}

References fb(), pg_localtime(), POSTGRES_EPOCH_JDATE, SECS_PER_DAY, and UNIX_EPOCH_JDATE.

Referenced by check_log_timezone(), check_timezone(), pg_tzenumerate_next(), score_timezone(), and validate_zone().

pg_tzload()

bool pg_tzload	(	const char *	name,
		char *	canonname,
		struct state *	sp
	)

Definition at line 1590 of file localtime.c.

{
    if (strcmp(name, "GMT") == 0)
    {
        gmtload(sp);
        /* Use given name as canonical */
        if (canonname)
            strcpy(canonname, name);
    }
    else if (tzload(name, canonname, sp, TZLOAD_TZSTRING) != 0)
    {
        if (name[0] == ':' || !tzparse(name, sp, NULL))
        {
            /* Unknown timezone. Fail our call instead of loading GMT! */
            return false;
        }
        /* For POSIX timezone specs, use given name as canonical */
        if (canonname)
            strcpy(canonname, name);
    }
    return true;
}

References fb(), gmtload(), name, tzload(), TZLOAD_TZSTRING, and tzparse().

Referenced by pg_load_tz(), pg_tzenumerate_next(), and pg_tzset().

set_leapcount()

static void set_leapcount ( ATTRIBUTE_MAYBE_UNUSED struct state *  sp, ATTRIBUTE_MAYBE_UNUSED int  leapcnt  )

static

Definition at line 82 of file localtime.c.

{
#if TZ_RUNTIME_LEAPS
    sp->leapcnt = leapcnt;
#endif
}

References fb(), and leapcnt.

Referenced by tzloadbody(), and tzparse().

set_lsinfo()

static void set_lsinfo ( ATTRIBUTE_MAYBE_UNUSED struct state *  sp, ATTRIBUTE_MAYBE_UNUSED int  i, ATTRIBUTE_MAYBE_UNUSED struct lsinfo  lsinfo  )

static

Definition at line 100 of file localtime.c.

{
#if TZ_RUNTIME_LEAPS
    sp->lsis[i] = lsinfo;
#endif
}

References fb(), and i.

Referenced by tzloadbody(), and tzparse().

timesub()

static struct pg_tm * timesub ( pg_time_t const *  timep, int_fast32_t  offset, struct state const *  sp, struct pg_tm *  tmp  )

static

Definition at line 1358 of file localtime.c.

{
    pg_time_t   tdays;
    const int  *ip;
    int_fast32_2s corr;
    int         i;
    int_fast32_t idays,
                rem,
                dayoff,
                dayrem;
    pg_time_t   y;
 
    /*
     * If less than SECSPERMIN, the number of seconds since the most recent
     * positive leap second; otherwise, do not add 1 to localtime tm_sec
     * because of leap seconds.
     */
    pg_time_t   secs_since_posleap = SECSPERMIN;
 
    corr = 0;
    i = sp ? leapcount(sp) : 0;
    while (--i >= 0)
    {
        struct lsinfo ls = lsinfo(sp, i);
 
        if (ls.ls_trans <= *timep)
        {
            corr = ls.ls_corr;
            if ((i == 0 ? 0 : lsinfo(sp, i - 1).ls_corr) < corr)
                secs_since_posleap = *timep - ls.ls_trans;
            break;
        }
    }
 
    /*
     * Calculate the year, avoiding integer overflow even if pg_time_t is
     * unsigned.
     */
    tdays = *timep / SECSPERDAY;
    rem = *timep % SECSPERDAY;
    rem += offset % SECSPERDAY - corr % SECSPERDAY + 3 * SECSPERDAY;
    dayoff = offset / SECSPERDAY - corr / SECSPERDAY + rem / SECSPERDAY - 3;
    rem %= SECSPERDAY;
 
    /*
     * y = (EPOCH_YEAR + floor((tdays + dayoff) / DAYSPERREPEAT) *
     * YEARSPERREPEAT), sans overflow.  But calculate against 1570 (EPOCH_YEAR
     * - YEARSPERREPEAT) instead of against 1970 so that things work for
     * localtime values before 1970 when pg_time_t is unsigned.
     */
    dayrem = tdays % DAYSPERREPEAT;
    dayrem += dayoff % DAYSPERREPEAT;
    y = (EPOCH_YEAR - YEARSPERREPEAT
         + ((1 + dayoff / DAYSPERREPEAT + dayrem / DAYSPERREPEAT
             - ((dayrem % DAYSPERREPEAT) < 0)
             + tdays / DAYSPERREPEAT)
            * YEARSPERREPEAT));
    /* idays = (tdays + dayoff) mod DAYSPERREPEAT, sans overflow.  */
    idays = tdays % DAYSPERREPEAT;
    idays += dayoff % DAYSPERREPEAT + 2 * DAYSPERREPEAT;
    idays %= DAYSPERREPEAT;
    /* Increase Y and decrease IDAYS until IDAYS is in range for Y.  */
    while (year_lengths[isleap(y)] <= idays)
    {
        int         tdelta = idays / DAYSPERLYEAR;
        int_fast32_t ydelta = tdelta + !tdelta;
        pg_time_t   newy = y + ydelta;
        int         leapdays;
 
        leapdays = leaps_thru_end_of(newy - 1) -
            leaps_thru_end_of(y - 1);
        idays -= ydelta * DAYSPERNYEAR;
        idays -= leapdays;
        y = newy;
    }
 
#ifdef ckd_add
    if (ckd_add(&tmp->tm_year, y, -TM_YEAR_BASE))
    {
        errno = EOVERFLOW;
        return NULL;
    }
#else
    if (!TYPE_SIGNED(pg_time_t) && y < TM_YEAR_BASE)
    {
        int         signed_y = y;
 
        tmp->tm_year = signed_y - TM_YEAR_BASE;
    }
    else if ((!TYPE_SIGNED(pg_time_t) || INT_MIN + TM_YEAR_BASE <= y)
             && y - TM_YEAR_BASE <= INT_MAX)
        tmp->tm_year = y - TM_YEAR_BASE;
    else
    {
        errno = EOVERFLOW;
        return NULL;
    }
#endif
    tmp->tm_yday = idays;
 
    /*
     * The "extra" mods below avoid overflow problems.
     */
    tmp->tm_wday = (TM_WDAY_BASE
                    + ((tmp->tm_year % DAYSPERWEEK)
                       * (DAYSPERNYEAR % DAYSPERWEEK))
                    + leaps_thru_end_of(y - 1)
                    - leaps_thru_end_of(TM_YEAR_BASE - 1)
                    + idays);
    tmp->tm_wday %= DAYSPERWEEK;
    if (tmp->tm_wday < 0)
        tmp->tm_wday += DAYSPERWEEK;
    tmp->tm_hour = rem / SECSPERHOUR;
    rem %= SECSPERHOUR;
    tmp->tm_min = rem / SECSPERMIN;
    tmp->tm_sec = rem % SECSPERMIN;
 
    /*
     * Use "... ??:??:60" at the end of the localtime minute containing the
     * second just before the positive leap second.
     */
    tmp->tm_sec += secs_since_posleap <= tmp->tm_sec;
 
    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;
}

References corr, DAYSPERLYEAR, DAYSPERNYEAR, DAYSPERREPEAT, DAYSPERWEEK, EOVERFLOW, EPOCH_YEAR, fb(), i, isleap, leapcount(), leaps_thru_end_of(), lsinfo::ls_corr, mon_lengths, SECSPERDAY, SECSPERHOUR, SECSPERMIN, pg_tm::tm_hour, pg_tm::tm_isdst, pg_tm::tm_mday, pg_tm::tm_min, pg_tm::tm_mon, pg_tm::tm_sec, pg_tm::tm_wday, TM_WDAY_BASE, pg_tm::tm_yday, pg_tm::tm_year, TM_YEAR_BASE, TYPE_SIGNED, y, year_lengths, and YEARSPERREPEAT.

Referenced by gmtsub(), and localsub().

transtime()

static int_fast32_t transtime ( const int  year, const struct rule *const  rulep, const int_fast32_t  offset  )

static

Definition at line 850 of file localtime.c.

{
    bool        leapyear;
    int_fast32_t value;
    int         i;
    int         d,
                m1,
                yy0,
                yy1,
                yy2,
                dow;
 
    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;
 
        default:
            unreachable();
    }
 
    /*
     * "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;
}

References DAY_OF_YEAR, DAYSPERWEEK, fb(), i, isleap, JULIAN_DAY, mon_lengths, MONTH_NTH_DAY_OF_WEEK, SECSPERDAY, unreachable, and value.

Referenced by tzparse().

tzload()

static int tzload ( char const *  name, char *  canonname, struct state *  sp, char  tzloadflags  )

static

Definition at line 618 of file localtime.c.

{
    /* PG: our version of tzloadbody never reallocates *lspp */
    union local_storage *lsp;
    union local_storage ls;
 
    lsp = &ls;
    return tzloadbody(name, canonname, sp, tzloadflags, &lsp);
}

References fb(), name, and tzloadbody().

Referenced by pg_tzload().

tzloadbody()

static int tzloadbody ( char const *  name, char *  canonname, struct state *  sp, char  tzloadflags, union local_storage **  lspp  )

static

Definition at line 261 of file localtime.c.

{
    int         i;
    int         fid;
    int         stored;
    ssize_t     nread;
    union local_storage *lsp = *lspp;
    union input_buffer *up;
    int         tzheadsize = sizeof(struct tzhead);
 
    sp->goback = sp->goahead = false;
 
    if (!name)
    {
        name = TZDEFAULT;
        if (!name)
            return EINVAL;
    }
 
    if (name[0] == ':')
        ++name;
 
    /*
     * The IANA code goes to a great deal of trouble here to try to prevent
     * inappropriate file accesses.  That seems unnecessary for PG since we
     * won't run as root.  pg_open_tzfile() does go to some effort to prevent
     * accesses outside the designated zoneinfo tree, though.
     */
    fid = pg_open_tzfile(name, canonname);
    if (fid < 0)
        return ENOENT;          /* pg_open_tzfile may not set errno */
 
    up = &lsp->u.u;
    nread = read(fid, up->buf, sizeof up->buf);
    if (nread < tzheadsize)
    {
        int         err = nread < 0 ? errno : EINVAL;
 
        close(fid);
        return err;
    }
    if (close(fid) < 0)
        return errno;
 
    for (stored = 4; stored <= 8; stored *= 2)
    {
        char        version = up->tzhead.tzh_version[0];
        bool        skip_datablock = stored == 4 && version;
        int_fast32_t datablock_size;
        int_fast32_2s
                    ttisstdcnt = detzcode(up->tzhead.tzh_ttisstdcnt),
                    ttisutcnt = detzcode(up->tzhead.tzh_ttisutcnt),
                    leapcnt = detzcode(up->tzhead.tzh_leapcnt),
                    timecnt = detzcode(up->tzhead.tzh_timecnt),
                    typecnt = detzcode(up->tzhead.tzh_typecnt),
                    charcnt = detzcode(up->tzhead.tzh_charcnt);
        char const *p = up->buf + tzheadsize;
 
        /*
         * Although tzfile(5) currently requires typecnt to be nonzero,
         * support future formats that may allow zero typecnt in files that
         * have a TZ string and no transitions.
         */
        if (!(0 <= leapcnt
              && leapcnt <= (TZ_RUNTIME_LEAPS ? TZ_MAX_LEAPS : 0)
              && 0 <= typecnt && typecnt <= TZ_MAX_TYPES
              && 0 <= timecnt && timecnt <= TZ_MAX_TIMES
              && 0 <= charcnt && charcnt <= TZ_MAX_CHARS
              && 0 <= ttisstdcnt && ttisstdcnt <= TZ_MAX_TYPES
              && 0 <= ttisutcnt && ttisutcnt <= TZ_MAX_TYPES))
            return EINVAL;
        datablock_size
            = (timecnt * stored /* ats */
               + timecnt        /* types */
               + typecnt * 6    /* ttinfos */
               + charcnt        /* chars */
               + leapcnt * (stored + 4) /* lsinfos */
               + ttisstdcnt     /* ttisstds */
               + ttisutcnt);    /* ttisuts */
        if (nread < tzheadsize + datablock_size)
            return EINVAL;
        if (skip_datablock)
            p += datablock_size;
        else if (!((ttisstdcnt == typecnt || ttisstdcnt == 0)
                   && (ttisutcnt == typecnt || ttisutcnt == 0)))
            return EINVAL;
        else
        {
            int_fast64_t prevtr = -1;
            int_fast32_2s prevcorr = -1;
 
            set_leapcount(sp, leapcnt);
            sp->timecnt = timecnt;
            sp->typecnt = typecnt;
            sp->charcnt = charcnt;
 
            /*
             * Read transitions, discarding those out of pg_time_t range. But
             * pretend the last transition before TIME_T_MIN occurred at
             * TIME_T_MIN.
             */
            timecnt = 0;
            for (i = 0; i < sp->timecnt; ++i)
            {
                int_fast64_t at
                = stored == 4 ? detzcode(p) : detzcode64(p);
 
                sp->types[i] = at <= TIME_T_MAX;
                if (sp->types[i])
                {
                    pg_time_t   attime
                    = ((TYPE_SIGNED(pg_time_t) ? at < TIME_T_MIN : at < 0)
                       ? TIME_T_MIN : at);
 
                    if (timecnt && attime <= sp->ats[timecnt - 1])
                    {
                        if (attime < sp->ats[timecnt - 1])
                            return EINVAL;
                        sp->types[i - 1] = 0;
                        timecnt--;
                    }
                    sp->ats[timecnt++] = attime;
                }
                p += stored;
            }
 
            timecnt = 0;
            for (i = 0; i < sp->timecnt; ++i)
            {
                unsigned char typ = *p++;
 
                if (sp->typecnt <= typ)
                    return EINVAL;
                if (sp->types[i])
                    sp->types[timecnt++] = typ;
            }
            sp->timecnt = timecnt;
            for (i = 0; i < sp->typecnt; ++i)
            {
                struct ttinfo *ttisp;
                unsigned char isdst,
                            desigidx;
                int_fast32_2s utoff = detzcode(p);
 
                /*
                 * Reject a UT offset equal to -2**31, as it might cause
                 * trouble both in this file and in callers. Also, it violates
                 * RFC 9636 section 3.2.
                 */
                if (utoff < -TWO_31_MINUS_1)
                    return EINVAL;
 
                ttisp = &sp->ttis[i];
                ttisp->tt_utoff = utoff;
                p += 4;
                isdst = *p++;
                if (!(isdst < 2))
                    return EINVAL;
                ttisp->tt_isdst = isdst;
                desigidx = *p++;
                if (!(desigidx < sp->charcnt))
                    return EINVAL;
                ttisp->tt_desigidx = desigidx;
            }
            for (i = 0; i < sp->charcnt; ++i)
                sp->chars[i] = *p++;
 
            /*
             * Ensure '\0'-terminated, and make it safe to call ttunspecified
             * later.
             */
            memset(&sp->chars[i], 0, CHARS_EXTRA);
 
            /* Read leap seconds, discarding those out of pg_time_t range.  */
            leapcnt = 0;
            for (i = 0; i < leapcount(sp); i++)
            {
                int_fast64_t tr = stored == 4 ? detzcode(p) : detzcode64(p);
                int_fast32_2s corr = detzcode(p + stored);
 
                p += stored + 4;
 
                /*
                 * Leap seconds cannot occur before the Epoch, or out of
                 * order.
                 */
                if (tr <= prevtr)
                    return EINVAL;
 
                /*
                 * To avoid other botches in this code, each leap second's
                 * correction must differ from the previous one's by 1 second
                 * or less, except that the first correction can be any value;
                 * these requirements are more generous than RFC 9636, to
                 * allow future RFC extensions.
                 */
                if (!(i == 0
                      || (prevcorr < corr
                          ? corr == prevcorr + 1
                          : (corr == prevcorr
                             || corr == prevcorr - 1))))
                    return EINVAL;
                prevtr = tr;
                prevcorr = corr;
 
                if (tr <= TIME_T_MAX)
                {
                    struct lsinfo ls;
 
                    ls.ls_trans = tr;
                    ls.ls_corr = corr;
                    set_lsinfo(sp, leapcnt, ls);
                    leapcnt++;
                }
            }
            set_leapcount(sp, leapcnt);
 
            for (i = 0; i < sp->typecnt; ++i)
            {
                struct ttinfo *ttisp;
 
                ttisp = &sp->ttis[i];
                if (ttisstdcnt == 0)
                    ttisp->tt_ttisstd = false;
                else
                {
                    if (*p != true && *p != false)
                        return EINVAL;
                    ttisp->tt_ttisstd = *p++;
                }
            }
            for (i = 0; i < sp->typecnt; ++i)
            {
                struct ttinfo *ttisp;
 
                ttisp = &sp->ttis[i];
                if (ttisutcnt == 0)
                    ttisp->tt_ttisut = false;
                else
                {
                    if (*p != true && *p != false)
                        return EINVAL;
                    ttisp->tt_ttisut = *p++;
                }
            }
        }
 
        nread -= p - up->buf;
        memmove(up->buf, p, nread);
 
        /* If this is an old file, we're done.  */
        if (!version)
            break;
    }
    if ((tzloadflags & TZLOAD_TZSTRING) && nread > 2 &&
        up->buf[0] == '\n' && up->buf[nread - 1] == '\n' &&
        sp->typecnt + 2 <= TZ_MAX_TYPES)
    {
        struct state *ts = &lsp->u.st;
 
        up->buf[nread - 1] = '\0';
        if (tzparse(&up->buf[1], ts, sp))
        {
 
            /*
             * Attempt to reuse existing abbreviations. Without this,
             * America/Anchorage would consume 50 bytes for abbreviations, as
             * sp->charcnt equals 40 (for LMT AST AWT APT AHST AHDT YST AKDT
             * AKST) and ts->charcnt equals 10 (for AKST AKDT).  Reusing means
             * sp->charcnt can stay 40 in this example.
             */
            int         gotabbr = 0;
            int         charcnt = sp->charcnt;
 
            for (i = 0; i < ts->typecnt; i++)
            {
                char       *tsabbr = ts->chars + ts->ttis[i].tt_desigidx;
                int         j;
 
                for (j = 0; j < charcnt; j++)
                    if (strcmp(sp->chars + j, tsabbr) == 0)
                    {
                        ts->ttis[i].tt_desigidx = j;
                        gotabbr++;
                        break;
                    }
                if (!(j < charcnt))
                {
                    int         tsabbrlen = strnlen(tsabbr, TZ_MAX_CHARS - j);
 
                    if (j + tsabbrlen < TZ_MAX_CHARS)
                    {
                        char       *cp = sp->chars + j;
 
                        memcpy(cp, tsabbr, tsabbrlen);
                        cp += tsabbrlen;
                        *cp = '\0';
                        charcnt = j + tsabbrlen + 1;
                        ts->ttis[i].tt_desigidx = j;
                        gotabbr++;
                    }
                }
            }
            if (gotabbr == ts->typecnt)
            {
                sp->charcnt = charcnt;
 
                /*
                 * Ignore any trailing, no-op transitions generated by zic as
                 * they don't help here and can run afoul of bugs in zic 2016j
                 * or earlier.
                 */
                while (1 < sp->timecnt
                       && (sp->types[sp->timecnt - 1]
                           == sp->types[sp->timecnt - 2]))
                    sp->timecnt--;
 
                sp->goahead = ts->goahead;
 
                for (i = 0; i < ts->timecnt; i++)
                {
                    pg_time_t   t = ts->ats[i];
 
                    if (increment_overflow_time(&t, leapcorr(sp, t))
                        || (0 < sp->timecnt
                            && t <= sp->ats[sp->timecnt - 1]))
                        continue;
                    if (TZ_MAX_TIMES <= sp->timecnt)
                    {
                        sp->goahead = false;
                        break;
                    }
                    sp->ats[sp->timecnt] = t;
                    sp->types[sp->timecnt] = (sp->typecnt
                                              + ts->types[i]);
                    sp->timecnt++;
                }
                for (i = 0; i < ts->typecnt; i++)
                    sp->ttis[sp->typecnt++] = ts->ttis[i];
            }
        }
    }
    if (sp->typecnt == 0)
        return EINVAL;
 
    return 0;
}

References state::ats, state::charcnt, charcnt, state::chars, CHARS_EXTRA, close, corr, desigidx, detzcode(), detzcode64(), EINVAL, err(), fb(), state::goahead, i, increment_overflow_time(), j, leapcnt, leapcorr(), leapcount(), lsinfo::ls_trans, memcpy(), name, pg_open_tzfile(), read, set_leapcount(), set_lsinfo(), TIME_T_MAX, TIME_T_MIN, state::timecnt, timecnt, ttinfo::tt_desigidx, ttinfo::tt_ttisstd, ttinfo::tt_ttisut, state::ttis, TWO_31_MINUS_1, TYPE_SIGNED, state::typecnt, typecnt, state::types, TZ_MAX_CHARS, TZ_MAX_LEAPS, TZ_MAX_TIMES, TZ_MAX_TYPES, TZ_RUNTIME_LEAPS, TZDEFAULT, TZLOAD_TZSTRING, and tzparse().

Referenced by tzload().

tzparse()

static bool tzparse ( const char *  name, struct state *  sp, struct state const *  basep  )

static

Definition at line 949 of file localtime.c.

{
    const char *stdname;
    const char *dstname = NULL;
    int_fast32_t stdoffset;
    int_fast32_t dstoffset;
    char       *cp;
    ptrdiff_t   stdlen,
                dstlen,
                charcnt;
    pg_time_t   atlo = TIME_T_MIN,
                leaplo = TIME_T_MIN;
 
    stdname = name;
    if (*name == '<')
    {
        name++;
        stdname = name;
        name = getqzname(name, '>');
        if (*name != '>')
            return false;
        stdlen = name - stdname;
        name++;
    }
    else
    {
        name = getzname(name);
        stdlen = name - stdname;
    }
    if (stdlen > TZNAME_MAXIMUM)    /* allow empty STD abbrev, unlike IANA */
        return false;
    name = getoffset(name, &stdoffset);
    if (name == NULL)
        return false;
    charcnt = stdlen + 1;
    if (basep)
    {
        if (0 < basep->timecnt)
            atlo = basep->ats[basep->timecnt - 1];
        set_leapcount(sp, leapcount(basep));
        if (0 < leapcount(sp))
        {
            int         i;
 
            for (i = 0; i < leapcount(sp); i++)
                set_lsinfo(sp, i, lsinfo(basep, i));
            leaplo = lsinfo(sp, leapcount(sp) - 1).ls_trans;
        }
    }
    else
        set_leapcount(sp, 0);   /* So, we're off a little.  */
    sp->goback = sp->goahead = false;
    if (*name != '\0')
    {
        struct rule start,
                    end;
        int         year,
                    yearbeg,
                    yearlim,
                    timecnt;
        pg_time_t   janfirst;
        int_fast32_t janoffset = 0;
 
        if (*name == '<')
        {
            dstname = ++name;
            name = getqzname(name, '>');
            if (*name != '>')
                return false;
            dstlen = name - dstname;
            name++;
        }
        else
        {
            dstname = name;
            name = getzname(name);
            dstlen = name - dstname;    /* length of DST abbr. */
        }
        if (!(0 < dstlen && dstlen <= TZNAME_MAXIMUM))
            return false;
        charcnt += dstlen + 1;
        if (*name != '\0' && *name != ',' && *name != ';')
        {
            name = getoffset(name, &dstoffset);
            if (name == NULL)
                return false;
        }
        else
            dstoffset = stdoffset - SECSPERHOUR;
 
        if (*name == '\0')
            name = TZDEFRULESTRING;
        if (!(*name == ',' || *name == ';'))
            return false;
 
        name = getrule(name + 1, &start);
        if (!name)
            return false;
        if (*name++ != ',')
            return false;
        name = getrule(name, &end);
        if (!name || *name)
            return false;
        sp->typecnt = 2;        /* standard time and DST */
 
        /*
         * Two transitions per year, from EPOCH_YEAR forward.
         */
        init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
        init_ttinfo(&sp->ttis[1], -dstoffset, true, stdlen + 1);
        timecnt = 0;
        janfirst = 0;
        yearbeg = EPOCH_YEAR;
 
        do
        {
            int_fast32_t yearsecs
            = year_lengths[isleap(yearbeg - 1)] * SECSPERDAY;
            pg_time_t   janfirst1 = janfirst;
 
            yearbeg--;
            if (increment_overflow_time(&janfirst1, -yearsecs))
            {
                janoffset = -yearsecs;
                break;
            }
            janfirst = janfirst1;
        } while (atlo < janfirst
                 && EPOCH_YEAR - YEARSPERREPEAT / 2 < yearbeg);
 
        while (true)
        {
            int_fast32_t yearsecs
            = year_lengths[isleap(yearbeg)] * SECSPERDAY;
            int         yearbeg1 = yearbeg;
            pg_time_t   janfirst1 = janfirst;
 
            if (increment_overflow_time(&janfirst1, yearsecs)
                || increment_overflow(&yearbeg1, 1)
                || atlo <= janfirst1)
                break;
            yearbeg = yearbeg1;
            janfirst = janfirst1;
        }
 
        yearlim = yearbeg;
        if (increment_overflow(&yearlim, years_of_observations))
            yearlim = INT_MAX;
        for (year = yearbeg; year < yearlim; year++)
        {
            int_fast32_t
                        starttime = transtime(year, &start, stdoffset),
                        endtime = transtime(year, &end, dstoffset),
                        yearsecs = year_lengths[isleap(year)] * SECSPERDAY;
            bool        reversed = endtime < starttime;
 
            if (reversed)
            {
                int_fast32_t swap = starttime;
 
                starttime = endtime;
                endtime = swap;
            }
            if (reversed
                || (starttime < endtime
                    && endtime - starttime < yearsecs))
            {
                if (TZ_MAX_TIMES - 2 < timecnt)
                    break;
                sp->ats[timecnt] = janfirst;
                if (!increment_overflow_time(&sp->ats[timecnt],
                                             janoffset + starttime)
                    && atlo <= sp->ats[timecnt])
                    sp->types[timecnt++] = !reversed;
                sp->ats[timecnt] = janfirst;
                if (!increment_overflow_time(&sp->ats[timecnt],
                                             janoffset + endtime)
                    && atlo <= sp->ats[timecnt])
                {
                    sp->types[timecnt++] = reversed;
                }
            }
            if (endtime < leaplo)
            {
                yearlim = year;
                if (increment_overflow(&yearlim, years_of_observations))
                    yearlim = INT_MAX;
            }
            if (increment_overflow_time(&janfirst, janoffset + yearsecs))
                break;
            janoffset = 0;
        }
        sp->timecnt = timecnt;
        if (!timecnt)
        {
            sp->ttis[0] = sp->ttis[1];
            sp->typecnt = 1;    /* Perpetual DST.  */
        }
        else if (years_of_observations <= year - yearbeg)
            sp->goback = sp->goahead = true;
    }
    else
    {
        dstlen = 0;
        sp->typecnt = 1;        /* only standard time */
        sp->timecnt = 0;
        init_ttinfo(&sp->ttis[0], -stdoffset, false, 0);
    }
    sp->charcnt = charcnt;
    cp = sp->chars;
    memcpy(cp, stdname, stdlen);
    cp += stdlen;
    *cp++ = '\0';
    if (dstlen != 0)
    {
        memcpy(cp, dstname, dstlen);
        cp += dstlen;
        *cp = '\0';
    }
    return true;
}

References charcnt, EPOCH_YEAR, fb(), getoffset(), getqzname(), getrule(), getzname(), i, increment_overflow(), increment_overflow_time(), init_ttinfo(), isleap, leapcount(), lsinfo::ls_trans, memcpy(), name, SECSPERDAY, SECSPERHOUR, set_leapcount(), set_lsinfo(), start, TIME_T_MIN, timecnt, transtime(), TZ_MAX_TIMES, TZDEFRULESTRING, TZNAME_MAXIMUM, year_lengths, years_of_observations, and YEARSPERREPEAT.

Referenced by gmtload(), pg_tzload(), and tzloadbody().

Variable Documentation

mon_lengths

const int mon_lengths[2][MONSPERYEAR]

static

Initial value:

= {
    {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
}

Definition at line 628 of file localtime.c.

                                               {
    {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31},
    {31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31}
};

Referenced by timesub(), and transtime().

tm

struct pg_tm tm

static

Definition at line 148 of file localtime.c.

Referenced by abstime2tm(), AdjustFractDays(), AdjustFractSeconds(), AppendTimestampSeconds(), build_time_t(), cache_locale_time(), check_recovery_target_time(), ClearPgTm(), createBackupLabel(), date2timestamptz_safe(), date_in(), date_out(), DCH_to_char(), DecodeDate(), DecodeDate(), DecodeDateTime(), DecodeDateTime(), DecodeInterval(), DecodeISO8601Interval(), DecodeNumber(), DecodeNumber(), DecodeNumberField(), DecodeNumberField(), DecodeTime(), DecodeTime(), DecodeTimeOnly(), DetermineTimeZoneAbbrevOffset(), DetermineTimeZoneAbbrevOffsetTS(), DetermineTimeZoneOffset(), DetermineTimeZoneOffsetInternal(), do_to_timestamp(), dttofmtasc_replace(), EncodeDateOnly(), EncodeDateOnly(), EncodeDateTime(), EncodeDateTime(), EncodeInterval(), EncodeTimeOnly(), executeDateTimeMethod(), gbt_num_compress(), get_timezone_offset(), GetCurrentDateTime(), GetCurrentDateTime(), GetCurrentTimeUsec(), GetEpochTime(), GetEpochTime(), GetSQLCurrentDate(), GetSQLCurrentTime(), GetSQLLocalTime(), identify_system_timezone(), interval2tm(), interval_part_common(), interval_to_char(), interval_trunc(), JsonEncodeDateTime(), llvm_create_jit_instance(), locale_date_order(), main(), make_date(), make_output_dirs(), make_timestamp_internal(), map_sql_value_to_xml_value(), my_strftime(), parse_datetime(), parse_sane_timezone(), pg_get_role_ddl_internal(), pg_gmtime(), pg_localtime(), pg_timezone_names(), PGTYPESdate_defmt_asc(), PGTYPESdate_fmt_asc(), PGTYPESdate_from_asc(), PGTYPESdate_to_asc(), PGTYPESdate_today(), PGTYPESinterval_from_asc(), PGTYPESinterval_to_asc(), PGTYPEStimestamp_add_interval(), PGTYPEStimestamp_current(), PGTYPEStimestamp_defmt_scan(), PGTYPEStimestamp_fmt_asc(), PGTYPEStimestamp_from_asc(), PGTYPEStimestamp_to_asc(), pqTraceFormatTimestamp(), ReadHead(), score_timezone(), set_next_rotation_time(), SetEpochTimestamp(), SetEpochTimestamp(), tarOpen(), time2tm(), time_in(), time_out(), time_part_common(), time_t_to_timestamptz(), time_timetz(), timeofday(), timestamp2date_safe(), timestamp2timestamptz_safe(), timestamp2tm(), timestamp2tm(), timestamp_age(), timestamp_in(), timestamp_out(), timestamp_part_common(), timestamp_pl_interval(), timestamp_recv(), timestamp_time(), timestamp_to_char(), timestamp_trunc(), timestamp_zone(), timestamptz2date_safe(), timestamptz2timestamp_safe(), timestamptz_age(), timestamptz_in(), timestamptz_out(), timestamptz_part_common(), timestamptz_pl_interval_internal(), timestamptz_recv(), timestamptz_time(), timestamptz_timetz(), timestamptz_to_char(), timestamptz_to_str(), timestamptz_trunc_internal(), timestamptz_zone(), timetz2tm(), timetz_in(), timetz_out(), timetz_part_common(), timetz_zone(), tm2interval(), tm2time(), tm2timestamp(), tm2timestamp(), tm2timetz(), to_date(), to_timestamp(), typenameTypeMod(), ValidateDate(), WriteHead(), and writezone().

wildabbr

const char wildabbr[] = WILDABBR

static

Definition at line 58 of file localtime.c.

Referenced by gmtsub().

year_lengths

const int year_lengths[2]

static

Initial value:

= {
    DAYSPERNYEAR, DAYSPERLYEAR
}

Definition at line 633 of file localtime.c.

                                   {
    DAYSPERNYEAR, DAYSPERLYEAR
};

Referenced by timesub(), and tzparse().