// RUN: %clang_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
#include <pthread.h>
#include <rpc/types.h>
#include <rpc/xdr.h>
#include <stdio.h>
void *thr(void *p) {
XDR xdrs;
char buf[100];
xdrmem_create(&xdrs, buf, sizeof(buf), XDR_ENCODE);
xdr_destroy(&xdrs);
return 0;
}
int main(int argc, char *argv[]) {
pthread_t th[2];
pthread_create(&th[0], 0, thr, 0);
pthread_create(&th[1], 0, thr, 0);
pthread_join(th[0], 0);
pthread_join(th[1], 0);
printf("DONE\n");
// CHECK: DONE
return 0;
}