diff --git a/src/rt/atomic.rs b/src/rt/atomic.rs index 0c60f798..cc3a97ca 100644 --- a/src/rt/atomic.rs +++ b/src/rt/atomic.rs @@ -358,6 +358,7 @@ impl State { }; // All subsequent accesses must happen-after. + state.unsync_mut_locations.track(location, &threads); state.track_unsync_mut(threads); // Store the initial thread diff --git a/src/rt/mod.rs b/src/rt/mod.rs index 52fd55bf..a24e1bb0 100644 --- a/src/rt/mod.rs +++ b/src/rt/mod.rs @@ -1,3 +1,7 @@ +#[macro_use] +mod location; +pub(crate) use self::location::Location; + mod access; use self::access::Access; @@ -10,10 +14,6 @@ pub(crate) use self::arc::Arc; mod atomic; pub(crate) use self::atomic::{fence, Atomic}; -#[macro_use] -mod location; -pub(crate) use self::location::Location; - mod cell; pub(crate) use self::cell::Cell;