From 2fb00c7d85f2eee6caa0bc742afd496a6ef7f33c Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Thu, 13 Apr 2017 22:57:06 -0500 Subject: fix memory safety hole around `borrow` --- tests/cfail/lock_mut.rs | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 tests/cfail/lock_mut.rs (limited to 'tests/cfail/lock_mut.rs') diff --git a/tests/cfail/lock_mut.rs b/tests/cfail/lock_mut.rs deleted file mode 100644 index b5e1ae9..0000000 --- a/tests/cfail/lock_mut.rs +++ /dev/null @@ -1,16 +0,0 @@ -extern crate cortex_m_srp; - -use cortex_m_srp::{C3, C4, P2, Resource}; - -static R1: Resource = Resource::new(0); -static R2: Resource = Resource::new(0); - -fn j1(mut prio: P2) { - R1.lock_mut( - &mut prio, |r1: &mut i32, c3| { - let r2 = R2.borrow(&c3); - let another_r1: &i32 = R1.borrow(&c3); - //~^ error - } - ); -} -- cgit v1.2.3