[cfe-commits] r89712 - /cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp

[Ted Kremenek]

Author: kremenek
Date: Mon Nov 23 17:23:26 2009
New Revision: 89712

URL: http://llvm.org/viewvc/llvm-project?rev=89712&view=rev
Log:
After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph.

Modified:
    cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp

Modified: cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp?rev=89712&r1=89711&r2=89712&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp (original)
+++ cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp Mon Nov 23 17:23:26 2009
@@ -80,5 +80,11 @@
 
     report->addRange(S->getSourceRange());
     C.EmitReport(report);
+    return;
   }
+  
+  // Array bound check succeeded.  From this point forward the array bound
+  // should always succeed.
+  assert(StInBound);
+  C.addTransition(StInBound);
 }