]> granicus.if.org Git - clang/commitdiff
Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState>
authorJordy Rose <jediknil@belkadan.com>
Wed, 18 Aug 2010 04:26:59 +0000 (04:26 +0000)
committerJordy Rose <jediknil@belkadan.com>
Wed, 18 Aug 2010 04:26:59 +0000 (04:26 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111351 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Checker/MallocChecker.cpp

index 4aeaae424e9e9b269fff36c7790cf725070f5b68..7aa89e0998992cfca54e9a3fa1c5a3df7e2a02c0 100644 (file)
@@ -119,7 +119,7 @@ typedef llvm::ImmutableMap<SymbolRef, RefState> RegionStateTy;
 namespace clang {
   template <>
   struct GRStateTrait<RegionState> 
-    : public GRStatePartialTrait<llvm::ImmutableMap<SymbolRef, RefState> > {
+    : public GRStatePartialTrait<RegionStateTy> {
     static void *GDMIndex() { return MallocChecker::getTag(); }
   };
 }
@@ -588,10 +588,9 @@ void MallocChecker::EvalEndPath(GREndPathNodeBuilder &B, void *tag,
                                 GRExprEngine &Eng) {
   SaveAndRestore<bool> OldHasGen(B.HasGeneratedNode);
   const GRState *state = B.getState();
-  typedef llvm::ImmutableMap<SymbolRef, RefState> SymMap;
-  SymMap M = state->get<RegionState>();
+  RegionStateTy M = state->get<RegionState>();
 
-  for (SymMap::iterator I = M.begin(), E = M.end(); I != E; ++I) {
+  for (RegionStateTy::iterator I = M.begin(), E = M.end(); I != E; ++I) {
     RefState RS = I->second;
     if (RS.isAllocated()) {
       ExplodedNode *N = B.generateNode(state, tag, B.getPredecessor());