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

change from llvm_asm! to asm!

parent 02835397
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 {
llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile") asm!("bkpt #3")
} }
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment