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

[Ben Laurie]

Not complete - no self-tests and full of diagnostics, but I'd love to
get comments about the approach. Also hints on implementing tests (Ted
told me in IM, but I forgot), and how to preserve/add more debugging
stuff in an approved way, since I find that this stuff hurts my head
without it...

Also, I have cases which fail because higher-level stuff seems to be
doing the wrong thing, but not sure how to go about debugging the rest
of static analysis...
-------------- next part --------------
A non-text attachment was scrubbed...
Name: clang.patch
Type: application/octet-stream
Size: 24876 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20090201/d07c4184/attachment.obj>