From aee1d785a914365e64462ce507e27ca917da9055 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Wed, 19 Apr 2017 14:12:11 -0500
Subject: don't let the ceiling token escape the critical section

---
 tests/cfail/ceiling.rs | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/cfail/ceiling.rs

(limited to 'tests')

diff --git a/tests/cfail/ceiling.rs b/tests/cfail/ceiling.rs
new file mode 100644
index 0000000..9ddce53
--- /dev/null
+++ b/tests/cfail/ceiling.rs
@@ -0,0 +1,15 @@
+extern crate cortex_m_srp;
+
+use cortex_m_srp::{C3, P2, Resource};
+
+static R1: Resource<(), C3> = Resource::new(());
+
+fn j1(prio: P2) {
+    let c3 = R1.lock(&prio, |r1, c3| {
+        // forbidden: ceiling token can't outlive critical section
+        c3  //~ error
+    });
+
+    // Would be bad: lockless access to a resource with ceiling = 3
+    let r2 = R1.borrow(&prio, c3);
+}
-- 
cgit v1.2.3