From ace148f4cdcf81f13331f6cac0345af6f0528bf9 Mon Sep 17 00:00:00 2001
From: CarlOsterberg <carl.vilhelms.osterberg@gmail.com>
Date: Thu, 17 Mar 2022 17:10:29 +0100
Subject: [PATCH] change from llvm_asm! to asm!
---
src/lib_klee_replay.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 92473d9..54eb583 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {}
pub fn klee_make_symbolic<T>(t: &mut T) {
// force LLVM to consider data to be mutated
unsafe {
- asm!("bkpt #3")
+ core::arch::asm!("bkpt #3")
}
}
--
GitLab