From c2b0af532c0384e1e9782951f085dc7baa782f4f Mon Sep 17 00:00:00 2001
From: CarlOsterberg <carl.vilhelms.osterberg@gmail.com>
Date: Tue, 22 Mar 2022 12:07:53 +0100
Subject: [PATCH] voltile things?
---
src/lib_klee_replay.rs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib_klee_replay.rs b/src/lib_klee_replay.rs
index 39f5036..55fbf91 100644
--- a/src/lib_klee_replay.rs
+++ b/src/lib_klee_replay.rs
@@ -7,10 +7,10 @@
pub fn klee_assume(_cond: bool) {}
#[inline(always)]
-pub fn klee_make_symbolic<T>(t: &mut T) {
+pub fn klee_make_symbolic<T>(mut t: &mut T) {
// force LLVM to consider data to be mutated
unsafe {
- core::arch::asm!("bkpt #{0}",inout(reg) *t)
+ core::arch::asm!("bkpt #{0}",inout(reg) t)
}
// unsafe {
// llvm_asm!("bkpt #0" : /* output */: /* input */ "r"(t): /* clobber */ : "volatile")
--
GitLab