aboutsummaryrefslogtreecommitdiff
path: root/tests/cpass/late-not-send.rs
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2018-11-03 16:31:11 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2018-11-03 16:31:11 +0000
commit777765e522949ebf84d05d4db075132172d81494 (patch)
tree41bc00739da8f832eb5ba68ef99ec8b9d06111a4 /tests/cpass/late-not-send.rs
parent653338e7997a0cdc5deaed98b1bb5f60006717ed (diff)
parent3a867e70c3b1afc4943ec597e4f188432fba5a8b (diff)
Merge #97
97: v0.4.0 r=japaric a=japaric closes #32 closes #33 Co-authored-by: Jorge Aparicio <jorge@japaric.io>
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 {}
+ }
+};