From 81c4eb7d74624d41b5fdddffa2d239d35c32f4b4 Mon Sep 17 00:00:00 2001
From: JCTyblaidd <JCTyblaidd@users.noreply.github.com>
Date: Thu, 10 Dec 2020 16:56:09 +0000
Subject: [PATCH] Update src/data_race.rs

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 src/data_race.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/data_race.rs b/src/data_race.rs
index 2fff13a8066..d16391d0d43 100644
--- a/src/data_race.rs
+++ b/src/data_race.rs
@@ -208,9 +208,9 @@ enum WriteType {
     Write,
 
     /// Deallocate memory.
-    /// Some races with deallocation will be missed and instead
-    /// reported as invalid accesses of freed memory due to
-    /// the order of checks.
+    /// Note that when memory is deallocated first, later non-atomic accesses
+    /// will be reported as use-after-free, not as data races.
+    /// (Same for `Allocate` above.)
     Deallocate,
 }
 impl WriteType {