Skip to content
Snippets Groups Projects
Commit 97bae3e3 authored by Carl Österberg's avatar Carl Österberg
Browse files

change from llvm_asm! to asm!

parent f9cdb4ba
No related branches found
No related tags found
No related merge requests found
...@@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {} ...@@ -9,7 +9,7 @@ pub fn klee_assume(_cond: bool) {}
pub fn klee_make_symbolic<T>(t: &mut T) { pub fn klee_make_symbolic<T>(t: &mut T) {
// force LLVM to consider data to be mutated // force LLVM to consider data to be mutated
unsafe { unsafe {
core::arch::asm!("bkpt #3") core::arch::asm!("bkpt #3" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment