commit b166712d025d7e44948b614f591e631f763604f4
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Nov 11 13:42:54 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Nov 11 13:42:54 2009 +0000
tree 5e1edc245c02d4e2ae847a247b0d70e03f262ac7
parent 83c4374e727c1259d0b204473e467dd20fa3b9f0

Add undefined array subscript checker.

llvm-svn: 86837

clang/lib/Analysis/GRExprEngine.cpp

diff --git a/clang/lib/Analysis/GRExprEngine.cpp b/clang/lib/Analysis/GRExprEngine.cpp
index 40283a1..7f1e4c0 100644
--- a/clang/lib/Analysis/GRExprEngine.cpp
+++ b/clang/lib/Analysis/GRExprEngine.cpp
@@ -1080,7 +1080,10 @@
     ExplodedNodeSet Tmp2;
     Visit(Idx, *I1, Tmp2);     // Evaluate the index.
 
-    for (ExplodedNodeSet::iterator I2=Tmp2.begin(),E2=Tmp2.end();I2!=E2; ++I2) {
+    ExplodedNodeSet Tmp3;
+    CheckerVisit(A, Tmp3, Tmp2, true);
+
+    for (ExplodedNodeSet::iterator I2=Tmp3.begin(),E2=Tmp3.end();I2!=E2; ++I2) {
       const GRState* state = GetState(*I2);
       SVal V = state->getLValue(A->getType(), state->getSVal(Idx),
                                 state->getSVal(Base));