add another would-be data race compile fail test

This commit is contained in:
Jorge Aparicio 2017-04-14 10:18:50 -05:00
parent 3d88f6c6bf
commit 4d8d53a206
2 changed files with 19 additions and 0 deletions

19
tests/cfail/race-1.rs Normal file
View file

@ -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
});
}