<div class="gmail_quote">2010/11/17 Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com">kremenek@apple.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Why remove this?  This is meant for use by checkers that want to check a post-condition on a function/method call.<br>
<div><div></div><div class="h5"><br></div></div></blockquote><div>As I understand this is for inlined call case. Shouldn't checking the post-condition be performed after processing inilned call? From empirical testing I can tell that this is not happening though.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div class="h5">
On Nov 16, 2010, at 11:31 PM, Zhongxing Xu wrote:<br>
<br>
> Author: zhongxingxu<br>
> Date: Wed Nov 17 01:31:08 2010<br>
> New Revision: 119480<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=119480&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=119480&view=rev</a><br>
> Log:<br>
> do not do post checks. Because at this point we just enter the call.<br>
><br>
> Modified:<br>
>    cfe/trunk/lib/Checker/GRCXXExprEngine.cpp<br>
><br>
> Modified: cfe/trunk/lib/Checker/GRCXXExprEngine.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/GRCXXExprEngine.cpp?rev=119480&r1=119479&r2=119480&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/GRCXXExprEngine.cpp?rev=119480&r1=119479&r2=119480&view=diff</a><br>

> ==============================================================================<br>
> --- cfe/trunk/lib/Checker/GRCXXExprEngine.cpp (original)<br>
> +++ cfe/trunk/lib/Checker/GRCXXExprEngine.cpp Wed Nov 17 01:31:08 2010<br>
> @@ -192,10 +192,6 @@<br>
>     state = state->bindLoc(loc::MemRegionVal(ThisR),state->getSVal(ObjArgExpr));<br>
>     SetupThis.Add(Builder->generateNode(Loc, state, *I));<br>
>   }<br>
> -<br>
> -  // Perform post-visit.<br>
> -  CheckerVisit(MCE, Dst, /* FIXME: don't forget to update later */ SetupThis,<br>
> -               PostVisitStmtCallback);<br>
> }<br>
><br>
> void GRExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred,<br>
><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>
<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>
</div></div></blockquote></div><br>