tree ae8f0cc77ea04495f65b0eb6d038837ead8b0a03
parent c89f02afb018316a0c36bf62b2cb75d420f2fff3
author Ted Kremenek <kremenek@apple.com> 1370019414 +0000
committer Ted Kremenek <kremenek@apple.com> 1370019414 +0000

[analyzer; new edges] add simplifySimpleBranches() to reduce edges for branches.

In many cases, the edge from the "if" to the condition, followed by an edge from the branch condition to the target code, is uninteresting.

In such cases, we should fold the two edges into one from the "if" to the target.

This also applies to loops.

Implements <rdar://problem/14034763>.

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