[cfe-commits] RangeConstraintManager

[Ted Kremenek]

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

>> I'm wondering if the two cases of 'ranges.isEmpty()' and this loop  
>> could be
>> coalesced by representing the range of "all values" with the  
>> explicit range
>> of 'Range(min, max)'.  It would probably simplify a bunch of code.
>
> I did consider doing it this way, but the problem is that when the
> RangeSet is created we don't know the width/signedness of the variable
> (well, we probably do, but that information is not currently
> supplied). But I agree, it might be better.


We have this information.  Each symbol (i.e., SymbolRef) has full type  
data that can be acquired through the SymbolManager.