Miri subtree update#117165

Merged

bors merged 24 commits intorust-lang:masterfrom

Oct 25, 2023

Commits on Oct 22, 2023

Commits on Oct 23, 2023

Preparing for merge from rustc
The Miri Conjob Bot
committed
Merge from rustc
The Miri Conjob Bot
committed
fmt

The Miri Conjob Bot
authored and
RalfJung
committed
Auto merge of #3136 - rust-lang:rustup-2023-10-23, r=RalfJung
bors
committed
data_race: clarify and slightly refactor non-atomic handling
RalfJung
committed
data_race: detect races between atomic and non-atomic accesses, even if both are reads
RalfJung
committed
detect mixed-size atomic accesses
RalfJung
committed
clean up imperfect overlap detection in weak-mem emulation
RalfJung
committed
don't talk about 'Data race' when both accesses are atomic
RalfJung
committed

Commits on Oct 25, 2023