From 595404c5ffc37ce95ffb2b6999ab85e6818bfa50 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Sun, 9 Apr 2017 22:42:17 -0500 Subject: compile time verified ceilings --- tests/cfail/borrow.rs | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 tests/cfail/borrow.rs (limited to 'tests/cfail/borrow.rs') diff --git a/tests/cfail/borrow.rs b/tests/cfail/borrow.rs new file mode 100644 index 0000000..fc8638f --- /dev/null +++ b/tests/cfail/borrow.rs @@ -0,0 +1,22 @@ +extern crate cortex_m_srp; + +use cortex_m_srp::{C2, C3, C4, P1, Resource}; + +static R1: Resource = Resource::new(0); +static R2: Resource = Resource::new(0); +static R3: Resource = Resource::new(0); +static R4: Resource = Resource::new(0); + +fn j1(prio: P1) { + R1.lock(&prio, |r1, c3| { + // CAN borrow a resource with ceiling C when the system ceiling SC > C + let r2 = R2.borrow(&c3); + + // CAN borrow a resource with ceiling C when the system ceiling SC == C + let r3 = R3.borrow(&c3); + + // CAN'T borrow a resource with ceiling C when the system ceiling SC < C + let r4 = R4.borrow(&c3); + //~^ error + }); +} -- cgit v1.2.3