diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-11 12:33:27 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-11 12:33:27 +0000 |
commit | 58e689fead1490611bcd114fb707bfc08a12049e (patch) | |
tree | 49d4707ae326eb1eef3ec68f664e3f1a3b194217 /lib/Analysis/GRExprEngineInternalChecks.cpp | |
parent | b991f48ccff0567d581cf95e4eda1bffd5bbada3 (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.cpp | 1 |
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); } |