Add comment

Austin Kiekintveld · Austin Kiekintveld · commit 55a7d18189cf · 2022-05-01T19:07:36.000-07:00
diff --git a/library/std/src/sys_common/condvar/check.rs b/library/std/src/sys_common/condvar/check.rs
@@ -24,6 +24,8 @@ impl SameMutexCheck {
     }
     pub fn verify(&self, mutex: &MovableMutex) {
         let addr = mutex.raw() as *const imp::Mutex as *const () as *mut _;
+        // Relaxed is okay here because we never read through `self.addr`, and only use it to
+        // compare addresses.
         match self.addr.compare_exchange(
             ptr::null_mut(),
             addr,

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,8 @@ impl SameMutexCheck {`
`24`	`24`	`}`
`25`	`25`	`pub fn verify(&self, mutex: &MovableMutex) {`
`26`	`26`	`let addr = mutex.raw() as const imp::Mutex as const () as *mut _;`
	`27`	+ // Relaxed is okay here because we never read through `self.addr`, and only use it to
	`28`	`+ // compare addresses.`
`27`	`29`	`match self.addr.compare_exchange(`
`28`	`30`	`ptr::null_mut(),`
`29`	`31`	`addr,`