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

make asm comment

parent b1f2e6cd
Branches
No related tags found
No related merge requests found
...@@ -10,7 +10,7 @@ pub fn klee_assume(_cond: bool) {} ...@@ -10,7 +10,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 #2" /* {0} */, in(reg) t) core::arch::asm!("bkpt #2 /* {0} */", in(reg) t)
} }
// unsafe { // unsafe {
// llvm_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