On Apr 29, 2013, at 12:21 , Ted Kremenek <[email protected]> wrote:
> On Apr 29, 2013, at 10:24 AM, Jordan Rose <[email protected]> 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
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
