diff options
| -rw-r--r-- | Analysis/SymbolManager.cpp | 7 | ||||
| -rw-r--r-- | include/clang/Analysis/PathSensitive/SymbolManager.h | 6 |
2 files changed, 10 insertions, 3 deletions
diff --git a/Analysis/SymbolManager.cpp b/Analysis/SymbolManager.cpp index bdda0e6eed..ced5741f44 100644 --- a/Analysis/SymbolManager.cpp +++ b/Analysis/SymbolManager.cpp @@ -38,7 +38,7 @@ SymbolID SymbolManager::getContentsOfSymbol(SymbolID sym) { return X; } -QualType SymbolData::getType() const { +QualType SymbolData::getType(const SymbolManager& SymMgr) const { switch (getKind()) { default: assert (false && "getType() not implemented for this symbol."); @@ -46,6 +46,11 @@ QualType SymbolData::getType() const { case ParmKind: return cast<SymbolDataParmVar>(this)->getDecl()->getType(); + case ContentsOfKind: { + SymbolID x = cast<SymbolDataContentsOf>(this)->getSymbol(); + QualType T = SymMgr.getSymbolData(x).getType(SymMgr); + return T->getAsPointerType()->getPointeeType(); + } } } diff --git a/include/clang/Analysis/PathSensitive/SymbolManager.h b/include/clang/Analysis/PathSensitive/SymbolManager.h index 2114dc6033..d29e0e08b9 100644 --- a/include/clang/Analysis/PathSensitive/SymbolManager.h +++ b/include/clang/Analysis/PathSensitive/SymbolManager.h @@ -24,6 +24,8 @@ namespace clang { +class SymbolManager; + class SymbolID { unsigned Data; public: @@ -76,7 +78,7 @@ public: return K == R.K && Data == R.Data; } - QualType getType() const; + QualType getType(const SymbolManager& SymMgr) const; // Implement isa<T> support. static inline bool classof(const SymbolData*) { return true; } @@ -164,7 +166,7 @@ public: } inline QualType getType(SymbolID ID) const { - return getSymbolData(ID).getType(); + return getSymbolData(ID).getType(*this); } }; |