Code

Add Retagging statements#55316

Code

Merged

bors merged 9 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:retaggingRalfJung/rust:retaggingCopy head branch name to clipboardNov 2, 2018

Commits

Commits on Oct 29, 2018

• Emit Retag statements, kill Validate statements

  Show description for aafcf2c
  RalfJung

  committed
  aafcf2c

  Copy full SHA for aafcf2c

• Remove validation test cases; add retagging test case

  RalfJung

  committed
  96ba4af

  Copy full SHA for 96ba4af

• make inliner remove the fn_entry flag on Retag statements

  RalfJung

  committed
  8a61d49

  Copy full SHA for 8a61d49

• don't forget to sync these flags with miri

  RalfJung

  committed
  07829bc

  Copy full SHA for 07829bc

• all hail tidy

  RalfJung

  committed
  c5abbd4

  Copy full SHA for c5abbd4

• fix nits

  RalfJung

  committed
  f2f0f1a

  Copy full SHA for f2f0f1a

• let create_ref take a mutability, and leave it to step.rs to interpret mir::BorrowKind

  RalfJung

  committed
  3545dae

  Copy full SHA for 3545dae

• provide mutable borrows when hooking memory write access

  RalfJung

  committed
  2a5eae3

  Copy full SHA for 2a5eae3

• the memory_deallocated hook can make good use of knowing the size

  RalfJung

  committed
  d10304e

  Copy full SHA for d10304e