diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 23:15:05 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-20 23:15:05 -0700 |
commit | 2becb24a325aafa659b0608379d5c22f7fffe16b (patch) | |
tree | 4b8ca96527b8db9679d6f23b2110c751b30554c2 /src/aig/cnf/cnfData.c | |
parent | e2842beaca47941804d1893ac431f00b16c3e684 (diff) | |
download | abc-2becb24a325aafa659b0608379d5c22f7fffe16b.tar.gz abc-2becb24a325aafa659b0608379d5c22f7fffe16b.tar.bz2 abc-2becb24a325aafa659b0608379d5c22f7fffe16b.zip |
Bug fixes having to do with the use of chars.
Diffstat (limited to 'src/aig/cnf/cnfData.c')
-rw-r--r-- | src/aig/cnf/cnfData.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/cnf/cnfData.c b/src/aig/cnf/cnfData.c index e4798688..3d3cdf37 100644 --- a/src/aig/cnf/cnfData.c +++ b/src/aig/cnf/cnfData.c @@ -4548,9 +4548,9 @@ void Cnf_ReadMsops( char ** ppSopSizes, char *** ppSops ) // map chars into their numbers for ( i = 0; i < 256; i++ ) - Map[i] = -1; + Map[i] = (char)(-1); for ( i = 0; i < 81; i++ ) - Map[(int)s_Data3[i]] = i; + Map[(int)s_Data3[i]] = (char)i; // count the number of strings for ( Size = 0; s_Data4[Size] && Size < 100000; Size++ ); @@ -4562,7 +4562,7 @@ void Cnf_ReadMsops( char ** ppSopSizes, char *** ppSops ) for ( i = 0; i < Size; i++ ) for ( k = 0; k < 75; k++ ) if ( s_Data4[i][k] == ' ' ) - pMemory[i*75+k] = -1; + pMemory[i*75+k] = (char)(-1); else pMemory[i*75+k] = Map[(int)s_Data4[i][k]]; @@ -4573,7 +4573,7 @@ void Cnf_ReadMsops( char ** ppSopSizes, char *** ppSops ) pSops[0] = NULL; pPrev = pMemory; for ( k = 0, i = 1; i < 65536; k++ ) - if ( pMemory[k] == -1 ) + if ( pMemory[k] == (char)(-1) ) { pSopSizes[i] = pMemory + k - pPrev; pSops[i++] = pPrev; |