diff options
| author | John Hodge <tpg@mutabah.net> | 2018-03-09 21:44:39 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2018-03-17 18:52:16 +0800 |
| commit | 6f1317041b13c7d828f421cb861602cb1fc15971 (patch) | |
| tree | 5ad0212f09a2f736cffe6930e3e0e6420fc2a7cc /tools/standalone_miri/value.cpp | |
| parent | 4dca93d85c1cf0753183d7e4156ff925ac514b4d (diff) | |
| download | mrust-6f1317041b13c7d828f421cb861602cb1fc15971.tar.gz | |
Standalone MIRI - size_of_val and drop_in_place
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 |