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/include/clang/Analysis/PathSensitive/SVals.h b/include/clang/Analysis/PathSensitive/SVals.h
index 7a1a87e34b46bae3de6bdb42037eae9560d2a67b..417a89adc8a5e0bdae8357647a6bc381f4fd5f93 100644 (file)
--- a/include/clang/Analysis/PathSensitive/SVals.h
+++ b/include/clang/Analysis/PathSensitive/SVals.h
@@ -73,6 +73,10 @@ public:
   }
   
   static SVal GetSymbolValue(SymbolManager& SymMgr, VarDecl *D);
+  static SVal getSymbolValue(SymbolManager& SymMgr, const MemRegion* R,
+                             const llvm::APSInt* Idx, QualType T);
+  static SVal getSymbolValue(SymbolManager& SymMgr, const MemRegion* R,
+                             const FieldDecl* FD, QualType T);
   
   inline bool isUnknown() const {
     return getRawKind() == UnknownKind;

diff --git a/include/clang/Analysis/PathSensitive/SymbolManager.h b/include/clang/Analysis/PathSensitive/SymbolManager.h
index 66f214e4362141e44957ff91d81af80bc87b0f11..53a6eecf445f4352c565dc4bc2cf3704427303a7 100644 (file)
--- a/include/clang/Analysis/PathSensitive/SymbolManager.h
+++ b/include/clang/Analysis/PathSensitive/SymbolManager.h
@@ -24,7 +24,7 @@
 
 namespace clang {
   
-
+class MemRegion;
 class SymbolManager;
 
 class SymbolID {
@@ -69,7 +69,8 @@ namespace clang {
   
 class SymbolData : public llvm::FoldingSetNode {
 public:
-  enum Kind { UndefKind, ParmKind, GlobalKind, ContentsOfKind, ConjuredKind };
+  enum Kind { UndefKind, ParmKind, GlobalKind, ElementKind, FieldKind,
+              ContentsOfKind, ConjuredKind };
   
 private:
   Kind K;
@@ -141,6 +142,52 @@ public:
   }
 };
 
+class SymbolDataElement : public SymbolData {
+  const MemRegion* R;
+  const llvm::APSInt* Idx;
+
+public:
+  SymbolDataElement(SymbolID MySym, const MemRegion* r, const llvm::APSInt* idx)
+    : SymbolData(ElementKind, MySym), R(r), Idx(idx) {}
+
+  static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion* R, 
+                      const llvm::APSInt* Idx) {
+    profile.AddPointer(R);
+    profile.AddPointer(Idx);
+  }
+
+  void Profile(llvm::FoldingSetNodeID& profile) {
+    Profile(profile, R, Idx);
+  }
+
+  static bool classof(const SymbolData* D) {
+    return D->getKind() == ElementKind;
+  }
+};
+
+class SymbolDataField : public SymbolData {
+  const MemRegion* R;
+  const FieldDecl* D;
+
+public:
+  SymbolDataField(SymbolID MySym, const MemRegion* r, const FieldDecl* d)
+    : SymbolData(FieldKind, MySym), R(r), D(d) {}
+
+  static void Profile(llvm::FoldingSetNodeID& profile, const MemRegion* R,
+                      const FieldDecl* D) {
+    profile.AddPointer(R);
+    profile.AddPointer(D);
+  }
+
+  void Profile(llvm::FoldingSetNodeID& profile) {
+    Profile(profile, R, D);
+  }
+
+  static bool classof(const SymbolData* D) {
+    return D->getKind() == FieldKind;
+  }
+};
+
 class SymbolDataContentsOf : public SymbolData {
   SymbolID Sym;
       
@@ -245,6 +292,8 @@ public:
   ~SymbolManager();
   
   SymbolID getSymbol(VarDecl* D);
+  SymbolID getElementSymbol(const MemRegion* R, const llvm::APSInt* Idx);
+  SymbolID getFieldSymbol(const MemRegion* R, const FieldDecl* D);
   SymbolID getContentsOfSymbol(SymbolID sym);
   SymbolID getConjuredSymbol(Stmt* E, QualType T, unsigned VisitCount);
   SymbolID getConjuredSymbol(Expr* E, unsigned VisitCount) {

diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index 6b29ae7d423581eeea00af6dda1faa5ebcfbce1d..644f60d25af7444113670be55f93d999bf16ec34 100644 (file)
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -272,6 +272,22 @@ SVal SVal::GetSymbolValue(SymbolManager& SymMgr, VarDecl* D) {
   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));

diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index 7829e3ace3a113f8edb6f4ff5c146a3d5f591c58..aee74a4a14e44b2c9a43cda45080cfc75c6e76df 100644 (file)
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -51,6 +51,41 @@ SymbolID SymbolManager::getSymbol(VarDecl* D) {
   DataMap[SymbolCounter] = SD;
   return SymbolCounter++;
 }  
+
+SymbolID SymbolManager::getElementSymbol(const MemRegion* R, 
+                                         const llvm::APSInt* Idx){
+  llvm::FoldingSetNodeID ID;
+  SymbolDataElement::Profile(ID, R, Idx);
+  void* InsertPos;
+  SymbolData* SD = DataSet.FindNodeOrInsertPos(ID, InsertPos);
+
+  if (SD)
+    return SD->getSymbol();
+
+  SD = (SymbolData*) BPAlloc.Allocate<SymbolDataElement>();
+  new (SD) SymbolDataElement(SymbolCounter, R, Idx);
+
+  DataSet.InsertNode(SD, InsertPos);
+  DataMap[SymbolCounter] = SD;
+  return SymbolCounter++;
+}
+
+SymbolID SymbolManager::getFieldSymbol(const MemRegion* R, const FieldDecl* D) {
+  llvm::FoldingSetNodeID ID;
+  SymbolDataField::Profile(ID, R, D);
+  void* InsertPos;
+  SymbolData* SD = DataSet.FindNodeOrInsertPos(ID, InsertPos);
+
+  if (SD)
+    return SD->getSymbol();
+
+  SD = (SymbolData*) BPAlloc.Allocate<SymbolDataField>();
+  new (SD) SymbolDataField(SymbolCounter, R, D);
+
+  DataSet.InsertNode(SD, InsertPos);
+  DataMap[SymbolCounter] = SD;
+  return SymbolCounter++;
+}
  
 SymbolID SymbolManager::getContentsOfSymbol(SymbolID sym) {