From d0aaa2a805afdda30b49b3dfdb7072f302855a79 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Sun, 21 Apr 2019 20:20:15 +0200
Subject: update compile-fail tests

---
 tests/cfail/early-return-2.rs | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100644 tests/cfail/early-return-2.rs

(limited to 'tests/cfail/early-return-2.rs')

diff --git a/tests/cfail/early-return-2.rs b/tests/cfail/early-return-2.rs
deleted file mode 100644
index bf867e0..0000000
--- a/tests/cfail/early-return-2.rs
+++ /dev/null
@@ -1,29 +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() {
-        if false {
-            return; //~ ERROR `init` is *not* allowed to early return
-        }
-
-        UNINITIALIZED = true;
-    }
-
-    #[interrupt(resources = [UNINITIALIZED])]
-    fn UART0() {
-        if resources.UNINITIALIZED {
-            // UB
-        }
-    }
-};
-- 
cgit v1.2.3