Function annotate_benign_race

pub fn annotate_benign_race<T>(addr: &T)

Available on crate feature client_requests_defs only.

Tell DRD that data races at the specified address are expected and must not be reported

Any races detected on the specified variable are benign and hence should not be reported.