diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-16 07:06:26 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2008-11-16 07:06:26 +0000 |
| commit | cb529b542a6c473251d15fdd637b3230906ea1dc (patch) | |
| tree | a2fc8fa7572ae8741b7eedb67dbe5b30fcb5f816 /lib/Analysis/BasicStore.cpp | |
| parent | 5ea7d07ea7d9f2b679c85df7cc45fcc6e157e396 (diff) | |
Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the
environment.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59407 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | lib/Analysis/BasicStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp index 8b5ef6ee86..ae6febff7b 100644 --- a/lib/Analysis/BasicStore.cpp +++ b/lib/Analysis/BasicStore.cpp @@ -66,9 +66,9 @@ public: /// conversions between arrays and pointers. SVal ArrayToPointer(SVal Array) { return Array; } - const GRState* CastRegion(const GRState* St, SVal VoidPtr, QualType CastToTy, - Stmt* CastE) { - return St; + std::pair<const GRState*, SVal> + CastRegion(const GRState* St, SVal VoidPtr, QualType CastToTy, Stmt* CastE) { + return std::pair<const GRState*, SVal>(St, UnknownVal()); } |