Suppress overflow warning at ALLOC_N in iseq_set_local_table

nobu · nobu · commit 7ddc5e6187fd · 2025-06-04T15:31:40.000+09:00
`xmalloc2` checks the overflow of arguments multiplication.
diff --git a/compile.c b/compile.c
@@ -2184,7 +2184,10 @@ iseq_set_local_table(rb_iseq_t *iseq, const rb_ast_id_table_t *tbl, const NODE *
     }
 
     if (size > 0) {
-        ID *ids = (ID *)ALLOC_N(ID, size);
+#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;
     }

Original file line number	Diff line number	Diff line change
`@@ -2184,7 +2184,10 @@ iseq_set_local_table(rb_iseq_t iseq, const rb_ast_id_table_t tbl, const NODE *`
`2184`	`2184`	`}`
`2185`	`2185`
`2186`	`2186`	`if (size > 0) {`
`2187`		`- ID ids = (ID )ALLOC_N(ID, size);`
	`2187`	`+#if SIZEOF_INT >= SIZEOF_SIZE_T`
	`2188`	`+ ASSUME(size < SIZE_MAX / sizeof(ID)); /* checked in xmalloc2_size */`
	`2189`	`+#endif`
	`2190`	`+ ID *ids = ALLOC_N(ID, size);`
`2188`	`2191`	`MEMCPY(ids, tbl->ids + offset, ID, size);`
`2189`	`2192`	`ISEQ_BODY(iseq)->local_table = ids;`
`2190`	`2193`	`}`