search

staticanalysis / data-race-test

Automatically exported from code.google.com/p/data-race-test
0 stars 0 forks source link

False negative in pure happens-before mode: write on ReaderLock #41

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. ThreadSanitizerTest.java testPositive_WritingUnderReaderLock

What is the expected output? What do you see instead?
Expected race but sometimes in pure happens-before mode we report no races.

Original issue reported on code.google.com by sergeyvo...@google.com on 4 Aug 2010 at 4:35

GoogleCodeExporter commented 9 years ago 
Now tests stored in new place. Name of this test writingUnderReaderLock

Original comment by sergeyvo...@google.com on 30 Aug 2010 at 2:35

GoogleCodeExporter commented 9 years ago 
should be fixed by r2422

Original comment by konstant...@gmail.com on 1 Sep 2010 at 8:44