diff -dur cudd-2.4.1.ORIG/cudd/cuddAddIte.c cudd-2.4.1/cudd/cuddAddIte.c
--- cudd-2.4.1.ORIG/cudd/cuddAddIte.c 2004-08-24 15:37:42.000000000 -0600
+++ cudd-2.4.1/cudd/cuddAddIte.c 2006-07-17 16:04:43.000000000 -0600
@@ -447,7 +447,7 @@
DdNode *one,*zero;
DdNode *r,*Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*t,*e;
unsigned int topf,topg,toph,v;
- int index;
+ int index = 0;
statLine(dd);
/* Trivial cases. */
diff -dur cudd-2.4.1.ORIG/cudd/cuddAddWalsh.c cudd-2.4.1/cudd/cuddAddWalsh.c
--- cudd-2.4.1.ORIG/cudd/cuddAddWalsh.c 2004-08-24 15:37:42.000000000 -0600
+++ cudd-2.4.1/cudd/cuddAddWalsh.c 2006-07-17 16:04:43.000000000 -0600
@@ -298,7 +298,7 @@
int n)
{
DdNode *one, *minusone;
- DdNode *t, *u, *t1, *u1, *v, *w;
+ DdNode *t = NULL, *u, *t1, *u1, *v, *w;
int i;
one = DD_ONE(dd);
diff -dur cudd-2.4.1.ORIG/cudd/cuddBddIte.c cudd-2.4.1/cudd/cuddBddIte.c
--- cudd-2.4.1.ORIG/cudd/cuddBddIte.c 2004-08-24 15:37:43.000000000 -0600
+++ cudd-2.4.1/cudd/cuddBddIte.c 2006-07-17 16:04:43.000000000 -0600
@@ -635,7 +635,7 @@
DdNode *one, *zero, *res;
DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e;
unsigned int topf, topg, toph, v;
- int index;
+ int index = 0;
int comple;
statLine(dd);
diff -dur cudd-2.4.1.ORIG/cudd/cuddDecomp.c cudd-2.4.1/cudd/cuddDecomp.c
--- cudd-2.4.1.ORIG/cudd/cuddDecomp.c 2004-08-24 15:37:43.000000000 -0600
+++ cudd-2.4.1/cudd/cuddDecomp.c 2006-07-17 16:04:43.000000000 -0600
@@ -1689,7 +1689,7 @@
st_table * mintermTable)
{
int topid, distance;
- Conjuncts *factorsNv, *factorsNnv, *factors;
+ Conjuncts *factorsNv = NULL, *factorsNnv = NULL, *factors;
Conjuncts *dummy;
DdNode *N, *Nv, *Nnv, *temp, *g1, *g2, *h1, *h2, *topv;
double minNv = 0.0, minNnv = 0.0;
diff -dur cudd-2.4.1.ORIG/cudd/cuddGroup.c cudd-2.4.1/cudd/cuddGroup.c
--- cudd-2.4.1.ORIG/cudd/cuddGroup.c 2006-07-17 16:04:04.000000000 -0600
+++ cudd-2.4.1/cudd/cuddGroup.c 2006-07-17 16:04:43.000000000 -0600
@@ -454,7 +454,7 @@
Cudd_ReorderingType method)
{
int lower;
- int upper;
+ int upper = 0;
int result;
unsigned int initialSize;
@@ -1492,7 +1492,7 @@
Move *move;
int size;
int i,j,xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
- int swapx,swapy;
+ int swapx = 0, swapy = 0;
#if defined(DD_DEBUG) && defined(DD_VERBOSE)
int initialSize,bestSize;
#endif
@@ -1672,7 +1672,7 @@
{
Move *move;
int res;
- Move *end_move;
+ Move *end_move = NULL;
int diff, tmp_diff;
int index, pairlev;
diff -dur cudd-2.4.1.ORIG/cudd/cuddHarwell.c cudd-2.4.1/cudd/cuddHarwell.c
--- cudd-2.4.1.ORIG/cudd/cuddHarwell.c 2004-08-24 15:37:44.000000000 -0600
+++ cudd-2.4.1/cudd/cuddHarwell.c 2006-07-17 16:04:43.000000000 -0600
@@ -152,6 +152,7 @@
int *rhsptr, *rhsind;
#endif
+ lx = ly = lxn = lyn = NULL;
if (*nx < 0 || *ny < 0) return(0);
one = DD_ONE(dd);
diff -dur cudd-2.4.1.ORIG/cudd/cuddLinear.c cudd-2.4.1/cudd/cuddLinear.c
--- cudd-2.4.1.ORIG/cudd/cuddLinear.c 2004-08-24 15:37:45.000000000 -0600
+++ cudd-2.4.1/cudd/cuddLinear.c 2006-07-17 16:04:43.000000000 -0600
@@ -373,7 +373,7 @@
int posn;
int isolated;
DdNode *f,*f0,*f1,*f01,*f00,*f11,*f10,*newf1,*newf0;
- DdNode *g,*next,*last;
+ DdNode *g,*next,*last = NULL;
DdNodePtr *previousP;
DdNode *tmp;
DdNode *sentinel = &(table->sentinel);
diff -dur cudd-2.4.1.ORIG/cudd/cuddPriority.c cudd-2.4.1/cudd/cuddPriority.c
--- cudd-2.4.1.ORIG/cudd/cuddPriority.c 2004-08-24 15:37:45.000000000 -0600
+++ cudd-2.4.1/cudd/cuddPriority.c 2006-07-17 16:04:43.000000000 -0600
@@ -965,7 +965,7 @@
{
DdNode *res, *res1, *res2, *resA;
DdNode *r, *y, *RT, *RE, *YT, *YE, *Yrest, *Ra, *Ran, *Gamma, *Alpha;
- unsigned int topR, topY, top, index;
+ unsigned int topR, topY, top, index = 0U;
DdNode *one = DD_ONE(dd);
statLine(dd);
diff -dur cudd-2.4.1.ORIG/cudd/cuddReorder.c cudd-2.4.1/cudd/cuddReorder.c
--- cudd-2.4.1.ORIG/cudd/cuddReorder.c 2004-08-24 15:37:45.000000000 -0600
+++ cudd-2.4.1/cudd/cuddReorder.c 2006-07-17 16:04:43.000000000 -0600
@@ -606,7 +606,7 @@
int iterate;
int previousSize;
Move *moves, *move;
- int pivot;
+ int pivot = 0;
int modulo;
int result;
diff -dur cudd-2.4.1.ORIG/cudd/cuddSubsetSP.c cudd-2.4.1/cudd/cuddSubsetSP.c
--- cudd-2.4.1.ORIG/cudd/cuddSubsetSP.c 2004-08-24 15:37:45.000000000 -0600
+++ cudd-2.4.1/cudd/cuddSubsetSP.c 2006-07-17 16:04:43.000000000 -0600
@@ -1255,17 +1255,17 @@
{
DdNode *N, *Nv, *Nnv;
DdNode *ThenBranch, *ElseBranch, *childBranch;
- DdNode *child, *regChild, *regNnv, *regNv;
+ DdNode *child, *regChild, *regNnv = NULL, *regNv = NULL;
NodeDist_t *nodeStatNv, *nodeStat, *nodeStatNnv;
DdNode *neW, *topv, *regNew;
char *entry;
unsigned int topid;
- unsigned int childPathLength, oddLen, evenLen, NnvPathLength, NvPathLength;
+ unsigned int childPathLength, oddLen, evenLen;
+ unsigned int NnvPathLength = 0U, NvPathLength = 0U;
unsigned int NvBotDist, NnvBotDist;
int tiebreakChild;
int processingDone, thenDone, elseDone;
-
#ifdef DD_DEBUG
numCalls++;
#endif
diff -dur cudd-2.4.1.ORIG/cudd/cuddSymmetry.c cudd-2.4.1/cudd/cuddSymmetry.c
--- cudd-2.4.1.ORIG/cudd/cuddSymmetry.c 2004-08-24 15:37:46.000000000 -0600
+++ cudd-2.4.1/cudd/cuddSymmetry.c 2006-07-17 16:04:43.000000000 -0600
@@ -1472,10 +1472,10 @@
Move ** moves)
{
Move *move;
- int size;
+ int size = 0;
int i,j;
int xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
- int swapx,swapy;
+ int swapx = 0, swapy = 0;
#if DD_DEBUG
assert(x < y); /* we assume that x < y */
@@ -1551,7 +1551,7 @@
int x,
int y)
{
- int size;
+ int size = 0;
int i,j;
int xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
diff -dur cudd-2.4.1.ORIG/cudd/cuddTable.c cudd-2.4.1/cudd/cuddTable.c
--- cudd-2.4.1.ORIG/cudd/cuddTable.c 2004-08-24 15:37:46.000000000 -0600
+++ cudd-2.4.1/cudd/cuddTable.c 2006-07-17 16:04:43.000000000 -0600
@@ -1726,7 +1726,7 @@
int oldsize,newsize;
int i,j,index,reorderSave;
unsigned int numSlots = unique->initSlots;
- int *newperm, *newinvperm, *newmap;
+ int *newperm, *newinvperm, *newmap = NULL;
DdNode *one, *zero;
#ifdef DD_DEBUG
@@ -2454,7 +2454,7 @@
int oldsize,newsize;
int i,j,reorderSave;
int numSlots = unique->initSlots;
- int *newperm, *newinvperm, *newmap;
+ int *newperm, *newinvperm, *newmap = NULL;
DdNode *one, *zero;
oldsize = unique->size;
diff -dur cudd-2.4.1.ORIG/cudd/cuddUtil.c cudd-2.4.1/cudd/cuddUtil.c
--- cudd-2.4.1.ORIG/cudd/cuddUtil.c 2005-05-14 11:28:01.000000000 -0600
+++ cudd-2.4.1/cudd/cuddUtil.c 2006-07-17 16:04:43.000000000 -0600
@@ -1400,7 +1400,7 @@
DdNode **old, *neW;
double minterms;
char *saveString;
- int saveFlag, savePoint, isSame;
+ int saveFlag, savePoint = 0, isSame;
minterms = Cudd_CountMinterm(dd,f,n);
if ((double)k > minterms) {
diff -dur cudd-2.4.1.ORIG/cudd/cuddZddGroup.c cudd-2.4.1/cudd/cuddZddGroup.c
--- cudd-2.4.1.ORIG/cudd/cuddZddGroup.c 2006-07-17 16:04:04.000000000 -0600
+++ cudd-2.4.1/cudd/cuddZddGroup.c 2006-07-17 16:04:43.000000000 -0600
@@ -434,7 +434,7 @@
Cudd_ReorderingType method)
{
int lower;
- int upper;
+ int upper = 0;
int result;
unsigned int initialSize;
@@ -1082,7 +1082,7 @@
Move *move;
int size;
int i,j,xtop,xbot,xsize,ytop,ybot,ysize,newxtop;
- int swapx,swapy;
+ int swapx = 0, swapy = 0;
#if defined(DD_DEBUG) && defined(DD_VERBOSE)
int initialSize,bestSize;
#endif
diff -dur cudd-2.4.1.ORIG/cudd/cuddZddReord.c cudd-2.4.1/cudd/cuddZddReord.c
--- cudd-2.4.1.ORIG/cudd/cuddZddReord.c 2004-08-24 15:37:47.000000000 -0600
+++ cudd-2.4.1/cudd/cuddZddReord.c 2006-07-17 16:04:43.000000000 -0600
@@ -491,7 +491,7 @@
int i;
int posn;
DdNode *f, *f1, *f0, *f11, *f10, *f01, *f00;
- DdNode *newf1, *newf0, *next;
+ DdNode *newf1 = NULL, *newf0, *next;
DdNodePtr g, *lastP, *previousP;
#ifdef DD_DEBUG
@@ -752,7 +752,7 @@
int iterate;
int previousSize;
Move *moves, *move;
- int pivot;
+ int pivot = 0;
int modulo;
int result;
diff -dur cudd-2.4.1.ORIG/cudd/cuddZddSymm.c cudd-2.4.1/cudd/cuddZddSymm.c
--- cudd-2.4.1.ORIG/cudd/cuddZddSymm.c 2004-08-24 15:37:47.000000000 -0600
+++ cudd-2.4.1/cudd/cuddZddSymm.c 2006-07-17 16:04:43.000000000 -0600
@@ -1483,7 +1483,7 @@
Move *move;
int size;
int i, temp, gxtop, gxbot, gybot, yprev;
- int swapx, swapy;
+ int swapx = 0, swapy = 0;
#ifdef DD_DEBUG
assert(x < y); /* we assume that x < y */
@@ -1586,7 +1586,7 @@
int x,
int y)
{
- int size;
+ int size = 0;
int i, temp, gxtop, gxbot, gybot, yprev;
#ifdef DD_DEBUG
diff -dur cudd-2.4.1.ORIG/nanotrav/bnet.c cudd-2.4.1/nanotrav/bnet.c
--- cudd-2.4.1.ORIG/nanotrav/bnet.c 2004-08-24 15:34:48.000000000 -0600
+++ cudd-2.4.1/nanotrav/bnet.c 2006-07-17 16:04:43.000000000 -0600
@@ -1884,6 +1884,7 @@
DdNode *func, *f, *g, *h;
BnetNode *auxnd;
+ mux[0] = mux[1] = phase[0] = phase[1] = 0;
if (nd->ninp != 3) return(0);
for (line = nd->f; line != NULL; line = line->next) {
diff -dur cudd-2.4.1.ORIG/nanotrav/ntr.c cudd-2.4.1/nanotrav/ntr.c
--- cudd-2.4.1.ORIG/nanotrav/ntr.c 2004-08-24 15:34:47.000000000 -0600
+++ cudd-2.4.1/nanotrav/ntr.c 2006-07-17 16:07:12.000000000 -0600
@@ -964,7 +964,7 @@
DdNode *neW;
DdNode *one, *zero;
DdNode *states, *scc;
- DdNode *tmp;
+ DdNode *tmp = NULL;
DdNode *SCCs[10];
int depth;
int nscc = 0;