aboutsummaryrefslogtreecommitdiff
path: root/cortex-m-rt/examples/unsafety.rs
diff options
context:
space:
mode:
authorGravatar Jorge Aparicio <jorge@japaric.io> 2018-09-18 00:26:28 +0200
committerGravatar Jorge Aparicio <jorge@japaric.io> 2018-09-18 00:26:28 +0200
commit8385882be93fd4ba4e20ea0a812766cdc1a74c33 (patch)
tree9f2f8e03f77a604b3669c26232873b3c527f2f61 /cortex-m-rt/examples/unsafety.rs
parent403d8881ac3be806b519dedf107f6038d220bb59 (diff)
downloadcortex-m-8385882be93fd4ba4e20ea0a812766cdc1a74c33.tar.gz
cortex-m-8385882be93fd4ba4e20ea0a812766cdc1a74c33.tar.zst
cortex-m-8385882be93fd4ba4e20ea0a812766cdc1a74c33.zip
respect declared unsafety
the `#[entry]` and `#[exception]` attributes ignored the declared unsafety and always expanded to a safe function. This caused the following valid code to error at compile time: ``` rust #[entry] unsafe fn main() -> ! { foo(); //~^ ERROR call to unsafe function is unsafe and requires unsafe function or block loop {} } unsafe fn foo() {} ```
Diffstat (limited to 'cortex-m-rt/examples/unsafety.rs')
-rw-r--r--cortex-m-rt/examples/unsafety.rs36
1 files changed, 36 insertions, 0 deletions
diff --git a/cortex-m-rt/examples/unsafety.rs b/cortex-m-rt/examples/unsafety.rs
new file mode 100644
index 0000000..a9f0234
--- /dev/null
+++ b/cortex-m-rt/examples/unsafety.rs
@@ -0,0 +1,36 @@
+//! Checks that the declared unsafety is respected by the attributes
+
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+
+extern crate cortex_m_rt;
+extern crate panic_semihosting;
+
+use cortex_m_rt::{entry, exception, ExceptionFrame};
+
+#[entry]
+unsafe fn main() -> ! {
+ foo();
+
+ loop {}
+}
+
+#[exception]
+unsafe fn DefaultHandler(_irqn: i16) {
+ foo();
+}
+
+#[exception]
+unsafe fn HardFault(_ef: &ExceptionFrame) -> ! {
+ foo();
+
+ loop {}
+}
+
+#[exception]
+unsafe fn SysTick() {
+ foo();
+}
+
+unsafe fn foo() {}