5 files changed, 9 insertions, 8 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 54af1224..931fa4a1 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -844,6 +844,7 @@ int Gia_ManFromIfStrNode( Gia_Man_t * pNew, int iObj, Vec_Int_t * vLeaves, Vec_I
             // write packing
             Vec_IntPush( vPacking, 2 );
             Vec_IntPush( vPacking, Abc_Lit2Var(iObjLit1) );
+            iObjLit2 = -1;
         }
 /*
         // write root node
@@ -1093,7 +1094,7 @@ void Gia_ManTransferPacking( Gia_Man_t * pGia, Gia_Man_t * p )
 {
     Vec_Int_t * vPackingNew;
     Gia_Obj_t * pObj, * pObjNew;
-    int i, k, Entry, nEntries, nEntries2, MaxSize = -1;
+    int i, k, Entry, nEntries, nEntries2;
     if ( pGia->vPacking == NULL )
         return;
     nEntries = Vec_IntEntry( pGia->vPacking, 0 );
diff --git a/src/aig/gia/giaStg.c b/src/aig/gia/giaStg.c
index 0cb9f4ea..40c40139 100644
--- a/src/aig/gia/giaStg.c
+++ b/src/aig/gia/giaStg.c
@@ -204,7 +204,7 @@ Vec_Int_t * Gia_ManStgReadLines( char * pFileName, int * pnIns, int * pnOuts, in
     FILE * pFile;
     if ( !strcmp(pFileName + strlen(pFileName) - 3, "aig") )
     {
-        printf( "Input file \"%s\" has extension \"aig\".\n", pFileName, "aig" );
+        printf( "Input file \"%s\" has extension \"%s\".\n", pFileName, "aig" );
         return NULL;
     }
     pFile = fopen( pFileName, "rb" );
diff --git a/src/aig/gia/giaTest.c b/src/aig/gia/giaTest.c
index 73a199e5..15f3c69b 100644
--- a/src/aig/gia/giaTest.c
+++ b/src/aig/gia/giaTest.c
@@ -126,7 +126,7 @@ static inline void         Mig_ObjSetId( Mig_Obj_t * p, int v )                {
 static inline int          Mig_ObjCioId( Mig_Obj_t * p )                       { assert( Mig_ObjIsTerm(p) ); return Mig_FanId( p, 2 );      }
 static inline void         Mig_ObjSetCioId( Mig_Obj_t * p, int v )             { assert( Mig_ObjIsTerm(p) ); Mig_FanSetId( p, 2, v );       }
 static inline int          Mig_ObjPhase( Mig_Obj_t * p )                       { return Mig_FanCompl( p, 2 );                               }
-static inline int          Mig_ObjSetPhase( Mig_Obj_t * p, int v )             { Mig_FanSetCompl( p, 2, 1 );                                }
+static inline void         Mig_ObjSetPhase( Mig_Obj_t * p, int v )             { Mig_FanSetCompl( p, 2, 1 );                                }
 
 static inline Mig_Man_t *  Mig_ObjMan( Mig_Obj_t * p )                         { return *((Mig_Man_t**)(p - Mig_IdCell(Mig_ObjId(p)) - 1)); }
 static inline Mig_Obj_t ** Mig_ObjPageP( Mig_Obj_t * p )                       { return *((Mig_Obj_t***)(p - Mig_IdCell(Mig_ObjId(p))) - 1);} 
@@ -803,7 +803,7 @@ static inline int Mpm_ObjDeriveCut( Mpm_Man_t * p, Mpm_Cut_t * pCut0, Mpm_Cut_t
         }
     }
     pCut->hNext    =  0;
-    pCut->iFunc    = ~(unsigned)0;
+    pCut->iFunc    =  0;  pCut->iFunc = ~pCut->iFunc;
     pCut->fUseless =  0;
     return 1;
 }
diff --git a/src/proof/abs/absOldRef.c b/src/proof/abs/absOldRef.c
index 3199803f..6cc5ff6d 100644
--- a/src/proof/abs/absOldRef.c
+++ b/src/proof/abs/absOldRef.c
@@ -411,7 +411,7 @@ Vec_Int_t * Saig_ManCexAbstractionFlops( Aig_Man_t * p, Gia_ParAbs_t * pPars )
     int nUseStart = 0;
     Aig_Man_t * pAbs, * pTemp;
     Vec_Int_t * vFlops;
-    int Iter, clk = clock(), clk2 = clock();//, iFlop;
+    int Iter;//, clk = clock(), clk2 = clock();//, iFlop;
     assert( Aig_ManRegNum(p) > 0 );
     if ( pPars->fVerbose )
         printf( "Performing counter-example-based refinement.\n" );
diff --git a/src/sat/bmc/bmcUnroll.c b/src/sat/bmc/bmcUnroll.c
index b9c414ca..c4a5a265 100644
--- a/src/sat/bmc/bmcUnroll.c
+++ b/src/sat/bmc/bmcUnroll.c
@@ -210,7 +210,7 @@ void Unr_ManSetup( Unr_Man_t * p )
     // create const0 node
     pUnrObj = Unr_ManObj( p, pInts - p->pObjs );
     pUnrObj->RankMax = 1;
-    pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL;
+    pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL;
     pUnrObj->Res[0]  = 0; // const0
     pInts += sizeof(Unr_Obj_t) / sizeof(int);
     // mark up the entries
@@ -224,7 +224,7 @@ void Unr_ManSetup( Unr_Man_t * p )
         {
             pObj = Gia_ManObj( p->pGia, iObj );
             pUnrObj = Unr_ManObj( p, pInts - p->pObjs );
-            pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL;
+            pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL;
             if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) )
             {
                 pUnrObj->hFan0   = Vec_IntEntry( vMap, Gia_ObjFaninId0(pObj, iObj) );
@@ -433,7 +433,7 @@ Gia_Man_t * Unr_ManUnrollSimple( Gia_Man_t * pGia, int nFrames )
 void Unr_ManTest( Gia_Man_t * pGia )
 {
 //    Gia_Man_t * pFrames0, * pFrames1;
-    int nFrames = 10;
+//    int nFrames = 10;
     Unr_Man_t * p;
     p = Unr_ManAlloc( pGia );
     Unr_ManSetup( p );