diff options
Diffstat (limited to 'tools/standalone_miri/value.cpp')
| -rw-r--r-- | tools/standalone_miri/value.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp index 18bed61e..beff8a38 100644 --- a/tools/standalone_miri/value.cpp +++ b/tools/standalone_miri/value.cpp @@ -772,18 +772,18 @@ extern ::std::ostream& operator<<(::std::ostream& os, const ValueRef& v) uint64_t ValueRef::read_usize(size_t ofs) const { uint64_t v = 0; - this->read_bytes(0, &v, POINTER_SIZE); + this->read_bytes(ofs, &v, POINTER_SIZE); return v; } uint64_t Value::read_usize(size_t ofs) const { uint64_t v = 0; - this->read_bytes(0, &v, POINTER_SIZE); + this->read_bytes(ofs, &v, POINTER_SIZE); return v; } uint64_t Allocation::read_usize(size_t ofs) const { uint64_t v = 0; - this->read_bytes(0, &v, POINTER_SIZE); + this->read_bytes(ofs, &v, POINTER_SIZE); return v; }
\ No newline at end of file |