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

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 10 // This file implements ProgramState and ProgramStateManager.
27 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
52 ProgramStateManager::~ProgramStateManager() {
59 ProgramStateManager::removeDeadBindings(const ProgramState *state,
82 const ProgramState *ProgramStateManager::MarshalState(const ProgramState *state,
114 ProgramStateManager &Mgr = getStateManager();
125 ProgramStateManager &Mgr = getStateManager();
152 ProgramStateManager &Mgr = getStateManager();
274 ProgramStateManager &SM = getStateManager()
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 36 class ProgramStateManager;
38 typedef ConstraintManager* (*ConstraintManagerCreator)(ProgramStateManager&,
40 typedef StoreManager* (*StoreManagerCreator)(ProgramStateManager&);
57 class ProgramStateManager;
79 friend class ProgramStateManager;
83 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
107 /// Return the ProgramStateManager associated with this state.
108 ProgramStateManager &getStateManager() const { return *stateMgr; }
150 // are managed using the ConstraintManager associated with a ProgramStateManager
    [all...]

Completed in 184 milliseconds