From d1c201bbcf9f47b1862e90c6782972772c9bc26b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adam=20Matou=C5=A1ek?= <adamat@mail.muni.cz>
Date: Tue, 18 Jun 2019 16:45:52 +0000
Subject: [PATCH] VM: Fix memory copy in __vm_syscall.
---
divine/vm/eval.hpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/divine/vm/eval.hpp b/divine/vm/eval.hpp
index 5a64188a5..abcf50114 100644
--- a/divine/vm/eval.hpp
+++ b/divine/vm/eval.hpp
@@ -132,7 +132,7 @@ struct Eval
using BoolV = value::Bool;
/* TODO should be sizeof( int ) of the *bitcode*, not ours! */
using IntV = value::Int< 8 * sizeof( int ), true >;
- using CharV = value::Int< 1, false >;
+ using CharV = value::Int< 8, true >;
using PtrIntV = vm::value::Int< _VM_PB_Full >;
static_assert( Convertible< PointerV >::template Guard< IntV >::value, "" );
--
GitLab