Code

Tag static/const allocations#748

Code

Merged

RalfJung merged 4 commits intorust-lang:masterrust-lang/miri:masterfrom RalfJung:tag-allocationRalfJung/miri:tag-allocationCopy head branch name to clipboardJun 2, 2019

+87-69

Commits

Commits on Jun 2, 2019

• use new rustc infrastructure to tag the base pointer of static allocations

  RalfJung

  committed
  0c70415

• fix existing tests

  Show description for e03255d
  RalfJung

  committed
  e03255d

• test that we cannot access unescaped static memory with a raw ptr

  RalfJung

  committed
  9f48b30

• bump Rust version

  RalfJung

  committed
  b231a7e