commit b7dc1f5f30e1e46e44389b036d48f9614cfd5fe3
author DeLesley Hutchins <delesley@google.com> Thu Aug 29 17:26:57 2013 +0000
committer DeLesley Hutchins <delesley@google.com> Thu Aug 29 17:26:57 2013 +0000
tree 1ae6d1c88272f1bc22cec0de84b135cbe4a73ffe
parent d0f2921c3211299a80c043a3251e6b34dddba061

Consumed analysis: improve handling of conditionals.
Patch by chris.wailes@gmail.com.

* The TestedVarsVisitor was folded into the ConsumedStmtVisitor.
* The VarTestResult class was updated to allow these changes.
* The PropagationInfo class was updated for the same reasons.
* Correctly handle short-circuiting of Boolean operations.
* Blocks are now marked as unreachable when we can statically prove we will
  never branch to them.
* Unreachable blocks are skipped by the analysis.

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