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 <[email protected]> Enable experimental TSAN support for Ada. * tsan.c (instrument_expr): Handle VIEW_CONVERT_EXPR.
patch-tsan-ada.diff
Description: Binary data
