commit 94aa6c16e7404b2ff83a6f0ae7db8a758d389fc4
author Zhongxing Xu <xuzhongxing@gmail.com> Mon Mar 02 07:52:23 2009 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Mon Mar 02 07:52:23 2009 +0000
tree 856ec6c18d7e758b0f0b2b92c427a5e1469ffd38
parent 82573ee7419091e5ec87e2f4fa254c7a285781d6

Initial support for pointer arithmetic. Only support concrete indexes and 
offsets for now.


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

lib/Analysis/GRSimpleVals.cpp

diff --git a/lib/Analysis/GRSimpleVals.cpp b/lib/Analysis/GRSimpleVals.cpp
index d50876e..90d9e57 100644
--- a/lib/Analysis/GRSimpleVals.cpp
+++ b/lib/Analysis/GRSimpleVals.cpp
@@ -265,7 +265,8 @@
 
 SVal GRSimpleVals::EvalBinOp(GRExprEngine& Eng, BinaryOperator::Opcode Op,
                              Loc L, NonLoc R) {  
-  return UnknownVal();
+  // Delegate pointer arithmetic to store manager.
+  return Eng.getStoreManager().EvalBinOp(Op, L, R);
 }
 
 // Equality operators for Locs.