On 01/03/15 06:49, Bernd Edlinger wrote:
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.
changelog-tsan-ada.txt
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.
OK for the trunk with a comment before the new block of code indicating
why we need to handle VIEW_CONVERT_EXPR specially here (specifically we
can't call build_fold_addr_expr on the VIEW_CONVERT_EXPR).
Jeff
