diff --git a/src/lib.rs b/src/lib.rs
index 4677e254dc9784c588b0e9eb23ade9f0e04c93f1..968643fe7c36f9fcbaef7b3ec8f2bcd4559f22d0 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() }