diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:42 -0800 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2017-11-23 23:32:42 -0800 |
| commit | 77ca1b747068d92731f12413fcc0e2d96414c8db (patch) | |
| tree | 948e2ffa53f2ba32f18df0ae4d77a89c790242c3 | |
| parent | d37cc72417614453e4e8535694426d953f421459 (diff) | |
| download | abc-77ca1b747068d92731f12413fcc0e2d96414c8db.tar.gz abc-77ca1b747068d92731f12413fcc0e2d96414c8db.tar.bz2 abc-77ca1b747068d92731f12413fcc0e2d96414c8db.zip | |
C++ compatibility: fix bad pointer comparison
| -rw-r--r-- | src/base/bac/bac.h | 2 | ||||
| -rw-r--r-- | src/bdd/dsd/dsd.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/bac/bac.h b/src/base/bac/bac.h index 27792363..bbc8a5fb 100644 --- a/src/base/bac/bac.h +++ b/src/base/bac/bac.h @@ -650,7 +650,7 @@ static inline void Bac_NtkPrintStats( Bac_Ntk_t * p ) printf( "clp =%7d ", p->Count ); printf( "obj =%7d ", Bac_NtkObjNum(p) ); printf( "%s ", Bac_NtkName(p) ); - if ( Bac_NtkHostNtk(p) > 0 ) + if ( Bac_NtkHostNtk(p) ) printf( "-> %s", Bac_NtkName(Bac_NtkHostNtk(p)) ); printf( "\n" ); } diff --git a/src/bdd/dsd/dsd.h b/src/bdd/dsd/dsd.h index 49fe4552..83757951 100644 --- a/src/bdd/dsd/dsd.h +++ b/src/bdd/dsd/dsd.h @@ -78,7 +78,7 @@ typedef enum Dsd_Type_t_ Dsd_Type_t; #define Dsd_NodeForEachChild( Node, Index, Child ) \ for ( Index = 0; \ Index < Dsd_NodeReadDecsNum(Node) && \ - ((Child = Dsd_NodeReadDec(Node,Index))>=0); \ + ((Child = Dsd_NodeReadDec(Node,Index))!=0); \ Index++ ) //////////////////////////////////////////////////////////////////////// |