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

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDivZeroChecker.cpp78 ConstraintManager &CM = C.getConstraintManager();
H A DBoolAssignmentChecker.cpp82 ConstraintManager &CM = C.getConstraintManager();
H A DGTestChecker.cpp284 State = C.getConstraintManager().assume(
H A DVLASizeChecker.cpp144 ConstraintManager &CM = C.getConstraintManager();
H A DStreamChecker.cpp150 ConstraintManager &CM = C.getConstraintManager();
248 ConstraintManager &CM = C.getConstraintManager();
H A DSimpleStreamChecker.cpp167 ConstraintManager &CMgr = State->getConstraintManager();
H A DNonNullParamChecker.cpp137 ConstraintManager &CM = C.getConstraintManager();
H A DFuchsiaHandleChecker.cpp122 assert(State->getConstraintManager()
412 ConstraintManager &Cmr = State->getConstraintManager();
H A DTestAfterDivZeroChecker.cpp140 ConstraintManager &CM = C.getConstraintManager();
H A DStdLibraryFunctionsChecker.cpp245 ConstraintManager &CM = Mgr.getConstraintManager();
273 ConstraintManager &CM = Mgr.getConstraintManager();
H A DMacOSKeychainAPIChecker.cpp557 ConstraintManager &CMgr = State->getConstraintManager();
H A DPthreadLockChecker.cpp167 ConstraintManager &CMgr = state->getConstraintManager();
H A DMallocChecker.cpp1624 ConstraintManager &CMgr = State->getConstraintManager();
2889 ConstraintManager &CMgr = state->getConstraintManager();
2900 ConstraintManager &CMgr = state->getConstraintManager();
H A DCheckObjCDealloc.cpp533 .getConstraintManager()
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h59 ConstraintManager &getConstraintManager() { function in class:clang::ento::CheckerContext
60 return Eng.getConstraintManager();
H A DProgramState.h117 ConstraintManager &getConstraintManager() const;
533 ConstraintManager &getConstraintManager() { return *ConstraintMgr; } function in class:clang::ento::ProgramStateManager
649 inline ConstraintManager &ProgramState::getConstraintManager() const { function in class:clang::ento::ProgramState
650 return stateMgr->getConstraintManager();
H A DExprEngine.h388 ConstraintManager &getConstraintManager() { function in class:clang::ento::ExprEngine
389 return StateMgr.getConstraintManager();
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp271 .getConstraintManager()
355 ConstraintManager &CM = SM.getConstraintManager();
457 Mgr.getConstraintManager().printJson(Out, this, NL, Space, IsDot);
H A DSimpleSValBuilder.cpp1223 return state->getConstraintManager().getSymVal(state, Sym);
H A DExprEngine.cpp752 getConstraintManager().removeDeadBindings(CheckerState, SymReaper);
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp309 ConstraintManager &CMgr = State->getConstraintManager();
1166 ConstraintManager &CMgr = state->getConstraintManager();

Completed in 144 milliseconds