| commit | 66b527193aa6f3aa94c03f6769c42d7642e1e147 | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Mar 11 02:22:59 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 11 02:22:59 2009 +0000 |
| tree | 2ea9a24ea0d0dad5f12371c346cdef54547b9f67 | |
| parent | 3df6421150271266b5a90fd4c6bfa6566c38c036 [diff] |
Added method "canReasonAbout" to ConstraintManager. This method returns true if a ConstraintManager can usefully reason about the given SVal. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66624 91177308-0d34-0410-b5e6-96231b3b80d8