From 4d8d53a20613efc27042c965765588e4c7fce46d Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Fri, 14 Apr 2017 10:18:50 -0500 Subject: [PATCH] add another would-be data race compile fail test --- tests/cfail/race-1.rs | 19 +++++++++++++++++++ tests/cfail/{race.rs => race-2.rs} | 0 2 files changed, 19 insertions(+) create mode 100644 tests/cfail/race-1.rs rename tests/cfail/{race.rs => race-2.rs} (100%) diff --git a/tests/cfail/race-1.rs b/tests/cfail/race-1.rs new file mode 100644 index 0000000000..cc31ef7612 --- /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 = 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 similarity index 100% rename from tests/cfail/race.rs rename to tests/cfail/race-2.rs