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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CheckerContext.h 106 ConstraintManager &getConstraintManager() {
107 return Eng.getConstraintManager();
ExprEngine.h 280 ConstraintManager& getConstraintManager() {
281 return StateMgr.getConstraintManager();
ProgramState.h 113 ConstraintManager &getConstraintManager() const;
505 ConstraintManager& getConstraintManager() { return *ConstraintMgr; }
620 inline ConstraintManager &ProgramState::getConstraintManager() const {
621 return stateMgr->getConstraintManager();
  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 69 ConstraintManager &CM = C.getConstraintManager();
BoolAssignmentChecker.cpp 81 ConstraintManager &CM = C.getConstraintManager();
NonNullParamChecker.cpp 115 ConstraintManager &CM = C.getConstraintManager();
SimpleStreamChecker.cpp 178 ConstraintManager &CMgr = State->getConstraintManager();
StreamChecker.cpp 217 ConstraintManager &CM = C.getConstraintManager();
344 ConstraintManager &CM = C.getConstraintManager();
MacOSKeychainAPIChecker.cpp 564 ConstraintManager &CMgr = State->getConstraintManager();
MallocChecker.cpp 668 ConstraintManager &CMgr = State->getConstraintManager();
    [all...]
RetainCountChecker.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 238 .getConstraintManager()
323 ConstraintManager &CM = SM.getConstraintManager();
405 Mgr.getConstraintManager().print(this, Out, NL, Sep);
SimpleSValBuilder.cpp 516 if (const llvm::APSInt *Constant = state->getConstraintManager()
    [all...]
ExprEngine.cpp 359 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,
    [all...]

Completed in 508 milliseconds