bpo-43683: Handle generator entry in bytecode (GH-25138)
* Handle check for sending None to starting generator and coroutine into bytecode.
* Document new bytecode and make it fail gracefully if mis-compiled.
diff --git a/Python/ceval.c b/Python/ceval.c
index d9a754f..eda9939 100644
--- a/Python/ceval.c
+++ b/Python/ceval.c
@@ -2639,6 +2639,30 @@ _PyEval_EvalFrameDefault(PyThreadState *tstate, PyFrameObject *f, int throwflag)
goto exiting;
}
+ case TARGET(GEN_START): {
+ PyObject *none = POP();
+ Py_DECREF(none);
+ if (none != Py_None) {
+ if (oparg > 2) {
+ _PyErr_SetString(tstate, PyExc_SystemError,
+ "Illegal kind for GEN_START");
+ }
+ else {
+ static const char *gen_kind[3] = {
+ "generator",
+ "coroutine",
+ "async generator"
+ };
+ _PyErr_Format(tstate, PyExc_TypeError,
+ "can't send non-None value to a "
+ "just-started %s",
+ gen_kind[oparg]);
+ }
+ goto error;
+ }
+ DISPATCH();
+ }
+
case TARGET(POP_EXCEPT): {
PyObject *type, *value, *traceback;
_PyErr_StackItem *exc_info;