Code

Add escape-to-raw MIR statement#55716

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom RalfJung:escape-to-rawRalfJung/rust:escape-to-rawCopy head branch name to clipboardNov 15, 2018

+267-163

Commits

Commits on Nov 7, 2018

• no more action on ref or cast, but add new MIR statement for escaping a ptr to raw

  RalfJung

  committed
  f27cd60

  Copy full SHA for f27cd60

• calling the ptr hooks no longer needs expensive preparation, remove the opt-out

  RalfJung

  committed
  b9a35dc

  Copy full SHA for b9a35dc

• array index accesses are stable places

  RalfJung

  committed
  f174099

  Copy full SHA for f174099

• only count deref_operand as actual deref, but not all ref-to-place conversions

  RalfJung

  committed
  154835e

  Copy full SHA for 154835e

• drop glue works with raw ptrs, it must EscapeToRaw

  RalfJung

  committed
  9e3f571

  Copy full SHA for 9e3f571

• comment

  RalfJung

  committed
  b891a81

  Copy full SHA for b891a81