Detect Julian-date overflow in timestamp[tz]_pl_interval.
commit7204aea835d056ca97e86298c597a079d6ee8c97
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 26 Jan 2024 18:39:37 +0000 (26 13:39 -0500)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 26 Jan 2024 18:39:37 +0000 (26 13:39 -0500)
tree3b8b3fe669a5d432e7bf662be8db721b96875d09
parent60ba7cae7cc758f09899429d1134a14adc35fd94
Detect Julian-date overflow in timestamp[tz]_pl_interval.

We perform addition of the days field of an interval via
arithmetic on the Julian-date representation of the timestamp's date.
This step is subject to int32 overflow, and we also should not let
the Julian date become very negative, for fear of weird results from
j2date.  (In the timestamptz case, allow a Julian date of -1 to pass,
since it might convert back to zero after timezone rotation.)

The additions of the months and microseconds fields could also
overflow, of course.  However, I believe we need no additional
checks there; the existing range checks should catch such cases.
The difficulty here is that j2date's magic modular arithmetic could
produce something that looks like it's in-range.

Per bug #18313 from Christian Maurer.  This has been wrong for
a long time, so back-patch to all supported branches.

Discussion: https://postgr.es/m/18313-64d2c8952d81e84b@postgresql.org
src/backend/utils/adt/timestamp.c
src/test/regress/expected/horology.out
src/test/regress/sql/horology.sql