aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/lock_mut.rs
diff options
context:
space:
mode:
authorJorge Aparicio <japaricious@gmail.com>2017-04-13 22:57:06 -0500
committerJorge Aparicio <japaricious@gmail.com>2017-04-13 22:58:29 -0500
commit2fb00c7d85f2eee6caa0bc742afd496a6ef7f33c (patch)
tree3f43c203a1cd2b9d0c53c984f8250bdfa8b42ffc /tests/cfail/lock_mut.rs
parent692ad81ad87299a14ed76dc455ceed011b9c5c45 (diff)
fix memory safety hole around `borrow`
Diffstat (limited to 'tests/cfail/lock_mut.rs')
-rw-r--r--tests/cfail/lock_mut.rs16
1 files changed, 0 insertions, 16 deletions
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<i32, C4> = Resource::new(0);
-static R2: Resource<i32, C3> = 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
- }
- );
-}