diff options
Diffstat (limited to 'src/aig/gia/giaSwitch.c')
| -rw-r--r-- | src/aig/gia/giaSwitch.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c index 58acbb69..b1c5eb82 100644 --- a/src/aig/gia/giaSwitch.c +++ b/src/aig/gia/giaSwitch.c @@ -146,7 +146,7 @@ void Gia_ManSwiDelete( Gia_ManSwi_t * p ) ***********************************************************************/ static inline void Gia_ManSwiSimInfoRandom( Gia_ManSwi_t * p, unsigned * pInfo, int nProbNum ) { - unsigned Mask; + unsigned Mask = 0; int w, i; if ( nProbNum == -1 ) { // 3/8 = 1/4 + 1/8 @@ -185,7 +185,7 @@ static inline void Gia_ManSwiSimInfoRandom( Gia_ManSwi_t * p, unsigned * pInfo, ***********************************************************************/ static inline void Gia_ManSwiSimInfoRandomShift( Gia_ManSwi_t * p, unsigned * pInfo, int nProbNum ) { - unsigned Mask; + unsigned Mask = 0; int w, i; if ( nProbNum == -1 ) { // 3/8 = 1/4 + 1/8 |