From f26ea1eaea5b51a3aec8107636c9f88eadfdcee0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 27 Nov 2021 17:37:34 -0800
Subject: Changes to make compiler happy.

---
 src/bdd/cudd/cuddMatMult.c | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

(limited to 'src/bdd/cudd/cuddMatMult.c')

diff --git a/src/bdd/cudd/cuddMatMult.c b/src/bdd/cudd/cuddMatMult.c
index e8cae2ce..3dafa226 100644
--- a/src/bdd/cudd/cuddMatMult.c
+++ b/src/bdd/cudd/cuddMatMult.c
@@ -319,6 +319,23 @@ Cudd_addOuterSum(
 /* Definition of static functions                                            */
 /*---------------------------------------------------------------------------*/
 
+
+#ifdef USE_CASH_DUMMY
+/**Function********************************************************************
+
+  Synopsis    We need to declare a function passed to cuddCacheLookup2 that can
+              be casted to DD_CTFP.
+
+******************************************************************************/
+static DdNode *
+addMMRecur_dummy(DdManager * dd, DdNode * A, DdNode * B)
+{
+  assert(0);
+  return 0;
+}
+#endif
+
+
 /**Function********************************************************************
 
   Synopsis    [Performs the recursive step of Cudd_addMatrixMultiply.]
@@ -393,7 +410,11 @@ addMMRecur(
     topA = cuddI(dd,A->index); topB = cuddI(dd,B->index);
     topV = ddMin(topA,topB);
 
+#ifdef USE_CASH_DUMMY
+    cacheOp = (DD_CTFP) addMMRecur_dummy;
+#else
     cacheOp = (DD_CTFP) addMMRecur;
+#endif
     res = cuddCacheLookup2(dd,cacheOp,A,B);
     if (res != NULL) {
         /* If the result is 0, there is no need to normalize.
-- 
cgit v1.2.3