HomeSort by: relevance | last modified time | path
    Searched defs:ProgramStateManager (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 9 // This file implements ProgramState and ProgramStateManager.
38 ProgramStateManager &Mgr = s->getStateManager();
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
75 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
88 ProgramStateManager::~ProgramStateManager() {
94 ProgramStateRef ProgramStateManager::removeDeadBindingsFromEnvironmentAndStore(
121 ProgramStateManager &Mgr = getStateManager();
134 ProgramStateManager &Mgr = getStateManager()
    [all...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 42 ProgramStateManager &, ExprEngine *);
44 ProgramStateManager &);
80 friend class ProgramStateManager;
84 ProgramStateManager *stateMgr;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
109 /// Return the ProgramStateManager associated with this state.
110 ProgramStateManager &getStateManager() const {
156 // are managed using the ConstraintManager associated with a ProgramStateManager.
460 // ProgramStateManager - Factory object for ProgramStates.
463 class ProgramStateManager {
    [all...]

Completed in 17 milliseconds