HomeSort by relevance Sort by last modified time
    Searched full:storemgr (Results 1 - 7 of 7) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
AnalysisManager.cpp 20 StoreManagerCreator storemgr,
33 CreateStoreMgr(storemgr), CreateConstraintMgr(constraintmgr),
ProgramState.cpp 74 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
87 StoreMgr->getInitialStore(InitLoc),
97 getStateManager().StoreMgr->BindCompoundLiteral(getStore(), CL, LC, V);
103 getStateManager().StoreMgr->BindDecl(getStore(), VR, IVal);
109 getStateManager().StoreMgr->BindDeclWithNoInit(getStore(), VR);
115 const ProgramState *newState = makeWithStore(Mgr.StoreMgr->Bind(getStore(),
127 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
158 = Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, IS,
165 Mgr.StoreMgr->invalidateRegions(getStore(), Regions, E, Count, IS,
174 const StoreRef &newStore = getStateManager().StoreMgr->Remove(OldStore, LV)
    [all...]
SValBuilder.cpp 232 StoreManager &storeMgr = StateMgr.getStoreManager();
233 R = storeMgr.castRegion(R, castTy);
303 StoreManager &storeMgr = StateMgr.getStoreManager();
308 R = storeMgr.castRegion(R, castTy);
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 413 llvm::OwningPtr<StoreManager> StoreMgr;
449 StoreMgr.reset((*CreateStoreManager)(*this));
462 StoreMgr.reset((*CreateStoreManager)(*this));
500 StoreManager& getStoreManager() { return *StoreMgr; }
515 return StoreMgr->ArrayToPointer(Array);
525 StoreMgr->iterBindings(state->getStore(), F);
657 return getStateManager().StoreMgr->getLValueVar(VD, LC);
661 return getStateManager().StoreMgr->getLValueString(literal);
666 return getStateManager().StoreMgr->getLValueCompoundLiteral(literal, LC);
670 return getStateManager().StoreMgr->getLValueIvar(D, Base)
    [all...]
AnalysisManager.h 81 StoreManagerCreator storemgr,
SymbolManager.h 457 StoreManager &storeMgr)
458 : LCtx(ctx), Loc(s), SymMgr(symmgr), reapedStore(0, storeMgr) {}
  /external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp 113 StoreManager &StoreMgr;
117 FindUninitializedField(ASTContext &c, StoreManager &storeMgr,
119 : C(c), StoreMgr(storeMgr), MrMgr(mrMgr), store(s) {}
136 const SVal &V = StoreMgr.Retrieve(store, loc::MemRegionVal(FR));

Completed in 307 milliseconds