diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-13 23:56:59 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-13 23:56:59 +0200 |
| commit | 81275bfa4f41e2066770087f3a33cad4227eab41 (patch) | |
| tree | c779a68e7cecf4c2613c7593376f980cea5dbc05 /tests/cfail/init-not-send.rs | |
| parent | fafeeb27270ef24fc3852711c6032f65aa7dbcc0 (diff) | |
rtfm-syntax refactor + heterogeneous multi-core support
Diffstat (limited to 'tests/cfail/init-not-send.rs')
| -rw-r--r-- | tests/cfail/init-not-send.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/tests/cfail/init-not-send.rs b/tests/cfail/init-not-send.rs deleted file mode 100644 index 5a33fac..0000000 --- a/tests/cfail/init-not-send.rs +++ /dev/null @@ -1,29 +0,0 @@ -//! This is equivalent to the `late-not-send` cfail test - -#![no_main] -#![no_std] - -extern crate lm3s6965; -extern crate panic_halt; -extern crate rtfm; - -use core::marker::PhantomData; - -use rtfm::app; - -pub struct NotSend { - _0: PhantomData<*const ()>, -} - -#[app(device = lm3s6965)] //~ ERROR `*const ()` cannot be sent between threads safely -const APP: () = { - static mut X: Option<NotSend> = None; - - #[init(resources = [X])] - fn init(c: init::Context) { - *c.resources.X = Some(NotSend { _0: PhantomData }) - } - - #[interrupt(resources = [X])] - fn UART0(_: UART0::Context) {} -}; |
