diff options
| -rw-r--r-- | tests/cfail/race-1.rs | 19 | ||||
| -rw-r--r-- | tests/cfail/race-2.rs (renamed from tests/cfail/race.rs) | 0 |
2 files changed, 19 insertions, 0 deletions
diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs new file mode 100644 index 00000000..cc31ef76 --- /dev/null +++ b/tests/cfail/race-1.rs @@ -0,0 +1,19 @@ +extern crate cortex_m_srp as srp; + +use srp::{C2, C4, P1, P3, Resource}; + +static R1: Resource<i32, C2> = Resource::new(0); + +fn j1(prio: P1) { + R1.lock(&prio, |r1, _| { + // Would preempt this critical section + // srp::request(j2); + }); +} + +fn j2(prio: P3) { + srp::critical(|ceil| { + let r1 = R1.borrow(&prio, &ceil); + //~^ error + }); +} diff --git a/tests/cfail/race.rs b/tests/cfail/race-2.rs index c2f564ea..c2f564ea 100644 --- a/tests/cfail/race.rs +++ b/tests/cfail/race-2.rs |