diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
| commit | 4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54 (patch) | |
| tree | e60a62749972a1b404e6e15bbfc4558c0cf6b23f /src/sat/cnf | |
| parent | 7b9f4a278df2d6bced4dd32d00f1b57f33117119 (diff) | |
| download | abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.gz abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.bz2 abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.zip | |
Making explicit cast to 64-bit unsigned in a few places.
Diffstat (limited to 'src/sat/cnf')
| -rw-r--r-- | src/sat/cnf/cnfFast.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/cnf/cnfFast.c b/src/sat/cnf/cnfFast.c index c0202ad5..8dc9a7e3 100644 --- a/src/sat/cnf/cnfFast.c +++ b/src/sat/cnf/cnfFast.c @@ -145,7 +145,7 @@ word Cnf_CutDeriveTruth( Aig_Man_t * p, Vec_Ptr_t * vLeaves, Vec_Ptr_t * vNodes 0xFFFF0000FFFF0000, 0xFFFFFFFF00000000 }; - static word C[2] = { 0, ~0 }; + static word C[2] = { 0, ~(word)0 }; static word S[256]; Aig_Obj_t * pObj; int i; @@ -240,7 +240,7 @@ void Cnf_ComputeClauses( Aig_Man_t * p, Aig_Obj_t * pRoot, assert( Vec_PtrSize(vLeaves) <= 6 ); Truth = Cnf_CutDeriveTruth( p, vLeaves, vNodes ); - if ( Truth == 0 || Truth == ~0 ) + if ( Truth == 0 || Truth == ~(word)0 ) { Vec_IntPush( vClauses, 0 ); Vec_IntPush( vClauses, (Truth == 0) ? (OutLit ^ 1) : OutLit ); |