Rollup merge of rust-lang#49625 - bjorn3:miri_access_memory_kind, r=o…

…li-obk miri: add public alloc_kind accessor
kennytm · Apr 4, 2018 · 391959f · 391959f
2 parents 93ad4f2 + ac4f69b
commit 391959f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/librustc_mir/interpret/memory.rs b/src/librustc_mir/interpret/memory.rs
@@ -328,6 +328,10 @@ impl<'a, 'mir, 'tcx, M: Machine<'mir, 'tcx>> Memory<'a, 'mir, 'tcx, M> {
             .ok_or(EvalErrorKind::ExecuteMemory.into())
     }
 
+    pub fn get_alloc_kind(&self, id: AllocId) -> Option<MemoryKind<M::MemoryKinds>> {
+        self.alloc_kind.get(&id).cloned()
+    }
+
     /// For debugging, print an allocation and all allocations it points to, recursively.
     pub fn dump_alloc(&self, id: AllocId) {
         self.dump_allocs(vec![id]);