aboutsummaryrefslogtreecommitdiff
path: root/tests/cpass/late-not-send.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/cpass/late-not-send.rs
parent653338e7997a0cdc5deaed98b1bb5f60006717ed (diff)
v0.4.0
closes #32 closes #33
Diffstat (limited to 'tests/cpass/late-not-send.rs')
-rw-r--r--tests/cpass/late-not-send.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/tests/cpass/late-not-send.rs b/tests/cpass/late-not-send.rs
new file mode 100644
index 0000000..b7d2d60
--- /dev/null
+++ b/tests/cpass/late-not-send.rs
@@ -0,0 +1,33 @@
+#![feature(extern_crate_item_prelude)] // ???
+#![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)]
+const APP: () = {
+ static mut X: NotSend = ();
+ static mut Y: Option<NotSend> = None;
+
+ #[init(resources = [Y])]
+ fn init() {
+ *resources.Y = Some(NotSend { _0: PhantomData });
+
+ X = NotSend { _0: PhantomData };
+ }
+
+ #[idle(resources = [X, Y])]
+ fn idle() -> ! {
+ loop {}
+ }
+};