[cfe-commits] RangeConstraintManager

[Ted Kremenek]

On Feb 13, 2009, at 9:01 AM, Ben Laurie wrote:

>>
>> Methods like 'AddEQ' could then call
>> 'CouldBeEq' first to determine if the condition is feasible and if  
>> it isn't
>> return the special RangeSet for "no feasible value".
>
> Oh, I see. Hmmm. Not sure this would make for greater clarity, though.

Yeah, I don't think so either anymore, as I don't think CouldBeEQ is  
even needed.