//PARAM: --set ana.activated[+] threadJoins
#include <pthread.h>
#include <assert.h>

int g = 0;

void *t_fun(void *arg) {
  g++; // RACE!
  return NULL;
}

int main() {
  pthread_t id, id2;
  pthread_create(&id, NULL, t_fun, NULL);

  __goblint_assume_join(id2); // joining unknown thread ID, shouldn't make joined set All threads

  g++; // RACE!

  return 0;
}

Add assume join test with unknown thread ID
Add assume join test with unknown thread ID
