aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/early-return.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/cfail/early-return.rs')
-rw-r--r--tests/cfail/early-return.rs32
1 files changed, 0 insertions, 32 deletions
diff --git a/tests/cfail/early-return.rs b/tests/cfail/early-return.rs
deleted file mode 100644
index fb695aa..0000000
--- a/tests/cfail/early-return.rs
+++ /dev/null
@@ -1,32 +0,0 @@
-#![no_main]
-#![no_std]
-
-extern crate lm3s6965;
-extern crate panic_halt;
-extern crate rtfm;
-
-use rtfm::app;
-
-#[app(device = lm3s6965)]
-const APP: () = {
- static mut UNINITIALIZED: bool = ();
-
- #[init]
- fn init() {
- let x = || {
- // this is OK
- return 0;
- };
-
- return; //~ ERROR `init` is *not* allowed to early return
-
- UNINITIALIZED = true;
- }
-
- #[interrupt(resources = [UNINITIALIZED])]
- fn UART0() {
- if resources.UNINITIALIZED {
- // UB
- }
- }
-};