[cfe-commits] r89712 - /cfe/trunk/lib/Analysis/ArrayBoundChecker.cpp
Ted Kremenek
kremenek at apple.com
Mon Nov 23 15:23:26 PST 2009
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);
}
More information about the cfe-commits
mailing list