From 63f6f87e863cc5425da00b0ef7bdbf8cedc54fe5 Mon Sep 17 00:00:00 2001
From: Nobuyoshi Nakada <nobu@ruby-lang.org>
Date: Sun, 29 Jun 2025 01:30:09 +0900
Subject: [PATCH] Add underflow check

---
 compile.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/compile.c b/compile.c
index 3760b4199a..8d5cb45904 100644
--- a/compile.c
+++ b/compile.c
@@ -2178,15 +2178,13 @@ iseq_set_local_table(rb_iseq_t *iseq, const rb_ast_id_table_t *tbl, const NODE *
         // then its local table should only be `...`
         // FIXME: I think this should be fixed in the AST rather than special case here.
         if (args->forwarding && args->pre_args_num == 0 && !args->opt_args) {
+            CHECK(size >= 3);
             size -= 3;
             offset += 3;
         }
     }
 
     if (size > 0) {
-#if SIZEOF_INT >= SIZEOF_SIZE_T
-        ASSUME(size < SIZE_MAX / sizeof(ID)); /* checked in xmalloc2_size */
-#endif
         ID *ids = ALLOC_N(ID, size);
         MEMCPY(ids, tbl->ids + offset, ID, size);
         ISEQ_BODY(iseq)->local_table = ids;