aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-07-03 06:11:41 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-07-03 06:11:41 +0000
commit8834af3f8e85c0a7e309e5be9b41e438f51b9b36 (patch)
tree2cddbe11dcae1f67e42b34a7cd12ae99295bc290
parentc5771fd4a8371ff408000884fce22529fa49208a (diff)
remove utility methods that are not very useful.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74762 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/ValueManager.h3
-rw-r--r--lib/Analysis/RegionStore.cpp2
2 files changed, 1 insertions, 4 deletions
diff --git a/include/clang/Analysis/PathSensitive/ValueManager.h b/include/clang/Analysis/PathSensitive/ValueManager.h
index 886567039c..36d1df2150 100644
--- a/include/clang/Analysis/PathSensitive/ValueManager.h
+++ b/include/clang/Analysis/PathSensitive/ValueManager.h
@@ -68,9 +68,6 @@ public:
return SymMgr.getConjuredSymbol(E, VisitCount, SymbolTag);
}
- SVal makeUnknownVal() { return UnknownVal(); }
- SVal makeUndefinedVal() { return UndefinedVal(); }
-
/// makeZeroVal - Construct an SVal representing '0' for the specified type.
SVal makeZeroVal(QualType T);
diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 288831c5f9..23e8b738b6 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -937,7 +937,7 @@ SVal RegionStoreManager::RetrieveElement(const GRState* state,
// Check if the super region has a binding.
if (B.lookup(superR)) {
// We do not extract the bit value from super region for now.
- return ValMgr.makeUnknownVal();
+ return UnknownVal();
}
if (R->hasHeapStorage()) {