From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sun, 7 Dec 2025 20:27:24 +0000 (+0100)
Subject: prevent multiply with overflow resulting in odd errors/segv
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2fc08dde1e42b1c2f17804b16a5b7d1cb43439b6;p=scryer-prolog.git

prevent multiply with overflow resulting in odd errors/segv
---

diff --git a/src/macros.rs b/src/macros.rs
index f977b882..2eda4980 100644
--- a/src/macros.rs
+++ b/src/macros.rs
@@ -472,7 +472,9 @@ macro_rules! resource_error_call_result {
 
 macro_rules! heap_index {
     ($idx:expr) => {
-        ($idx) * std::mem::size_of::<HeapCellValue>()
+        std::mem::size_of::<HeapCellValue>()
+            .checked_mul($idx)
+            .unwrap()
     };
 }