<br><br><div class="gmail_quote">2010/11/18 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 class="gmail_quote">2010/11/17 Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">kremenek@apple.com</a>></span><div class="im"><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); 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><br></div></div></blockquote></div><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></blockquote><div><br>This happens for simple cases. See test case method-call.cpp. <br><br></div></div>