Author: zhongxingxu
Date: Tue Jun 30 06:50:39 2009
New Revision: 74520
URL: http://llvm.org/viewvc/llvm-project?rev=74520&view=rev
Log:
add utility methods.
Modified:
cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h
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=74520&r1=74519&r2=74520&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h Tue Jun 30
06:50:39 2009
@@ -67,6 +67,9 @@
const void* SymbolTag = 0) {
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);
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
