From e7c10a1b27be94a09bb03bf31b4b66233e3d1bdc Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sun, 9 Jul 2023 19:14:44 +0200
Subject: Add some malloc annotations

---
 tests/test_malloc.c | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/test_malloc.c

(limited to 'tests/test_malloc.c')

diff --git a/tests/test_malloc.c b/tests/test_malloc.c
new file mode 100644
index 0000000..360ee82
--- /dev/null
+++ b/tests/test_malloc.c
@@ -0,0 +1,7 @@
+#include "common.h"
+
+#include <stdlib.h>
+
+int main(int argc, char** argv) {
+  free(malloc(1));
+}
-- 
cgit v1.3