[PATCH] D26061: [analyzer] Refactor and simplify SimpleConstraintManager

Dominic Chen via cfe-commits cfe-commits at lists.llvm.org
Tue Nov 1 10:48:47 PDT 2016

ddcc added a comment.

Yes, I've been writing a Z3 solver interface, which motivated this patch. However, this patch has snowballed into something that it's a little too convoluted, so I'll split it up.

I'm not sure whether the RangedConstraintManager interface is useful or not; I preserved it because it's currently in the code, but since RangeConstraintManager is the only user, it is possible to merge the two together and eliminate the interface. In the past, BasicConstraintManager was the other class that used this interface, but that was deleted quite a while back, and I'm not sure if there are plans for anything else?


More information about the cfe-commits mailing list