Apply fix so pow() and exp() ERANGE is used only if result is not 0.

bmomjian · bmomjian · commit f0f4a6d781b6 · 2007-01-06T20:21:29.000Z
diff --git a/src/backend/utils/adt/float.c b/src/backend/utils/adt/float.c
@@ -8,7 +8,7 @@
  *
  *
  * IDENTIFICATION
- *	  $PostgreSQL: pgsql/src/backend/utils/adt/float.c,v 1.145 2007/01/06 15:18:02 momjian Exp $
+ *	  $PostgreSQL: pgsql/src/backend/utils/adt/float.c,v 1.146 2007/01/06 20:21:29 momjian Exp $
  *
  *-------------------------------------------------------------------------
  */
@@ -1459,7 +1459,7 @@ dpow(PG_FUNCTION_ARGS)
 		else
 			result = 1;
 	}
-	else if (errno == ERANGE && !isinf(result))
+	else if (errno == ERANGE && result != 0 && !isinf(result))
 		result = get_float8_infinity();
 	
 	CHECKFLOATVAL(result, isinf(arg1) || isinf(arg2), arg1 == 0);
@@ -1478,7 +1478,7 @@ dexp(PG_FUNCTION_ARGS)
 
 	errno = 0;
 	result = exp(arg1);
-	if (errno == ERANGE && !isinf(result))
+	if (errno == ERANGE && result != 0 && !isinf(result))
 		result = get_float8_infinity();
 
 	CHECKFLOATVAL(result, isinf(arg1), false);

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`*`
`9`	`9`	`*`
`10`	`10`	`* IDENTIFICATION`
`11`		`- * $PostgreSQL: pgsql/src/backend/utils/adt/float.c,v 1.145 2007/01/06 15:18:02 momjian Exp $`
	`11`	`+ * $PostgreSQL: pgsql/src/backend/utils/adt/float.c,v 1.146 2007/01/06 20:21:29 momjian Exp $`
`12`	`12`	`*`
`13`	`13`	`*-------------------------------------------------------------------------`
`14`	`14`	`*/`
`@@ -1459,7 +1459,7 @@ dpow(PG_FUNCTION_ARGS)`
`1459`	`1459`	`else`
`1460`	`1460`	`result = 1;`
`1461`	`1461`	`}`
`1462`		`- else if (errno == ERANGE && !isinf(result))`
	`1462`	`+ else if (errno == ERANGE && result != 0 && !isinf(result))`
`1463`	`1463`	`result = get_float8_infinity();`
`1464`	`1464`
`1465`	`1465`	`CHECKFLOATVAL(result, isinf(arg1) \|\| isinf(arg2), arg1 == 0);`
`@@ -1478,7 +1478,7 @@ dexp(PG_FUNCTION_ARGS)`
`1478`	`1478`
`1479`	`1479`	`errno = 0;`
`1480`	`1480`	`result = exp(arg1);`
`1481`		`- if (errno == ERANGE && !isinf(result))`
	`1481`	`+ if (errno == ERANGE && result != 0 && !isinf(result))`
`1482`	`1482`	`result = get_float8_infinity();`
`1483`	`1483`
`1484`	`1484`	`CHECKFLOATVAL(result, isinf(arg1), false);`