From 1e34a38b1666ee94cd4441c4889bb412bc813eba Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 19 May 2013 22:14:50 -0700
Subject: g++ warnings.

---
 src/aig/aig/aigRet.c     | 2 +-
 src/aig/gia/giaIso.c     | 2 +-
 src/opt/sfm/sfmWin.c     | 2 +-
 src/proof/llb/llb2Flow.c | 2 +-
 src/proof/ssc/sscSim.c   | 2 +-
 src/sat/cnf/cnfFast.c    | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'src')

diff --git a/src/aig/aig/aigRet.c b/src/aig/aig/aigRet.c
index 1cf45ebe..c36e8709 100644
--- a/src/aig/aig/aigRet.c
+++ b/src/aig/aig/aigRet.c
@@ -277,7 +277,7 @@ void Rtm_ObjAddFirst2( Rtm_Man_t * p, Rtm_Edg_t * pEdge, Rtm_Init_t Val )
 void Rtm_PrintEdge( Rtm_Man_t * p, Rtm_Edg_t * pEdge ) 
 {
 //    unsigned LData = pEdge->LData;
-    printf( "%d : ", pEdge->nLats );
+    printf( "%d : ", (int)pEdge->nLats );
 /*
     if ( pEdge->nLats > 10 )
         Extra_PrintBinary( stdout, p->pExtra + pEdge->LData, 2*(pEdge->nLats+1) );
diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c
index 8a2b74c8..fcb7f363 100644
--- a/src/aig/gia/giaIso.c
+++ b/src/aig/gia/giaIso.c
@@ -511,7 +511,7 @@ void Gia_IsoSimulateBack( Gia_IsoMan_t * p, int Iter )
 ***********************************************************************/
 void Gia_IsoAssignOneClass2( Gia_IsoMan_t * p )
 {
-    int i, iBegin, nSize = -1;
+    int i, iBegin = -1, nSize = -1;
     // find two variable class
     assert( Vec_IntSize(p->vClasses) > 0 );
     Vec_IntForEachEntryDouble( p->vClasses, iBegin, nSize, i )
diff --git a/src/opt/sfm/sfmWin.c b/src/opt/sfm/sfmWin.c
index 2dd98806..c8f0af61 100644
--- a/src/opt/sfm/sfmWin.c
+++ b/src/opt/sfm/sfmWin.c
@@ -112,7 +112,7 @@ int Sfm_NtkWindow( Sfm_Ntk_t * p, int iNode )
 void Sfm_NtkWin2Sat( Sfm_Ntk_t * p )
 {
     Vec_Int_t * vClause;
-    int RetValue, Lit, iNode, iFanin, i, k;
+    int RetValue, Lit, iNode = -1, iFanin, i, k;
     sat_solver * pSat0 = sat_solver_new();
     sat_solver * pSat1 = sat_solver_new();
     sat_solver_setnvars( pSat0, 1 + Vec_IntSize(p->vLeaves) + Vec_IntSize(p->vNodes) + 2 * Vec_IntSize(p->vTfo) + Vec_IntSize(p->vRoots) );
diff --git a/src/proof/llb/llb2Flow.c b/src/proof/llb/llb2Flow.c
index f82fcf58..a04998fc 100644
--- a/src/proof/llb/llb2Flow.c
+++ b/src/proof/llb/llb2Flow.c
@@ -523,7 +523,7 @@ void Llb_ManCutPrint( Aig_Man_t * p, Vec_Ptr_t * vLower, Vec_Ptr_t * vUpper )
 ***********************************************************************/
 void Llb_ManResultPrint( Aig_Man_t * p, Vec_Ptr_t * vResult )
 {
-    Vec_Ptr_t * vLower, * vUpper;
+    Vec_Ptr_t * vLower, * vUpper = NULL;
     int i;
     Vec_PtrForEachEntryReverse( Vec_Ptr_t *, vResult, vLower, i )
     {
diff --git a/src/proof/ssc/sscSim.c b/src/proof/ssc/sscSim.c
index ae9a3eec..011e886a 100644
--- a/src/proof/ssc/sscSim.c
+++ b/src/proof/ssc/sscSim.c
@@ -179,7 +179,7 @@ void Ssc_GiaPrintPiPatterns( Gia_Man_t * p )
 {
     Gia_Obj_t * pObj;
     word * pSimAig;
-    int i, nWords = Gia_ObjSimWords( p );
+    int i;//, nWords = Gia_ObjSimWords( p );
     Gia_ManForEachCi( p, pObj, i )
     {
         pSimAig = Gia_ObjSimObj( p, pObj );
diff --git a/src/sat/cnf/cnfFast.c b/src/sat/cnf/cnfFast.c
index 9e436367..87af9520 100644
--- a/src/sat/cnf/cnfFast.c
+++ b/src/sat/cnf/cnfFast.c
@@ -147,7 +147,7 @@ word Cnf_CutDeriveTruth( Aig_Man_t * p, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes
     };
     static word C[2] = { 0, ~(word)0 };
     static word S[256];
-    Aig_Obj_t * pObj;
+    Aig_Obj_t * pObj = NULL;
     int i;
     assert( Vec_PtrSize(vLeaves) <= 6 && Vec_PtrSize(vNodes) > 0 );
     assert( Vec_PtrSize(vLeaves) + Vec_PtrSize(vNodes) <= 256 );
-- 
cgit v1.2.3