miri engine: Hooks for basic stacked borrows - #55125

Merged

bors merged 14 commits into

rust-lang:masterfrom

RalfJung:stacked-borrows

Oct 21, 2018

Commits on Oct 18, 2018

comment on keeping validity in sync
RalfJung
committed
290db47
add support for storing extra data in an allocation
RalfJung
committed
21934c8
give machine more control over what counts as memory leak
RalfJung
committed
5b71857
provide machine hooks for creating references and accessing memory
RalfJung
committed
ce9cd15
eval_context: move getters together and add one for is_freeze
RalfJung
committed
5f20b16
also hook dereferencing
RalfJung
committed
d61db93
repeat after me: Clone, Copy, Debug
RalfJung
committed
1279a59
Forward entire ptr used for dealloaction to machine
RalfJung
committed
abf6f47
miri: debug! print when we are leaving/entering a function
RalfJung
committed
24724ef
add 'raw reference' to the machine hook, and use that in ptr-to-raw casts
RalfJung
committed
bc647e9
the tidy strikes again
RalfJung
committed
2af11f7
don't do any work towards ptr provenance in const mode
RalfJung
committed
c885d8b
turn casts-to-raw into a proper raw-reborrow; that is just cleaner
RalfJung
committed
5dd0375

Commits on Oct 20, 2018

update miri
RalfJung
committed
3f5b550