From ada864f387d5425076159a3cdf1c33fcc371838b Mon Sep 17 00:00:00 2001 From: Ben Kimock Date: Thu, 19 May 2022 09:29:08 -0400 Subject: [PATCH] Pass the correct size to the AllocRange for log_creation --- src/stacked_borrows.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs index 8dda4a9e22..d7c2139323 100644 --- a/src/stacked_borrows.rs +++ b/src/stacked_borrows.rs @@ -731,7 +731,7 @@ trait EvalContextPrivExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx alloc_history.log_creation( Some(orig_tag), new_tag, - alloc_range(base_offset, base_offset + size), + alloc_range(base_offset, size), &this.machine.threads, ); if protect {