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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h 45 ProgramStateManager &StateMgr;
63 ProgramStateManager &stateMgr)
67 StateMgr(stateMgr),
123 ProgramStateManager &getStateManager() { return StateMgr; }
319 ProgramStateManager &stateMgr);
Store.h 43 ProgramStateManager &StateMgr;
49 StoreManager(ProgramStateManager &stateMgr);
ExprEngine.h 69 /// StateMgr - Object that manages the data for all created states.
70 ProgramStateManager StateMgr;
276 virtual ProgramStateManager& getStateManager() { return StateMgr; }
278 StoreManager& getStoreManager() { return StateMgr.getStoreManager(); }
281 return StateMgr.getConstraintManager();
286 return StateMgr.getBasicVals();
  /external/clang/lib/StaticAnalyzer/Core/
CallEvent.cpp 496 ProgramStateManager &StateMgr = getState()->getStateManager();
497 SValBuilder &SVB = StateMgr.getSValBuilder();
511 ThisVal = StateMgr.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
    [all...]
BugReporterVisitors.cpp 345 ProgramStateManager &StateMgr = BRC.getStateManager();
346 CallEventManager &CallMgr = StateMgr.getCallEventManager();
464 ProgramStateManager &StateMgr = BRC.getStateManager();
465 CallEventManager &CallMgr = StateMgr.getCallEventManager();
763 ProgramStateManager &StateMgr = N->getState()->getStateManager();
764 MemRegionManager &MRMgr = StateMgr.getRegionManager();
    [all...]

Completed in 128 milliseconds