From c5b2a24aa7b0ff25e4ba74321adea55085b83909 Mon Sep 17 00:00:00 2001
From: Christian Gram Kalhauge <chrg@dtu.dk>
Date: Fri, 21 Mar 2025 09:47:58 +0100
Subject: [PATCH] Actually compute function fixpoint
---
rtree-c/src/ReduceC.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/rtree-c/src/ReduceC.hs b/rtree-c/src/ReduceC.hs
index 9159349..d066856 100644
--- a/rtree-c/src/ReduceC.hs
+++ b/rtree-c/src/ReduceC.hs
@@ -119,7 +119,7 @@ reduceCTranslUnit (C.CTranslUnit es ni) ctx = do
functions2 <- do
funmap' <- reduce funmap
if ComputeFunctionFixpoint `isIn` ctx
- then reduce funmap
+ then reduce funmap'
else pure funmap'
functions3 <- forM functions2 \(k, mf) ->
--
GitLab