<br>Okay, then there is no problem. No terminator is Okay. Change the terminator needs to change the analysis engine.<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;">Forward to group...<br><br><div class="gmail_quote">W dniu 28 września 2010 07:26 użytkownik Marcin Świderski <span dir="ltr"><<a href="mailto:marcin.sfider@gmail.com" target="_blank">marcin.sfider@gmail.com</a>></span> napisał:<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 class="gmail_quote">W dniu 28 września 2010 07:18 użytkownik Zhongxing Xu <span dir="ltr"><<a href="mailto:xuzhongxing@gmail.com" target="_blank">xuzhongxing@gmail.com</a>></span> napisał:<div>

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



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">


<br></div></blockquote></div></div></div></blockquote></div><div>This was intended. Other thing is that in VisitReturnStatement there is no terminator set. Maybe we could set return as terminator and instead of whole return add just expression it returns as element in CFG?</div>


</div><br>
</blockquote></div></div></div><br>
<br>_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
<br></blockquote></div><br>