diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
| commit | f33c3007b2641f6f17c3511cb6f56d68d0b05453 (patch) | |
| tree | 608b591a890beabfce474398ecf81be44086546b /src/aig | |
| parent | dd52905fa394bb276cee1442c680f8c02937b7fb (diff) | |
| download | abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.gz abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.bz2 abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaIf.c | 3 | ||||
| -rw-r--r-- | src/aig/gia/giaStg.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaTest.c | 4 |
3 files changed, 5 insertions, 4 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; } |