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

Merge pull request #4858 from saethlin/typos-redux

Browse source 
src/concurrency/weak_memory.rs made -> marked
This commit is contained in:
Ben Kimock 2026-02-15 00:10:27 +00:00 • committed by GitHub
commit e542472c92
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/src/concurrency/weak_memory.rs
View file

@ -389,7 +389,7 @@ impl<'tcx> StoreBuffer {
})
.filter(|&store_elem| {
if is_seqcst && store_elem.is_seqcst {
// An SC load needs to ignore all but last store made SC (stores not marked SC are not
// An SC load needs to ignore all but last store marked SC (stores not marked SC are not
// affected)
let include = !found_sc;
found_sc = true;