On Jan 4, 2015, at 1:48 PM, Bernd Edlinger <bernd.edlin...@hotmail.de> wrote:
> I would need a way to link the test case two helper functions, that are not
> compiled with -fsanitize=thread
/* { dg-additional-sources “tsan-helper.c" } */
might be one step forward to do that. I don’t know off hand about the options.
I think you may be able to specify unique options per file.
> I tried, it and it works 10.000 times without one failure.
So, statistically knowing it works in practice is nice. However, the standard
is, does is work by design? I’ll let you comment on that. The sync approach I
designed to work in any case, no matter the complexity, by design. I’d assume
that you’ve engineered it to work by design.
