From bf6a053c648576c1e5493f2d5390eb78b2e3df1c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 1 Jul 2017 13:48:31 -0700
Subject: Saturating floating point computation.

---
 src/map/if/ifCut.c | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/map')

diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c
index 9b8d75ad..667a21c5 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -919,18 +919,22 @@ void If_CutLift( If_Cut_t * pCut )
 float If_CutAreaFlow( If_Man_t * p, If_Cut_t * pCut )
 {
     If_Obj_t * pLeaf;
-    float Flow;
+    float Flow, AddOn;
     int i;
     Flow = If_CutLutArea(p, pCut);
     If_CutForEachLeaf( p, pCut, pLeaf, i )
     {
         if ( pLeaf->nRefs == 0 || If_ObjIsConst1(pLeaf) )
-            Flow += If_ObjCutBest(pLeaf)->Area;
+            AddOn = If_ObjCutBest(pLeaf)->Area;
         else 
         {
             assert( pLeaf->EstRefs > p->fEpsilon );
-            Flow += If_ObjCutBest(pLeaf)->Area / pLeaf->EstRefs;
+            AddOn = If_ObjCutBest(pLeaf)->Area / pLeaf->EstRefs;
         }
+        if ( Flow >= (float)1e32 || AddOn >= (float)1e32 )
+            Flow = (float)1e32;
+        else 
+            Flow += AddOn;
     }
     return Flow;
 }
-- 
cgit v1.2.3