From 6bda7ca8f4175b9dcdd4b033e17f42ed4faf6129 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 10 Feb 2015 10:55:38 -0800 Subject: Adding resource limit to 'fx'. --- src/base/abc/abcUtil.c | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 9309f1e8..b1fc6855 100644 --- 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 ); - nCubePairs += nCubes * (nCubes - 1) / 2; + nCubes = (word)Abc_SopGetCubeNum( (char *)pNode->pData ); + if ( nCubes > 1 ) + nCubePairs += nCubes * (nCubes - 1) / 2; } - return nCubePairs; + return (int)(nCubePairs > (1<<30) ? (1<<30) : nCubePairs); } /**Function************************************************************* -- cgit v1.2.3