HomeSort by relevance Sort by last modified time
    Searched refs:StateMgr (Results 1 - 10 of 10) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 57 /// StateMgr - Object that manages the data for all created states.
58 ProgramStateManager StateMgr;
229 virtual ProgramStateManager& getStateManager() { return StateMgr; }
231 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
234 return StateMgr.getConstraintManager();
239 return StateMgr.getBasicVals();
242 return StateMgr.getBasicVals();
SValBuilder.h 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
126 ProgramStateManager &getStateManager() { return StateMgr; }
314 ProgramStateManager &stateMgr);
Store.h 40 ProgramStateManager &StateMgr;
46 StoreManager(ProgramStateManager &stateMgr);
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 263 ProgramStateManager &StateMgr = state->getStateManager();
264 ASTContext &Ctx = StateMgr.getContext();
SValBuilder.cpp 305 StoreManager &storeMgr = StateMgr.getStoreManager();
323 val = StateMgr.ArrayToPointer(cast<Loc>(val));
376 StoreManager &storeMgr = StateMgr.getStoreManager();
Store.cpp 22 StoreManager::StoreManager(ProgramStateManager &stateMgr)
23 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr),
24 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
62 ASTContext &Ctx = StateMgr.getContext();
BugReporterVisitors.cpp 295 ProgramStateManager &StateMgr = N->getState()->getStateManager();
320 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
412 ProgramStateManager &StateMgr = state->getStateManager();
417 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext());
ExprEngine.cpp 76 StateMgr(getContext(), mgr.getStoreManagerCreator(),
79 SymMgr(StateMgr.getSymbolManager()),
80 svalBuilder(StateMgr.getSValBuilder()),
103 ProgramStateRef state = StateMgr.getInitialState(InitLoc);
291 CleanedState = StateMgr.removeDeadBindings(CleanedState, SFC, SymReaper);
327 assert(StateMgr.haveEqualEnvironments(CheckerState, EntryState) &&
330 assert(StateMgr.haveEqualStores(CheckerState, EntryState) &&
337 StateMgr.getPersistentStateWithGDM(CleanedState, CheckerState);
    [all...]
RegionStore.cpp 500 ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &StateMgr,
502 : RM(rm), Ctx(StateMgr.getContext()),
503 svalBuilder(StateMgr.getSValBuilder()),
614 ProgramStateManager &stateMgr,
621 : ClusterAnalysis<invalidateRegionsWorker>(rm, stateMgr, b, includeGlobals),
776 invalidateRegionsWorker W(*this, StateMgr,
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp     [all...]

Completed in 393 milliseconds