diff options
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauCanon.c | 3 | ||||
| -rw-r--r-- | src/opt/dau/dauNpn2.c | 6 |
2 files changed, 5 insertions, 4 deletions
diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 2b5b9838..8f11614c 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -1274,6 +1274,7 @@ void Abc_TtHieManStop(Abc_TtHieMan_t * p) Vec_MemFreeP(&p->vTtMem[i]); Vec_IntFree(p->vRepres[i]); } + Vec_IntFree( p->vPhase ); ABC_FREE(p); } @@ -1520,7 +1521,7 @@ static int Abc_NextPermSwapC(char * pData, signed char * pDir, int size) return j < k ? j : k; } -typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); +//typedef unsigned(*TtCanonicizeFunc)(Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag); unsigned Abc_TtCanonicizeWrap(TtCanonicizeFunc func, Abc_TtHieMan_t * p, word * pTruth, int nVars, char * pCanonPerm, int flag) { int nWords = Abc_TtWordNum(nVars); diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index cf6a4f60..ff3bf8f4 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -774,7 +774,7 @@ void Dtt_MakeFormulaFI2( unsigned tFun, Dtt_FunImpl_t* pFun, Vec_Vec_t* vLibImpl { int j; Dtt_FunImpl_t* pImpl2; - char sFI2[100]; sprintf( sFI2, "" ); + char sFI2[100] = {0}; //sprintf( sFI2, "" ); if ( pFun->FI2 == 0 ) // PI { @@ -799,7 +799,7 @@ void Dtt_MakeFormula( unsigned tFun, Dtt_FunImpl_t* pFun, Vec_Vec_t* vLibImpl, i { int j; Dtt_FunImpl_t* pImpl1; - char sFI1[100], sCopy[100]; sprintf( sFI1, "" ); + char sFI1[100], sCopy[100] = {0}; //sprintf( sFI1, "" ); if ( pFun->FI1 == 0 ) // PI { @@ -986,7 +986,7 @@ void Dtt_DumpLibrary( Dtt_Man_t * p ) if ( i<2 ) continue; // skip const 0 and buffer Vec_VecForEachEntryLevel( Dtt_FunImpl_t*, vLibImpl, pFun, j, i ) { - sprintf( str, "" ); + str[0] = 0; //sprintf( str, "" ); Dtt_MakeFormula( (unsigned)Entry, pFun, vLibImpl, (4<<16)+(3<<12)+(2<<8)+(1<<4), str, 1, pFile ); } } |