[cfe-commits] Patch to do static analysis with range sets

[Ted Kremenek]

On Feb 8, 2009, at 6:57 AM, Ben Laurie wrote:

>> With this formalism it should be much more straightforward to  
>> answer the
>> implementation questions for the methods below.  It will also tell  
>> you what
>> is the representational power of this constraint model.
>
> Yeah. I do actually know what it means, my comments were because I was
> less sure about what the calling code does...

Understood.  My own comment had more to do with me not understanding  
the design, e.g., what constraints were being modeled, how they were  
modeled, etc.  There is enough complexity here that some high level  
design points, perhaps in a block comment, would be useful.