From 3c5f595d45917152bbb8e5217ddef94930deb5b6 Mon Sep 17 00:00:00 2001
From: Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de>
Date: Sat, 10 Sep 2016 15:17:08 +0200
Subject: [PATCH] prevent the modification of vtables

---
 src/interpreter/vtable.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/interpreter/vtable.rs b/src/interpreter/vtable.rs
index 154a9ee8c5a6..d4b347af0671 100644
--- a/src/interpreter/vtable.rs
+++ b/src/interpreter/vtable.rs
@@ -96,6 +96,8 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
             }
         }
 
+        self.memory.freeze(vtable.alloc_id)?;
+
         Ok(vtable)
     }