[Python-Dev] Is core dump always a bug? Advice requested

[Skip Montanaro]

    Michel> The way to know if it's well formed is to verify it using
    Michel> something like a control flow analysis similar to the way the
    Michel> Java ASM bytecode generation API does it.  

This is more-or-less what the Python byte code compiler already does to
determine the high water mark for the stack used by a chunk of code it's
compiling.  Look for c_stacklevel, c_maxstacklevel and the com_push() and
com_pop() functions in Python/compile.c.

Skip