// PARAM:  --enable exp.partition-arrays.enabled
#include <pthread.h>

pthread_t t_ids[10000];

void *t_fun(void *arg) {
  return NULL;
}

int main(void) {
  for (int i = 0; i < 10000; i++)
    pthread_create(&t_ids[i], NULL, t_fun, NULL);
  for (int i = 0; i < 10000; i++)
    pthread_join (t_ids[i], NULL);
  return 0;
}
// PARAM: --set ana.activated[+] thread --enable exp.partition-arrays.enabled
#include <pthread.h>

pthread_t t_ids[10000];

void *t_fun(void *arg) {
  return NULL;
}

int main(void) {
  for (int i = 0; i < 10000; i++)
    pthread_create(&t_ids[i], NULL, t_fun, NULL);
  for (int i = 0; i < 10000; i++)
    pthread_join (t_ids[i], NULL);
  return 0;
}
Fix missing thread analysis in 10/24
Fix missing thread analysis in 10/24
