From 81275bfa4f41e2066770087f3a33cad4227eab41 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 13 Jun 2019 23:56:59 +0200
Subject: rtfm-syntax refactor + heterogeneous multi-core support

---
 ui/single/locals-cfg.rs | 50 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)
 create mode 100644 ui/single/locals-cfg.rs

(limited to 'ui/single/locals-cfg.rs')

diff --git a/ui/single/locals-cfg.rs b/ui/single/locals-cfg.rs
new file mode 100644
index 0000000..bcce5ca
--- /dev/null
+++ b/ui/single/locals-cfg.rs
@@ -0,0 +1,50 @@
+#![no_main]
+
+#[rtfm::app(device = lm3s6965)]
+const APP: () = {
+    #[init]
+    fn init(_: init::Context) {
+        #[cfg(never)]
+        static mut FOO: u32 = 0;
+
+        FOO;
+    }
+
+    #[idle]
+    fn idle(_: idle::Context) -> ! {
+        #[cfg(never)]
+        static mut FOO: u32 = 0;
+
+        FOO;
+
+        loop {}
+    }
+
+    #[exception]
+    fn SVCall(_: SVCall::Context) {
+        #[cfg(never)]
+        static mut FOO: u32 = 0;
+
+        FOO;
+    }
+
+    #[interrupt]
+    fn UART0(_: UART0::Context) {
+        #[cfg(never)]
+        static mut FOO: u32 = 0;
+
+        FOO;
+    }
+
+    #[task]
+    fn foo(_: foo::Context) {
+        #[cfg(never)]
+        static mut FOO: u32 = 0;
+
+        FOO;
+    }
+
+    extern "C" {
+        fn UART1();
+    }
+};
-- 
cgit v1.2.3