commit 58e689fead1490611bcd114fb707bfc08a12049e
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Nov 11 12:33:27 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Nov 11 12:33:27 2009 +0000
tree 49d4707ae326eb1eef3ec68f664e3f1a3b194217
parent b991f48ccff0567d581cf95e4eda1bffd5bbada3

Reimplement out-of-bound array access checker with the new checker interface.
Now only one test case is XFAIL'ed.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@86834 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/GRExprEngineInternalChecks.cpp

diff --git a/lib/Analysis/GRExprEngineInternalChecks.cpp b/lib/Analysis/GRExprEngineInternalChecks.cpp
index 447dfc0..ea508a0 100644
--- a/lib/Analysis/GRExprEngineInternalChecks.cpp
+++ b/lib/Analysis/GRExprEngineInternalChecks.cpp
@@ -414,4 +414,5 @@
   RegisterReturnPointerRangeChecker(*this);
 
   RegisterCastToStructChecker(*this);
+  RegisterArrayBoundChecker(*this);
 }