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