From 2f88284d7b5dd2fc7e9d1141d8818a6349f15194 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 12 Dec 2018 10:47:53 -0800
Subject: Fixing float overflow during edge-flow computation in 'if' mapper.

---
 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 47127fda..9d884e75 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -953,18 +953,22 @@ float If_CutAreaFlow( If_Man_t * p, If_Cut_t * pCut )
 float If_CutEdgeFlow( If_Man_t * p, If_Cut_t * pCut )
 {
     If_Obj_t * pLeaf;
-    float Flow;
+    float Flow, AddOn;
     int i;
     Flow = pCut->nLeaves;
     If_CutForEachLeaf( p, pCut, pLeaf, i )
     {
         if ( pLeaf->nRefs == 0 || If_ObjIsConst1(pLeaf) )
-            Flow += If_ObjCutBest(pLeaf)->Edge;
+            AddOn = If_ObjCutBest(pLeaf)->Edge;
         else 
         {
             assert( pLeaf->EstRefs > p->fEpsilon );
-            Flow += If_ObjCutBest(pLeaf)->Edge / pLeaf->EstRefs;
+            AddOn = If_ObjCutBest(pLeaf)->Edge / pLeaf->EstRefs;
         }
+        if ( Flow >= (float)1e32 || AddOn >= (float)1e32 )
+            Flow = (float)1e32;
+        else 
+            Flow += AddOn;
     }
     return Flow;
 }
-- 
cgit v1.2.3