ZJIT: Check special_const_p() before using rb_obj_shape_id()

XrXr · XrXr · commit 4eadf035d0de · 2026-02-27T21:29:19.000-05:00
It only works with heap objects.
diff --git a/zjit/src/cruby.rs b/zjit/src/cruby.rs
@@ -565,7 +565,11 @@ impl VALUE {
     }
 
     pub fn shape_id_of(self) -> ShapeId {
-        ShapeId(unsafe { rb_obj_shape_id(self) })
+        if self.special_const_p() {
+            INVALID_SHAPE_ID
+        } else {
+            ShapeId(unsafe { rb_obj_shape_id(self) })
+        }
     }
 
     pub fn embedded_p(self) -> bool {

Original file line number	Diff line number	Diff line change
`@@ -565,7 +565,11 @@ impl VALUE {`
`565`	`565`	`}`
`566`	`566`
`567`	`567`	`pub fn shape_id_of(self) -> ShapeId {`
`568`		`- ShapeId(unsafe { rb_obj_shape_id(self) })`
	`568`	`+ if self.special_const_p() {`
	`569`	`+ INVALID_SHAPE_ID`
	`570`	`+ } else {`
	`571`	`+ ShapeId(unsafe { rb_obj_shape_id(self) })`
	`572`	`+ }`
`569`	`573`	`}`
`570`	`574`
`571`	`575`	`pub fn embedded_p(self) -> bool {`