Skip to content

Commit

Permalink
Fix miri warning about pointer->integer->pointer cast in stack.rs
Browse files Browse the repository at this point in the history
  • Loading branch information
adri326 committed Dec 29, 2024
1 parent 0b44039 commit 43046f8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/machine/stack.rs
Original file line number Diff line number Diff line change
Expand Up @@ -230,7 +230,7 @@ impl Stack {

for idx in 0..num_cells {
ptr::write(
(new_ptr as usize + offset) as *mut HeapCellValue,
new_ptr.add(offset).cast::<HeapCellValue>(),
stack_loc_as_cell!(OrFrame, b, idx),
);

Expand Down

0 comments on commit 43046f8

Please sign in to comment.