Skip to content

miri: fix out-of-bounds error for ptrs with negative offsets#143692

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-oob
Jul 16, 2025
Merged

miri: fix out-of-bounds error for ptrs with negative offsets#143692
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-oob

Commits

Commits on Jul 9, 2025