search

staticanalysis / data-race-test

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

ANNOTATE_BENIGN_RACE make fail to work #51

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
This sometimes happens on e.g. test76. 

The reason: 
  we are annotating ranges of memory as benign but don't forget this info when the memory gets deallocated. So, we may end us with several overlapping benign-race ranges. And then, when we observe a race, we may fail to find the correct benign range for it. 
This leads to reporting a race even though we have a benign race annotation. 
Probably, this may also lead to not incrementing a counter of an expected race 
(so tsan will bark at the and saying that an expected race is not found).

Original issue reported on code.google.com by konstant...@gmail.com on 29 Oct 2010 at 2:19

GoogleCodeExporter commented 9 years ago 
Am I right this is already fixed?

Original comment by ramosian.glider@gmail.com on 22 Nov 2010 at 2:45

GoogleCodeExporter commented 9 years ago 
Yes, the unittest is NegativeTests.BenignRaceTest

Original comment by konstant...@gmail.com on 22 Nov 2010 at 3:47