commit e1911afd2a79cb508bc81b30be49a0c8648a81b0
author Zhongxing Xu <xuzhongxing@gmail.com> Thu Oct 23 03:10:39 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Thu Oct 23 03:10:39 2008 +0000
tree 1883de3eb6a8c524bf83c22c415b7f30fc24365c
parent 4d8e5b803ecb0b891879aa64a09491b5824a5364

Let StoreManager do different cast on arrays. BasicStore will just keep it intact.

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

lib/Analysis/BasicStore.cpp

diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index cdecb19..70631ac 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -51,6 +51,8 @@
   SVal getLValueIvar(const GRState* St, const ObjCIvarDecl* D, SVal Base);
   SVal getLValueField(const GRState* St, SVal Base, const FieldDecl* D);  
   SVal getLValueElement(const GRState* St, SVal Base, SVal Offset);
+
+  SVal ArrayToPointer(SVal Array) { return Array; }
   
   virtual Store
   RemoveDeadBindings(Store store, Stmt* Loc, const LiveVariables& Live,