[cfe-commits] r74762 - in /cfe/trunk: include/clang/Analysis/PathSensitive/ValueManager.h lib/Analysis/RegionStore.cpp

[Zhongxing Xu]

Author: zhongxingxu
Date: Fri Jul  3 01:11:41 2009
New Revision: 74762

URL: http://llvm.org/viewvc/llvm-project?rev=74762&view=rev
Log:
remove utility methods that are not very useful.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h
    cfe/trunk/lib/Analysis/RegionStore.cpp

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h?rev=74762&r1=74761&r2=74762&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h Fri Jul  3 01:11:41 2009
@@ -68,9 +68,6 @@
     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);
 

Modified: cfe/trunk/lib/Analysis/RegionStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/RegionStore.cpp?rev=74762&r1=74761&r2=74762&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/RegionStore.cpp (original)
+++ cfe/trunk/lib/Analysis/RegionStore.cpp Fri Jul  3 01:11:41 2009
@@ -937,7 +937,7 @@
   // 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()) {