Compiler warnings.

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)) );
     }

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) );

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;