Lines Matching refs:race
14 bool "KCSAN: dynamic data race detector"
20 data-race detector that relies on compile-time instrumentation.
50 external functions on report generation; if a race report is
69 various race scenarios, and verifies the reports generated to
130 results in more aggressive race detection, whereas a larger value
154 int "Duration in milliseconds, in which any given race is only reported once"
157 Any given race is only reported once in the defined time window.
172 conflicting access is of unknown origin. This type of race is
173 reported if it was only possible to infer a race due to a data value
177 bool "Strict data-race checking"
212 unchanged, do not report the data race.
234 writes will never be reported as a data race, however, will cause