summaryrefslogtreecommitdiff
path: root/src/backend/utils/adt/timestamp.c
diff options
context:
space:
mode:
authorTom Lane <tgl@sss.pgh.pa.us>2022-04-20 18:08:15 -0400
committerTom Lane <tgl@sss.pgh.pa.us>2022-04-20 18:08:15 -0400
commita1e4782a0bca3f19f05042c6f05675dbf4fcacc7 (patch)
tree3eabddbe49150e395245471678aae801d04f047d /src/backend/utils/adt/timestamp.c
parent409bcfda6bd62479f4f7e745c4a536757dbe9637 (diff)
Disallow infinite endpoints in generate_series() for timestamps.
Such cases will lead to infinite loops, so they're of no practical value. The numeric variant of generate_series() already threw error for this, so borrow its message wording. Per report from Richard Wesley. Back-patch to all supported branches. Discussion: https://postgr.es/m/91B44E7B-68D5-448F-95C8-B4B3B0F5DEAF@duckdblabs.com
Diffstat (limited to 'src/backend/utils/adt/timestamp.c')
-rw-r--r--src/backend/utils/adt/timestamp.c28
1 files changed, 28 insertions, 0 deletions
diff --git a/src/backend/utils/adt/timestamp.c b/src/backend/utils/adt/timestamp.c
index 199c0a2e7ba..7421031f2f7 100644
--- a/src/backend/utils/adt/timestamp.c
+++ b/src/backend/utils/adt/timestamp.c
@@ -5165,6 +5165,20 @@ generate_series_timestamp(PG_FUNCTION_ARGS)
MemoryContext oldcontext;
Interval interval_zero;
+ /* Reject infinities in start and stop values */
+ if (TIMESTAMP_IS_NOBEGIN(start) ||
+ TIMESTAMP_IS_NOEND(start))
+ ereport(ERROR,
+ (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
+ errmsg("start value cannot be infinity")));
+ if (TIMESTAMP_IS_NOBEGIN(finish) ||
+ TIMESTAMP_IS_NOEND(finish))
+ ereport(ERROR,
+ (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
+ errmsg("stop value cannot be infinity")));
+
+ /* Interval doesn't (currently) have infinity, so nothing to check */
+
/* create a function context for cross-call persistence */
funcctx = SRF_FIRSTCALL_INIT();
@@ -5246,6 +5260,20 @@ generate_series_timestamptz(PG_FUNCTION_ARGS)
MemoryContext oldcontext;
Interval interval_zero;
+ /* Reject infinities in start and stop values */
+ if (TIMESTAMP_IS_NOBEGIN(start) ||
+ TIMESTAMP_IS_NOEND(start))
+ ereport(ERROR,
+ (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
+ errmsg("start value cannot be infinity")));
+ if (TIMESTAMP_IS_NOBEGIN(finish) ||
+ TIMESTAMP_IS_NOEND(finish))
+ ereport(ERROR,
+ (errcode(ERRCODE_INVALID_PARAMETER_VALUE),
+ errmsg("stop value cannot be infinity")));
+
+ /* Interval doesn't (currently) have infinity, so nothing to check */
+
/* create a function context for cross-call persistence */
funcctx = SRF_FIRSTCALL_INIT();