search

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

Disabled default static analysis, added flag to manually enable it #84

Closed simoatze closed 6 years ago

simoatze commented 6 years ago

The static analysis pass fails for a segfault because of a bug in LLVM/Clang 6.0. It works correctly with LLVM/Clang trunk. I changed the --nosa flag, to --sa flag, so one can manually enable the static analysis (in case of LLVM/Clang trunk) and it's disabled by default.

@dongahn @jprotze Let me know what you think.

dongahn commented 6 years ago

LGTM! Merging.