Fix bug in relocation ranges.

diff --git a/src/memory.rs b/src/memory.rs
index ab527a47c0bf5cbb57088e54ffa7fae6bfd5288d..be47e9c9da72a5ac8686d4c0ad07a9ba4e981f98 100644 (file)
--- a/src/memory.rs
+++ b/src/memory.rs
@@ -357,7 +357,7 @@ fn relocations(&self, ptr: Pointer, size: usize)
         -> EvalResult<btree_map::Range<usize, AllocId>>
     {
         let start = ptr.offset.saturating_sub(self.pointer_size - 1);
-        let end = start + size;
+        let end = ptr.offset + size;
         Ok(self.get(ptr.alloc_id)?.relocations.range(Included(&start), Excluded(&end)))
     }