]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #56094 - RalfJung:memory-data-revived, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 27 Nov 2018 09:30:15 +0000 (09:30 +0000)
committerbors <bors@rust-lang.org>
Tue, 27 Nov 2018 09:30:15 +0000 (09:30 +0000)
miri: Memory data revived, Hooks for stack frame push/pop

r? @oli-obk

1  2 
src/librustc/mir/interpret/allocation.rs
src/librustc/ty/context.rs
src/librustc_mir/interpret/machine.rs
src/librustc_mir/interpret/memory.rs

Simple merge
Simple merge
Simple merge