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 446 std::unique_ptr<ConstraintManager> ConstraintMgr;
510 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
616 ConstraintMgr->EndPath(St);
640 return getStateManager().ConstraintMgr
649 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 184 milliseconds