commit | 681bc114b51c1198cdec9a165c7d3230abb8f427 | [log] [tgz] |
---|---|---|
author | Ted Kremenek <kremenek@apple.com> | Tue Aug 16 01:53:41 2011 +0000 |
committer | Ted Kremenek <kremenek@apple.com> | Tue Aug 16 01:53:41 2011 +0000 |
tree | f3403826d0ae67d491ea5f0f6dc6888a0062f6fd | |
parent | 6c7511db998817e64f2e124013e7d7c9a430c580 [diff] |
[analyzer] Enhance ConditionVisitor to understand eagerly evaluated (simple) binary conditions, and teach it to only focus on constraint changes. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@137705 91177308-0d34-0410-b5e6-96231b3b80d8