diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/cba/cbaNtk.c | 2 | ||||
| -rw-r--r-- | src/base/cba/cbaWriteVer.c | 1 | ||||
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 2 |
3 files changed, 2 insertions, 3 deletions
diff --git a/src/base/cba/cbaNtk.c b/src/base/cba/cbaNtk.c index f24ff589..435cd83a 100644 --- a/src/base/cba/cbaNtk.c +++ b/src/base/cba/cbaNtk.c @@ -60,7 +60,7 @@ int Cba_ManAssignInternTwo( Cba_Ntk_t * p, int iNum, Vec_Int_t * vMap ) } void Cba_ManPrepareBitNames( Cba_Ntk_t * p, Vec_Int_t * vMap, int * pnNames, Vec_Int_t * vRanges, Vec_Int_t * vNames ) { - int n = 0, i, k, Range; + int i, k, Range; Vec_IntClear( vNames ); Vec_IntForEachEntry( vRanges, Range, i ) { diff --git a/src/base/cba/cbaWriteVer.c b/src/base/cba/cbaWriteVer.c index 0480d75d..d2e3f802 100644 --- a/src/base/cba/cbaWriteVer.c +++ b/src/base/cba/cbaWriteVer.c @@ -212,7 +212,6 @@ void Cba_ManWriteLit( Cba_Ntk_t * p, int NameId, int iBit ) } void Cba_ManWriteSig( Cba_Ntk_t * p, int iObj ) { - Vec_Str_t * vStr = p->pDesign->vOut; int iNameId = Cba_ObjName(p, iObj); if ( Cba_NameType(iNameId) == CBA_NAME_BIN ) Cba_ManWriteLit( p, Abc_Lit2Var2(iNameId), -1 ); diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index b0ba07d7..09e13c7c 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -1465,7 +1465,7 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__ cuddCacheInsert2(dd, cuddBddIsop, L, U, r); *pnCubes = Count0 + Count1 + Count2; - if ( st__add_direct( table, (char *)r, (char *)*pnCubes ) == st__OUT_OF_MEM ) + if ( st__add_direct( table, (char *)r, (char *)(ABC_PTRINT_T)*pnCubes ) == st__OUT_OF_MEM ) { Cudd_RecursiveDeref( dd, r ); return NULL; |