commit ede7eb251778cd64e76cd09ea941b0f4064d38a1
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Nov 09 13:23:31 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Nov 09 13:23:31 2009 +0000
tree ac0d4cadd1f9aad20a3af61e5725138edf53efcd
parent bd842e3f5b83f4fb962c1a421df18aaa919be5ca

Add check for pointer arithmetic on non-array variables.


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

lib/Analysis/GRExprEngineInternalChecks.cpp

diff --git a/lib/Analysis/GRExprEngineInternalChecks.cpp b/lib/Analysis/GRExprEngineInternalChecks.cpp
index 41bb655..ee82969 100644
--- a/lib/Analysis/GRExprEngineInternalChecks.cpp
+++ b/lib/Analysis/GRExprEngineInternalChecks.cpp
@@ -413,6 +413,7 @@
   RegisterReturnStackAddressChecker(*this);
   RegisterReturnUndefChecker(*this);
   RegisterPointerSubChecker(*this);
+  RegisterPointerArithChecker(*this);
   RegisterFixedAddressChecker(*this);
   // Note that this must be registered after ReturnStackAddressChecker.
   RegisterReturnPointerRangeChecker(*this);