tree f3403826d0ae67d491ea5f0f6dc6888a0062f6fd
parent 6c7511db998817e64f2e124013e7d7c9a430c580
author Ted Kremenek <kremenek@apple.com> 1313459621 +0000
committer Ted Kremenek <kremenek@apple.com> 1313459621 +0000

[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