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/opt | |
| 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/opt')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index e2e52cb2..6f970b62 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -95,7 +95,7 @@ word Dau_DsdToTruth_rec( char ** p ) assert( (**p == '<') == (*q == '>') ); if ( **p == '(' ) // and/or { - Res = ~0; + Res = ~(word)0; for ( (*p)++; *p < q; (*p)++ ) Res &= Dau_DsdToTruth_rec( p ); } @@ -126,7 +126,7 @@ word Dau_DsdToTruth( char * p ) if ( *p == '0' ) Res = 0; else if ( *p == '1' ) - Res = ~0; + Res = ~(word)0; else Res = Dau_DsdToTruth_rec( &p ); assert( *++p == 0 ); @@ -239,7 +239,7 @@ int Dau_DsdPerform_rec( word t, char * pBuffer, int Pos, int * pVars, int nVars pBuffer[Pos++] = ')'; return Pos; } - if ( Cof0[v] == ~0 ) // !(ax) + if ( Cof0[v] == ~(word)0 ) // !(ax) { pBuffer[Pos++] = '!'; pBuffer[Pos++] = '('; @@ -257,7 +257,7 @@ int Dau_DsdPerform_rec( word t, char * pBuffer, int Pos, int * pVars, int nVars pBuffer[Pos++] = ')'; return Pos; } - if ( Cof1[v] == ~0 ) // !(!ax) + if ( Cof1[v] == ~(word)0 ) // !(!ax) { pBuffer[Pos++] = '!'; pBuffer[Pos++] = '('; @@ -397,7 +397,7 @@ char * Dau_DsdPerform( word t ) int Pos = 0; if ( t == 0 ) pBuffer[Pos++] = '0'; - else if ( t == ~0 ) + else if ( t == ~(word)0 ) pBuffer[Pos++] = '1'; else Pos = Dau_DsdPerform_rec( t, pBuffer, Pos, pVarsNew, 6 ); |