Rustup: Stacked Borrows - #487

Merged

RalfJung merged 13 commits into

Oct 22, 2018

Commits on Oct 16, 2018

add Borrow tag to pointers; remove old locking code
RalfJung
committed
b84f7e2
add env var emulation test, and fix it complaining about leaks
RalfJung
committed
348f782
stacked borrows: track refs and derefs
RalfJung
committed
66b4bb7

Commits on Oct 17, 2018

stacked borrows: enforcement at memory accesses
RalfJung
committed
d4b78b3
reenable some tests that work now, and organize them better with directories
RalfJung
committed
1907782
bump for ENABLE_PTR_TRACKING_HOOKS, and remove some dead code
RalfJung
committed
b259512

Commits on Oct 18, 2018

fix for ptr-to-raw casts properly erasing the tag
RalfJung
committed
b9fe91e

Commits on Oct 20, 2018

disable env var test on macOS, win
RalfJung
committed
bbb1d80

Commits on Oct 22, 2018