Skip to content
Snippets Groups Projects
Commit 06272061 authored by Per Lindgren's avatar Per Lindgren
Browse files

llvm_asm (compatibility)

parent 69c29749
No related branches found
No related tags found
No related merge requests found
...@@ -20,7 +20,7 @@ pub fn klee_assume(_cond: bool) {} ...@@ -20,7 +20,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 {
asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile") llvm_asm!("bkpt #0" : /* 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