[analyzer; alternate arrows] add back recording whether we visited the first edge.

llvm-svn: 181361
This commit is contained in:
Ted Kremenek 2013-05-07 21:12:03 +00:00
parent abf617c27e
commit 1c382b2936
1 changed files with 2 additions and 0 deletions

View File

@ -1847,6 +1847,8 @@ static bool optimizeEdges(PathPieces &path, SourceManager &SM,
const Stmt *level2 = getStmtParent(s1End, PM);
if (wasFirst) {
wasFirst = false;
// If the first edge (in isolation) is just a transition from
// an expression to a parent expression then eliminate that edge.
if (level1 && level2 && level2 == PM.getParent(level1)) {