add utility methods.

llvm-svn: 74520
This commit is contained in:
Zhongxing Xu 2009-06-30 11:50:39 +00:00
parent dcf1f59305
commit 41bbd51c33
1 changed files with 3 additions and 0 deletions

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