diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-23 19:56:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-23 19:56:26 -0700 |
| commit | 85a94766a6b4e1870279110a8620cba92832367f (patch) | |
| tree | cd387f17e1110d079e313043ca912e264602f2d5 /src/opt | |
| parent | 67c47fa44aaa566d10abb154b3f89a9d427f5581 (diff) | |
| download | abc-85a94766a6b4e1870279110a8620cba92832367f.tar.gz abc-85a94766a6b4e1870279110a8620cba92832367f.tar.bz2 abc-85a94766a6b4e1870279110a8620cba92832367f.zip | |
Compiler warnings.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/fxu/fxuReduce.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/opt/fxu/fxuReduce.c b/src/opt/fxu/fxuReduce.c index 7542a432..84e2bf87 100644 --- a/src/opt/fxu/fxuReduce.c +++ b/src/opt/fxu/fxuReduce.c @@ -86,8 +86,7 @@ int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTota assert( iPair == nPairsTotal ); // allocate storage for counters of cube pairs by difference - pnPairCounters = ABC_FALLOC( int, 2 * nBitsMax ); - memset( pnPairCounters, 0, sizeof(int) * 2 * nBitsMax ); + pnPairCounters = ABC_CALLOC( int, 2 * nBitsMax ); // count the number of different pairs for ( k = 0; k < nPairsTotal; k++ ) pnPairCounters[ pnLitsDiff[k] ]++; |