commit 15fa2f10a4e53c757eaf84cbe0a48a90a3fac949
author Ted Kremenek <kremenek@apple.com> Mon Feb 11 23:12:59 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Feb 11 23:12:59 2008 +0000
tree 1c19ef4bd0f4e8cd76521108b1b310c6356a1930
parent 606f707985bb0de5e452b82fd524f9524094747b

Consolidated use of BumpPtrAllocator shared by various ImmutableSet/ImmutableMap
factories.

Fixed a horrible bug in lval:DeclVar::classof(RValue* V); we weren't checking
V was an LValue, allowing nonlval::ConcereteInts to match isa<lval::DeclVar>.


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

Analysis/RValues.h

diff --git a/Analysis/RValues.h b/Analysis/RValues.h
index 92f847b..9aa2f11 100644
--- a/Analysis/RValues.h
+++ b/Analysis/RValues.h
@@ -459,7 +459,7 @@
     }
     
     static inline bool classof(const RValue* V) {
-      return V->getSubKind() == SymbolValKind;
+      return isa<LValue>(V) && V->getSubKind() == SymbolValKind;
     }  
   };
   
@@ -481,7 +481,7 @@
     
     // Implement isa<T> support.
     static inline bool classof(const RValue* V) {
-      return V->getSubKind() == DeclValKind;
+      return isa<LValue>(V) && V->getSubKind() == DeclValKind;
     }
   };
 

Analysis/ValueState.cpp

diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 724f64f..f51175f 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -71,7 +71,7 @@
     if (Liveness.isLive(Loc, I.getKey()))
       WList.push_back(I.getKey());
   
-  llvm::SmallPtrSet<ValueDecl*, 10> Marked;
+  llvm::SmallPtrSet<ValueDecl*, 10> Marked;  
   
   while (!WList.empty()) {
     ValueDecl* V = WList.back();
@@ -254,7 +254,6 @@
   return cast<LValue>(GetValue(St, E));
 }
 
-
 ValueState 
 ValueStateManager::SetValue(ValueState St, Expr* E, bool isBlkExpr,
                             const RValue& V) {

Analysis/ValueState.h

diff --git a/Analysis/ValueState.h b/Analysis/ValueState.h
index 5f2b58c..8ea6994 100644
--- a/Analysis/ValueState.h
+++ b/Analysis/ValueState.h
@@ -231,7 +231,12 @@
   
 public:  
   ValueStateManager(ASTContext& Ctx, llvm::BumpPtrAllocator& alloc) 
-    : ValMgr(Ctx, alloc), Alloc(alloc) {}
+    : ISetFactory(alloc), 
+      EXFactory(alloc),
+      VBFactory(alloc),
+      CNEFactory(alloc),
+      CEFactory(alloc),
+      ValMgr(Ctx, alloc), Alloc(alloc) {}
   
   ValueState getInitialState();