Add SymbolData for array elements and struct fields.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59618 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index 6b29ae7..644f60d 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -272,6 +272,22 @@
return nonloc::SymbolVal(SymMgr.getSymbol(D));
}
+SVal SVal::getSymbolValue(SymbolManager& SymMgr, const MemRegion* R,
+ const llvm::APSInt* Idx, QualType T) {
+ if (Loc::IsLocType(T))
+ return loc::SymbolVal(SymMgr.getElementSymbol(R, Idx));
+ else
+ return nonloc::SymbolVal(SymMgr.getElementSymbol(R, Idx));
+}
+
+SVal SVal::getSymbolValue(SymbolManager& SymMgr, const MemRegion* R,
+ const FieldDecl* FD, QualType T) {
+ if (Loc::IsLocType(T))
+ return loc::SymbolVal(SymMgr.getFieldSymbol(R, FD));
+ else
+ return nonloc::SymbolVal(SymMgr.getFieldSymbol(R, FD));
+}
+
nonloc::LocAsInteger nonloc::LocAsInteger::Make(BasicValueFactory& Vals, Loc V,
unsigned Bits) {
return LocAsInteger(Vals.getPersistentSValWithData(V, Bits));