diff options
Diffstat (limited to 'src/bdd/cudd/cuddDecomp.c')
-rw-r--r-- | src/bdd/cudd/cuddDecomp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddDecomp.c b/src/bdd/cudd/cuddDecomp.c index 4fde7392..35a77b8c 100644 --- a/src/bdd/cudd/cuddDecomp.c +++ b/src/bdd/cudd/cuddDecomp.c @@ -1662,7 +1662,8 @@ BuildConjuncts( st_table * mintermTable) { int topid, distance; - Conjuncts *factorsNv, *factorsNnv, *factors; + Conjuncts *factorsNv = NULL, *factorsNnv = NULL; // Suppress "might be used uninitialized" + Conjuncts *factors; Conjuncts *dummy; DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv; double minNv = 0.0, minNnv = 0.0; |