X-Git-Url: https://git.wh0rd.org/?p=ICEs.git;a=blobdiff_plain;f=sb-bigloo%2Fbigloo.i;fp=sb-bigloo%2Fbigloo.i;h=a8b07ec4dd2ec382b87c6e19683ffa522e0d5dda;hp=0000000000000000000000000000000000000000;hb=81f80d8c1c9898ae1c26534a3287a47220390f5c;hpb=45516216fc552c838e650d868214d867027a64f6

diff --git a/sb-bigloo/bigloo.i b/sb-bigloo/bigloo.i
new file mode 100644
index 0000000..a8b07ec
--- /dev/null
+++ b/sb-bigloo/bigloo.i
@@ -0,0 +1,8 @@
+#include <stdio.h>
+bigloo_main() { FILE *fp = fopen("/dev/null", "r"); }
+main() {
+	char *argv[] = { "a.out", 0 };
+	bglpth_setup(1, argv, 0);
+	_bigloo_main(1, argv, 0, &bigloo_main);
+}
+