aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/SimpleConstraintManager.cpp
AgeCommit message (Expand)Author
2009-03-11SimpleConstraintManager doesn't reason about bitwise-constraints on symbolicTed Kremenek
2009-03-11Added method "canReasonAbout" to ConstraintManager. This method returns true ifTed Kremenek
2009-02-14Patch by Ben Laurie:Ted Kremenek