<br><br><div class="gmail_quote">2010/9/28 Marcin Świderski <span dir="ltr"><<a href="mailto:marcin.sfider@gmail.com">marcin.sfider@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div>Hi Ted, Zhongxing</div><div><br></div>I'll do this testing thing, then add changes from this patch, after fixing issues that were pointed out.</blockquote><div><br>Great.<br> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><br></div><div>As for change in return statement handling, will you be able to make it, because I don't know if I will be able to fix all issues this can introduce?</div></blockquote><div><br>This hasn't been well discussed. So don't worry about it for now.<br>
 </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><br><div class="gmail_quote">2010/9/28 Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">kremenek@apple.com</a>></span><div><div></div><div class="h5"><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div bgcolor="#FFFFFF"><div>Not sure about this one, but it might make sense to make ReturnStmt a terminator anyway.  There's a couple issues to think about here, including how we will model CallEnter/CallReturns for inter-procedural analysis in the presence of dtors.  My initial thought is the ReturnStmt should be the site of the "jump" back to the caller, which means that dtors need to be in the cfg before the ReturnStmt itself.  It's not hard to modify the analysis engine (in a separate patch) to have ReturnStmt be a terminator if that is the right thing to do.</div>

<div><div></div><div><div><br></div><div>On Sep 27, 2010, at 10:18 PM, Zhongxing Xu <<a href="mailto:xuzhongxing@gmail.com" target="_blank">xuzhongxing@gmail.com</a>> wrote:<br><br></div><div></div><blockquote type="cite">

<div>I might be wrong. Shall we add the implicit dtor before or after the return stmt? I guess we should add them after the return stmt, since object may be returned. But that means we would have CFGElements after the terminator.<br>


<br><div class="gmail_quote">2010/9/28 Zhongxing Xu <span dir="ltr"><<a href="mailto:xuzhongxing@gmail.com" target="_blank"></a><a href="mailto:xuzhongxing@gmail.com" target="_blank">xuzhongxing@gmail.com</a>></span><br>

<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hi Marcin,<br><br>There are some bugs in your patch. I tested with the code attached. The printed CFG has some errors in block B2.<br><br>I'll look at the patch to try to locate the bug.<br><br><div class="gmail_quote">



2010/9/28 Marcin Świderski <span dir="ltr"><<a href="mailto:marcin.sfider@gmail.com" target="_blank"></a><a href="mailto:marcin.sfider@gmail.com" target="_blank">marcin.sfider@gmail.com</a>></span><div><div></div><div>

<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div>Patch adds implicit destructors generation for objects with automatic storage duration. Patch is rather big, but it contains all cases (that I thought of), as it will be easier to review as a whole IMO. While commiting I can divide it to smaller chuncks.</div>




<div><br></div><div>I've added some test cases. They can be later used to create regresion tests.</div><div><br></div>Please approve for commit. <div><br></div><font color="#888888"><div>Marcin</div>
</font></blockquote></div></div></div><br>
</blockquote></div><br>
</div></blockquote></div></div></div></blockquote></div></div></div><br></div>
</blockquote></div><br>