File tree 2 files changed +2
-6
lines changed
2 files changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -939,11 +939,7 @@ impl VClockAlloc {
939
939
940
940
/// Detect racing atomic read and writes (not data races)
941
941
/// on every byte of the current access range
942
- pub ( super ) fn race_free_with_atomic < ' tcx > (
943
- & self ,
944
- range : AllocRange ,
945
- global : & GlobalState ,
946
- ) -> bool {
942
+ pub ( super ) fn race_free_with_atomic ( & self , range : AllocRange , global : & GlobalState ) -> bool {
947
943
if global. race_detecting ( ) {
948
944
let ( _, clocks) = global. current_thread_state ( ) ;
949
945
let alloc_ranges = self . alloc_ranges . borrow ( ) ;
Original file line number Diff line number Diff line change @@ -138,7 +138,7 @@ impl StoreBufferAlloc {
138
138
/// before without data race, we can determine that the non-atomic access fully happens
139
139
/// after all the prior atomic accesses so the location no longer needs to exhibit
140
140
/// any weak memory behaviours until further atomic accesses.
141
- pub fn memory_accessed < ' tcx > ( & self , range : AllocRange , global : & GlobalState ) {
141
+ pub fn memory_accessed ( & self , range : AllocRange , global : & GlobalState ) {
142
142
if !global. ongoing_action_data_race_free ( ) {
143
143
let mut buffers = self . store_buffers . borrow_mut ( ) ;
144
144
let access_type = buffers. access_type ( range) ;
You can’t perform that action at this time.
0 commit comments