replace assignment by assertion in _Py_call_instrumentation_line

iritkatriel · iritkatriel · commit 0a06b752d634 · 2023-09-07T15:43:04.000+01:00
diff --git a/Python/instrumentation.c b/Python/instrumentation.c
@@ -1122,7 +1122,7 @@ _Py_Instrumentation_GetLine(PyCodeObject *code, int index)
 int
 _Py_call_instrumentation_line(PyThreadState *tstate, _PyInterpreterFrame* frame, _Py_CODEUNIT *instr, _Py_CODEUNIT *prev)
 {
-    frame->prev_instr = instr;
+    assert(frame->prev_instr == instr);
     PyCodeObject *code = _PyFrame_GetCode(frame);
     assert(is_version_up_to_date(code, tstate->interp));
     assert(instrumentation_cross_checks(tstate->interp, code));

Original file line number	Diff line number	Diff line change
`@@ -1122,7 +1122,7 @@ _Py_Instrumentation_GetLine(PyCodeObject *code, int index)`
`1122`	`1122`	`int`
`1123`	`1123`	`_Py_call_instrumentation_line(PyThreadState tstate, _PyInterpreterFrame frame, _Py_CODEUNIT instr, _Py_CODEUNIT prev)`
`1124`	`1124`	`{`
`1125`		`- frame->prev_instr = instr;`
	`1125`	`+ assert(frame->prev_instr == instr);`
`1126`	`1126`	`PyCodeObject *code = _PyFrame_GetCode(frame);`
`1127`	`1127`	`assert(is_version_up_to_date(code, tstate->interp));`
`1128`	`1128`	`assert(instrumentation_cross_checks(tstate->interp, code));`