diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-08 09:29:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-08 09:29:43 -0700 |
| commit | 8daf610ebaf3d0c83166433897a64c5ab56080a9 (patch) | |
| tree | 9675c5c3e4642cbce610b98458bfb9c664c1a6aa /src/bdd | |
| parent | 1b36058a4edaf0c2881ea1116f26d880c7d8975d (diff) | |
| download | abc-8daf610ebaf3d0c83166433897a64c5ab56080a9.tar.gz abc-8daf610ebaf3d0c83166433897a64c5ab56080a9.tar.bz2 abc-8daf610ebaf3d0c83166433897a64c5ab56080a9.zip | |
Fixing an interger overflow problem in constructing the variable interaction matrix.
Diffstat (limited to 'src/bdd')
| -rw-r--r-- | src/bdd/cudd/cuddInteract.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddInteract.c b/src/bdd/cudd/cuddInteract.c index e4c1fe5a..27e53a47 100644 --- a/src/bdd/cudd/cuddInteract.c +++ b/src/bdd/cudd/cuddInteract.c @@ -238,7 +238,7 @@ cuddInitInteract( DdManager * table) { int i,j,k; - int words; + ABC_UINT64_T words; long *interact; int *support; DdNode *f; @@ -248,7 +248,7 @@ cuddInitInteract( int n = table->size; words = ((n * (n-1)) >> (1 + LOGBPL)) + 1; - table->interact = interact = ABC_ALLOC(long,words); + table->interact = interact = ABC_ALLOC(long,(unsigned)words); if (interact == NULL) { table->errorCode = CUDD_MEMORY_OUT; return(0); |