[cfe-commits] r74520 - /cfe/trunk/include/clang/Analysis/PathSensitive/ValueManager.h

[Zhongxing Xu]

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);