From 8daf610ebaf3d0c83166433897a64c5ab56080a9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Aug 2012 09:29:43 -0700
Subject: Fixing an interger overflow problem in constructing the variable
 interaction matrix.

---
 src/bdd/cudd/cuddInteract.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/bdd/cudd')

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);
-- 
cgit v1.2.3