From f3d8e5ba3d41dd53583d8ef940775f2b3dad22c6 Mon Sep 17 00:00:00 2001
From: Alex Richardson <Alexander.Richardson@cl.cam.ac.uk>
Date: Mon, 13 Jan 2025 21:51:02 -0800
Subject: [PATCH] Fix memory leak in 128r sail wrapper

---
 test/sail_wrapper_128r.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/sail_wrapper_128r.c b/test/sail_wrapper_128r.c
index a9dc980..b385112 100644
--- a/test/sail_wrapper_128r.c
+++ b/test/sail_wrapper_128r.c
@@ -64,6 +64,7 @@ static inline void set_top_base_from_sail(const struct zCapability* sail, _cc_ca
     length_lbits(&base_len, sail_bounds_tuple_base(base_top));
     assert(CONVERT_OF(mach_int, sail_int)(base_len) == 64);
     c->cr_base = CONVERT_OF(fbits, lbits)(sail_bounds_tuple_base(base_top), true);
+    KILL(sail_int)(&base_len);
 
     sail_int top_len;
     CREATE(sail_int)(&top_len);