diff options
| author | John Hodge <tpg@ucc.asn.au> | 2019-08-05 22:27:52 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2019-08-05 22:27:52 +0800 |
| commit | d9f71c09eb6f35ee5692147479a318e701106379 (patch) | |
| tree | 80964f79122c9f5b168d0339908ce3278410e2a4 /tools/standalone_miri/value.cpp | |
| parent | ebebe58a9a0f1399ac50ab956f254d2c0d2c813d (diff) | |
| download | mrust-d9f71c09eb6f35ee5692147479a318e701106379.tar.gz | |
Standalone MIRI - Various improvements
Diffstat (limited to 'tools/standalone_miri/value.cpp')
| -rw-r--r-- | tools/standalone_miri/value.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/standalone_miri/value.cpp b/tools/standalone_miri/value.cpp index 319f516b..16842d82 100644 --- a/tools/standalone_miri/value.cpp +++ b/tools/standalone_miri/value.cpp @@ -299,6 +299,7 @@ ValueRef ValueCommonRead::read_pointer_valref_mut(size_t rd_ofs, size_t size) LOG_ASSERT(ofs >= Allocation::PTR_BASE, "Invalid pointer read"); ofs -= Allocation::PTR_BASE; auto reloc = get_relocation(rd_ofs); + LOG_DEBUG("ValueCommonRead::read_pointer_valref_mut(" << ofs << "+" << size << ", reloc=" << reloc << ")"); if( !reloc ) { LOG_ERROR("Getting ValRef to null pointer (no relocation)"); |