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/Makefile      | 1 +
 tests/test_malloc.c | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100644 tests/test_malloc.c

(limited to 'tests')

diff --git a/tests/Makefile b/tests/Makefile
index 49ae984..6075ec8 100644
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -57,6 +57,7 @@ TARGETS= \
 	test_fwrite_overwrite        \
 	test_vsnprintf               \
 	test_vsprintf                \
+	test_malloc                  \
 
 .SILENT:
 
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