Skip to content

Commit

Permalink
Auto merge of #2128 - saethlin:fix-creation-range, r=RalfJung
Browse files Browse the repository at this point in the history
Pass the correct size to the AllocRange for log_creation

Fixes #2127

I guess all I needed was a bit of sleep and reassurance that this diagnostic is the wrong part of that situation.
  • Loading branch information
bors committed May 19, 2022
2 parents c5f1cdb + ada864f commit 9230b92
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/stacked_borrows.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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 {
Expand Down

0 comments on commit 9230b92

Please sign in to comment.