3 files changed, 4 insertions, 4 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 2eb665bb..402ce21b 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -816,7 +816,7 @@ static Vec_Bit_t * Wlc_NtkMarkLimit( Wlc_Ntk_t * p, Wlc_Par_t * pPars )
     Vec_Ptr_t * vMults = Vec_PtrAlloc( 1000 );
     Vec_Ptr_t * vFlops = Vec_PtrAlloc( 1000 );
     Wlc_Obj_t * pObj; int i;
-    Int_Pair_t * pPair;
+    Int_Pair_t * pPair = NULL;
 
     if ( pPars->nLimit == ABC_INFINITY )
         return NULL;
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c
index 72ce86bf..47564d14 100644
--- a/src/base/wlc/wlcNtk.c
+++ b/src/base/wlc/wlcNtk.c
@@ -94,7 +94,7 @@ static char * Wlc_Names[WLC_OBJ_NUMBER+1] = {
     NULL                   // 58: unused
 };
 
-char * Wlc_ObjTypeName( Wlc_Obj_t * p ) { return p ? (p->Type < WLC_OBJ_NUMBER ? Wlc_Names[p->Type] : "out_of_bound") : "no_obj"; }
+char * Wlc_ObjTypeName( Wlc_Obj_t * p ) { return p ? (p->Type < WLC_OBJ_NUMBER ? Wlc_Names[p->Type] : (char *)"out_of_bound") : (char *)"no_obj"; }
 
 ////////////////////////////////////////////////////////////////////////
 ///                     FUNCTION DEFINITIONS                         ///
@@ -489,7 +489,7 @@ static inline void Wlc_NtkPrintDistribAddOne( Vec_Ptr_t * vTypes, Vec_Ptr_t * vO
 {
     Vec_Wrd_t * vType  = (Vec_Wrd_t *)Vec_PtrEntry( vTypes, Type );
     Vec_Wrd_t * vOccur = (Vec_Wrd_t *)Vec_PtrEntry( vOccurs, Type );
-    word Entry; int i;
+    word Entry = 0; int i;
     Vec_WrdForEachEntry( vType, Entry, i )
         if ( Entry == Sign )
         {
diff --git a/src/base/wlc/wlcShow.c b/src/base/wlc/wlcShow.c
index f43f8baa..59f42db5 100644
--- a/src/base/wlc/wlcShow.c
+++ b/src/base/wlc/wlcShow.c
@@ -362,7 +362,7 @@ void Wlc_NtkShow( Wlc_Ntk_t * p, Vec_Int_t * vBold )
     FILE * pFile;
     char FileNameDot[200];
     char * pName = Extra_FileDesignName(p->pName);
-    char * pSpec = p->pSpec ? Extra_FileDesignName(p->pSpec) : "unknown";
+    char * pSpec = p->pSpec ? Extra_FileDesignName(p->pSpec) : (char *)"unknown";
     sprintf( FileNameDot, "%s_%s.dot", pName, pSpec );
     ABC_FREE( pName );
     if ( strcmp(pSpec, "unknown") )