1 files changed, 15 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/T13786/T13786a.c b/testsuite/tests/ghci/T13786/T13786a.c
new file mode 100644
index 0000000000..70a2774264
--- /dev/null
+++ b/testsuite/tests/ghci/T13786/T13786a.c
@@ -0,0 +1,15 @@
+#include <stdio.h>
+#include <stdbool.h>
+
+static bool flag_a = false;
+
+extern void hello_b();
+
+void hello_a() {
+  if (! flag_a) {
+      flag_a = true;
+      hello_b();
+  }
+
+  printf("hello world A\n");
+}