diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-22 11:41:17 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-07-22 11:41:17 +0700 |
| commit | 2e56f44c66739f5deeaddce31cce2c081bd21943 (patch) | |
| tree | dd701099fab9dfd63c23fa2f3f883f6486e53a99 /src/map/if | |
| parent | 66af4ae6d16d818f8a12a4b19d2a28aef1a708a7 (diff) | |
| download | abc-2e56f44c66739f5deeaddce31cce2c081bd21943.tar.gz abc-2e56f44c66739f5deeaddce31cce2c081bd21943.tar.bz2 abc-2e56f44c66739f5deeaddce31cce2c081bd21943.zip | |
Compiler warnings.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifDec07.c | 2 | ||||
| -rw-r--r-- | src/map/if/ifDec16.c | 4 | ||||
| -rw-r--r-- | src/map/if/ifDsd.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index 0200d347..1f3fea3e 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -1005,7 +1005,7 @@ void If_Dec5PerformTest() word z, t, t1; // s = If_Dec5PerformEx(); // t = If_Dec6Truth( s ); - t = 0xB0F3B0FFB0F3B0FF; + t = ABC_CONST(0xB0F3B0FFB0F3B0FF); Kit_DsdPrintFromTruth( (unsigned *)&t, 5 ); printf("\n"); diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 4b555bf8..b6591da9 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -977,9 +977,9 @@ int If_CluCountCofs( word * pF, int nVars, int nBSsize, int iShift, word pCofs[3 // return the number of cofactors w.r.t. the topmost vars (nBSsize) int If_CluCountCofs4( word * pF, int nVars, int nBSsize, word pCofs[6][CLU_WRD_MAX/4] ) { - word iCofs[128], iCof, Result0 = 0, Result1 = 0; + word iCofs[128] = {0}, iCof, Result0 = 0, Result1 = 0; int nMints = (1 << nBSsize); - int i, c, nCofs; + int i, c, nCofs = 0; assert( pCofs ); assert( nBSsize >= 2 && nBSsize <= 6 && nBSsize < nVars ); if ( nVars - nBSsize < 6 ) diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index f2cdc764..2094a5d9 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -1678,7 +1678,7 @@ int If_DsdManAddDsd_rec( char * pStr, char ** p, int * pMatches, If_DsdMan_t * p } if ( **p == '(' || **p == '[' || **p == '<' || **p == '{' ) // and/or/xor { - int Type, nLits = 0, pLits[DAU_MAX_VAR]; + int Type = 0, nLits = 0, pLits[DAU_MAX_VAR]; char * q = pStr + pMatches[ *p - pStr ]; if ( **p == '(' ) Type = DAU_DSD_AND; |