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 b10db26..f67c4e7 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_));
 	}
-- 
1.7.10.4