<br><br><div class="gmail_quote">On Mon, Nov 15, 2010 at 11:41 PM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div style="word-wrap: break-word;"><div class="im"><br><div><div>On Nov 15, 2010, at 12:10 AM, Zhongxing Xu wrote:</div><br><blockquote type="cite"><span style="border-collapse: separate; font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; font-size: medium;"><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"><div>I think that we should leave destructors for temporaries as an option. Also I think we shouldn't optimize elidable constructors and destructors they impact in the CFG, because this will force clients to also account for those optimizations. This will complicate things without any gain for analysis outcome.</div>
</div></blockquote><div><br>To clarify, I didn't optimize away elidable constructors. They are just not appended as block-level expr. They still exist in the CFG.<span> </span><br></div></span><br></blockquote></div><br>
</div><div>I haven't had time to look at these set of patches yet, but one high-level comment is that I thought a key design point was to leave all destructor calls as block-level exprs.  That way we can associate call enter/return edges with them if we choose to analyze them via inlining.</div>
</div></blockquote><div><br>Yeah, I reverted this patch yesterday. <br></div></div><br>