From df01b46af85a597af3d5510f00650515a4527b02 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Mon, 6 May 2024 10:23:29 +0300
Subject: [PATCH] Add test 46-apron2/84-relation-extern (issue #1440)

---
 .../regression/46-apron2/84-relation-extern.c | 21 +++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 tests/regression/46-apron2/84-relation-extern.c

diff --git a/tests/regression/46-apron2/84-relation-extern.c b/tests/regression/46-apron2/84-relation-extern.c
new file mode 100644
index 0000000000..ffd8f9e2ce
--- /dev/null
+++ b/tests/regression/46-apron2/84-relation-extern.c
@@ -0,0 +1,21 @@
+// SKIP PARAM: --set ana.activated[+] apron
+#include <pthread.h>
+#include <goblint.h>
+
+extern int g;
+
+void *t_fun(void *arg) {
+  return NULL;
+}
+
+int main() {
+  pthread_t id;
+  pthread_create(&id, NULL, t_fun, NULL);
+
+  if (g) // NOWARN
+    __goblint_check(1); // reachable
+  else
+    __goblint_check(1); // reachable
+
+  return 0;
+}