PostgreSQL Source Code  git master
timestamp.c
Go to the documentation of this file.
1 /*-------------------------------------------------------------------------
2  *
3  * timestamp.c
4  * Functions for the built-in SQL types "timestamp" and "interval".
5  *
6  * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
7  * Portions Copyright (c) 1994, Regents of the University of California
8  *
9  *
10  * IDENTIFICATION
11  * src/backend/utils/adt/timestamp.c
12  *
13  *-------------------------------------------------------------------------
14  */
15 
16 #include "postgres.h"
17 
18 #include <ctype.h>
19 #include <math.h>
20 #include <limits.h>
21 #include <sys/time.h>
22 
23 #include "access/xact.h"
24 #include "catalog/pg_type.h"
25 #include "common/int.h"
26 #include "common/int128.h"
27 #include "funcapi.h"
28 #include "libpq/pqformat.h"
29 #include "miscadmin.h"
30 #include "optimizer/optimizer.h"
31 #include "nodes/nodeFuncs.h"
32 #include "nodes/supportnodes.h"
33 #include "parser/scansup.h"
34 #include "utils/array.h"
35 #include "utils/builtins.h"
36 #include "utils/date.h"
37 #include "utils/datetime.h"
38 #include "utils/float.h"
39 #include "utils/numeric.h"
40 #include "utils/sortsupport.h"
41 
42 /*
43  * gcc's -ffast-math switch breaks routines that expect exact results from
44  * expressions like timeval / SECS_PER_HOUR, where timeval is double.
45  */
46 #ifdef __FAST_MATH__
47 #error -ffast-math is known to break this code
48 #endif
49 
50 #define SAMESIGN(a,b) (((a) < 0) == ((b) < 0))
51 
52 /* Set at postmaster start */
54 
55 /* Set at configuration reload */
57 
58 typedef struct
59 {
63  int step_sign;
65 
66 typedef struct
67 {
71  int step_sign;
74 
75 /*
76  * The transition datatype for interval aggregates is declared as internal.
77  * It's a pointer to an IntervalAggState allocated in the aggregate context.
78  */
79 typedef struct IntervalAggState
80 {
81  int64 N; /* count of finite intervals processed */
82  Interval sumX; /* sum of finite intervals processed */
83  /* These counts are *not* included in N! Use IA_TOTAL_COUNT() as needed */
84  int64 pInfcount; /* count of +infinity intervals */
85  int64 nInfcount; /* count of -infinity intervals */
87 
88 #define IA_TOTAL_COUNT(ia) \
89  ((ia)->N + (ia)->pInfcount + (ia)->nInfcount)
90 
91 static TimeOffset time2t(const int hour, const int min, const int sec, const fsec_t fsec);
92 static Timestamp dt2local(Timestamp dt, int timezone);
93 static bool AdjustIntervalForTypmod(Interval *interval, int32 typmod,
94  Node *escontext);
97 
98 static void EncodeSpecialInterval(const Interval *interval, char *str);
99 static void interval_um_internal(const Interval *interval, Interval *result);
100 
101 /* common code for timestamptypmodin and timestamptztypmodin */
102 static int32
104 {
105  int32 *tl;
106  int n;
107 
108  tl = ArrayGetIntegerTypmods(ta, &n);
109 
110  /*
111  * we're not too tense about good error message here because grammar
112  * shouldn't allow wrong number of modifiers for TIMESTAMP
113  */
114  if (n != 1)
115  ereport(ERROR,
116  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
117  errmsg("invalid type modifier")));
118 
119  return anytimestamp_typmod_check(istz, tl[0]);
120 }
121 
122 /* exported so parse_expr.c can use it */
123 int32
125 {
126  if (typmod < 0)
127  ereport(ERROR,
128  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
129  errmsg("TIMESTAMP(%d)%s precision must not be negative",
130  typmod, (istz ? " WITH TIME ZONE" : ""))));
131  if (typmod > MAX_TIMESTAMP_PRECISION)
132  {
134  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
135  errmsg("TIMESTAMP(%d)%s precision reduced to maximum allowed, %d",
136  typmod, (istz ? " WITH TIME ZONE" : ""),
138  typmod = MAX_TIMESTAMP_PRECISION;
139  }
140 
141  return typmod;
142 }
143 
144 /* common code for timestamptypmodout and timestamptztypmodout */
145 static char *
146 anytimestamp_typmodout(bool istz, int32 typmod)
147 {
148  const char *tz = istz ? " with time zone" : " without time zone";
149 
150  if (typmod >= 0)
151  return psprintf("(%d)%s", (int) typmod, tz);
152  else
153  return pstrdup(tz);
154 }
155 
156 
157 /*****************************************************************************
158  * USER I/O ROUTINES *
159  *****************************************************************************/
160 
161 /* timestamp_in()
162  * Convert a string to internal form.
163  */
164 Datum
166 {
167  char *str = PG_GETARG_CSTRING(0);
168 #ifdef NOT_USED
169  Oid typelem = PG_GETARG_OID(1);
170 #endif
171  int32 typmod = PG_GETARG_INT32(2);
172  Node *escontext = fcinfo->context;
173  Timestamp result;
174  fsec_t fsec;
175  struct pg_tm tt,
176  *tm = &tt;
177  int tz;
178  int dtype;
179  int nf;
180  int dterr;
181  char *field[MAXDATEFIELDS];
182  int ftype[MAXDATEFIELDS];
183  char workbuf[MAXDATELEN + MAXDATEFIELDS];
184  DateTimeErrorExtra extra;
185 
186  dterr = ParseDateTime(str, workbuf, sizeof(workbuf),
187  field, ftype, MAXDATEFIELDS, &nf);
188  if (dterr == 0)
189  dterr = DecodeDateTime(field, ftype, nf,
190  &dtype, tm, &fsec, &tz, &extra);
191  if (dterr != 0)
192  {
193  DateTimeParseError(dterr, &extra, str, "timestamp", escontext);
194  PG_RETURN_NULL();
195  }
196 
197  switch (dtype)
198  {
199  case DTK_DATE:
200  if (tm2timestamp(tm, fsec, NULL, &result) != 0)
201  ereturn(escontext, (Datum) 0,
202  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
203  errmsg("timestamp out of range: \"%s\"", str)));
204  break;
205 
206  case DTK_EPOCH:
207  result = SetEpochTimestamp();
208  break;
209 
210  case DTK_LATE:
211  TIMESTAMP_NOEND(result);
212  break;
213 
214  case DTK_EARLY:
215  TIMESTAMP_NOBEGIN(result);
216  break;
217 
218  default:
219  elog(ERROR, "unexpected dtype %d while parsing timestamp \"%s\"",
220  dtype, str);
221  TIMESTAMP_NOEND(result);
222  }
223 
224  AdjustTimestampForTypmod(&result, typmod, escontext);
225 
226  PG_RETURN_TIMESTAMP(result);
227 }
228 
229 /* timestamp_out()
230  * Convert a timestamp to external form.
231  */
232 Datum
234 {
236  char *result;
237  struct pg_tm tt,
238  *tm = &tt;
239  fsec_t fsec;
240  char buf[MAXDATELEN + 1];
241 
244  else if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) == 0)
245  EncodeDateTime(tm, fsec, false, 0, NULL, DateStyle, buf);
246  else
247  ereport(ERROR,
248  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
249  errmsg("timestamp out of range")));
250 
251  result = pstrdup(buf);
252  PG_RETURN_CSTRING(result);
253 }
254 
255 /*
256  * timestamp_recv - converts external binary format to timestamp
257  */
258 Datum
260 {
262 
263 #ifdef NOT_USED
264  Oid typelem = PG_GETARG_OID(1);
265 #endif
266  int32 typmod = PG_GETARG_INT32(2);
268  struct pg_tm tt,
269  *tm = &tt;
270  fsec_t fsec;
271 
273 
274  /* range check: see if timestamp_out would like it */
276  /* ok */ ;
277  else if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0 ||
279  ereport(ERROR,
280  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
281  errmsg("timestamp out of range")));
282 
283  AdjustTimestampForTypmod(&timestamp, typmod, NULL);
284 
286 }
287 
288 /*
289  * timestamp_send - converts timestamp to binary format
290  */
291 Datum
293 {
296 
300 }
301 
302 Datum
304 {
306 
308 }
309 
310 Datum
312 {
313  int32 typmod = PG_GETARG_INT32(0);
314 
316 }
317 
318 
319 /*
320  * timestamp_support()
321  *
322  * Planner support function for the timestamp_scale() and timestamptz_scale()
323  * length coercion functions (we need not distinguish them here).
324  */
325 Datum
327 {
328  Node *rawreq = (Node *) PG_GETARG_POINTER(0);
329  Node *ret = NULL;
330 
331  if (IsA(rawreq, SupportRequestSimplify))
332  {
334 
336  }
337 
338  PG_RETURN_POINTER(ret);
339 }
340 
341 /* timestamp_scale()
342  * Adjust time type for specified scale factor.
343  * Used by PostgreSQL type system to stuff columns.
344  */
345 Datum
347 {
349  int32 typmod = PG_GETARG_INT32(1);
350  Timestamp result;
351 
352  result = timestamp;
353 
354  AdjustTimestampForTypmod(&result, typmod, NULL);
355 
356  PG_RETURN_TIMESTAMP(result);
357 }
358 
359 /*
360  * AdjustTimestampForTypmod --- round off a timestamp to suit given typmod
361  * Works for either timestamp or timestamptz.
362  *
363  * Returns true on success, false on failure (if escontext points to an
364  * ErrorSaveContext; otherwise errors are thrown).
365  */
366 bool
367 AdjustTimestampForTypmod(Timestamp *time, int32 typmod, Node *escontext)
368 {
369  static const int64 TimestampScales[MAX_TIMESTAMP_PRECISION + 1] = {
370  INT64CONST(1000000),
371  INT64CONST(100000),
372  INT64CONST(10000),
373  INT64CONST(1000),
374  INT64CONST(100),
375  INT64CONST(10),
376  INT64CONST(1)
377  };
378 
379  static const int64 TimestampOffsets[MAX_TIMESTAMP_PRECISION + 1] = {
380  INT64CONST(500000),
381  INT64CONST(50000),
382  INT64CONST(5000),
383  INT64CONST(500),
384  INT64CONST(50),
385  INT64CONST(5),
386  INT64CONST(0)
387  };
388 
389  if (!TIMESTAMP_NOT_FINITE(*time)
390  && (typmod != -1) && (typmod != MAX_TIMESTAMP_PRECISION))
391  {
392  if (typmod < 0 || typmod > MAX_TIMESTAMP_PRECISION)
393  ereturn(escontext, false,
394  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
395  errmsg("timestamp(%d) precision must be between %d and %d",
396  typmod, 0, MAX_TIMESTAMP_PRECISION)));
397 
398  if (*time >= INT64CONST(0))
399  {
400  *time = ((*time + TimestampOffsets[typmod]) / TimestampScales[typmod]) *
401  TimestampScales[typmod];
402  }
403  else
404  {
405  *time = -((((-*time) + TimestampOffsets[typmod]) / TimestampScales[typmod])
406  * TimestampScales[typmod]);
407  }
408  }
409 
410  return true;
411 }
412 
413 /* timestamptz_in()
414  * Convert a string to internal form.
415  */
416 Datum
418 {
419  char *str = PG_GETARG_CSTRING(0);
420 #ifdef NOT_USED
421  Oid typelem = PG_GETARG_OID(1);
422 #endif
423  int32 typmod = PG_GETARG_INT32(2);
424  Node *escontext = fcinfo->context;
425  TimestampTz result;
426  fsec_t fsec;
427  struct pg_tm tt,
428  *tm = &tt;
429  int tz;
430  int dtype;
431  int nf;
432  int dterr;
433  char *field[MAXDATEFIELDS];
434  int ftype[MAXDATEFIELDS];
435  char workbuf[MAXDATELEN + MAXDATEFIELDS];
436  DateTimeErrorExtra extra;
437 
438  dterr = ParseDateTime(str, workbuf, sizeof(workbuf),
439  field, ftype, MAXDATEFIELDS, &nf);
440  if (dterr == 0)
441  dterr = DecodeDateTime(field, ftype, nf,
442  &dtype, tm, &fsec, &tz, &extra);
443  if (dterr != 0)
444  {
445  DateTimeParseError(dterr, &extra, str, "timestamp with time zone",
446  escontext);
447  PG_RETURN_NULL();
448  }
449 
450  switch (dtype)
451  {
452  case DTK_DATE:
453  if (tm2timestamp(tm, fsec, &tz, &result) != 0)
454  ereturn(escontext, (Datum) 0,
455  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
456  errmsg("timestamp out of range: \"%s\"", str)));
457  break;
458 
459  case DTK_EPOCH:
460  result = SetEpochTimestamp();
461  break;
462 
463  case DTK_LATE:
464  TIMESTAMP_NOEND(result);
465  break;
466 
467  case DTK_EARLY:
468  TIMESTAMP_NOBEGIN(result);
469  break;
470 
471  default:
472  elog(ERROR, "unexpected dtype %d while parsing timestamptz \"%s\"",
473  dtype, str);
474  TIMESTAMP_NOEND(result);
475  }
476 
477  AdjustTimestampForTypmod(&result, typmod, escontext);
478 
479  PG_RETURN_TIMESTAMPTZ(result);
480 }
481 
482 /*
483  * Try to parse a timezone specification, and return its timezone offset value
484  * if it's acceptable. Otherwise, an error is thrown.
485  *
486  * Note: some code paths update tm->tm_isdst, and some don't; current callers
487  * don't care, so we don't bother being consistent.
488  */
489 static int
491 {
492  char tzname[TZ_STRLEN_MAX + 1];
493  int dterr;
494  int tz;
495 
496  text_to_cstring_buffer(zone, tzname, sizeof(tzname));
497 
498  /*
499  * Look up the requested timezone. First we try to interpret it as a
500  * numeric timezone specification; if DecodeTimezone decides it doesn't
501  * like the format, we try timezone abbreviations and names.
502  *
503  * Note pg_tzset happily parses numeric input that DecodeTimezone would
504  * reject. To avoid having it accept input that would otherwise be seen
505  * as invalid, it's enough to disallow having a digit in the first
506  * position of our input string.
507  */
508  if (isdigit((unsigned char) *tzname))
509  ereport(ERROR,
510  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
511  errmsg("invalid input syntax for type %s: \"%s\"",
512  "numeric time zone", tzname),
513  errhint("Numeric time zones must have \"-\" or \"+\" as first character.")));
514 
515  dterr = DecodeTimezone(tzname, &tz);
516  if (dterr != 0)
517  {
518  int type,
519  val;
520  pg_tz *tzp;
521 
522  if (dterr == DTERR_TZDISP_OVERFLOW)
523  ereport(ERROR,
524  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
525  errmsg("numeric time zone \"%s\" out of range", tzname)));
526  else if (dterr != DTERR_BAD_FORMAT)
527  ereport(ERROR,
528  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
529  errmsg("time zone \"%s\" not recognized", tzname)));
530 
531  type = DecodeTimezoneName(tzname, &val, &tzp);
532 
533  if (type == TZNAME_FIXED_OFFSET)
534  {
535  /* fixed-offset abbreviation */
536  tz = -val;
537  }
538  else if (type == TZNAME_DYNTZ)
539  {
540  /* dynamic-offset abbreviation, resolve using specified time */
541  tz = DetermineTimeZoneAbbrevOffset(tm, tzname, tzp);
542  }
543  else
544  {
545  /* full zone name */
546  tz = DetermineTimeZoneOffset(tm, tzp);
547  }
548  }
549 
550  return tz;
551 }
552 
553 /*
554  * Look up the requested timezone, returning a pg_tz struct.
555  *
556  * This is the same as DecodeTimezoneNameToTz, but starting with a text Datum.
557  */
558 static pg_tz *
560 {
561  char tzname[TZ_STRLEN_MAX + 1];
562 
563  text_to_cstring_buffer(zone, tzname, sizeof(tzname));
564 
565  return DecodeTimezoneNameToTz(tzname);
566 }
567 
568 /*
569  * make_timestamp_internal
570  * workhorse for make_timestamp and make_timestamptz
571  */
572 static Timestamp
573 make_timestamp_internal(int year, int month, int day,
574  int hour, int min, double sec)
575 {
576  struct pg_tm tm;
578  TimeOffset time;
579  int dterr;
580  bool bc = false;
581  Timestamp result;
582 
583  tm.tm_year = year;
584  tm.tm_mon = month;
585  tm.tm_mday = day;
586 
587  /* Handle negative years as BC */
588  if (tm.tm_year < 0)
589  {
590  bc = true;
591  tm.tm_year = -tm.tm_year;
592  }
593 
594  dterr = ValidateDate(DTK_DATE_M, false, false, bc, &tm);
595 
596  if (dterr != 0)
597  ereport(ERROR,
598  (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
599  errmsg("date field value out of range: %d-%02d-%02d",
600  year, month, day)));
601 
603  ereport(ERROR,
604  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
605  errmsg("date out of range: %d-%02d-%02d",
606  year, month, day)));
607 
609 
610  /* Check for time overflow */
611  if (float_time_overflows(hour, min, sec))
612  ereport(ERROR,
613  (errcode(ERRCODE_DATETIME_FIELD_OVERFLOW),
614  errmsg("time field value out of range: %d:%02d:%02g",
615  hour, min, sec)));
616 
617  /* This should match tm2time */
618  time = (((hour * MINS_PER_HOUR + min) * SECS_PER_MINUTE)
619  * USECS_PER_SEC) + (int64) rint(sec * USECS_PER_SEC);
620 
622  pg_add_s64_overflow(result, time, &result)))
623  ereport(ERROR,
624  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
625  errmsg("timestamp out of range: %d-%02d-%02d %d:%02d:%02g",
626  year, month, day,
627  hour, min, sec)));
628 
629  /* final range check catches just-out-of-range timestamps */
630  if (!IS_VALID_TIMESTAMP(result))
631  ereport(ERROR,
632  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
633  errmsg("timestamp out of range: %d-%02d-%02d %d:%02d:%02g",
634  year, month, day,
635  hour, min, sec)));
636 
637  return result;
638 }
639 
640 /*
641  * make_timestamp() - timestamp constructor
642  */
643 Datum
645 {
646  int32 year = PG_GETARG_INT32(0);
647  int32 month = PG_GETARG_INT32(1);
648  int32 mday = PG_GETARG_INT32(2);
649  int32 hour = PG_GETARG_INT32(3);
650  int32 min = PG_GETARG_INT32(4);
651  float8 sec = PG_GETARG_FLOAT8(5);
652  Timestamp result;
653 
654  result = make_timestamp_internal(year, month, mday,
655  hour, min, sec);
656 
657  PG_RETURN_TIMESTAMP(result);
658 }
659 
660 /*
661  * make_timestamptz() - timestamp with time zone constructor
662  */
663 Datum
665 {
666  int32 year = PG_GETARG_INT32(0);
667  int32 month = PG_GETARG_INT32(1);
668  int32 mday = PG_GETARG_INT32(2);
669  int32 hour = PG_GETARG_INT32(3);
670  int32 min = PG_GETARG_INT32(4);
671  float8 sec = PG_GETARG_FLOAT8(5);
672  Timestamp result;
673 
674  result = make_timestamp_internal(year, month, mday,
675  hour, min, sec);
676 
678 }
679 
680 /*
681  * Construct a timestamp with time zone.
682  * As above, but the time zone is specified as seventh argument.
683  */
684 Datum
686 {
687  int32 year = PG_GETARG_INT32(0);
688  int32 month = PG_GETARG_INT32(1);
689  int32 mday = PG_GETARG_INT32(2);
690  int32 hour = PG_GETARG_INT32(3);
691  int32 min = PG_GETARG_INT32(4);
692  float8 sec = PG_GETARG_FLOAT8(5);
694  TimestampTz result;
696  struct pg_tm tt;
697  int tz;
698  fsec_t fsec;
699 
700  timestamp = make_timestamp_internal(year, month, mday,
701  hour, min, sec);
702 
703  if (timestamp2tm(timestamp, NULL, &tt, &fsec, NULL, NULL) != 0)
704  ereport(ERROR,
705  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
706  errmsg("timestamp out of range")));
707 
708  tz = parse_sane_timezone(&tt, zone);
709 
710  result = dt2local(timestamp, -tz);
711 
712  if (!IS_VALID_TIMESTAMP(result))
713  ereport(ERROR,
714  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
715  errmsg("timestamp out of range")));
716 
717  PG_RETURN_TIMESTAMPTZ(result);
718 }
719 
720 /*
721  * to_timestamp(double precision)
722  * Convert UNIX epoch to timestamptz.
723  */
724 Datum
726 {
727  float8 seconds = PG_GETARG_FLOAT8(0);
728  TimestampTz result;
729 
730  /* Deal with NaN and infinite inputs ... */
731  if (isnan(seconds))
732  ereport(ERROR,
733  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
734  errmsg("timestamp cannot be NaN")));
735 
736  if (isinf(seconds))
737  {
738  if (seconds < 0)
739  TIMESTAMP_NOBEGIN(result);
740  else
741  TIMESTAMP_NOEND(result);
742  }
743  else
744  {
745  /* Out of range? */
746  if (seconds <
748  || seconds >=
750  ereport(ERROR,
751  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
752  errmsg("timestamp out of range: \"%g\"", seconds)));
753 
754  /* Convert UNIX epoch to Postgres epoch */
756 
757  seconds = rint(seconds * USECS_PER_SEC);
758  result = (int64) seconds;
759 
760  /* Recheck in case roundoff produces something just out of range */
761  if (!IS_VALID_TIMESTAMP(result))
762  ereport(ERROR,
763  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
764  errmsg("timestamp out of range: \"%g\"",
765  PG_GETARG_FLOAT8(0))));
766  }
767 
768  PG_RETURN_TIMESTAMP(result);
769 }
770 
771 /* timestamptz_out()
772  * Convert a timestamp to external form.
773  */
774 Datum
776 {
778  char *result;
779  int tz;
780  struct pg_tm tt,
781  *tm = &tt;
782  fsec_t fsec;
783  const char *tzn;
784  char buf[MAXDATELEN + 1];
785 
786  if (TIMESTAMP_NOT_FINITE(dt))
788  else if (timestamp2tm(dt, &tz, tm, &fsec, &tzn, NULL) == 0)
789  EncodeDateTime(tm, fsec, true, tz, tzn, DateStyle, buf);
790  else
791  ereport(ERROR,
792  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
793  errmsg("timestamp out of range")));
794 
795  result = pstrdup(buf);
796  PG_RETURN_CSTRING(result);
797 }
798 
799 /*
800  * timestamptz_recv - converts external binary format to timestamptz
801  */
802 Datum
804 {
806 
807 #ifdef NOT_USED
808  Oid typelem = PG_GETARG_OID(1);
809 #endif
810  int32 typmod = PG_GETARG_INT32(2);
812  int tz;
813  struct pg_tm tt,
814  *tm = &tt;
815  fsec_t fsec;
816 
818 
819  /* range check: see if timestamptz_out would like it */
821  /* ok */ ;
822  else if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0 ||
824  ereport(ERROR,
825  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
826  errmsg("timestamp out of range")));
827 
828  AdjustTimestampForTypmod(&timestamp, typmod, NULL);
829 
831 }
832 
833 /*
834  * timestamptz_send - converts timestamptz to binary format
835  */
836 Datum
838 {
841 
845 }
846 
847 Datum
849 {
851 
853 }
854 
855 Datum
857 {
858  int32 typmod = PG_GETARG_INT32(0);
859 
861 }
862 
863 
864 /* timestamptz_scale()
865  * Adjust time type for specified scale factor.
866  * Used by PostgreSQL type system to stuff columns.
867  */
868 Datum
870 {
872  int32 typmod = PG_GETARG_INT32(1);
873  TimestampTz result;
874 
875  result = timestamp;
876 
877  AdjustTimestampForTypmod(&result, typmod, NULL);
878 
879  PG_RETURN_TIMESTAMPTZ(result);
880 }
881 
882 
883 /* interval_in()
884  * Convert a string to internal form.
885  *
886  * External format(s):
887  * Uses the generic date/time parsing and decoding routines.
888  */
889 Datum
891 {
892  char *str = PG_GETARG_CSTRING(0);
893 #ifdef NOT_USED
894  Oid typelem = PG_GETARG_OID(1);
895 #endif
896  int32 typmod = PG_GETARG_INT32(2);
897  Node *escontext = fcinfo->context;
898  Interval *result;
899  struct pg_itm_in tt,
900  *itm_in = &tt;
901  int dtype;
902  int nf;
903  int range;
904  int dterr;
905  char *field[MAXDATEFIELDS];
906  int ftype[MAXDATEFIELDS];
907  char workbuf[256];
908  DateTimeErrorExtra extra;
909 
910  itm_in->tm_year = 0;
911  itm_in->tm_mon = 0;
912  itm_in->tm_mday = 0;
913  itm_in->tm_usec = 0;
914 
915  if (typmod >= 0)
916  range = INTERVAL_RANGE(typmod);
917  else
919 
920  dterr = ParseDateTime(str, workbuf, sizeof(workbuf), field,
921  ftype, MAXDATEFIELDS, &nf);
922  if (dterr == 0)
923  dterr = DecodeInterval(field, ftype, nf, range,
924  &dtype, itm_in);
925 
926  /* if those functions think it's a bad format, try ISO8601 style */
927  if (dterr == DTERR_BAD_FORMAT)
928  dterr = DecodeISO8601Interval(str,
929  &dtype, itm_in);
930 
931  if (dterr != 0)
932  {
933  if (dterr == DTERR_FIELD_OVERFLOW)
934  dterr = DTERR_INTERVAL_OVERFLOW;
935  DateTimeParseError(dterr, &extra, str, "interval", escontext);
936  PG_RETURN_NULL();
937  }
938 
939  result = (Interval *) palloc(sizeof(Interval));
940 
941  switch (dtype)
942  {
943  case DTK_DELTA:
944  if (itmin2interval(itm_in, result) != 0)
945  ereturn(escontext, (Datum) 0,
946  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
947  errmsg("interval out of range")));
948  break;
949 
950  case DTK_LATE:
951  INTERVAL_NOEND(result);
952  break;
953 
954  case DTK_EARLY:
955  INTERVAL_NOBEGIN(result);
956  break;
957 
958  default:
959  elog(ERROR, "unexpected dtype %d while parsing interval \"%s\"",
960  dtype, str);
961  }
962 
963  AdjustIntervalForTypmod(result, typmod, escontext);
964 
965  PG_RETURN_INTERVAL_P(result);
966 }
967 
968 /* interval_out()
969  * Convert a time span to external form.
970  */
971 Datum
973 {
974  Interval *span = PG_GETARG_INTERVAL_P(0);
975  char *result;
976  struct pg_itm tt,
977  *itm = &tt;
978  char buf[MAXDATELEN + 1];
979 
980  if (INTERVAL_NOT_FINITE(span))
981  EncodeSpecialInterval(span, buf);
982  else
983  {
984  interval2itm(*span, itm);
986  }
987 
988  result = pstrdup(buf);
989  PG_RETURN_CSTRING(result);
990 }
991 
992 /*
993  * interval_recv - converts external binary format to interval
994  */
995 Datum
997 {
999 
1000 #ifdef NOT_USED
1001  Oid typelem = PG_GETARG_OID(1);
1002 #endif
1003  int32 typmod = PG_GETARG_INT32(2);
1004  Interval *interval;
1005 
1006  interval = (Interval *) palloc(sizeof(Interval));
1007 
1009  interval->day = pq_getmsgint(buf, sizeof(interval->day));
1010  interval->month = pq_getmsgint(buf, sizeof(interval->month));
1011 
1012  AdjustIntervalForTypmod(interval, typmod, NULL);
1013 
1015 }
1016 
1017 /*
1018  * interval_send - converts interval to binary format
1019  */
1020 Datum
1022 {
1025 
1026  pq_begintypsend(&buf);
1028  pq_sendint32(&buf, interval->day);
1031 }
1032 
1033 /*
1034  * The interval typmod stores a "range" in its high 16 bits and a "precision"
1035  * in its low 16 bits. Both contribute to defining the resolution of the
1036  * type. Range addresses resolution granules larger than one second, and
1037  * precision specifies resolution below one second. This representation can
1038  * express all SQL standard resolutions, but we implement them all in terms of
1039  * truncating rightward from some position. Range is a bitmap of permitted
1040  * fields, but only the temporally-smallest such field is significant to our
1041  * calculations. Precision is a count of sub-second decimal places to retain.
1042  * Setting all bits (INTERVAL_FULL_PRECISION) gives the same truncation
1043  * semantics as choosing MAX_INTERVAL_PRECISION.
1044  */
1045 Datum
1047 {
1049  int32 *tl;
1050  int n;
1051  int32 typmod;
1052 
1053  tl = ArrayGetIntegerTypmods(ta, &n);
1054 
1055  /*
1056  * tl[0] - interval range (fields bitmask) tl[1] - precision (optional)
1057  *
1058  * Note we must validate tl[0] even though it's normally guaranteed
1059  * correct by the grammar --- consider SELECT 'foo'::"interval"(1000).
1060  */
1061  if (n > 0)
1062  {
1063  switch (tl[0])
1064  {
1065  case INTERVAL_MASK(YEAR):
1066  case INTERVAL_MASK(MONTH):
1067  case INTERVAL_MASK(DAY):
1068  case INTERVAL_MASK(HOUR):
1069  case INTERVAL_MASK(MINUTE):
1070  case INTERVAL_MASK(SECOND):
1078  case INTERVAL_FULL_RANGE:
1079  /* all OK */
1080  break;
1081  default:
1082  ereport(ERROR,
1083  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1084  errmsg("invalid INTERVAL type modifier")));
1085  }
1086  }
1087 
1088  if (n == 1)
1089  {
1090  if (tl[0] != INTERVAL_FULL_RANGE)
1091  typmod = INTERVAL_TYPMOD(INTERVAL_FULL_PRECISION, tl[0]);
1092  else
1093  typmod = -1;
1094  }
1095  else if (n == 2)
1096  {
1097  if (tl[1] < 0)
1098  ereport(ERROR,
1099  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1100  errmsg("INTERVAL(%d) precision must not be negative",
1101  tl[1])));
1102  if (tl[1] > MAX_INTERVAL_PRECISION)
1103  {
1104  ereport(WARNING,
1105  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1106  errmsg("INTERVAL(%d) precision reduced to maximum allowed, %d",
1107  tl[1], MAX_INTERVAL_PRECISION)));
1108  typmod = INTERVAL_TYPMOD(MAX_INTERVAL_PRECISION, tl[0]);
1109  }
1110  else
1111  typmod = INTERVAL_TYPMOD(tl[1], tl[0]);
1112  }
1113  else
1114  {
1115  ereport(ERROR,
1116  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1117  errmsg("invalid INTERVAL type modifier")));
1118  typmod = 0; /* keep compiler quiet */
1119  }
1120 
1121  PG_RETURN_INT32(typmod);
1122 }
1123 
1124 Datum
1126 {
1127  int32 typmod = PG_GETARG_INT32(0);
1128  char *res = (char *) palloc(64);
1129  int fields;
1130  int precision;
1131  const char *fieldstr;
1132 
1133  if (typmod < 0)
1134  {
1135  *res = '\0';
1137  }
1138 
1139  fields = INTERVAL_RANGE(typmod);
1140  precision = INTERVAL_PRECISION(typmod);
1141 
1142  switch (fields)
1143  {
1144  case INTERVAL_MASK(YEAR):
1145  fieldstr = " year";
1146  break;
1147  case INTERVAL_MASK(MONTH):
1148  fieldstr = " month";
1149  break;
1150  case INTERVAL_MASK(DAY):
1151  fieldstr = " day";
1152  break;
1153  case INTERVAL_MASK(HOUR):
1154  fieldstr = " hour";
1155  break;
1156  case INTERVAL_MASK(MINUTE):
1157  fieldstr = " minute";
1158  break;
1159  case INTERVAL_MASK(SECOND):
1160  fieldstr = " second";
1161  break;
1163  fieldstr = " year to month";
1164  break;
1166  fieldstr = " day to hour";
1167  break;
1169  fieldstr = " day to minute";
1170  break;
1172  fieldstr = " day to second";
1173  break;
1175  fieldstr = " hour to minute";
1176  break;
1178  fieldstr = " hour to second";
1179  break;
1181  fieldstr = " minute to second";
1182  break;
1183  case INTERVAL_FULL_RANGE:
1184  fieldstr = "";
1185  break;
1186  default:
1187  elog(ERROR, "invalid INTERVAL typmod: 0x%x", typmod);
1188  fieldstr = "";
1189  break;
1190  }
1191 
1192  if (precision != INTERVAL_FULL_PRECISION)
1193  snprintf(res, 64, "%s(%d)", fieldstr, precision);
1194  else
1195  snprintf(res, 64, "%s", fieldstr);
1196 
1198 }
1199 
1200 /*
1201  * Given an interval typmod value, return a code for the least-significant
1202  * field that the typmod allows to be nonzero, for instance given
1203  * INTERVAL DAY TO HOUR we want to identify "hour".
1204  *
1205  * The results should be ordered by field significance, which means
1206  * we can't use the dt.h macros YEAR etc, because for some odd reason
1207  * they aren't ordered that way. Instead, arbitrarily represent
1208  * SECOND = 0, MINUTE = 1, HOUR = 2, DAY = 3, MONTH = 4, YEAR = 5.
1209  */
1210 static int
1212 {
1213  if (typmod < 0)
1214  return 0; /* SECOND */
1215 
1216  switch (INTERVAL_RANGE(typmod))
1217  {
1218  case INTERVAL_MASK(YEAR):
1219  return 5; /* YEAR */
1220  case INTERVAL_MASK(MONTH):
1221  return 4; /* MONTH */
1222  case INTERVAL_MASK(DAY):
1223  return 3; /* DAY */
1224  case INTERVAL_MASK(HOUR):
1225  return 2; /* HOUR */
1226  case INTERVAL_MASK(MINUTE):
1227  return 1; /* MINUTE */
1228  case INTERVAL_MASK(SECOND):
1229  return 0; /* SECOND */
1231  return 4; /* MONTH */
1233  return 2; /* HOUR */
1235  return 1; /* MINUTE */
1237  return 0; /* SECOND */
1239  return 1; /* MINUTE */
1241  return 0; /* SECOND */
1243  return 0; /* SECOND */
1244  case INTERVAL_FULL_RANGE:
1245  return 0; /* SECOND */
1246  default:
1247  elog(ERROR, "invalid INTERVAL typmod: 0x%x", typmod);
1248  break;
1249  }
1250  return 0; /* can't get here, but keep compiler quiet */
1251 }
1252 
1253 
1254 /*
1255  * interval_support()
1256  *
1257  * Planner support function for interval_scale().
1258  *
1259  * Flatten superfluous calls to interval_scale(). The interval typmod is
1260  * complex to permit accepting and regurgitating all SQL standard variations.
1261  * For truncation purposes, it boils down to a single, simple granularity.
1262  */
1263 Datum
1265 {
1266  Node *rawreq = (Node *) PG_GETARG_POINTER(0);
1267  Node *ret = NULL;
1268 
1269  if (IsA(rawreq, SupportRequestSimplify))
1270  {
1272  FuncExpr *expr = req->fcall;
1273  Node *typmod;
1274 
1275  Assert(list_length(expr->args) >= 2);
1276 
1277  typmod = (Node *) lsecond(expr->args);
1278 
1279  if (IsA(typmod, Const) && !((Const *) typmod)->constisnull)
1280  {
1281  Node *source = (Node *) linitial(expr->args);
1282  int32 new_typmod = DatumGetInt32(((Const *) typmod)->constvalue);
1283  bool noop;
1284 
1285  if (new_typmod < 0)
1286  noop = true;
1287  else
1288  {
1289  int32 old_typmod = exprTypmod(source);
1290  int old_least_field;
1291  int new_least_field;
1292  int old_precis;
1293  int new_precis;
1294 
1295  old_least_field = intervaltypmodleastfield(old_typmod);
1296  new_least_field = intervaltypmodleastfield(new_typmod);
1297  if (old_typmod < 0)
1298  old_precis = INTERVAL_FULL_PRECISION;
1299  else
1300  old_precis = INTERVAL_PRECISION(old_typmod);
1301  new_precis = INTERVAL_PRECISION(new_typmod);
1302 
1303  /*
1304  * Cast is a no-op if least field stays the same or decreases
1305  * while precision stays the same or increases. But
1306  * precision, which is to say, sub-second precision, only
1307  * affects ranges that include SECOND.
1308  */
1309  noop = (new_least_field <= old_least_field) &&
1310  (old_least_field > 0 /* SECOND */ ||
1311  new_precis >= MAX_INTERVAL_PRECISION ||
1312  new_precis >= old_precis);
1313  }
1314  if (noop)
1315  ret = relabel_to_typmod(source, new_typmod);
1316  }
1317  }
1318 
1319  PG_RETURN_POINTER(ret);
1320 }
1321 
1322 /* interval_scale()
1323  * Adjust interval type for specified fields.
1324  * Used by PostgreSQL type system to stuff columns.
1325  */
1326 Datum
1328 {
1330  int32 typmod = PG_GETARG_INT32(1);
1331  Interval *result;
1332 
1333  result = palloc(sizeof(Interval));
1334  *result = *interval;
1335 
1336  AdjustIntervalForTypmod(result, typmod, NULL);
1337 
1338  PG_RETURN_INTERVAL_P(result);
1339 }
1340 
1341 /*
1342  * Adjust interval for specified precision, in both YEAR to SECOND
1343  * range and sub-second precision.
1344  *
1345  * Returns true on success, false on failure (if escontext points to an
1346  * ErrorSaveContext; otherwise errors are thrown).
1347  */
1348 static bool
1350  Node *escontext)
1351 {
1352  static const int64 IntervalScales[MAX_INTERVAL_PRECISION + 1] = {
1353  INT64CONST(1000000),
1354  INT64CONST(100000),
1355  INT64CONST(10000),
1356  INT64CONST(1000),
1357  INT64CONST(100),
1358  INT64CONST(10),
1359  INT64CONST(1)
1360  };
1361 
1362  static const int64 IntervalOffsets[MAX_INTERVAL_PRECISION + 1] = {
1363  INT64CONST(500000),
1364  INT64CONST(50000),
1365  INT64CONST(5000),
1366  INT64CONST(500),
1367  INT64CONST(50),
1368  INT64CONST(5),
1369  INT64CONST(0)
1370  };
1371 
1372  /* Typmod has no effect on infinite intervals */
1374  return true;
1375 
1376  /*
1377  * Unspecified range and precision? Then not necessary to adjust. Setting
1378  * typmod to -1 is the convention for all data types.
1379  */
1380  if (typmod >= 0)
1381  {
1382  int range = INTERVAL_RANGE(typmod);
1383  int precision = INTERVAL_PRECISION(typmod);
1384 
1385  /*
1386  * Our interpretation of intervals with a limited set of fields is
1387  * that fields to the right of the last one specified are zeroed out,
1388  * but those to the left of it remain valid. Thus for example there
1389  * is no operational difference between INTERVAL YEAR TO MONTH and
1390  * INTERVAL MONTH. In some cases we could meaningfully enforce that
1391  * higher-order fields are zero; for example INTERVAL DAY could reject
1392  * nonzero "month" field. However that seems a bit pointless when we
1393  * can't do it consistently. (We cannot enforce a range limit on the
1394  * highest expected field, since we do not have any equivalent of
1395  * SQL's <interval leading field precision>.) If we ever decide to
1396  * revisit this, interval_support will likely require adjusting.
1397  *
1398  * Note: before PG 8.4 we interpreted a limited set of fields as
1399  * actually causing a "modulo" operation on a given value, potentially
1400  * losing high-order as well as low-order information. But there is
1401  * no support for such behavior in the standard, and it seems fairly
1402  * undesirable on data consistency grounds anyway. Now we only
1403  * perform truncation or rounding of low-order fields.
1404  */
1405  if (range == INTERVAL_FULL_RANGE)
1406  {
1407  /* Do nothing... */
1408  }
1409  else if (range == INTERVAL_MASK(YEAR))
1410  {
1412  interval->day = 0;
1413  interval->time = 0;
1414  }
1415  else if (range == INTERVAL_MASK(MONTH))
1416  {
1417  interval->day = 0;
1418  interval->time = 0;
1419  }
1420  /* YEAR TO MONTH */
1421  else if (range == (INTERVAL_MASK(YEAR) | INTERVAL_MASK(MONTH)))
1422  {
1423  interval->day = 0;
1424  interval->time = 0;
1425  }
1426  else if (range == INTERVAL_MASK(DAY))
1427  {
1428  interval->time = 0;
1429  }
1430  else if (range == INTERVAL_MASK(HOUR))
1431  {
1434  }
1435  else if (range == INTERVAL_MASK(MINUTE))
1436  {
1439  }
1440  else if (range == INTERVAL_MASK(SECOND))
1441  {
1442  /* fractional-second rounding will be dealt with below */
1443  }
1444  /* DAY TO HOUR */
1445  else if (range == (INTERVAL_MASK(DAY) |
1446  INTERVAL_MASK(HOUR)))
1447  {
1450  }
1451  /* DAY TO MINUTE */
1452  else if (range == (INTERVAL_MASK(DAY) |
1453  INTERVAL_MASK(HOUR) |
1455  {
1458  }
1459  /* DAY TO SECOND */
1460  else if (range == (INTERVAL_MASK(DAY) |
1461  INTERVAL_MASK(HOUR) |
1464  {
1465  /* fractional-second rounding will be dealt with below */
1466  }
1467  /* HOUR TO MINUTE */
1468  else if (range == (INTERVAL_MASK(HOUR) |
1470  {
1473  }
1474  /* HOUR TO SECOND */
1475  else if (range == (INTERVAL_MASK(HOUR) |
1478  {
1479  /* fractional-second rounding will be dealt with below */
1480  }
1481  /* MINUTE TO SECOND */
1482  else if (range == (INTERVAL_MASK(MINUTE) |
1484  {
1485  /* fractional-second rounding will be dealt with below */
1486  }
1487  else
1488  elog(ERROR, "unrecognized interval typmod: %d", typmod);
1489 
1490  /* Need to adjust sub-second precision? */
1491  if (precision != INTERVAL_FULL_PRECISION)
1492  {
1493  if (precision < 0 || precision > MAX_INTERVAL_PRECISION)
1494  ereturn(escontext, false,
1495  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
1496  errmsg("interval(%d) precision must be between %d and %d",
1497  precision, 0, MAX_INTERVAL_PRECISION)));
1498 
1499  if (interval->time >= INT64CONST(0))
1500  {
1502  IntervalOffsets[precision],
1503  &interval->time))
1504  ereturn(escontext, false,
1505  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1506  errmsg("interval out of range")));
1507  interval->time -= interval->time % IntervalScales[precision];
1508  }
1509  else
1510  {
1512  IntervalOffsets[precision],
1513  &interval->time))
1514  ereturn(escontext, false,
1515  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1516  errmsg("interval out of range")));
1517  interval->time -= interval->time % IntervalScales[precision];
1518  }
1519  }
1520  }
1521 
1522  return true;
1523 }
1524 
1525 /*
1526  * make_interval - numeric Interval constructor
1527  */
1528 Datum
1530 {
1531  int32 years = PG_GETARG_INT32(0);
1533  int32 weeks = PG_GETARG_INT32(2);
1534  int32 days = PG_GETARG_INT32(3);
1535  int32 hours = PG_GETARG_INT32(4);
1536  int32 mins = PG_GETARG_INT32(5);
1537  double secs = PG_GETARG_FLOAT8(6);
1538  Interval *result;
1539 
1540  /*
1541  * Reject out-of-range inputs. We reject any input values that cause
1542  * integer overflow of the corresponding interval fields.
1543  */
1544  if (isinf(secs) || isnan(secs))
1545  goto out_of_range;
1546 
1547  result = (Interval *) palloc(sizeof(Interval));
1548 
1549  /* years and months -> months */
1550  if (pg_mul_s32_overflow(years, MONTHS_PER_YEAR, &result->month) ||
1551  pg_add_s32_overflow(result->month, months, &result->month))
1552  goto out_of_range;
1553 
1554  /* weeks and days -> days */
1555  if (pg_mul_s32_overflow(weeks, DAYS_PER_WEEK, &result->day) ||
1556  pg_add_s32_overflow(result->day, days, &result->day))
1557  goto out_of_range;
1558 
1559  /* hours and mins -> usecs (cannot overflow 64-bit) */
1560  result->time = hours * USECS_PER_HOUR + mins * USECS_PER_MINUTE;
1561 
1562  /* secs -> usecs */
1563  secs = rint(float8_mul(secs, USECS_PER_SEC));
1564  if (!FLOAT8_FITS_IN_INT64(secs) ||
1565  pg_add_s64_overflow(result->time, (int64) secs, &result->time))
1566  goto out_of_range;
1567 
1568  /* make sure that the result is finite */
1569  if (INTERVAL_NOT_FINITE(result))
1570  goto out_of_range;
1571 
1572  PG_RETURN_INTERVAL_P(result);
1573 
1574 out_of_range:
1575  ereport(ERROR,
1576  errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
1577  errmsg("interval out of range"));
1578 
1579  PG_RETURN_NULL(); /* keep compiler quiet */
1580 }
1581 
1582 /* EncodeSpecialTimestamp()
1583  * Convert reserved timestamp data type to string.
1584  */
1585 void
1587 {
1588  if (TIMESTAMP_IS_NOBEGIN(dt))
1589  strcpy(str, EARLY);
1590  else if (TIMESTAMP_IS_NOEND(dt))
1591  strcpy(str, LATE);
1592  else /* shouldn't happen */
1593  elog(ERROR, "invalid argument for EncodeSpecialTimestamp");
1594 }
1595 
1596 static void
1598 {
1600  strcpy(str, EARLY);
1601  else if (INTERVAL_IS_NOEND(interval))
1602  strcpy(str, LATE);
1603  else /* shouldn't happen */
1604  elog(ERROR, "invalid argument for EncodeSpecialInterval");
1605 }
1606 
1607 Datum
1609 {
1611 }
1612 
1613 Datum
1615 {
1617 }
1618 
1619 Datum
1621 {
1623 }
1624 
1625 Datum
1627 {
1629 }
1630 
1631 Datum
1633 {
1635 }
1636 
1637 /*
1638  * GetCurrentTimestamp -- get the current operating system time
1639  *
1640  * Result is in the form of a TimestampTz value, and is expressed to the
1641  * full precision of the gettimeofday() syscall
1642  */
1645 {
1646  TimestampTz result;
1647  struct timeval tp;
1648 
1649  gettimeofday(&tp, NULL);
1650 
1651  result = (TimestampTz) tp.tv_sec -
1653  result = (result * USECS_PER_SEC) + tp.tv_usec;
1654 
1655  return result;
1656 }
1657 
1658 /*
1659  * GetSQLCurrentTimestamp -- implements CURRENT_TIMESTAMP, CURRENT_TIMESTAMP(n)
1660  */
1663 {
1664  TimestampTz ts;
1665 
1667  if (typmod >= 0)
1668  AdjustTimestampForTypmod(&ts, typmod, NULL);
1669  return ts;
1670 }
1671 
1672 /*
1673  * GetSQLLocalTimestamp -- implements LOCALTIMESTAMP, LOCALTIMESTAMP(n)
1674  */
1675 Timestamp
1677 {
1678  Timestamp ts;
1679 
1681  if (typmod >= 0)
1682  AdjustTimestampForTypmod(&ts, typmod, NULL);
1683  return ts;
1684 }
1685 
1686 /*
1687  * timeofday(*) -- returns the current time as a text.
1688  */
1689 Datum
1691 {
1692  struct timeval tp;
1693  char templ[128];
1694  char buf[128];
1695  pg_time_t tt;
1696 
1697  gettimeofday(&tp, NULL);
1698  tt = (pg_time_t) tp.tv_sec;
1699  pg_strftime(templ, sizeof(templ), "%a %b %d %H:%M:%S.%%06d %Y %Z",
1701  snprintf(buf, sizeof(buf), templ, tp.tv_usec);
1702 
1704 }
1705 
1706 /*
1707  * TimestampDifference -- convert the difference between two timestamps
1708  * into integer seconds and microseconds
1709  *
1710  * This is typically used to calculate a wait timeout for select(2),
1711  * which explains the otherwise-odd choice of output format.
1712  *
1713  * Both inputs must be ordinary finite timestamps (in current usage,
1714  * they'll be results from GetCurrentTimestamp()).
1715  *
1716  * We expect start_time <= stop_time. If not, we return zeros,
1717  * since then we're already past the previously determined stop_time.
1718  */
1719 void
1721  long *secs, int *microsecs)
1722 {
1723  TimestampTz diff = stop_time - start_time;
1724 
1725  if (diff <= 0)
1726  {
1727  *secs = 0;
1728  *microsecs = 0;
1729  }
1730  else
1731  {
1732  *secs = (long) (diff / USECS_PER_SEC);
1733  *microsecs = (int) (diff % USECS_PER_SEC);
1734  }
1735 }
1736 
1737 /*
1738  * TimestampDifferenceMilliseconds -- convert the difference between two
1739  * timestamps into integer milliseconds
1740  *
1741  * This is typically used to calculate a wait timeout for WaitLatch()
1742  * or a related function. The choice of "long" as the result type
1743  * is to harmonize with that; furthermore, we clamp the result to at most
1744  * INT_MAX milliseconds, because that's all that WaitLatch() allows.
1745  *
1746  * We expect start_time <= stop_time. If not, we return zero,
1747  * since then we're already past the previously determined stop_time.
1748  *
1749  * Subtracting finite and infinite timestamps works correctly, returning
1750  * zero or INT_MAX as appropriate.
1751  *
1752  * Note we round up any fractional millisecond, since waiting for just
1753  * less than the intended timeout is undesirable.
1754  */
1755 long
1757 {
1758  TimestampTz diff;
1759 
1760  /* Deal with zero or negative elapsed time quickly. */
1761  if (start_time >= stop_time)
1762  return 0;
1763  /* To not fail with timestamp infinities, we must detect overflow. */
1764  if (pg_sub_s64_overflow(stop_time, start_time, &diff))
1765  return (long) INT_MAX;
1766  if (diff >= (INT_MAX * INT64CONST(1000) - 999))
1767  return (long) INT_MAX;
1768  else
1769  return (long) ((diff + 999) / 1000);
1770 }
1771 
1772 /*
1773  * TimestampDifferenceExceeds -- report whether the difference between two
1774  * timestamps is >= a threshold (expressed in milliseconds)
1775  *
1776  * Both inputs must be ordinary finite timestamps (in current usage,
1777  * they'll be results from GetCurrentTimestamp()).
1778  */
1779 bool
1781  TimestampTz stop_time,
1782  int msec)
1783 {
1784  TimestampTz diff = stop_time - start_time;
1785 
1786  return (diff >= msec * INT64CONST(1000));
1787 }
1788 
1789 /*
1790  * Convert a time_t to TimestampTz.
1791  *
1792  * We do not use time_t internally in Postgres, but this is provided for use
1793  * by functions that need to interpret, say, a stat(2) result.
1794  *
1795  * To avoid having the function's ABI vary depending on the width of time_t,
1796  * we declare the argument as pg_time_t, which is cast-compatible with
1797  * time_t but always 64 bits wide (unless the platform has no 64-bit type).
1798  * This detail should be invisible to callers, at least at source code level.
1799  */
1802 {
1803  TimestampTz result;
1804 
1805  result = (TimestampTz) tm -
1807  result *= USECS_PER_SEC;
1808 
1809  return result;
1810 }
1811 
1812 /*
1813  * Convert a TimestampTz to time_t.
1814  *
1815  * This too is just marginally useful, but some places need it.
1816  *
1817  * To avoid having the function's ABI vary depending on the width of time_t,
1818  * we declare the result as pg_time_t, which is cast-compatible with
1819  * time_t but always 64 bits wide (unless the platform has no 64-bit type).
1820  * This detail should be invisible to callers, at least at source code level.
1821  */
1822 pg_time_t
1824 {
1825  pg_time_t result;
1826 
1827  result = (pg_time_t) (t / USECS_PER_SEC +
1829 
1830  return result;
1831 }
1832 
1833 /*
1834  * Produce a C-string representation of a TimestampTz.
1835  *
1836  * This is mostly for use in emitting messages. The primary difference
1837  * from timestamptz_out is that we force the output format to ISO. Note
1838  * also that the result is in a static buffer, not pstrdup'd.
1839  *
1840  * See also pg_strftime.
1841  */
1842 const char *
1844 {
1845  static char buf[MAXDATELEN + 1];
1846  int tz;
1847  struct pg_tm tt,
1848  *tm = &tt;
1849  fsec_t fsec;
1850  const char *tzn;
1851 
1852  if (TIMESTAMP_NOT_FINITE(t))
1854  else if (timestamp2tm(t, &tz, tm, &fsec, &tzn, NULL) == 0)
1855  EncodeDateTime(tm, fsec, true, tz, tzn, USE_ISO_DATES, buf);
1856  else
1857  strlcpy(buf, "(timestamp out of range)", sizeof(buf));
1858 
1859  return buf;
1860 }
1861 
1862 
1863 void
1864 dt2time(Timestamp jd, int *hour, int *min, int *sec, fsec_t *fsec)
1865 {
1866  TimeOffset time;
1867 
1868  time = jd;
1869 
1870  *hour = time / USECS_PER_HOUR;
1871  time -= (*hour) * USECS_PER_HOUR;
1872  *min = time / USECS_PER_MINUTE;
1873  time -= (*min) * USECS_PER_MINUTE;
1874  *sec = time / USECS_PER_SEC;
1875  *fsec = time - (*sec * USECS_PER_SEC);
1876 } /* dt2time() */
1877 
1878 
1879 /*
1880  * timestamp2tm() - Convert timestamp data type to POSIX time structure.
1881  *
1882  * Note that year is _not_ 1900-based, but is an explicit full value.
1883  * Also, month is one-based, _not_ zero-based.
1884  * Returns:
1885  * 0 on success
1886  * -1 on out of range
1887  *
1888  * If attimezone is NULL, the global timezone setting will be used.
1889  */
1890 int
1891 timestamp2tm(Timestamp dt, int *tzp, struct pg_tm *tm, fsec_t *fsec, const char **tzn, pg_tz *attimezone)
1892 {
1893  Timestamp date;
1894  Timestamp time;
1895  pg_time_t utime;
1896 
1897  /* Use session timezone if caller asks for default */
1898  if (attimezone == NULL)
1899  attimezone = session_timezone;
1900 
1901  time = dt;
1902  TMODULO(time, date, USECS_PER_DAY);
1903 
1904  if (time < INT64CONST(0))
1905  {
1906  time += USECS_PER_DAY;
1907  date -= 1;
1908  }
1909 
1910  /* add offset to go from J2000 back to standard Julian date */
1912 
1913  /* Julian day routine does not work for negative Julian days */
1914  if (date < 0 || date > (Timestamp) INT_MAX)
1915  return -1;
1916 
1917  j2date((int) date, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
1918  dt2time(time, &tm->tm_hour, &tm->tm_min, &tm->tm_sec, fsec);
1919 
1920  /* Done if no TZ conversion wanted */
1921  if (tzp == NULL)
1922  {
1923  tm->tm_isdst = -1;
1924  tm->tm_gmtoff = 0;
1925  tm->tm_zone = NULL;
1926  if (tzn != NULL)
1927  *tzn = NULL;
1928  return 0;
1929  }
1930 
1931  /*
1932  * If the time falls within the range of pg_time_t, use pg_localtime() to
1933  * rotate to the local time zone.
1934  *
1935  * First, convert to an integral timestamp, avoiding possibly
1936  * platform-specific roundoff-in-wrong-direction errors, and adjust to
1937  * Unix epoch. Then see if we can convert to pg_time_t without loss. This
1938  * coding avoids hardwiring any assumptions about the width of pg_time_t,
1939  * so it should behave sanely on machines without int64.
1940  */
1941  dt = (dt - *fsec) / USECS_PER_SEC +
1943  utime = (pg_time_t) dt;
1944  if ((Timestamp) utime == dt)
1945  {
1946  struct pg_tm *tx = pg_localtime(&utime, attimezone);
1947 
1948  tm->tm_year = tx->tm_year + 1900;
1949  tm->tm_mon = tx->tm_mon + 1;
1950  tm->tm_mday = tx->tm_mday;
1951  tm->tm_hour = tx->tm_hour;
1952  tm->tm_min = tx->tm_min;
1953  tm->tm_sec = tx->tm_sec;
1954  tm->tm_isdst = tx->tm_isdst;
1955  tm->tm_gmtoff = tx->tm_gmtoff;
1956  tm->tm_zone = tx->tm_zone;
1957  *tzp = -tm->tm_gmtoff;
1958  if (tzn != NULL)
1959  *tzn = tm->tm_zone;
1960  }
1961  else
1962  {
1963  /*
1964  * When out of range of pg_time_t, treat as GMT
1965  */
1966  *tzp = 0;
1967  /* Mark this as *no* time zone available */
1968  tm->tm_isdst = -1;
1969  tm->tm_gmtoff = 0;
1970  tm->tm_zone = NULL;
1971  if (tzn != NULL)
1972  *tzn = NULL;
1973  }
1974 
1975  return 0;
1976 }
1977 
1978 
1979 /* tm2timestamp()
1980  * Convert a tm structure to a timestamp data type.
1981  * Note that year is _not_ 1900-based, but is an explicit full value.
1982  * Also, month is one-based, _not_ zero-based.
1983  *
1984  * Returns -1 on failure (value out of range).
1985  */
1986 int
1987 tm2timestamp(struct pg_tm *tm, fsec_t fsec, int *tzp, Timestamp *result)
1988 {
1989  TimeOffset date;
1990  TimeOffset time;
1991 
1992  /* Prevent overflow in Julian-day routines */
1994  {
1995  *result = 0; /* keep compiler quiet */
1996  return -1;
1997  }
1998 
2000  time = time2t(tm->tm_hour, tm->tm_min, tm->tm_sec, fsec);
2001 
2003  pg_add_s64_overflow(*result, time, result)))
2004  {
2005  *result = 0; /* keep compiler quiet */
2006  return -1;
2007  }
2008  if (tzp != NULL)
2009  *result = dt2local(*result, -(*tzp));
2010 
2011  /* final range check catches just-out-of-range timestamps */
2012  if (!IS_VALID_TIMESTAMP(*result))
2013  {
2014  *result = 0; /* keep compiler quiet */
2015  return -1;
2016  }
2017 
2018  return 0;
2019 }
2020 
2021 
2022 /* interval2itm()
2023  * Convert an Interval to a pg_itm structure.
2024  * Note: overflow is not possible, because the pg_itm fields are
2025  * wide enough for all possible conversion results.
2026  */
2027 void
2028 interval2itm(Interval span, struct pg_itm *itm)
2029 {
2030  TimeOffset time;
2031  TimeOffset tfrac;
2032 
2033  itm->tm_year = span.month / MONTHS_PER_YEAR;
2034  itm->tm_mon = span.month % MONTHS_PER_YEAR;
2035  itm->tm_mday = span.day;
2036  time = span.time;
2037 
2038  tfrac = time / USECS_PER_HOUR;
2039  time -= tfrac * USECS_PER_HOUR;
2040  itm->tm_hour = tfrac;
2041  tfrac = time / USECS_PER_MINUTE;
2042  time -= tfrac * USECS_PER_MINUTE;
2043  itm->tm_min = (int) tfrac;
2044  tfrac = time / USECS_PER_SEC;
2045  time -= tfrac * USECS_PER_SEC;
2046  itm->tm_sec = (int) tfrac;
2047  itm->tm_usec = (int) time;
2048 }
2049 
2050 /* itm2interval()
2051  * Convert a pg_itm structure to an Interval.
2052  * Returns 0 if OK, -1 on overflow.
2053  *
2054  * This is for use in computations expected to produce finite results. Any
2055  * inputs that lead to infinite results are treated as overflows.
2056  */
2057 int
2058 itm2interval(struct pg_itm *itm, Interval *span)
2059 {
2060  int64 total_months = (int64) itm->tm_year * MONTHS_PER_YEAR + itm->tm_mon;
2061 
2062  if (total_months > INT_MAX || total_months < INT_MIN)
2063  return -1;
2064  span->month = (int32) total_months;
2065  span->day = itm->tm_mday;
2067  &span->time))
2068  return -1;
2069  /* tm_min, tm_sec are 32 bits, so intermediate products can't overflow */
2070  if (pg_add_s64_overflow(span->time, itm->tm_min * USECS_PER_MINUTE,
2071  &span->time))
2072  return -1;
2073  if (pg_add_s64_overflow(span->time, itm->tm_sec * USECS_PER_SEC,
2074  &span->time))
2075  return -1;
2076  if (pg_add_s64_overflow(span->time, itm->tm_usec,
2077  &span->time))
2078  return -1;
2079  if (INTERVAL_NOT_FINITE(span))
2080  return -1;
2081  return 0;
2082 }
2083 
2084 /* itmin2interval()
2085  * Convert a pg_itm_in structure to an Interval.
2086  * Returns 0 if OK, -1 on overflow.
2087  *
2088  * Note: if the result is infinite, it is not treated as an overflow. This
2089  * avoids any dump/reload hazards from pre-17 databases that do not support
2090  * infinite intervals, but do allow finite intervals with all fields set to
2091  * INT_MIN/INT_MAX (outside the documented range). Such intervals will be
2092  * silently converted to +/-infinity. This may not be ideal, but seems
2093  * preferable to failure, and ought to be pretty unlikely in practice.
2094  */
2095 int
2096 itmin2interval(struct pg_itm_in *itm_in, Interval *span)
2097 {
2098  int64 total_months = (int64) itm_in->tm_year * MONTHS_PER_YEAR + itm_in->tm_mon;
2099 
2100  if (total_months > INT_MAX || total_months < INT_MIN)
2101  return -1;
2102  span->month = (int32) total_months;
2103  span->day = itm_in->tm_mday;
2104  span->time = itm_in->tm_usec;
2105  return 0;
2106 }
2107 
2108 static TimeOffset
2109 time2t(const int hour, const int min, const int sec, const fsec_t fsec)
2110 {
2111  return (((((hour * MINS_PER_HOUR) + min) * SECS_PER_MINUTE) + sec) * USECS_PER_SEC) + fsec;
2112 }
2113 
2114 static Timestamp
2115 dt2local(Timestamp dt, int timezone)
2116 {
2117  dt -= (timezone * USECS_PER_SEC);
2118  return dt;
2119 }
2120 
2121 
2122 /*****************************************************************************
2123  * PUBLIC ROUTINES *
2124  *****************************************************************************/
2125 
2126 
2127 Datum
2129 {
2131 
2133 }
2134 
2135 Datum
2137 {
2139 
2141 }
2142 
2143 
2144 /*----------------------------------------------------------
2145  * Relational operators for timestamp.
2146  *---------------------------------------------------------*/
2147 
2148 void
2150 {
2151  struct pg_tm *t0;
2152  pg_time_t epoch = 0;
2153 
2154  t0 = pg_gmtime(&epoch);
2155 
2156  if (t0 == NULL)
2157  elog(ERROR, "could not convert epoch to timestamp: %m");
2158 
2159  tm->tm_year = t0->tm_year;
2160  tm->tm_mon = t0->tm_mon;
2161  tm->tm_mday = t0->tm_mday;
2162  tm->tm_hour = t0->tm_hour;
2163  tm->tm_min = t0->tm_min;
2164  tm->tm_sec = t0->tm_sec;
2165 
2166  tm->tm_year += 1900;
2167  tm->tm_mon++;
2168 }
2169 
2170 Timestamp
2172 {
2173  Timestamp dt;
2174  struct pg_tm tt,
2175  *tm = &tt;
2176 
2177  GetEpochTime(tm);
2178  /* we don't bother to test for failure ... */
2179  tm2timestamp(tm, 0, NULL, &dt);
2180 
2181  return dt;
2182 } /* SetEpochTimestamp() */
2183 
2184 /*
2185  * We are currently sharing some code between timestamp and timestamptz.
2186  * The comparison functions are among them. - thomas 2001-09-25
2187  *
2188  * timestamp_relop - is timestamp1 relop timestamp2
2189  */
2190 int
2192 {
2193  return (dt1 < dt2) ? -1 : ((dt1 > dt2) ? 1 : 0);
2194 }
2195 
2196 Datum
2198 {
2199  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2200  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2201 
2202  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) == 0);
2203 }
2204 
2205 Datum
2207 {
2208  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2209  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2210 
2211  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) != 0);
2212 }
2213 
2214 Datum
2216 {
2217  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2218  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2219 
2220  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) < 0);
2221 }
2222 
2223 Datum
2225 {
2226  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2227  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2228 
2229  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) > 0);
2230 }
2231 
2232 Datum
2234 {
2235  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2236  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2237 
2238  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) <= 0);
2239 }
2240 
2241 Datum
2243 {
2244  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2245  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2246 
2247  PG_RETURN_BOOL(timestamp_cmp_internal(dt1, dt2) >= 0);
2248 }
2249 
2250 Datum
2252 {
2253  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2254  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2255 
2257 }
2258 
2259 #if SIZEOF_DATUM < 8
2260 /* note: this is used for timestamptz also */
2261 static int
2263 {
2266 
2267  return timestamp_cmp_internal(a, b);
2268 }
2269 #endif
2270 
2271 Datum
2273 {
2275 
2276 #if SIZEOF_DATUM >= 8
2277 
2278  /*
2279  * If this build has pass-by-value timestamps, then we can use a standard
2280  * comparator function.
2281  */
2282  ssup->comparator = ssup_datum_signed_cmp;
2283 #else
2284  ssup->comparator = timestamp_fastcmp;
2285 #endif
2286  PG_RETURN_VOID();
2287 }
2288 
2289 Datum
2291 {
2292  return hashint8(fcinfo);
2293 }
2294 
2295 Datum
2297 {
2298  return hashint8extended(fcinfo);
2299 }
2300 
2301 Datum
2303 {
2304  return hashint8(fcinfo);
2305 }
2306 
2307 Datum
2309 {
2310  return hashint8extended(fcinfo);
2311 }
2312 
2313 /*
2314  * Cross-type comparison functions for timestamp vs timestamptz
2315  */
2316 
2317 int32
2319 {
2320  TimestampTz dt1;
2321  int overflow;
2322 
2323  dt1 = timestamp2timestamptz_opt_overflow(timestampVal, &overflow);
2324  if (overflow > 0)
2325  {
2326  /* dt1 is larger than any finite timestamp, but less than infinity */
2327  return TIMESTAMP_IS_NOEND(dt2) ? -1 : +1;
2328  }
2329  if (overflow < 0)
2330  {
2331  /* dt1 is less than any finite timestamp, but more than -infinity */
2332  return TIMESTAMP_IS_NOBEGIN(dt2) ? +1 : -1;
2333  }
2334 
2335  return timestamptz_cmp_internal(dt1, dt2);
2336 }
2337 
2338 Datum
2340 {
2341  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2343 
2344  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) == 0);
2345 }
2346 
2347 Datum
2349 {
2350  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2352 
2353  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) != 0);
2354 }
2355 
2356 Datum
2358 {
2359  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2361 
2362  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) < 0);
2363 }
2364 
2365 Datum
2367 {
2368  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2370 
2371  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) > 0);
2372 }
2373 
2374 Datum
2376 {
2377  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2379 
2380  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) <= 0);
2381 }
2382 
2383 Datum
2385 {
2386  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2388 
2389  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt2) >= 0);
2390 }
2391 
2392 Datum
2394 {
2395  Timestamp timestampVal = PG_GETARG_TIMESTAMP(0);
2397 
2399 }
2400 
2401 Datum
2403 {
2405  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2406 
2407  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) == 0);
2408 }
2409 
2410 Datum
2412 {
2414  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2415 
2416  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) != 0);
2417 }
2418 
2419 Datum
2421 {
2423  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2424 
2425  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) > 0);
2426 }
2427 
2428 Datum
2430 {
2432  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2433 
2434  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) < 0);
2435 }
2436 
2437 Datum
2439 {
2441  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2442 
2443  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) >= 0);
2444 }
2445 
2446 Datum
2448 {
2450  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2451 
2452  PG_RETURN_BOOL(timestamp_cmp_timestamptz_internal(timestampVal, dt1) <= 0);
2453 }
2454 
2455 Datum
2457 {
2459  Timestamp timestampVal = PG_GETARG_TIMESTAMP(1);
2460 
2462 }
2463 
2464 
2465 /*
2466  * interval_relop - is interval1 relop interval2
2467  *
2468  * Interval comparison is based on converting interval values to a linear
2469  * representation expressed in the units of the time field (microseconds,
2470  * in the case of integer timestamps) with days assumed to be always 24 hours
2471  * and months assumed to be always 30 days. To avoid overflow, we need a
2472  * wider-than-int64 datatype for the linear representation, so use INT128.
2473  */
2474 
2475 static inline INT128
2477 {
2478  INT128 span;
2479  int64 days;
2480 
2481  /*
2482  * Combine the month and day fields into an integral number of days.
2483  * Because the inputs are int32, int64 arithmetic suffices here.
2484  */
2485  days = interval->month * INT64CONST(30);
2486  days += interval->day;
2487 
2488  /* Widen time field to 128 bits */
2489  span = int64_to_int128(interval->time);
2490 
2491  /* Scale up days to microseconds, forming a 128-bit product */
2493 
2494  return span;
2495 }
2496 
2497 static int
2498 interval_cmp_internal(const Interval *interval1, const Interval *interval2)
2499 {
2500  INT128 span1 = interval_cmp_value(interval1);
2501  INT128 span2 = interval_cmp_value(interval2);
2502 
2503  return int128_compare(span1, span2);
2504 }
2505 
2506 static int
2508 {
2510  INT128 zero = int64_to_int128(0);
2511 
2512  return int128_compare(span, zero);
2513 }
2514 
2515 Datum
2517 {
2518  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2519  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2520 
2521  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) == 0);
2522 }
2523 
2524 Datum
2526 {
2527  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2528  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2529 
2530  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) != 0);
2531 }
2532 
2533 Datum
2535 {
2536  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2537  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2538 
2539  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) < 0);
2540 }
2541 
2542 Datum
2544 {
2545  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2546  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2547 
2548  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) > 0);
2549 }
2550 
2551 Datum
2553 {
2554  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2555  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2556 
2557  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) <= 0);
2558 }
2559 
2560 Datum
2562 {
2563  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2564  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2565 
2566  PG_RETURN_BOOL(interval_cmp_internal(interval1, interval2) >= 0);
2567 }
2568 
2569 Datum
2571 {
2572  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
2573  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
2574 
2575  PG_RETURN_INT32(interval_cmp_internal(interval1, interval2));
2576 }
2577 
2578 /*
2579  * Hashing for intervals
2580  *
2581  * We must produce equal hashvals for values that interval_cmp_internal()
2582  * considers equal. So, compute the net span the same way it does,
2583  * and then hash that.
2584  */
2585 Datum
2587 {
2590  int64 span64;
2591 
2592  /*
2593  * Use only the least significant 64 bits for hashing. The upper 64 bits
2594  * seldom add any useful information, and besides we must do it like this
2595  * for compatibility with hashes calculated before use of INT128 was
2596  * introduced.
2597  */
2598  span64 = int128_to_int64(span);
2599 
2601 }
2602 
2603 Datum
2605 {
2608  int64 span64;
2609 
2610  /* Same approach as interval_hash */
2611  span64 = int128_to_int64(span);
2612 
2614  PG_GETARG_DATUM(1));
2615 }
2616 
2617 /* overlaps_timestamp() --- implements the SQL OVERLAPS operator.
2618  *
2619  * Algorithm is per SQL spec. This is much harder than you'd think
2620  * because the spec requires us to deliver a non-null answer in some cases
2621  * where some of the inputs are null.
2622  */
2623 Datum
2625 {
2626  /*
2627  * The arguments are Timestamps, but we leave them as generic Datums to
2628  * avoid unnecessary conversions between value and reference forms --- not
2629  * to mention possible dereferences of null pointers.
2630  */
2631  Datum ts1 = PG_GETARG_DATUM(0);
2632  Datum te1 = PG_GETARG_DATUM(1);
2633  Datum ts2 = PG_GETARG_DATUM(2);
2634  Datum te2 = PG_GETARG_DATUM(3);
2635  bool ts1IsNull = PG_ARGISNULL(0);
2636  bool te1IsNull = PG_ARGISNULL(1);
2637  bool ts2IsNull = PG_ARGISNULL(2);
2638  bool te2IsNull = PG_ARGISNULL(3);
2639 
2640 #define TIMESTAMP_GT(t1,t2) \
2641  DatumGetBool(DirectFunctionCall2(timestamp_gt,t1,t2))
2642 #define TIMESTAMP_LT(t1,t2) \
2643  DatumGetBool(DirectFunctionCall2(timestamp_lt,t1,t2))
2644 
2645  /*
2646  * If both endpoints of interval 1 are null, the result is null (unknown).
2647  * If just one endpoint is null, take ts1 as the non-null one. Otherwise,
2648  * take ts1 as the lesser endpoint.
2649  */
2650  if (ts1IsNull)
2651  {
2652  if (te1IsNull)
2653  PG_RETURN_NULL();
2654  /* swap null for non-null */
2655  ts1 = te1;
2656  te1IsNull = true;
2657  }
2658  else if (!te1IsNull)
2659  {
2660  if (TIMESTAMP_GT(ts1, te1))
2661  {
2662  Datum tt = ts1;
2663 
2664  ts1 = te1;
2665  te1 = tt;
2666  }
2667  }
2668 
2669  /* Likewise for interval 2. */
2670  if (ts2IsNull)
2671  {
2672  if (te2IsNull)
2673  PG_RETURN_NULL();
2674  /* swap null for non-null */
2675  ts2 = te2;
2676  te2IsNull = true;
2677  }
2678  else if (!te2IsNull)
2679  {
2680  if (TIMESTAMP_GT(ts2, te2))
2681  {
2682  Datum tt = ts2;
2683 
2684  ts2 = te2;
2685  te2 = tt;
2686  }
2687  }
2688 
2689  /*
2690  * At this point neither ts1 nor ts2 is null, so we can consider three
2691  * cases: ts1 > ts2, ts1 < ts2, ts1 = ts2
2692  */
2693  if (TIMESTAMP_GT(ts1, ts2))
2694  {
2695  /*
2696  * This case is ts1 < te2 OR te1 < te2, which may look redundant but
2697  * in the presence of nulls it's not quite completely so.
2698  */
2699  if (te2IsNull)
2700  PG_RETURN_NULL();
2701  if (TIMESTAMP_LT(ts1, te2))
2702  PG_RETURN_BOOL(true);
2703  if (te1IsNull)
2704  PG_RETURN_NULL();
2705 
2706  /*
2707  * If te1 is not null then we had ts1 <= te1 above, and we just found
2708  * ts1 >= te2, hence te1 >= te2.
2709  */
2710  PG_RETURN_BOOL(false);
2711  }
2712  else if (TIMESTAMP_LT(ts1, ts2))
2713  {
2714  /* This case is ts2 < te1 OR te2 < te1 */
2715  if (te1IsNull)
2716  PG_RETURN_NULL();
2717  if (TIMESTAMP_LT(ts2, te1))
2718  PG_RETURN_BOOL(true);
2719  if (te2IsNull)
2720  PG_RETURN_NULL();
2721 
2722  /*
2723  * If te2 is not null then we had ts2 <= te2 above, and we just found
2724  * ts2 >= te1, hence te2 >= te1.
2725  */
2726  PG_RETURN_BOOL(false);
2727  }
2728  else
2729  {
2730  /*
2731  * For ts1 = ts2 the spec says te1 <> te2 OR te1 = te2, which is a
2732  * rather silly way of saying "true if both are non-null, else null".
2733  */
2734  if (te1IsNull || te2IsNull)
2735  PG_RETURN_NULL();
2736  PG_RETURN_BOOL(true);
2737  }
2738 
2739 #undef TIMESTAMP_GT
2740 #undef TIMESTAMP_LT
2741 }
2742 
2743 
2744 /*----------------------------------------------------------
2745  * "Arithmetic" operators on date/times.
2746  *---------------------------------------------------------*/
2747 
2748 Datum
2750 {
2751  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2752  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2753  Timestamp result;
2754 
2755  /* use timestamp_cmp_internal to be sure this agrees with comparisons */
2756  if (timestamp_cmp_internal(dt1, dt2) < 0)
2757  result = dt1;
2758  else
2759  result = dt2;
2760  PG_RETURN_TIMESTAMP(result);
2761 }
2762 
2763 Datum
2765 {
2766  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2767  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2768  Timestamp result;
2769 
2770  if (timestamp_cmp_internal(dt1, dt2) > 0)
2771  result = dt1;
2772  else
2773  result = dt2;
2774  PG_RETURN_TIMESTAMP(result);
2775 }
2776 
2777 
2778 Datum
2780 {
2781  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
2782  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
2783  Interval *result;
2784 
2785  result = (Interval *) palloc(sizeof(Interval));
2786 
2787  /*
2788  * Handle infinities.
2789  *
2790  * We treat anything that amounts to "infinity - infinity" as an error,
2791  * since the interval type has nothing equivalent to NaN.
2792  */
2793  if (TIMESTAMP_NOT_FINITE(dt1) || TIMESTAMP_NOT_FINITE(dt2))
2794  {
2795  if (TIMESTAMP_IS_NOBEGIN(dt1))
2796  {
2797  if (TIMESTAMP_IS_NOBEGIN(dt2))
2798  ereport(ERROR,
2799  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2800  errmsg("interval out of range")));
2801  else
2802  INTERVAL_NOBEGIN(result);
2803  }
2804  else if (TIMESTAMP_IS_NOEND(dt1))
2805  {
2806  if (TIMESTAMP_IS_NOEND(dt2))
2807  ereport(ERROR,
2808  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2809  errmsg("interval out of range")));
2810  else
2811  INTERVAL_NOEND(result);
2812  }
2813  else if (TIMESTAMP_IS_NOBEGIN(dt2))
2814  INTERVAL_NOEND(result);
2815  else /* TIMESTAMP_IS_NOEND(dt2) */
2816  INTERVAL_NOBEGIN(result);
2817 
2818  PG_RETURN_INTERVAL_P(result);
2819  }
2820 
2821  if (unlikely(pg_sub_s64_overflow(dt1, dt2, &result->time)))
2822  ereport(ERROR,
2823  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2824  errmsg("interval out of range")));
2825 
2826  result->month = 0;
2827  result->day = 0;
2828 
2829  /*----------
2830  * This is wrong, but removing it breaks a lot of regression tests.
2831  * For example:
2832  *
2833  * test=> SET timezone = 'EST5EDT';
2834  * test=> SELECT
2835  * test-> ('2005-10-30 13:22:00-05'::timestamptz -
2836  * test(> '2005-10-29 13:22:00-04'::timestamptz);
2837  * ?column?
2838  * ----------------
2839  * 1 day 01:00:00
2840  * (1 row)
2841  *
2842  * so adding that to the first timestamp gets:
2843  *
2844  * test=> SELECT
2845  * test-> ('2005-10-29 13:22:00-04'::timestamptz +
2846  * test(> ('2005-10-30 13:22:00-05'::timestamptz -
2847  * test(> '2005-10-29 13:22:00-04'::timestamptz)) at time zone 'EST';
2848  * timezone
2849  * --------------------
2850  * 2005-10-30 14:22:00
2851  * (1 row)
2852  *----------
2853  */
2855  IntervalPGetDatum(result)));
2856 
2857  PG_RETURN_INTERVAL_P(result);
2858 }
2859 
2860 /*
2861  * interval_justify_interval()
2862  *
2863  * Adjust interval so 'month', 'day', and 'time' portions are within
2864  * customary bounds. Specifically:
2865  *
2866  * 0 <= abs(time) < 24 hours
2867  * 0 <= abs(day) < 30 days
2868  *
2869  * Also, the sign bit on all three fields is made equal, so either
2870  * all three fields are negative or all are positive.
2871  */
2872 Datum
2874 {
2875  Interval *span = PG_GETARG_INTERVAL_P(0);
2876  Interval *result;
2877  TimeOffset wholeday;
2878  int32 wholemonth;
2879 
2880  result = (Interval *) palloc(sizeof(Interval));
2881  result->month = span->month;
2882  result->day = span->day;
2883  result->time = span->time;
2884 
2885  /* do nothing for infinite intervals */
2886  if (INTERVAL_NOT_FINITE(result))
2887  PG_RETURN_INTERVAL_P(result);
2888 
2889  /* pre-justify days if it might prevent overflow */
2890  if ((result->day > 0 && result->time > 0) ||
2891  (result->day < 0 && result->time < 0))
2892  {
2893  wholemonth = result->day / DAYS_PER_MONTH;
2894  result->day -= wholemonth * DAYS_PER_MONTH;
2895  if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
2896  ereport(ERROR,
2897  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2898  errmsg("interval out of range")));
2899  }
2900 
2901  /*
2902  * Since TimeOffset is int64, abs(wholeday) can't exceed about 1.07e8. If
2903  * we pre-justified then abs(result->day) is less than DAYS_PER_MONTH, so
2904  * this addition can't overflow. If we didn't pre-justify, then day and
2905  * time are of different signs, so it still can't overflow.
2906  */
2907  TMODULO(result->time, wholeday, USECS_PER_DAY);
2908  result->day += wholeday;
2909 
2910  wholemonth = result->day / DAYS_PER_MONTH;
2911  result->day -= wholemonth * DAYS_PER_MONTH;
2912  if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
2913  ereport(ERROR,
2914  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2915  errmsg("interval out of range")));
2916 
2917  if (result->month > 0 &&
2918  (result->day < 0 || (result->day == 0 && result->time < 0)))
2919  {
2920  result->day += DAYS_PER_MONTH;
2921  result->month--;
2922  }
2923  else if (result->month < 0 &&
2924  (result->day > 0 || (result->day == 0 && result->time > 0)))
2925  {
2926  result->day -= DAYS_PER_MONTH;
2927  result->month++;
2928  }
2929 
2930  if (result->day > 0 && result->time < 0)
2931  {
2932  result->time += USECS_PER_DAY;
2933  result->day--;
2934  }
2935  else if (result->day < 0 && result->time > 0)
2936  {
2937  result->time -= USECS_PER_DAY;
2938  result->day++;
2939  }
2940 
2941  PG_RETURN_INTERVAL_P(result);
2942 }
2943 
2944 /*
2945  * interval_justify_hours()
2946  *
2947  * Adjust interval so 'time' contains less than a whole day, adding
2948  * the excess to 'day'. This is useful for
2949  * situations (such as non-TZ) where '1 day' = '24 hours' is valid,
2950  * e.g. interval subtraction and division.
2951  */
2952 Datum
2954 {
2955  Interval *span = PG_GETARG_INTERVAL_P(0);
2956  Interval *result;
2957  TimeOffset wholeday;
2958 
2959  result = (Interval *) palloc(sizeof(Interval));
2960  result->month = span->month;
2961  result->day = span->day;
2962  result->time = span->time;
2963 
2964  /* do nothing for infinite intervals */
2965  if (INTERVAL_NOT_FINITE(result))
2966  PG_RETURN_INTERVAL_P(result);
2967 
2968  TMODULO(result->time, wholeday, USECS_PER_DAY);
2969  if (pg_add_s32_overflow(result->day, wholeday, &result->day))
2970  ereport(ERROR,
2971  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
2972  errmsg("interval out of range")));
2973 
2974  if (result->day > 0 && result->time < 0)
2975  {
2976  result->time += USECS_PER_DAY;
2977  result->day--;
2978  }
2979  else if (result->day < 0 && result->time > 0)
2980  {
2981  result->time -= USECS_PER_DAY;
2982  result->day++;
2983  }
2984 
2985  PG_RETURN_INTERVAL_P(result);
2986 }
2987 
2988 /*
2989  * interval_justify_days()
2990  *
2991  * Adjust interval so 'day' contains less than 30 days, adding
2992  * the excess to 'month'.
2993  */
2994 Datum
2996 {
2997  Interval *span = PG_GETARG_INTERVAL_P(0);
2998  Interval *result;
2999  int32 wholemonth;
3000 
3001  result = (Interval *) palloc(sizeof(Interval));
3002  result->month = span->month;
3003  result->day = span->day;
3004  result->time = span->time;
3005 
3006  /* do nothing for infinite intervals */
3007  if (INTERVAL_NOT_FINITE(result))
3008  PG_RETURN_INTERVAL_P(result);
3009 
3010  wholemonth = result->day / DAYS_PER_MONTH;
3011  result->day -= wholemonth * DAYS_PER_MONTH;
3012  if (pg_add_s32_overflow(result->month, wholemonth, &result->month))
3013  ereport(ERROR,
3014  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3015  errmsg("interval out of range")));
3016 
3017  if (result->month > 0 && result->day < 0)
3018  {
3019  result->day += DAYS_PER_MONTH;
3020  result->month--;
3021  }
3022  else if (result->month < 0 && result->day > 0)
3023  {
3024  result->day -= DAYS_PER_MONTH;
3025  result->month++;
3026  }
3027 
3028  PG_RETURN_INTERVAL_P(result);
3029 }
3030 
3031 /* timestamp_pl_interval()
3032  * Add an interval to a timestamp data type.
3033  * Note that interval has provisions for qualitative year/month and day
3034  * units, so try to do the right thing with them.
3035  * To add a month, increment the month, and use the same day of month.
3036  * Then, if the next month has fewer days, set the day of month
3037  * to the last day of month.
3038  * To add a day, increment the mday, and use the same time of day.
3039  * Lastly, add in the "quantitative time".
3040  */
3041 Datum
3043 {
3045  Interval *span = PG_GETARG_INTERVAL_P(1);
3046  Timestamp result;
3047 
3048  /*
3049  * Handle infinities.
3050  *
3051  * We treat anything that amounts to "infinity - infinity" as an error,
3052  * since the timestamp type has nothing equivalent to NaN.
3053  */
3054  if (INTERVAL_IS_NOBEGIN(span))
3055  {
3057  ereport(ERROR,
3058  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3059  errmsg("timestamp out of range")));
3060  else
3061  TIMESTAMP_NOBEGIN(result);
3062  }
3063  else if (INTERVAL_IS_NOEND(span))
3064  {
3066  ereport(ERROR,
3067  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3068  errmsg("timestamp out of range")));
3069  else
3070  TIMESTAMP_NOEND(result);
3071  }
3072  else if (TIMESTAMP_NOT_FINITE(timestamp))
3073  result = timestamp;
3074  else
3075  {
3076  if (span->month != 0)
3077  {
3078  struct pg_tm tt,
3079  *tm = &tt;
3080  fsec_t fsec;
3081 
3082  if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
3083  ereport(ERROR,
3084  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3085  errmsg("timestamp out of range")));
3086 
3087  if (pg_add_s32_overflow(tm->tm_mon, span->month, &tm->tm_mon))
3088  ereport(ERROR,
3089  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3090  errmsg("timestamp out of range")));
3091  if (tm->tm_mon > MONTHS_PER_YEAR)
3092  {
3093  tm->tm_year += (tm->tm_mon - 1) / MONTHS_PER_YEAR;
3094  tm->tm_mon = ((tm->tm_mon - 1) % MONTHS_PER_YEAR) + 1;
3095  }
3096  else if (tm->tm_mon < 1)
3097  {
3098  tm->tm_year += tm->tm_mon / MONTHS_PER_YEAR - 1;
3100  }
3101 
3102  /* adjust for end of month boundary problems... */
3103  if (tm->tm_mday > day_tab[isleap(tm->tm_year)][tm->tm_mon - 1])
3104  tm->tm_mday = (day_tab[isleap(tm->tm_year)][tm->tm_mon - 1]);
3105 
3106  if (tm2timestamp(tm, fsec, NULL, &timestamp) != 0)
3107  ereport(ERROR,
3108  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3109  errmsg("timestamp out of range")));
3110  }
3111 
3112  if (span->day != 0)
3113  {
3114  struct pg_tm tt,
3115  *tm = &tt;
3116  fsec_t fsec;
3117  int julian;
3118 
3119  if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
3120  ereport(ERROR,
3121  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3122  errmsg("timestamp out of range")));
3123 
3124  /*
3125  * Add days by converting to and from Julian. We need an overflow
3126  * check here since j2date expects a non-negative integer input.
3127  */
3128  julian = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday);
3129  if (pg_add_s32_overflow(julian, span->day, &julian) ||
3130  julian < 0)
3131  ereport(ERROR,
3132  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3133  errmsg("timestamp out of range")));
3134  j2date(julian, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
3135 
3136  if (tm2timestamp(tm, fsec, NULL, &timestamp) != 0)
3137  ereport(ERROR,
3138  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3139  errmsg("timestamp out of range")));
3140  }
3141 
3143  ereport(ERROR,
3144  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3145  errmsg("timestamp out of range")));
3146 
3148  ereport(ERROR,
3149  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3150  errmsg("timestamp out of range")));
3151 
3152  result = timestamp;
3153  }
3154 
3155  PG_RETURN_TIMESTAMP(result);
3156 }
3157 
3158 Datum
3160 {
3162  Interval *span = PG_GETARG_INTERVAL_P(1);
3163  Interval tspan;
3164 
3165  interval_um_internal(span, &tspan);
3166 
3169  PointerGetDatum(&tspan));
3170 }
3171 
3172 
3173 /* timestamptz_pl_interval_internal()
3174  * Add an interval to a timestamptz, in the given (or session) timezone.
3175  *
3176  * Note that interval has provisions for qualitative year/month and day
3177  * units, so try to do the right thing with them.
3178  * To add a month, increment the month, and use the same day of month.
3179  * Then, if the next month has fewer days, set the day of month
3180  * to the last day of month.
3181  * To add a day, increment the mday, and use the same time of day.
3182  * Lastly, add in the "quantitative time".
3183  */
3184 static TimestampTz
3186  Interval *span,
3187  pg_tz *attimezone)
3188 {
3189  TimestampTz result;
3190  int tz;
3191 
3192  /*
3193  * Handle infinities.
3194  *
3195  * We treat anything that amounts to "infinity - infinity" as an error,
3196  * since the timestamptz type has nothing equivalent to NaN.
3197  */
3198  if (INTERVAL_IS_NOBEGIN(span))
3199  {
3201  ereport(ERROR,
3202  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3203  errmsg("timestamp out of range")));
3204  else
3205  TIMESTAMP_NOBEGIN(result);
3206  }
3207  else if (INTERVAL_IS_NOEND(span))
3208  {
3210  ereport(ERROR,
3211  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3212  errmsg("timestamp out of range")));
3213  else
3214  TIMESTAMP_NOEND(result);
3215  }
3216  else if (TIMESTAMP_NOT_FINITE(timestamp))
3217  result = timestamp;
3218  else
3219  {
3220  /* Use session timezone if caller asks for default */
3221  if (attimezone == NULL)
3222  attimezone = session_timezone;
3223 
3224  if (span->month != 0)
3225  {
3226  struct pg_tm tt,
3227  *tm = &tt;
3228  fsec_t fsec;
3229 
3230  if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, attimezone) != 0)
3231  ereport(ERROR,
3232  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3233  errmsg("timestamp out of range")));
3234 
3235  if (pg_add_s32_overflow(tm->tm_mon, span->month, &tm->tm_mon))
3236  ereport(ERROR,
3237  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3238  errmsg("timestamp out of range")));
3239  if (tm->tm_mon > MONTHS_PER_YEAR)
3240  {
3241  tm->tm_year += (tm->tm_mon - 1) / MONTHS_PER_YEAR;
3242  tm->tm_mon = ((tm->tm_mon - 1) % MONTHS_PER_YEAR) + 1;
3243  }
3244  else if (tm->tm_mon < 1)
3245  {
3246  tm->tm_year += tm->tm_mon / MONTHS_PER_YEAR - 1;
3248  }
3249 
3250  /* adjust for end of month boundary problems... */
3251  if (tm->tm_mday > day_tab[isleap(tm->tm_year)][tm->tm_mon - 1])
3252  tm->tm_mday = (day_tab[isleap(tm->tm_year)][tm->tm_mon - 1]);
3253 
3254  tz = DetermineTimeZoneOffset(tm, attimezone);
3255 
3256  if (tm2timestamp(tm, fsec, &tz, &timestamp) != 0)
3257  ereport(ERROR,
3258  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3259  errmsg("timestamp out of range")));
3260  }
3261 
3262  if (span->day != 0)
3263  {
3264  struct pg_tm tt,
3265  *tm = &tt;
3266  fsec_t fsec;
3267  int julian;
3268 
3269  if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, attimezone) != 0)
3270  ereport(ERROR,
3271  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3272  errmsg("timestamp out of range")));
3273 
3274  /*
3275  * Add days by converting to and from Julian. We need an overflow
3276  * check here since j2date expects a non-negative integer input.
3277  * In practice though, it will give correct answers for small
3278  * negative Julian dates; we should allow -1 to avoid
3279  * timezone-dependent failures, as discussed in timestamp.h.
3280  */
3281  julian = date2j(tm->tm_year, tm->tm_mon, tm->tm_mday);
3282  if (pg_add_s32_overflow(julian, span->day, &julian) ||
3283  julian < -1)
3284  ereport(ERROR,
3285  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3286  errmsg("timestamp out of range")));
3287  j2date(julian, &tm->tm_year, &tm->tm_mon, &tm->tm_mday);
3288 
3289  tz = DetermineTimeZoneOffset(tm, attimezone);
3290 
3291  if (tm2timestamp(tm, fsec, &tz, &timestamp) != 0)
3292  ereport(ERROR,
3293  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3294  errmsg("timestamp out of range")));
3295  }
3296 
3298  ereport(ERROR,
3299  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3300  errmsg("timestamp out of range")));
3301 
3303  ereport(ERROR,
3304  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3305  errmsg("timestamp out of range")));
3306 
3307  result = timestamp;
3308  }
3309 
3310  return result;
3311 }
3312 
3313 /* timestamptz_mi_interval_internal()
3314  * As above, but subtract the interval.
3315  */
3316 static TimestampTz
3318  Interval *span,
3319  pg_tz *attimezone)
3320 {
3321  Interval tspan;
3322 
3323  interval_um_internal(span, &tspan);
3324 
3325  return timestamptz_pl_interval_internal(timestamp, &tspan, attimezone);
3326 }
3327 
3328 /* timestamptz_pl_interval()
3329  * Add an interval to a timestamptz, in the session timezone.
3330  */
3331 Datum
3333 {
3335  Interval *span = PG_GETARG_INTERVAL_P(1);
3336 
3338 }
3339 
3340 Datum
3342 {
3344  Interval *span = PG_GETARG_INTERVAL_P(1);
3345 
3347 }
3348 
3349 /* timestamptz_pl_interval_at_zone()
3350  * Add an interval to a timestamptz, in the specified timezone.
3351  */
3352 Datum
3354 {
3356  Interval *span = PG_GETARG_INTERVAL_P(1);
3357  text *zone = PG_GETARG_TEXT_PP(2);
3358  pg_tz *attimezone = lookup_timezone(zone);
3359 
3361 }
3362 
3363 Datum
3365 {
3367  Interval *span = PG_GETARG_INTERVAL_P(1);
3368  text *zone = PG_GETARG_TEXT_PP(2);
3369  pg_tz *attimezone = lookup_timezone(zone);
3370 
3372 }
3373 
3374 /* interval_um_internal()
3375  * Negate an interval.
3376  */
3377 static void
3379 {
3381  INTERVAL_NOEND(result);
3382  else if (INTERVAL_IS_NOEND(interval))
3383  INTERVAL_NOBEGIN(result);
3384  else
3385  {
3386  /* Negate each field, guarding against overflow */
3387  if (pg_sub_s64_overflow(INT64CONST(0), interval->time, &result->time) ||
3388  pg_sub_s32_overflow(0, interval->day, &result->day) ||
3389  pg_sub_s32_overflow(0, interval->month, &result->month) ||
3390  INTERVAL_NOT_FINITE(result))
3391  ereport(ERROR,
3392  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3393  errmsg("interval out of range")));
3394  }
3395 }
3396 
3397 Datum
3399 {
3401  Interval *result;
3402 
3403  result = (Interval *) palloc(sizeof(Interval));
3404  interval_um_internal(interval, result);
3405 
3406  PG_RETURN_INTERVAL_P(result);
3407 }
3408 
3409 
3410 Datum
3412 {
3413  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
3414  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
3415  Interval *result;
3416 
3417  /* use interval_cmp_internal to be sure this agrees with comparisons */
3418  if (interval_cmp_internal(interval1, interval2) < 0)
3419  result = interval1;
3420  else
3421  result = interval2;
3422  PG_RETURN_INTERVAL_P(result);
3423 }
3424 
3425 Datum
3427 {
3428  Interval *interval1 = PG_GETARG_INTERVAL_P(0);
3429  Interval *interval2 = PG_GETARG_INTERVAL_P(1);
3430  Interval *result;
3431 
3432  if (interval_cmp_internal(interval1, interval2) > 0)
3433  result = interval1;
3434  else
3435  result = interval2;
3436  PG_RETURN_INTERVAL_P(result);
3437 }
3438 
3439 static void
3440 finite_interval_pl(const Interval *span1, const Interval *span2, Interval *result)
3441 {
3442  Assert(!INTERVAL_NOT_FINITE(span1));
3443  Assert(!INTERVAL_NOT_FINITE(span2));
3444 
3445  if (pg_add_s32_overflow(span1->month, span2->month, &result->month) ||
3446  pg_add_s32_overflow(span1->day, span2->day, &result->day) ||
3447  pg_add_s64_overflow(span1->time, span2->time, &result->time) ||
3448  INTERVAL_NOT_FINITE(result))
3449  ereport(ERROR,
3450  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3451  errmsg("interval out of range")));
3452 }
3453 
3454 Datum
3456 {
3457  Interval *span1 = PG_GETARG_INTERVAL_P(0);
3458  Interval *span2 = PG_GETARG_INTERVAL_P(1);
3459  Interval *result;
3460 
3461  result = (Interval *) palloc(sizeof(Interval));
3462 
3463  /*
3464  * Handle infinities.
3465  *
3466  * We treat anything that amounts to "infinity - infinity" as an error,
3467  * since the interval type has nothing equivalent to NaN.
3468  */
3469  if (INTERVAL_IS_NOBEGIN(span1))
3470  {
3471  if (INTERVAL_IS_NOEND(span2))
3472  ereport(ERROR,
3473  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3474  errmsg("interval out of range")));
3475  else
3476  INTERVAL_NOBEGIN(result);
3477  }
3478  else if (INTERVAL_IS_NOEND(span1))
3479  {
3480  if (INTERVAL_IS_NOBEGIN(span2))
3481  ereport(ERROR,
3482  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3483  errmsg("interval out of range")));
3484  else
3485  INTERVAL_NOEND(result);
3486  }
3487  else if (INTERVAL_NOT_FINITE(span2))
3488  memcpy(result, span2, sizeof(Interval));
3489  else
3490  finite_interval_pl(span1, span2, result);
3491 
3492  PG_RETURN_INTERVAL_P(result);
3493 }
3494 
3495 static void
3496 finite_interval_mi(const Interval *span1, const Interval *span2, Interval *result)
3497 {
3498  Assert(!INTERVAL_NOT_FINITE(span1));
3499  Assert(!INTERVAL_NOT_FINITE(span2));
3500 
3501  if (pg_sub_s32_overflow(span1->month, span2->month, &result->month) ||
3502  pg_sub_s32_overflow(span1->day, span2->day, &result->day) ||
3503  pg_sub_s64_overflow(span1->time, span2->time, &result->time) ||
3504  INTERVAL_NOT_FINITE(result))
3505  ereport(ERROR,
3506  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3507  errmsg("interval out of range")));
3508 }
3509 
3510 Datum
3512 {
3513  Interval *span1 = PG_GETARG_INTERVAL_P(0);
3514  Interval *span2 = PG_GETARG_INTERVAL_P(1);
3515  Interval *result;
3516 
3517  result = (Interval *) palloc(sizeof(Interval));
3518 
3519  /*
3520  * Handle infinities.
3521  *
3522  * We treat anything that amounts to "infinity - infinity" as an error,
3523  * since the interval type has nothing equivalent to NaN.
3524  */
3525  if (INTERVAL_IS_NOBEGIN(span1))
3526  {
3527  if (INTERVAL_IS_NOBEGIN(span2))
3528  ereport(ERROR,
3529  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3530  errmsg("interval out of range")));
3531  else
3532  INTERVAL_NOBEGIN(result);
3533  }
3534  else if (INTERVAL_IS_NOEND(span1))
3535  {
3536  if (INTERVAL_IS_NOEND(span2))
3537  ereport(ERROR,
3538  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3539  errmsg("interval out of range")));
3540  else
3541  INTERVAL_NOEND(result);
3542  }
3543  else if (INTERVAL_IS_NOBEGIN(span2))
3544  INTERVAL_NOEND(result);
3545  else if (INTERVAL_IS_NOEND(span2))
3546  INTERVAL_NOBEGIN(result);
3547  else
3548  finite_interval_mi(span1, span2, result);
3549 
3550  PG_RETURN_INTERVAL_P(result);
3551 }
3552 
3553 /*
3554  * There is no interval_abs(): it is unclear what value to return:
3555  * http://archives.postgresql.org/pgsql-general/2009-10/msg01031.php
3556  * http://archives.postgresql.org/pgsql-general/2009-11/msg00041.php
3557  */
3558 
3559 Datum
3561 {
3562  Interval *span = PG_GETARG_INTERVAL_P(0);
3563  float8 factor = PG_GETARG_FLOAT8(1);
3564  double month_remainder_days,
3565  sec_remainder,
3566  result_double;
3567  int32 orig_month = span->month,
3568  orig_day = span->day;
3569  Interval *result;
3570 
3571  result = (Interval *) palloc(sizeof(Interval));
3572 
3573  /*
3574  * Handle NaN and infinities.
3575  *
3576  * We treat "0 * infinity" and "infinity * 0" as errors, since the
3577  * interval type has nothing equivalent to NaN.
3578  */
3579  if (isnan(factor))
3580  goto out_of_range;
3581 
3582  if (INTERVAL_NOT_FINITE(span))
3583  {
3584  if (factor == 0.0)
3585  goto out_of_range;
3586 
3587  if (factor < 0.0)
3588  interval_um_internal(span, result);
3589  else
3590  memcpy(result, span, sizeof(Interval));
3591 
3592  PG_RETURN_INTERVAL_P(result);
3593  }
3594  if (isinf(factor))
3595  {
3596  int isign = interval_sign(span);
3597 
3598  if (isign == 0)
3599  goto out_of_range;
3600 
3601  if (factor * isign < 0)
3602  INTERVAL_NOBEGIN(result);
3603  else
3604  INTERVAL_NOEND(result);
3605 
3606  PG_RETURN_INTERVAL_P(result);
3607  }
3608 
3609  result_double = span->month * factor;
3610  if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3611  goto out_of_range;
3612  result->month = (int32) result_double;
3613 
3614  result_double = span->day * factor;
3615  if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3616  goto out_of_range;
3617  result->day = (int32) result_double;
3618 
3619  /*
3620  * The above correctly handles the whole-number part of the month and day
3621  * products, but we have to do something with any fractional part
3622  * resulting when the factor is non-integral. We cascade the fractions
3623  * down to lower units using the conversion factors DAYS_PER_MONTH and
3624  * SECS_PER_DAY. Note we do NOT cascade up, since we are not forced to do
3625  * so by the representation. The user can choose to cascade up later,
3626  * using justify_hours and/or justify_days.
3627  */
3628 
3629  /*
3630  * Fractional months full days into days.
3631  *
3632  * Floating point calculation are inherently imprecise, so these
3633  * calculations are crafted to produce the most reliable result possible.
3634  * TSROUND() is needed to more accurately produce whole numbers where
3635  * appropriate.
3636  */
3637  month_remainder_days = (orig_month * factor - result->month) * DAYS_PER_MONTH;
3638  month_remainder_days = TSROUND(month_remainder_days);
3639  sec_remainder = (orig_day * factor - result->day +
3640  month_remainder_days - (int) month_remainder_days) * SECS_PER_DAY;
3641  sec_remainder = TSROUND(sec_remainder);
3642 
3643  /*
3644  * Might have 24:00:00 hours due to rounding, or >24 hours because of time
3645  * cascade from months and days. It might still be >24 if the combination
3646  * of cascade and the seconds factor operation itself.
3647  */
3648  if (fabs(sec_remainder) >= SECS_PER_DAY)
3649  {
3650  if (pg_add_s32_overflow(result->day,
3651  (int) (sec_remainder / SECS_PER_DAY),
3652  &result->day))
3653  goto out_of_range;
3654  sec_remainder -= (int) (sec_remainder / SECS_PER_DAY) * SECS_PER_DAY;
3655  }
3656 
3657  /* cascade units down */
3658  if (pg_add_s32_overflow(result->day, (int32) month_remainder_days,
3659  &result->day))
3660  goto out_of_range;
3661  result_double = rint(span->time * factor + sec_remainder * USECS_PER_SEC);
3662  if (isnan(result_double) || !FLOAT8_FITS_IN_INT64(result_double))
3663  goto out_of_range;
3664  result->time = (int64) result_double;
3665 
3666  if (INTERVAL_NOT_FINITE(result))
3667  goto out_of_range;
3668 
3669  PG_RETURN_INTERVAL_P(result);
3670 
3671 out_of_range:
3672  ereport(ERROR,
3673  errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3674  errmsg("interval out of range"));
3675 
3676  PG_RETURN_NULL(); /* keep compiler quiet */
3677 }
3678 
3679 Datum
3681 {
3682  /* Args are float8 and Interval *, but leave them as generic Datum */
3683  Datum factor = PG_GETARG_DATUM(0);
3684  Datum span = PG_GETARG_DATUM(1);
3685 
3686  return DirectFunctionCall2(interval_mul, span, factor);
3687 }
3688 
3689 Datum
3691 {
3692  Interval *span = PG_GETARG_INTERVAL_P(0);
3693  float8 factor = PG_GETARG_FLOAT8(1);
3694  double month_remainder_days,
3695  sec_remainder,
3696  result_double;
3697  int32 orig_month = span->month,
3698  orig_day = span->day;
3699  Interval *result;
3700 
3701  result = (Interval *) palloc(sizeof(Interval));
3702 
3703  if (factor == 0.0)
3704  ereport(ERROR,
3705  (errcode(ERRCODE_DIVISION_BY_ZERO),
3706  errmsg("division by zero")));
3707 
3708  /*
3709  * Handle NaN and infinities.
3710  *
3711  * We treat "infinity / infinity" as an error, since the interval type has
3712  * nothing equivalent to NaN. Otherwise, dividing by infinity is handled
3713  * by the regular division code, causing all fields to be set to zero.
3714  */
3715  if (isnan(factor))
3716  goto out_of_range;
3717 
3718  if (INTERVAL_NOT_FINITE(span))
3719  {
3720  if (isinf(factor))
3721  goto out_of_range;
3722 
3723  if (factor < 0.0)
3724  interval_um_internal(span, result);
3725  else
3726  memcpy(result, span, sizeof(Interval));
3727 
3728  PG_RETURN_INTERVAL_P(result);
3729  }
3730 
3731  result_double = span->month / factor;
3732  if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3733  goto out_of_range;
3734  result->month = (int32) result_double;
3735 
3736  result_double = span->day / factor;
3737  if (isnan(result_double) || !FLOAT8_FITS_IN_INT32(result_double))
3738  goto out_of_range;
3739  result->day = (int32) result_double;
3740 
3741  /*
3742  * Fractional months full days into days. See comment in interval_mul().
3743  */
3744  month_remainder_days = (orig_month / factor - result->month) * DAYS_PER_MONTH;
3745  month_remainder_days = TSROUND(month_remainder_days);
3746  sec_remainder = (orig_day / factor - result->day +
3747  month_remainder_days - (int) month_remainder_days) * SECS_PER_DAY;
3748  sec_remainder = TSROUND(sec_remainder);
3749  if (fabs(sec_remainder) >= SECS_PER_DAY)
3750  {
3751  if (pg_add_s32_overflow(result->day,
3752  (int) (sec_remainder / SECS_PER_DAY),
3753  &result->day))
3754  goto out_of_range;
3755  sec_remainder -= (int) (sec_remainder / SECS_PER_DAY) * SECS_PER_DAY;
3756  }
3757 
3758  /* cascade units down */
3759  if (pg_add_s32_overflow(result->day, (int32) month_remainder_days,
3760  &result->day))
3761  goto out_of_range;
3762  result_double = rint(span->time / factor + sec_remainder * USECS_PER_SEC);
3763  if (isnan(result_double) || !FLOAT8_FITS_IN_INT64(result_double))
3764  goto out_of_range;
3765  result->time = (int64) result_double;
3766 
3767  if (INTERVAL_NOT_FINITE(result))
3768  goto out_of_range;
3769 
3770  PG_RETURN_INTERVAL_P(result);
3771 
3772 out_of_range:
3773  ereport(ERROR,
3774  errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
3775  errmsg("interval out of range"));
3776 
3777  PG_RETURN_NULL(); /* keep compiler quiet */
3778 }
3779 
3780 
3781 /*
3782  * in_range support functions for timestamps and intervals.
3783  *
3784  * Per SQL spec, we support these with interval as the offset type.
3785  * The spec's restriction that the offset not be negative is a bit hard to
3786  * decipher for intervals, but we choose to interpret it the same as our
3787  * interval comparison operators would.
3788  */
3789 
3790 Datum
3792 {
3795  Interval *offset = PG_GETARG_INTERVAL_P(2);
3796  bool sub = PG_GETARG_BOOL(3);
3797  bool less = PG_GETARG_BOOL(4);
3798  TimestampTz sum;
3799 
3800  if (interval_sign(offset) < 0)
3801  ereport(ERROR,
3802  (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3803  errmsg("invalid preceding or following size in window function")));
3804 
3805  /*
3806  * Deal with cases where both base and offset are infinite, and computing
3807  * base +/- offset would cause an error. As for float and numeric types,
3808  * we assume that all values infinitely precede +infinity and infinitely
3809  * follow -infinity. See in_range_float8_float8() for reasoning.
3810  */
3811  if (INTERVAL_IS_NOEND(offset) &&
3812  (sub ? TIMESTAMP_IS_NOEND(base) : TIMESTAMP_IS_NOBEGIN(base)))
3813  PG_RETURN_BOOL(true);
3814 
3815  /* We don't currently bother to avoid overflow hazards here */
3816  if (sub)
3817  sum = timestamptz_mi_interval_internal(base, offset, NULL);
3818  else
3819  sum = timestamptz_pl_interval_internal(base, offset, NULL);
3820 
3821  if (less)
3822  PG_RETURN_BOOL(val <= sum);
3823  else
3824  PG_RETURN_BOOL(val >= sum);
3825 }
3826 
3827 Datum
3829 {
3831  Timestamp base = PG_GETARG_TIMESTAMP(1);
3832  Interval *offset = PG_GETARG_INTERVAL_P(2);
3833  bool sub = PG_GETARG_BOOL(3);
3834  bool less = PG_GETARG_BOOL(4);
3835  Timestamp sum;
3836 
3837  if (interval_sign(offset) < 0)
3838  ereport(ERROR,
3839  (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3840  errmsg("invalid preceding or following size in window function")));
3841 
3842  /*
3843  * Deal with cases where both base and offset are infinite, and computing
3844  * base +/- offset would cause an error. As for float and numeric types,
3845  * we assume that all values infinitely precede +infinity and infinitely
3846  * follow -infinity. See in_range_float8_float8() for reasoning.
3847  */
3848  if (INTERVAL_IS_NOEND(offset) &&
3849  (sub ? TIMESTAMP_IS_NOEND(base) : TIMESTAMP_IS_NOBEGIN(base)))
3850  PG_RETURN_BOOL(true);
3851 
3852  /* We don't currently bother to avoid overflow hazards here */
3853  if (sub)
3855  TimestampGetDatum(base),
3856  IntervalPGetDatum(offset)));
3857  else
3859  TimestampGetDatum(base),
3860  IntervalPGetDatum(offset)));
3861 
3862  if (less)
3863  PG_RETURN_BOOL(val <= sum);
3864  else
3865  PG_RETURN_BOOL(val >= sum);
3866 }
3867 
3868 Datum
3870 {
3872  Interval *base = PG_GETARG_INTERVAL_P(1);
3873  Interval *offset = PG_GETARG_INTERVAL_P(2);
3874  bool sub = PG_GETARG_BOOL(3);
3875  bool less = PG_GETARG_BOOL(4);
3876  Interval *sum;
3877 
3878  if (interval_sign(offset) < 0)
3879  ereport(ERROR,
3880  (errcode(ERRCODE_INVALID_PRECEDING_OR_FOLLOWING_SIZE),
3881  errmsg("invalid preceding or following size in window function")));
3882 
3883  /*
3884  * Deal with cases where both base and offset are infinite, and computing
3885  * base +/- offset would cause an error. As for float and numeric types,
3886  * we assume that all values infinitely precede +infinity and infinitely
3887  * follow -infinity. See in_range_float8_float8() for reasoning.
3888  */
3889  if (INTERVAL_IS_NOEND(offset) &&
3890  (sub ? INTERVAL_IS_NOEND(base) : INTERVAL_IS_NOBEGIN(base)))
3891  PG_RETURN_BOOL(true);
3892 
3893  /* We don't currently bother to avoid overflow hazards here */
3894  if (sub)
3896  IntervalPGetDatum(base),
3897  IntervalPGetDatum(offset)));
3898  else
3900  IntervalPGetDatum(base),
3901  IntervalPGetDatum(offset)));
3902 
3903  if (less)
3905  else
3907 }
3908 
3909 
3910 /*
3911  * Prepare state data for an interval aggregate function, that needs to compute
3912  * sum and count, in the aggregate's memory context.
3913  *
3914  * The function is used when the state data needs to be allocated in aggregate's
3915  * context. When the state data needs to be allocated in the current memory
3916  * context, we use palloc0 directly e.g. interval_avg_deserialize().
3917  */
3918 static IntervalAggState *
3920 {
3922  MemoryContext agg_context;
3923  MemoryContext old_context;
3924 
3925  if (!AggCheckCallContext(fcinfo, &agg_context))
3926  elog(ERROR, "aggregate function called in non-aggregate context");
3927 
3928  old_context = MemoryContextSwitchTo(agg_context);
3929 
3931 
3932  MemoryContextSwitchTo(old_context);
3933 
3934  return state;
3935 }
3936 
3937 /*
3938  * Accumulate a new input value for interval aggregate functions.
3939  */
3940 static void
3942 {
3943  /* Infinite inputs are counted separately, and do not affect "N" */
3945  {
3946  state->nInfcount++;
3947  return;
3948  }
3949 
3951  {
3952  state->pInfcount++;
3953  return;
3954  }
3955 
3956  finite_interval_pl(&state->sumX, newval, &state->sumX);
3957  state->N++;
3958 }
3959 
3960 /*
3961  * Remove the given interval value from the aggregated state.
3962  */
3963 static void
3965 {
3966  /* Infinite inputs are counted separately, and do not affect "N" */
3968  {
3969  state->nInfcount--;
3970  return;
3971  }
3972 
3974  {
3975  state->pInfcount--;
3976  return;
3977  }
3978 
3979  /* Handle the to-be-discarded finite value. */
3980  state->N--;
3981  if (state->N > 0)
3982  finite_interval_mi(&state->sumX, newval, &state->sumX);
3983  else
3984  {
3985  /* All values discarded, reset the state */
3986  Assert(state->N == 0);
3987  memset(&state->sumX, 0, sizeof(state->sumX));
3988  }
3989 }
3990 
3991 /*
3992  * Transition function for sum() and avg() interval aggregates.
3993  */
3994 Datum
3996 {
3998 
4000 
4001  /* Create the state data on the first call */
4002  if (state == NULL)
4003  state = makeIntervalAggState(fcinfo);
4004 
4005  if (!PG_ARGISNULL(1))
4007 
4009 }
4010 
4011 /*
4012  * Combine function for sum() and avg() interval aggregates.
4013  *
4014  * Combine the given internal aggregate states and place the combination in
4015  * the first argument.
4016  */
4017 Datum
4019 {
4020  IntervalAggState *state1;
4021  IntervalAggState *state2;
4022 
4023  state1 = PG_ARGISNULL(0) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(0);
4024  state2 = PG_ARGISNULL(1) ? NULL : (IntervalAggState *) PG_GETARG_POINTER(1);
4025 
4026  if (state2 == NULL)
4027  PG_RETURN_POINTER(state1);
4028 
4029  if (state1 == NULL)
4030  {
4031  /* manually copy all fields from state2 to state1 */
4032  state1 = makeIntervalAggState(fcinfo);
4033 
4034  state1->N = state2->N;
4035  state1->pInfcount = state2->pInfcount;
4036  state1->nInfcount = state2->nInfcount;
4037 
4038  state1->sumX.day = state2->sumX.day;
4039  state1->sumX.month = state2->sumX.month;
4040  state1->sumX.time = state2->sumX.time;
4041 
4042  PG_RETURN_POINTER(state1);
4043  }
4044 
4045  state1->N += state2->N;
4046  state1->pInfcount += state2->pInfcount;
4047  state1->nInfcount += state2->nInfcount;
4048 
4049  /* Accumulate finite interval values, if any. */
4050  if (state2->N > 0)
4051  finite_interval_pl(&state1->sumX, &state2->sumX, &state1->sumX);
4052 
4053  PG_RETURN_POINTER(state1);
4054 }
4055 
4056 /*
4057  * interval_avg_serialize
4058  * Serialize IntervalAggState for interval aggregates.
4059  */
4060 Datum
4062 {
4065  bytea *result;
4066 
4067  /* Ensure we disallow calling when not in aggregate context */
4068  if (!AggCheckCallContext(fcinfo, NULL))
4069  elog(ERROR, "aggregate function called in non-aggregate context");
4070 
4072 
4073  pq_begintypsend(&buf);
4074 
4075  /* N */
4076  pq_sendint64(&buf, state->N);
4077 
4078  /* sumX */
4079  pq_sendint64(&buf, state->sumX.time);
4080  pq_sendint32(&buf, state->sumX.day);
4081  pq_sendint32(&buf, state->sumX.month);
4082 
4083  /* pInfcount */
4084  pq_sendint64(&buf, state->pInfcount);
4085 
4086  /* nInfcount */
4087  pq_sendint64(&buf, state->nInfcount);
4088 
4089  result = pq_endtypsend(&buf);
4090 
4091  PG_RETURN_BYTEA_P(result);
4092 }
4093 
4094 /*
4095  * interval_avg_deserialize
4096  * Deserialize bytea into IntervalAggState for interval aggregates.
4097  */
4098 Datum
4100 {
4101  bytea *sstate;
4102  IntervalAggState *result;
4104 
4105  if (!AggCheckCallContext(fcinfo, NULL))
4106  elog(ERROR, "aggregate function called in non-aggregate context");
4107 
4108  sstate = PG_GETARG_BYTEA_PP(0);
4109 
4110  /*
4111  * Initialize a StringInfo so that we can "receive" it using the standard
4112  * recv-function infrastructure.
4113  */
4115  VARSIZE_ANY_EXHDR(sstate));
4116 
4117  result = (IntervalAggState *) palloc0(sizeof(IntervalAggState));
4118 
4119  /* N */
4120  result->N = pq_getmsgint64(&buf);
4121 
4122  /* sumX */
4123  result->sumX.time = pq_getmsgint64(&buf);
4124  result->sumX.day = pq_getmsgint(&buf, 4);
4125  result->sumX.month = pq_getmsgint(&buf, 4);
4126 
4127  /* pInfcount */
4128  result->pInfcount = pq_getmsgint64(&buf);
4129 
4130  /* nInfcount */
4131  result->nInfcount = pq_getmsgint64(&buf);
4132 
4133  pq_getmsgend(&buf);
4134 
4135  PG_RETURN_POINTER(result);
4136 }
4137 
4138 /*
4139  * Inverse transition function for sum() and avg() interval aggregates.
4140  */
4141 Datum
4143 {
4145 
4147 
4148  /* Should not get here with no state */
4149  if (state == NULL)
4150  elog(ERROR, "interval_avg_accum_inv called with NULL state");
4151 
4152  if (!PG_ARGISNULL(1))
4154 
4156 }
4157 
4158 /* avg(interval) aggregate final function */
4159 Datum
4161 {
4163 
4165 
4166  /* If there were no non-null inputs, return NULL */
4167  if (state == NULL || IA_TOTAL_COUNT(state) == 0)
4168  PG_RETURN_NULL();
4169 
4170  /*
4171  * Aggregating infinities that all have the same sign produces infinity
4172  * with that sign. Aggregating infinities with different signs results in
4173  * an error.
4174  */
4175  if (state->pInfcount > 0 || state->nInfcount > 0)
4176  {
4177  Interval *result;
4178 
4179  if (state->pInfcount > 0 && state->nInfcount > 0)
4180  ereport(ERROR,
4181  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4182  errmsg("interval out of range")));
4183 
4184  result = (Interval *) palloc(sizeof(Interval));
4185  if (state->pInfcount > 0)
4186  INTERVAL_NOEND(result);
4187  else
4188  INTERVAL_NOBEGIN(result);
4189 
4190  PG_RETURN_INTERVAL_P(result);
4191  }
4192 
4194  IntervalPGetDatum(&state->sumX),
4195  Float8GetDatum((double) state->N));
4196 }
4197 
4198 /* sum(interval) aggregate final function */
4199 Datum
4201 {
4203  Interval *result;
4204 
4206 
4207  /* If there were no non-null inputs, return NULL */
4208  if (state == NULL || IA_TOTAL_COUNT(state) == 0)
4209  PG_RETURN_NULL();
4210 
4211  /*
4212  * Aggregating infinities that all have the same sign produces infinity
4213  * with that sign. Aggregating infinities with different signs results in
4214  * an error.
4215  */
4216  if (state->pInfcount > 0 && state->nInfcount > 0)
4217  ereport(ERROR,
4218  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4219  errmsg("interval out of range")));
4220 
4221  result = (Interval *) palloc(sizeof(Interval));
4222 
4223  if (state->pInfcount > 0)
4224  INTERVAL_NOEND(result);
4225  else if (state->nInfcount > 0)
4226  INTERVAL_NOBEGIN(result);
4227  else
4228  memcpy(result, &state->sumX, sizeof(Interval));
4229 
4230  PG_RETURN_INTERVAL_P(result);
4231 }
4232 
4233 /* timestamp_age()
4234  * Calculate time difference while retaining year/month fields.
4235  * Note that this does not result in an accurate absolute time span
4236  * since year and month are out of context once the arithmetic
4237  * is done.
4238  */
4239 Datum
4241 {
4242  Timestamp dt1 = PG_GETARG_TIMESTAMP(0);
4243  Timestamp dt2 = PG_GETARG_TIMESTAMP(1);
4244  Interval *result;
4245  fsec_t fsec1,
4246  fsec2;
4247  struct pg_itm tt,
4248  *tm = &tt;
4249  struct pg_tm tt1,
4250  *tm1 = &tt1;
4251  struct pg_tm tt2,
4252  *tm2 = &tt2;
4253 
4254  result = (Interval *) palloc(sizeof(Interval));
4255 
4256  /*
4257  * Handle infinities.
4258  *
4259  * We treat anything that amounts to "infinity - infinity" as an error,
4260  * since the interval type has nothing equivalent to NaN.
4261  */
4262  if (TIMESTAMP_IS_NOBEGIN(dt1))
4263  {
4264  if (TIMESTAMP_IS_NOBEGIN(dt2))
4265  ereport(ERROR,
4266  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4267  errmsg("interval out of range")));
4268  else
4269  INTERVAL_NOBEGIN(result);
4270  }
4271  else if (TIMESTAMP_IS_NOEND(dt1))
4272  {
4273  if (TIMESTAMP_IS_NOEND(dt2))
4274  ereport(ERROR,
4275  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4276  errmsg("interval out of range")));
4277  else
4278  INTERVAL_NOEND(result);
4279  }
4280  else if (TIMESTAMP_IS_NOBEGIN(dt2))
4281  INTERVAL_NOEND(result);
4282  else if (TIMESTAMP_IS_NOEND(dt2))
4283  INTERVAL_NOBEGIN(result);
4284  else if (timestamp2tm(dt1, NULL, tm1, &fsec1, NULL, NULL) == 0 &&
4285  timestamp2tm(dt2, NULL, tm2, &fsec2, NULL, NULL) == 0)
4286  {
4287  /* form the symbolic difference */
4288  tm->tm_usec = fsec1 - fsec2;
4289  tm->tm_sec = tm1->tm_sec - tm2->tm_sec;
4290  tm->tm_min = tm1->tm_min - tm2->tm_min;
4291  tm->tm_hour = tm1->tm_hour - tm2->tm_hour;
4292  tm->tm_mday = tm1->tm_mday - tm2->tm_mday;
4293  tm->tm_mon = tm1->tm_mon - tm2->tm_mon;
4294  tm->tm_year = tm1->tm_year - tm2->tm_year;
4295 
4296  /* flip sign if necessary... */
4297  if (dt1 < dt2)
4298  {
4299  tm->tm_usec = -tm->tm_usec;
4300  tm->tm_sec = -tm->tm_sec;
4301  tm->tm_min = -tm->tm_min;
4302  tm->tm_hour = -tm->tm_hour;
4303  tm->tm_mday = -tm->tm_mday;
4304  tm->tm_mon = -tm->tm_mon;
4305  tm->tm_year = -tm->tm_year;
4306  }
4307 
4308  /* propagate any negative fields into the next higher field */
4309  while (tm->tm_usec < 0)
4310  {
4311  tm->tm_usec += USECS_PER_SEC;
4312  tm->tm_sec--;
4313  }
4314 
4315  while (tm->tm_sec < 0)
4316  {
4318  tm->tm_min--;
4319  }
4320 
4321  while (tm->tm_min < 0)
4322  {
4323  tm->tm_min += MINS_PER_HOUR;
4324  tm->tm_hour--;
4325  }
4326 
4327  while (tm->tm_hour < 0)
4328  {
4329  tm->tm_hour += HOURS_PER_DAY;
4330  tm->tm_mday--;
4331  }
4332 
4333  while (tm->tm_mday < 0)
4334  {
4335  if (dt1 < dt2)
4336  {
4337  tm->tm_mday += day_tab[isleap(tm1->tm_year)][tm1->tm_mon - 1];
4338  tm->tm_mon--;
4339  }
4340  else
4341  {
4342  tm->tm_mday += day_tab[isleap(tm2->tm_year)][tm2->tm_mon - 1];
4343  tm->tm_mon--;
4344  }
4345  }
4346 
4347  while (tm->tm_mon < 0)
4348  {
4350  tm->tm_year--;
4351  }
4352 
4353  /* recover sign if necessary... */
4354  if (dt1 < dt2)
4355  {
4356  tm->tm_usec = -tm->tm_usec;
4357  tm->tm_sec = -tm->tm_sec;
4358  tm->tm_min = -tm->tm_min;
4359  tm->tm_hour = -tm->tm_hour;
4360  tm->tm_mday = -tm->tm_mday;
4361  tm->tm_mon = -tm->tm_mon;
4362  tm->tm_year = -tm->tm_year;
4363  }
4364 
4365  if (itm2interval(tm, result) != 0)
4366  ereport(ERROR,
4367  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4368  errmsg("interval out of range")));
4369  }
4370  else
4371  ereport(ERROR,
4372  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4373  errmsg("timestamp out of range")));
4374 
4375  PG_RETURN_INTERVAL_P(result);
4376 }
4377 
4378 
4379 /* timestamptz_age()
4380  * Calculate time difference while retaining year/month fields.
4381  * Note that this does not result in an accurate absolute time span
4382  * since year and month are out of context once the arithmetic
4383  * is done.
4384  */
4385 Datum
4387 {
4390  Interval *result;
4391  fsec_t fsec1,
4392  fsec2;
4393  struct pg_itm tt,
4394  *tm = &tt;
4395  struct pg_tm tt1,
4396  *tm1 = &tt1;
4397  struct pg_tm tt2,
4398  *tm2 = &tt2;
4399  int tz1;
4400  int tz2;
4401 
4402  result = (Interval *) palloc(sizeof(Interval));
4403 
4404  /*
4405  * Handle infinities.
4406  *
4407  * We treat anything that amounts to "infinity - infinity" as an error,
4408  * since the interval type has nothing equivalent to NaN.
4409  */
4410  if (TIMESTAMP_IS_NOBEGIN(dt1))
4411  {
4412  if (TIMESTAMP_IS_NOBEGIN(dt2))
4413  ereport(ERROR,
4414  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4415  errmsg("interval out of range")));
4416  else
4417  INTERVAL_NOBEGIN(result);
4418  }
4419  else if (TIMESTAMP_IS_NOEND(dt1))
4420  {
4421  if (TIMESTAMP_IS_NOEND(dt2))
4422  ereport(ERROR,
4423  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4424  errmsg("interval out of range")));
4425  else
4426  INTERVAL_NOEND(result);
4427  }
4428  else if (TIMESTAMP_IS_NOBEGIN(dt2))
4429  INTERVAL_NOEND(result);
4430  else if (TIMESTAMP_IS_NOEND(dt2))
4431  INTERVAL_NOBEGIN(result);
4432  else if (timestamp2tm(dt1, &tz1, tm1, &fsec1, NULL, NULL) == 0 &&
4433  timestamp2tm(dt2, &tz2, tm2, &fsec2, NULL, NULL) == 0)
4434  {
4435  /* form the symbolic difference */
4436  tm->tm_usec = fsec1 - fsec2;
4437  tm->tm_sec = tm1->tm_sec - tm2->tm_sec;
4438  tm->tm_min = tm1->tm_min - tm2->tm_min;
4439  tm->tm_hour = tm1->tm_hour - tm2->tm_hour;
4440  tm->tm_mday = tm1->tm_mday - tm2->tm_mday;
4441  tm->tm_mon = tm1->tm_mon - tm2->tm_mon;
4442  tm->tm_year = tm1->tm_year - tm2->tm_year;
4443 
4444  /* flip sign if necessary... */
4445  if (dt1 < dt2)
4446  {
4447  tm->tm_usec = -tm->tm_usec;
4448  tm->tm_sec = -tm->tm_sec;
4449  tm->tm_min = -tm->tm_min;
4450  tm->tm_hour = -tm->tm_hour;
4451  tm->tm_mday = -tm->tm_mday;
4452  tm->tm_mon = -tm->tm_mon;
4453  tm->tm_year = -tm->tm_year;
4454  }
4455 
4456  /* propagate any negative fields into the next higher field */
4457  while (tm->tm_usec < 0)
4458  {
4459  tm->tm_usec += USECS_PER_SEC;
4460  tm->tm_sec--;
4461  }
4462 
4463  while (tm->tm_sec < 0)
4464  {
4466  tm->tm_min--;
4467  }
4468 
4469  while (tm->tm_min < 0)
4470  {
4471  tm->tm_min += MINS_PER_HOUR;
4472  tm->tm_hour--;
4473  }
4474 
4475  while (tm->tm_hour < 0)
4476  {
4477  tm->tm_hour += HOURS_PER_DAY;
4478  tm->tm_mday--;
4479  }
4480 
4481  while (tm->tm_mday < 0)
4482  {
4483  if (dt1 < dt2)
4484  {
4485  tm->tm_mday += day_tab[isleap(tm1->tm_year)][tm1->tm_mon - 1];
4486  tm->tm_mon--;
4487  }
4488  else
4489  {
4490  tm->tm_mday += day_tab[isleap(tm2->tm_year)][tm2->tm_mon - 1];
4491  tm->tm_mon--;
4492  }
4493  }
4494 
4495  while (tm->tm_mon < 0)
4496  {
4498  tm->tm_year--;
4499  }
4500 
4501  /*
4502  * Note: we deliberately ignore any difference between tz1 and tz2.
4503  */
4504 
4505  /* recover sign if necessary... */
4506  if (dt1 < dt2)
4507  {
4508  tm->tm_usec = -tm->tm_usec;
4509  tm->tm_sec = -tm->tm_sec;
4510  tm->tm_min = -tm->tm_min;
4511  tm->tm_hour = -tm->tm_hour;
4512  tm->tm_mday = -tm->tm_mday;
4513  tm->tm_mon = -tm->tm_mon;
4514  tm->tm_year = -tm->tm_year;
4515  }
4516 
4517  if (itm2interval(tm, result) != 0)
4518  ereport(ERROR,
4519  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4520  errmsg("interval out of range")));
4521  }
4522  else
4523  ereport(ERROR,
4524  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4525  errmsg("timestamp out of range")));
4526 
4527  PG_RETURN_INTERVAL_P(result);
4528 }
4529 
4530 
4531 /*----------------------------------------------------------
4532  * Conversion operators.
4533  *---------------------------------------------------------*/
4534 
4535 
4536 /* timestamp_bin()
4537  * Bin timestamp into specified interval.
4538  */
4539 Datum
4541 {
4542  Interval *stride = PG_GETARG_INTERVAL_P(0);
4544  Timestamp origin = PG_GETARG_TIMESTAMP(2);
4545  Timestamp result,
4546  stride_usecs,
4547  tm_diff,
4548  tm_modulo,
4549  tm_delta;
4550 
4553 
4554  if (TIMESTAMP_NOT_FINITE(origin))
4555  ereport(ERROR,
4556  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4557  errmsg("origin out of range")));
4558 
4559  if (INTERVAL_NOT_FINITE(stride))
4560  ereport(ERROR,
4561  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4562  errmsg("timestamps cannot be binned into infinite intervals")));
4563 
4564  if (stride->month != 0)
4565  ereport(ERROR,
4566  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4567  errmsg("timestamps cannot be binned into intervals containing months or years")));
4568 
4569  if (unlikely(pg_mul_s64_overflow(stride->day, USECS_PER_DAY, &stride_usecs)) ||
4570  unlikely(pg_add_s64_overflow(stride_usecs, stride->time, &stride_usecs)))
4571  ereport(ERROR,
4572  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4573  errmsg("interval out of range")));
4574 
4575  if (stride_usecs <= 0)
4576  ereport(ERROR,
4577  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4578  errmsg("stride must be greater than zero")));
4579 
4580  if (unlikely(pg_sub_s64_overflow(timestamp, origin, &tm_diff)))
4581  ereport(ERROR,
4582  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4583  errmsg("interval out of range")));
4584 
4585  /* These calculations cannot overflow */
4586  tm_modulo = tm_diff % stride_usecs;
4587  tm_delta = tm_diff - tm_modulo;
4588  result = origin + tm_delta;
4589 
4590  /*
4591  * We want to round towards -infinity, not 0, when tm_diff is negative and
4592  * not a multiple of stride_usecs. This adjustment *can* cause overflow,
4593  * since the result might now be out of the range origin .. timestamp.
4594  */
4595  if (tm_modulo < 0)
4596  {
4597  if (unlikely(pg_sub_s64_overflow(result, stride_usecs, &result)) ||
4598  !IS_VALID_TIMESTAMP(result))
4599  ereport(ERROR,
4600  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4601  errmsg("timestamp out of range")));
4602  }
4603 
4604  PG_RETURN_TIMESTAMP(result);
4605 }
4606 
4607 /* timestamp_trunc()
4608  * Truncate timestamp to specified units.
4609  */
4610 Datum
4612 {
4613  text *units = PG_GETARG_TEXT_PP(0);
4615  Timestamp result;
4616  int type,
4617  val;
4618  char *lowunits;
4619  fsec_t fsec;
4620  struct pg_tm tt,
4621  *tm = &tt;
4622 
4625 
4626  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
4627  VARSIZE_ANY_EXHDR(units),
4628  false);
4629 
4630  type = DecodeUnits(0, lowunits, &val);
4631 
4632  if (type == UNITS)
4633  {
4634  if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
4635  ereport(ERROR,
4636  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4637  errmsg("timestamp out of range")));
4638 
4639  switch (val)
4640  {
4641  case DTK_WEEK:
4642  {
4643  int woy;
4644 
4645  woy = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
4646 
4647  /*
4648  * If it is week 52/53 and the month is January, then the
4649  * week must belong to the previous year. Also, some
4650  * December dates belong to the next year.
4651  */
4652  if (woy >= 52 && tm->tm_mon == 1)
4653  --tm->tm_year;
4654  if (woy <= 1 && tm->tm_mon == MONTHS_PER_YEAR)
4655  ++tm->tm_year;
4656  isoweek2date(woy, &(tm->tm_year), &(tm->tm_mon), &(tm->tm_mday));
4657  tm->tm_hour = 0;
4658  tm->tm_min = 0;
4659  tm->tm_sec = 0;
4660  fsec = 0;
4661  break;
4662  }
4663  case DTK_MILLENNIUM:
4664  /* see comments in timestamptz_trunc */
4665  if (tm->tm_year > 0)
4666  tm->tm_year = ((tm->tm_year + 999) / 1000) * 1000 - 999;
4667  else
4668  tm->tm_year = -((999 - (tm->tm_year - 1)) / 1000) * 1000 + 1;
4669  /* FALL THRU */
4670  case DTK_CENTURY:
4671  /* see comments in timestamptz_trunc */
4672  if (tm->tm_year > 0)
4673  tm->tm_year = ((tm->tm_year + 99) / 100) * 100 - 99;
4674  else
4675  tm->tm_year = -((99 - (tm->tm_year - 1)) / 100) * 100 + 1;
4676  /* FALL THRU */
4677  case DTK_DECADE:
4678  /* see comments in timestamptz_trunc */
4679  if (val != DTK_MILLENNIUM && val != DTK_CENTURY)
4680  {
4681  if (tm->tm_year > 0)
4682  tm->tm_year = (tm->tm_year / 10) * 10;
4683  else
4684  tm->tm_year = -((8 - (tm->tm_year - 1)) / 10) * 10;
4685  }
4686  /* FALL THRU */
4687  case DTK_YEAR:
4688  tm->tm_mon = 1;
4689  /* FALL THRU */
4690  case DTK_QUARTER:
4691  tm->tm_mon = (3 * ((tm->tm_mon - 1) / 3)) + 1;
4692  /* FALL THRU */
4693  case DTK_MONTH:
4694  tm->tm_mday = 1;
4695  /* FALL THRU */
4696  case DTK_DAY:
4697  tm->tm_hour = 0;
4698  /* FALL THRU */
4699  case DTK_HOUR:
4700  tm->tm_min = 0;
4701  /* FALL THRU */
4702  case DTK_MINUTE:
4703  tm->tm_sec = 0;
4704  /* FALL THRU */
4705  case DTK_SECOND:
4706  fsec = 0;
4707  break;
4708 
4709  case DTK_MILLISEC:
4710  fsec = (fsec / 1000) * 1000;
4711  break;
4712 
4713  case DTK_MICROSEC:
4714  break;
4715 
4716  default:
4717  ereport(ERROR,
4718  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4719  errmsg("unit \"%s\" not supported for type %s",
4720  lowunits, format_type_be(TIMESTAMPOID))));
4721  result = 0;
4722  }
4723 
4724  if (tm2timestamp(tm, fsec, NULL, &result) != 0)
4725  ereport(ERROR,
4726  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4727  errmsg("timestamp out of range")));
4728  }
4729  else
4730  {
4731  ereport(ERROR,
4732  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4733  errmsg("unit \"%s\" not recognized for type %s",
4734  lowunits, format_type_be(TIMESTAMPOID))));
4735  result = 0;
4736  }
4737 
4738  PG_RETURN_TIMESTAMP(result);
4739 }
4740 
4741 /* timestamptz_bin()
4742  * Bin timestamptz into specified interval using specified origin.
4743  */
4744 Datum
4746 {
4747  Interval *stride = PG_GETARG_INTERVAL_P(0);
4749  TimestampTz origin = PG_GETARG_TIMESTAMPTZ(2);
4750  TimestampTz result,
4751  stride_usecs,
4752  tm_diff,
4753  tm_modulo,
4754  tm_delta;
4755 
4758 
4759  if (TIMESTAMP_NOT_FINITE(origin))
4760  ereport(ERROR,
4761  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4762  errmsg("origin out of range")));
4763 
4764  if (INTERVAL_NOT_FINITE(stride))
4765  ereport(ERROR,
4766  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4767  errmsg("timestamps cannot be binned into infinite intervals")));
4768 
4769  if (stride->month != 0)
4770  ereport(ERROR,
4771  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4772  errmsg("timestamps cannot be binned into intervals containing months or years")));
4773 
4774  if (unlikely(pg_mul_s64_overflow(stride->day, USECS_PER_DAY, &stride_usecs)) ||
4775  unlikely(pg_add_s64_overflow(stride_usecs, stride->time, &stride_usecs)))
4776  ereport(ERROR,
4777  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4778  errmsg("interval out of range")));
4779 
4780  if (stride_usecs <= 0)
4781  ereport(ERROR,
4782  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4783  errmsg("stride must be greater than zero")));
4784 
4785  if (unlikely(pg_sub_s64_overflow(timestamp, origin, &tm_diff)))
4786  ereport(ERROR,
4787  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4788  errmsg("interval out of range")));
4789 
4790  /* These calculations cannot overflow */
4791  tm_modulo = tm_diff % stride_usecs;
4792  tm_delta = tm_diff - tm_modulo;
4793  result = origin + tm_delta;
4794 
4795  /*
4796  * We want to round towards -infinity, not 0, when tm_diff is negative and
4797  * not a multiple of stride_usecs. This adjustment *can* cause overflow,
4798  * since the result might now be out of the range origin .. timestamp.
4799  */
4800  if (tm_modulo < 0)
4801  {
4802  if (unlikely(pg_sub_s64_overflow(result, stride_usecs, &result)) ||
4803  !IS_VALID_TIMESTAMP(result))
4804  ereport(ERROR,
4805  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4806  errmsg("timestamp out of range")));
4807  }
4808 
4809  PG_RETURN_TIMESTAMPTZ(result);
4810 }
4811 
4812 /*
4813  * Common code for timestamptz_trunc() and timestamptz_trunc_zone().
4814  *
4815  * tzp identifies the zone to truncate with respect to. We assume
4816  * infinite timestamps have already been rejected.
4817  */
4818 static TimestampTz
4820 {
4821  TimestampTz result;
4822  int tz;
4823  int type,
4824  val;
4825  bool redotz = false;
4826  char *lowunits;
4827  fsec_t fsec;
4828  struct pg_tm tt,
4829  *tm = &tt;
4830 
4831  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
4832  VARSIZE_ANY_EXHDR(units),
4833  false);
4834 
4835  type = DecodeUnits(0, lowunits, &val);
4836 
4837  if (type == UNITS)
4838  {
4839  if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, tzp) != 0)
4840  ereport(ERROR,
4841  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4842  errmsg("timestamp out of range")));
4843 
4844  switch (val)
4845  {
4846  case DTK_WEEK:
4847  {
4848  int woy;
4849 
4850  woy = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
4851 
4852  /*
4853  * If it is week 52/53 and the month is January, then the
4854  * week must belong to the previous year. Also, some
4855  * December dates belong to the next year.
4856  */
4857  if (woy >= 52 && tm->tm_mon == 1)
4858  --tm->tm_year;
4859  if (woy <= 1 && tm->tm_mon == MONTHS_PER_YEAR)
4860  ++tm->tm_year;
4861  isoweek2date(woy, &(tm->tm_year), &(tm->tm_mon), &(tm->tm_mday));
4862  tm->tm_hour = 0;
4863  tm->tm_min = 0;
4864  tm->tm_sec = 0;
4865  fsec = 0;
4866  redotz = true;
4867  break;
4868  }
4869  /* one may consider DTK_THOUSAND and DTK_HUNDRED... */
4870  case DTK_MILLENNIUM:
4871 
4872  /*
4873  * truncating to the millennium? what is this supposed to
4874  * mean? let us put the first year of the millennium... i.e.
4875  * -1000, 1, 1001, 2001...
4876  */
4877  if (tm->tm_year > 0)
4878  tm->tm_year = ((tm->tm_year + 999) / 1000) * 1000 - 999;
4879  else
4880  tm->tm_year = -((999 - (tm->tm_year - 1)) / 1000) * 1000 + 1;
4881  /* FALL THRU */
4882  case DTK_CENTURY:
4883  /* truncating to the century? as above: -100, 1, 101... */
4884  if (tm->tm_year > 0)
4885  tm->tm_year = ((tm->tm_year + 99) / 100) * 100 - 99;
4886  else
4887  tm->tm_year = -((99 - (tm->tm_year - 1)) / 100) * 100 + 1;
4888  /* FALL THRU */
4889  case DTK_DECADE:
4890 
4891  /*
4892  * truncating to the decade? first year of the decade. must
4893  * not be applied if year was truncated before!
4894  */
4895  if (val != DTK_MILLENNIUM && val != DTK_CENTURY)
4896  {
4897  if (tm->tm_year > 0)
4898  tm->tm_year = (tm->tm_year / 10) * 10;
4899  else
4900  tm->tm_year = -((8 - (tm->tm_year - 1)) / 10) * 10;
4901  }
4902  /* FALL THRU */
4903  case DTK_YEAR:
4904  tm->tm_mon = 1;
4905  /* FALL THRU */
4906  case DTK_QUARTER:
4907  tm->tm_mon = (3 * ((tm->tm_mon - 1) / 3)) + 1;
4908  /* FALL THRU */
4909  case DTK_MONTH:
4910  tm->tm_mday = 1;
4911  /* FALL THRU */
4912  case DTK_DAY:
4913  tm->tm_hour = 0;
4914  redotz = true; /* for all cases >= DAY */
4915  /* FALL THRU */
4916  case DTK_HOUR:
4917  tm->tm_min = 0;
4918  /* FALL THRU */
4919  case DTK_MINUTE:
4920  tm->tm_sec = 0;
4921  /* FALL THRU */
4922  case DTK_SECOND:
4923  fsec = 0;
4924  break;
4925  case DTK_MILLISEC:
4926  fsec = (fsec / 1000) * 1000;
4927  break;
4928  case DTK_MICROSEC:
4929  break;
4930 
4931  default:
4932  ereport(ERROR,
4933  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
4934  errmsg("unit \"%s\" not supported for type %s",
4935  lowunits, format_type_be(TIMESTAMPTZOID))));
4936  result = 0;
4937  }
4938 
4939  if (redotz)
4940  tz = DetermineTimeZoneOffset(tm, tzp);
4941 
4942  if (tm2timestamp(tm, fsec, &tz, &result) != 0)
4943  ereport(ERROR,
4944  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
4945  errmsg("timestamp out of range")));
4946  }
4947  else
4948  {
4949  ereport(ERROR,
4950  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
4951  errmsg("unit \"%s\" not recognized for type %s",
4952  lowunits, format_type_be(TIMESTAMPTZOID))));
4953  result = 0;
4954  }
4955 
4956  return result;
4957 }
4958 
4959 /* timestamptz_trunc()
4960  * Truncate timestamptz to specified units in session timezone.
4961  */
4962 Datum
4964 {
4965  text *units = PG_GETARG_TEXT_PP(0);
4967  TimestampTz result;
4968 
4971 
4973 
4974  PG_RETURN_TIMESTAMPTZ(result);
4975 }
4976 
4977 /* timestamptz_trunc_zone()
4978  * Truncate timestamptz to specified units in specified timezone.
4979  */
4980 Datum
4982 {
4983  text *units = PG_GETARG_TEXT_PP(0);
4985  text *zone = PG_GETARG_TEXT_PP(2);
4986  TimestampTz result;
4987  pg_tz *tzp;
4988 
4989  /*
4990  * timestamptz_zone() doesn't look up the zone for infinite inputs, so we
4991  * don't do so here either.
4992  */
4995 
4996  /*
4997  * Look up the requested timezone.
4998  */
4999  tzp = lookup_timezone(zone);
5000 
5001  result = timestamptz_trunc_internal(units, timestamp, tzp);
5002 
5003  PG_RETURN_TIMESTAMPTZ(result);
5004 }
5005 
5006 /* interval_trunc()
5007  * Extract specified field from interval.
5008  */
5009 Datum
5011 {
5012  text *units = PG_GETARG_TEXT_PP(0);
5014  Interval *result;
5015  int type,
5016  val;
5017  char *lowunits;
5018  struct pg_itm tt,
5019  *tm = &tt;
5020 
5021  result = (Interval *) palloc(sizeof(Interval));
5022 
5024  {
5025  memcpy(result, interval, sizeof(Interval));
5026  PG_RETURN_INTERVAL_P(result);
5027  }
5028 
5029  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5030  VARSIZE_ANY_EXHDR(units),
5031  false);
5032 
5033  type = DecodeUnits(0, lowunits, &val);
5034 
5035  if (type == UNITS)
5036  {
5038  switch (val)
5039  {
5040  case DTK_MILLENNIUM:
5041  /* caution: C division may have negative remainder */
5042  tm->tm_year = (tm->tm_year / 1000) * 1000;
5043  /* FALL THRU */
5044  case DTK_CENTURY:
5045  /* caution: C division may have negative remainder */
5046  tm->tm_year = (tm->tm_year / 100) * 100;
5047  /* FALL THRU */
5048  case DTK_DECADE:
5049  /* caution: C division may have negative remainder */
5050  tm->tm_year = (tm->tm_year / 10) * 10;
5051  /* FALL THRU */
5052  case DTK_YEAR:
5053  tm->tm_mon = 0;
5054  /* FALL THRU */
5055  case DTK_QUARTER:
5056  tm->tm_mon = 3 * (tm->tm_mon / 3);
5057  /* FALL THRU */
5058  case DTK_MONTH:
5059  tm->tm_mday = 0;
5060  /* FALL THRU */
5061  case DTK_DAY:
5062  tm->tm_hour = 0;
5063  /* FALL THRU */
5064  case DTK_HOUR:
5065  tm->tm_min = 0;
5066  /* FALL THRU */
5067  case DTK_MINUTE:
5068  tm->tm_sec = 0;
5069  /* FALL THRU */
5070  case DTK_SECOND:
5071  tm->tm_usec = 0;
5072  break;
5073  case DTK_MILLISEC:
5074  tm->tm_usec = (tm->tm_usec / 1000) * 1000;
5075  break;
5076  case DTK_MICROSEC:
5077  break;
5078 
5079  default:
5080  ereport(ERROR,
5081  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5082  errmsg("unit \"%s\" not supported for type %s",
5083  lowunits, format_type_be(INTERVALOID)),
5084  (val == DTK_WEEK) ? errdetail("Months usually have fractional weeks.") : 0));
5085  }
5086 
5087  if (itm2interval(tm, result) != 0)
5088  ereport(ERROR,
5089  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5090  errmsg("interval out of range")));
5091  }
5092  else
5093  {
5094  ereport(ERROR,
5095  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5096  errmsg("unit \"%s\" not recognized for type %s",
5097  lowunits, format_type_be(INTERVALOID))));
5098  }
5099 
5100  PG_RETURN_INTERVAL_P(result);
5101 }
5102 
5103 /* isoweek2j()
5104  *
5105  * Return the Julian day which corresponds to the first day (Monday) of the given ISO 8601 year and week.
5106  * Julian days are used to convert between ISO week dates and Gregorian dates.
5107  */
5108 int
5109 isoweek2j(int year, int week)
5110 {
5111  int day0,
5112  day4;
5113 
5114  /* fourth day of current year */
5115  day4 = date2j(year, 1, 4);
5116 
5117  /* day0 == offset to first day of week (Monday) */
5118  day0 = j2day(day4 - 1);
5119 
5120  return ((week - 1) * 7) + (day4 - day0);
5121 }
5122 
5123 /* isoweek2date()
5124  * Convert ISO week of year number to date.
5125  * The year field must be specified with the ISO year!
5126  * karel 2000/08/07
5127  */
5128 void
5129 isoweek2date(int woy, int *year, int *mon, int *mday)
5130 {
5131  j2date(isoweek2j(*year, woy), year, mon, mday);
5132 }
5133 
5134 /* isoweekdate2date()
5135  *
5136  * Convert an ISO 8601 week date (ISO year, ISO week) into a Gregorian date.
5137  * Gregorian day of week sent so weekday strings can be supplied.
5138  * Populates year, mon, and mday with the correct Gregorian values.
5139  * year must be passed in as the ISO year.
5140  */
5141 void
5142 isoweekdate2date(int isoweek, int wday, int *year, int *mon, int *mday)
5143 {
5144  int jday;
5145 
5146  jday = isoweek2j(*year, isoweek);
5147  /* convert Gregorian week start (Sunday=1) to ISO week start (Monday=1) */
5148  if (wday > 1)
5149  jday += wday - 2;
5150  else
5151  jday += 6;
5152  j2date(jday, year, mon, mday);
5153 }
5154 
5155 /* date2isoweek()
5156  *
5157  * Returns ISO week number of year.
5158  */
5159 int
5160 date2isoweek(int year, int mon, int mday)
5161 {
5162  float8 result;
5163  int day0,
5164  day4,
5165  dayn;
5166 
5167  /* current day */
5168  dayn = date2j(year, mon, mday);
5169 
5170  /* fourth day of current year */
5171  day4 = date2j(year, 1, 4);
5172 
5173  /* day0 == offset to first day of week (Monday) */
5174  day0 = j2day(day4 - 1);
5175 
5176  /*
5177  * We need the first week containing a Thursday, otherwise this day falls
5178  * into the previous year for purposes of counting weeks
5179  */
5180  if (dayn < day4 - day0)
5181  {
5182  day4 = date2j(year - 1, 1, 4);
5183 
5184  /* day0 == offset to first day of week (Monday) */
5185  day0 = j2day(day4 - 1);
5186  }
5187 
5188  result = (dayn - (day4 - day0)) / 7 + 1;
5189 
5190  /*
5191  * Sometimes the last few days in a year will fall into the first week of
5192  * the next year, so check for this.
5193  */
5194  if (result >= 52)
5195  {
5196  day4 = date2j(year + 1, 1, 4);
5197 
5198  /* day0 == offset to first day of week (Monday) */
5199  day0 = j2day(day4 - 1);
5200 
5201  if (dayn >= day4 - day0)
5202  result = (dayn - (day4 - day0)) / 7 + 1;
5203  }
5204 
5205  return (int) result;
5206 }
5207 
5208 
5209 /* date2isoyear()
5210  *
5211  * Returns ISO 8601 year number.
5212  * Note: zero or negative results follow the year-zero-exists convention.
5213  */
5214 int
5215 date2isoyear(int year, int mon, int mday)
5216 {
5217  float8 result;
5218  int day0,
5219  day4,
5220  dayn;
5221 
5222  /* current day */
5223  dayn = date2j(year, mon, mday);
5224 
5225  /* fourth day of current year */
5226  day4 = date2j(year, 1, 4);
5227 
5228  /* day0 == offset to first day of week (Monday) */
5229  day0 = j2day(day4 - 1);
5230 
5231  /*
5232  * We need the first week containing a Thursday, otherwise this day falls
5233  * into the previous year for purposes of counting weeks
5234  */
5235  if (dayn < day4 - day0)
5236  {
5237  day4 = date2j(year - 1, 1, 4);
5238 
5239  /* day0 == offset to first day of week (Monday) */
5240  day0 = j2day(day4 - 1);
5241 
5242  year--;
5243  }
5244 
5245  result = (dayn - (day4 - day0)) / 7 + 1;
5246 
5247  /*
5248  * Sometimes the last few days in a year will fall into the first week of
5249  * the next year, so check for this.
5250  */
5251  if (result >= 52)
5252  {
5253  day4 = date2j(year + 1, 1, 4);
5254 
5255  /* day0 == offset to first day of week (Monday) */
5256  day0 = j2day(day4 - 1);
5257 
5258  if (dayn >= day4 - day0)
5259  year++;
5260  }
5261 
5262  return year;
5263 }
5264 
5265 
5266 /* date2isoyearday()
5267  *
5268  * Returns the ISO 8601 day-of-year, given a Gregorian year, month and day.
5269  * Possible return values are 1 through 371 (364 in non-leap years).
5270  */
5271 int
5272 date2isoyearday(int year, int mon, int mday)
5273 {
5274  return date2j(year, mon, mday) - isoweek2j(date2isoyear(year, mon, mday), 1) + 1;
5275 }
5276 
5277 /*
5278  * NonFiniteTimestampTzPart
5279  *
5280  * Used by timestamp_part and timestamptz_part when extracting from infinite
5281  * timestamp[tz]. Returns +/-Infinity if that is the appropriate result,
5282  * otherwise returns zero (which should be taken as meaning to return NULL).
5283  *
5284  * Errors thrown here for invalid units should exactly match those that
5285  * would be thrown in the calling functions, else there will be unexpected
5286  * discrepancies between finite- and infinite-input cases.
5287  */
5288 static float8
5289 NonFiniteTimestampTzPart(int type, int unit, char *lowunits,
5290  bool isNegative, bool isTz)
5291 {
5292  if ((type != UNITS) && (type != RESERV))
5293  ereport(ERROR,
5294  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5295  errmsg("unit \"%s\" not recognized for type %s",
5296  lowunits,
5297  format_type_be(isTz ? TIMESTAMPTZOID : TIMESTAMPOID))));
5298 
5299  switch (unit)
5300  {
5301  /* Oscillating units */
5302  case DTK_MICROSEC:
5303  case DTK_MILLISEC:
5304  case DTK_SECOND:
5305  case DTK_MINUTE:
5306  case DTK_HOUR:
5307  case DTK_DAY:
5308  case DTK_MONTH:
5309  case DTK_QUARTER:
5310  case DTK_WEEK:
5311  case DTK_DOW:
5312  case DTK_ISODOW:
5313  case DTK_DOY:
5314  case DTK_TZ:
5315  case DTK_TZ_MINUTE:
5316  case DTK_TZ_HOUR:
5317  return 0.0;
5318 
5319  /* Monotonically-increasing units */
5320  case DTK_YEAR:
5321  case DTK_DECADE:
5322  case DTK_CENTURY:
5323  case DTK_MILLENNIUM:
5324  case DTK_JULIAN:
5325  case DTK_ISOYEAR:
5326  case DTK_EPOCH:
5327  if (isNegative)
5328  return -get_float8_infinity();
5329  else
5330  return get_float8_infinity();
5331 
5332  default:
5333  ereport(ERROR,
5334  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5335  errmsg("unit \"%s\" not supported for type %s",
5336  lowunits,
5337  format_type_be(isTz ? TIMESTAMPTZOID : TIMESTAMPOID))));
5338  return 0.0; /* keep compiler quiet */
5339  }
5340 }
5341 
5342 /* timestamp_part() and extract_timestamp()
5343  * Extract specified field from timestamp.
5344  */
5345 static Datum
5347 {
5348  text *units = PG_GETARG_TEXT_PP(0);
5350  int64 intresult;
5351  Timestamp epoch;
5352  int type,
5353  val;
5354  char *lowunits;
5355  fsec_t fsec;
5356  struct pg_tm tt,
5357  *tm = &tt;
5358 
5359  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5360  VARSIZE_ANY_EXHDR(units),
5361  false);
5362 
5363  type = DecodeUnits(0, lowunits, &val);
5364  if (type == UNKNOWN_FIELD)
5365  type = DecodeSpecial(0, lowunits, &val);
5366 
5368  {
5369  double r = NonFiniteTimestampTzPart(type, val, lowunits,
5371  false);
5372 
5373  if (r != 0.0)
5374  {
5375  if (retnumeric)
5376  {
5377  if (r < 0)
5379  CStringGetDatum("-Infinity"),
5381  Int32GetDatum(-1));
5382  else if (r > 0)
5384  CStringGetDatum("Infinity"),
5386  Int32GetDatum(-1));
5387  }
5388  else
5389  PG_RETURN_FLOAT8(r);
5390  }
5391  else
5392  PG_RETURN_NULL();
5393  }
5394 
5395  if (type == UNITS)
5396  {
5397  if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) != 0)
5398  ereport(ERROR,
5399  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5400  errmsg("timestamp out of range")));
5401 
5402  switch (val)
5403  {
5404  case DTK_MICROSEC:
5405  intresult = tm->tm_sec * INT64CONST(1000000) + fsec;
5406  break;
5407 
5408  case DTK_MILLISEC:
5409  if (retnumeric)
5410  /*---
5411  * tm->tm_sec * 1000 + fsec / 1000
5412  * = (tm->tm_sec * 1'000'000 + fsec) / 1000
5413  */
5414  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 3));
5415  else
5416  PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + fsec / 1000.0);
5417  break;
5418 
5419  case DTK_SECOND:
5420  if (retnumeric)
5421  /*---
5422  * tm->tm_sec + fsec / 1'000'000
5423  * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
5424  */
5425  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 6));
5426  else
5427  PG_RETURN_FLOAT8(tm->tm_sec + fsec / 1000000.0);
5428  break;
5429 
5430  case DTK_MINUTE:
5431  intresult = tm->tm_min;
5432  break;
5433 
5434  case DTK_HOUR:
5435  intresult = tm->tm_hour;
5436  break;
5437 
5438  case DTK_DAY:
5439  intresult = tm->tm_mday;
5440  break;
5441 
5442  case DTK_MONTH:
5443  intresult = tm->tm_mon;
5444  break;
5445 
5446  case DTK_QUARTER:
5447  intresult = (tm->tm_mon - 1) / 3 + 1;
5448  break;
5449 
5450  case DTK_WEEK:
5451  intresult = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
5452  break;
5453 
5454  case DTK_YEAR:
5455  if (tm->tm_year > 0)
5456  intresult = tm->tm_year;
5457  else
5458  /* there is no year 0, just 1 BC and 1 AD */
5459  intresult = tm->tm_year - 1;
5460  break;
5461 
5462  case DTK_DECADE:
5463 
5464  /*
5465  * what is a decade wrt dates? let us assume that decade 199
5466  * is 1990 thru 1999... decade 0 starts on year 1 BC, and -1
5467  * is 11 BC thru 2 BC...
5468  */
5469  if (tm->tm_year >= 0)
5470  intresult = tm->tm_year / 10;
5471  else
5472  intresult = -((8 - (tm->tm_year - 1)) / 10);
5473  break;
5474 
5475  case DTK_CENTURY:
5476 
5477  /* ----
5478  * centuries AD, c>0: year in [ (c-1)* 100 + 1 : c*100 ]
5479  * centuries BC, c<0: year in [ c*100 : (c+1) * 100 - 1]
5480  * there is no number 0 century.
5481  * ----
5482  */
5483  if (tm->tm_year > 0)
5484  intresult = (tm->tm_year + 99) / 100;
5485  else
5486  /* caution: C division may have negative remainder */
5487  intresult = -((99 - (tm->tm_year - 1)) / 100);
5488  break;
5489 
5490  case DTK_MILLENNIUM:
5491  /* see comments above. */
5492  if (tm->tm_year > 0)
5493  intresult = (tm->tm_year + 999) / 1000;
5494  else
5495  intresult = -((999 - (tm->tm_year - 1)) / 1000);
5496  break;
5497 
5498  case DTK_JULIAN:
5499  if (retnumeric)
5501  numeric_div_opt_error(int64_to_numeric(((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) + tm->tm_sec) * INT64CONST(1000000) + fsec),
5502  int64_to_numeric(SECS_PER_DAY * INT64CONST(1000000)),
5503  NULL),
5504  NULL));
5505  else
5507  ((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) +
5508  tm->tm_sec + (fsec / 1000000.0)) / (double) SECS_PER_DAY);
5509  break;
5510 
5511  case DTK_ISOYEAR:
5512  intresult = date2isoyear(tm->tm_year, tm->tm_mon, tm->tm_mday);
5513  /* Adjust BC years */
5514  if (intresult <= 0)
5515  intresult -= 1;
5516  break;
5517 
5518  case DTK_DOW:
5519  case DTK_ISODOW:
5520  intresult = j2day(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday));
5521  if (val == DTK_ISODOW && intresult == 0)
5522  intresult = 7;
5523  break;
5524 
5525  case DTK_DOY:
5526  intresult = (date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)
5527  - date2j(tm->tm_year, 1, 1) + 1);
5528  break;
5529 
5530  case DTK_TZ:
5531  case DTK_TZ_MINUTE:
5532  case DTK_TZ_HOUR:
5533  default:
5534  ereport(ERROR,
5535  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5536  errmsg("unit \"%s\" not supported for type %s",
5537  lowunits, format_type_be(TIMESTAMPOID))));
5538  intresult = 0;
5539  }
5540  }
5541  else if (type == RESERV)
5542  {
5543  switch (val)
5544  {
5545  case DTK_EPOCH:
5547  /* (timestamp - epoch) / 1000000 */
5548  if (retnumeric)
5549  {
5550  Numeric result;
5551 
5552  if (timestamp < (PG_INT64_MAX + epoch))
5553  result = int64_div_fast_to_numeric(timestamp - epoch, 6);
5554  else
5555  {
5558  NULL),
5559  int64_to_numeric(1000000),
5560  NULL);
5562  NumericGetDatum(result),
5563  Int32GetDatum(6)));
5564  }
5565  PG_RETURN_NUMERIC(result);
5566  }
5567  else
5568  {
5569  float8 result;
5570 
5571  /* try to avoid precision loss in subtraction */
5572  if (timestamp < (PG_INT64_MAX + epoch))
5573  result = (timestamp - epoch) / 1000000.0;
5574  else
5575  result = ((float8) timestamp - epoch) / 1000000.0;
5576  PG_RETURN_FLOAT8(result);
5577  }
5578  break;
5579 
5580  default:
5581  ereport(ERROR,
5582  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5583  errmsg("unit \"%s\" not supported for type %s",
5584  lowunits, format_type_be(TIMESTAMPOID))));
5585  intresult = 0;
5586  }
5587  }
5588  else
5589  {
5590  ereport(ERROR,
5591  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5592  errmsg("unit \"%s\" not recognized for type %s",
5593  lowunits, format_type_be(TIMESTAMPOID))));
5594  intresult = 0;
5595  }
5596 
5597  if (retnumeric)
5598  PG_RETURN_NUMERIC(int64_to_numeric(intresult));
5599  else
5600  PG_RETURN_FLOAT8(intresult);
5601 }
5602 
5603 Datum
5605 {
5606  return timestamp_part_common(fcinfo, false);
5607 }
5608 
5609 Datum
5611 {
5612  return timestamp_part_common(fcinfo, true);
5613 }
5614 
5615 /* timestamptz_part() and extract_timestamptz()
5616  * Extract specified field from timestamp with time zone.
5617  */
5618 static Datum
5620 {
5621  text *units = PG_GETARG_TEXT_PP(0);
5623  int64 intresult;
5624  Timestamp epoch;
5625  int tz;
5626  int type,
5627  val;
5628  char *lowunits;
5629  fsec_t fsec;
5630  struct pg_tm tt,
5631  *tm = &tt;
5632 
5633  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5634  VARSIZE_ANY_EXHDR(units),
5635  false);
5636 
5637  type = DecodeUnits(0, lowunits, &val);
5638  if (type == UNKNOWN_FIELD)
5639  type = DecodeSpecial(0, lowunits, &val);
5640 
5642  {
5643  double r = NonFiniteTimestampTzPart(type, val, lowunits,
5645  true);
5646 
5647  if (r != 0.0)
5648  {
5649  if (retnumeric)
5650  {
5651  if (r < 0)
5653  CStringGetDatum("-Infinity"),
5655  Int32GetDatum(-1));
5656  else if (r > 0)
5658  CStringGetDatum("Infinity"),
5660  Int32GetDatum(-1));
5661  }
5662  else
5663  PG_RETURN_FLOAT8(r);
5664  }
5665  else
5666  PG_RETURN_NULL();
5667  }
5668 
5669  if (type == UNITS)
5670  {
5671  if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0)
5672  ereport(ERROR,
5673  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
5674  errmsg("timestamp out of range")));
5675 
5676  switch (val)
5677  {
5678  case DTK_TZ:
5679  intresult = -tz;
5680  break;
5681 
5682  case DTK_TZ_MINUTE:
5683  intresult = (-tz / SECS_PER_MINUTE) % MINS_PER_HOUR;
5684  break;
5685 
5686  case DTK_TZ_HOUR:
5687  intresult = -tz / SECS_PER_HOUR;
5688  break;
5689 
5690  case DTK_MICROSEC:
5691  intresult = tm->tm_sec * INT64CONST(1000000) + fsec;
5692  break;
5693 
5694  case DTK_MILLISEC:
5695  if (retnumeric)
5696  /*---
5697  * tm->tm_sec * 1000 + fsec / 1000
5698  * = (tm->tm_sec * 1'000'000 + fsec) / 1000
5699  */
5700  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 3));
5701  else
5702  PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + fsec / 1000.0);
5703  break;
5704 
5705  case DTK_SECOND:
5706  if (retnumeric)
5707  /*---
5708  * tm->tm_sec + fsec / 1'000'000
5709  * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
5710  */
5711  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + fsec, 6));
5712  else
5713  PG_RETURN_FLOAT8(tm->tm_sec + fsec / 1000000.0);
5714  break;
5715 
5716  case DTK_MINUTE:
5717  intresult = tm->tm_min;
5718  break;
5719 
5720  case DTK_HOUR:
5721  intresult = tm->tm_hour;
5722  break;
5723 
5724  case DTK_DAY:
5725  intresult = tm->tm_mday;
5726  break;
5727 
5728  case DTK_MONTH:
5729  intresult = tm->tm_mon;
5730  break;
5731 
5732  case DTK_QUARTER:
5733  intresult = (tm->tm_mon - 1) / 3 + 1;
5734  break;
5735 
5736  case DTK_WEEK:
5737  intresult = date2isoweek(tm->tm_year, tm->tm_mon, tm->tm_mday);
5738  break;
5739 
5740  case DTK_YEAR:
5741  if (tm->tm_year > 0)
5742  intresult = tm->tm_year;
5743  else
5744  /* there is no year 0, just 1 BC and 1 AD */
5745  intresult = tm->tm_year - 1;
5746  break;
5747 
5748  case DTK_DECADE:
5749  /* see comments in timestamp_part */
5750  if (tm->tm_year > 0)
5751  intresult = tm->tm_year / 10;
5752  else
5753  intresult = -((8 - (tm->tm_year - 1)) / 10);
5754  break;
5755 
5756  case DTK_CENTURY:
5757  /* see comments in timestamp_part */
5758  if (tm->tm_year > 0)
5759  intresult = (tm->tm_year + 99) / 100;
5760  else
5761  intresult = -((99 - (tm->tm_year - 1)) / 100);
5762  break;
5763 
5764  case DTK_MILLENNIUM:
5765  /* see comments in timestamp_part */
5766  if (tm->tm_year > 0)
5767  intresult = (tm->tm_year + 999) / 1000;
5768  else
5769  intresult = -((999 - (tm->tm_year - 1)) / 1000);
5770  break;
5771 
5772  case DTK_JULIAN:
5773  if (retnumeric)
5775  numeric_div_opt_error(int64_to_numeric(((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) + tm->tm_sec) * INT64CONST(1000000) + fsec),
5776  int64_to_numeric(SECS_PER_DAY * INT64CONST(1000000)),
5777  NULL),
5778  NULL));
5779  else
5781  ((((tm->tm_hour * MINS_PER_HOUR) + tm->tm_min) * SECS_PER_MINUTE) +
5782  tm->tm_sec + (fsec / 1000000.0)) / (double) SECS_PER_DAY);
5783  break;
5784 
5785  case DTK_ISOYEAR:
5786  intresult = date2isoyear(tm->tm_year, tm->tm_mon, tm->tm_mday);
5787  /* Adjust BC years */
5788  if (intresult <= 0)
5789  intresult -= 1;
5790  break;
5791 
5792  case DTK_DOW:
5793  case DTK_ISODOW:
5794  intresult = j2day(date2j(tm->tm_year, tm->tm_mon, tm->tm_mday));
5795  if (val == DTK_ISODOW && intresult == 0)
5796  intresult = 7;
5797  break;
5798 
5799  case DTK_DOY:
5800  intresult = (date2j(tm->tm_year, tm->tm_mon, tm->tm_mday)
5801  - date2j(tm->tm_year, 1, 1) + 1);
5802  break;
5803 
5804  default:
5805  ereport(ERROR,
5806  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5807  errmsg("unit \"%s\" not supported for type %s",
5808  lowunits, format_type_be(TIMESTAMPTZOID))));
5809  intresult = 0;
5810  }
5811  }
5812  else if (type == RESERV)
5813  {
5814  switch (val)
5815  {
5816  case DTK_EPOCH:
5818  /* (timestamp - epoch) / 1000000 */
5819  if (retnumeric)
5820  {
5821  Numeric result;
5822 
5823  if (timestamp < (PG_INT64_MAX + epoch))
5824  result = int64_div_fast_to_numeric(timestamp - epoch, 6);
5825  else
5826  {
5829  NULL),
5830  int64_to_numeric(1000000),
5831  NULL);
5833  NumericGetDatum(result),
5834  Int32GetDatum(6)));
5835  }
5836  PG_RETURN_NUMERIC(result);
5837  }
5838  else
5839  {
5840  float8 result;
5841 
5842  /* try to avoid precision loss in subtraction */
5843  if (timestamp < (PG_INT64_MAX + epoch))
5844  result = (timestamp - epoch) / 1000000.0;
5845  else
5846  result = ((float8) timestamp - epoch) / 1000000.0;
5847  PG_RETURN_FLOAT8(result);
5848  }
5849  break;
5850 
5851  default:
5852  ereport(ERROR,
5853  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5854  errmsg("unit \"%s\" not supported for type %s",
5855  lowunits, format_type_be(TIMESTAMPTZOID))));
5856  intresult = 0;
5857  }
5858  }
5859  else
5860  {
5861  ereport(ERROR,
5862  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5863  errmsg("unit \"%s\" not recognized for type %s",
5864  lowunits, format_type_be(TIMESTAMPTZOID))));
5865 
5866  intresult = 0;
5867  }
5868 
5869  if (retnumeric)
5870  PG_RETURN_NUMERIC(int64_to_numeric(intresult));
5871  else
5872  PG_RETURN_FLOAT8(intresult);
5873 }
5874 
5875 Datum
5877 {
5878  return timestamptz_part_common(fcinfo, false);
5879 }
5880 
5881 Datum
5883 {
5884  return timestamptz_part_common(fcinfo, true);
5885 }
5886 
5887 /*
5888  * NonFiniteIntervalPart
5889  *
5890  * Used by interval_part when extracting from infinite interval. Returns
5891  * +/-Infinity if that is the appropriate result, otherwise returns zero
5892  * (which should be taken as meaning to return NULL).
5893  *
5894  * Errors thrown here for invalid units should exactly match those that
5895  * would be thrown in the calling functions, else there will be unexpected
5896  * discrepancies between finite- and infinite-input cases.
5897  */
5898 static float8
5899 NonFiniteIntervalPart(int type, int unit, char *lowunits, bool isNegative)
5900 {
5901  if ((type != UNITS) && (type != RESERV))
5902  ereport(ERROR,
5903  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
5904  errmsg("unit \"%s\" not recognized for type %s",
5905  lowunits, format_type_be(INTERVALOID))));
5906 
5907  switch (unit)
5908  {
5909  /* Oscillating units */
5910  case DTK_MICROSEC:
5911  case DTK_MILLISEC:
5912  case DTK_SECOND:
5913  case DTK_MINUTE:
5914  case DTK_WEEK:
5915  case DTK_MONTH:
5916  case DTK_QUARTER:
5917  return 0.0;
5918 
5919  /* Monotonically-increasing units */
5920  case DTK_HOUR:
5921  case DTK_DAY:
5922  case DTK_YEAR:
5923  case DTK_DECADE:
5924  case DTK_CENTURY:
5925  case DTK_MILLENNIUM:
5926  case DTK_EPOCH:
5927  if (isNegative)
5928  return -get_float8_infinity();
5929  else
5930  return get_float8_infinity();
5931 
5932  default:
5933  ereport(ERROR,
5934  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
5935  errmsg("unit \"%s\" not supported for type %s",
5936  lowunits, format_type_be(INTERVALOID))));
5937  return 0.0; /* keep compiler quiet */
5938  }
5939 }
5940 
5941 /* interval_part() and extract_interval()
5942  * Extract specified field from interval.
5943  */
5944 static Datum
5946 {
5947  text *units = PG_GETARG_TEXT_PP(0);
5949  int64 intresult;
5950  int type,
5951  val;
5952  char *lowunits;
5953  struct pg_itm tt,
5954  *tm = &tt;
5955 
5956  lowunits = downcase_truncate_identifier(VARDATA_ANY(units),
5957  VARSIZE_ANY_EXHDR(units),
5958  false);
5959 
5960  type = DecodeUnits(0, lowunits, &val);
5961  if (type == UNKNOWN_FIELD)
5962  type = DecodeSpecial(0, lowunits, &val);
5963 
5965  {
5966  double r = NonFiniteIntervalPart(type, val, lowunits,
5968 
5969  if (r != 0.0)
5970  {
5971  if (retnumeric)
5972  {
5973  if (r < 0)
5975  CStringGetDatum("-Infinity"),
5977  Int32GetDatum(-1));
5978  else if (r > 0)
5980  CStringGetDatum("Infinity"),
5982  Int32GetDatum(-1));
5983  }
5984  else
5985  PG_RETURN_FLOAT8(r);
5986  }
5987  else
5988  PG_RETURN_NULL();
5989  }
5990 
5991  if (type == UNITS)
5992  {
5994  switch (val)
5995  {
5996  case DTK_MICROSEC:
5997  intresult = tm->tm_sec * INT64CONST(1000000) + tm->tm_usec;
5998  break;
5999 
6000  case DTK_MILLISEC:
6001  if (retnumeric)
6002  /*---
6003  * tm->tm_sec * 1000 + fsec / 1000
6004  * = (tm->tm_sec * 1'000'000 + fsec) / 1000
6005  */
6006  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + tm->tm_usec, 3));
6007  else
6008  PG_RETURN_FLOAT8(tm->tm_sec * 1000.0 + tm->tm_usec / 1000.0);
6009  break;
6010 
6011  case DTK_SECOND:
6012  if (retnumeric)
6013  /*---
6014  * tm->tm_sec + fsec / 1'000'000
6015  * = (tm->tm_sec * 1'000'000 + fsec) / 1'000'000
6016  */
6017  PG_RETURN_NUMERIC(int64_div_fast_to_numeric(tm->tm_sec * INT64CONST(1000000) + tm->tm_usec, 6));
6018  else
6019  PG_RETURN_FLOAT8(tm->tm_sec + tm->tm_usec / 1000000.0);
6020  break;
6021 
6022  case DTK_MINUTE:
6023  intresult = tm->tm_min;
6024  break;
6025 
6026  case DTK_HOUR:
6027  intresult = tm->tm_hour;
6028  break;
6029 
6030  case DTK_DAY:
6031  intresult = tm->tm_mday;
6032  break;
6033 
6034  case DTK_WEEK:
6035  intresult = tm->tm_mday / 7;
6036  break;
6037 
6038  case DTK_MONTH:
6039  intresult = tm->tm_mon;
6040  break;
6041 
6042  case DTK_QUARTER:
6043 
6044  /*
6045  * We want to maintain the rule that a field extracted from a
6046  * negative interval is the negative of the field's value for
6047  * the sign-reversed interval. The broken-down tm_year and
6048  * tm_mon aren't very helpful for that, so work from
6049  * interval->month.
6050  */
6051  if (interval->month >= 0)
6052  intresult = (tm->tm_mon / 3) + 1;
6053  else
6054  intresult = -(((-interval->month % MONTHS_PER_YEAR) / 3) + 1);
6055  break;
6056 
6057  case DTK_YEAR:
6058  intresult = tm->tm_year;
6059  break;
6060 
6061  case DTK_DECADE:
6062  /* caution: C division may have negative remainder */
6063  intresult = tm->tm_year / 10;
6064  break;
6065 
6066  case DTK_CENTURY:
6067  /* caution: C division may have negative remainder */
6068  intresult = tm->tm_year / 100;
6069  break;
6070 
6071  case DTK_MILLENNIUM:
6072  /* caution: C division may have negative remainder */
6073  intresult = tm->tm_year / 1000;
6074  break;
6075 
6076  default:
6077  ereport(ERROR,
6078  (errcode(ERRCODE_FEATURE_NOT_SUPPORTED),
6079  errmsg("unit \"%s\" not supported for type %s",
6080  lowunits, format_type_be(INTERVALOID))));
6081  intresult = 0;
6082  }
6083  }
6084  else if (type == RESERV && val == DTK_EPOCH)
6085  {
6086  if (retnumeric)
6087  {
6088  Numeric result;
6089  int64 secs_from_day_month;
6090  int64 val;
6091 
6092  /*
6093  * To do this calculation in integer arithmetic even though
6094  * DAYS_PER_YEAR is fractional, multiply everything by 4 and then
6095  * divide by 4 again at the end. This relies on DAYS_PER_YEAR
6096  * being a multiple of 0.25 and on SECS_PER_DAY being a multiple
6097  * of 4.
6098  */
6099  secs_from_day_month = ((int64) (4 * DAYS_PER_YEAR) * (interval->month / MONTHS_PER_YEAR) +
6100  (int64) (4 * DAYS_PER_MONTH) * (interval->month % MONTHS_PER_YEAR) +
6101  (int64) 4 * interval->day) * (SECS_PER_DAY / 4);
6102 
6103  /*---
6104  * result = secs_from_day_month + interval->time / 1'000'000
6105  * = (secs_from_day_month * 1'000'000 + interval->time) / 1'000'000
6106  */
6107 
6108  /*
6109  * Try the computation inside int64; if it overflows, do it in
6110  * numeric (slower). This overflow happens around 10^9 days, so
6111  * not common in practice.
6112  */
6113  if (!pg_mul_s64_overflow(secs_from_day_month, 1000000, &val) &&
6115  result = int64_div_fast_to_numeric(val, 6);
6116  else
6117  result =
6119  int64_to_numeric(secs_from_day_month),
6120  NULL);
6121 
6122  PG_RETURN_NUMERIC(result);
6123  }
6124  else
6125  {
6126  float8 result;
6127 
6128  result = interval->time / 1000000.0;
6129  result += ((double) DAYS_PER_YEAR * SECS_PER_DAY) * (interval->month / MONTHS_PER_YEAR);
6130  result += ((double) DAYS_PER_MONTH * SECS_PER_DAY) * (interval->month % MONTHS_PER_YEAR);
6131  result += ((double) SECS_PER_DAY) * interval->day;
6132 
6133  PG_RETURN_FLOAT8(result);
6134  }
6135  }
6136  else
6137  {
6138  ereport(ERROR,
6139  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6140  errmsg("unit \"%s\" not recognized for type %s",
6141  lowunits, format_type_be(INTERVALOID))));
6142  intresult = 0;
6143  }
6144 
6145  if (retnumeric)
6146  PG_RETURN_NUMERIC(int64_to_numeric(intresult));
6147  else
6148  PG_RETURN_FLOAT8(intresult);
6149 }
6150 
6151 Datum
6153 {
6154  return interval_part_common(fcinfo, false);
6155 }
6156 
6157 Datum
6159 {
6160  return interval_part_common(fcinfo, true);
6161 }
6162 
6163 
6164 /* timestamp_zone()
6165  * Encode timestamp type with specified time zone.
6166  * This function is just timestamp2timestamptz() except instead of
6167  * shifting to the global timezone, we shift to the specified timezone.
6168  * This is different from the other AT TIME ZONE cases because instead
6169  * of shifting _to_ a new time zone, it sets the time to _be_ the
6170  * specified timezone.
6171  */
6172 Datum
6174 {
6175  text *zone = PG_GETARG_TEXT_PP(0);
6177  TimestampTz result;
6178  int tz;
6179  char tzname[TZ_STRLEN_MAX + 1];
6180  int type,
6181  val;
6182  pg_tz *tzp;
6183  struct pg_tm tm;
6184  fsec_t fsec;
6185 
6188 
6189  /*
6190  * Look up the requested timezone.
6191  */
6192  text_to_cstring_buffer(zone, tzname, sizeof(tzname));
6193 
6194  type = DecodeTimezoneName(tzname, &val, &tzp);
6195 
6196  if (type == TZNAME_FIXED_OFFSET)
6197  {
6198  /* fixed-offset abbreviation */
6199  tz = val;
6200  result = dt2local(timestamp, tz);
6201  }
6202  else if (type == TZNAME_DYNTZ)
6203  {
6204  /* dynamic-offset abbreviation, resolve using specified time */
6205  if (timestamp2tm(timestamp, NULL, &tm, &fsec, NULL, tzp) != 0)
6206  ereport(ERROR,
6207  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6208  errmsg("timestamp out of range")));
6209  tz = -DetermineTimeZoneAbbrevOffset(&tm, tzname, tzp);
6210  result = dt2local(timestamp, tz);
6211  }
6212  else
6213  {
6214  /* full zone name, rotate to that zone */
6215  if (timestamp2tm(timestamp, NULL, &tm, &fsec, NULL, tzp) != 0)
6216  ereport(ERROR,
6217  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6218  errmsg("timestamp out of range")));
6219  tz = DetermineTimeZoneOffset(&tm, tzp);
6220  if (tm2timestamp(&tm, fsec, &tz, &result) != 0)
6221  ereport(ERROR,
6222  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6223  errmsg("timestamp out of range")));
6224  }
6225 
6226  if (!IS_VALID_TIMESTAMP(result))
6227  ereport(ERROR,
6228  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6229  errmsg("timestamp out of range")));
6230 
6231  PG_RETURN_TIMESTAMPTZ(result);
6232 }
6233 
6234 /* timestamp_izone()
6235  * Encode timestamp type with specified time interval as time zone.
6236  */
6237 Datum
6239 {
6242  TimestampTz result;
6243  int tz;
6244 
6247 
6249  ereport(ERROR,
6250  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6251  errmsg("interval time zone \"%s\" must be finite",
6253  PointerGetDatum(zone))))));
6254 
6255  if (zone->month != 0 || zone->day != 0)
6256  ereport(ERROR,
6257  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6258  errmsg("interval time zone \"%s\" must not include months or days",
6260  PointerGetDatum(zone))))));
6261 
6262  tz = zone->time / USECS_PER_SEC;
6263 
6264  result = dt2local(timestamp, tz);
6265 
6266  if (!IS_VALID_TIMESTAMP(result))
6267  ereport(ERROR,
6268  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6269  errmsg("timestamp out of range")));
6270 
6271  PG_RETURN_TIMESTAMPTZ(result);
6272 } /* timestamp_izone() */
6273 
6274 /* TimestampTimestampTzRequiresRewrite()
6275  *
6276  * Returns false if the TimeZone GUC setting causes timestamp_timestamptz and
6277  * timestamptz_timestamp to be no-ops, where the return value has the same
6278  * bits as the argument. Since project convention is to assume a GUC changes
6279  * no more often than STABLE functions change, the answer is valid that long.
6280  */
6281 bool
6283 {
6284  long offset;
6285 
6286  if (pg_get_timezone_offset(session_timezone, &offset) && offset == 0)
6287  return false;
6288  return true;
6289 }
6290 
6291 /* timestamp_timestamptz()
6292  * Convert local timestamp to timestamp at GMT
6293  */
6294 Datum
6296 {
6298 
6300 }
6301 
6302 /*
6303  * Convert timestamp to timestamp with time zone.
6304  *
6305  * On successful conversion, *overflow is set to zero if it's not NULL.
6306  *
6307  * If the timestamp is finite but out of the valid range for timestamptz, then:
6308  * if overflow is NULL, we throw an out-of-range error.
6309  * if overflow is not NULL, we store +1 or -1 there to indicate the sign
6310  * of the overflow, and return the appropriate timestamptz infinity.
6311  */
6314 {
6315  TimestampTz result;
6316  struct pg_tm tt,
6317  *tm = &tt;
6318  fsec_t fsec;
6319  int tz;
6320 
6321  if (overflow)
6322  *overflow = 0;
6323 
6325  return timestamp;
6326 
6327  /* We don't expect this to fail, but check it pro forma */
6328  if (timestamp2tm(timestamp, NULL, tm, &fsec, NULL, NULL) == 0)
6329  {
6331 
6332  result = dt2local(timestamp, -tz);
6333 
6334  if (IS_VALID_TIMESTAMP(result))
6335  {
6336  return result;
6337  }
6338  else if (overflow)
6339  {
6340  if (result < MIN_TIMESTAMP)
6341  {
6342  *overflow = -1;
6343  TIMESTAMP_NOBEGIN(result);
6344  }
6345  else
6346  {
6347  *overflow = 1;
6348  TIMESTAMP_NOEND(result);
6349  }
6350  return result;
6351  }
6352  }
6353 
6354  ereport(ERROR,
6355  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6356  errmsg("timestamp out of range")));
6357 
6358  return 0;
6359 }
6360 
6361 /*
6362  * Promote timestamp to timestamptz, throwing error for overflow.
6363  */
6364 static TimestampTz
6366 {
6368 }
6369 
6370 /* timestamptz_timestamp()
6371  * Convert timestamp at GMT to local timestamp
6372  */
6373 Datum
6375 {
6377 
6379 }
6380 
6381 static Timestamp
6383 {
6384  Timestamp result;
6385  struct pg_tm tt,
6386  *tm = &tt;
6387  fsec_t fsec;
6388  int tz;
6389 
6391  result = timestamp;
6392  else
6393  {
6394  if (timestamp2tm(timestamp, &tz, tm, &fsec, NULL, NULL) != 0)
6395  ereport(ERROR,
6396  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6397  errmsg("timestamp out of range")));
6398  if (tm2timestamp(tm, fsec, NULL, &result) != 0)
6399  ereport(ERROR,
6400  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6401  errmsg("timestamp out of range")));
6402  }
6403  return result;
6404 }
6405 
6406 /* timestamptz_zone()
6407  * Evaluate timestamp with time zone type at the specified time zone.
6408  * Returns a timestamp without time zone.
6409  */
6410 Datum
6412 {
6413  text *zone = PG_GETARG_TEXT_PP(0);
6415  Timestamp result;
6416  int tz;
6417  char tzname[TZ_STRLEN_MAX + 1];
6418  int type,
6419  val;
6420  pg_tz *tzp;
6421 
6424 
6425  /*
6426  * Look up the requested timezone.
6427  */
6428  text_to_cstring_buffer(zone, tzname, sizeof(tzname));
6429 
6430  type = DecodeTimezoneName(tzname, &val, &tzp);
6431 
6432  if (type == TZNAME_FIXED_OFFSET)
6433  {
6434  /* fixed-offset abbreviation */
6435  tz = -val;
6436  result = dt2local(timestamp, tz);
6437  }
6438  else if (type == TZNAME_DYNTZ)
6439  {
6440  /* dynamic-offset abbreviation, resolve using specified time */
6441  int isdst;
6442 
6443  tz = DetermineTimeZoneAbbrevOffsetTS(timestamp, tzname, tzp, &isdst);
6444  result = dt2local(timestamp, tz);
6445  }
6446  else
6447  {
6448  /* full zone name, rotate from that zone */
6449  struct pg_tm tm;
6450  fsec_t fsec;
6451 
6452  if (timestamp2tm(timestamp, &tz, &tm, &fsec, NULL, tzp) != 0)
6453  ereport(ERROR,
6454  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6455  errmsg("timestamp out of range")));
6456  if (tm2timestamp(&tm, fsec, NULL, &result) != 0)
6457  ereport(ERROR,
6458  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6459  errmsg("timestamp out of range")));
6460  }
6461 
6462  if (!IS_VALID_TIMESTAMP(result))
6463  ereport(ERROR,
6464  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6465  errmsg("timestamp out of range")));
6466 
6467  PG_RETURN_TIMESTAMP(result);
6468 }
6469 
6470 /* timestamptz_izone()
6471  * Encode timestamp with time zone type with specified time interval as time zone.
6472  * Returns a timestamp without time zone.
6473  */
6474 Datum
6476 {
6479  Timestamp result;
6480  int tz;
6481 
6484 
6486  ereport(ERROR,
6487  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6488  errmsg("interval time zone \"%s\" must be finite",
6490  PointerGetDatum(zone))))));
6491 
6492  if (zone->month != 0 || zone->day != 0)
6493  ereport(ERROR,
6494  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6495  errmsg("interval time zone \"%s\" must not include months or days",
6497  PointerGetDatum(zone))))));
6498 
6499  tz = -(zone->time / USECS_PER_SEC);
6500 
6501  result = dt2local(timestamp, tz);
6502 
6503  if (!IS_VALID_TIMESTAMP(result))
6504  ereport(ERROR,
6505  (errcode(ERRCODE_DATETIME_VALUE_OUT_OF_RANGE),
6506  errmsg("timestamp out of range")));
6507 
6508  PG_RETURN_TIMESTAMP(result);
6509 }
6510 
6511 /* generate_series_timestamp()
6512  * Generate the set of timestamps from start to finish by step
6513  */
6514 Datum
6516 {
6517  FuncCallContext *funcctx;
6519  Timestamp result;
6520 
6521  /* stuff done only on the first call of the function */
6522  if (SRF_IS_FIRSTCALL())
6523  {
6525  Timestamp finish = PG_GETARG_TIMESTAMP(1);
6526  Interval *step = PG_GETARG_INTERVAL_P(2);
6527  MemoryContext oldcontext;
6528 
6529  /* create a function context for cross-call persistence */
6530  funcctx = SRF_FIRSTCALL_INIT();
6531 
6532  /*
6533  * switch to memory context appropriate for multiple function calls
6534  */
6535  oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
6536 
6537  /* allocate memory for user context */
6540 
6541  /*
6542  * Use fctx to keep state from call to call. Seed current with the
6543  * original start value
6544  */
6545  fctx->current = start;
6546  fctx->finish = finish;
6547  fctx->step = *step;
6548 
6549  /* Determine sign of the interval */
6550  fctx->step_sign = interval_sign(&fctx->step);
6551 
6552  if (fctx->step_sign == 0)
6553  ereport(ERROR,
6554  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6555  errmsg("step size cannot equal zero")));
6556 
6557  if (INTERVAL_NOT_FINITE((&fctx->step)))
6558  ereport(ERROR,
6559  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6560  errmsg("step size cannot be infinite")));
6561 
6562  funcctx->user_fctx = fctx;
6563  MemoryContextSwitchTo(oldcontext);
6564  }
6565 
6566  /* stuff done on every call of the function */
6567  funcctx = SRF_PERCALL_SETUP();
6568 
6569  /*
6570  * get the saved state and use current as the result for this iteration
6571  */
6572  fctx = funcctx->user_fctx;
6573  result = fctx->current;
6574 
6575  if (fctx->step_sign > 0 ?
6576  timestamp_cmp_internal(result, fctx->finish) <= 0 :
6577  timestamp_cmp_internal(result, fctx->finish) >= 0)
6578  {
6579  /* increment current in preparation for next iteration */
6581  TimestampGetDatum(fctx->current),
6582  PointerGetDatum(&fctx->step)));
6583 
6584  /* do when there is more left to send */
6585  SRF_RETURN_NEXT(funcctx, TimestampGetDatum(result));
6586  }
6587  else
6588  {
6589  /* do when there is no more left */
6590  SRF_RETURN_DONE(funcctx);
6591  }
6592 }
6593 
6594 /* generate_series_timestamptz()
6595  * Generate the set of timestamps from start to finish by step,
6596  * doing arithmetic in the specified or session timezone.
6597  */
6598 static Datum
6600 {
6601  FuncCallContext *funcctx;
6603  TimestampTz result;
6604 
6605  /* stuff done only on the first call of the function */
6606  if (SRF_IS_FIRSTCALL())
6607  {
6609  TimestampTz finish = PG_GETARG_TIMESTAMPTZ(1);
6610  Interval *step = PG_GETARG_INTERVAL_P(2);
6611  text *zone = (PG_NARGS() == 4) ? PG_GETARG_TEXT_PP(3) : NULL;
6612  MemoryContext oldcontext;
6613 
6614  /* create a function context for cross-call persistence */
6615  funcctx = SRF_FIRSTCALL_INIT();
6616 
6617  /*
6618  * switch to memory context appropriate for multiple function calls
6619  */
6620  oldcontext = MemoryContextSwitchTo(funcctx->multi_call_memory_ctx);
6621 
6622  /* allocate memory for user context */
6625 
6626  /*
6627  * Use fctx to keep state from call to call. Seed current with the
6628  * original start value
6629  */
6630  fctx->current = start;
6631  fctx->finish = finish;
6632  fctx->step = *step;
6634 
6635  /* Determine sign of the interval */
6636  fctx->step_sign = interval_sign(&fctx->step);
6637 
6638  if (fctx->step_sign == 0)
6639  ereport(ERROR,
6640  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6641  errmsg("step size cannot equal zero")));
6642 
6643  if (INTERVAL_NOT_FINITE((&fctx->step)))
6644  ereport(ERROR,
6645  (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
6646  errmsg("step size cannot be infinite")));
6647 
6648  funcctx->user_fctx = fctx;
6649  MemoryContextSwitchTo(oldcontext);
6650  }
6651 
6652  /* stuff done on every call of the function */
6653  funcctx = SRF_PERCALL_SETUP();
6654 
6655  /*
6656  * get the saved state and use current as the result for this iteration
6657  */
6658  fctx = funcctx->user_fctx;
6659  result = fctx->current;
6660 
6661  if (fctx->step_sign > 0 ?
6662  timestamp_cmp_internal(result, fctx->finish) <= 0 :
6663  timestamp_cmp_internal(result, fctx->finish) >= 0)
6664  {
6665  /* increment current in preparation for next iteration */
6667  &fctx->step,
6668  fctx->attimezone);
6669 
6670  /* do when there is more left to send */
6671  SRF_RETURN_NEXT(funcctx, TimestampTzGetDatum(result));
6672  }
6673  else
6674  {
6675  /* do when there is no more left */
6676  SRF_RETURN_DONE(funcctx);
6677  }
6678 }
6679 
6680 Datum
6682 {
6683  return generate_series_timestamptz_internal(fcinfo);
6684 }
6685 
6686 Datum
6688 {
6689  return generate_series_timestamptz_internal(fcinfo);
6690 }
6691 
6692 /*
6693  * Planner support function for generate_series(timestamp, timestamp, interval)
6694  */
6695 Datum
6697 {
6698  Node *rawreq = (Node *) PG_GETARG_POINTER(0);
6699  Node *ret = NULL;
6700 
6701  if (IsA(rawreq, SupportRequestRows))
6702  {
6703  /* Try to estimate the number of rows returned */
6704  SupportRequestRows *req = (SupportRequestRows *) rawreq;
6705 
6706  if (is_funcclause(req->node)) /* be paranoid */
6707  {
6708  List *args = ((FuncExpr *) req->node)->args;
6709  Node *arg1,
6710  *arg2,
6711  *arg3;
6712 
6713  /* We can use estimated argument values here */
6715  arg2 = estimate_expression_value(req->root, lsecond(args));
6716  arg3 = estimate_expression_value(req->root, lthird(args));
6717 
6718  /*
6719  * If any argument is constant NULL, we can safely assume that
6720  * zero rows are returned. Otherwise, if they're all non-NULL
6721  * constants, we can calculate the number of rows that will be
6722  * returned.
6723  */
6724  if ((IsA(arg1, Const) && ((Const *) arg1)->constisnull) ||
6725  (IsA(arg2, Const) && ((Const *) arg2)->constisnull) ||
6726  (IsA(arg3, Const) && ((Const *) arg3)->constisnull))
6727  {
6728  req->rows = 0;
6729  ret = (Node *) req;
6730  }
6731  else if (IsA(arg1, Const) && IsA(arg2, Const) && IsA(arg3, Const))
6732  {
6733  Timestamp start,
6734  finish;
6735  Interval *step;
6736  Datum diff;
6737  double dstep;
6738  int64 dummy;
6739 
6740  start = DatumGetTimestamp(((Const *) arg1)->constvalue);
6741  finish = DatumGetTimestamp(((Const *) arg2)->constvalue);
6742  step = DatumGetIntervalP(((Const *) arg3)->constvalue);
6743 
6744  /*
6745  * Perform some prechecks which could cause timestamp_mi to
6746  * raise an ERROR. It's much better to just return some
6747  * default estimate than error out in a support function.
6748  */
6749  if (!TIMESTAMP_NOT_FINITE(start) && !TIMESTAMP_NOT_FINITE(finish) &&
6750  !pg_sub_s64_overflow(finish, start, &dummy))
6751  {
6753  TimestampGetDatum(finish),
6755 
6756 #define INTERVAL_TO_MICROSECONDS(i) ((((double) (i)->month * DAYS_PER_MONTH + (i)->day)) * USECS_PER_DAY + (i)->time)
6757 
6758  dstep = INTERVAL_TO_MICROSECONDS(step);
6759 
6760  /* This equation works for either sign of step */
6761  if (dstep != 0.0)
6762  {
6763  Interval *idiff = DatumGetIntervalP(diff);
6764  double ddiff = INTERVAL_TO_MICROSECONDS(idiff);
6765 
6766  req->rows = floor(ddiff / dstep + 1.0);
6767  ret = (Node *) req;
6768  }
6769 #undef INTERVAL_TO_MICROSECONDS
6770  }
6771  }
6772  }
6773  }
6774 
6775  PG_RETURN_POINTER(ret);
6776 }
6777 
6778 
6779 /* timestamp_at_local()
6780  * timestamptz_at_local()
6781  *
6782  * The regression tests do not like two functions with the same proargs and
6783  * prosrc but different proname, but the grammar for AT LOCAL needs an
6784  * overloaded name to handle both types of timestamp, so we make simple
6785  * wrappers for it.
6786  */
6787 Datum
6789 {
6790  return timestamp_timestamptz(fcinfo);
6791 }
6792 
6793 Datum
6795 {
6796  return timestamptz_timestamp(fcinfo);
6797 }
#define PG_GETARG_ARRAYTYPE_P(n)
Definition: array.h:263
int32 * ArrayGetIntegerTypmods(ArrayType *arr, int *n)
Definition: arrayutils.c:233
const int day_tab[2][13]
Definition: datetime.c:75
pg_tz * DecodeTimezoneNameToTz(const char *tzname)
Definition: datetime.c:3245
int DetermineTimeZoneAbbrevOffsetTS(TimestampTz ts, const char *abbr, pg_tz *tzp, int *isdst)
Definition: datetime.c:1784
int DecodeUnits(int field, const char *lowtoken, int *val)
Definition: datetime.c:4047
int j2day(int date)
Definition: datetime.c:344
int ParseDateTime(const char *timestr, char *workbuf, size_t buflen, char **field, int *ftype, int maxfields, int *numfields)
Definition: datetime.c:754
void EncodeInterval(struct pg_itm *itm, int style, char *str)
Definition: datetime.c:4585
int DetermineTimeZoneOffset(struct pg_tm *tm, pg_tz *tzp)
Definition: datetime.c:1585
void DateTimeParseError(int dterr, DateTimeErrorExtra *extra, const char *str, const char *datatype, Node *escontext)
Definition: datetime.c:4092
int DecodeInterval(char **field, int *ftype, int nf, int range, int *dtype, struct pg_itm_in *itm_in)
Definition: datetime.c:3364
int DecodeISO8601Interval(char *str, int *dtype, struct pg_itm_in *itm_in)
Definition: datetime.c:3829
int ValidateDate(int fmask, bool isjulian, bool is2digits, bool bc, struct pg_tm *tm)
Definition: datetime.c:2508
int DecodeSpecial(int field, const char *lowtoken, int *val)
Definition: datetime.c:3148
void j2date(int jd, int *year, int *month, int *day)
Definition: datetime.c:311
void EncodeDateTime(struct pg_tm *tm, fsec_t fsec, bool print_tz, int tz, const char *tzn, int style, char *str)
Definition: datetime.c:4342
int DecodeTimezone(const char *str, int *tzp)
Definition: datetime.c:3007
const char *const months[]
Definition: datetime.c:81
int DecodeDateTime(char **field, int *ftype, int nf, int *dtype, struct pg_tm *tm, fsec_t *fsec, int *tzp, DateTimeErrorExtra *extra)
Definition: datetime.c:978
int date2j(int year, int month, int day)
Definition: datetime.c:286
const char *const days[]
Definition: datetime.c:84
int DecodeTimezoneName(const char *tzname, int *offset, pg_tz **tz)
Definition: datetime.c:3190
Node * TemporalSimplify(int32 max_precis, Node *node)
Definition: datetime.c:4840
int DetermineTimeZoneAbbrevOffset(struct pg_tm *tm, const char *abbr, pg_tz *tzp)
Definition: datetime.c:1746
Datum numeric_round(PG_FUNCTION_ARGS)
Definition: numeric.c:1542
Numeric numeric_div_opt_error(Numeric num1, Numeric num2, bool *have_error)
Definition: numeric.c:3141
Numeric int64_to_numeric(int64 val)
Definition: numeric.c:4280
Numeric int64_div_fast_to_numeric(int64 val1, int log10val2)
Definition: numeric.c:4301
Datum numeric_in(PG_FUNCTION_ARGS)
Definition: numeric.c:636
Numeric numeric_sub_opt_error(Numeric num1, Numeric num2, bool *have_error)
Definition: numeric.c:2942
Numeric numeric_add_opt_error(Numeric num1, Numeric num2, bool *have_error)
Definition: numeric.c:2864
void dt2time(Timestamp jd, int *hour, int *min, int *sec, fsec_t *fsec)
Definition: timestamp.c:1864
Datum interval_out(PG_FUNCTION_ARGS)
Definition: timestamp.c:972
Datum interval_justify_hours(PG_FUNCTION_ARGS)
Definition: timestamp.c:2953
Datum make_timestamptz_at_timezone(PG_FUNCTION_ARGS)
Definition: timestamp.c:685
int timestamp_cmp_internal(Timestamp dt1, Timestamp dt2)
Definition: timestamp.c:2191
long TimestampDifferenceMilliseconds(TimestampTz start_time, TimestampTz stop_time)
Definition: timestamp.c:1756
void isoweek2date(int woy, int *year, int *mon, int *mday)
Definition: timestamp.c:5129
Datum in_range_timestamp_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3828
void GetEpochTime(struct pg_tm *tm)
Definition: timestamp.c:2149
Datum generate_series_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:6681
static float8 NonFiniteTimestampTzPart(int type, int unit, char *lowunits, bool isNegative, bool isTz)
Definition: timestamp.c:5289
static INT128 interval_cmp_value(const Interval *interval)
Definition: timestamp.c:2476
Datum interval_trunc(PG_FUNCTION_ARGS)
Definition: timestamp.c:5010
Datum overlaps_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2624
Datum extract_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:5610
Datum timestamptypmodout(PG_FUNCTION_ARGS)
Definition: timestamp.c:311
Datum interval_gt(PG_FUNCTION_ARGS)
Definition: timestamp.c:2543
Datum interval_avg_accum(PG_FUNCTION_ARGS)
Definition: timestamp.c:3995
int itmin2interval(struct pg_itm_in *itm_in, Interval *span)
Definition: timestamp.c:2096
Datum interval_justify_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:2873
static void finite_interval_mi(const Interval *span1, const Interval *span2, Interval *result)
Definition: timestamp.c:3496
Datum timestamptz_part(PG_FUNCTION_ARGS)
Definition: timestamp.c:5876
int isoweek2j(int year, int week)
Definition: timestamp.c:5109
Datum clock_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:1620
Datum timestamptz_pl_interval_at_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:3353
Datum timestamp_pl_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3042
Datum interval_le(PG_FUNCTION_ARGS)
Definition: timestamp.c:2552
Datum interval_avg_serialize(PG_FUNCTION_ARGS)
Definition: timestamp.c:4061
Datum interval_mi(PG_FUNCTION_ARGS)
Definition: timestamp.c:3511
TimestampTz time_t_to_timestamptz(pg_time_t tm)
Definition: timestamp.c:1801
Datum timestamp_le_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2375
Datum interval_lt(PG_FUNCTION_ARGS)
Definition: timestamp.c:2534
Datum timestamp_larger(PG_FUNCTION_ARGS)
Definition: timestamp.c:2764
static Datum timestamptz_part_common(PG_FUNCTION_ARGS, bool retnumeric)
Definition: timestamp.c:5619
Datum timestamptz_izone(PG_FUNCTION_ARGS)
Definition: timestamp.c:6475
Datum timestamp_cmp_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2393
static bool AdjustIntervalForTypmod(Interval *interval, int32 typmod, Node *escontext)
Definition: timestamp.c:1349
static IntervalAggState * makeIntervalAggState(FunctionCallInfo fcinfo)
Definition: timestamp.c:3919
Datum timestamp_part(PG_FUNCTION_ARGS)
Definition: timestamp.c:5604
Datum timestamptz_eq_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2402
Datum interval_hash(PG_FUNCTION_ARGS)
Definition: timestamp.c:2586
Datum timestamptztypmodout(PG_FUNCTION_ARGS)
Definition: timestamp.c:856
int date2isoweek(int year, int mon, int mday)
Definition: timestamp.c:5160
Datum timestamptz_pl_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3332
Datum timestamp_cmp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2251
static TimestampTz timestamptz_trunc_internal(text *units, TimestampTz timestamp, pg_tz *tzp)
Definition: timestamp.c:4819
Datum timestamp_bin(PG_FUNCTION_ARGS)
Definition: timestamp.c:4540
Datum timestamp_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:6173
static TimestampTz timestamp2timestamptz(Timestamp timestamp)
Definition: timestamp.c:6365
Datum interval_finite(PG_FUNCTION_ARGS)
Definition: timestamp.c:2136
Timestamp SetEpochTimestamp(void)
Definition: timestamp.c:2171
Datum timestamptz_ne_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2411
Datum timestamptz_lt_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2420
Datum timestamp_sortsupport(PG_FUNCTION_ARGS)
Definition: timestamp.c:2272
Datum timestamp_mi_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3159
Datum timestamptypmodin(PG_FUNCTION_ARGS)
Definition: timestamp.c:303
bool AdjustTimestampForTypmod(Timestamp *time, int32 typmod, Node *escontext)
Definition: timestamp.c:367
Datum timestamptz_ge_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2447
Datum timestamp_smaller(PG_FUNCTION_ARGS)
Definition: timestamp.c:2749
TimestampTz timestamp2timestamptz_opt_overflow(Timestamp timestamp, int *overflow)
Definition: timestamp.c:6313
Datum interval_justify_days(PG_FUNCTION_ARGS)
Definition: timestamp.c:2995
Datum timestamp_ge(PG_FUNCTION_ARGS)
Definition: timestamp.c:2242
Datum interval_avg_accum_inv(PG_FUNCTION_ARGS)
Definition: timestamp.c:4142
Datum generate_series_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:6515
int date2isoyearday(int year, int mon, int mday)
Definition: timestamp.c:5272
int tm2timestamp(struct pg_tm *tm, fsec_t fsec, int *tzp, Timestamp *result)
Definition: timestamp.c:1987
Datum timestamptz_cmp_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2456
Datum timestamp_ge_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2384
static Timestamp timestamptz2timestamp(TimestampTz timestamp)
Definition: timestamp.c:6382
void TimestampDifference(TimestampTz start_time, TimestampTz stop_time, long *secs, int *microsecs)
Definition: timestamp.c:1720
static void do_interval_accum(IntervalAggState *state, Interval *newval)
Definition: timestamp.c:3941
Datum timestamp_scale(PG_FUNCTION_ARGS)
Definition: timestamp.c:346
Datum timestamptz_scale(PG_FUNCTION_ARGS)
Definition: timestamp.c:869
Datum make_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:664
bool TimestampTimestampTzRequiresRewrite(void)
Definition: timestamp.c:6282
Datum timestamp_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:6295
Datum timestamp_recv(PG_FUNCTION_ARGS)
Definition: timestamp.c:259
Datum timestamp_lt(PG_FUNCTION_ARGS)
Definition: timestamp.c:2215
Datum timestamptz_trunc(PG_FUNCTION_ARGS)
Definition: timestamp.c:4963
Datum timestamptz_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:6411
static void finite_interval_pl(const Interval *span1, const Interval *span2, Interval *result)
Definition: timestamp.c:3440
void isoweekdate2date(int isoweek, int wday, int *year, int *mon, int *mday)
Definition: timestamp.c:5142
int32 timestamp_cmp_timestamptz_internal(Timestamp timestampVal, TimestampTz dt2)
Definition: timestamp.c:2318
Datum timestamptz_gt_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2429
Datum timestamptz_hash_extended(PG_FUNCTION_ARGS)
Definition: timestamp.c:2308
bool TimestampDifferenceExceeds(TimestampTz start_time, TimestampTz stop_time, int msec)
Definition: timestamp.c:1780
static int32 anytimestamp_typmodin(bool istz, ArrayType *ta)
Definition: timestamp.c:103
Datum generate_series_timestamp_support(PG_FUNCTION_ARGS)
Definition: timestamp.c:6696
static int timestamp_fastcmp(Datum x, Datum y, SortSupport ssup)
Definition: timestamp.c:2262
Datum interval_cmp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2570
Datum interval_sum(PG_FUNCTION_ARGS)
Definition: timestamp.c:4200
Datum timestamp_hash_extended(PG_FUNCTION_ARGS)
Definition: timestamp.c:2296
Datum timestamptz_le_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:2438
Datum interval_pl(PG_FUNCTION_ARGS)
Definition: timestamp.c:3455
Datum interval_um(PG_FUNCTION_ARGS)
Definition: timestamp.c:3398
static float8 NonFiniteIntervalPart(int type, int unit, char *lowunits, bool isNegative)
Definition: timestamp.c:5899
void EncodeSpecialTimestamp(Timestamp dt, char *str)
Definition: timestamp.c:1586
Datum make_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:1529
Datum interval_ge(PG_FUNCTION_ARGS)
Definition: timestamp.c:2561
static Timestamp make_timestamp_internal(int year, int month, int day, int hour, int min, double sec)
Definition: timestamp.c:573
Datum timestamp_gt_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2366
Datum timestamp_in(PG_FUNCTION_ARGS)
Definition: timestamp.c:165
Datum timestamp_le(PG_FUNCTION_ARGS)
Definition: timestamp.c:2233
Datum interval_ne(PG_FUNCTION_ARGS)
Definition: timestamp.c:2525
Datum timestamptz_hash(PG_FUNCTION_ARGS)
Definition: timestamp.c:2302
Datum interval_in(PG_FUNCTION_ARGS)
Definition: timestamp.c:890
static Timestamp dt2local(Timestamp dt, int timezone)
Definition: timestamp.c:2115
static Datum interval_part_common(PG_FUNCTION_ARGS, bool retnumeric)
Definition: timestamp.c:5945
TimestampTz PgReloadTime
Definition: timestamp.c:56
static pg_tz * lookup_timezone(text *zone)
Definition: timestamp.c:559
Datum timestamp_ne_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2348
Datum interval_hash_extended(PG_FUNCTION_ARGS)
Definition: timestamp.c:2604
Datum timestamptz_mi_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3341
Datum timestamp_age(PG_FUNCTION_ARGS)
Definition: timestamp.c:4240
Datum interval_smaller(PG_FUNCTION_ARGS)
Definition: timestamp.c:3411
static void EncodeSpecialInterval(const Interval *interval, char *str)
Definition: timestamp.c:1597
Datum timestamptz_mi_interval_at_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:3364
int timestamp2tm(Timestamp dt, int *tzp, struct pg_tm *tm, fsec_t *fsec, const char **tzn, pg_tz *attimezone)
Definition: timestamp.c:1891
Datum interval_support(PG_FUNCTION_ARGS)
Definition: timestamp.c:1264
Datum timestamptz_in(PG_FUNCTION_ARGS)
Definition: timestamp.c:417
static int intervaltypmodleastfield(int32 typmod)
Definition: timestamp.c:1211
int32 anytimestamp_typmod_check(bool istz, int32 typmod)
Definition: timestamp.c:124
Datum extract_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:5882
Datum pg_postmaster_start_time(PG_FUNCTION_ARGS)
Definition: timestamp.c:1626
TimestampTz GetCurrentTimestamp(void)
Definition: timestamp.c:1644
static TimeOffset time2t(const int hour, const int min, const int sec, const fsec_t fsec)
Definition: timestamp.c:2109
Datum interval_part(PG_FUNCTION_ARGS)
Definition: timestamp.c:6152
Datum pg_conf_load_time(PG_FUNCTION_ARGS)
Definition: timestamp.c:1632
Datum in_range_interval_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3869
#define IA_TOTAL_COUNT(ia)
Definition: timestamp.c:88
Datum interval_eq(PG_FUNCTION_ARGS)
Definition: timestamp.c:2516
Timestamp GetSQLLocalTimestamp(int32 typmod)
Definition: timestamp.c:1676
Datum timestamp_finite(PG_FUNCTION_ARGS)
Definition: timestamp.c:2128
static TimestampTz timestamptz_mi_interval_internal(TimestampTz timestamp, Interval *span, pg_tz *attimezone)
Definition: timestamp.c:3317
Datum timestamp_trunc(PG_FUNCTION_ARGS)
Definition: timestamp.c:4611
Datum mul_d_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3680
Datum timestamptztypmodin(PG_FUNCTION_ARGS)
Definition: timestamp.c:848
Datum interval_avg(PG_FUNCTION_ARGS)
Definition: timestamp.c:4160
TimestampTz PgStartTime
Definition: timestamp.c:53
Datum timestamp_send(PG_FUNCTION_ARGS)
Definition: timestamp.c:292
Datum timestamptz_send(PG_FUNCTION_ARGS)
Definition: timestamp.c:837
Datum timestamptz_recv(PG_FUNCTION_ARGS)
Definition: timestamp.c:803
Datum interval_scale(PG_FUNCTION_ARGS)
Definition: timestamp.c:1327
static Datum timestamp_part_common(PG_FUNCTION_ARGS, bool retnumeric)
Definition: timestamp.c:5346
static char * anytimestamp_typmodout(bool istz, int32 typmod)
Definition: timestamp.c:146
Datum interval_larger(PG_FUNCTION_ARGS)
Definition: timestamp.c:3426
Datum timestamp_gt(PG_FUNCTION_ARGS)
Definition: timestamp.c:2224
Datum timestamptz_bin(PG_FUNCTION_ARGS)
Definition: timestamp.c:4745
Datum timestamptz_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:6374
Datum timestamp_mi(PG_FUNCTION_ARGS)
Definition: timestamp.c:2779
Datum timestamptz_at_local(PG_FUNCTION_ARGS)
Definition: timestamp.c:6794
Datum interval_send(PG_FUNCTION_ARGS)
Definition: timestamp.c:1021
Datum intervaltypmodin(PG_FUNCTION_ARGS)
Definition: timestamp.c:1046
#define TIMESTAMP_GT(t1, t2)
Datum timestamp_lt_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2357
Datum timestamptz_out(PG_FUNCTION_ARGS)
Definition: timestamp.c:775
static void interval_um_internal(const Interval *interval, Interval *result)
Definition: timestamp.c:3378
Datum timestamp_hash(PG_FUNCTION_ARGS)
Definition: timestamp.c:2290
Datum timestamp_out(PG_FUNCTION_ARGS)
Definition: timestamp.c:233
Datum timestamp_support(PG_FUNCTION_ARGS)
Definition: timestamp.c:326
void interval2itm(Interval span, struct pg_itm *itm)
Definition: timestamp.c:2028
struct IntervalAggState IntervalAggState
Datum float8_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:725
Datum now(PG_FUNCTION_ARGS)
Definition: timestamp.c:1608
Datum interval_avg_deserialize(PG_FUNCTION_ARGS)
Definition: timestamp.c:4099
Datum timestamp_ne(PG_FUNCTION_ARGS)
Definition: timestamp.c:2206
static int interval_cmp_internal(const Interval *interval1, const Interval *interval2)
Definition: timestamp.c:2498
Datum interval_recv(PG_FUNCTION_ARGS)
Definition: timestamp.c:996
#define INTERVAL_TO_MICROSECONDS(i)
Datum statement_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:1614
Datum timestamptz_age(PG_FUNCTION_ARGS)
Definition: timestamp.c:4386
const char * timestamptz_to_str(TimestampTz t)
Definition: timestamp.c:1843
Datum interval_mul(PG_FUNCTION_ARGS)
Definition: timestamp.c:3560
Datum interval_div(PG_FUNCTION_ARGS)
Definition: timestamp.c:3690
Datum timestamptz_trunc_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:4981
Datum timestamp_eq_timestamptz(PG_FUNCTION_ARGS)
Definition: timestamp.c:2339
static TimestampTz timestamptz_pl_interval_internal(TimestampTz timestamp, Interval *span, pg_tz *attimezone)
Definition: timestamp.c:3185
static Datum generate_series_timestamptz_internal(FunctionCallInfo fcinfo)
Definition: timestamp.c:6599
int itm2interval(struct pg_itm *itm, Interval *span)
Definition: timestamp.c:2058
pg_time_t timestamptz_to_time_t(TimestampTz t)
Definition: timestamp.c:1823
Datum make_timestamp(PG_FUNCTION_ARGS)
Definition: timestamp.c:644
Datum intervaltypmodout(PG_FUNCTION_ARGS)
Definition: timestamp.c:1125
static int interval_sign(const Interval *interval)
Definition: timestamp.c:2507
static void do_interval_discard(IntervalAggState *state, Interval *newval)
Definition: timestamp.c:3964
Datum timeofday(PG_FUNCTION_ARGS)
Definition: timestamp.c:1690
Datum generate_series_timestamptz_at_zone(PG_FUNCTION_ARGS)
Definition: timestamp.c:6687
int date2isoyear(int year, int mon, int mday)
Definition: timestamp.c:5215
Datum timestamp_izone(PG_FUNCTION_ARGS)
Definition: timestamp.c:6238
static int parse_sane_timezone(struct pg_tm *tm, text *zone)
Definition: timestamp.c:490
Datum timestamp_at_local(PG_FUNCTION_ARGS)
Definition: timestamp.c:6788
TimestampTz GetSQLCurrentTimestamp(int32 typmod)
Definition: timestamp.c:1662
Datum in_range_timestamptz_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:3791
Datum interval_avg_combine(PG_FUNCTION_ARGS)
Definition: timestamp.c:4018
Datum extract_interval(PG_FUNCTION_ARGS)
Definition: timestamp.c:6158
Datum timestamp_eq(PG_FUNCTION_ARGS)
Definition: timestamp.c:2197
#define TIMESTAMP_LT(t1, t2)
#define FLOAT8_FITS_IN_INT32(num)
Definition: c.h:1081
signed int int32
Definition: c.h:496
#define Assert(condition)
Definition: c.h:849
double float8
Definition: c.h:621
#define FLOAT8_FITS_IN_INT64(num)
Definition: c.h:1083
#define PG_INT64_MAX
Definition: c.h:583
#define unlikely(x)
Definition: c.h:314
Node * estimate_expression_value(PlannerInfo *root, Node *node)
Definition: clauses.c:2395
int64 Timestamp
Definition: timestamp.h:38
#define DATETIME_MIN_JULIAN
Definition: timestamp.h:251
#define INTERVAL_NOEND(i)
Definition: timestamp.h:185
int64 TimestampTz
Definition: timestamp.h:39
#define SECS_PER_HOUR
Definition: timestamp.h:127
#define MAX_TIMESTAMP_PRECISION
Definition: timestamp.h:92
int32 fsec_t
Definition: timestamp.h:41
#define INTERVAL_NOT_FINITE(i)
Definition: timestamp.h:195
#define TIMESTAMP_NOBEGIN(j)
Definition: timestamp.h:159
#define USECS_PER_HOUR
Definition: timestamp.h:132
#define TIMESTAMP_END_JULIAN
Definition: timestamp.h:253
#define MONTHS_PER_YEAR
Definition: timestamp.h:108
#define MINS_PER_HOUR
Definition: timestamp.h:129
#define IS_VALID_JULIAN(y, m, d)
Definition: timestamp.h:227
#define INTERVAL_NOBEGIN(i)
Definition: timestamp.h:175
#define INTERVAL_IS_NOBEGIN(i)
Definition: timestamp.h:182
#define IS_VALID_TIMESTAMP(t)
Definition: timestamp.h:267
#define MAX_INTERVAL_PRECISION
Definition: timestamp.h:93
#define SECS_PER_MINUTE
Definition: timestamp.h:128
#define USECS_PER_DAY
Definition: timestamp.h:131
#define USECS_PER_SEC
Definition: timestamp.h:134
#define HOURS_PER_DAY
Definition: timestamp.h:118
#define INTERVAL_IS_NOEND(i)
Definition: timestamp.h:192
#define TIMESTAMP_IS_NOEND(j)
Definition: timestamp.h:167
#define USECS_PER_MINUTE
Definition: timestamp.h:133
#define DAYS_PER_YEAR
Definition: timestamp.h:107
#define DAYS_PER_WEEK
Definition: timestamp.h:117
#define TIMESTAMP_IS_NOBEGIN(j)
Definition: timestamp.h:162
#define DAYS_PER_MONTH
Definition: timestamp.h:116
#define UNIX_EPOCH_JDATE
Definition: timestamp.h:234
#define TIMESTAMP_NOT_FINITE(j)
Definition: timestamp.h:169
#define TSROUND(j)
Definition: timestamp.h:100
#define SECS_PER_DAY
Definition: timestamp.h:126
#define POSTGRES_EPOCH_JDATE
Definition: timestamp.h:235
#define TIMESTAMP_NOEND(j)
Definition: timestamp.h:164
#define MIN_TIMESTAMP
Definition: timestamp.h:256
int64 TimeOffset
Definition: timestamp.h:40
bool float_time_overflows(int hour, int min, double sec)
Definition: date.c:1463
int errdetail(const char *fmt,...)
Definition: elog.c:1203
int errhint(const char *fmt,...)
Definition: elog.c:1317
int errcode(int sqlerrcode)
Definition: elog.c:853
int errmsg(const char *fmt,...)
Definition: elog.c:1070
#define ereturn(context, dummy_value,...)
Definition: elog.h:277
#define WARNING
Definition: elog.h:36
#define ERROR
Definition: elog.h:39
#define elog(elevel,...)
Definition: elog.h:225
#define ereport(elevel,...)
Definition: elog.h:149
static float8 float8_mul(const float8 val1, const float8 val2)
Definition: float.h:208
static float8 get_float8_infinity(void)
Definition: float.h:94
Datum Float8GetDatum(float8 X)
Definition: fmgr.c:1816
#define PG_RETURN_VOID()
Definition: fmgr.h:349
#define PG_GETARG_OID(n)
Definition: fmgr.h:275
#define PG_GETARG_BYTEA_PP(n)
Definition: fmgr.h:308
#define PG_GETARG_TEXT_PP(n)
Definition: fmgr.h:309
#define PG_RETURN_BYTEA_P(x)
Definition: fmgr.h:371
#define DirectFunctionCall2(func, arg1, arg2)
Definition: fmgr.h:643
#define PG_GETARG_FLOAT8(n)
Definition: fmgr.h:282
#define PG_RETURN_FLOAT8(x)
Definition: fmgr.h:367
#define PG_GETARG_POINTER(n)
Definition: fmgr.h:276
#define PG_RETURN_CSTRING(x)
Definition: fmgr.h:362
#define PG_ARGISNULL(n)
Definition: fmgr.h:209
#define DirectFunctionCall1(func, arg1)
Definition: fmgr.h:641
#define PG_GETARG_DATUM(n)
Definition: fmgr.h:268
#define PG_NARGS()
Definition: fmgr.h:203
#define PG_GETARG_CSTRING(n)
Definition: fmgr.h:277
#define PG_RETURN_NULL()
Definition: fmgr.h:345
#define PG_RETURN_TEXT_P(x)
Definition: fmgr.h:372
#define PG_RETURN_INT32(x)
Definition: fmgr.h:354
#define PG_GETARG_INT32(n)
Definition: fmgr.h:269
#define PG_GETARG_BOOL(n)
Definition: fmgr.h:274
#define DirectFunctionCall3(func, arg1, arg2, arg3)
Definition: fmgr.h:645
#define PG_RETURN_POINTER(x)
Definition: fmgr.h:361
#define PG_FUNCTION_ARGS
Definition: fmgr.h:193
#define PG_RETURN_BOOL(x)
Definition: fmgr.h:359
char * format_type_be(Oid type_oid)
Definition: format_type.c:343
#define SRF_IS_FIRSTCALL()
Definition: funcapi.h:304
#define SRF_PERCALL_SETUP()
Definition: funcapi.h:308
#define SRF_RETURN_NEXT(_funcctx, _result)
Definition: funcapi.h:310
#define SRF_FIRSTCALL_INIT()
Definition: funcapi.h:306
#define SRF_RETURN_DONE(_funcctx)
Definition: funcapi.h:328
int DateStyle
Definition: globals.c:124
int IntervalStyle
Definition: globals.c:126
#define newval
return str start
const char * str
Datum hashint8extended(PG_FUNCTION_ARGS)
Definition: hashfunc.c:103
Datum hashint8(PG_FUNCTION_ARGS)
Definition: hashfunc.c:83
#define MAXDATEFIELDS
Definition: datetime.h:202
#define DTK_EPOCH
Definition: datetime.h:152
#define TMODULO(t, q, u)
Definition: datetime.h:248
#define UNKNOWN_FIELD
Definition: datetime.h:124
#define DTK_DECADE
Definition: datetime.h:168
#define DTK_SECOND
Definition: datetime.h:160
#define DTERR_INTERVAL_OVERFLOW
Definition: datetime.h:285
#define DTK_QUARTER
Definition: datetime.h:166
#define DTK_JULIAN
Definition: datetime.h:173
#define MONTH
Definition: datetime.h:91
#define DTK_DELTA
Definition: datetime.h:159
#define DTK_TZ_HOUR
Definition: datetime.h:177
#define HOUR
Definition: datetime.h:100
#define DTK_TZ_MINUTE
Definition: datetime.h:178
#define DAY
Definition: datetime.h:93
#define DTK_LATE
Definition: datetime.h:151
#define YEAR
Definition: datetime.h:92
#define DTK_DATE
Definition: datetime.h:144
#define DTK_CENTURY
Definition: datetime.h:169
#define DTK_ISODOW
Definition: datetime.h:180
#define DTK_DAY
Definition: datetime.h:163
#define RESERV
Definition: datetime.h:90
#define DTERR_BAD_FORMAT
Definition: datetime.h:282
#define DTK_DATE_M
Definition: datetime.h:191
#define DTK_MILLENNIUM
Definition: datetime.h:170
#define DTK_EARLY
Definition: datetime.h:150
#define DTK_ISOYEAR
Definition: datetime.h:179
#define MAXDATELEN
Definition: datetime.h:200
#define SECOND
Definition: datetime.h:102
#define isleap(y)
Definition: datetime.h:271
#define DTK_DOY
Definition: datetime.h:176
#define DTK_TZ
Definition: datetime.h:146
#define TZNAME_FIXED_OFFSET
Definition: datetime.h:299
#define TZNAME_DYNTZ
Definition: datetime.h:300
#define DTERR_TZDISP_OVERFLOW
Definition: datetime.h:286
#define EARLY
Definition: datetime.h:39
#define DTK_HOUR
Definition: datetime.h:162
#define DTK_WEEK
Definition: datetime.h:164
#define MINUTE
Definition: datetime.h:101
#define LATE
Definition: datetime.h:40
#define DTK_MICROSEC
Definition: datetime.h:172
#define DTK_DOW
Definition: datetime.h:175
#define DTK_YEAR
Definition: datetime.h:167
#define DTK_MILLISEC
Definition: datetime.h:171
#define DTK_MONTH
Definition: datetime.h:165
#define DTERR_FIELD_OVERFLOW
Definition: datetime.h:283
#define DTK_MINUTE
Definition: datetime.h:161
#define UNITS
Definition: datetime.h:107
long val
Definition: informix.c:689
static int int128_compare(INT128 x, INT128 y)
Definition: int128.h:238
static INT128 int64_to_int128(int64 v)
Definition: int128.h:255
static int64 int128_to_int64(INT128 val)
Definition: int128.h:269
static void int128_add_int64_mul_int64(INT128 *i128, int64 x, int64 y)
Definition: int128.h:177
static bool pg_mul_s64_overflow(int64 a, int64 b, int64 *result)
Definition: int.h:261
static bool pg_sub_s64_overflow(int64 a, int64 b, int64 *result)
Definition: int.h:230
static bool pg_mul_s32_overflow(int32 a, int32 b, int32 *result)
Definition: int.h:171
static bool pg_sub_s32_overflow(int32 a, int32 b, int32 *result)
Definition: int.h:153
static bool pg_add_s64_overflow(int64 a, int64 b, int64 *result)
Definition: int.h:203
static bool pg_add_s32_overflow(int32 a, int32 b, int32 *result)
Definition: int.h:135
int y
Definition: isn.c:72
int b
Definition: isn.c:70
int x
Definition: isn.c:71
int a
Definition: isn.c:69
if(TABLE==NULL||TABLE_index==NULL)
Definition: isn.c:77
static struct pg_tm tm
Definition: localtime.c:104
char * pstrdup(const char *in)
Definition: mcxt.c:1696
void * palloc0(Size size)
Definition: mcxt.c:1347
void * palloc(Size size)
Definition: mcxt.c:1317
#define USE_ISO_DATES
Definition: miscadmin.h:236
int AggCheckCallContext(FunctionCallInfo fcinfo, MemoryContext *aggcontext)
Definition: nodeAgg.c:4511
int32 exprTypmod(const Node *expr)
Definition: nodeFuncs.c:298
Node * relabel_to_typmod(Node *expr, int32 typmod)
Definition: nodeFuncs.c:684
static bool is_funcclause(const void *clause)
Definition: nodeFuncs.h:69
#define IsA(nodeptr, _type_)
Definition: nodes.h:158
static Numeric DatumGetNumeric(Datum X)
Definition: numeric.h:61
#define PG_RETURN_NUMERIC(x)
Definition: numeric.h:80
static Datum NumericGetDatum(Numeric X)
Definition: numeric.h:73
static time_t start_time
Definition: pg_ctl.c:95
static int list_length(const List *l)
Definition: pg_list.h:152
#define lthird(l)
Definition: pg_list.h:188
#define linitial(l)
Definition: pg_list.h:178
#define lsecond(l)
Definition: pg_list.h:183
static rewind_source * source
Definition: pg_rewind.c:89
static char * buf
Definition: pg_test_fsync.c:73
struct pg_tm * pg_gmtime(const pg_time_t *timep)
Definition: localtime.c:1389
#define TZ_STRLEN_MAX
Definition: pgtime.h:54
bool pg_get_timezone_offset(const pg_tz *tz, long int *gmtoff)
Definition: localtime.c:1851
PGDLLIMPORT pg_tz * session_timezone
Definition: pgtz.c:28
int64 pg_time_t
Definition: pgtime.h:23
struct pg_tm * pg_localtime(const pg_time_t *timep, const pg_tz *tz)
Definition: localtime.c:1344
size_t pg_strftime(char *s, size_t maxsize, const char *format, const struct pg_tm *t)
Definition: strftime.c:128
long date
Definition: pgtypes_date.h:9
int64 timestamp
#define snprintf
Definition: port.h:238
size_t strlcpy(char *dst, const char *src, size_t siz)
Definition: strlcpy.c:45
#define Int64GetDatumFast(X)
Definition: postgres.h:554
static Datum PointerGetDatum(const void *X)
Definition: postgres.h:322
static char * DatumGetCString(Datum X)
Definition: postgres.h:335
uintptr_t Datum
Definition: postgres.h:64
static Datum ObjectIdGetDatum(Oid X)
Definition: postgres.h:252
static Datum CStringGetDatum(const char *X)
Definition: postgres.h:350
static Datum Int32GetDatum(int32 X)
Definition: postgres.h:212
static int32 DatumGetInt32(Datum X)
Definition: postgres.h:202
#define InvalidOid
Definition: postgres_ext.h:36
unsigned int Oid
Definition: postgres_ext.h:31
unsigned int pq_getmsgint(StringInfo msg, int b)
Definition: pqformat.c:415
void pq_getmsgend(StringInfo msg)
Definition: pqformat.c:635
void pq_begintypsend(StringInfo buf)
Definition: pqformat.c:326
int64 pq_getmsgint64(StringInfo msg)
Definition: pqformat.c:453
bytea * pq_endtypsend(StringInfo buf)
Definition: pqformat.c:346
static void pq_sendint32(StringInfo buf, uint32 i)
Definition: pqformat.h:144
static void pq_sendint64(StringInfo buf, uint64 i)
Definition: pqformat.h:152
char * psprintf(const char *fmt,...)
Definition: psprintf.c:46
MemoryContextSwitchTo(old_ctx)
static struct cvec * range(struct vars *v, chr a, chr b, int cases)
Definition: regc_locale.c:412
char * downcase_truncate_identifier(const char *ident, int len, bool warn)
Definition: scansup.c:37
struct SortSupportData * SortSupport
Definition: sortsupport.h:58
StringInfoData * StringInfo
Definition: stringinfo.h:54
static void initReadOnlyStringInfo(StringInfo str, char *data, int len)
Definition: stringinfo.h:130
void * user_fctx
Definition: funcapi.h:82
MemoryContext multi_call_memory_ctx
Definition: funcapi.h:101
List * args
Definition: primnodes.h:768
Definition: int128.h:108
Interval sumX
Definition: timestamp.c:82
int32 day
Definition: timestamp.h:51
int32 month
Definition: timestamp.h:52
TimeOffset time
Definition: timestamp.h:49
Definition: pg_list.h:54
Definition: nodes.h:129
int(* comparator)(Datum x, Datum y, SortSupport ssup)
Definition: sortsupport.h:106
struct PlannerInfo * root
Definition: supportnodes.h:163
int tm_mon
Definition: timestamp.h:86
int tm_year
Definition: timestamp.h:87
int tm_mday
Definition: timestamp.h:85
int64 tm_usec
Definition: timestamp.h:84
int64 tm_hour
Definition: timestamp.h:70
int tm_year
Definition: timestamp.h:73
int tm_mon
Definition: timestamp.h:72
int tm_mday
Definition: timestamp.h:71
int tm_sec
Definition: timestamp.h:68
int tm_min
Definition: timestamp.h:69
int tm_usec
Definition: timestamp.h:67
Definition: pgtime.h:35
int tm_hour
Definition: pgtime.h:38
int tm_mday
Definition: pgtime.h:39
int tm_mon
Definition: pgtime.h:40
int tm_min
Definition: pgtime.h:37
const char * tm_zone
Definition: pgtime.h:46
int tm_sec
Definition: pgtime.h:36
int tm_isdst
Definition: pgtime.h:44
long int tm_gmtoff
Definition: pgtime.h:45
int tm_year
Definition: pgtime.h:41
Definition: pgtz.h:66
Definition: regguts.h:323
Definition: lexi.c:60
Definition: c.h:678
Definition: zic.c:94
#define INTERVAL_FULL_RANGE
Definition: timestamp.h:76
#define timestamptz_cmp_internal(dt1, dt2)
Definition: timestamp.h:131
#define INTERVAL_PRECISION(t)
Definition: timestamp.h:81
static Datum TimestampTzGetDatum(TimestampTz X)
Definition: timestamp.h:52
#define INTERVAL_RANGE(t)
Definition: timestamp.h:82
static Datum TimestampGetDatum(Timestamp X)
Definition: timestamp.h:46
#define PG_GETARG_TIMESTAMP(n)
Definition: timestamp.h:63
static Datum IntervalPGetDatum(const Interval *X)
Definition: timestamp.h:58
#define PG_RETURN_TIMESTAMP(x)
Definition: timestamp.h:67
#define PG_GETARG_INTERVAL_P(n)
Definition: timestamp.h:65
#define PG_GETARG_TIMESTAMPTZ(n)
Definition: timestamp.h:64
#define PG_RETURN_TIMESTAMPTZ(x)
Definition: timestamp.h:68
static Interval * DatumGetIntervalP(Datum X)
Definition: timestamp.h:40
#define PG_RETURN_INTERVAL_P(x)
Definition: timestamp.h:69
#define INTERVAL_TYPMOD(p, r)
Definition: timestamp.h:80
#define INTERVAL_MASK(b)
Definition: timestamp.h:73
static Timestamp DatumGetTimestamp(Datum X)
Definition: timestamp.h:28
#define INTERVAL_FULL_PRECISION
Definition: timestamp.h:78
#define VARDATA_ANY(PTR)
Definition: varatt.h:324
#define VARSIZE_ANY_EXHDR(PTR)
Definition: varatt.h:317
void text_to_cstring_buffer(const text *src, char *dst, size_t dst_len)
Definition: varlena.c:248
text * cstring_to_text(const char *s)
Definition: varlena.c:184
const char * type
static const unsigned __int64 epoch
int gettimeofday(struct timeval *tp, void *tzp)
TimestampTz GetCurrentStatementStartTimestamp(void)
Definition: xact.c:878
TimestampTz GetCurrentTransactionStartTimestamp(void)
Definition: xact.c:869