False positives without libarcher suppressions

PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications

https://pruners.github.io/archer

Apache License 2.0

62 stars 13 forks source link

False positives without libarcher suppressions #28

Closed simoatze closed 7 years ago

simoatze commented 7 years ago

@jprotze without suppressions I am getting two false positives:

SUMMARY: ThreadSanitizer: data race /home/simone/pruners/LLVM-openmp/runtime/build/../src/z_Linux_util.cpp:1721:14 in void __kmp_resume_template<kmp_flag_64>(int, kmp_flag_64*)
SUMMARY: ThreadSanitizer: data race /home/simone/pruners/LLVM-openmp/runtime/build/../src/kmp.h:1681:10 in copy_icvs(kmp_internal_control*, kmp_internal_control*)

I won't change the pass for now.

simoatze commented 7 years ago

I was removing the wrong suppressions. It's all good.