Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / tools / sancov / not_covered_functions.test
1 REQUIRES: x86_64-linux
2 RUN: sancov -obj %p/Inputs/test-linux_x86_64 -not-covered-functions %p/Inputs/test-linux_x86_64.sancov | FileCheck %s
3 RUN: sancov -obj %p/Inputs/test-linux_x86_64 -not-covered-functions %p/Inputs/test-linux_x86_64-1.sancov | FileCheck --check-prefix=CHECK1 --allow-empty %s
4
5 CHECK: Inputs{{[/\\]}}foo.cpp:5 foo()
6 CHECK-NOT: {{.*__sanitizer.*}}
7 CHECK1-NOT: {{.+}}
8