Hi, I was experimenting with enabling TSAN for Ada recently. I think this gives rather interesting results.
The Instrumentation worked almost out of the box, we just have the problem that it is not gimple-OK to fold something like "& VIEW_CONVERT_EXPR(x)", and this happens in Ada all the time. Boot-Strapped and regression-tested on x86_64-linux-gnu. OK for trunk? Thanks Bernd.
gcc/ChangeLog: 2015-01-03 Bernd Edlinger <bernd.edlin...@hotmail.de> Enable experimental TSAN support for Ada. * tsan.c (instrument_expr): Handle VIEW_CONVERT_EXPR.
patch-tsan-ada.diff
Description: Binary data