diff options
author | 2018-09-06 16:09:01 +0200 | |
---|---|---|
committer | 2018-09-06 16:09:01 +0200 | |
commit | 5fd25ff084daf914207193d15a7ade53cff7411e (patch) | |
tree | aef38f623c0f75f8921d9936b5b83f43dbde5239 /cortex-m-rt/tests/compile-fail/exception-soundness.rs | |
parent | 7854e96f69f98570504c701ae860175efc7a25d9 (diff) | |
download | cortex-m-5fd25ff084daf914207193d15a7ade53cff7411e.tar.gz cortex-m-5fd25ff084daf914207193d15a7ade53cff7411e.tar.zst cortex-m-5fd25ff084daf914207193d15a7ade53cff7411e.zip |
v0.6.0
this also adds compile-fail soundness tests and patches a soundness issue in
`#[entry]`
Diffstat (limited to 'cortex-m-rt/tests/compile-fail/exception-soundness.rs')
-rw-r--r-- | cortex-m-rt/tests/compile-fail/exception-soundness.rs | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/cortex-m-rt/tests/compile-fail/exception-soundness.rs b/cortex-m-rt/tests/compile-fail/exception-soundness.rs new file mode 100644 index 0000000..07d73fa --- /dev/null +++ b/cortex-m-rt/tests/compile-fail/exception-soundness.rs @@ -0,0 +1,29 @@ +#![no_main] +#![no_std] + +extern crate cortex_m_rt; +extern crate panic_semihosting; + +use cortex_m_rt::{entry, exception}; + +#[entry] +fn foo() -> ! { + loop {} +} + +#[exception] +fn SysTick() { + static mut COUNT: u64 = 0; + + if *COUNT % 2 == 0 { + *COUNT += 1; + } else { + *COUNT *= 2; + } +} + +#[exception] +fn SVCall() { + // If this was allowed it would lead to a data race as `SVCall` could preempt `SysTick` + SysTick(); //~ ERROR cannot find function `SysTick` in this scope +} |