[issue30640] NULL + 1 in _PyFunction_FastCallDict()

[Serhiy Storchaka]

Serhiy Storchaka added the comment:

Yes, I mean the "k + 1" with k=NULL.

Even if _PyEval_EvalCodeWithName() ignores that value, this still is an undefined behavior. For example the compiler can decide that since NULL+1 is not valid, then k never is NULL, and ignore the branch that sets k to NULL. It can also not generate the code in _PyEval_EvalCodeWithName() for handling the case kwcount == 0.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue30640>
_______________________________________