Skip to content

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

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri-data-race
Sep 15, 2024
Merged

miri: treat non-memory local variables properly for data race detection#129828
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri-data-race

use early return for race_detecting() logic

339f68b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs