From 059ceff2ad1500403de41ee217d482cd5e1d0fbc Mon Sep 17 00:00:00 2001
From: zerowe-seven <57790060+zerowe-seven@users.noreply.github.com>
Date: Mon, 22 Sep 2025 10:58:35 +0800
Subject: [PATCH] Fix interact undefined behavior

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

diff --git a/src/bdd/cudd/cuddInteract.c b/src/bdd/cudd/cuddInteract.c
index 27e53a47ba..884d0b6daf 100644
--- a/src/bdd/cudd/cuddInteract.c
+++ b/src/bdd/cudd/cuddInteract.c
@@ -237,9 +237,10 @@ int
 cuddInitInteract(
   DdManager * table)
 {
-    int i,j,k;
+    ABC_UINT64_T i;
+    int j,k;
     ABC_UINT64_T words;
-    long *interact;
+    ABC_UINT64_T *interact;
     int *support;
     DdNode *f;
     DdNode *sentinel = &(table->sentinel);
@@ -248,7 +249,7 @@ cuddInitInteract(
     int n = table->size;
 
     words = ((n * (n-1)) >> (1 + LOGBPL)) + 1;
-    table->interact = interact = ABC_ALLOC(long,(unsigned)words);
+    table->interact = interact = ABC_ALLOC(ABC_UINT64_T,words);
     if (interact == NULL) {
         table->errorCode = CUDD_MEMORY_OUT;
         return(0);