From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Tue, 30 Jun 2009 11:50:39 +0000 (+0000)
Subject: add utility methods.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7859cc6f2f88ebdb09b5df6fac8c185301d6bf51;p=clang

add utility methods.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@74520 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Analysis/PathSensitive/ValueManager.h b/include/clang/Analysis/PathSensitive/ValueManager.h
index de318a0f03..fdb5be8a00 100644
--- a/include/clang/Analysis/PathSensitive/ValueManager.h
+++ b/include/clang/Analysis/PathSensitive/ValueManager.h
@@ -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);