diff options
| author | Ralf Jung <post@ralfj.de> | 2017-09-09 11:13:56 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-09-09 11:18:02 +0200 |
| commit | 41f228824faaba767cd81eb4b47fffd77c8cbedd (patch) | |
| tree | a1cf57485159ea8e1f986fb85934e943bdf5f90a | |
| parent | 00c909dbd04979de95588f2c40b54f8787faf6a3 (diff) | |
| download | rust-41f228824faaba767cd81eb4b47fffd77c8cbedd.tar.gz rust-41f228824faaba767cd81eb4b47fffd77c8cbedd.zip | |
fix warnings in tests; update validation whitelist
| -rw-r--r-- | src/librustc_mir/interpret/validation.rs | 12 | ||||
| -rw-r--r-- | tests/compile-fail/deallocate-bad-alignment.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/deallocate-bad-size.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/deallocate-twice.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/reallocate-bad-alignment-2.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/reallocate-bad-alignment.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/reallocate-bad-size.rs | 1 | ||||
| -rw-r--r-- | tests/compile-fail/reallocate-dangling.rs | 1 |
8 files changed, 6 insertions, 13 deletions
diff --git a/src/librustc_mir/interpret/validation.rs b/src/librustc_mir/interpret/validation.rs index 878ec3e1911..9a16a4ec150 100644 --- a/src/librustc_mir/interpret/validation.rs +++ b/src/librustc_mir/interpret/validation.rs @@ -56,17 +56,17 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> { use regex::Regex; lazy_static! { static ref RE: Regex = Regex::new("^(\ - std::mem::uninitialized::|\ - std::mem::forget::|\ + (std|alloc::heap::__core)::mem::uninitialized::|\ + (std|alloc::heap::__core)::mem::forget::|\ <(std|alloc)::heap::Heap as (std::heap|alloc::allocator)::Alloc>::|\ - <std::mem::ManuallyDrop<T>><.*>::new$|\ - <std::mem::ManuallyDrop<T> as std::ops::DerefMut><.*>::deref_mut$|\ - std::ptr::read::|\ + <(std|alloc::heap::__core)::mem::ManuallyDrop<T>><.*>::new$|\ + <(std|alloc::heap::__core)::mem::ManuallyDrop<T> as std::ops::DerefMut><.*>::deref_mut$|\ + (std|alloc::heap::__core)::ptr::read::|\ \ <std::sync::Arc<T>><.*>::inner$|\ <std::sync::Arc<T>><.*>::drop_slow$|\ (std::heap|alloc::allocator)::Layout::for_value::|\ - std::mem::(size|align)_of_val::\ + (std|alloc::heap::__core)::mem::(size|align)_of_val::\ )").unwrap(); } // Now test diff --git a/tests/compile-fail/deallocate-bad-alignment.rs b/tests/compile-fail/deallocate-bad-alignment.rs index a0bcffa47d9..c1ae7477c81 100644 --- a/tests/compile-fail/deallocate-bad-alignment.rs +++ b/tests/compile-fail/deallocate-bad-alignment.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate or reallocate using incorrect alignment or size -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); diff --git a/tests/compile-fail/deallocate-bad-size.rs b/tests/compile-fail/deallocate-bad-size.rs index d8c4493043d..5577f10736d 100644 --- a/tests/compile-fail/deallocate-bad-size.rs +++ b/tests/compile-fail/deallocate-bad-size.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate or reallocate using incorrect alignment or size -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); diff --git a/tests/compile-fail/deallocate-twice.rs b/tests/compile-fail/deallocate-twice.rs index fd3cccfd53a..e11df0eb414 100644 --- a/tests/compile-fail/deallocate-twice.rs +++ b/tests/compile-fail/deallocate-twice.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate dangling pointer -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); diff --git a/tests/compile-fail/reallocate-bad-alignment-2.rs b/tests/compile-fail/reallocate-bad-alignment-2.rs index 41da885a2c6..cd6214440ff 100644 --- a/tests/compile-fail/reallocate-bad-alignment-2.rs +++ b/tests/compile-fail/reallocate-bad-alignment-2.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate or reallocate using incorrect alignment or size -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); diff --git a/tests/compile-fail/reallocate-bad-alignment.rs b/tests/compile-fail/reallocate-bad-alignment.rs index be4bc5589c5..da5fe1d8190 100644 --- a/tests/compile-fail/reallocate-bad-alignment.rs +++ b/tests/compile-fail/reallocate-bad-alignment.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate or reallocate using incorrect alignment or size -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 2)).unwrap(); diff --git a/tests/compile-fail/reallocate-bad-size.rs b/tests/compile-fail/reallocate-bad-size.rs index 2e5a6418380..953178742c4 100644 --- a/tests/compile-fail/reallocate-bad-size.rs +++ b/tests/compile-fail/reallocate-bad-size.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: tried to deallocate or reallocate using incorrect alignment or size -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); diff --git a/tests/compile-fail/reallocate-dangling.rs b/tests/compile-fail/reallocate-dangling.rs index 54636b5d200..6225879a5a2 100644 --- a/tests/compile-fail/reallocate-dangling.rs +++ b/tests/compile-fail/reallocate-dangling.rs @@ -7,7 +7,6 @@ use alloc::allocator::*; // error-pattern: dangling pointer was dereferenced -use alloc::heap::*; fn main() { unsafe { let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); |
