Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState.h454 std::unique_ptr<ConstraintManager> ConstraintMgr; variable
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager()
624 ConstraintMgr->EndPath(St); in EndPath()
648 return getStateManager().ConstraintMgr in assume()
657 return getStateManager().ConstraintMgr in assume()
671 return getStateManager().ConstraintMgr->assumeWithinInclusiveRange( in assumeWithinInclusiveRange()
684 return getStateManager().ConstraintMgr in assumeWithinInclusiveRange()
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp79 ConstraintMgr = (*CreateCMgr)(*this, SubEng); in ProgramStateManager()
111 return ConstraintMgr->removeDeadBindings(Result, SymReaper); in removeDeadBindings()
361 return getStateManager().ConstraintMgr->isNull(this, Sym); in isNull()