Auto merge of #3625 - Strophox:miri-allocation-fix, r=RalfJung · flip1995/rust-clippy@9dec5d4 · GitHub

Commit

Auto merge of rust-lang#3625 - Strophox:miri-allocation-fix, r=RalfJung

Browse files

Bugfix `MiriAllocBytes` to guarantee different addresses

Fix in `alloc_bytes.rs` following rust-lang/miri#3526

Currently when an allocation of `size == 0` is requested we return a `std::ptr::without_provenance_mut(align)`, but this means returned `ptr`s may overlap, which breaks things.

Loading branch information

bors committed May 24, 2024

2 parents d91be9a + 59639b8 commit 9dec5d4