Searched refs:getConstraintManager (Results 1 - 12 of 12) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h59 ConstraintManager &getConstraintManager() { function in class:clang::ento::CheckerContext
60 return Eng.getConstraintManager();
H A DExprEngine.h257 ConstraintManager& getConstraintManager() { function in class:clang::ento::ExprEngine
258 return StateMgr.getConstraintManager();
H A DProgramState.h113 ConstraintManager &getConstraintManager() const;
489 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } function in class:clang::ento::ProgramStateManager
604 inline ConstraintManager &ProgramState::getConstraintManager() const { function in class:clang::ento::ProgramState
605 return stateMgr->getConstraintManager();
/external/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp69 ConstraintManager &CM = C.getConstraintManager();
H A DAttrNonNullChecker.cpp85 ConstraintManager &CM = C.getConstraintManager();
H A DBoolAssignmentChecker.cpp81 ConstraintManager &CM = C.getConstraintManager();
H A DMacOSKeychainAPIChecker.cpp588 if (State->getConstraintManager().isNull(State, I->first).isTrue() ||
633 if (state->getConstraintManager().isNull(state, I.getKey()).isTrue() ||
H A DStreamChecker.cpp229 ConstraintManager &CM = C.getConstraintManager();
356 ConstraintManager &CM = C.getConstraintManager();
H A DRetainCountChecker.cpp3449 if (state->getConstraintManager().isNull(state, I.getKey()).isTrue()) {
/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp228 .getConstraintManager()
331 ConstraintManager &CM = SM.getConstraintManager();
403 Mgr.getConstraintManager().print(this, Out, NL, Sep);
H A DSimpleSValBuilder.cpp510 if (const llvm::APSInt *Constant = state->getConstraintManager()
946 return state->getConstraintManager().getSymVal(state, Sym);
H A DExprEngine.cpp299 CheckerState = getConstraintManager().removeDeadBindings(CheckerState,

Completed in 163 milliseconds