miri engine: basic support for pointer provenance tracking - #54461

Merged

bors merged 12 commits into

rust-lang:masterfrom

RalfJung:pointer-provenance

Oct 10, 2018

Commits on Oct 10, 2018

miri engine: basic support for pointer provenance tracking
RalfJung
committed
4e9f932
tidy, oh tidy
RalfJung
committed
f3a39e3
expand comment
RalfJung
committed
50c00a9
rename extra -> meta in place
RalfJung
committed
397283d
expand safety comment in memory.rs
RalfJung
committed
d4b21f1
fix typos
RalfJung
committed
e0b17ad
clarify alloc_map description
RalfJung
committed
0354510
typos and spaces
RalfJung
committed
75ea7c7
abstract mono_hash_map through a trait, only miri actually needs the fancy one
RalfJung
committed
83667d6
more comments for these sublte games we are playing with allocations in the miri engine
RalfJung
committed
3fb617d
vtables are not leaks
RalfJung
committed
9a9dbff
tidy up
RalfJung
committed
bc9435d