From bfe482e9e8ba93fa53c28e3dd3f1ef8e47c8e535 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Tue, 14 Aug 2018 09:51:41 +0100
Subject: [PATCH] Avoid division by zero.

Copied from Perforce
 Change: 194983
---
 mps/code/arena.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/mps/code/arena.c b/mps/code/arena.c
index dc0965be496..b505007e723 100644
--- a/mps/code/arena.c
+++ b/mps/code/arena.c
@@ -249,8 +249,9 @@ static Res ArenaAbsInit(Arena arena, Size grainSize, ArgList args)
     commitLimit = arg.val.size;
   /* MPS_KEY_SPARE_COMMIT_LIMIT is deprecated */
   if (ArgPick(&arg, args, MPS_KEY_SPARE_COMMIT_LIMIT)) {
-    spare = (double)arg.val.size / (double)commitLimit;
-    if (spare > 1.0)
+    if (0 < commitLimit && commitLimit <= arg.val.size)
+      spare = (double)arg.val.size / (double)commitLimit;
+    else
       spare = 1.0;
   }
   if (ArgPick(&arg, args, MPS_KEY_SPARE))