#include <pthread.h>
#include <stdlib.h>
#include <stdio.h>
struct P {
int x;
int y;
};
void *Thread(void *x) {
static P p = {rand(), rand()};
if (p.x > RAND_MAX || p.y > RAND_MAX)
exit(1);
return 0;
}
int main() {
pthread_t t[2];
pthread_create(&t[0], 0, Thread, 0);
pthread_create(&t[1], 0, Thread, 0);
pthread_join(t[0], 0);
pthread_join(t[1], 0);
}
// CHECK-NOT: WARNING: ThreadSanitizer: data race