Fix overflow check in tm2timestamp (this time for sure).

tglsfdc · tglsfdc · commit fa852303f0cd · 2013-03-04T15:13:49.000-05:00
I fixed this code back in commit 841b4a2, but didn't think carefully enough about the behavior near zero, which meant it improperly rejected 1999-12-31 24:00:00. Per report from Magnus Hagander.
diff --git a/src/backend/utils/adt/timestamp.c b/src/backend/utils/adt/timestamp.c
@@ -1646,8 +1646,9 @@ tm2timestamp(struct pg_tm * tm, fsec_t fsec, int *tzp, Timestamp *result)
 		return -1;
 	}
 	/* check for just-barely overflow (okay except time-of-day wraps) */
-	if ((*result < 0 && date >= 0) ||
-		(*result >= 0 && date < 0))
+	/* caution: we want to allow 1999-12-31 24:00:00 */
+	if ((*result < 0 && date > 0) ||
+		(*result > 0 && date < -1))
 	{
 		*result = 0;			/* keep compiler quiet */
 		return -1;
diff --git a/src/interfaces/ecpg/pgtypeslib/timestamp.c b/src/interfaces/ecpg/pgtypeslib/timestamp.c
@@ -76,8 +76,9 @@ tm2timestamp(struct tm * tm, fsec_t fsec, int *tzp, timestamp * result)
 	if ((*result - time) / USECS_PER_DAY != dDate)
 		return -1;
 	/* check for just-barely overflow (okay except time-of-day wraps) */
-	if ((*result < 0 && dDate >= 0) ||
-		(*result >= 0 && dDate < 0))
+	/* caution: we want to allow 1999-12-31 24:00:00 */
+	if ((*result < 0 && dDate > 0) ||
+		(*result > 0 && dDate < -1))
 		return -1;
 #else
 	*result = dDate * SECS_PER_DAY + time;

Original file line number	Diff line number	Diff line change
`@@ -1646,8 +1646,9 @@ tm2timestamp(struct pg_tm * tm, fsec_t fsec, int tzp, Timestamp result)`
`1646`	`1646`	`return -1;`
`1647`	`1647`	`}`
`1648`	`1648`	`/* check for just-barely overflow (okay except time-of-day wraps) */`
`1649`		`- if ((*result < 0 && date >= 0) \|\|`
`1650`		`- (*result >= 0 && date < 0))`
	`1649`	`+ /* caution: we want to allow 1999-12-31 24:00:00 */`
	`1650`	`+ if ((*result < 0 && date > 0) \|\|`
	`1651`	`+ (*result > 0 && date < -1))`
`1651`	`1652`	`{`
`1652`	`1653`	`result = 0; / keep compiler quiet */`
`1653`	`1654`	`return -1;`