Adding resource limit to 'fx'.

6bda7ca8 · Alan Mishchenko · 44b31021 · 6bda7ca8
Commit 6bda7ca8 authored Feb 10, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 4 deletions

src/base/abc/abcUtil.c
+6 -4

No files found.
--- a/src/base/abc/abcUtil.c
+++ b/src/base/abc/abcUtil.c
@@ -138,17 +138,19 @@ int Abc_NtkGetCubeNum( Abc_Ntk_t * pNtk )
 int Abc_NtkGetCubePairNum( Abc_Ntk_t * pNtk )
 {
    Abc_Obj_t * pNode;
-    int i, nCubes, nCubePairs = 0;
+    int i;
+    word nCubes, nCubePairs = 0;
    assert( Abc_NtkHasSop(pNtk) );
    Abc_NtkForEachNode( pNtk, pNode, i )
    {
        if ( Abc_NodeIsConst(pNode) )
            continue;
        assert( pNode->pData );
-        nCubes = Abc_SopGetCubeNum( (char *)pNode->pData );
+        nCubes = (word)Abc_SopGetCubeNum( (char *)pNode->pData );
-        nCubePairs += nCubes * (nCubes - 1) / 2;
+        if ( nCubes > 1 )
+            nCubePairs += nCubes * (nCubes - 1) / 2;
    }
-    return nCubePairs;
+    return (int)(nCubePairs > (1<<30) ? (1<<30) : nCubePairs);
 }
 /**Function*************************************************************