Code generator should reject escaping calls in DEOPT_IF/EXIT_IF

[iritkatriel]

I had a

EXIT_IF(escaping_call(), OP);

and it produced:

                _PyFrame_SetStackPointer(frame, stack_pointer);
                DEOPT_IF(escaping_call(), OP);
                stack_pointer = _PyFrame_GetStackPointer(frame);

and then the frame's stack pointer got messed up when deopt happened. It was very upsetting.

@markshannon

Linked PRs

• GH-128073: Include EXIT_IF when checking for escaping calls #128537

[picnixz]

(Categorizing it as a feature but you can decide to categorize it as a bug if you want Irit)

[iritkatriel]

From @markshannon:

I think the bug is that this line cpython/Tools/cases_generator/analyzer.py at main · python/cpython should include "EXIT_IF"