Code

fix Miri offset_from#66083

Code

Merged

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

RalfJung:miri-offset-fromRalfJung/rust:miri-offset-fromCopy head branch name to clipboard

Nov 5, 2019

Commits

Commits on Nov 4, 2019

• Miri: offset_from: do int-to-ptr casts when needed

  RalfJung

  committed
  da0c7c6

  Copy full SHA for da0c7c6

• Miri: ptr_offset_from: support offset_from with twice the same non-null integer

  RalfJung

  committed
  047e702

  Copy full SHA for 047e702

• test offset_from with two integers

  RalfJung

  committed
  3c944fe

  Copy full SHA for 3c944fe

• also test different integers

  RalfJung

  committed
  21d284b

  Copy full SHA for 21d284b

Commits on Nov 5, 2019

• expand comment explaining integer exception

  RalfJung

  committed
  a593b54

  Copy full SHA for a593b54