Skip to content

Commit 732abf5

Browse files
committed
Compiler warnings.
1 parent 2055b1b commit 732abf5

File tree

3 files changed

+5
-2
lines changed

3 files changed

+5
-2
lines changed

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ lib/m114*
1313
lib/bip*
1414
docs/
1515
.vscode/
16+
.cache/
1617

1718
src/ext*
1819
src/xxx/

src/map/if/acd/ac_decomposition.hpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -510,7 +510,7 @@ class ac_decomposition_impl
510510
}
511511
} while ( combinations_offset_next( free_set_size, offset, pComb, pInvPerm, tt ) );
512512

513-
std::array<uint32_t, max_num_vars> res_perm;
513+
std::array<uint32_t, max_num_vars> res_perm = {0};
514514

515515
if ( best_cost > ( 1 << ( ps.lut_size - free_set_size ) ) )
516516
{
@@ -543,7 +543,7 @@ class ac_decomposition_impl
543543
}
544544

545545
/* enumerate combinations */
546-
std::array<uint32_t, max_num_vars> res_perm;
546+
std::array<uint32_t, max_num_vars> res_perm = {0};
547547

548548
do
549549
{

src/opt/fxu/fxuReduce.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -84,6 +84,8 @@ int Fxu_PreprocessCubePairs( Fxu_Matrix * p, Vec_Ptr_t * vCovers, int nPairsTota
8484
nBitsMax = nFanins;
8585
}
8686
assert( iPair == nPairsTotal );
87+
if ( nBitsMax == -1 )
88+
nBitsMax = 0;
8789

8890
// allocate storage for counters of cube pairs by difference
8991
pnPairCounters = ABC_CALLOC( int, 2 * nBitsMax );

0 commit comments

Comments
 (0)