1 files changed, 9 insertions, 0 deletions
diff --git a/test cases/native/3 pipeline/src/prog.c b/test cases/native/3 pipeline/src/prog.c
new file mode 100644
index 0000000..83121b5
--- /dev/null
+++ b/test cases/native/3 pipeline/src/prog.c
@@ -0,0 +1,9 @@
+#include"input_src.h"
+
+int main(void) {
+    void *foo = printf;
+    if(foo) {
+        return 0;
+    }
+    return 1;
+}