r180638 - [analyzer] Model casts to bool differently from other numbers.

[Jordan Rose]

On Apr 29, 2013, at 12:21 , Ted Kremenek <kremenek at apple.com> wrote:

> On Apr 29, 2013, at 10:24 AM, Jordan Rose <jordan_rose at apple.com> wrote:
> 
>> SValBuilder currently doesn't get a state for evalCast, so it can't eagerly concretize.
> 
> No, we can't do it everywhere, but we can do it when we are evaluating actual cast expressions in ExprEngine.  Correct?

Oh, yes, sure. Currently the code there just passes the values on to SValBuilder, though, so presumably if there was any concretization to be done it would have already happened in getSVal.

Jordan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130429/cf1f988c/attachment.html>