Code

miri engine: Stacked Borrows NG#55270

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:stacked-borrows-ngRalfJung/rust:stacked-borrows-ngCopy head branch name to clipboardOct 29, 2018

+174-130

Commits

Commits on Oct 28, 2018

• make (de)reference hooks more consistent

  RalfJung

  committed
  048900c

  Copy full SHA for 048900c

• validity in non-const mode relies on ref_to_mplace checking bounds; (de)reference hooks work on places

  RalfJung

  committed
  f5e8830

  Copy full SHA for f5e8830

• make memory private; that's what we have memory_mut for

  RalfJung

  committed
  ff3b29f

  Copy full SHA for ff3b29f

• don't tag new memory inside memory.rs; add machine hook to tag new memory

  RalfJung

  committed
  b2612cb

  Copy full SHA for b2612cb

• don't be too perf-greedy

  RalfJung

  committed
  95b19bb

  Copy full SHA for 95b19bb