[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