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 | 99a96d6ef38a391c42f514b7a4358bbb2db6c788 (patch) | |
| tree | c9a8423f0f7996419e15349ea5c77be6287652f5 /clang/lib/Analysis/BasicStore.cpp | |
| parent | f8f6270f14fe69f4e6af489212a484289f2a7e57 (diff) | |
| download | bcm5719-llvm-99a96d6ef38a391c42f514b7a4358bbb2db6c788.tar.gz bcm5719-llvm-99a96d6ef38a391c42f514b7a4358bbb2db6c788.zip | |
Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the
environment.
llvm-svn: 59407
Diffstat (limited to 'clang/lib/Analysis/BasicStore.cpp')
| -rw-r--r-- | clang/lib/Analysis/BasicStore.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp index 8b5ef6ee865..ae6febff7ba 100644 --- a/clang/lib/Analysis/BasicStore.cpp +++ b/clang/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()); } |
