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

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

Completed in 55 milliseconds