PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications
https://pruners.github.io/archer
Apache License 2.0
61 stars 13 forks source link

Segmentation fault when unexpected pointer is provided by the OpenMP runtime. #69

Open jprotze opened 6 years ago

jprotze commented 6 years ago

Related to: https://github.com/OpenMPToolsInterface/LLVM-openmp/issues/44 For https://github.com/LLNL/dataracebench/blob/develop/micro-benchmarks/target-teams-distribute-orig-no.c the tool is called with an uninitialized value for a barrier. Accessing an element in the expected datastructure leeds to a segmentation fault. The Archer runtime should make sure to check all incoming pointers, before accessing the data structure. Unexpected NULL pointers should still be logged with the suggestion to create an issue here.