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()) {
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
