pgbench: Install guards against obscure overflow conditions.

Dividing INT_MIN by -1 or taking INT_MIN modulo -1 can sometimes
cause floating-point exceptions or otherwise misbehave.

Fabien Coelho and Michael Paquier

diff --git a/src/bin/pgbench/pgbench.c b/src/bin/pgbench/pgbench.c
index 1a3ba032822f729639e34783de75285ebd093713..1e1806fad9a3b17a8e74c9fbeabff6cabd5261a1 100644 (file)
--- a/src/bin/pgbench/pgbench.c
+++ b/src/bin/pgbench/pgbench.c
@@ -961,7 +961,29 @@ evaluateExpr(CState *st, PgBenchExpr *expr, int64 *retval)
                            fprintf(stderr, "division by zero\n");
                            return false;
                        }
-                       *retval = lval / rval;
+
+                       /*
+                        * INT64_MIN / -1 is problematic, since the result
+                        * can't be represented on a two's-complement machine.
+                        * Some machines produce INT64_MIN, some produce zero,
+                        * some throw an exception. We can dodge the problem
+                        * by recognizing that division by -1 is the same as
+                        * negation.
+                        */
+                       if (rval == -1)
+                       {
+                           *retval = -lval;
+
+                           /* overflow check (needed for INT64_MIN) */
+                           if (lval == PG_INT64_MIN)
+                           {
+                               fprintf(stderr, "bigint out of range\n");
+                               return false;
+                           }
+                       }
+                       else
+                           *retval = lval / rval;
+
                        return true;
 
                    case '%':
@@ -970,7 +992,17 @@ evaluateExpr(CState *st, PgBenchExpr *expr, int64 *retval)
                            fprintf(stderr, "division by zero\n");
                            return false;
                        }
-                       *retval = lval % rval;
+
+                       /*
+                        * Some machines throw a floating-point exception for
+                        * INT64_MIN % -1.  Dodge that problem by noting that
+                        * any value modulo -1 is 0.
+                        */
+                       if (rval == -1)
+                           *retval = 0;
+                       else
+                           *retval = lval % rval;
+
                        return true;
                }