diff options
author | Anna Zaks <ganna@apple.com> | 2011-11-17 22:57:01 +0000 |
---|---|---|
committer | Anna Zaks <ganna@apple.com> | 2011-11-17 22:57:01 +0000 |
commit | 64595fad45abbaa75778609196b9223bf6f2ece3 (patch) | |
tree | 2c74001b33f210fd71366407f8bc52afa8618e74 /lib/StaticAnalyzer/Core/SVals.cpp | |
parent | e24f5fc8c763f1b5536b8d70dd510ca959db3a80 (diff) |
[analyzer] Add a helper method.
Naming could be improved.. But we should first rename the classes in the SVal hierarchy.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144927 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/SVals.cpp')
-rw-r--r-- | lib/StaticAnalyzer/Core/SVals.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/StaticAnalyzer/Core/SVals.cpp b/lib/StaticAnalyzer/Core/SVals.cpp index 309b6ea424..52e52d6d59 100644 --- a/lib/StaticAnalyzer/Core/SVals.cpp +++ b/lib/StaticAnalyzer/Core/SVals.cpp @@ -114,6 +114,13 @@ const SymExpr *SVal::getAsSymbolicExpression() const { return getAsSymbol(); } +const SymExpr* SVal::getAsSymExpr() const { + const SymExpr* Sym = getAsSymbol(); + if (!Sym) + Sym = getAsSymbolicExpression(); + return Sym; +} + const MemRegion *SVal::getAsRegion() const { if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this)) return X->getRegion(); |