[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