test: Add libc UDE test.

trailofbits · Mar 8, 2024 · f1503af · f1503af
1 parent 4bad9c5
commit f1503af
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/test/vast/Transform/HL/UDE/libc-a.c b/test/vast/Transform/HL/UDE/libc-a.c
@@ -0,0 +1,7 @@
+// RUN: %vast-front -vast-emit-mlir=hl -vast-simplify %s -o - | %file-check %s
+#include <stdio.h>
+
+// CHECK-NOT: hl.typedef
+// CHECK-NOT: hl.struct
+// CHECK-NOT: hl.func
+// CHECK-NOT: hl.var