diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-10 17:40:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-10 17:40:34 -0800 |
| commit | 1bdbea66120292d821fc594b9a6637135bde6244 (patch) | |
| tree | d51de58204cc1fe1b0337350e4ba8fcbd3e7b045 | |
| parent | 8bff9aa1cd118028db47d886254dc4c76c516166 (diff) | |
| download | abc-1bdbea66120292d821fc594b9a6637135bde6244.tar.gz abc-1bdbea66120292d821fc594b9a6637135bde6244.tar.bz2 abc-1bdbea66120292d821fc594b9a6637135bde6244.zip | |
Compiler warnings.
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 | ||||
| -rw-r--r-- | src/proof/pdr/pdrCore.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 2a0fe6e3..56d1d29d 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -252,12 +252,12 @@ Gia_Man_t * Gia_ManDupAbs( Gia_Man_t * p, Vec_Int_t * vMapPpi2Ff, Vec_Int_t * vM } Vec_IntForEachEntry( vMapFf2Ppi, Used, Flop ) { + pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop ); if ( Used >= 0 ) { assert( pObj->Value != ~0 ); continue; } - pObj = Gia_ManCi( p, Gia_ManPiNum(p) + Flop ); assert( pObj->Value == ~0 ); pObj->Value = Gia_ManAppendCi(pNew); } diff --git a/src/proof/pdr/pdrCore.c b/src/proof/pdr/pdrCore.c index 47f0ac8b..fb35269d 100644 --- a/src/proof/pdr/pdrCore.c +++ b/src/proof/pdr/pdrCore.c @@ -863,7 +863,7 @@ int Pdr_ManSolveInt( Pdr_Man_t * p ) { if ( p->pPars->fUseAbs && iFrame == 2 ) { - int i, Prio, Num = Saig_ManPiNum(p->pAig); + int i, Prio; assert( p->vAbsFlops == NULL ); p->vAbsFlops = Vec_IntStart( Saig_ManRegNum(p->pAig) ); p->vMapFf2Ppi = Vec_IntStartFull( Saig_ManRegNum(p->pAig) ); |