1 files changed, 30 insertions, 0 deletions
diff --git a/compiler-rt/test/tsan/race_on_speculative_load.cpp b/compiler-rt/test/tsan/race_on_speculative_load.cpp
new file mode 100644
index 00000000000..5a9d698ca9a
--- /dev/null
+++ b/compiler-rt/test/tsan/race_on_speculative_load.cpp
@@ -0,0 +1,30 @@
+// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s
+// Regtest for https://github.com/google/sanitizers/issues/447
+// This is a correct program and tsan should not report a race.
+#include "test.h"
+
+int g;
+__attribute__((noinline))
+int foo(int cond) {
+  if (cond)
+    return g;
+  return 0;
+}
+
+void *Thread1(void *p) {
+  barrier_wait(&barrier);
+  long res = foo((long)p);
+  return (void*) res;
+}
+
+int main() {
+  barrier_init(&barrier, 2);
+  pthread_t t;
+  pthread_create(&t, 0, Thread1, 0);
+  g = 1;
+  barrier_wait(&barrier);
+  pthread_join(t, 0);
+  fprintf(stderr, "PASS\n");
+  // CHECK-NOT: ThreadSanitizer: data race
+  // CHECK: PASS
+}