From 4f3f906c32e065918bf2d1566f8b1b6e7b3b71ce Mon Sep 17 00:00:00 2001
From: Jonas Schievink <jonasschievink@gmail.com>
Date: Thu, 21 Nov 2019 22:06:48 +0100
Subject: Add some compile-fail tests

---
 .../tests/compile-fail/unsafe-init-static.rs       | 45 ++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 cortex-m-rt/tests/compile-fail/unsafe-init-static.rs

(limited to 'cortex-m-rt/tests/compile-fail/unsafe-init-static.rs')

diff --git a/cortex-m-rt/tests/compile-fail/unsafe-init-static.rs b/cortex-m-rt/tests/compile-fail/unsafe-init-static.rs
new file mode 100644
index 0000000..c040173
--- /dev/null
+++ b/cortex-m-rt/tests/compile-fail/unsafe-init-static.rs
@@ -0,0 +1,45 @@
+//! Makes sure that the expansion of the attributes doesn't put the resource initializer in an
+//! implicit `unsafe` block.
+
+#![no_main]
+#![no_std]
+
+extern crate cortex_m_rt;
+extern crate panic_halt;
+
+use cortex_m_rt::{entry, exception, interrupt};
+
+#[allow(non_camel_case_types)]
+enum interrupt {
+    UART0,
+}
+
+const unsafe fn init() -> u32 { 0 }
+
+#[entry]
+fn foo() -> ! {
+    static mut X: u32 = init();  //~ ERROR requires unsafe
+
+    loop {}
+}
+
+#[exception]
+fn SVCall() {
+    static mut X: u32 = init();  //~ ERROR requires unsafe
+}
+
+#[exception]
+fn DefaultHandler(_irq: i16) {
+    static mut X: u32 = init();  //~ ERROR requires unsafe
+}
+
+#[exception]
+fn HardFault(_frame: &cortex_m_rt::ExceptionFrame) -> ! {
+    static mut X: u32 = init();  //~ ERROR requires unsafe
+    loop {}
+}
+
+#[interrupt]
+fn UART0() {
+    static mut X: u32 = init();  //~ ERROR requires unsafe
+}
-- 
cgit v1.2.3