//PARAM: --disable sem.unknown_function.spawn
#include <pthread.h>
#include <assert.h>

int g;
pthread_once_t once = PTHREAD_ONCE_INIT;

void *t_fun(void *arg) {
  assert(1); // reachable!
  return NULL;
}

int main() {
  pthread_once(&once,t_fun);
  return 0;
}

//PARAM: --disable sem.unknown_function.spawn
#include <pthread.h>
#include <assert.h>

int g;
pthread_once_t once = PTHREAD_ONCE_INIT;

void t_fun() {
  assert(1); // reachable!
  return NULL;
}

int main() {
  pthread_once(&once,t_fun);
  return 0;
}

Correct type of `pthread_once` argument
02/71: Correct type of `pthread_once` argument

Co-authored-by: Simmo Saan <43bc63fd4e818c04906d6ad710460794fe32296e@gmail.com>