Searched refs:checkerContext (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/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()
169 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()
210 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted, in checkLocation()
218 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()
227 checkerContext.addTransition(state); in checkLocation()
231 CheckerContext &checkerContext, ProgramStateRef errorState, OOB_Kind kind, in reportOOB() argument
234 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState); in reportOOB()
261 checkerContext.emitReport(std::move(BR)); in reportOOB()
|