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

tglsfdc · tglsfdc · commit da5f032a8350 · 2013-03-04T15:14:13.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
@@ -1564,8 +1564,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
`@@ -1564,8 +1564,9 @@ tm2timestamp(struct pg_tm * tm, fsec_t fsec, int tzp, Timestamp result)`
`1564`	`1564`	`return -1;`
`1565`	`1565`	`}`
`1566`	`1566`	`/* check for just-barely overflow (okay except time-of-day wraps) */`
`1567`		`- if ((*result < 0 && date >= 0) \|\|`
`1568`		`- (*result >= 0 && date < 0))`
	`1567`	`+ /* caution: we want to allow 1999-12-31 24:00:00 */`
	`1568`	`+ if ((*result < 0 && date > 0) \|\|`
	`1569`	`+ (*result > 0 && date < -1))`
`1569`	`1570`	`{`
`1570`	`1571`	`result = 0; / keep compiler quiet */`
`1571`	`1572`	`return -1;`