assert `cc->cme_ != NULL`

when `vm_cc_markable(cc)`.

1 files changed, 9 insertions, 7 deletions

diff --git a/vm_callinfo.h b/vm_callinfo.h
index 2641ee79c5..91ed55bf5f 100644
--- a/vm_callinfo.h
+++ b/vm_callinfo.h
@@ -321,10 +321,19 @@ vm_cc_class_check(const struct rb_callcache *cc, VALUE klass)
     return cc->klass == klass;
 }
 
+static inline int
+vm_cc_markable(const struct rb_callcache *cc)
+{
+    VM_ASSERT(IMEMO_TYPE_P(cc, imemo_callcache));
+    return FL_TEST_RAW((VALUE)cc, VM_CALLCACHE_UNMARKABLE) == 0;
+}
+
 static inline const struct rb_callable_method_entry_struct *
 vm_cc_cme(const struct rb_callcache *cc)
 {
     VM_ASSERT(IMEMO_TYPE_P(cc, imemo_callcache));
+    VM_ASSERT(!vm_cc_markable(cc) || cc->cme_ != NULL);
+
     return cc->cme_;
 }
 
@@ -350,13 +359,6 @@ vm_cc_cmethod_missing_reason(const struct rb_callcache *cc)
     return cc->aux_.method_missing_reason;
 }
 
-static inline int
-vm_cc_markable(const struct rb_callcache *cc)
-{
-    VM_ASSERT(IMEMO_TYPE_P(cc, imemo_callcache));
-    return FL_TEST_RAW((VALUE)cc, VM_CALLCACHE_UNMARKABLE) == 0;
-}
-
 static inline bool
 vm_cc_invalidated_p(const struct rb_callcache *cc)
 {