fix warnings in tests; update validation whitelist

This commit is contained in:
Ralf Jung
2017-09-09 11:13:56 +02:00
parent 00c909dbd0
commit 41f228824f
8 changed files with 6 additions and 13 deletions

View File

@@ -56,17 +56,17 @@ impl<'a, 'tcx, M: Machine<'tcx>> EvalContext<'a, 'tcx, M> {
use regex::Regex; use regex::Regex;
lazy_static! { lazy_static! {
static ref RE: Regex = Regex::new("^(\ static ref RE: Regex = Regex::new("^(\
std::mem::uninitialized::|\ (std|alloc::heap::__core)::mem::uninitialized::|\
std::mem::forget::|\ (std|alloc::heap::__core)::mem::forget::|\
<(std|alloc)::heap::Heap as (std::heap|alloc::allocator)::Alloc>::|\ <(std|alloc)::heap::Heap as (std::heap|alloc::allocator)::Alloc>::|\
<std::mem::ManuallyDrop<T>><.*>::new$|\ <(std|alloc::heap::__core)::mem::ManuallyDrop<T>><.*>::new$|\
<std::mem::ManuallyDrop<T> as std::ops::DerefMut><.*>::deref_mut$|\ <(std|alloc::heap::__core)::mem::ManuallyDrop<T> as std::ops::DerefMut><.*>::deref_mut$|\
std::ptr::read::|\ (std|alloc::heap::__core)::ptr::read::|\
\ \
<std::sync::Arc<T>><.*>::inner$|\ <std::sync::Arc<T>><.*>::inner$|\
<std::sync::Arc<T>><.*>::drop_slow$|\ <std::sync::Arc<T>><.*>::drop_slow$|\
(std::heap|alloc::allocator)::Layout::for_value::|\ (std::heap|alloc::allocator)::Layout::for_value::|\
std::mem::(size|align)_of_val::\ (std|alloc::heap::__core)::mem::(size|align)_of_val::\
)").unwrap(); )").unwrap();
} }
// Now test // Now test

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate or reallocate using incorrect alignment or size // error-pattern: tried to deallocate or reallocate using incorrect alignment or size
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate or reallocate using incorrect alignment or size // error-pattern: tried to deallocate or reallocate using incorrect alignment or size
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate dangling pointer // error-pattern: tried to deallocate dangling pointer
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate or reallocate using incorrect alignment or size // error-pattern: tried to deallocate or reallocate using incorrect alignment or size
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate or reallocate using incorrect alignment or size // error-pattern: tried to deallocate or reallocate using incorrect alignment or size
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 2)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 2)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: tried to deallocate or reallocate using incorrect alignment or size // error-pattern: tried to deallocate or reallocate using incorrect alignment or size
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();

View File

@@ -7,7 +7,6 @@ use alloc::allocator::*;
// error-pattern: dangling pointer was dereferenced // error-pattern: dangling pointer was dereferenced
use alloc::heap::*;
fn main() { fn main() {
unsafe { unsafe {
let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap(); let x = Heap.alloc(Layout::from_size_align_unchecked(1, 1)).unwrap();