On Fri, Apr 3, 2009 at 3:12 PM, Stefan Behnel <[email protected]> wrote:
> 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. > Currently i am looking at the None check case for cython CFA. I haven't covered other cases for CFA application and i thought of adding them as the project progresses. > > 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 I have not gone into the depths of generating a CFG for the possible execution paths inside a function. I will give more thought into establishing a CFG and update my app. > _________________________________________ > Cython-dev mailing list > [email protected] > http://codespeak.net/mailman/listinfo/cython-dev > -- Regards, Prajwal S. "There is little difference in people,but this little difference makes a big difference.The little difference is attitude,the big difference is whether its positive or negative. "
_______________________________________________ Cython-dev mailing list [email protected] http://codespeak.net/mailman/listinfo/cython-dev
