From f33c3007b2641f6f17c3511cb6f56d68d0b05453 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 21 Feb 2013 12:22:58 -0800
Subject: Compiler warnings.

---
 src/aig/gia/giaIf.c   | 3 ++-
 src/aig/gia/giaStg.c  | 2 +-
 src/aig/gia/giaTest.c | 4 ++--
 3 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/aig')

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;
 }
-- 
cgit v1.2.3