summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/ExprEngine.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/ExprEngine.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
index 2970a6c8794..835b3536865 100644
--- a/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
@@ -1504,7 +1504,7 @@ void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,
if (AMgr.options.shouldUnrollLoops()) {
const CFGBlock *ActualBlock = nodeBuilder.getContext().getBlock();
const Stmt *Term = ActualBlock->getTerminator();
- if (Term && shouldCompletelyUnroll(Term, AMgr.getASTContext())) {
+ if (Term && shouldCompletelyUnroll(Term, AMgr.getASTContext(), Pred)) {
ProgramStateRef UnrolledState = markLoopAsUnrolled(
Term, Pred->getState(),
cast<FunctionDecl>(Pred->getStackFrame()->getDecl()));
OpenPOWER on IntegriCloud