Repository navigation

Add Retagging statements - #55316

Merged

bors merged 9 commits into

rust-lang:masterfrom

RalfJung:retagging

Nov 2, 2018

Commits on Oct 29, 2018
- Emit Retag statements, kill Validate statements
  RalfJung
  committed
  aafcf2c
- Remove validation test cases; add retagging test case
  RalfJung
  committed
  96ba4af
- make inliner remove the fn_entry flag on Retag statements
  RalfJung
  committed
  8a61d49
- don't forget to sync these flags with miri
  RalfJung
  committed
  07829bc
- all hail tidy
  RalfJung
  committed
  c5abbd4
- fix nits
  RalfJung
  committed
  f2f0f1a
- let create_ref take a mutability, and leave it to step.rs to interpret mir::BorrowKind
  RalfJung
  committed
  3545dae
- provide mutable borrows when hooking memory write access
  RalfJung
  committed
  2a5eae3
- the memory_deallocated hook can make good use of knowing the size
  RalfJung
  committed
  d10304e