user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove unused lifetimes

Browse source
This commit is contained in:
Andy Wang 2022-06-05 20:47:01 +01:00
parent 1379036713
commit 6fb7c131ed
No known key found for this signature in database
GPG key ID: 181B49F9F38F3374
2 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/concurrency/data_race.rs
View file

@ -939,11 +939,7 @@ impl VClockAlloc {
/// Detect racing atomic read and writes (not data races)
/// on every byte of the current access range
pub(super) fn race_free_with_atomic<'tcx>(
&self,
range: AllocRange,
global: &GlobalState,
) -> bool {
pub(super) fn race_free_with_atomic(&self, range: AllocRange, global: &GlobalState) -> bool {
if global.race_detecting() {
let (_, clocks) = global.current_thread_state();
let alloc_ranges = self.alloc_ranges.borrow();

2
src/concurrency/weak_memory.rs
View file

@ -138,7 +138,7 @@ impl StoreBufferAlloc {
/// before without data race, we can determine that the non-atomic access fully happens
/// after all the prior atomic accesses so the location no longer needs to exhibit
/// any weak memory behaviours until further atomic accesses.
pub fn memory_accessed<'tcx>(&self, range: AllocRange, global: &GlobalState) {
pub fn memory_accessed(&self, range: AllocRange, global: &GlobalState) {
if !global.ongoing_action_data_race_free() {
let mut buffers = self.store_buffers.borrow_mut();
let access_type = buffers.access_type(range);