[cfe-commits] r119480 - /cfe/trunk/lib/Checker/GRCXXExprEngine.cpp

[Zhongxing Xu]

2010/11/18 Marcin Świderski <marcin.sfider at gmail.com>

> 2010/11/17 Ted Kremenek <kremenek at apple.com>
>
> Why remove this?  This is meant for use by checkers that want to check a
>> post-condition on a function/method call.
>>
>> 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.
>

This happens for simple cases. See test case method-call.cpp.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101118/ed6bbbbb/attachment.html>