tree 7cb229b6eb6fcbe4932142a3aaeca0335c9d0c1d
parent d880f52be3e4a8ccad92ac31932eeae5e0870a93
author Ted Kremenek <kremenek@apple.com> 1296582198 +0000
committer Ted Kremenek <kremenek@apple.com> 1296582198 +0000

Enhance -Wuninitialized to better reason about || and &&, tracking dual dataflow facts and properly merging them.

Fixes PR 9076.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@124666 91177308-0d34-0410-b5e6-96231b3b80d8