aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/RegionStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-10-09 02:18:31 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-10-09 02:18:31 +0000
commit4f8c7e42af8425d2ae18f23327185c6272166943 (patch)
treea499cebb5907797b2d42d23be8c110740a4f09ce /lib/Analysis/RegionStore.cpp
parentbd48370f38528e6bcd6b09d711c4fc292f76f417 (diff)
Make the behavior explicit by not using the method call.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@83611 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/RegionStore.cpp')
-rw-r--r--lib/Analysis/RegionStore.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index a2f636f890..fb8ee354b9 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -1485,7 +1485,7 @@ const GRState *RegionStoreManager::BindArray(const GRState *state,
if (i < size) {
if (ElementTy->isIntegerType()) {
SVal V = ValMgr.makeZeroVal(ElementTy);
- state = setDefaultValue(state, R, V);
+ state = state->set<RegionDefaultValue>(R, V);
}
}
@@ -1540,7 +1540,7 @@ RegionStoreManager::BindStruct(const GRState *state, const TypedRegion* R,
// There may be fewer values in the initialize list than the fields of struct.
if (FI != FE)
- state = setDefaultValue(state, R, ValMgr.makeIntVal(0, false));
+ state = state->set<RegionDefaultValue>(R, ValMgr.makeIntVal(0, false));
return state;
}