From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2979 invoked by alias); 29 Mar 2013 08:11:34 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 2883 invoked by uid 48); 29 Mar 2013 08:11:21 -0000 From: "Joost.VandeVondele at mat dot ethz.ch" To: gcc-bugs@gcc.gnu.org Subject: [Bug sanitizer/55561] TSAN: provide a TSAN instrumented libgomp Date: Fri, 29 Mar 2013 08:11:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: sanitizer X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: Joost.VandeVondele at mat dot ethz.ch X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Summary Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-SW-Source: 2013-03/txt/msg02158.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55561 Joost VandeVondele changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|TSAN: Fortran/OMP yields |TSAN: provide a TSAN |false positives |instrumented libgomp --- Comment #40 from Joost VandeVondele 2013-03-29 08:11:17 UTC --- I'm updating the summary for this bug. It is my impression that tsan & omp now work well together, but in order for this to be useful, a tsan instrumented libgomp needs to be linked in. In my opinion, it would be great if gcc would build to versions of the runtime library (one standard, one tsan instrumented) and link the tsan instrumented libgomp as needed. As a side effect, it will provide good checking for the libgomp library. I also believe this is a more sustainable approach than writing wrappers for all omp functionality.