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/gia/giaTest.c | |
| parent | dd52905fa394bb276cee1442c680f8c02937b7fb (diff) | |
| download | abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.gz abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.bz2 abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.zip | |
Compiler warnings.
Diffstat (limited to 'src/aig/gia/giaTest.c')
| -rw-r--r-- | src/aig/gia/giaTest.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } |