Code

Refactor miri pointer checks#62081

Code

Merged

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

RalfJung:miri-pointer-checksRalfJung/rust:miri-pointer-checksCopy head branch name to clipboard

Jun 24, 2019

Commits

Commits on Jun 23, 2019

• Centralize bounds, alignment and NULL checking for memory accesses in one function: memory.check_ptr_access

  Show description for c50b9d1
  RalfJung

  committed
  c50b9d1

  Copy full SHA for c50b9d1

• move CheckInAllocMsg to more logical place

  RalfJung

  committed
  dcc8371

  Copy full SHA for dcc8371

• clean up internals of pointer checks; make get_size_and_align also check for fn allocations

  RalfJung

  committed
  c12c8a7

  Copy full SHA for c12c8a7

• comment tweaks, better validation errors, update UI tests

  RalfJung

  committed
  9c32ede

  Copy full SHA for 9c32ede

• make code more symmetric

  RalfJung

  committed
  9492038

  Copy full SHA for 9492038

• deduplicate some code

  RalfJung

  committed
  9954af4

  Copy full SHA for 9954af4

• expand comment

  RalfJung

  committed
  38104ab

  Copy full SHA for 38104ab

Commits on Jun 24, 2019

• fix reoccurring typo

  RalfJung

  committed
  7e83028

  Copy full SHA for 7e83028