aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/critical-section.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2018-11-03 17:02:41 +0100
committerJorge Aparicio <jorge@japaric.io>2018-11-03 17:16:55 +0100
commitc631049efcadca8b07940c794cce2be58fa48444 (patch)
treef6bd73e5c396fc06072557ee965cc59e9c8e3e9f /tests/cfail/critical-section.rs
parent653338e7997a0cdc5deaed98b1bb5f60006717ed (diff)
v0.4.0
closes #32 closes #33
Diffstat (limited to 'tests/cfail/critical-section.rs')
-rw-r--r--tests/cfail/critical-section.rs47
1 files changed, 0 insertions, 47 deletions
diff --git a/tests/cfail/critical-section.rs b/tests/cfail/critical-section.rs
deleted file mode 100644
index c0f475c..0000000
--- a/tests/cfail/critical-section.rs
+++ /dev/null
@@ -1,47 +0,0 @@
-#![deny(unsafe_code)]
-#![deny(warnings)]
-#![feature(const_fn)]
-#![no_std]
-
-extern crate cortex_m_rtfm as rtfm;
-extern crate stm32f103xx;
-
-use rtfm::{app, Resource, Threshold};
-
-app! {
- device: stm32f103xx,
-
- resources: {
- static ON: bool = false;
- },
-
- idle: {
- resources: [ON],
- },
-
- tasks: {
- EXTI0: {
- path: exti0,
- priority: 1,
- resources: [ON],
- },
- },
-}
-
-fn init(_p: init::Peripherals, _r: init::Resources) {}
-
-fn idle(t: &mut Threshold, r: idle::Resources) -> ! {
- let state = rtfm::atomic(t, |t| {
- // ERROR borrow can't escape this *global* critical section
- r.ON.borrow(t) //~ error cannot infer an appropriate lifetime
- });
-
- let state = r.ON.claim(t, |state, _t| {
- // ERROR borrow can't escape this critical section
- state //~ error cannot infer an appropriate lifetime
- });
-
- loop {}
-}
-
-fn exti0(_t: &mut Threshold, _r: EXTI0::Resources) {}