diff options
Diffstat (limited to 'src/bdd/cudd/cuddZddReord.c')
-rw-r--r-- | src/bdd/cudd/cuddZddReord.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddZddReord.c b/src/bdd/cudd/cuddZddReord.c index e2da37f2..6e7d3438 100644 --- a/src/bdd/cudd/cuddZddReord.c +++ b/src/bdd/cudd/cuddZddReord.c @@ -464,7 +464,8 @@ cuddZddSwapInPlace( int i; int posn; DdNode *f, *f1, *f0, *f11, *f10, *f01, *f00; - DdNode *newf1, *newf0, *next; + DdNode *newf1 = NULL; // Suppress "might be used uninitialized" + DdNode *newf0, *next; DdNodePtr g, *lastP, *previousP; #ifdef DD_DEBUG @@ -725,7 +726,7 @@ cuddZddSwapping( int iterate; int previousSize; Move *moves, *move; - int pivot; + int pivot = -1; // Suppress "might be used uninitialized" int modulo; int result; |