3 files changed, 3 insertions, 3 deletions
diff --git a/src/bdd/cudd/cuddAddWalsh.c b/src/bdd/cudd/cuddAddWalsh.c
index e49490e2..9e6940d9 100644
--- a/src/bdd/cudd/cuddAddWalsh.c
+++ b/src/bdd/cudd/cuddAddWalsh.c
@@ -302,7 +302,7 @@ addWalshInt(
   int  n)
 {
     DdNode *one, *minusone;
-    DdNode *t, *u, *t1, *u1, *v, *w;
+    DdNode *t = NULL, *u = NULL, *t1, *u1, *v, *w;
     int     i;
 
     one = DD_ONE(dd);
diff --git a/src/bdd/cudd/cuddSymmetry.c b/src/bdd/cudd/cuddSymmetry.c
index 56f05e13..129b43d9 100644
--- a/src/bdd/cudd/cuddSymmetry.c
+++ b/src/bdd/cudd/cuddSymmetry.c
@@ -1630,7 +1630,7 @@ ddSymmSiftingBackward(
   int  size)
 {
     Move *move;
-    int  res;
+    int  res = -1;
 
     for (move = moves; move != NULL; move = move->next) {
         if (move->size < size) {
diff --git a/src/bdd/cudd/cuddZddSymm.c b/src/bdd/cudd/cuddZddSymm.c
index 90e71adc..652548e4 100644
--- a/src/bdd/cudd/cuddZddSymm.c
+++ b/src/bdd/cudd/cuddZddSymm.c
@@ -1434,7 +1434,7 @@ cuddZddSymmSiftingBackward(
     int         i;
     int         i_best;
     Move        *move;
-    int         res;
+    int         res = -1;
 
     i_best = -1;
     for (move = moves, i = 0; move != NULL; move = move->next, i++) {