
<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Applied in r128784.  Thanks!<div><br><div><div>On Mar 31, 2011, at 7:50 PM, 章磊 wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">Hi Ted,<br><br>Sorry about that. Here is the patch i regenerated.<br><br><div class="gmail_quote">2011/4/1 Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

Hi Lei,<br>

<br>

I think this looks reasonable, but I think you also need to include changes to CoreEngine.h.  My tree doesn't build with this patch since BranchNodeBuild::generateNode() is not declared in the header.<br>

<br>

Cheers,<br>

Ted<br>

<div><div></div><div class="h5"><br>

On Mar 30, 2011, at 7:24 PM, 章磊 wrote:<br>

<br>

> This patch add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generate a new ExplodedNode but not a new block edge.<br>


><br>

> This patch is preparation for statistical UncheckedRenturn checker.<br>

><br>

> I'll appreciate it if there are any advice about this patch.<br>

><br>

> --<br>

> Best regards!<br>

><br>

> Lei Zhang<br>

</div></div>> <PostCondition.patch>_______________________________________________<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><br clear="all"><br>-- <br>Best regards!<br><br>Lei Zhang<br>

<span><PostConditionV2.patch></span></blockquote></div><br></div></body></html>