]> git.lizzy.rs Git - rust.git/commit
Miri: refactor new allocation tagging
authorRalf Jung <post@ralfj.de>
Mon, 15 Apr 2019 08:05:13 +0000 (10:05 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 16 Apr 2019 21:35:39 +0000 (23:35 +0200)
commit19485cc10173cb72e24813ce95b65c8f3cf92326
tree502212fd200a2c1094b074aa3eca287fbe253045
parentee621f42329069c296b4c2066b3743cc4ff0f369
Miri: refactor new allocation tagging
src/librustc/mir/interpret/allocation.rs
src/librustc/mir/interpret/pointer.rs
src/librustc/mir/interpret/value.rs
src/librustc_mir/const_eval.rs
src/librustc_mir/interpret/machine.rs
src/librustc_mir/interpret/memory.rs
src/librustc_mir/interpret/operand.rs
src/librustc_mir/interpret/place.rs
src/librustc_mir/interpret/traits.rs