From 0ee83922508b54224cc72dd599a42f1e3f32bd99 Mon Sep 17 00:00:00 2001
From: CarlOsterberg <carl.vilhelms.osterberg@gmail.com>
Date: Thu, 17 Mar 2022 17:16:14 +0100
Subject: [PATCH] change from llvm_asm! to asm!
---
src/lib.rs | 2 +-
src/lib_klee_replay.rs | 4 +---
2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/lib.rs b/src/lib.rs
index fcdcfce..972fb47 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -14,7 +14,7 @@
//! TODO: better documentation (as always)
#![no_std]
-#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
+//#![cfg_attr(feature = "inline-asm", feature(llvm_asm))]
// re-exports for klee-analysis
#[cfg(feature = "klee-analysis")]
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 7dd5b71..cc5e6b0 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -8,9 +8,7 @@ pub fn klee_assume(_cond: bool) {}
#[inline(always)]
pub fn klee_make_symbolic<T>(t: &mut T) {
// force LLVM to consider data to be mutated
- unsafe {
- core::arch::asm!("bkpt #3")
- }
+ core::arch::asm!("bkpt #3")
}
/// terminates path
--
GitLab