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
diff --git a/lib/Analysis/BasicStore.cpp b/lib/Analysis/BasicStore.cpp
index 8b5ef6e..ae6febf 100644
--- a/lib/Analysis/BasicStore.cpp
+++ b/lib/Analysis/BasicStore.cpp
@@ -66,9 +66,9 @@
/// 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());
}