From d39a7ed1ace6967aa5f5262ef8131e987e065495 Mon Sep 17 00:00:00 2001 From: Peter Szecsi Date: Tue, 25 Jul 2017 23:49:16 +0000 Subject: [StaticAnalyzer] LoopUnrolling - Attempt #2 to fix a crash in r309006. llvm-svn: 309061 --- clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'clang/lib/StaticAnalyzer') diff --git a/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp b/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp index c44122e1872..dd37cbd2184 100644 --- a/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp +++ b/clang/lib/StaticAnalyzer/Core/LoopUnrolling.cpp @@ -183,9 +183,9 @@ bool isUnrolledLoopBlock(const CFGBlock *Block, ExplodedNode *Pred, LBV.setBlocksOfLoop(E.first, M); // In case of an inlined function call check if any of its callSiteBlock is // marked. - while (BlockSet.find(SearchedBlock) == BlockSet.end() && !StackFrame->inTopFrame()) { + while (BlockSet.find(SearchedBlock) == BlockSet.end() && StackFrame) { SearchedBlock = StackFrame->getCallSiteBlock(); - if(!SearchedBlock) + if(!SearchedBlock || StackFrame->inTopFrame()) break; StackFrame = StackFrame->getParent()->getCurrentStackFrame(); } -- cgit v1.2.3