miri: treat non-memory local variables properly for data race detection#129828

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:miri-data-race

Sep 15, 2024

+534-123

Commits on Sep 10, 2024

miri: treat non-memory local variables properly for data race detection
RalfJung
committed

Commits on Sep 15, 2024

use early return for race_detecting() logic
RalfJung
committed