Skip to content

Commit

Permalink
Pass the correct size to the AllocRange for log_creation
Browse files Browse the repository at this point in the history
  • Loading branch information
saethlin committed May 19, 2022
1 parent 98c8c8f commit ada864f
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 ada864f

Please sign in to comment.