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

Segmentation faults raised in phase InstrumentParallel #70

Open jprotze opened 6 years ago

jprotze commented 6 years ago

For copyprivate-orig-no.c, threadprivate-orig-no.c, threadprivate2-orig-no.c, static-data-member-orig-yes.cpp and static-data-member2-orig-yes.cpp.

Code: https://github.com/LLNL/dataracebench/blob/develop/micro-benchmarks/

jprotze commented 6 years ago

Can we fall-back to skipping static analysis instead of failing?