4 files changed, 7 insertions, 5 deletions
diff --git a/src/aig/fra/fraClau.c b/src/aig/fra/fraClau.c
index fc239a40..919d0000 100644
--- a/src/aig/fra/fraClau.c
+++ b/src/aig/fra/fraClau.c
@@ -441,7 +441,6 @@ int Fra_ClauCheckClause( Cla_Man_t * p, Vec_Int_t * vClause, Vec_Int_t * vCex )
 {
     int nBTLimit = 0;
     int RetValue, iVar, i;
-    int nClauseSize = Vec_IntSize( vClause );
     // complement literals
     Vec_IntPush( vClause, toLit( p->nSatVarsTestCur++ ) ); // helper positive
     Vec_IntComplement( vClause ); // helper negative (the clause is C v h')
diff --git a/src/aig/fra/fraClaus.c b/src/aig/fra/fraClaus.c
index 6f0a2012..91b70702 100644
--- a/src/aig/fra/fraClaus.c
+++ b/src/aig/fra/fraClaus.c
@@ -813,7 +813,9 @@ clk = clock();
     p->nClauses = Vec_IntSize( p->vClauses );
     if ( Vec_IntSize( p->vClausesProven ) > 0 )
     {
-        int RetValue, k, Beg, End, * pStart;
+        int RetValue, k, Beg;
+        int End = -1; // Suppress "might be used uninitialized"
+        int * pStart;
         // reset the solver
         if ( p->pSatMain )  sat_solver_delete( p->pSatMain );
         p->pSatMain = Cnf_DataWriteIntoSolver( p->pCnf, 1, 0 );
diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c
index 89c4c677..ab076472 100644
--- a/src/aig/fra/fraInd.c
+++ b/src/aig/fra/fraInd.c
@@ -388,7 +388,8 @@ Aig_Man_t * Fra_FraigInduction( Aig_Man_t * pManAig, Fra_Ssw_t * pParams )
     Cnf_Dat_t * pCnf;
     Aig_Man_t * pManAigNew = NULL;
     int nNodesBeg, nRegsBeg;
-    int nIter, i, clk = clock(), clk2;
+    int nIter = -1; // Suppress "might be used uninitialized"
+    int i, clk = clock(), clk2;
     int TimeToStop = (pParams->TimeLimit == 0.0)? 0 : clock() + (int)(pParams->TimeLimit * CLOCKS_PER_SEC);
 
     if ( Aig_ManNodeNum(pManAig) == 0 )
diff --git a/src/aig/fra/fraPart.c b/src/aig/fra/fraPart.c
index f4964746..1766b978 100644
--- a/src/aig/fra/fraPart.c
+++ b/src/aig/fra/fraPart.c
@@ -76,7 +76,7 @@ clk = clock();
     {
         vSup = Vec_VecEntry( vSupps, i );
         Vec_IntForEachEntry( vSup, Entry, k )
-            Vec_VecPush( vSuppsIn, Entry, (void *)i );
+            Vec_VecPush( vSuppsIn, Entry, (void *)(PORT_PTRUINT_T)i );
     }
 PRT( "Inverse ", clock() - clk );
 
@@ -212,7 +212,7 @@ clk = clock();
             break;
         vSup = Vec_VecEntry( vSupps, i );
         Vec_IntForEachEntry( vSup, Entry, k )
-            Vec_VecPush( vSuppsIn, Entry, (void *)i );
+            Vec_VecPush( vSuppsIn, Entry, (void *)(PORT_PTRUINT_T)i );
     }
 PRT( "Inverse ", clock() - clk );