Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCheckerContext.h106 ConstraintManager &getConstraintManager() { in getConstraintManager() function
107 return Eng.getConstraintManager(); in getConstraintManager()
DProgramState.h115 ConstraintManager &getConstraintManager() const;
518 ConstraintManager& getConstraintManager() { return *ConstraintMgr; } in getConstraintManager() function
633 inline ConstraintManager &ProgramState::getConstraintManager() const { in getConstraintManager() function
634 return stateMgr->getConstraintManager(); in getConstraintManager()
DExprEngine.h309 ConstraintManager& getConstraintManager() { in getConstraintManager() function
310 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.cpp142 ConstraintManager &CM = C.getConstraintManager(); in checkPreStmt()
DNonNullParamChecker.cpp138 ConstraintManager &CM = C.getConstraintManager(); in checkPreCall()
DStreamChecker.cpp220 ConstraintManager &CM = C.getConstraintManager(); in OpenFileAux()
347 ConstraintManager &CM = C.getConstraintManager(); in CheckNullStream()
DSimpleStreamChecker.cpp168 ConstraintManager &CMgr = State->getConstraintManager(); in isLeaked()
DTestAfterDivZeroChecker.cpp144 ConstraintManager &CM = C.getConstraintManager(); in isZero()
DMacOSKeychainAPIChecker.cpp565 ConstraintManager &CMgr = State->getConstraintManager(); in checkDeadSymbols()
DCheckObjCDealloc.cpp540 .getConstraintManager() in diagnoseMissingReleases()
DMallocChecker.cpp1191 ConstraintManager &CMgr = State->getConstraintManager(); in didPreviousFreeFail()
2349 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
2360 ConstraintManager &CMgr = state->getConstraintManager(); in evalAssume()
DRetainCountChecker.cpp2860 ConstraintManager &CMgr = State->getConstraintManager(); in checkPostStmt()
3682 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()
941 return state->getConstraintManager().getSymVal(state, Sym); in getKnownValue()
DExprEngine.cpp406 CheckerState = getConstraintManager().removeDeadBindings(CheckerState, in removeDead()