diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-22 11:41:17 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-22 11:41:17 +0700 |
| commit | 2e56f44c66739f5deeaddce31cce2c081bd21943 (patch) | |
| tree | dd701099fab9dfd63c23fa2f3f883f6486e53a99 /src/sat/bmc/bmcBmcAnd.c | |
| parent | 66af4ae6d16d818f8a12a4b19d2a28aef1a708a7 (diff) | |
| download | abc-2e56f44c66739f5deeaddce31cce2c081bd21943.tar.gz abc-2e56f44c66739f5deeaddce31cce2c081bd21943.tar.bz2 abc-2e56f44c66739f5deeaddce31cce2c081bd21943.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/bmc/bmcBmcAnd.c')
| -rw-r--r-- | src/sat/bmc/bmcBmcAnd.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/bmc/bmcBmcAnd.c b/src/sat/bmc/bmcBmcAnd.c index 3490d34f..04d44353 100644 --- a/src/sat/bmc/bmcBmcAnd.c +++ b/src/sat/bmc/bmcBmcAnd.c @@ -466,7 +466,7 @@ Gia_Man_t * Gia_ManBmcDupCone( Gia_Man_t * p, Vec_Int_t * vIns, Vec_Int_t * vNod ***********************************************************************/ int Gia_ManBmcAssignVarIds( Bmc_Mna_t * p, Vec_Int_t * vIns, Vec_Int_t * vUsed, Vec_Int_t * vOuts ) { - int i, iObj, VarC0 = p->nSatVars++; + int i, iObj = 0, VarC0 = p->nSatVars++; Vec_IntForEachEntry( vIns, iObj, i ) if ( Vec_IntEntry( p->vId2Var, iObj ) == 0 ) Vec_IntWriteEntry( p->vId2Var, iObj, p->nSatVars++ ); @@ -504,7 +504,7 @@ void Gia_ManBmcAddCnf( Bmc_Mna_t * p, Gia_Man_t * pGia, Vec_Int_t * vIns, Vec_In Cnf_Dat_t * pCnf = Cnf_Derive( pAig, Aig_ManCoNum(pAig) ); Vec_Int_t * vUsed, * vMap; Gia_Obj_t * pObj; - int i, iObj, VarC0; + int i, iObj = 0, VarC0; // collect used variables vUsed = Vec_IntAlloc( pCnf->nVars - Vec_IntSize(vIns) - Vec_IntSize(vOuts) ); Gia_ManForEachAnd( pNew, pObj, i ) |