[Cython] [GSoC Proposal] Control flow analysis for Cython

[Stefan Behnel]

Hi,

Prajwal Suhas P wrote:
> This is my proposal for gsoc.
> http://wiki.cython.org/gsoc/prajwal
>
> Please feel free to give suggestions/comment on it.

My main comment is that your proposal seems to reduce CFA to None check
avoidance. While this is a valid example for CFA application, it does not
quite catch what CFA is by itself. Possible variable values are one thing
that you can *infer* from a control flow graph, possible types are
another.

But the primary goal of this project should be to establish a suitable
representation of the possible execution paths inside a function (and,
less importantly, the global module code). So this really is about finding
(as in reading up) and implementing an efficient way for establishing,
maintaining and querying the control state of a function at each parse
tree node.

Stefan