Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the
environment.
llvm-svn: 59407
diff --git a/clang/lib/Analysis/BasicStore.cpp b/clang/lib/Analysis/BasicStore.cpp
index 8b5ef6e..ae6febf 100644
--- a/clang/lib/Analysis/BasicStore.cpp
+++ b/clang/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());
}