From e3cd1048107824bb060c9ade2b1ab66a3c219801 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 12 Mar 2019 23:25:20 +0100
Subject: Updated NPN classification code (compiler warnings).

---
 src/opt/dau/dauCanon.c | 3 ++-
 src/opt/dau/dauNpn2.c  | 6 +++---
 2 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/opt')

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 );
         }
     }
-- 
cgit v1.2.3