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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp86 CheckerContext &checkerContext) const {
97 ProgramStateRef state = checkerContext.getState();
100 SValBuilder &svalBuilder = checkerContext.getSValBuilder();
128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes);
161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted);
168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes);
178 checkerContext.addTransition(state);
181 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, argument
185 ExplodedNode *errorNode = checkerContext.generateErrorNode(errorState);
210 checkerContext
[all...]

Completed in 57 milliseconds