aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngineInternalChecks.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-11-11 12:33:27 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-11-11 12:33:27 +0000
commit58e689fead1490611bcd114fb707bfc08a12049e (patch)
tree49d4707ae326eb1eef3ec68f664e3f1a3b194217 /lib/Analysis/GRExprEngineInternalChecks.cpp
parentb991f48ccff0567d581cf95e4eda1bffd5bbada3 (diff)
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
Diffstat (limited to 'lib/Analysis/GRExprEngineInternalChecks.cpp')
-rw-r--r--lib/Analysis/GRExprEngineInternalChecks.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/GRExprEngineInternalChecks.cpp b/lib/Analysis/GRExprEngineInternalChecks.cpp
index 447dfc08bf..ea508a05f7 100644
--- a/lib/Analysis/GRExprEngineInternalChecks.cpp
+++ b/lib/Analysis/GRExprEngineInternalChecks.cpp
@@ -414,4 +414,5 @@ void GRExprEngine::RegisterInternalChecks() {
RegisterReturnPointerRangeChecker(*this);
RegisterCastToStructChecker(*this);
+ RegisterArrayBoundChecker(*this);
}