[project @ 1997-10-09 09:08:06 by simonm]

Avoid divide by zero if the measured elapsed time is 0.00 seconds.

diff --git a/ghc/runtime/storage/SMstats.lc b/ghc/runtime/storage/SMstats.lc
index b10db26..f67c4e7 100644 (file)
--- 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_));
        }