aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2012-02-24 16:49:41 +0000
committerAnna Zaks <ganna@apple.com>2012-02-24 16:49:41 +0000
commite55b03a6e44b99c1cd77b8ea5e4d836c28948904 (patch)
tree9c3aeadd8eb3774e7ced0e6fce0ac9167064c49e /lib/StaticAnalyzer
parenta0889a8c3299b1950e0a2dfa1d1656e5aa60f193 (diff)
[analyzer] We were silently stopping exploring the path after
visiting 'return;' statement! This most likely caused us to skip a bunch of code when analyzing with inlining. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@151368 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer')
-rw-r--r--lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp3
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp b/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
index c53b7b1c0a..d2f81adda1 100644
--- a/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
+++ b/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp
@@ -432,7 +432,4 @@ void ExprEngine::VisitReturnStmt(const ReturnStmt *RS, ExplodedNode *Pred,
B.generateNode(RS, *it, (*it)->getState());
}
}
- else {
- B.takeNodes(dstPreVisit);
- }
}