Searched refs:ConstraintMgr (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h445 std::unique_ptr<ConstraintManager> ConstraintMgr; member in class:clang::ento::ProgramStateManager
509 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
615 ConstraintMgr->EndPath(St);
639 return getStateManager().ConstraintMgr
648 return getStateManager().ConstraintMgr
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp79 ConstraintMgr.reset((*CreateCMgr)(*this, SubEng));
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper);
361 return getStateManager().ConstraintMgr->isNull(this, Sym);

Completed in 490 milliseconds