From ac4962eb2d35d905c2d0ae2d41905e8c4d1df157 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Jun 2013 11:32:24 -0700
Subject: Compiler warnings.

---
 src/aig/gia/giaMfs.c   | 1 +
 src/aig/gia/giaTruth.c | 1 -
 src/base/abci/abc.c    | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c
index aebbb58e..8a8e3686 100644
--- a/src/aig/gia/giaMfs.c
+++ b/src/aig/gia/giaMfs.c
@@ -317,6 +317,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, Vec_Int_t * vId2M
         iLitNew = Vec_IntEntry( vMfs2New, Vec_IntEntry(vArray, 0) );
         assert( iLitNew >= 0 );
         // create CO
+        pTruth = Sfm_NodeReadTruth( pNtk, iMfsId );
         assert( pTruth[0] == s_ElemVar || ~pTruth[0] == s_ElemVar );
         Gia_ManAppendCo( pNew, Abc_LitNotCond(iLitNew, (int)(pTruth[0] != s_ElemVar)) );
     }
diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c
index f8a9e043..0ba2f244 100644
--- a/src/aig/gia/giaTruth.c
+++ b/src/aig/gia/giaTruth.c
@@ -74,7 +74,6 @@ void Gia_ObjComputeTruthTable6Lut_rec( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTem
 }
 word Gia_ObjComputeTruthTable6Lut( Gia_Man_t * p, int iObj, Vec_Wrd_t * vTemp )
 {
-    Gia_Obj_t * pObj = Gia_ManObj( p, iObj );
     int i, Fanin;
     assert( Vec_WrdSize(vTemp) == Gia_ManObjNum(p) );
     assert( Gia_ObjIsLut(p, iObj) );
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index 74c697c9..ef973099 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -32061,7 +32061,7 @@ usage:
 ***********************************************************************/
 int Abc_CommandAbc9Test( Abc_Frame_t * pAbc, int argc, char ** argv )
 {
-    Gia_Man_t * pTemp = NULL;
+//    Gia_Man_t * pTemp = NULL;
     int c, fVerbose = 0;
     int nFrames = 3;
     int fSwitch = 0;
-- 
cgit v1.2.3