commit b013b0bc042912a090f2c5b9a5c5da998d523b71
author Zhongxing Xu <xuzhongxing@gmail.com> Tue May 18 00:28:37 2010 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Tue May 18 00:28:37 2010 +0000
tree a9bb2c448334163f930768c4e56156aff450cc18
parent 0dd05fb1675d72c3bb2a31a06fde53cb13db675d

Add option '-analyzer-max-loop', which specifies the maximum 
number of times the analyzer will go through a loop.

llvm-svn: 104007

clang/lib/Checker/GRExprEngine.cpp

diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp
index e9f42b4..2417658 100644
--- a/clang/lib/Checker/GRExprEngine.cpp
+++ b/clang/lib/Checker/GRExprEngine.cpp
@@ -1017,9 +1017,8 @@
 
 bool GRExprEngine::ProcessBlockEntrance(CFGBlock* B, const ExplodedNode *Pred,
                                         GRBlockCounter BC) {
-
   return BC.getNumVisited(Pred->getLocationContext()->getCurrentStackFrame(), 
-                          B->getBlockID()) < 3;
+                          B->getBlockID()) < AMgr.getMaxLoop();
 }
 
 //===----------------------------------------------------------------------===//