From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 12 Nov 2008 19:22:47 +0000 (+0000)
Subject: Conjured symbols now bind to Stmt* instead of Expr*.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b5abb429e7aac731c3b4363a6118a6b3a6e27abc;p=clang

Conjured symbols now bind to Stmt* instead of Expr*.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@59154 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/clang/Analysis/PathSensitive/SymbolManager.h b/include/clang/Analysis/PathSensitive/SymbolManager.h
index e4ccbf0d43..66f214e436 100644
--- a/include/clang/Analysis/PathSensitive/SymbolManager.h
+++ b/include/clang/Analysis/PathSensitive/SymbolManager.h
@@ -166,30 +166,29 @@ public:
 };
   
 class SymbolConjured : public SymbolData {
-  Expr* E;
+  Stmt* S;
   QualType T;
   unsigned Count;
 
 public:
-  SymbolConjured(SymbolID Sym, Expr* exp, QualType t, unsigned count)
-    : SymbolData(ConjuredKind, Sym), E(exp), T(t), Count(count) {}
-  
-  Expr* getExpr() const { return E; }
-  unsigned getCount() const { return Count; }  
+  SymbolConjured(SymbolID Sym, Stmt* s, QualType t, unsigned count)
+    : SymbolData(ConjuredKind, Sym), S(s), T(t), Count(count) {}
   
+  Stmt* getStmt() const { return S; }
+  unsigned getCount() const { return Count; }    
   QualType getType() const { return T; }
   
   static void Profile(llvm::FoldingSetNodeID& profile,
-                      Expr* E, QualType T, unsigned Count) {
+                      Stmt* S, QualType T, unsigned Count) {
     
     profile.AddInteger((unsigned) ConjuredKind);
-    profile.AddPointer(E);
+    profile.AddPointer(S);
     profile.Add(T);
     profile.AddInteger(Count);
   }
   
   virtual void Profile(llvm::FoldingSetNodeID& profile) {
-    Profile(profile, E, T, Count);
+    Profile(profile, S, T, Count);
   }
   
   // Implement isa<T> support.
@@ -247,7 +246,7 @@ public:
   
   SymbolID getSymbol(VarDecl* D);
   SymbolID getContentsOfSymbol(SymbolID sym);
-  SymbolID getConjuredSymbol(Expr* E, QualType T, unsigned VisitCount);
+  SymbolID getConjuredSymbol(Stmt* E, QualType T, unsigned VisitCount);
   SymbolID getConjuredSymbol(Expr* E, unsigned VisitCount) {
     return getConjuredSymbol(E, E->getType(), VisitCount);
   }
diff --git a/lib/Analysis/SymbolManager.cpp b/lib/Analysis/SymbolManager.cpp
index 24d2ed7253..7829e3ace3 100644
--- a/lib/Analysis/SymbolManager.cpp
+++ b/lib/Analysis/SymbolManager.cpp
@@ -73,7 +73,7 @@ SymbolID SymbolManager::getContentsOfSymbol(SymbolID sym) {
   return SymbolCounter++;
 }
   
-SymbolID SymbolManager::getConjuredSymbol(Expr* E, QualType T, unsigned Count) {
+SymbolID SymbolManager::getConjuredSymbol(Stmt* E, QualType T, unsigned Count) {
   
   llvm::FoldingSetNodeID profile;
   SymbolConjured::Profile(profile, E, T, Count);