My new RangeConstraintManager shares a lot of code with BasicConstraintManager. This patch refactors BasicConstraintManager to inherit the shared code from SimpleConstraintManager. No code changes have been made, stuff has just been moved around.
It also constifies getSymVal, since non-constness prevents its use in isEqual.
constraint-refactor.patch
Description: Binary data
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
