On Feb 28, 2009, at 12:48 PM, Ted Kremenek wrote: > Chris, > > This is incorrect (it will crash in some cases). We need the > std::pair<> object to stay persistent in memory after the call to > EvalEagerlyAssume. I can make this a field in the GRExprEngine > object.
Oh, right. I can also fix this to have it point to a sentinal or use "all ones" as a sentinel. -Chris _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
