replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[analyzer; alternate edges] - merge control edges where we descend to a subexpression and pop back out. 

llvm-svn: 181085
This commit is contained in:
Ted Kremenek 2013-05-04 01:13:05 +00:00
parent 6cf3c97c55
commit ccb6d1ea0c
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
clang/lib/StaticAnalyzer/Core/BugReporter.cpp
View File

@ -1802,6 +1802,26 @@ static bool optimizeEdges(PathPieces &path,
hasChanges = true;
continue;
}
// Rule II.
//
// If we have two consecutive control edges where we decend to a
// subexpression and then pop out merge them.
//
// NOTE: this will be limited later in cases where we add barriers
// to prevent this optimization.
//
// For example:
//
// (1.1 -> 1.1.1) -> (1.1.1 -> 1.2) becomes (1.1 -> 1.2).
if (level1 && level2 &&
level1 == level4 &&
level2 == level3 && PM.getParent(level2) == level1) {
PieceI->setEndLocation(PieceNextI->getEndLocation());
path.erase(NextI);
hasChanges = true;
continue;
}
}
// No changes.