// RUN: %clang_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
#include <stdio.h>
#include <stdlib.h>
int n;
const int N = 10000;
static void atexit1() {
n++;
}
static void atexit0() {
fprintf(stderr, "run count: %d\n", n);
}
int main() {
atexit(atexit0);
for (int i = 0; i < N; i++)
atexit(atexit1);
}
// CHECK-NOT: FATAL: ThreadSanitizer
// CHECK-NOT: WARNING: ThreadSanitizer
// CHECK: run count: 10000