From 4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 9 Oct 2012 09:23:08 -0700 Subject: Making explicit cast to 64-bit unsigned in a few places. --- src/sat/cnf/cnfFast.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat') 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 ); -- cgit v1.2.3