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

change from llvm_asm! to asm!

parent 97bae3e3
No related branches found
No related tags found
No related merge requests found
......@@ -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 {
core::arch::asm!("bkpt #3" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
core::arch::asm!("bkpt #3")
}
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment