aboutsummaryrefslogtreecommitdiff
path: root/examples/t-cfg.rs
diff options
context:
space:
mode:
Diffstat (limited to 'examples/t-cfg.rs')
-rw-r--r--examples/t-cfg.rs47
1 files changed, 47 insertions, 0 deletions
diff --git a/examples/t-cfg.rs b/examples/t-cfg.rs
new file mode 100644
index 00000000..158eef55
--- /dev/null
+++ b/examples/t-cfg.rs
@@ -0,0 +1,47 @@
+//! [compile-pass] check that `#[cfg]` attributes are respected
+
+#![no_main]
+#![no_std]
+
+use panic_halt as _;
+
+#[rtfm::app(device = lm3s6965, monotonic = rtfm::cyccnt::CYCCNT)]
+const APP: () = {
+ #[cfg(never)]
+ static mut FOO: u32 = 0;
+
+ #[init]
+ fn init(_: init::Context) {
+ #[cfg(never)]
+ static mut BAR: u32 = 0;
+ }
+
+ #[idle]
+ fn idle(_: idle::Context) -> ! {
+ #[cfg(never)]
+ static mut BAR: u32 = 0;
+
+ loop {}
+ }
+
+ #[task(resources = [FOO], schedule = [quux], spawn = [quux])]
+ fn foo(_: foo::Context) {
+ #[cfg(never)]
+ static mut BAR: u32 = 0;
+ }
+
+ #[task(priority = 3, resources = [FOO], schedule = [quux], spawn = [quux])]
+ fn bar(_: bar::Context) {
+ #[cfg(never)]
+ static mut BAR: u32 = 0;
+ }
+
+ #[cfg(never)]
+ #[task]
+ fn quux(_: quux::Context) {}
+
+ extern "C" {
+ fn UART0();
+ fn UART1();
+ }
+};