1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 #![feature(untagged_unions)]
13 use std::cell::{Cell, RefCell};
17 struct InjectedFailure;
20 data: RefCell<Vec<bool>>,
25 impl panic::UnwindSafe for Allocator {}
26 impl panic::RefUnwindSafe for Allocator {}
28 impl Drop for Allocator {
30 let data = self.data.borrow();
31 if data.iter().any(|d| *d) {
32 panic!("missing free: {:?}", data);
38 fn new(failing_op: usize) -> Self {
40 failing_op: failing_op,
41 cur_ops: Cell::new(0),
42 data: RefCell::new(vec![])
45 fn alloc(&self) -> Ptr {
46 self.cur_ops.set(self.cur_ops.get() + 1);
48 if self.cur_ops.get() == self.failing_op {
49 panic!(InjectedFailure);
52 let mut data = self.data.borrow_mut();
53 let addr = data.len();
59 struct Ptr<'a>(usize, &'a Allocator);
60 impl<'a> Drop for Ptr<'a> {
62 match self.1.data.borrow_mut()[self.0] {
64 panic!("double free at index {:?}", self.0)
66 ref mut d => *d = false
69 self.1.cur_ops.set(self.1.cur_ops.get()+1);
71 if self.1.cur_ops.get() == self.1.failing_op {
72 panic!(InjectedFailure);
77 fn dynamic_init(a: &Allocator, c: bool) {
84 fn dynamic_drop(a: &Allocator, c: bool) {
93 struct TwoPtrs<'a>(Ptr<'a>, Ptr<'a>);
94 fn struct_dynamic_drop(a: &Allocator, c0: bool, c1: bool, c: bool) {
98 if (c0 && i == 0) || (c1 && i == 1) {
99 x = (a.alloc(), a.alloc(), a.alloc());
100 y = TwoPtrs(a.alloc(), a.alloc());
109 fn field_assignment(a: &Allocator, c0: bool) {
110 let mut x = (TwoPtrs(a.alloc(), a.alloc()), a.alloc());
121 fn assignment2(a: &Allocator, c0: bool, c1: bool) {
122 let mut _v = a.alloc();
123 let mut _w = a.alloc();
133 fn assignment1(a: &Allocator, c0: bool) {
134 let mut _v = a.alloc();
135 let mut _w = a.alloc();
142 #[allow(unions_with_drop_fields)]
148 fn union1(a: &Allocator) {
150 let mut u = Boxy { a: a.alloc() };
156 fn array_simple(a: &Allocator) {
157 let _x = [a.alloc(), a.alloc(), a.alloc(), a.alloc()];
160 fn vec_simple(a: &Allocator) {
161 let _x = vec![a.alloc(), a.alloc(), a.alloc(), a.alloc()];
164 #[allow(unreachable_code)]
165 fn vec_unreachable(a: &Allocator) {
166 let _x = vec![a.alloc(), a.alloc(), a.alloc(), return];
169 fn run_test<F>(mut f: F)
170 where F: FnMut(&Allocator)
172 let first_alloc = Allocator::new(usize::MAX);
175 for failing_op in 1..first_alloc.cur_ops.get()+1 {
176 let alloc = Allocator::new(failing_op);
178 let f = panic::AssertUnwindSafe(&mut f);
179 let result = panic::catch_unwind(move || {
183 Ok(..) => panic!("test executed {} ops but now {}",
184 first_alloc.cur_ops.get(), alloc.cur_ops.get()),
186 if e.downcast_ref::<InjectedFailure>().is_none() {
187 panic::resume_unwind(e);
194 fn run_test_nopanic<F>(mut f: F)
195 where F: FnMut(&Allocator)
197 let first_alloc = Allocator::new(usize::MAX);
202 run_test(|a| dynamic_init(a, false));
203 run_test(|a| dynamic_init(a, true));
204 run_test(|a| dynamic_drop(a, false));
205 run_test(|a| dynamic_drop(a, true));
207 run_test(|a| assignment2(a, false, false));
208 run_test(|a| assignment2(a, false, true));
209 run_test(|a| assignment2(a, true, false));
210 run_test(|a| assignment2(a, true, true));
212 run_test(|a| assignment1(a, false));
213 run_test(|a| assignment1(a, true));
215 run_test(|a| array_simple(a));
216 run_test(|a| vec_simple(a));
217 run_test(|a| vec_unreachable(a));
219 run_test(|a| struct_dynamic_drop(a, false, false, false));
220 run_test(|a| struct_dynamic_drop(a, false, false, true));
221 run_test(|a| struct_dynamic_drop(a, false, true, false));
222 run_test(|a| struct_dynamic_drop(a, false, true, true));
223 run_test(|a| struct_dynamic_drop(a, true, false, false));
224 run_test(|a| struct_dynamic_drop(a, true, false, true));
225 run_test(|a| struct_dynamic_drop(a, true, true, false));
226 run_test(|a| struct_dynamic_drop(a, true, true, true));
228 run_test(|a| field_assignment(a, false));
229 run_test(|a| field_assignment(a, true));
231 run_test_nopanic(|a| union1(a));