maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

IdempotentOperationChecker: don't repeatedly recompute block reachability. 

llvm-svn: 125548
This commit is contained in:
Ted Kremenek 2011-02-15 02:20:03 +00:00
parent 8d53ac81ec
commit 4ea9004fe8
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/StaticAnalyzer/Checkers/IdempotentOperationChecker.cpp
View File

@ -563,8 +563,9 @@ IdempotentOperationChecker::pathWasCompletelyAnalyzed(const CFG *cfg,
const CFGBlock *CB, const CFGBlock *CB,
const CFGStmtMap *CBM, const CFGStmtMap *CBM,
const CoreEngine &CE) { const CoreEngine &CE) {
CRA.reset(new CFGReachabilityAnalysis(*cfg)); if (!CRA.get())
CRA.reset(new CFGReachabilityAnalysis(*cfg));
// Test for reachability from any aborted blocks to this block // Test for reachability from any aborted blocks to this block
typedef CoreEngine::BlocksAborted::const_iterator AbortedIterator; typedef CoreEngine::BlocksAborted::const_iterator AbortedIterator;