Searched refs:reportOOB (Results 1 – 1 of 1) sorted by relevance
35 void reportOOB(CheckerContext &C, ProgramStateRef errorState,128 reportOOB(checkerContext, state_precedesLowerBound, OOB_Precedes); in checkLocation()161 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Tainted); in checkLocation()168 reportOOB(checkerContext, state_exceedsUpperBound, OOB_Excedes); in checkLocation()181 void ArrayBoundCheckerV2::reportOOB(CheckerContext &checkerContext, in reportOOB() function in ArrayBoundCheckerV2