]> granicus.if.org Git - clang/commitdiff
add utility methods.
authorZhongxing Xu <xuzhongxing@gmail.com>
Tue, 30 Jun 2009 11:50:39 +0000 (11:50 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Tue, 30 Jun 2009 11:50:39 +0000 (11:50 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74520 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/ValueManager.h

index de318a0f03e8fc6cbc958a49f0d77357dce55501..fdb5be8a0033b69ec03c7e4d8abc02cf8a8abf79 100644 (file)
@@ -67,6 +67,9 @@ public:
                                           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);