diff options
Diffstat (limited to '')
-rw-r--r-- | tests/cfail/init-resource-share-idle.rs | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/cfail/init-resource-share-idle.rs b/tests/cfail/init-resource-share-idle.rs new file mode 100644 index 00000000..d8332469 --- /dev/null +++ b/tests/cfail/init-resource-share-idle.rs @@ -0,0 +1,31 @@ +#![deny(warnings)] +#![feature(proc_macro)] +#![no_std] + +extern crate cortex_m_rtfm as rtfm; +extern crate stm32f103xx; + +use rtfm::app; + +app! { //~ proc macro panicked + device: stm32f103xx, + + resources: { + static BUFFER: [u8; 16] = [0; 16]; + }, + + init: { + resources: [BUFFER], + }, + + idle: { + // ERROR resources assigned to `init` can't be shared with `idle` + resources: [BUFFER], + }, +} + +fn init(_p: init::Peripherals, _r: init::Resources) {} + +fn idle(_r: init::Resources) -> ! { + loop {} +} |