1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/gna/issue1206/main_notnull.c b/testsuite/gna/issue1206/main_notnull.c
new file mode 100644
index 000000000..9ff996f6f
--- /dev/null
+++ b/testsuite/gna/issue1206/main_notnull.c
@@ -0,0 +1,8 @@
+#include <stdio.h>
+
+extern int ghdl_main(int argc, char** argv);
+
+int main(int argc, char** argv) {
+  printf("ghdl_main: %d\n", ghdl_main(argc, argv));
+  return 0;
+}