I was able to use the Archer in tr4 branch with clang 4.0.1 to find race in this benchmark:
https://github.com/LLNL/dataracebench/blob/master/micro-benchmarks/taskdependmissing-orig-yes.c
But a later version of Archer with clang 3.9.1 (installed on LLNL LC system) does not find race in this same benchmark. Is that caused by different clang version or some other issue?
I was able to use the Archer in tr4 branch with clang 4.0.1 to find race in this benchmark:
https://github.com/LLNL/dataracebench/blob/master/micro-benchmarks/taskdependmissing-orig-yes.c
But a later version of Archer with clang 3.9.1 (installed on LLNL LC system) does not find race in this same benchmark. Is that caused by different clang version or some other issue?