Home
last modified time | relevance | path

Searched refs:getConstraintManager (Results 1 – 16 of 16) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h106 ConstraintManager &getConstraintManager() { in getConstraintManager() function
107 return Eng.getConstraintManager(); in getConstraintManager()
DProgramState.h114 ConstraintManager &getConstraintManager() const;
510 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
625 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
626 return stateMgr->getConstraintManager(); in getConstraintManager()
DExprEngine.h302 ConstraintManager& getConstraintManager() { in getConstraintManager() function
303 return StateMgr.getConstraintManager(); in getConstraintManager()
/external/clang/lib/StaticAnalyzer/Checkers/
DDivZeroChecker.cpp69 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
DBoolAssignmentChecker.cpp81 ConstraintManager &CM = C.getConstraintManager(); in checkBind()
DVLASizeChecker.cpp143 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
DNonNullParamChecker.cpp137 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
DStreamChecker.cpp220 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()
348 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
DSimpleStreamChecker.cpp177 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
DTestAfterDivZeroChecker.cpp144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
DMacOSKeychainAPIChecker.cpp575 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
DMallocChecker.cpp1179 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
2327 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2338 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
DRetainCountChecker.cpp2846 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
3633 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp261 .getConstraintManager() in getSVal()
346 ConstraintManager &CM = SM.getConstraintManager(); in assumeInBound()
432 Mgr.getConstraintManager().print(this, Out, NL, Sep); in print()
DSimpleSValBuilder.cpp519 ConstraintManager &CMgr = state->getConstraintManager(); in evalBinOpNN()
940 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
DExprEngine.cpp404 CheckerState = getConstraintManager().removeDeadBindings(CheckerState, in removeDead()