[cfe-commits] r65707 - /cfe/trunk/lib/Analysis/GRExprEngine.cpp

[Chris Lattner]

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