From 46baa7ea708be8a4a0c14aa9d3a2854f6585a3c2 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Thu, 13 Apr 2017 23:31:11 -0500
Subject: [PATCH] regression test

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

diff --git a/tests/cfail/race.rs b/tests/cfail/race.rs
new file mode 100644
index 0000000000..c2f564eaf4
--- /dev/null
+++ b/tests/cfail/race.rs
@@ -0,0 +1,22 @@
+extern crate cortex_m_srp as srp;
+
+use srp::{C2, C4, P1, P3, Resource};
+
+static R1: Resource<i32, C2> = Resource::new(0);
+static R2: Resource<i32, C4> = Resource::new(0);
+
+fn j1(prio: P1) {
+    R1.lock(&prio, |r1, _| {
+        // Would preempt this critical section
+        // srp::request(j2);
+    });
+}
+
+fn j2(prio: P3) {
+    R2.lock(&prio, |r2, c4| {
+        // OK  C2 (R1's ceiling) <= C4 (system ceiling)
+        // BAD C2 (R1's ceiling) <  P3 (j2's priority)
+        let r1 = R1.borrow(&prio, &c4);
+        //~^ error
+    });
+}