diff --git a/src/data_race.rs b/src/data_race.rs index 382a87e2f51..052b9245308 100644 --- a/src/data_race.rs +++ b/src/data_race.rs @@ -240,7 +240,6 @@ struct MemoryCellClocks { } impl MemoryCellClocks { - /// Create a new set of clocks representing memory allocated /// at a given vector timestamp and index. fn new(alloc: VTimestamp, alloc_index: VectorIdx) -> Self { @@ -676,7 +675,6 @@ pub struct VClockAlloc { } impl VClockAlloc { - /// Create a new data-race detector for newly allocated memory. pub fn new_allocation(global: &MemoryExtra, len: Size, track_alloc: bool) -> VClockAlloc { let (alloc_timestamp, alloc_index) = if track_alloc { diff --git a/tests/compile-fail/data_race/alloc_read_race.rs b/tests/compile-fail/data_race/alloc_read_race.rs index 53b3866a2ed..9ebb793c71b 100644 --- a/tests/compile-fail/data_race/alloc_read_race.rs +++ b/tests/compile-fail/data_race/alloc_read_race.rs @@ -24,9 +24,9 @@ pub fn main() { // 2. write unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; pointer.store(Box::into_raw(Box::new(0usize)), Ordering::Relaxed); }); diff --git a/tests/compile-fail/data_race/alloc_write_race.rs b/tests/compile-fail/data_race/alloc_write_race.rs index e84ffa9dfef..229d3cea2c9 100644 --- a/tests/compile-fail/data_race/alloc_write_race.rs +++ b/tests/compile-fail/data_race/alloc_write_race.rs @@ -24,9 +24,9 @@ pub fn main() { // 2. write unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; pointer.store(Box::into_raw(Box::new(0usize)), Ordering::Relaxed); }); diff --git a/tests/compile-fail/data_race/dealloc_read_race_stack.rs b/tests/compile-fail/data_race/dealloc_read_race_stack.rs index 95d7acea266..275d1d1cccf 100644 --- a/tests/compile-fail/data_race/dealloc_read_race_stack.rs +++ b/tests/compile-fail/data_race/dealloc_read_race_stack.rs @@ -27,9 +27,9 @@ pub fn main() { // 3. stack-deallocate unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; { let mut stack_var = 0usize; diff --git a/tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs b/tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs index ecdd841965e..d5131687d78 100644 --- a/tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs +++ b/tests/compile-fail/data_race/dealloc_read_race_stack_drop.rs @@ -27,9 +27,9 @@ pub fn main() { // 3. stack-deallocate unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; let mut stack_var = 0usize; diff --git a/tests/compile-fail/data_race/dealloc_write_race_stack.rs b/tests/compile-fail/data_race/dealloc_write_race_stack.rs index 8008b6cdb91..3fcbe7661ff 100644 --- a/tests/compile-fail/data_race/dealloc_write_race_stack.rs +++ b/tests/compile-fail/data_race/dealloc_write_race_stack.rs @@ -27,9 +27,9 @@ pub fn main() { // 3. stack-deallocate unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; { let mut stack_var = 0usize; diff --git a/tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs b/tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs index 733cdb7b1f0..5483be9f788 100644 --- a/tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs +++ b/tests/compile-fail/data_race/dealloc_write_race_stack_drop.rs @@ -27,9 +27,9 @@ pub fn main() { // 3. stack-deallocate unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; let mut stack_var = 0usize; diff --git a/tests/compile-fail/data_race/read_write_race_stack.rs b/tests/compile-fail/data_race/read_write_race_stack.rs index fcd8a0606ba..7f2dbcc6ed5 100644 --- a/tests/compile-fail/data_race/read_write_race_stack.rs +++ b/tests/compile-fail/data_race/read_write_race_stack.rs @@ -29,9 +29,9 @@ pub fn main() { // 5. read-value unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; let mut stack_var = 0usize; diff --git a/tests/compile-fail/data_race/write_write_race_stack.rs b/tests/compile-fail/data_race/write_write_race_stack.rs index 46d0911be18..51bf0120d69 100644 --- a/tests/compile-fail/data_race/write_write_race_stack.rs +++ b/tests/compile-fail/data_race/write_write_race_stack.rs @@ -29,9 +29,9 @@ pub fn main() { // 5. write-value unsafe { let j1 = spawn(move || { - //Concurrent allocate the memory. - //Uses relaxed semantics to not generate - //a release sequence. + // Concurrent allocate the memory. + // Uses relaxed semantics to not generate + // a release sequence. let pointer = &*ptr.0; let mut stack_var = 0usize;