From fafe43bda8a57c1b305643537a55419acae101a8 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Thu, 9 Oct 1997 09:08:06 +0000
Subject: [PATCH] [project @ 1997-10-09 09:08:06 by simonm] Avoid divide by
zero if the measured elapsed time is 0.00 seconds.
---
ghc/runtime/storage/SMstats.lc | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/ghc/runtime/storage/SMstats.lc b/ghc/runtime/storage/SMstats.lc
index b10db260f477..f67c4e7ae16d 100644
--- a/ghc/runtime/storage/SMstats.lc
+++ b/ghc/runtime/storage/SMstats.lc
@@ -456,6 +456,11 @@ stat_exit(I_ alloc)
StgDouble time = usertime();
StgDouble etime = elapsedtime();
+ /* avoid divide by zero if time is measured as 0.00 seconds -- SDM */
+ if (time == 0.0) time = 0.0001;
+ if (etime == 0.0) etime = 0.0001;
+
+
if (RTSflags.GcFlags.giveStats) {
fprintf(sf, "%8ld\n\n", alloc*sizeof(W_));
}
--
GitLab