From fdc7071697c8dd1d5db3621827dcb74bdcdfa4de Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 26 Jul 2017 11:10:47 -0700
Subject: [PATCH] whitelist some more methods

---
 src/librustc_mir/interpret/validation.rs | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src/librustc_mir/interpret/validation.rs b/src/librustc_mir/interpret/validation.rs
index 8d0af524d57..eb8afa56e4f 100644
--- a/src/librustc_mir/interpret/validation.rs
+++ b/src/librustc_mir/interpret/validation.rs
@@ -46,10 +46,15 @@ pub(crate) fn validation_op(&mut self, op: ValidationOp, operand: &ValidationOpe
 std::mem::uninitialized::|\
 std::ptr::read::|\
 std::panicking::try::do_call::|\
-<std::heap::Heap as std::heap::Alloc>::alloc$|\
+std::slice::from_raw_parts_mut::|\
+<std::heap::Heap as std::heap::Alloc>::|\
 <std::mem::ManuallyDrop<T>><std::heap::AllocErr>::new$|\
+<std::mem::ManuallyDrop<T> as std::ops::DerefMut><std::heap::AllocErr>::deref_mut$|\
 std::sync::atomic::AtomicBool::get_mut$|\
-<std::vec::Vec<T>><[a-zA-Z0-9_]+>::into_boxed_slice$\
+<std::boxed::Box<T>><[a-zA-Z0-9_\\[\\]]+>::from_raw|\
+<[a-zA-Z0-9_:<>]+ as std::slice::SliceIndex<[a-zA-Z0-9_\\[\\]]+>><[a-zA-Z0-9_\\[\\]]+>::get_unchecked_mut$|\
+<alloc::raw_vec::RawVec<T, std::heap::Heap>><[a-zA-Z0-9_\\[\\]]+>::into_box$|\
+<std::vec::Vec<T>><[a-zA-Z0-9_\\[\\]]+>::into_boxed_slice$\
 )").unwrap();
             }
             // Now test
-- 
2.44.0