Code

Miri provenance cleanup#96165

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:miri-provenance-cleanupRalfJung/rust:miri-provenance-cleanupCopy head branch name to clipboard

Apr 20, 2022

Commits

Commits on Apr 18, 2022

• ptr_get_alloc_id: don't return an actual Pointer

  RalfJung

  committed
  54ab357

  Copy full SHA for 54ab357

• avoid pairing up AllocId and PointerTag, which is redundant

  RalfJung

  committed
  c9e568f

  Copy full SHA for c9e568f

• add method to get absolute address of a pointer (useful only for Miri)

  RalfJung

  committed
  3236092

  Copy full SHA for 3236092

• avoid an unnecessary call to Pointer::into_parts, and caution against into_pointer_or_addr

  RalfJung

  committed
  c83241a

  Copy full SHA for c83241a

• remove an unnecessary use of loc_place.ptr.into_pointer_or_addr

  RalfJung

  committed
  55f0977

  Copy full SHA for 55f0977