Add test 46-apron2/84-relation-extern (issue #1440)

goblint · May 24, 2024 · df01b46 · df01b46
1 parent 6d0a4f8
commit df01b46
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/tests/regression/46-apron2/84-relation-extern.c 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;
+}