]> granicus.if.org Git - clang/commitdiff
remove utility methods that are not very useful.
authorZhongxing Xu <xuzhongxing@gmail.com>
Fri, 3 Jul 2009 06:11:41 +0000 (06:11 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Fri, 3 Jul 2009 06:11:41 +0000 (06:11 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74762 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/ValueManager.h
lib/Analysis/RegionStore.cpp

index 886567039cf954b29d5edb571ee9f8e6b27b3df8..36d1df2150df9cdfe3296d2c5c6b38fc940acd09 100644 (file)
@@ -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);
 
index 288831c5f9c35d8c39bc4d1cfa0760c7ea38e185..23e8b738b601f77262773c9d839374661ba74a7b 100644 (file)
@@ -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()) {