prevent the modification of vtables

This commit is contained in:
Oliver Schneider 2016-09-10 15:17:08 +02:00
parent 5c47e3dbd8
commit 3c5f595d45
No known key found for this signature in database
GPG key ID: 1D5CB4FC597C3004

View file

@ -96,6 +96,8 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> {
}
}
self.memory.freeze(vtable.alloc_id)?;
Ok(vtable)
}