| // RUN: %clangxx_tsan -O1 %s %link_libcxx_tsan -o %t && %run %t 2>&1 | FileCheck %s | |
| #include <stdio.h> | |
| #include <memory> | |
| #include <thread> | |
| int main() { | |
| int v1 = 0; | |
| int v2 = 0; | |
| std::thread t1; | |
| std::thread t2; | |
| { | |
| auto thingy = std::make_shared<int>(42); | |
| t1 = std::thread([thingy, &v1] { v1 = *thingy; }); | |
| t2 = std::thread([thingy, &v2] { v2 = *thingy; }); | |
| } | |
| t1.join(); | |
| t2.join(); | |
| printf("%d %d\n", v1, v2); | |
| // CHECK-NOT: ThreadSanitizer: data race | |
| // CHECK: 42 42 | |
| return 0; | |
| } |