diff options
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h | 4 | ||||
| -rw-r--r-- | lib/StaticAnalyzer/Core/SVals.cpp | 10 |
2 files changed, 14 insertions, 0 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h index 0d430794e7..35c7274f7d 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h @@ -125,6 +125,10 @@ public: /// Otherwise return 0. const FunctionDecl* getAsFunctionDecl() const; + /// \brief If this SVal is a MemRegionVal and wraps a VarDecl, + /// return that VarDecl. Otherwise return 0. + const VarDecl* getAsVarDecl() const; + /// getAsLocSymbol - If this SVal is a location (subclasses Loc) and /// wraps a symbol, return that SymbolRef. Otherwise return NULL. SymbolRef getAsLocSymbol() const; diff --git a/lib/StaticAnalyzer/Core/SVals.cpp b/lib/StaticAnalyzer/Core/SVals.cpp index 4614e349de..76ad94e40d 100644 --- a/lib/StaticAnalyzer/Core/SVals.cpp +++ b/lib/StaticAnalyzer/Core/SVals.cpp @@ -60,6 +60,16 @@ const FunctionDecl *SVal::getAsFunctionDecl() const { return NULL; } +const VarDecl* SVal::getAsVarDecl() const { + if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(this)) { + const MemRegion* R = X->getRegion(); + if (const VarRegion *VR = R->getAs<VarRegion>()) + return cast<VarDecl>(VR->getDecl()); + } + + return NULL; +} + /// getAsLocSymbol - If this SVal is a location (subclasses Loc) and /// wraps a symbol, return that SymbolRef. Otherwise return 0. // FIXME: should we consider SymbolRef wrapped in CodeTextRegion? |