[cfe-commits] r111351 - /cfe/trunk/lib/Checker/MallocChecker.cpp

Jordy Rose jediknil at belkadan.com
Tue Aug 17 21:26:59 PDT 2010


Author: jrose
Date: Tue Aug 17 23:26:59 2010
New Revision: 111351

URL: http://llvm.org/viewvc/llvm-project?rev=111351&view=rev
Log:
Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState>

Modified:
    cfe/trunk/lib/Checker/MallocChecker.cpp

Modified: cfe/trunk/lib/Checker/MallocChecker.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/MallocChecker.cpp?rev=111351&r1=111350&r2=111351&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/MallocChecker.cpp (original)
+++ cfe/trunk/lib/Checker/MallocChecker.cpp Tue Aug 17 23:26:59 2010
@@ -119,7 +119,7 @@
 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 @@
                                 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());





More information about the cfe-commits mailing list