From 65d8dfe125f9614a9dcff21df81c73d0f457d95a Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 30 Oct 2020 16:58:29 +0100
Subject: [PATCH] inline always
---
src/lib.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib.rs b/src/lib.rs
index 4677e25..968643f 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -2,7 +2,7 @@
#[cfg(not(test))] // avoid warning duplicate lang-item
#[panic_handler]
-#[inline(never)]
+#[inline(always)]
fn panic(_info: &core::panic::PanicInfo) -> ! {
// abort symbol caught by LLVM-KLEE
unsafe { abort() }
--
GitLab