flounder: Free popped receive slot if we did not use it

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/tools/flounder/LMP.hs b/tools/flounder/LMP.hs
index 7e2fa0f..3caeb0c 100644 (file)
--- a/tools/flounder/LMP.hs
+++ b/tools/flounder/LMP.hs
@@ -687,7 +687,11 @@ rx_handler arch ifn typedefs msgdefs msgs =
             ] [
                 C.Ex $ C.Call "lmp_chan_set_recv_slot" [chanaddr, C.Variable "nextslot" ]
             ]
-        ] [],
+        ] [
+            -- Free popped recv slot if we didn't use it!
+            C.SComment "Free the popped receive slot, if we did not use it",
+            C.Ex $ C.Call "slot_free" [ C.Variable "nextslot" ]
+        ],
         C.SBlank,
 
         C.SComment "is this the start of a new message?",