]> git.lizzy.rs Git - rust.git/commit
miri: use AllocId instead of u64.
authorEduard-Mihai Burtescu <edy.burt@gmail.com>
Fri, 5 Jan 2018 03:12:38 +0000 (05:12 +0200)
committerEduard-Mihai Burtescu <edy.burt@gmail.com>
Fri, 5 Jan 2018 03:12:38 +0000 (05:12 +0200)
commit0907494ae1b310da5708d61a5ca4f20033dcc86a
tree8b6f131971fb97eff465ec5eeba4bb17f07f6d34
parent8e7a609e635b728eba65d471c985ab462dc4cfc7
miri: use AllocId instead of u64.
src/librustc/mir/interpret/mod.rs
src/librustc/ty/context.rs
src/librustc_mir/interpret/const_eval.rs
src/librustc_mir/interpret/eval_context.rs
src/librustc_mir/interpret/machine.rs
src/librustc_mir/interpret/memory.rs
src/librustc_mir/interpret/place.rs
src/librustc_mir/interpret/step.rs