off-by-1

Author: nia-e

src/shims/native_lib/mod.rs

@@ -242,7 +242,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
                     ..std::cmp::min(alloc.len(), rg.end.strict_sub(alloc_addr));
                 // Skip forward however many bytes of the access are contained in the current
                 // allocation.
-                rg.advance_by(overlap.len()).unwrap();
+                rg.advance_by(overlap.len().strict_sub(1)).unwrap();
 
                 match evt {
                     AccessEvent::Read(_) => {