Fix memory leak in 128r sail wrapper

CTSRD-CHERI · Jan 14, 2025 · 4be2c81 · 4be2c81
1 parent 6e16c33
commit 4be2c81
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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);