This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Enable experimental TSAN support for Ada

From: Jeff Law <law at redhat dot com>
To: Bernd Edlinger <bernd dot edlinger at hotmail dot de>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
Cc: Jakub Jelinek <jakub at redhat dot com>, Eric Botcazou <ebotcazou at adacore dot com>
Date: Mon, 05 Jan 2015 13:00:18 -0700
Subject: Re: [PATCH] Enable experimental TSAN support for Ada
Authentication-results: sourceware.org; auth=none
References: <DUB118-W45B65843D93119073A62C3E45A0 at phx dot gbl>

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.edlinger@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 indicatingwhy we need to handle VIEW_CONVERT_EXPR specially here (specifically wecan't call build_fold_addr_expr on the VIEW_CONVERT_EXPR).


Jeff

Follow-Ups:
- Re: [PATCH] Enable experimental TSAN support for Ada
  - From: Richard Biener

References:
- [PATCH] Enable experimental TSAN support for Ada
  - From: Bernd Edlinger

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]