From 0627206147126390aa7d4ccdb4a87b2d4193abcd Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Fri, 30 Oct 2020 16:25:54 +0100
Subject: [PATCH] llvm_asm (compatibility)

---
 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 be3b3e2..cc64371 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -20,7 +20,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 #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
+        llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
     }
 }
 
-- 
GitLab