From 43046f8866761e59ed00aaa4f9d415336ed4482a Mon Sep 17 00:00:00 2001
From: Emilie Burgun <emilie@shadamethyst.xyz>
Date: Sun, 29 Dec 2024 18:37:42 +0100
Subject: [PATCH] Fix miri warning about pointer->integer->pointer cast in
 stack.rs

---
 src/machine/stack.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine/stack.rs b/src/machine/stack.rs
index b7a979ea0..793cacb7a 100644
--- a/src/machine/stack.rs
+++ b/src/machine/stack.rs
@@ -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),
                 );