diff options
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/ValueManager.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/ValueManager.h b/clang/include/clang/Analysis/PathSensitive/ValueManager.h index de318a0..fdb5be8 100644 --- a/clang/include/clang/Analysis/PathSensitive/ValueManager.h +++ b/clang/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); |