Assert that _co_firsttraceable is a RESUME

markshannon · markshannon · commit fe6a1d3ce5d8 · 2022-06-28T13:52:28.000+01:00
diff --git a/Python/ceval.c b/Python/ceval.c
@@ -5611,6 +5611,10 @@ _PyEval_EvalFrameDefault(PyThreadState *tstate, _PyInterpreterFrame *frame, int
         if (tstate->tracing == 0 &&
             INSTR_OFFSET() >= frame->f_code->_co_firsttraceable
         ) {
+            assert(
+                _PyOpcode_Deopt[first_instr[frame->f_code->_co_firsttraceable]]
+                == RESUME
+            );
             int instr_prev = _PyInterpreterFrame_LASTI(frame);
             frame->prev_instr = next_instr;
             TRACING_NEXTOPARG();
