Miri: fix error on dangling pointer inbounds offset#114333

Merged

bors merged 2 commits intorust-lang:masterfrom

RalfJung:dangling-ptr-offset

Aug 2, 2023

Commits on Aug 1, 2023

rename deref_operand → deref_pointer and some Miri helper functions
RalfJung
committed
properly track why we checked whether a pointer is in-bounds
RalfJung
committed