diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-01 19:24:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-02-01 19:24:55 -0800 |
| commit | 7b419f904135324d3da0366abfa105137ed1d22a (patch) | |
| tree | d4b012589d60480043803e3027fe49834f700fe6 | |
| parent | b8db17b47862119f2e2d0a9753b7e65b9c76faa8 (diff) | |
| download | abc-7b419f904135324d3da0366abfa105137ed1d22a.tar.gz abc-7b419f904135324d3da0366abfa105137ed1d22a.tar.bz2 abc-7b419f904135324d3da0366abfa105137ed1d22a.zip | |
Compiler warning.
| -rw-r--r-- | src/base/wlc/wlcNdr.c | 2 | ||||
| -rw-r--r-- | src/base/wln/wlnNdr.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c index 9ced4e18..f2c38a65 100644 --- a/src/base/wlc/wlcNdr.c +++ b/src/base/wlc/wlcNdr.c @@ -356,7 +356,7 @@ void Wlc_NtkCheckIntegrity( void * pData ) int Type = Ndr_ObjReadBody( p, Obj, NDR_OPERTYPE ); int i, * pArray, nArray = Ndr_ObjReadArray( p, Obj, NDR_INPUT, &pArray ); for ( i = 0; i < nArray; i++ ) - if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 && !(Type == ABC_OPER_DFFRSE && (i >= 5 || i <= 7)) ) + if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 && !(Type == ABC_OPER_DFFRSE && (i >= 5 && i <= 7)) ) printf( "Input name %d appearing as fanin %d of obj %d is not used as output name in any object.\n", pArray[i], i, Obj ); } Vec_IntFree( vMap ); diff --git a/src/base/wln/wlnNdr.c b/src/base/wln/wlnNdr.c index 411dfaeb..00f2a144 100644 --- a/src/base/wln/wlnNdr.c +++ b/src/base/wln/wlnNdr.c @@ -174,7 +174,7 @@ void Wln_NtkCheckIntegrity( void * pData ) int Type = Ndr_ObjReadBody( p, Obj, NDR_OPERTYPE ); int i, * pArray, nArray = Ndr_ObjReadArray( p, Obj, NDR_INPUT, &pArray ); for ( i = 0; i < nArray; i++ ) - if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 && !(Type == ABC_OPER_DFFRSE && (i >= 5 || i <= 7)) ) + if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 && !(Type == ABC_OPER_DFFRSE && (i >= 5 && i <= 7)) ) printf( "Input name %d appearing as fanin %d of obj %d is not used as output name in any object.\n", pArray[i], i, Obj ); } Vec_IntFree( vMap ); |