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

Ted Kremenek kremenek at apple.com
Mon Apr 29 12:21:24 PDT 2013


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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130429/aac6d45c/attachment.html>


More information about the cfe-commits mailing list