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 +#include + +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; +}