<br><br><div class="gmail_quote">On Fri, Apr 3, 2009 at 3:12 PM, Stefan Behnel <span dir="ltr"><<a href="mailto:stefan_ml@behnel.de">stefan_ml@behnel.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi,<br>
<div class="im"><br>
Prajwal Suhas P wrote:<br>
> This is my proposal for gsoc.<br>
> <a href="http://wiki.cython.org/gsoc/prajwal" target="_blank">http://wiki.cython.org/gsoc/prajwal</a><br>
><br>
> Please feel free to give suggestions/comment on it.<br>
<br>
</div>My main comment is that your proposal seems to reduce CFA to None check<br>
avoidance. While this is a valid example for CFA application, it does not<br>
quite catch what CFA is by itself. Possible variable values are one thing<br>
that you can *infer* from a control flow graph, possible types are<br>
another.<br>
</blockquote><div>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.<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
But the primary goal of this project should be to establish a suitable<br>
representation of the possible execution paths inside a function (and,<br>
less importantly, the global module code). So this really is about finding<br>
(as in reading up) and implementing an efficient way for establishing,<br>
maintaining and querying the control state of a function at each parse<br>
tree node.<br>
<font color="#888888"><br>
Stefan</font></blockquote><div>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. <br></div><div> </div>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div class="h5">_________________________________________<br>
Cython-dev mailing list<br>
<a href="mailto:Cython-dev@codespeak.net">Cython-dev@codespeak.net</a><br>
<a href="http://codespeak.net/mailman/listinfo/cython-dev" target="_blank">http://codespeak.net/mailman/listinfo/cython-dev</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Regards,<br>Prajwal S.<br><br>"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. "<br>