| commit | 7de20fe9aac00705dd943690563db66fa4b35b5b | [log] [tgz] |
|---|---|---|
| author | Ted Kremenek <kremenek@apple.com> | Wed Mar 11 02:29:48 2009 +0000 |
| committer | Ted Kremenek <kremenek@apple.com> | Wed Mar 11 02:29:48 2009 +0000 |
| tree | 63610c56f2603e7722290ae5fe408d17e8c0cf40 | |
| parent | 276c6aca0e9cd2bbd5533493612f67767544d839 [diff] |
SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic values. Indicating this in 'canReasonAbout' allows GRExprEngine to recover path-sensitivity in some cases. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66628 91177308-0d34-0410-b5e6-96231b3b80d8