diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 23:40:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 23:40:23 -0800 |
| commit | 97856d021a1282cf3fb9a86701fff3ec403fe912 (patch) | |
| tree | 7dbd5471eb417540ad39fa6079ac8c32a2e06222 /src/aig/saig/saigSwitch.c | |
| parent | 791b107e7a225103ee76c921c3c4a96d0e1adae2 (diff) | |
| download | abc-97856d021a1282cf3fb9a86701fff3ec403fe912.tar.gz abc-97856d021a1282cf3fb9a86701fff3ec403fe912.tar.bz2 abc-97856d021a1282cf3fb9a86701fff3ec403fe912.zip | |
Silencing some of the gcc warnings.
Diffstat (limited to 'src/aig/saig/saigSwitch.c')
| -rw-r--r-- | src/aig/saig/saigSwitch.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigSwitch.c b/src/aig/saig/saigSwitch.c index 01411c05..832d674b 100644 --- a/src/aig/saig/saigSwitch.c +++ b/src/aig/saig/saigSwitch.c @@ -268,7 +268,7 @@ Vec_Int_t * Saig_ManComputeSwitchProb4s( Aig_Man_t * p, int nFrames, int nPref, Saig_SimObj_t * pAig, * pEntry; Vec_Int_t * vSwitching; float * pSwitching; - int nFramesReal, clk, clkTotal = clock(); + int nFramesReal, clk;//, clkTotal = clock(); vSwitching = Vec_IntStart( Aig_ManObjNumMax(p) ); pSwitching = (float *)vSwitching->pArray; clk = clock(); @@ -557,7 +557,7 @@ Aig_CMan_t * Aig_CManCreate( Aig_Man_t * p ) Aig_CManAddPo( pCMan, (Aig_ObjFaninId0(pObj) << 1) | Aig_ObjFaninC0(pObj) ); printf( "\nBytes alloc = %5d. Bytes used = %7d. Ave per node = %4.2f. \n", - pCMan->nBytes, pCMan->pCur - pCMan->Data, + pCMan->nBytes, (int)(pCMan->pCur - pCMan->Data), 1.0 * (pCMan->pCur - pCMan->Data) / (pCMan->nNodes + pCMan->nOuts ) ); // Aig_CManStop( pCMan ); return pCMan; |