Searched refs:checkerContext (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 118 CheckerContext &checkerContext) const { in checkLocation()
129 ProgramStateRef state = checkerContext.getState(); in checkLocation()
131 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); in checkLocation()
168 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()
209 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted, in checkLocation()
217 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()
226 checkerContext.addTransition(state); in checkLocation()
230 CheckerContext &checkerContext, ProgramStateRef errorState, OOB_Kind kind, in reportOOB() argument
233 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState); in reportOOB()
260 checkerContext.emitReport(std::move(BR)); in reportOOB()
|